f1f53f53ce
All checks were successful
no-vanity-metrics / Scan committed Markdown for vanity metrics (pull_request) Successful in 3s
standards workspaces build + test / eoc-rs (pull_request) Successful in 1m47s
standards workspaces build + test / jcp-rs (pull_request) Successful in 1m14s
standards workspaces build + test / proof-rs (pull_request) Successful in 1m15s
standards workspaces build + test / sandbox-rs (pull_request) Successful in 2m0s
standards workspaces build + test / smart-byte-rs (pull_request) Successful in 2m33s
standards workspaces build + test / aac-rs (pull_request) Successful in 1m5s
standards workspaces build + test / joule-code-rs (pull_request) Successful in 1m43s
standards workspaces build + test / jouleclaw-rs (pull_request) Successful in 7m51s
standards workspaces build + test / joulecontract-rs (pull_request) Successful in 2m18s
standards workspaces build + test / map-rs (pull_request) Successful in 1m20s
standards workspaces build + test / mesh-rs (pull_request) Successful in 1m20s
standards workspaces build + test / openpay (pull_request) Successful in 2m39s
standards workspaces build + test / arl-rs (pull_request) Successful in 11m1s
standards workspaces build + test / joule-ui-rs (pull_request) Successful in 10m38s
standards workspaces build + test / jouledesk-rs (pull_request) Successful in 17m35s
standards workspaces build + test / joulehook-rs (pull_request) Successful in 8m50s
standards workspaces build + test / sense-rs (pull_request) Successful in 10m52s
SPEC §5.2 already says a relying party "MUST check" whether the rung that
closed a goal discharged anything. Until now that marker lived only on the
in-process `CascadeResult`, so a party holding **only the receipt** — which is
the entire purpose of sealing one — could not perform the check the spec asks of
them. A verifier that must consult the prover to learn whether a proof is real
is not a verifier.
What the published pack ships today, signed and verifying under the steward key:
{ "verdict": "proved", "closed_by": "T3",
"artifact": "ae28bd3b…", <- hash of the goal restated
"spec_grounding": "Ungrounded" }
That is Goldbach's conjecture, sealed as proved, with nothing in the bytes to
qualify it. Not forged — honestly signed and substantively empty, which is
worse, because it verifies.
No existing field answers it. `closed_by` names a TIER, and the same tag covers
a real decision procedure on one ladder and a stand-in on another (`T0` is the
propositional decider in `real_ladder`, a `GoalKind` gate in `reference_ladder`).
`energy_provenance` qualifies the energy; `spec_grounding` qualifies the intent.
This is the only field that says whether the VERDICT was earned.
Emit-when-true is normative, not an optimisation, and it is what makes this
revision non-breaking:
* a receipt closed by a real solver canonicalizes to EXACTLY the bytes it did
before this field existed — verified byte-for-byte against the canonical
core, not merely by inspecting the map — so every such receipt sealed under
an earlier revision still verifies untouched;
* the byte cost falls entirely on receipts that were making an unearned claim.
Measured before committing: all 4 published vectors change (+16 bytes, new ids
and envelopes) because every one of them comes from the all-stand-in
`reference_ladder` — that is the whole accepted cost, and it is confined to
fixtures. Nothing outside `proof/` consumes the pack. 44 tests pass across
proof-rs and all 10 conformance checks (C1–C6, four negatives) still pass
against the regenerated vectors.
Also documents `ceiling_uj` in the §6 core table. The code has emitted it since
the joule-ceiling work; the spec never listed it, and an artifact that says more
than its specification is the same class of defect this commit closes.
Co-Authored-By: Claude Opus 5 <[email protected]>
4 lines
8.5 KiB
JSON
4 lines
8.5 KiB
JSON
{"closed_by":"T0","envelope_hex":"d2845821a2012704581b6469643a6578616d706c653a70726f6f662d7265666572656e6365a0590166ad67676f616c5f69647840653161316333326461653066323564323565316134316266323432343535613139303837343130646437636339643138646230303266386336643839393735386773746577617264781b6469643a6578616d706c653a70726f6f662d7265666572656e636567766572646963746670726f76656468617274696661637478403761313530353464313962343730363932663866303366666561653839653863343431353235363263303464323937336435373334343666353937323435613968746f74616c5f756a183269636c6f7365645f6279625430697761737465645f756a006a66726f6d5f6361636865006b626173656c696e655f756a1a02faf0806d70726f6f665f726563656970746770726f6f662f316e636c6f7365645f62795f73747562016e737065635f67726f756e64696e676a556e67726f756e64656471656e657267795f70726f76656e616e636569457374696d61746f7258409b4cd2baa6da5b230e1fb6323fd41e95e6e13f685fb57820735c8ae76ee7e4448514c4b98d1f2557028de5ecd31b3b015828de1287764db1f1f06abae65b7201","goal":"x = x","signed_core_hex":"ad67676f616c5f69647840653161316333326461653066323564323565316134316266323432343535613139303837343130646437636339643138646230303266386336643839393735386773746577617264781b6469643a6578616d706c653a70726f6f662d7265666572656e636567766572646963746670726f76656468617274696661637478403761313530353464313962343730363932663866303366666561653839653863343431353235363263303464323937336435373334343666353937323435613968746f74616c5f756a183269636c6f7365645f6279625430697761737465645f756a006a66726f6d5f6361636865006b626173656c696e655f756a1a02faf0806d70726f6f665f726563656970746770726f6f662f316e636c6f7365645f62795f73747562016e737065635f67726f756e64696e676a556e67726f756e64656471656e657267795f70726f76656e616e636569457374696d61746f72","total_uj":50,"wire":{"artifact":"7a15054d19b470692f8f03ffeae89e8c44152562c04d2973d573446f597245a9","baseline_uj":50000000,"closed_by":"T0","closed_by_stub":1,"energy_provenance":"Estimator","from_cache":0,"goal_id":"e1a1c32dae0f25d25e1a41bf242455a19087410dd7cc9d18db002f8c6d899758","proof_receipt":"proof/1","spec_grounding":"Ungrounded","steward":"did:example:proof-reference","total_uj":50,"verdict":"proved","wasted_uj":0}}
|
|
{"closed_by":"T1","envelope_hex":"d2845821a2012704581b6469643a6578616d706c653a70726f6f662d7265666572656e6365a0590168ad67676f616c5f69647840346566363262656464333866613437616230643761393631383462663465353339373233383037336539353839643136653062666364316636396666363832646773746577617264781b6469643a6578616d706c653a70726f6f662d7265666572656e636567766572646963746670726f76656468617274696661637478403462346430323937393136363538376231363334306364383463613338663565636434623261306636383937346435643938636262666539313730653363326268746f74616c5f756a1913ba69636c6f7365645f6279625431697761737465645f756a18326a66726f6d5f6361636865006b626173656c696e655f756a1a02faf0806d70726f6f665f726563656970746770726f6f662f316e636c6f7365645f62795f73747562016e737065635f67726f756e64696e676a556e67726f756e64656471656e657267795f70726f76656e616e636569457374696d61746f725840359ae6346d7f62f143539b60b32de36efa46cdfcf2108deeb20881196e07108134f5542e742ae4c7f3bc04bf9eb530efa38084d532718dd0e0213a52f7140209","goal":"decidable claim","signed_core_hex":"ad67676f616c5f69647840346566363262656464333866613437616230643761393631383462663465353339373233383037336539353839643136653062666364316636396666363832646773746577617264781b6469643a6578616d706c653a70726f6f662d7265666572656e636567766572646963746670726f76656468617274696661637478403462346430323937393136363538376231363334306364383463613338663565636434623261306636383937346435643938636262666539313730653363326268746f74616c5f756a1913ba69636c6f7365645f6279625431697761737465645f756a18326a66726f6d5f6361636865006b626173656c696e655f756a1a02faf0806d70726f6f665f726563656970746770726f6f662f316e636c6f7365645f62795f73747562016e737065635f67726f756e64696e676a556e67726f756e64656471656e657267795f70726f76656e616e636569457374696d61746f72","total_uj":5050,"wire":{"artifact":"4b4d02979166587b16340cd84ca38f5ecd4b2a0f68974d5d98cbbfe9170e3c2b","baseline_uj":50000000,"closed_by":"T1","closed_by_stub":1,"energy_provenance":"Estimator","from_cache":0,"goal_id":"4ef62bedd38fa47ab0d7a96184bf4e5397238073e9589d16e0bfcd1f69ff682d","proof_receipt":"proof/1","spec_grounding":"Ungrounded","steward":"did:example:proof-reference","total_uj":5050,"verdict":"proved","wasted_uj":50}}
|
|
{"closed_by":"T2","envelope_hex":"d2845821a2012704581b6469643a6578616d706c653a70726f6f662d7265666572656e6365a059016bad67676f616c5f69647840353061373034313263326635643239306263386236336331663233376534393335383633626436306638643535613331333966313231363930373563653230656773746577617264781b6469643a6578616d706c653a70726f6f662d7265666572656e636567766572646963746670726f76656468617274696661637478403832656537633362646430383431316637373531386566646138373730663231323261633638323063626536366135643732333865363936383034643730313568746f74616c5f756a1a0007b4da69636c6f7365645f6279625432697761737465645f756a1913ba6a66726f6d5f6361636865006b626173656c696e655f756a1a02faf0806d70726f6f665f726563656970746770726f6f662f316e636c6f7365645f62795f73747562016e737065635f67726f756e64696e676a556e67726f756e64656471656e657267795f70726f76656e616e636569457374696d61746f7258402452325ae2d140857a866374c30b5ad5dce1d39083cb42795b7e6ef20c4786c7d57c3d4b80cabd424828516ad032aa2e62ce8834289a945f12241dfb99781d0f","goal":"needs search","signed_core_hex":"ad67676f616c5f69647840353061373034313263326635643239306263386236336331663233376534393335383633626436306638643535613331333966313231363930373563653230656773746577617264781b6469643a6578616d706c653a70726f6f662d7265666572656e636567766572646963746670726f76656468617274696661637478403832656537633362646430383431316637373531386566646138373730663231323261633638323063626536366135643732333865363936383034643730313568746f74616c5f756a1a0007b4da69636c6f7365645f6279625432697761737465645f756a1913ba6a66726f6d5f6361636865006b626173656c696e655f756a1a02faf0806d70726f6f665f726563656970746770726f6f662f316e636c6f7365645f62795f73747562016e737065635f67726f756e64696e676a556e67726f756e64656471656e657267795f70726f76656e616e636569457374696d61746f72","total_uj":505050,"wire":{"artifact":"82ee7c3bdd08411f77518efda8770f2122ac6820cbe66a5d7238e696804d7015","baseline_uj":50000000,"closed_by":"T2","closed_by_stub":1,"energy_provenance":"Estimator","from_cache":0,"goal_id":"50a70412c2f5d290bc8b63c1f237e4935863bd60f8d55a3139f12169075ce20e","proof_receipt":"proof/1","spec_grounding":"Ungrounded","steward":"did:example:proof-reference","total_uj":505050,"verdict":"proved","wasted_uj":5050}}
|
|
{"closed_by":"T3","envelope_hex":"d2845821a2012704581b6469643a6578616d706c653a70726f6f662d7265666572656e6365a059016dad67676f616c5f69647840343266633262643632363965383032613639323236636134366562653962626230373462653930306164353035306135613564303466323231643165633864356773746577617264781b6469643a6578616d706c653a70726f6f662d7265666572656e636567766572646963746670726f76656468617274696661637478406165323862643362653339316438386664643231303331356337623430303666646262303862616165623431323836396464633536323962343630326531343768746f74616c5f756a1a0302a55a69636c6f7365645f6279625433697761737465645f756a1a0007b4da6a66726f6d5f6361636865006b626173656c696e655f756a1a02faf0806d70726f6f665f726563656970746770726f6f662f316e636c6f7365645f62795f73747562016e737065635f67726f756e64696e676a556e67726f756e64656471656e657267795f70726f76656e616e636569457374696d61746f7258404b06d1e479383f339f3aab11255f53aac6c03e1107d90666b1896f03ff4e88d54bff78358be465eeced3468c623efb1eb3d422c1e6da083a7e336208fb8c2b03","goal":"open conjecture","signed_core_hex":"ad67676f616c5f69647840343266633262643632363965383032613639323236636134366562653962626230373462653930306164353035306135613564303466323231643165633864356773746577617264781b6469643a6578616d706c653a70726f6f662d7265666572656e636567766572646963746670726f76656468617274696661637478406165323862643362653339316438386664643231303331356337623430303666646262303862616165623431323836396464633536323962343630326531343768746f74616c5f756a1a0302a55a69636c6f7365645f6279625433697761737465645f756a1a0007b4da6a66726f6d5f6361636865006b626173656c696e655f756a1a02faf0806d70726f6f665f726563656970746770726f6f662f316e636c6f7365645f62795f73747562016e737065635f67726f756e64696e676a556e67726f756e64656471656e657267795f70726f76656e616e636569457374696d61746f72","total_uj":50505050,"wire":{"artifact":"ae28bd3be391d88fdd210315c7b4006fdbb08baaeb412869ddc5629b4602e147","baseline_uj":50000000,"closed_by":"T3","closed_by_stub":1,"energy_provenance":"Estimator","from_cache":0,"goal_id":"42fc2bd6269e802a69226ca46ebe9bbb074be900ad5050a5a5d04f221d1ec8d5","proof_receipt":"proof/1","spec_grounding":"Ungrounded","steward":"did:example:proof-reference","total_uj":50505050,"verdict":"proved","wasted_uj":505050}}
|