Program status · generated 2026-08-01
What exists today
ActionReceipt
Established
Portable ActionReceipt v0.2 records, canonical hashing, cryptographic verification, and reference vectors.
Not established
The worldly truth of the recorded claim or occurrence of the underlying event.
Evidence provenance
released implementation and reproducible fixtures. TEAM AUTHORED · MACHINE CHECKED · INTERNAL REPRODUCIBLE · NOT APPLICABLE.
Authority and scope
Established
Opt-in v0.3 implementation binds issuer authorization, delegation, and structured scope checks.
Not established
The legality, legitimacy, or institutional sufficiency of the authored authority policy.
Evidence provenance
released draft with local conformance fixtures. TEAM AUTHORED · MACHINE CHECKED · INTERNAL REPRODUCIBLE · NOT APPLICABLE.
Strict receipt ingestion
Established
A single byte-oriented parser rejects duplicate members, non-finite values, off-schema closed objects, and declared size, depth, node, and string limits before cryptographic verification.
Not established
Independent hostile-input review or immunity to every parser implementation defect.
Evidence provenance
published in Bulla 0.44.4 with internal adversarial fixtures. TEAM AUTHORED · MACHINE CHECKED · INTERNAL REPRODUCIBLE · NOT APPLICABLE.
ActionReceipt v0.4 occurrence binding
Established
The draft separately authenticates content, one claimed occurrence, and its authority envelope under a portable integer-only canonical data model; Python and Node reference checkers agree on the fixed vector.
Not established
Worldly occurrence, witnessed time, cross-platform independent parity, or promotion over the normative v0.2 default.
Evidence provenance
opt-in draft published in Bulla 0.44.4 with internal cross-language reference checks. TEAM AUTHORED · MACHINE CHECKED · INTERNAL REPRODUCIBLE · NOT APPLICABLE.
Semantic invention
Established
Finite FRSL-1 packages and negative certificates are independently replayable on the captive Golden corpus.
Not established
Foreign generality, open-world completeness, or a stable semantic API.
Evidence provenance
internal captive benchmark. TEAM AUTHORED · MACHINE PLANTED · INTERNAL REPRODUCIBLE · FINITE EXACT.
Partial envelopes
Established
Checked RELY and REFUSE regions preserve residual escalation under a declared finite closure warrant.
Not established
Completeness outside the declared model class or safety under an unmodeled closure expansion.
Evidence provenance
internal formal and executable evidence. TEAM AUTHORED · MACHINE CHECKED · INTERNAL REPRODUCIBLE · FINITE EXACT.
Semantic Finality
Established
Replayable provisional, reserve, conflict, refinement, finalization, and stale-epoch transitions in a finite shadow model.
Not established
Production settlement, real custody, collectibility, actuarial value, or institutional efficacy.
Evidence provenance
internal state-machine and Golden evidence. TEAM AUTHORED · MACHINE PLANTED · INTERNAL REPRODUCIBLE · BOUNDED EXACT.
Claim Flow v0.4
Established
Typed appraisal, forum, precedent, applicability, and settlement transitions with explicit authority provenance.
Not established
External legal validity, foreign applicability judgments, or automatic institutional authority.
Evidence provenance
internal formal and captive benchmark evidence. TEAM AUTHORED · MACHINE PLANTED · INTERNAL REPRODUCIBLE · BOUNDED EXACT.
Generalization Constitution v0.5
Established
Candidate, adoption, and applicability remain separate, with checked finite safe-scope frontiers and effect-laundering controls.
Not established
Foreign transfer, external applicability judgments, or a stable precedent API.
Evidence provenance
internal formal and captive-control evidence. TEAM AUTHORED · MACHINE PLANTED · INTERNAL REPRODUCIBLE · BOUNDED EXACT.
Golden Gate qualification
Established
The finite checker core supports typed abstention and reproducible qualification; benchmark packets add captive mutation, portability, custody, and control evidence.
Not established
Reviewer-originated results, independent validation, production safety, or open-world completeness.
Evidence provenance
implemented methods with internal captive evidence. TEAM AUTHORED · MACHINE PLANTED · INTERNAL REPRODUCIBLE · BOUNDED EXACT.
Receipt-coupled dispatch
Established
The reference boundary durably commits an authorized intent before external I/O, preserves uncertain outcomes, enforces committed adapter capabilities, and prevents duplicate effects under its captive verified-idempotency contract.
Not established
Distributed atomicity, production payment safety, external adapter conformance, or nonlocal integration value.
Evidence provenance
internal exhaustive model, crash fixtures, and captive adapters. TEAM AUTHORED · MACHINE CHECKED · INTERNAL REPRODUCIBLE · BOUNDED EXACT.
Agent Incident Packet v0.1
Established
The source profile requires an exact decision/effect anchor pair for each represented protocol and binds each reported denominator snapshot to a signed checkpoint whose issuer is accepted through external role context. Live timeline and publish receipts use ActionReceipt v0.4 with conventions: []; convention-bearing historical receipts remain opaque evidence artifacts only. Team-operated fixtures also bind non-circular redaction records and accepted reviewer statements, party statements, corrections, and witness evidence without collapsing their verification dimensions.
Not established
A packet supports zero or one witness reference. Multiple-witness aggregation remains unresolved. Cross-runtime convention evaluation, denominator completeness, organizational independence, production containment, disclosure safety, external implementation parity, independent witnessing, and incident truth also remain unestablished. The empty-convention rule narrows this experimental profile and does not change ActionReceipt v0.4. An accepted observer can self-shorten rows.
Evidence provenance
team-operated deterministic fixtures and isolated localhost HTTP/MCP pilots. TEAM AUTHORED · MACHINE CHECKED · INTERNAL REPRODUCIBLE · NOT APPLICABLE.
Recheckable Inference alpha
Established
Two synthetic providers return byte-identical BACKUP artifacts. After both provider processes terminate, the retained, term-bound integer model reproduces one input-to-output relation while the opaque record supplies no model to rerun. Under the separately supplied buyer policy, the first relation is payment-eligible but not authorized or settled; the opaque response is refused. Adding one unmatched receiver effect leaves receipt integrity verified, changes coverage from 1/1 to 1/2, and makes payment ineligible. Project-authored Python, standalone Node, and browser verifiers reproduce these bounded reports.
Not established
Historical provider execution, answer truth, model quality, complete receiver denominators, payment execution, external implementation parity, organizational independence, custody, collectibility, production clearing, or worldly truth. All roles and evidence remain synthetic and team-controlled.
Evidence provenance
three deterministic bundles, team-operated localhost roles, project-authored Python, standalone Node, and browser parity, transient hostile mutations, and a finite abstract model. TEAM AUTHORED · MACHINE CHECKED · INTERNAL REPRODUCIBLE · FINITE EXACT.
Assurance Linker alpha
Established
The source profile deterministically compiles a closed structured promise into explicit evidence, authority, coverage, capital, recourse, and consequence requirements. Python and standalone Node verifiers agree on eight team-authored dossiers. The checked fixture comparison shows that receipt integrity remains VERIFIED while a receiver-recorded bypass changes required coverage from COVERED to UNCOVERED and payment from ELIGIBLE to INELIGIBLE. The finite formal model checks eight assurance invariants. A Bitcoin Core 31.1 regtest adapter demonstrates synthetic rail mechanics while preserving the rail-neutral report. Trial 0.2-r5 preserves the r4 semantic root exactly and adds a deterministic publication bundle, two-mirror retrieval requirements, dimensional checker-source provenance, and interleaved recruitment.
Not established
No anonymous two-mirror publication set, cold-reader calibration, candidate round, or foreign checker attempt has occurred for Trial 0.2-r5; recruitment and blind execution remain unauthorized. Foreign authorability, independent checker reproduction, external institutional handling, operational separation, marginal decision value, economic adoptability, representative developer demand, worldly truth, complete denominators, external collateral encumbrance, custody, collectibility, legal enforceability, organizational independence, production safety, actuarial calibration, source-to-image correspondence, or mainnet readiness remain unestablished. Recruitment uses investigator-selected, uncompensated volunteers. The Bitcoin adapter is optional and does not evaluate predicates or replace the named settlement authority.
Evidence provenance
team-authored deterministic fixtures, team-authored checker parity, finite abstract-model checks, one local Bitcoin Core regtest execution, and a team-operated Trial 0.2-r5 publication-neutral checker doorway. TEAM AUTHORED · MACHINE CHECKED · INTERNAL REPRODUCIBLE · FINITE EXACT.
Executable recourse
Established
A local receipt trace can open, acknowledge, evidence, decide, authorize, complete, route, expire, and close a challenge while keeping forum and remedy authority distinct.
Not established
A separately controlled forum, operational reachability, institutional efficacy, or automatic enforcement of a semantic finding.
Evidence provenance
internal replay and authority-separation fixtures; reachability captive. TEAM AUTHORED · MACHINE CHECKED · INTERNAL REPRODUCIBLE · BOUNDED EXACT.
Precedent compounding
Established
Compounding was observed in a team-authored, machine-planted, bounded-exact lineage benchmark and survives the declared captive controls.
Not established
Generalized compounding on foreign meanings, independent adjudication, or economic value.
Evidence provenance
internal captive observation. TEAM AUTHORED · MACHINE PLANTED · INTERNAL · BOUNDED EXACT.
Public control-plane alpha candidate
Established
Deterministic fixtures, source checkers, and local Cloudflare-runtime tests exercise one closed synthetic MCP authorization, receiver, denominator, witness, coverage, and packet-publication loop.
Not established
The generated control-plane evidence ledger reports whether a public endpoint has tracked deployment evidence. Customer authority, denominator completeness, organizational independence, production safety, and incident truth remain unestablished.
Evidence provenance
team-authored deterministic fixtures and local Cloudflare-runtime tests. TEAM AUTHORED · MACHINE CHECKED · INTERNAL REPRODUCIBLE · BOUNDED EXACT.
Witness plurality
Established
A local checkpoint and inclusion-proof primitive is specified and tested.
Not established
Independent witness operators, plurality, stake, or a production witness network.
Evidence provenance
local fixture only. TEAM AUTHORED · MACHINE CHECKED · INTERNAL · NOT APPLICABLE.
Risk and insurance
Established
The program contains mathematical ambiguity-reserve and worst-case exposure mechanisms under declared finite models.
Not established
Underwriter validation, actuarial calibration, product pricing, or real collateral custody.
Evidence provenance
internal research architecture. TEAM AUTHORED · NOT ADJUDICATED · INTERNAL · BOUNDED EXACT.