Research
What we built, what remains open, and where each result stops. Every note carries its scope and its limit with it.
The restricted DSL parses an admitted program and computes its result through an interpreter instead of accepting a recalled figure.
Does not establish The restriction does not establish that the program asks the right question or uses correct inputs, and it does not cover unrestricted narration.
Read the noteA new domain application needs a defined user decision, a covered uncertainty term, and evidence that the receipt helps with that decision.
Does not establish This guide establishes no domain approval, customer deployment, or new experimental result; the earlier mixed-origin narrative has been retired.
Read the noteThe execution certificate evaluates supported computations under a declared storage-quantization model and refuses unsupported cases.
Does not establish The result is not a guaranteed enclosure of rounding, discretization, sampling, provider, and model error together.
Read the noteThe vintage path separates the period measured from the publication date of each available value and retains revision history.
Does not establish A dated vintage alone does not establish intraday arrival time, complete provider coverage, or realistic execution in a backtest.
Read the noteThe verifier checks a receipt under a caller-pinned key and compares the covered computation with supplied inputs.
Does not establish Replay does not establish truthful capture, independent operation, or checks that the result leaves unperformed.
Read the noteThe verifier can compare carried capture evidence with signed log commitments and report the resulting width-trust status.
Does not establish Anchoring does not establish correct initial capture or operator independence; fork detection needs comparison evidence outside a single current response.
Read the noteHow to read this record
Start with the summary, read the “Does not establish” boundary, then follow the note’s sources. Implementation, a dated experiment, and third-party reproduction are different forms of evidence.
Read the longer argument
Author-published manuscripts in the open repository. These links are a reading list, not a claim of external peer review or independent reproduction.
Binding a program, committed inputs, and a result to replayable evidence.
Scope to keep in view Replay does not establish input truth or independent operation.
Following dithered storage error into downstream statistical objects.
Scope to keep in view Dither assumptions and decision conditioning bound the conclusions.
Constraining numeric slots to tool values at generation time.
Scope to keep in view An advisory schema provides validation and refusal, not an enforced grammar.
Separating observed records, declarations, and named missing evidence.
Scope to keep in view Model structure is not capability; advisory routing is not authorization.
Recording failed transfers and the storage-error work that survived.
Scope to keep in view A reported cache result uses an acausal basis and is not a deployment claim.
Friends: who is online, requests, and one-to-one chat. This panel needs JavaScript.