Watch proof becomeinstitutional authority.
A complete, one-file demonstration of the GoalOS reference contract suite. One consequential objective becomes a Mission Contract, Proof Debt, AGI Jobs, ProofBundles, an Evidence Docket, validator attestations, Chronicle memory, a typed Merkle graph epoch, proof-gated settlement, governed recursive improvement, Mission 2, challenge, revocation, and rollback.
The proof loop is playable.
Every authority-changing action is rendered as an explicit contract call or a clearly identified off-chain protocol operation. Successful calls emit deterministic receipts. Invalid calls revert atomically and remain visible as evidence.
Reference contract constellation
IDLEEvery call leaves a receipt.
The ledger displays the exact function signature, caller, selector, simulated gas, block, event count, and revert reason. “Simulated” is part of the receipt, not a footnote.
Transaction and protocol ledger
Boundary monitor
Fail closedOne decision. Every claim visible.
The mission can complete even when a claim is blocked. Completion means the evidence, decision, boundary, and rollback state are inspectable—not that every desired assertion passed.
Claims matrix
INITIAL| Claim | Initial | Current |
|---|
Authority and disposition
CHRONICLE CLOSEDDecision not yet earned
The system begins with zero jobs, zero ProofBundles, zero validated skills, zero graph roots, and Chronicle closed.
Exact reference surfaces. No invented functions.
Click any contract to inspect its ABI and exact Solidity source. Commit–reveal validation is shown as an off-chain validator sidecar because the reference AttestationRegistry exposes only the final commit function.
Contract inspector
The proof room, not a file pile.
Claims, Proof Debt, custom jobs, ProofBundles, replay, validator verdicts, risk, cost, challenge and blocked assertions converge into one reviewable institutional state.
Mission artifacts
0 READYProof Debt → custom work
5 OPENCompact commitment. Bounded authority.
Ethereum-compatible Keccak-256, NFC canonical JSON, explicit leaf domains, lexicographically sorted leaves, sorted pairs, duplicate-last odd policy, and previous-root continuity are executed inside the browser.
Graph epoch state
EPOCH 00x0000000000000000000000000000000000000000000000000000000000000000Proof interpretation
What a valid proof establishes
The exact typed leaf is a member of the committed class root under the recorded tree policy, and the graph epoch binds that class root to chain, registry, agent, epoch, policy, schema, snapshot and previous-root context.
What it does not establish
Truth, safety, legality, freshness, independent validation, production authorization, universal reuse, or correct institutional scope. Chronicle and policy remain the authority layer.
Proof becomes economically consequential—locally.
The demo uses a development-only mock ERC-20 adapter to exercise the reference IERC20 surfaces. Units have no value and are not live $AGIALPHA. No wallet is connected and nothing leaves the browser.
BondVault ledger
mAGIALPHA · DEV ONLYSettlement state
LOCKEDSearch control is not outcome authority.
A candidate improvement moves through bonding, baselines, benchmarks, Council review, staged canaries, controlled rollout, delayed outcomes and only then promotion. The same governor records rollback for a tampered canary.
UpgradeGovernor · main proposal
NONERSI evidence and rollback
NOT STARTEDMove-37 rule
Novelty may increase exploration priority. It cannot lower the proof burden. High novelty forces reproduction, policy-shock stress, persistence, scoped canary and rollback readiness.
Did verified capability improve fresh work?
Four local fixture arms use equal constraints. Only the prior changes. This demonstrates the mechanism for testing compounding; it is not external validation or proof of general RSI.
Fresh control vs memory variants
NOT RUNAttack the boundary yourself.
These tests are independent of the scripted run. Each produces an inspectable pass/fail result without mutating the authoritative mission state unless the reference function itself permits it.
Leave with the institution.
All generated objects are downloadable from the browser as deterministic JSON or Markdown. Private source material is represented only by hashes and controlled references.