cbf57f71a8
A Metered tag whose meter attestation did not bind was always demoted to ModelBased, but ModelBased is defined (SPEC §4.2) as a figure anchored to a metered baseline, with that anchor sealed. A receipt with no meter and no anchor was therefore certified ModelBased on evidence it did not carry. An unbound reading is no reading: the class now falls to ModelBased only where the metered-baseline anchor is sealed, else to Unaccounted (with the `unaccounted` demotion), on the issue side and on the sealed-evidence side alike; an unresolved anchor still demotes a ModelBased figure to Unaccounted after that. SPEC §4.2 and the §15 demotion table say so. The metered_unattested negative vector, regenerated by gen_vectors, now composes to ⟨JR-3 · Unaccounted · certified⟩ with demotions metered_unattested and unaccounted; the other 21 vectors are byte-identical. A unit test pins both branches (no anchor → Unaccounted; anchor → ModelBased). Co-Authored-By: Claude Opus 5.5 <[email protected]>
28 lines
No EOL
2.6 KiB
JSON
28 lines
No EOL
2.6 KiB
JSON
{
|
|
"files": {
|
|
"amendment-chain.json": "sha2-256:abfebefc68237e16751cc3e26988947c10991ac912ea896a73e8cbd5a077338d",
|
|
"context-breach_unamended.json": "sha2-256:c5715b6189c58c88e1ee1aed9a21b8994f3021712d929e5bc49e01d61f8e8213",
|
|
"context-timestamp_stale.json": "sha2-256:92939297e6a19d64de549698695ef217bbe034daa00bb684ddfd860256bf2d4a",
|
|
"context-verifier_revoked_window.json": "sha2-256:0286d51ef151da8ac1b8ccd9d4756e8c227a93c7c65e20b78c9723c0ac04231d",
|
|
"contract.json": "sha2-256:d5513a682d63f8097857fdef430757ae402b271c1d499b1c04715a285e619fd2",
|
|
"envelope-dsse.json": "sha2-256:3c0bf4fdde0d16f4b28c2b20f194c426210e19abfea7eddee22bc5c46cb858a5",
|
|
"evidence-bundle.json": "sha2-256:dfc4b519404cea8742af57620cf8e52d67a3ee705689765c72f2aed638fabb07",
|
|
"malformed-inflated-allowance.json": "sha2-256:c53a17c0ac62f77bb3cdb4da44642cb2f71cf384970e9b9a0a4cac31336507b1",
|
|
"malformed-missing-obligations.json": "sha2-256:effcf10833bcbdd6b934c08e85c8a1ca8f0e8bdeb38625f14e4b0892e1f01a85",
|
|
"negative-engagement_undisclosed.json": "sha2-256:2f591a3fc39f22ffca8079081b1e21664555a32f09ae5ddf405ead7e04dfd1ea",
|
|
"negative-frame_undischarged.json": "sha2-256:58696deba500e6d2f84ad47bb059d9c5597029d3b8dd0b0b8b0b193066c38cb2",
|
|
"negative-generator_unattested.json": "sha2-256:086f11b41086cc6ff43fc8b53340e4b7787176d69a79089163e885dcb137aa58",
|
|
"negative-independent_false.json": "sha2-256:86075e4473d3952590477530987436fba84084f163a3343ab435bd43c9af99c3",
|
|
"negative-independent_key_only.json": "sha2-256:6fa2299f250e74fbbbc955581d092cf443b37191a38a697cfd2df372fff3dbd8",
|
|
"negative-metered_unattested.json": "sha2-256:840e7d84527487328e4e67e6208dafe642597500c2abdce7945a23de6d06de80",
|
|
"negative-recourse_undeclared.json": "sha2-256:4e0fc3e8dfedd6b1fac2440605d03e8696e117ab561121247f6bdc3fc3bc1c6e",
|
|
"negative-self_attested_loop.json": "sha2-256:e6a7fe5a9c436e2a473c2b1110f2c9b13f838524c1877a2ba91836e5d3fe7579",
|
|
"negative-static_only_frame.json": "sha2-256:b9a33251abf91dbe2d6d7d9b778471c3bfd8eefabd42d6f3e74ba71ee7a2bbcb",
|
|
"negative-stochastic_alone_unqualified.json": "sha2-256:67f57d93fb4c118bcac99fa62d25084bcf957d6dce6852662ed75e24fe167464",
|
|
"negative-unterminated_chain.json": "sha2-256:e32a18b1cbf7cc338c1518e55e521c7d371d1312931006fe44f37c5e0c3b1d97",
|
|
"receipt-conformant.json": "sha2-256:ee72f1ad293415bbc1f2564cbd1a5e463daba49ca1683ad0ca41164ae0aced07",
|
|
"receipt-jr4-conformant.json": "sha2-256:0ac9b7c564b757b1a48f57786be8bdeb3774569da0cc45cea006e1200c51a47c"
|
|
},
|
|
"manifest_address": "sha2-256:173e47148f01ed4dc311f1fbdb2d8daa2728272632717b8a6010af85771181e0",
|
|
"pack": "joulecontract-conformance/v1"
|
|
} |