Program status · generated 2026-08-23
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.
Acceptance Contract alpha
Established
Three synthetic deployment-handoff bundles retain one staging claim under one precommitted receiver policy. Missing rollback evidence produces HOLD_FOR_EVIDENCE and a conditional request; an accepted PASS produces PROCEED and ELIGIBLE; an accepted FAIL produces REFUSE. Authorization remains NOT_ISSUED and execution remains NOT_ATTEMPTED in every canonical result.
Not established
Deployment occurrence, worldly truth, receiver-record completeness, legal enforceability, production use, organizational independence, or external implementation parity.
Evidence provenance
three deterministic bundles, project-authored strict evaluator, hostile mutations, distribution-boundary tests, and a finite abstract model. TEAM AUTHORED · MACHINE CHECKED · INTERNAL REPRODUCIBLE · FINITE EXACT.
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.
Bonded witness covenant
Established
The source profile verifies an objective same-size log-equivocation predicate, challenge chronology, a dedicated fixture-reported allocation, bounded remedy eligibility, exact authorization, and Test-ledger attempt reporting. Adding the reported bond changes capital and recourse only.
Not established
Witness independence, missing-event detection, provider truth, real custody, collectibility, deterrence, actual recovery, production operation, or a witness market.
Evidence provenance
project-authored deterministic fixtures, Python and standalone Node parity, hostile mutations, and finite abstract-model checks. TEAM AUTHORED · MACHINE CHECKED · INTERNAL REPRODUCIBLE · FINITE EXACT.
Answerability Network
Established
The source profile composes one synthetic inference procurement, a selected ActionReceipt, leaf-bound witnessed history, objective fork handling, bounded recourse, and exact tri-state recall over 10,000 declared decisions. Python, standalone Node, and browser reports agree on six frozen stages.
Not established
Provider-result truth, complete dependency capture, independent witnessing, real custody, collectibility, dollars moved, production operation, customer activity, or adoption.
Evidence provenance
project-authored deterministic corpus, Python/standalone-Node/browser parity, hostile mutations, generated presentation projection, and finite abstract-model checks. TEAM AUTHORED · MACHINE CHECKED · INTERNAL REPRODUCIBLE · FINITE EXACT.
Assurance Linker alpha
Established
Assurance Linker 0.1 deterministically compiles a closed structured promise into explicit evidence, authority, coverage, capital, recourse, and consequence requirements. The additive source-only 0.2 accountability-circuit profile computes five synthetic USD-cent dossiers: signed receipt and receiver bindings, externally supplied witness roots, leaf-bound inclusion, RFC 6962 history consistency, authenticated causal order and adjacent mismatch checkpoints, exact byte equality or mismatch, a pinned challenge state, declared capital allocations, bounded consequence eligibility, exact authorization, and a signed team-operated fixture-attempt report. Python, standalone Node, and the browser kernel deep-equal on canonical reports and protected hostile outcomes. The formal refinement proves mismatch/conformance exclusion plus witnessed ordering, deadline, and recourse guards. The candidate route commits to the presentation and verification source closure. Existing Bitcoin Core 31.1 regtest evidence remains separate and sat-denominated.
Not established
The accountability-circuit candidate has no bound anonymous deployment or reader attempts; comprehension remains NOT_COMPUTED. Trial 0.2-r5 also has no cold-reader calibration, candidate round, or foreign checker attempt. Foreign authorability, independent checker reproduction, external institutional handling, operational separation, marginal decision value, economic adoptability, representative demand, worldly truth, complete observation, external collateral encumbrance, custody, collectibility, legal enforceability, organizational independence, production safety, actual settlement, actuarial calibration, or mainnet readiness remain unestablished. The witness and fixture settlement roles are team-operated. The Bitcoin adapter is optional and does not evaluate predicates or replace the named settlement authority.
Evidence provenance
team-authored deterministic fixtures, Python/standalone-Node/browser parity, finite abstract-model checks, one prior local Bitcoin Core regtest execution, and team-operated source-only trial and candidate materials. 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.