The Principia Machina/TPC-PY/vectors/hold corpus.json: Difference between revisions
TPC-PY source vectors/hold_corpus.json (0.2.0), SHA-256 ebd9a6659d647483; conformed TPS 0.3.0; PROPOSED, not declared (CO-8) |
m 1 revision imported |
(No difference)
| |
Revision as of 04:38, 28 September 2026
{
"meta": {
"name": "tpc_hold_corpus",
"version": "0.2.0",
"status": "RE-ISSUED 2026-09-26 at HOLD_FORM 2 (D171 (j), taken by delegation; D111.1; charter CO-21); awaiting the supervisor's verification",
"conforms_tps": "0.1.0 revision 4; the hold of D111.1 (2026-09-23), text owed at revision 5 (3.3, 4.4, 5.14, 5.17); the bibliography list of D171 (j), text owed",
"module": "tpc_hold 0.2.0 (tpc_digest 0.1.0, tpc_zone 0.4.0)",
"note": "Expectations hand-derived from tpm_hold_scope 0.1.0: scopes counted on paper, closures traced by hand, refusals from the edge-case table. Every digest is an external sha256sum over the preimage its case shows. Deterministic; no randomness. Both residences MUST reproduce every expect."
},
"cases": [
{
"id": "scope/eleven-blocks",
"fn": "hold_scope",
"input": {
"history": {
"account": "acct",
"admission_block": "B1",
"blocks": [
{
"block_id": "B1",
"canary": null
},
{
"block_id": "B2",
"canary": "PASS"
},
{
"block_id": "B3",
"canary": null
},
{
"block_id": "B4",
"canary": null
},
{
"block_id": "B5",
"canary": null
},
{
"block_id": "B6",
"canary": null
},
{
"block_id": "B7",
"canary": "PASS"
},
{
"block_id": "B8",
"canary": null
},
{
"block_id": "B9",
"canary": null
},
{
"block_id": "B10",
"canary": null
},
{
"block_id": "B11",
"canary": null
},
{
"block_id": "B12",
"canary": "FAIL"
}
]
},
"lookback_passes": 2
},
"note": "two intervals of four blocks: the anchoring pass's block is held (D111.1 Option 1), eleven blocks",
"expect": "[OK,[B2,B3,B4,B5,B6,B7,B8,B9,B10,B11,B12],PASS,B2,2]"
},
{
"id": "scope/no-passes",
"fn": "hold_scope",
"input": {
"history": {
"account": "acct",
"admission_block": "B1",
"blocks": [
{
"block_id": "B1",
"canary": null
},
{
"block_id": "B2",
"canary": null
},
{
"block_id": "B3",
"canary": null
},
{
"block_id": "B4",
"canary": "FAIL"
}
]
},
"lookback_passes": 2
},
"note": "no passed canary: back to the first block after admission",
"expect": "[OK,[B1,B2,B3,B4],ADMISSION,B1,0]"
},
{
"id": "scope/one-pass",
"fn": "hold_scope",
"input": {
"history": {
"account": "acct",
"admission_block": "B1",
"blocks": [
{
"block_id": "B1",
"canary": null
},
{
"block_id": "B2",
"canary": "PASS"
},
{
"block_id": "B3",
"canary": null
},
{
"block_id": "B4",
"canary": null
},
{
"block_id": "B5",
"canary": "FAIL"
}
]
},
"lookback_passes": 2
},
"note": "fewer passes than LOOKBACK PASSES: back to admission",
"expect": "[OK,[B1,B2,B3,B4,B5],ADMISSION,B1,1]"
},
{
"id": "scope/two-passes-adjacent",
"fn": "hold_scope",
"input": {
"history": {
"account": "acct",
"admission_block": "B1",
"blocks": [
{
"block_id": "B1",
"canary": null
},
{
"block_id": "B2",
"canary": "PASS"
},
{
"block_id": "B3",
"canary": "PASS"
},
{
"block_id": "B4",
"canary": "FAIL"
}
]
},
"lookback_passes": 2
},
"note": "the two passes are adjacent; the earlier one anchors",
"expect": "[OK,[B2,B3,B4],PASS,B2,2]"
},
{
"id": "scope/two-passes-spread",
"fn": "hold_scope",
"input": {
"history": {
"account": "acct",
"admission_block": "B1",
"blocks": [
{
"block_id": "B1",
"canary": null
},
{
"block_id": "B2",
"canary": "PASS"
},
{
"block_id": "B3",
"canary": null
},
{
"block_id": "B4",
"canary": null
},
{
"block_id": "B5",
"canary": "PASS"
},
{
"block_id": "B6",
"canary": null
},
{
"block_id": "B7",
"canary": "FAIL"
}
]
},
"lookback_passes": 2
},
"expect": "[OK,[B2,B3,B4,B5,B6,B7],PASS,B2,2]"
},
{
"id": "scope/three-passes-lookback-2",
"fn": "hold_scope",
"input": {
"history": {
"account": "acct",
"admission_block": "B1",
"blocks": [
{
"block_id": "B1",
"canary": "PASS"
},
{
"block_id": "B2",
"canary": null
},
{
"block_id": "B3",
"canary": "PASS"
},
{
"block_id": "B4",
"canary": null
},
{
"block_id": "B5",
"canary": "PASS"
},
{
"block_id": "B6",
"canary": "FAIL"
}
]
},
"lookback_passes": 2
},
"note": "the oldest pass, B1, lies outside the scope and is not held",
"expect": "[OK,[B3,B4,B5,B6],PASS,B3,2]"
},
{
"id": "scope/lookback-1",
"fn": "hold_scope",
"input": {
"history": {
"account": "acct",
"admission_block": "B1",
"blocks": [
{
"block_id": "B1",
"canary": "PASS"
},
{
"block_id": "B2",
"canary": null
},
{
"block_id": "B3",
"canary": "PASS"
},
{
"block_id": "B4",
"canary": null
},
{
"block_id": "B5",
"canary": "PASS"
},
{
"block_id": "B6",
"canary": "FAIL"
}
]
},
"lookback_passes": 1
},
"note": "the function is parameterized; the declared value is 2",
"expect": "[OK,[B5,B6],PASS,B5,1]"
},
{
"id": "scope/lookback-3",
"fn": "hold_scope",
"input": {
"history": {
"account": "acct",
"admission_block": "B1",
"blocks": [
{
"block_id": "B1",
"canary": "PASS"
},
{
"block_id": "B2",
"canary": null
},
{
"block_id": "B3",
"canary": "PASS"
},
{
"block_id": "B4",
"canary": null
},
{
"block_id": "B5",
"canary": "PASS"
},
{
"block_id": "B6",
"canary": "FAIL"
}
]
},
"lookback_passes": 3
},
"expect": "[OK,[B1,B2,B3,B4,B5,B6],PASS,B1,3]"
},
{
"id": "scope/lookback-3-fewer",
"fn": "hold_scope",
"input": {
"history": {
"account": "acct",
"admission_block": "B1",
"blocks": [
{
"block_id": "B1",
"canary": null
},
{
"block_id": "B2",
"canary": "PASS"
},
{
"block_id": "B3",
"canary": "PASS"
},
{
"block_id": "B4",
"canary": "FAIL"
}
]
},
"lookback_passes": 3
},
"expect": "[OK,[B1,B2,B3,B4],ADMISSION,B1,2]"
},
{
"id": "scope/anchor-is-admission-block",
"fn": "hold_scope",
"input": {
"history": {
"account": "acct",
"admission_block": "B1",
"blocks": [
{
"block_id": "B1",
"canary": "PASS"
},
{
"block_id": "B2",
"canary": "PASS"
},
{
"block_id": "B3",
"canary": "FAIL"
}
]
},
"lookback_passes": 2
},
"note": "the second pass back is the admission block itself: kind PASS",
"expect": "[OK,[B1,B2,B3],PASS,B1,2]"
},
{
"id": "scope/failing-block-is-admission-block",
"fn": "hold_scope",
"input": {
"history": {
"account": "acct",
"admission_block": "B1",
"blocks": [
{
"block_id": "B1",
"canary": "FAIL"
}
]
},
"lookback_passes": 2
},
"note": "the first block after admission fails: one block held",
"expect": "[OK,[B1],ADMISSION,B1,0]"
},
{
"id": "scope/passes-before-admission-do-not-anchor",
"fn": "hold_scope",
"input": {
"history": {
"account": "acct",
"admission_block": "B2",
"blocks": [
{
"block_id": "B0",
"canary": "PASS"
},
{
"block_id": "B1",
"canary": "PASS"
},
{
"block_id": "B2",
"canary": null
},
{
"block_id": "B3",
"canary": "PASS"
},
{
"block_id": "B4",
"canary": "FAIL"
}
]
},
"lookback_passes": 2
},
"note": "B0 and B1 belong to a lapsed certificate (a re-admission): outside the scope, their passes not counted",
"expect": "[OK,[B2,B3,B4],ADMISSION,B2,1]"
},
{
"id": "scope/failure-before-admission-ignored",
"fn": "hold_scope",
"input": {
"history": {
"account": "acct",
"admission_block": "B1",
"blocks": [
{
"block_id": "B0",
"canary": "FAIL"
},
{
"block_id": "B1",
"canary": null
},
{
"block_id": "B2",
"canary": "PASS"
},
{
"block_id": "B3",
"canary": "FAIL"
}
]
},
"lookback_passes": 2
},
"note": "an earlier failure under the lapsed certificate was its own hold",
"expect": "[OK,[B1,B2,B3],ADMISSION,B1,1]"
},
{
"id": "scope/lookback-parameter-large",
"fn": "hold_scope",
"input": {
"history": {
"account": "acct",
"admission_block": "B1",
"blocks": [
{
"block_id": "B1",
"canary": null
},
{
"block_id": "B2",
"canary": "PASS"
},
{
"block_id": "B3",
"canary": null
},
{
"block_id": "B4",
"canary": null
},
{
"block_id": "B5",
"canary": null
},
{
"block_id": "B6",
"canary": null
},
{
"block_id": "B7",
"canary": "PASS"
},
{
"block_id": "B8",
"canary": null
},
{
"block_id": "B9",
"canary": null
},
{
"block_id": "B10",
"canary": null
},
{
"block_id": "B11",
"canary": null
},
{
"block_id": "B12",
"canary": "FAIL"
}
]
},
"lookback_passes": 100
},
"expect": "[OK,[B1,B2,B3,B4,B5,B6,B7,B8,B9,B10,B11,B12],ADMISSION,B1,2]"
},
{
"id": "scope/refused/last-block-passed",
"fn": "hold_scope",
"input": {
"history": {
"account": "acct",
"admission_block": "B1",
"blocks": [
{
"block_id": "B1",
"canary": null
},
{
"block_id": "B2",
"canary": "PASS"
}
]
},
"lookback_passes": 2
},
"note": "a pass in the failing block is impossible by construction: a block carries one canary outcome",
"expect": "[REFUSED,history: the last block is not the failing block]"
},
{
"id": "scope/refused/last-block-no-canary",
"fn": "hold_scope",
"input": {
"history": {
"account": "acct",
"admission_block": "B1",
"blocks": [
{
"block_id": "B1",
"canary": "FAIL"
},
{
"block_id": "B2",
"canary": null
}
]
},
"lookback_passes": 2
},
"expect": "[REFUSED,history: the last block is not the failing block]"
},
{
"id": "scope/refused/earlier-failure-in-scope",
"fn": "hold_scope",
"input": {
"history": {
"account": "acct",
"admission_block": "B1",
"blocks": [
{
"block_id": "B1",
"canary": null
},
{
"block_id": "B2",
"canary": "FAIL"
},
{
"block_id": "B3",
"canary": null
},
{
"block_id": "B4",
"canary": "FAIL"
}
]
},
"lookback_passes": 2
},
"expect": "[REFUSED,history: block B2 failed a canary inside the scope; an earlier failure is its own hold]"
},
{
"id": "scope/refused/canary-value",
"fn": "hold_scope",
"input": {
"history": {
"account": "acct",
"admission_block": "B1",
"blocks": [
{
"block_id": "B1",
"canary": "MAYBE"
},
{
"block_id": "B2",
"canary": "FAIL"
}
]
},
"lookback_passes": 2
},
"expect": "[REFUSED,history: block B1: canary is not null, PASS or FAIL]"
},
{
"id": "scope/refused/canary-two-outcomes",
"fn": "hold_scope",
"input": {
"history": {
"account": "acct",
"admission_block": "B1",
"blocks": [
{
"block_id": "B1",
"canary": null
},
{
"block_id": "B2",
"canary": [
"PASS",
"FAIL"
]
}
]
},
"lookback_passes": 2
},
"note": "a block carries at most one canary outcome",
"expect": "[REFUSED,history: block B2: canary is not null, PASS or FAIL]"
},
{
"id": "scope/refused/empty-history",
"fn": "hold_scope",
"input": {
"history": {
"account": "acct",
"admission_block": "B1",
"blocks": []
},
"lookback_passes": 2
},
"expect": "[REFUSED,history: blocks is not a non-empty list]"
},
{
"id": "scope/refused/duplicate-block",
"fn": "hold_scope",
"input": {
"history": {
"account": "acct",
"admission_block": "B1",
"blocks": [
{
"block_id": "B1",
"canary": null
},
{
"block_id": "B1",
"canary": "FAIL"
}
]
},
"lookback_passes": 2
},
"expect": "[REFUSED,history: duplicate block B1]"
},
{
"id": "scope/refused/admission-unknown",
"fn": "hold_scope",
"input": {
"history": {
"account": "acct",
"admission_block": "B9",
"blocks": [
{
"block_id": "B1",
"canary": null
},
{
"block_id": "B2",
"canary": "FAIL"
}
]
},
"lookback_passes": 2
},
"expect": "[REFUSED,history: admission block B9 is not in blocks]"
},
{
"id": "scope/refused/lookback-zero",
"fn": "hold_scope",
"input": {
"history": {
"account": "acct",
"admission_block": "B1",
"blocks": [
{
"block_id": "B1",
"canary": null
},
{
"block_id": "B2",
"canary": "PASS"
},
{
"block_id": "B3",
"canary": null
},
{
"block_id": "B4",
"canary": null
},
{
"block_id": "B5",
"canary": null
},
{
"block_id": "B6",
"canary": null
},
{
"block_id": "B7",
"canary": "PASS"
},
{
"block_id": "B8",
"canary": null
},
{
"block_id": "B9",
"canary": null
},
{
"block_id": "B10",
"canary": null
},
{
"block_id": "B11",
"canary": null
},
{
"block_id": "B12",
"canary": "FAIL"
}
]
},
"lookback_passes": 0
},
"expect": "[REFUSED,LOOKBACK PASSES is not an integer of at least 1]"
},
{
"id": "scope/refused/lookback-bool",
"fn": "hold_scope",
"input": {
"history": {
"account": "acct",
"admission_block": "B1",
"blocks": [
{
"block_id": "B1",
"canary": null
},
{
"block_id": "B2",
"canary": "PASS"
},
{
"block_id": "B3",
"canary": null
},
{
"block_id": "B4",
"canary": null
},
{
"block_id": "B5",
"canary": null
},
{
"block_id": "B6",
"canary": null
},
{
"block_id": "B7",
"canary": "PASS"
},
{
"block_id": "B8",
"canary": null
},
{
"block_id": "B9",
"canary": null
},
{
"block_id": "B10",
"canary": null
},
{
"block_id": "B11",
"canary": null
},
{
"block_id": "B12",
"canary": "FAIL"
}
]
},
"lookback_passes": true
},
"expect": "[REFUSED,LOOKBACK PASSES is not an integer of at least 1]"
},
{
"id": "scope/refused/lookback-string",
"fn": "hold_scope",
"input": {
"history": {
"account": "acct",
"admission_block": "B1",
"blocks": [
{
"block_id": "B1",
"canary": null
},
{
"block_id": "B2",
"canary": "PASS"
},
{
"block_id": "B3",
"canary": null
},
{
"block_id": "B4",
"canary": null
},
{
"block_id": "B5",
"canary": null
},
{
"block_id": "B6",
"canary": null
},
{
"block_id": "B7",
"canary": "PASS"
},
{
"block_id": "B8",
"canary": null
},
{
"block_id": "B9",
"canary": null
},
{
"block_id": "B10",
"canary": null
},
{
"block_id": "B11",
"canary": null
},
{
"block_id": "B12",
"canary": "FAIL"
}
]
},
"lookback_passes": "2"
},
"expect": "[REFUSED,LOOKBACK PASSES is not an integer of at least 1]"
},
{
"id": "scope/refused/block-id-not-text",
"fn": "hold_scope",
"input": {
"history": {
"account": "acct",
"admission_block": "B1",
"blocks": [
{
"block_id": 7,
"canary": "FAIL"
}
]
},
"lookback_passes": 2
},
"expect": "[REFUSED,history: block_id is not a name]"
},
{
"id": "scope/refused/block-id-hidden-character",
"fn": "hold_scope",
"input": {
"history": {
"account": "acct",
"admission_block": "B1",
"blocks": [
{
"block_id": "B1\u202e",
"canary": "FAIL"
}
]
},
"lookback_passes": 2
},
"note": "text safety (zone schemas 6): refused, not echoed raw",
"expect": "[REFUSED,history: block_id is not a name]"
},
{
"id": "scope/refused/history-not-object",
"fn": "hold_scope",
"input": {
"history": "x",
"lookback_passes": 2
},
"expect": "[REFUSED,history is not an object]"
},
{
"id": "scope/refused/account-missing",
"fn": "hold_scope",
"input": {
"history": {
"admission_block": "B1",
"blocks": [
{
"block_id": "B1",
"canary": "FAIL"
}
]
},
"lookback_passes": 2
},
"expect": "[REFUSED,history: account is not a name]"
},
{
"id": "closure/seeds-and-dependents",
"fn": "held_closure",
"input": {
"records": [
{
"id": "RR-1",
"block_id": "B1",
"author": "acct",
"cites": [],
"assumptions": [],
"kind": "RESULT",
"status": "PROVISIONAL"
},
{
"id": "RR-2",
"block_id": "B2",
"author": "acct",
"cites": [],
"assumptions": [],
"kind": "RESULT",
"status": "ESTABLISHED"
},
{
"id": "RR-3",
"block_id": "B3",
"author": "other",
"cites": [],
"assumptions": [],
"kind": "RESULT",
"status": "PROVISIONAL"
},
{
"id": "RR-4",
"block_id": "B4",
"author": "acct",
"cites": [
"RR-3"
],
"assumptions": [],
"kind": "RESULT",
"status": "PROVISIONAL"
},
{
"id": "RR-5",
"block_id": "B9",
"author": "other",
"cites": [
"RR-2"
],
"assumptions": [],
"kind": "RESULT",
"status": "PROVISIONAL"
},
{
"id": "RR-6",
"block_id": "B9",
"author": "other",
"cites": [
"RR-5"
],
"assumptions": [],
"kind": "RESULT",
"status": "PROVISIONAL"
},
{
"id": "RR-7",
"block_id": "B9",
"author": "other",
"cites": [
"RR-1"
],
"assumptions": [],
"kind": "RESULT",
"status": "PROVISIONAL"
}
],
"seeds": {
"account": "acct",
"blocks": [
"B2",
"B3",
"B4"
]
}
},
"note": "RR-1 is older work (reviewed, not held); RR-3 is another account's; RR-7 reaches no held record",
"expect": "[OK,[[RR-2,ESTABLISHED],[RR-4,PROVISIONAL],[RR-5,PROVISIONAL],[RR-6,PROVISIONAL]],[RR-2,RR-4]]"
},
{
"id": "closure/no-seeds",
"fn": "held_closure",
"input": {
"records": [
{
"id": "RR-1",
"block_id": "B1",
"author": "acct",
"cites": [],
"assumptions": [],
"kind": "RESULT",
"status": "PROVISIONAL"
},
{
"id": "RR-2",
"block_id": "B2",
"author": "acct",
"cites": [],
"assumptions": [],
"kind": "RESULT",
"status": "ESTABLISHED"
},
{
"id": "RR-3",
"block_id": "B3",
"author": "other",
"cites": [],
"assumptions": [],
"kind": "RESULT",
"status": "PROVISIONAL"
},
{
"id": "RR-4",
"block_id": "B4",
"author": "acct",
"cites": [
"RR-3"
],
"assumptions": [],
"kind": "RESULT",
"status": "PROVISIONAL"
},
{
"id": "RR-5",
"block_id": "B9",
"author": "other",
"cites": [
"RR-2"
],
"assumptions": [],
"kind": "RESULT",
"status": "PROVISIONAL"
},
{
"id": "RR-6",
"block_id": "B9",
"author": "other",
"cites": [
"RR-5"
],
"assumptions": [],
"kind": "RESULT",
"status": "PROVISIONAL"
},
{
"id": "RR-7",
"block_id": "B9",
"author": "other",
"cites": [
"RR-1"
],
"assumptions": [],
"kind": "RESULT",
"status": "PROVISIONAL"
}
],
"seeds": {
"account": "nobody",
"blocks": [
"B2",
"B3",
"B4"
]
}
},
"expect": "[OK,[],[]]"
},
{
"id": "closure/blocks-empty",
"fn": "held_closure",
"input": {
"records": [
{
"id": "RR-1",
"block_id": "B1",
"author": "acct",
"cites": [],
"assumptions": [],
"kind": "RESULT",
"status": "PROVISIONAL"
},
{
"id": "RR-2",
"block_id": "B2",
"author": "acct",
"cites": [],
"assumptions": [],
"kind": "RESULT",
"status": "ESTABLISHED"
},
{
"id": "RR-3",
"block_id": "B3",
"author": "other",
"cites": [],
"assumptions": [],
"kind": "RESULT",
"status": "PROVISIONAL"
},
{
"id": "RR-4",
"block_id": "B4",
"author": "acct",
"cites": [
"RR-3"
],
"assumptions": [],
"kind": "RESULT",
"status": "PROVISIONAL"
},
{
"id": "RR-5",
"block_id": "B9",
"author": "other",
"cites": [
"RR-2"
],
"assumptions": [],
"kind": "RESULT",
"status": "PROVISIONAL"
},
{
"id": "RR-6",
"block_id": "B9",
"author": "other",
"cites": [
"RR-5"
],
"assumptions": [],
"kind": "RESULT",
"status": "PROVISIONAL"
},
{
"id": "RR-7",
"block_id": "B9",
"author": "other",
"cites": [
"RR-1"
],
"assumptions": [],
"kind": "RESULT",
"status": "PROVISIONAL"
}
],
"seeds": {
"account": "acct",
"blocks": []
}
},
"expect": "[OK,[],[]]"
},
{
"id": "closure/assumptions-propagate",
"fn": "held_closure",
"input": {
"records": [
{
"id": "A-1",
"block_id": "B2",
"author": "acct",
"cites": [],
"assumptions": [],
"kind": "ASSUMPTION",
"status": "PROVISIONAL"
},
{
"id": "RR-8",
"block_id": "B9",
"author": "other",
"cites": [],
"assumptions": [
"A-1",
"TFK-A"
],
"kind": "RESULT",
"status": "PROVISIONAL"
},
{
"id": "RR-9",
"block_id": "B9",
"author": "other",
"cites": [],
"assumptions": [
"TFK-A"
],
"kind": "RESULT",
"status": "PROVISIONAL"
}
],
"seeds": {
"account": "acct",
"blocks": [
"B2",
"B3",
"B4"
]
}
},
"note": "an ASSUMPTIONS citation propagates; an identifier outside the register (the TFK's) is ignored",
"expect": "[OK,[[A-1,PROVISIONAL],[RR-8,PROVISIONAL]],[A-1]]"
},
{
"id": "closure/cycle-does-not-loop",
"fn": "held_closure",
"input": {
"records": [
{
"id": "RR-1",
"block_id": "B2",
"author": "acct",
"cites": [
"RR-2"
],
"assumptions": [],
"kind": "RESULT",
"status": "PROVISIONAL"
},
{
"id": "RR-2",
"block_id": "B9",
"author": "other",
"cites": [
"RR-1"
],
"assumptions": [],
"kind": "RESULT",
"status": "PROVISIONAL"
},
{
"id": "RR-3",
"block_id": "B9",
"author": "other",
"cites": [
"RR-3"
],
"assumptions": [],
"kind": "RESULT",
"status": "PROVISIONAL"
}
],
"seeds": {
"account": "acct",
"blocks": [
"B2",
"B3",
"B4"
]
}
},
"expect": "[OK,[[RR-1,PROVISIONAL],[RR-2,PROVISIONAL]],[RR-1]]"
},
{
"id": "closure/corroborations-supplied",
"fn": "held_closure",
"input": {
"records": [
{
"id": "RR-1",
"block_id": "B9",
"author": "other",
"cites": [],
"assumptions": [],
"kind": "RESULT",
"status": "PROVISIONAL"
},
{
"id": "CO-1",
"block_id": "B3",
"author": "acct",
"cites": [
"RR-1"
],
"assumptions": [],
"kind": "CORROBORATION",
"status": "PROVISIONAL"
},
{
"id": "CO-2",
"block_id": "B3",
"author": "TPX",
"cites": [
"RR-1"
],
"assumptions": [],
"kind": "CORROBORATION",
"status": "PROVISIONAL",
"supplied_by": "acct"
},
{
"id": "CO-3",
"block_id": "B1",
"author": "acct",
"cites": [
"RR-1"
],
"assumptions": [],
"kind": "CORROBORATION",
"status": "PROVISIONAL"
},
{
"id": "CO-4",
"block_id": "B3",
"author": "other",
"cites": [
"RR-1"
],
"assumptions": [],
"kind": "CORROBORATION",
"status": "PROVISIONAL"
}
],
"seeds": {
"account": "acct",
"blocks": [
"B2",
"B3",
"B4"
]
}
},
"note": "a corroboration the account supplied is held whether its author field is the account or TPX; RR-1, which it corroborates, is not",
"expect": "[OK,[[CO-1,PROVISIONAL],[CO-2,PROVISIONAL]],[CO-1,CO-2]]"
},
{
"id": "closure/returns-vetted",
"fn": "held_closure",
"input": {
"records": [
{
"id": "RR-1",
"block_id": "B7",
"author": "co",
"cites": [],
"assumptions": [],
"kind": "RESULT",
"status": "PROVISIONAL",
"vetted_by": "acct",
"vetted_in": "B3"
},
{
"id": "RR-2",
"block_id": "B7",
"author": "co",
"cites": [],
"assumptions": [],
"kind": "RESULT",
"status": "PROVISIONAL",
"vetted_by": "acct",
"vetted_in": "B8"
},
{
"id": "RR-3",
"block_id": "B3",
"author": "co",
"cites": [],
"assumptions": [],
"kind": "RESULT",
"status": "PROVISIONAL",
"vetted_by": "acct"
},
{
"id": "RR-4",
"block_id": "B3",
"author": "co",
"cites": [],
"assumptions": [],
"kind": "RESULT",
"status": "PROVISIONAL",
"vetted_by": "lead2"
},
{
"id": "RR-5",
"block_id": "B9",
"author": "other",
"cites": [
"RR-1"
],
"assumptions": [],
"kind": "RESULT",
"status": "PROVISIONAL"
}
],
"seeds": {
"account": "acct",
"blocks": [
"B2",
"B3",
"B4"
]
}
},
"expect": "[OK,[[RR-1,PROVISIONAL],[RR-3,PROVISIONAL],[RR-5,PROVISIONAL]],[RR-1,RR-3]]"
},
{
"id": "closure/prior-status-kept",
"fn": "held_closure",
"input": {
"records": [
{
"id": "RR-1",
"block_id": "B2",
"author": "acct",
"cites": [],
"assumptions": [],
"kind": "RESULT",
"status": "HELD"
},
{
"id": "RR-2",
"block_id": "B2",
"author": "acct",
"cites": [],
"assumptions": [],
"kind": "RESULT",
"status": "REFUTED"
},
{
"id": "RR-3",
"block_id": "B9",
"author": "other",
"cites": [
"RR-2"
],
"assumptions": [],
"kind": "RESULT",
"status": "ESTABLISHED"
}
],
"seeds": {
"account": "acct",
"blocks": [
"B2",
"B3",
"B4"
]
}
},
"note": "the prior status is whatever the record carries; a RELEASE restores it",
"expect": "[OK,[[RR-1,HELD],[RR-2,REFUTED],[RR-3,ESTABLISHED]],[RR-1,RR-2]]"
},
{
"id": "closure/sorted-by-code-point",
"fn": "held_closure",
"input": {
"records": [
{
"id": "RR-10",
"block_id": "B2",
"author": "acct",
"cites": [],
"assumptions": [],
"kind": "RESULT",
"status": "PROVISIONAL"
},
{
"id": "RR-2",
"block_id": "B2",
"author": "acct",
"cites": [],
"assumptions": [],
"kind": "RESULT",
"status": "PROVISIONAL"
},
{
"id": "RR-1",
"block_id": "B9",
"author": "other",
"cites": [
"RR-10"
],
"assumptions": [],
"kind": "RESULT",
"status": "PROVISIONAL"
}
],
"seeds": {
"account": "acct",
"blocks": [
"B2",
"B3",
"B4"
]
}
},
"note": "identifiers sort in code point order: RR-1, RR-10, RR-2",
"expect": "[OK,[[RR-1,PROVISIONAL],[RR-10,PROVISIONAL],[RR-2,PROVISIONAL]],[RR-10,RR-2]]"
},
{
"id": "closure/refused/duplicate-id",
"fn": "held_closure",
"input": {
"records": [
{
"id": "RR-1",
"block_id": "B2",
"author": "acct",
"cites": [],
"assumptions": [],
"kind": "RESULT",
"status": "PROVISIONAL"
},
{
"id": "RR-1",
"block_id": "B3",
"author": "acct",
"cites": [],
"assumptions": [],
"kind": "RESULT",
"status": "PROVISIONAL"
}
],
"seeds": {
"account": "acct",
"blocks": [
"B2",
"B3",
"B4"
]
}
},
"expect": "[REFUSED,records: duplicate id RR-1]"
},
{
"id": "closure/refused/missing-field",
"fn": "held_closure",
"input": {
"records": [
{
"id": "RR-1",
"block_id": "B2",
"author": "acct",
"kind": "RESULT"
}
],
"seeds": {
"account": "acct",
"blocks": [
"B2",
"B3",
"B4"
]
}
},
"expect": "[REFUSED,records: RR-1: status is not a name]"
},
{
"id": "closure/refused/cites-not-list",
"fn": "held_closure",
"input": {
"records": [
{
"id": "RR-1",
"block_id": "B2",
"author": "acct",
"cites": "RR-2",
"assumptions": [],
"kind": "RESULT",
"status": "PROVISIONAL"
}
],
"seeds": {
"account": "acct",
"blocks": [
"B2",
"B3",
"B4"
]
}
},
"expect": "[REFUSED,records: RR-1: cites is not a list of names]"
},
{
"id": "closure/refused/cites-hidden-character",
"fn": "held_closure",
"input": {
"records": [
{
"id": "RR-1",
"block_id": "B2",
"author": "acct",
"cites": [
"RR-2\u200b"
],
"assumptions": [],
"kind": "RESULT",
"status": "PROVISIONAL"
}
],
"seeds": {
"account": "acct",
"blocks": [
"B2",
"B3",
"B4"
]
}
},
"expect": "[REFUSED,records: RR-1: cites is not a list of names]"
},
{
"id": "closure/refused/records-not-list",
"fn": "held_closure",
"input": {
"records": "x",
"seeds": {
"account": "acct",
"blocks": [
"B2",
"B3",
"B4"
]
}
},
"expect": "[REFUSED,records is not a list]"
},
{
"id": "closure/refused/seeds-blocks",
"fn": "held_closure",
"input": {
"records": [
{
"id": "RR-1",
"block_id": "B1",
"author": "acct",
"cites": [],
"assumptions": [],
"kind": "RESULT",
"status": "PROVISIONAL"
},
{
"id": "RR-2",
"block_id": "B2",
"author": "acct",
"cites": [],
"assumptions": [],
"kind": "RESULT",
"status": "ESTABLISHED"
},
{
"id": "RR-3",
"block_id": "B3",
"author": "other",
"cites": [],
"assumptions": [],
"kind": "RESULT",
"status": "PROVISIONAL"
},
{
"id": "RR-4",
"block_id": "B4",
"author": "acct",
"cites": [
"RR-3"
],
"assumptions": [],
"kind": "RESULT",
"status": "PROVISIONAL"
},
{
"id": "RR-5",
"block_id": "B9",
"author": "other",
"cites": [
"RR-2"
],
"assumptions": [],
"kind": "RESULT",
"status": "PROVISIONAL"
},
{
"id": "RR-6",
"block_id": "B9",
"author": "other",
"cites": [
"RR-5"
],
"assumptions": [],
"kind": "RESULT",
"status": "PROVISIONAL"
},
{
"id": "RR-7",
"block_id": "B9",
"author": "other",
"cites": [
"RR-1"
],
"assumptions": [],
"kind": "RESULT",
"status": "PROVISIONAL"
}
],
"seeds": {
"account": "acct"
}
},
"expect": "[REFUSED,seeds: blocks is not a list of names]"
},
{
"id": "closure/refused/seeds-account",
"fn": "held_closure",
"input": {
"records": [
{
"id": "RR-1",
"block_id": "B1",
"author": "acct",
"cites": [],
"assumptions": [],
"kind": "RESULT",
"status": "PROVISIONAL"
},
{
"id": "RR-2",
"block_id": "B2",
"author": "acct",
"cites": [],
"assumptions": [],
"kind": "RESULT",
"status": "ESTABLISHED"
},
{
"id": "RR-3",
"block_id": "B3",
"author": "other",
"cites": [],
"assumptions": [],
"kind": "RESULT",
"status": "PROVISIONAL"
},
{
"id": "RR-4",
"block_id": "B4",
"author": "acct",
"cites": [
"RR-3"
],
"assumptions": [],
"kind": "RESULT",
"status": "PROVISIONAL"
},
{
"id": "RR-5",
"block_id": "B9",
"author": "other",
"cites": [
"RR-2"
],
"assumptions": [],
"kind": "RESULT",
"status": "PROVISIONAL"
},
{
"id": "RR-6",
"block_id": "B9",
"author": "other",
"cites": [
"RR-5"
],
"assumptions": [],
"kind": "RESULT",
"status": "PROVISIONAL"
},
{
"id": "RR-7",
"block_id": "B9",
"author": "other",
"cites": [
"RR-1"
],
"assumptions": [],
"kind": "RESULT",
"status": "PROVISIONAL"
}
],
"seeds": {
"blocks": [
"B2",
"B3",
"B4"
]
}
},
"expect": "[REFUSED,seeds: account is not a name]"
},
{
"id": "closure/refused/optional-flag-type",
"fn": "held_closure",
"input": {
"records": [
{
"id": "RR-1",
"block_id": "B2",
"author": "acct",
"cites": [],
"assumptions": [],
"kind": "RESULT",
"status": "PROVISIONAL",
"vetted_by": 5
}
],
"seeds": {
"account": "acct",
"blocks": [
"B2",
"B3",
"B4"
]
}
},
"expect": "[REFUSED,records: RR-1: vetted_by is not a name]"
},
{
"id": "allocate/first",
"fn": "tpx_allocate",
"input": {
"range": {
"prefix": "RR",
"low": 900001,
"high": 999999,
"next": 900001
}
},
"expect": "[OK,RR-900001,[RR,900001,999999,900002]]"
},
{
"id": "allocate/last",
"fn": "tpx_allocate",
"input": {
"range": {
"prefix": "RR",
"low": 900001,
"high": 900003,
"next": 900003
}
},
"expect": "[OK,RR-900003,[RR,900001,900003,900004]]"
},
{
"id": "allocate/refused/exhausted",
"fn": "tpx_allocate",
"input": {
"range": {
"prefix": "RR",
"low": 900001,
"high": 900003,
"next": 900004
}
},
"expect": "[REFUSED,range: the reserved range RR 900001-900003 is exhausted]"
},
{
"id": "allocate/refused/next-below-low",
"fn": "tpx_allocate",
"input": {
"range": {
"prefix": "RR",
"low": 10,
"high": 20,
"next": 9
}
},
"expect": "[REFUSED,range: next is not an integer at or above low]"
},
{
"id": "allocate/refused/bounds",
"fn": "tpx_allocate",
"input": {
"range": {
"prefix": "RR",
"low": 20,
"high": 10,
"next": 20
}
},
"expect": "[REFUSED,range: low and high are not integers with 1 <= low <= high]"
},
{
"id": "allocate/refused/prefix",
"fn": "tpx_allocate",
"input": {
"range": {
"prefix": "R R",
"low": 1,
"high": 9,
"next": 1
}
},
"expect": "[REFUSED,range: prefix is not an identifier]"
},
{
"id": "allocate/refused/next-bool",
"fn": "tpx_allocate",
"input": {
"range": {
"prefix": "RR",
"low": 1,
"high": 9,
"next": true
}
},
"expect": "[REFUSED,range: next is not an integer at or above low]"
},
{
"id": "hold/preimage",
"fn": "hold_preimage",
"input": {
"cause": {
"canary_id": "C-77",
"account": "acct",
"snapshot": "model-2026-01-01",
"failing_block": "B4",
"anchor_kind": "PASS",
"anchor_block": "B2",
"lookback_passes": 2,
"held_blocks": [
"B2",
"B3",
"B4"
]
},
"seeds": [
"RR-2",
"RR-4"
],
"held": [
[
"RR-2",
"ESTABLISHED"
],
[
"RR-4",
"PROVISIONAL"
],
[
"RR-5",
"PROVISIONAL"
],
[
"RR-6",
"PROVISIONAL"
]
],
"biblio": []
},
"note": "netstring of [tag, form, canary, account, snapshot, failing block, anchor kind, anchor block, lookback, n blocks, blocks..., n seeds, seeds..., n held, (id, status)..., n biblio, (bib_id, check)...]; hold_id is the address, outside it; form 2 (0.2.0) with an empty bibliography list",
"expect": "[OK,8:TPC-HOLD1:24:C-774:acct16:model-2026-01-012:B44:PASS2:B21:21:32:B22:B32:B41:24:RR-24:RR-41:44:RR-211:ESTABLISHED4:RR-411:PROVISIONAL4:RR-511:PROVISIONAL4:RR-611:PROVISIONAL1:0]"
},
{
"id": "hold/record",
"fn": "hold_record",
"input": {
"hold_id": "RR-900001",
"cause": {
"canary_id": "C-77",
"account": "acct",
"snapshot": "model-2026-01-01",
"failing_block": "B4",
"anchor_kind": "PASS",
"anchor_block": "B2",
"lookback_passes": 2,
"held_blocks": [
"B2",
"B3",
"B4"
]
},
"seeds": [
"RR-2",
"RR-4"
],
"held": [
[
"RR-2",
"ESTABLISHED"
],
[
"RR-4",
"PROVISIONAL"
],
[
"RR-5",
"PROVISIONAL"
],
[
"RR-6",
"PROVISIONAL"
]
],
"biblio": []
},
"expect": "[OK,[RR-900001,HOLD,C-77,acct,model-2026-01-01,B4,PASS,B2,2,[B2,B3,B4],[RR-2,RR-4],[[RR-2,ESTABLISHED],[RR-4,PROVISIONAL],[RR-5,PROVISIONAL],[RR-6,PROVISIONAL]],[],e0ae4de0810e8ce5c94a3fe8286c4d7782b3bd358fe0d28797e32b4fd32ae82b]]"
},
{
"id": "hold/record-unsorted-input-sorted-output",
"fn": "hold_record",
"input": {
"hold_id": "RR-900001",
"cause": {
"canary_id": "C-77",
"account": "acct",
"snapshot": "model-2026-01-01",
"failing_block": "B4",
"anchor_kind": "PASS",
"anchor_block": "B2",
"lookback_passes": 2,
"held_blocks": [
"B2",
"B3",
"B4"
]
},
"seeds": [
"RR-4",
"RR-2"
],
"held": [
[
"RR-6",
"PROVISIONAL"
],
[
"RR-5",
"PROVISIONAL"
],
[
"RR-4",
"PROVISIONAL"
],
[
"RR-2",
"ESTABLISHED"
]
],
"biblio": []
},
"note": "the same HOLD, so the same digest, whatever order the lists arrive in",
"expect": "[OK,[RR-900001,HOLD,C-77,acct,model-2026-01-01,B4,PASS,B2,2,[B2,B3,B4],[RR-2,RR-4],[[RR-2,ESTABLISHED],[RR-4,PROVISIONAL],[RR-5,PROVISIONAL],[RR-6,PROVISIONAL]],[],e0ae4de0810e8ce5c94a3fe8286c4d7782b3bd358fe0d28797e32b4fd32ae82b]]"
},
{
"id": "hold/preimage-admission-anchor",
"fn": "hold_preimage",
"input": {
"cause": {
"canary_id": "C-77",
"account": "acct",
"snapshot": "model-2026-01-01",
"failing_block": "B4",
"anchor_kind": "ADMISSION",
"anchor_block": "B1",
"lookback_passes": 2,
"held_blocks": [
"B1",
"B2",
"B3",
"B4"
]
},
"seeds": [
"RR-2"
],
"held": [
[
"RR-2",
"ESTABLISHED"
]
],
"biblio": []
},
"expect": "[OK,8:TPC-HOLD1:24:C-774:acct16:model-2026-01-012:B49:ADMISSION2:B11:21:42:B12:B22:B32:B41:14:RR-21:14:RR-211:ESTABLISHED1:0]"
},
{
"id": "hold/record-admission-anchor",
"fn": "hold_record",
"input": {
"hold_id": "RR-900001",
"cause": {
"canary_id": "C-77",
"account": "acct",
"snapshot": "model-2026-01-01",
"failing_block": "B4",
"anchor_kind": "ADMISSION",
"anchor_block": "B1",
"lookback_passes": 2,
"held_blocks": [
"B1",
"B2",
"B3",
"B4"
]
},
"seeds": [
"RR-2"
],
"held": [
[
"RR-2",
"ESTABLISHED"
]
],
"biblio": []
},
"expect": "[OK,[RR-900001,HOLD,C-77,acct,model-2026-01-01,B4,ADMISSION,B1,2,[B1,B2,B3,B4],[RR-2],[[RR-2,ESTABLISHED]],[],41d4d393186fa61a0b78a0ee77af2e7843f6615d4f352cefec2362fcbcfd4316]]"
},
{
"id": "hold/preimage-bibliography",
"fn": "hold_preimage",
"input": {
"cause": {
"canary_id": "C-77",
"account": "acct",
"snapshot": "model-2026-01-01",
"failing_block": "B4",
"anchor_kind": "PASS",
"anchor_block": "B2",
"lookback_passes": 2,
"held_blocks": [
"B2",
"B3",
"B4"
]
},
"seeds": [
"RR-2",
"RR-4"
],
"held": [
[
"RR-2",
"ESTABLISHED"
],
[
"RR-4",
"PROVISIONAL"
],
[
"RR-5",
"PROVISIONAL"
],
[
"RR-6",
"PROVISIONAL"
]
],
"biblio": [
[
"RR-BIB2",
"NOT FOUND"
],
[
"RR-BIB5",
"FIELDS DIFFER"
],
[
"RR-BIB10",
"LOOKUP FAILED"
]
]
},
"note": "the bibliography list after the held pairs: count, then (bib_id, check) pairs sorted by bib_id in code point order (RR-BIB10 before RR-BIB2); entries are not HELD (D171 (j))",
"expect": "[OK,8:TPC-HOLD1:24:C-774:acct16:model-2026-01-012:B44:PASS2:B21:21:32:B22:B32:B41:24:RR-24:RR-41:44:RR-211:ESTABLISHED4:RR-411:PROVISIONAL4:RR-511:PROVISIONAL4:RR-611:PROVISIONAL1:38:RR-BIB1013:LOOKUP FAILED7:RR-BIB29:NOT FOUND7:RR-BIB513:FIELDS DIFFER]"
},
{
"id": "hold/record-bibliography",
"fn": "hold_record",
"input": {
"hold_id": "RR-900001",
"cause": {
"canary_id": "C-77",
"account": "acct",
"snapshot": "model-2026-01-01",
"failing_block": "B4",
"anchor_kind": "PASS",
"anchor_block": "B2",
"lookback_passes": 2,
"held_blocks": [
"B2",
"B3",
"B4"
]
},
"seeds": [
"RR-2",
"RR-4"
],
"held": [
[
"RR-2",
"ESTABLISHED"
],
[
"RR-4",
"PROVISIONAL"
],
[
"RR-5",
"PROVISIONAL"
],
[
"RR-6",
"PROVISIONAL"
]
],
"biblio": [
[
"RR-BIB2",
"NOT FOUND"
],
[
"RR-BIB5",
"FIELDS DIFFER"
],
[
"RR-BIB10",
"LOOKUP FAILED"
]
]
},
"expect": "[OK,[RR-900001,HOLD,C-77,acct,model-2026-01-01,B4,PASS,B2,2,[B2,B3,B4],[RR-2,RR-4],[[RR-2,ESTABLISHED],[RR-4,PROVISIONAL],[RR-5,PROVISIONAL],[RR-6,PROVISIONAL]],[[RR-BIB10,LOOKUP FAILED],[RR-BIB2,NOT FOUND],[RR-BIB5,FIELDS DIFFER]],37d6e097c9334d5c1d4738673e9c2b5b6fe92274e28e0cd084083daaad2e9d7e]]"
},
{
"id": "hold/record-bibliography-unsorted-input",
"fn": "hold_record",
"input": {
"hold_id": "RR-900001",
"cause": {
"canary_id": "C-77",
"account": "acct",
"snapshot": "model-2026-01-01",
"failing_block": "B4",
"anchor_kind": "PASS",
"anchor_block": "B2",
"lookback_passes": 2,
"held_blocks": [
"B2",
"B3",
"B4"
]
},
"seeds": [
"RR-2",
"RR-4"
],
"held": [
[
"RR-2",
"ESTABLISHED"
],
[
"RR-4",
"PROVISIONAL"
],
[
"RR-5",
"PROVISIONAL"
],
[
"RR-6",
"PROVISIONAL"
]
],
"biblio": [
[
"RR-BIB10",
"LOOKUP FAILED"
],
[
"RR-BIB5",
"FIELDS DIFFER"
],
[
"RR-BIB2",
"NOT FOUND"
]
]
},
"note": "the same HOLD, so the same digest, whatever order the list arrives in",
"expect": "[OK,[RR-900001,HOLD,C-77,acct,model-2026-01-01,B4,PASS,B2,2,[B2,B3,B4],[RR-2,RR-4],[[RR-2,ESTABLISHED],[RR-4,PROVISIONAL],[RR-5,PROVISIONAL],[RR-6,PROVISIONAL]],[[RR-BIB10,LOOKUP FAILED],[RR-BIB2,NOT FOUND],[RR-BIB5,FIELDS DIFFER]],37d6e097c9334d5c1d4738673e9c2b5b6fe92274e28e0cd084083daaad2e9d7e]]"
},
{
"id": "hold/refused/biblio-confirmed",
"fn": "hold_record",
"input": {
"hold_id": "RR-900001",
"cause": {
"canary_id": "C-77",
"account": "acct",
"snapshot": "model-2026-01-01",
"failing_block": "B4",
"anchor_kind": "PASS",
"anchor_block": "B2",
"lookback_passes": 2,
"held_blocks": [
"B2",
"B3",
"B4"
]
},
"seeds": [
"RR-2",
"RR-4"
],
"held": [
[
"RR-2",
"ESTABLISHED"
],
[
"RR-4",
"PROVISIONAL"
],
[
"RR-5",
"PROVISIONAL"
],
[
"RR-6",
"PROVISIONAL"
]
],
"biblio": [
[
"RR-BIB2",
"NOT FOUND"
],
[
"RR-BIB5",
"FIELDS DIFFER"
],
[
"RR-BIB10",
"LOOKUP FAILED"
],
[
"RR-BIB1",
"CONFIRMED"
]
]
},
"note": "D171 (j): the HOLD lists the entries whose re-run CHECK is not CONFIRMED",
"expect": "[REFUSED,biblio: entry RR-BIB1 is CONFIRMED; the list holds what is not]"
},
{
"id": "hold/refused/biblio-duplicate",
"fn": "hold_record",
"input": {
"hold_id": "RR-900001",
"cause": {
"canary_id": "C-77",
"account": "acct",
"snapshot": "model-2026-01-01",
"failing_block": "B4",
"anchor_kind": "PASS",
"anchor_block": "B2",
"lookback_passes": 2,
"held_blocks": [
"B2",
"B3",
"B4"
]
},
"seeds": [
"RR-2",
"RR-4"
],
"held": [
[
"RR-2",
"ESTABLISHED"
],
[
"RR-4",
"PROVISIONAL"
],
[
"RR-5",
"PROVISIONAL"
],
[
"RR-6",
"PROVISIONAL"
]
],
"biblio": [
[
"RR-BIB2",
"NOT FOUND"
],
[
"RR-BIB5",
"FIELDS DIFFER"
],
[
"RR-BIB10",
"LOOKUP FAILED"
],
[
"RR-BIB2",
"LOOKUP FAILED"
]
]
},
"expect": "[REFUSED,biblio: duplicate entry RR-BIB2]"
},
{
"id": "hold/refused/biblio-shape",
"fn": "hold_record",
"input": {
"hold_id": "RR-900001",
"cause": {
"canary_id": "C-77",
"account": "acct",
"snapshot": "model-2026-01-01",
"failing_block": "B4",
"anchor_kind": "PASS",
"anchor_block": "B2",
"lookback_passes": 2,
"held_blocks": [
"B2",
"B3",
"B4"
]
},
"seeds": [
"RR-2",
"RR-4"
],
"held": [
[
"RR-2",
"ESTABLISHED"
],
[
"RR-4",
"PROVISIONAL"
],
[
"RR-5",
"PROVISIONAL"
],
[
"RR-6",
"PROVISIONAL"
]
],
"biblio": [
[
"RR-BIB2"
]
]
},
"expect": "[REFUSED,biblio: entry is not [bib_id, check]]"
},
{
"id": "hold/refused/biblio-not-list",
"fn": "hold_record",
"input": {
"hold_id": "RR-900001",
"cause": {
"canary_id": "C-77",
"account": "acct",
"snapshot": "model-2026-01-01",
"failing_block": "B4",
"anchor_kind": "PASS",
"anchor_block": "B2",
"lookback_passes": 2,
"held_blocks": [
"B2",
"B3",
"B4"
]
},
"seeds": [
"RR-2",
"RR-4"
],
"held": [
[
"RR-2",
"ESTABLISHED"
],
[
"RR-4",
"PROVISIONAL"
],
[
"RR-5",
"PROVISIONAL"
],
[
"RR-6",
"PROVISIONAL"
]
],
"biblio": "RR-BIB2"
},
"expect": "[REFUSED,biblio is not a list]"
},
{
"id": "hold/refused/biblio-hidden-character",
"fn": "hold_preimage",
"input": {
"cause": {
"canary_id": "C-77",
"account": "acct",
"snapshot": "model-2026-01-01",
"failing_block": "B4",
"anchor_kind": "PASS",
"anchor_block": "B2",
"lookback_passes": 2,
"held_blocks": [
"B2",
"B3",
"B4"
]
},
"seeds": [
"RR-2",
"RR-4"
],
"held": [
[
"RR-2",
"ESTABLISHED"
],
[
"RR-4",
"PROVISIONAL"
],
[
"RR-5",
"PROVISIONAL"
],
[
"RR-6",
"PROVISIONAL"
]
],
"biblio": [
[
"RR-BIB2\u200b",
"NOT FOUND"
]
]
},
"expect": "[REFUSED,biblio: entry is not [bib_id, check]]"
},
{
"id": "hold/refused/empty",
"fn": "hold_record",
"input": {
"hold_id": "RR-900001",
"cause": {
"canary_id": "C-77",
"account": "acct",
"snapshot": "model-2026-01-01",
"failing_block": "B4",
"anchor_kind": "PASS",
"anchor_block": "B2",
"lookback_passes": 2,
"held_blocks": [
"B2",
"B3",
"B4"
]
},
"seeds": [],
"held": [],
"biblio": []
},
"note": "a HOLD is never written empty; a failing block that landed nothing holds nothing",
"expect": "[REFUSED,nothing to hold: the held list is empty]"
},
{
"id": "hold/refused/failing-block-mismatch",
"fn": "hold_record",
"input": {
"hold_id": "RR-900001",
"cause": {
"canary_id": "C-77",
"account": "acct",
"snapshot": "model-2026-01-01",
"failing_block": "B9",
"anchor_kind": "PASS",
"anchor_block": "B2",
"lookback_passes": 2,
"held_blocks": [
"B2",
"B3",
"B4"
]
},
"seeds": [
"RR-2",
"RR-4"
],
"held": [
[
"RR-2",
"ESTABLISHED"
],
[
"RR-4",
"PROVISIONAL"
],
[
"RR-5",
"PROVISIONAL"
],
[
"RR-6",
"PROVISIONAL"
]
],
"biblio": []
},
"expect": "[REFUSED,cause: failing_block is not the last held block]"
},
{
"id": "hold/refused/anchor-mismatch",
"fn": "hold_record",
"input": {
"hold_id": "RR-900001",
"cause": {
"canary_id": "C-77",
"account": "acct",
"snapshot": "model-2026-01-01",
"failing_block": "B4",
"anchor_kind": "PASS",
"anchor_block": "B3",
"lookback_passes": 2,
"held_blocks": [
"B2",
"B3",
"B4"
]
},
"seeds": [
"RR-2",
"RR-4"
],
"held": [
[
"RR-2",
"ESTABLISHED"
],
[
"RR-4",
"PROVISIONAL"
],
[
"RR-5",
"PROVISIONAL"
],
[
"RR-6",
"PROVISIONAL"
]
],
"biblio": []
},
"expect": "[REFUSED,cause: anchor_block is not the first held block]"
},
{
"id": "hold/refused/anchor-kind",
"fn": "hold_record",
"input": {
"hold_id": "RR-900001",
"cause": {
"canary_id": "C-77",
"account": "acct",
"snapshot": "model-2026-01-01",
"failing_block": "B4",
"anchor_kind": "PARROT",
"anchor_block": "B2",
"lookback_passes": 2,
"held_blocks": [
"B2",
"B3",
"B4"
]
},
"seeds": [
"RR-2",
"RR-4"
],
"held": [
[
"RR-2",
"ESTABLISHED"
],
[
"RR-4",
"PROVISIONAL"
],
[
"RR-5",
"PROVISIONAL"
],
[
"RR-6",
"PROVISIONAL"
]
],
"biblio": []
},
"note": "a passed parrot is not an anchor (handoff 4.5)",
"expect": "[REFUSED,cause: anchor_kind is not PASS or ADMISSION]"
},
{
"id": "hold/refused/seed-not-held",
"fn": "hold_record",
"input": {
"hold_id": "RR-900001",
"cause": {
"canary_id": "C-77",
"account": "acct",
"snapshot": "model-2026-01-01",
"failing_block": "B4",
"anchor_kind": "PASS",
"anchor_block": "B2",
"lookback_passes": 2,
"held_blocks": [
"B2",
"B3",
"B4"
]
},
"seeds": [
"RR-2",
"RR-9"
],
"held": [
[
"RR-2",
"ESTABLISHED"
],
[
"RR-4",
"PROVISIONAL"
],
[
"RR-5",
"PROVISIONAL"
],
[
"RR-6",
"PROVISIONAL"
]
],
"biblio": []
},
"expect": "[REFUSED,seed RR-9 is not in the held list]"
},
{
"id": "hold/refused/held-shape",
"fn": "hold_record",
"input": {
"hold_id": "RR-900001",
"cause": {
"canary_id": "C-77",
"account": "acct",
"snapshot": "model-2026-01-01",
"failing_block": "B4",
"anchor_kind": "PASS",
"anchor_block": "B2",
"lookback_passes": 2,
"held_blocks": [
"B2",
"B3",
"B4"
]
},
"seeds": [
"RR-2",
"RR-4"
],
"held": [
[
"RR-2"
]
],
"biblio": []
},
"expect": "[REFUSED,held: entry is not [id, prior_status]]"
},
{
"id": "hold/refused/held-duplicate",
"fn": "hold_record",
"input": {
"hold_id": "RR-900001",
"cause": {
"canary_id": "C-77",
"account": "acct",
"snapshot": "model-2026-01-01",
"failing_block": "B4",
"anchor_kind": "PASS",
"anchor_block": "B2",
"lookback_passes": 2,
"held_blocks": [
"B2",
"B3",
"B4"
]
},
"seeds": [
"RR-2",
"RR-4"
],
"held": [
[
"RR-2",
"ESTABLISHED"
],
[
"RR-4",
"PROVISIONAL"
],
[
"RR-5",
"PROVISIONAL"
],
[
"RR-6",
"PROVISIONAL"
],
[
"RR-2",
"PROVISIONAL"
]
],
"biblio": []
},
"expect": "[REFUSED,held: duplicate id RR-2]"
},
{
"id": "hold/refused/cause-missing",
"fn": "hold_record",
"input": {
"hold_id": "RR-900001",
"cause": {
"account": "acct"
},
"seeds": [
"RR-2",
"RR-4"
],
"held": [
[
"RR-2",
"ESTABLISHED"
],
[
"RR-4",
"PROVISIONAL"
],
[
"RR-5",
"PROVISIONAL"
],
[
"RR-6",
"PROVISIONAL"
]
],
"biblio": []
},
"expect": "[REFUSED,cause: canary_id is not a name]"
},
{
"id": "hold/refused/lookback",
"fn": "hold_record",
"input": {
"hold_id": "RR-900001",
"cause": {
"canary_id": "C-77",
"account": "acct",
"snapshot": "model-2026-01-01",
"failing_block": "B4",
"anchor_kind": "PASS",
"anchor_block": "B2",
"lookback_passes": 0,
"held_blocks": [
"B2",
"B3",
"B4"
]
},
"seeds": [
"RR-2",
"RR-4"
],
"held": [
[
"RR-2",
"ESTABLISHED"
],
[
"RR-4",
"PROVISIONAL"
],
[
"RR-5",
"PROVISIONAL"
],
[
"RR-6",
"PROVISIONAL"
]
],
"biblio": []
},
"expect": "[REFUSED,cause: lookback_passes is not an integer of at least 1]"
},
{
"id": "hold/refused/hold-id",
"fn": "hold_record",
"input": {
"hold_id": "",
"cause": {
"canary_id": "C-77",
"account": "acct",
"snapshot": "model-2026-01-01",
"failing_block": "B4",
"anchor_kind": "PASS",
"anchor_block": "B2",
"lookback_passes": 2,
"held_blocks": [
"B2",
"B3",
"B4"
]
},
"seeds": [
"RR-2",
"RR-4"
],
"held": [
[
"RR-2",
"ESTABLISHED"
],
[
"RR-4",
"PROVISIONAL"
],
[
"RR-5",
"PROVISIONAL"
],
[
"RR-6",
"PROVISIONAL"
]
],
"biblio": []
},
"expect": "[REFUSED,hold_id is not a name]"
},
{
"id": "release/seed-and-dependents",
"fn": "release_record",
"input": {
"release_id": "RR-900002",
"hold": {
"canary_id": "C-77",
"account": "acct",
"snapshot": "model-2026-01-01",
"failing_block": "B4",
"anchor_kind": "PASS",
"anchor_block": "B2",
"lookback_passes": 2,
"held_blocks": [
"B2",
"B3",
"B4"
],
"hold_id": "RR-900001",
"seeds": [
"RR-2",
"RR-4"
],
"held": [
[
"RR-2",
"ESTABLISHED"
],
[
"RR-4",
"PROVISIONAL"
],
[
"RR-5",
"PROVISIONAL"
],
[
"RR-6",
"PROVISIONAL"
]
],
"biblio": [],
"digest": "e0ae4de0810e8ce5c94a3fe8286c4d7782b3bd358fe0d28797e32b4fd32ae82b"
},
"reproduction": {
"kind": "REPRODUCTION",
"id": "B12",
"independence": {
"account": "other",
"snapshot": "model-2026-02-02",
"origin": "REPRODUCTION BLOCK"
},
"matched": [
"RR-2"
]
},
"records": [
{
"id": "RR-1",
"block_id": "B1",
"author": "acct",
"cites": [],
"assumptions": [],
"kind": "RESULT",
"status": "PROVISIONAL"
},
{
"id": "RR-2",
"block_id": "B2",
"author": "acct",
"cites": [],
"assumptions": [],
"kind": "RESULT",
"status": "HELD"
},
{
"id": "RR-3",
"block_id": "B3",
"author": "other",
"cites": [],
"assumptions": [],
"kind": "RESULT",
"status": "PROVISIONAL"
},
{
"id": "RR-4",
"block_id": "B4",
"author": "acct",
"cites": [
"RR-3"
],
"assumptions": [],
"kind": "RESULT",
"status": "HELD"
},
{
"id": "RR-5",
"block_id": "B9",
"author": "other",
"cites": [
"RR-2"
],
"assumptions": [],
"kind": "RESULT",
"status": "HELD"
},
{
"id": "RR-6",
"block_id": "B9",
"author": "other",
"cites": [
"RR-5"
],
"assumptions": [],
"kind": "RESULT",
"status": "HELD"
},
{
"id": "RR-7",
"block_id": "B9",
"author": "other",
"cites": [
"RR-1"
],
"assumptions": [],
"kind": "RESULT",
"status": "PROVISIONAL"
}
]
},
"note": "RR-2 reproduced: RR-5 and RR-6, held only through it, are released with it; RR-4 stays held. Preimage: 11:TPC-RELEASE1:29:RR-90000164:e0ae4de0810e8ce5c94a3fe8286c4d7782b3bd358fe0d28797e32b4fd32ae82b12:REPRODUCTION3:B125:other16:model-2026-02-021:34:RR-211:ESTABLISHED4:RR-511:PROVISIONAL4:RR-611:PROVISIONAL1:14:RR-41:0",
"expect": "[OK,[RR-900002,RELEASE,RR-900001,e0ae4de0810e8ce5c94a3fe8286c4d7782b3bd358fe0d28797e32b4fd32ae82b,REPRODUCTION,B12,other,model-2026-02-02,[[RR-2,ESTABLISHED],[RR-5,PROVISIONAL],[RR-6,PROVISIONAL]],[RR-4],[],e2bf9d00ad4e81c3f04f574cafaa6c22866328ff70137eabc43c013454fd13d0]]"
},
{
"id": "release/ledger-match-all",
"fn": "release_record",
"input": {
"release_id": "RR-900002",
"hold": {
"canary_id": "C-77",
"account": "acct",
"snapshot": "model-2026-01-01",
"failing_block": "B4",
"anchor_kind": "PASS",
"anchor_block": "B2",
"lookback_passes": 2,
"held_blocks": [
"B2",
"B3",
"B4"
],
"hold_id": "RR-900001",
"seeds": [
"RR-2",
"RR-4"
],
"held": [
[
"RR-2",
"ESTABLISHED"
],
[
"RR-4",
"PROVISIONAL"
],
[
"RR-5",
"PROVISIONAL"
],
[
"RR-6",
"PROVISIONAL"
]
],
"biblio": [],
"digest": "e0ae4de0810e8ce5c94a3fe8286c4d7782b3bd358fe0d28797e32b4fd32ae82b"
},
"reproduction": {
"kind": "LEDGER_MATCH",
"id": "LE-40",
"independence": {
"account": "other",
"snapshot": "model-2026-02-02",
"origin": "REPRODUCTION BLOCK"
},
"matched": [
"RR-2",
"RR-4"
]
},
"records": [
{
"id": "RR-1",
"block_id": "B1",
"author": "acct",
"cites": [],
"assumptions": [],
"kind": "RESULT",
"status": "PROVISIONAL"
},
{
"id": "RR-2",
"block_id": "B2",
"author": "acct",
"cites": [],
"assumptions": [],
"kind": "RESULT",
"status": "HELD"
},
{
"id": "RR-3",
"block_id": "B3",
"author": "other",
"cites": [],
"assumptions": [],
"kind": "RESULT",
"status": "PROVISIONAL"
},
{
"id": "RR-4",
"block_id": "B4",
"author": "acct",
"cites": [
"RR-3"
],
"assumptions": [],
"kind": "RESULT",
"status": "HELD"
},
{
"id": "RR-5",
"block_id": "B9",
"author": "other",
"cites": [
"RR-2"
],
"assumptions": [],
"kind": "RESULT",
"status": "HELD"
},
{
"id": "RR-6",
"block_id": "B9",
"author": "other",
"cites": [
"RR-5"
],
"assumptions": [],
"kind": "RESULT",
"status": "HELD"
},
{
"id": "RR-7",
"block_id": "B9",
"author": "other",
"cites": [
"RR-1"
],
"assumptions": [],
"kind": "RESULT",
"status": "PROVISIONAL"
}
]
},
"note": "a community-ledger MATCH counts on the same independence check (handoff 5.3, 13.3). Preimage: 11:TPC-RELEASE1:29:RR-90000164:e0ae4de0810e8ce5c94a3fe8286c4d7782b3bd358fe0d28797e32b4fd32ae82b12:LEDGER_MATCH5:LE-405:other16:model-2026-02-021:44:RR-211:ESTABLISHED4:RR-411:PROVISIONAL4:RR-511:PROVISIONAL4:RR-611:PROVISIONAL1:01:0",
"expect": "[OK,[RR-900002,RELEASE,RR-900001,e0ae4de0810e8ce5c94a3fe8286c4d7782b3bd358fe0d28797e32b4fd32ae82b,LEDGER_MATCH,LE-40,other,model-2026-02-02,[[RR-2,ESTABLISHED],[RR-4,PROVISIONAL],[RR-5,PROVISIONAL],[RR-6,PROVISIONAL]],[],[],00c2a3056442721e10adbb22c9fbd05581822c491d5fddee75256b85892fc0fc]]"
},
{
"id": "release/bibliography-carried",
"fn": "release_record",
"input": {
"release_id": "RR-900002",
"hold": {
"canary_id": "C-77",
"account": "acct",
"snapshot": "model-2026-01-01",
"failing_block": "B4",
"anchor_kind": "PASS",
"anchor_block": "B2",
"lookback_passes": 2,
"held_blocks": [
"B2",
"B3",
"B4"
],
"hold_id": "RR-900001",
"seeds": [
"RR-2",
"RR-4"
],
"held": [
[
"RR-2",
"ESTABLISHED"
],
[
"RR-4",
"PROVISIONAL"
],
[
"RR-5",
"PROVISIONAL"
],
[
"RR-6",
"PROVISIONAL"
]
],
"biblio": [
[
"RR-BIB2",
"NOT FOUND"
],
[
"RR-BIB5",
"FIELDS DIFFER"
],
[
"RR-BIB10",
"LOOKUP FAILED"
]
],
"digest": "37d6e097c9334d5c1d4738673e9c2b5b6fe92274e28e0cd084083daaad2e9d7e"
},
"reproduction": {
"kind": "REPRODUCTION",
"id": "B12",
"independence": {
"account": "other",
"snapshot": "model-2026-02-02",
"origin": "REPRODUCTION BLOCK"
},
"matched": [
"RR-2"
]
},
"records": [
{
"id": "RR-1",
"block_id": "B1",
"author": "acct",
"cites": [],
"assumptions": [],
"kind": "RESULT",
"status": "PROVISIONAL"
},
{
"id": "RR-2",
"block_id": "B2",
"author": "acct",
"cites": [],
"assumptions": [],
"kind": "RESULT",
"status": "HELD"
},
{
"id": "RR-3",
"block_id": "B3",
"author": "other",
"cites": [],
"assumptions": [],
"kind": "RESULT",
"status": "PROVISIONAL"
},
{
"id": "RR-4",
"block_id": "B4",
"author": "acct",
"cites": [
"RR-3"
],
"assumptions": [],
"kind": "RESULT",
"status": "HELD"
},
{
"id": "RR-5",
"block_id": "B9",
"author": "other",
"cites": [
"RR-2"
],
"assumptions": [],
"kind": "RESULT",
"status": "HELD"
},
{
"id": "RR-6",
"block_id": "B9",
"author": "other",
"cites": [
"RR-5"
],
"assumptions": [],
"kind": "RESULT",
"status": "HELD"
},
{
"id": "RR-7",
"block_id": "B9",
"author": "other",
"cites": [
"RR-1"
],
"assumptions": [],
"kind": "RESULT",
"status": "PROVISIONAL"
}
]
},
"note": "the HOLD's list is carried unchanged: entries are not held and none is released. Preimage: 11:TPC-RELEASE1:29:RR-90000164:37d6e097c9334d5c1d4738673e9c2b5b6fe92274e28e0cd084083daaad2e9d7e12:REPRODUCTION3:B125:other16:model-2026-02-021:34:RR-211:ESTABLISHED4:RR-511:PROVISIONAL4:RR-611:PROVISIONAL1:14:RR-41:38:RR-BIB1013:LOOKUP FAILED7:RR-BIB29:NOT FOUND7:RR-BIB513:FIELDS DIFFER",
"expect": "[OK,[RR-900002,RELEASE,RR-900001,37d6e097c9334d5c1d4738673e9c2b5b6fe92274e28e0cd084083daaad2e9d7e,REPRODUCTION,B12,other,model-2026-02-02,[[RR-2,ESTABLISHED],[RR-5,PROVISIONAL],[RR-6,PROVISIONAL]],[RR-4],[[RR-BIB10,LOOKUP FAILED],[RR-BIB2,NOT FOUND],[RR-BIB5,FIELDS DIFFER]],5ee5a938bb21ff1902f8d50532a7dbb79d302ce2b8bd3775a64fa5f088b8f18d]]"
},
{
"id": "release/bibliography-unsorted-in-hold",
"fn": "release_record",
"input": {
"release_id": "RR-900002",
"hold": {
"canary_id": "C-77",
"account": "acct",
"snapshot": "model-2026-01-01",
"failing_block": "B4",
"anchor_kind": "PASS",
"anchor_block": "B2",
"lookback_passes": 2,
"held_blocks": [
"B2",
"B3",
"B4"
],
"hold_id": "RR-900001",
"seeds": [
"RR-2",
"RR-4"
],
"held": [
[
"RR-2",
"ESTABLISHED"
],
[
"RR-4",
"PROVISIONAL"
],
[
"RR-5",
"PROVISIONAL"
],
[
"RR-6",
"PROVISIONAL"
]
],
"biblio": [
[
"RR-BIB10",
"LOOKUP FAILED"
],
[
"RR-BIB5",
"FIELDS DIFFER"
],
[
"RR-BIB2",
"NOT FOUND"
]
],
"digest": "37d6e097c9334d5c1d4738673e9c2b5b6fe92274e28e0cd084083daaad2e9d7e"
},
"reproduction": {
"kind": "REPRODUCTION",
"id": "B12",
"independence": {
"account": "other",
"snapshot": "model-2026-02-02",
"origin": "REPRODUCTION BLOCK"
},
"matched": [
"RR-2"
]
},
"records": [
{
"id": "RR-1",
"block_id": "B1",
"author": "acct",
"cites": [],
"assumptions": [],
"kind": "RESULT",
"status": "PROVISIONAL"
},
{
"id": "RR-2",
"block_id": "B2",
"author": "acct",
"cites": [],
"assumptions": [],
"kind": "RESULT",
"status": "HELD"
},
{
"id": "RR-3",
"block_id": "B3",
"author": "other",
"cites": [],
"assumptions": [],
"kind": "RESULT",
"status": "PROVISIONAL"
},
{
"id": "RR-4",
"block_id": "B4",
"author": "acct",
"cites": [
"RR-3"
],
"assumptions": [],
"kind": "RESULT",
"status": "HELD"
},
{
"id": "RR-5",
"block_id": "B9",
"author": "other",
"cites": [
"RR-2"
],
"assumptions": [],
"kind": "RESULT",
"status": "HELD"
},
{
"id": "RR-6",
"block_id": "B9",
"author": "other",
"cites": [
"RR-5"
],
"assumptions": [],
"kind": "RESULT",
"status": "HELD"
},
{
"id": "RR-7",
"block_id": "B9",
"author": "other",
"cites": [
"RR-1"
],
"assumptions": [],
"kind": "RESULT",
"status": "PROVISIONAL"
}
]
},
"expect": "[OK,[RR-900002,RELEASE,RR-900001,37d6e097c9334d5c1d4738673e9c2b5b6fe92274e28e0cd084083daaad2e9d7e,REPRODUCTION,B12,other,model-2026-02-02,[[RR-2,ESTABLISHED],[RR-5,PROVISIONAL],[RR-6,PROVISIONAL]],[RR-4],[[RR-BIB10,LOOKUP FAILED],[RR-BIB2,NOT FOUND],[RR-BIB5,FIELDS DIFFER]],5ee5a938bb21ff1902f8d50532a7dbb79d302ce2b8bd3775a64fa5f088b8f18d]]"
},
{
"id": "release/refused/hold-missing-biblio",
"fn": "release_record",
"input": {
"release_id": "RR-900002",
"hold": {
"canary_id": "C-77",
"account": "acct",
"snapshot": "model-2026-01-01",
"failing_block": "B4",
"anchor_kind": "PASS",
"anchor_block": "B2",
"lookback_passes": 2,
"held_blocks": [
"B2",
"B3",
"B4"
],
"hold_id": "RR-900001",
"seeds": [
"RR-2",
"RR-4"
],
"held": [
[
"RR-2",
"ESTABLISHED"
],
[
"RR-4",
"PROVISIONAL"
],
[
"RR-5",
"PROVISIONAL"
],
[
"RR-6",
"PROVISIONAL"
]
],
"digest": "e0ae4de0810e8ce5c94a3fe8286c4d7782b3bd358fe0d28797e32b4fd32ae82b"
},
"reproduction": {
"kind": "REPRODUCTION",
"id": "B12",
"independence": {
"account": "other",
"snapshot": "model-2026-02-02",
"origin": "REPRODUCTION BLOCK"
},
"matched": [
"RR-2"
]
},
"records": [
{
"id": "RR-1",
"block_id": "B1",
"author": "acct",
"cites": [],
"assumptions": [],
"kind": "RESULT",
"status": "PROVISIONAL"
},
{
"id": "RR-2",
"block_id": "B2",
"author": "acct",
"cites": [],
"assumptions": [],
"kind": "RESULT",
"status": "HELD"
},
{
"id": "RR-3",
"block_id": "B3",
"author": "other",
"cites": [],
"assumptions": [],
"kind": "RESULT",
"status": "PROVISIONAL"
},
{
"id": "RR-4",
"block_id": "B4",
"author": "acct",
"cites": [
"RR-3"
],
"assumptions": [],
"kind": "RESULT",
"status": "HELD"
},
{
"id": "RR-5",
"block_id": "B9",
"author": "other",
"cites": [
"RR-2"
],
"assumptions": [],
"kind": "RESULT",
"status": "HELD"
},
{
"id": "RR-6",
"block_id": "B9",
"author": "other",
"cites": [
"RR-5"
],
"assumptions": [],
"kind": "RESULT",
"status": "HELD"
},
{
"id": "RR-7",
"block_id": "B9",
"author": "other",
"cites": [
"RR-1"
],
"assumptions": [],
"kind": "RESULT",
"status": "PROVISIONAL"
}
]
},
"note": "a form-1 HOLD object is not read at 0.2.0 (no UWC exists; fixtures only)",
"expect": "[REFUSED,hold: missing field biblio]"
},
{
"id": "release/refused/hold-biblio-confirmed",
"fn": "release_record",
"input": {
"release_id": "RR-900002",
"hold": {
"canary_id": "C-77",
"account": "acct",
"snapshot": "model-2026-01-01",
"failing_block": "B4",
"anchor_kind": "PASS",
"anchor_block": "B2",
"lookback_passes": 2,
"held_blocks": [
"B2",
"B3",
"B4"
],
"hold_id": "RR-900001",
"seeds": [
"RR-2",
"RR-4"
],
"held": [
[
"RR-2",
"ESTABLISHED"
],
[
"RR-4",
"PROVISIONAL"
],
[
"RR-5",
"PROVISIONAL"
],
[
"RR-6",
"PROVISIONAL"
]
],
"biblio": [
[
"RR-BIB2",
"NOT FOUND"
],
[
"RR-BIB5",
"FIELDS DIFFER"
],
[
"RR-BIB10",
"LOOKUP FAILED"
],
[
"RR-BIB1",
"CONFIRMED"
]
],
"digest": "37d6e097c9334d5c1d4738673e9c2b5b6fe92274e28e0cd084083daaad2e9d7e"
},
"reproduction": {
"kind": "REPRODUCTION",
"id": "B12",
"independence": {
"account": "other",
"snapshot": "model-2026-02-02",
"origin": "REPRODUCTION BLOCK"
},
"matched": [
"RR-2"
]
},
"records": [
{
"id": "RR-1",
"block_id": "B1",
"author": "acct",
"cites": [],
"assumptions": [],
"kind": "RESULT",
"status": "PROVISIONAL"
},
{
"id": "RR-2",
"block_id": "B2",
"author": "acct",
"cites": [],
"assumptions": [],
"kind": "RESULT",
"status": "HELD"
},
{
"id": "RR-3",
"block_id": "B3",
"author": "other",
"cites": [],
"assumptions": [],
"kind": "RESULT",
"status": "PROVISIONAL"
},
{
"id": "RR-4",
"block_id": "B4",
"author": "acct",
"cites": [
"RR-3"
],
"assumptions": [],
"kind": "RESULT",
"status": "HELD"
},
{
"id": "RR-5",
"block_id": "B9",
"author": "other",
"cites": [
"RR-2"
],
"assumptions": [],
"kind": "RESULT",
"status": "HELD"
},
{
"id": "RR-6",
"block_id": "B9",
"author": "other",
"cites": [
"RR-5"
],
"assumptions": [],
"kind": "RESULT",
"status": "HELD"
},
{
"id": "RR-7",
"block_id": "B9",
"author": "other",
"cites": [
"RR-1"
],
"assumptions": [],
"kind": "RESULT",
"status": "PROVISIONAL"
}
]
},
"expect": "[REFUSED,hold: biblio: entry RR-BIB1 is CONFIRMED; the list holds what is not]"
},
{
"id": "release/refused/hold-biblio-digest-moved",
"fn": "release_record",
"input": {
"release_id": "RR-900002",
"hold": {
"canary_id": "C-77",
"account": "acct",
"snapshot": "model-2026-01-01",
"failing_block": "B4",
"anchor_kind": "PASS",
"anchor_block": "B2",
"lookback_passes": 2,
"held_blocks": [
"B2",
"B3",
"B4"
],
"hold_id": "RR-900001",
"seeds": [
"RR-2",
"RR-4"
],
"held": [
[
"RR-2",
"ESTABLISHED"
],
[
"RR-4",
"PROVISIONAL"
],
[
"RR-5",
"PROVISIONAL"
],
[
"RR-6",
"PROVISIONAL"
]
],
"biblio": [
[
"RR-BIB2",
"NOT FOUND"
],
[
"RR-BIB5",
"FIELDS DIFFER"
]
],
"digest": "37d6e097c9334d5c1d4738673e9c2b5b6fe92274e28e0cd084083daaad2e9d7e"
},
"reproduction": {
"kind": "REPRODUCTION",
"id": "B12",
"independence": {
"account": "other",
"snapshot": "model-2026-02-02",
"origin": "REPRODUCTION BLOCK"
},
"matched": [
"RR-2"
]
},
"records": [
{
"id": "RR-1",
"block_id": "B1",
"author": "acct",
"cites": [],
"assumptions": [],
"kind": "RESULT",
"status": "PROVISIONAL"
},
{
"id": "RR-2",
"block_id": "B2",
"author": "acct",
"cites": [],
"assumptions": [],
"kind": "RESULT",
"status": "HELD"
},
{
"id": "RR-3",
"block_id": "B3",
"author": "other",
"cites": [],
"assumptions": [],
"kind": "RESULT",
"status": "PROVISIONAL"
},
{
"id": "RR-4",
"block_id": "B4",
"author": "acct",
"cites": [
"RR-3"
],
"assumptions": [],
"kind": "RESULT",
"status": "HELD"
},
{
"id": "RR-5",
"block_id": "B9",
"author": "other",
"cites": [
"RR-2"
],
"assumptions": [],
"kind": "RESULT",
"status": "HELD"
},
{
"id": "RR-6",
"block_id": "B9",
"author": "other",
"cites": [
"RR-5"
],
"assumptions": [],
"kind": "RESULT",
"status": "HELD"
},
{
"id": "RR-7",
"block_id": "B9",
"author": "other",
"cites": [
"RR-1"
],
"assumptions": [],
"kind": "RESULT",
"status": "PROVISIONAL"
}
]
},
"note": "the list is inside the HOLD's digest",
"expect": "[REFUSED,hold: digest does not match its fields]"
},
{
"id": "release/dependent-matched-stays-held",
"fn": "release_record",
"input": {
"release_id": "RR-900002",
"hold": {
"canary_id": "C-77",
"account": "acct",
"snapshot": "model-2026-01-01",
"failing_block": "B4",
"anchor_kind": "PASS",
"anchor_block": "B2",
"lookback_passes": 2,
"held_blocks": [
"B2",
"B3",
"B4"
],
"hold_id": "RR-900001",
"seeds": [
"RR-2",
"RR-4"
],
"held": [
[
"RR-2",
"ESTABLISHED"
],
[
"RR-4",
"PROVISIONAL"
],
[
"RR-5",
"PROVISIONAL"
],
[
"RR-6",
"PROVISIONAL"
]
],
"biblio": [],
"digest": "e0ae4de0810e8ce5c94a3fe8286c4d7782b3bd358fe0d28797e32b4fd32ae82b"
},
"reproduction": {
"kind": "REPRODUCTION",
"id": "B12",
"independence": {
"account": "other",
"snapshot": "model-2026-02-02",
"origin": "REPRODUCTION BLOCK"
},
"matched": [
"RR-5"
]
},
"records": [
{
"id": "RR-1",
"block_id": "B1",
"author": "acct",
"cites": [],
"assumptions": [],
"kind": "RESULT",
"status": "PROVISIONAL"
},
{
"id": "RR-2",
"block_id": "B2",
"author": "acct",
"cites": [],
"assumptions": [],
"kind": "RESULT",
"status": "HELD"
},
{
"id": "RR-3",
"block_id": "B3",
"author": "other",
"cites": [],
"assumptions": [],
"kind": "RESULT",
"status": "PROVISIONAL"
},
{
"id": "RR-4",
"block_id": "B4",
"author": "acct",
"cites": [
"RR-3"
],
"assumptions": [],
"kind": "RESULT",
"status": "HELD"
},
{
"id": "RR-5",
"block_id": "B9",
"author": "other",
"cites": [
"RR-2"
],
"assumptions": [],
"kind": "RESULT",
"status": "HELD"
},
{
"id": "RR-6",
"block_id": "B9",
"author": "other",
"cites": [
"RR-5"
],
"assumptions": [],
"kind": "RESULT",
"status": "HELD"
},
{
"id": "RR-7",
"block_id": "B9",
"author": "other",
"cites": [
"RR-1"
],
"assumptions": [],
"kind": "RESULT",
"status": "PROVISIONAL"
}
]
},
"note": "RR-5 reproduced but its derivation cites RR-2, still held: nothing is released",
"expect": "[REFUSED,no held record is released by this reproduction]"
},
{
"id": "release/refused/same-account",
"fn": "release_record",
"input": {
"release_id": "RR-900002",
"hold": {
"canary_id": "C-77",
"account": "acct",
"snapshot": "model-2026-01-01",
"failing_block": "B4",
"anchor_kind": "PASS",
"anchor_block": "B2",
"lookback_passes": 2,
"held_blocks": [
"B2",
"B3",
"B4"
],
"hold_id": "RR-900001",
"seeds": [
"RR-2",
"RR-4"
],
"held": [
[
"RR-2",
"ESTABLISHED"
],
[
"RR-4",
"PROVISIONAL"
],
[
"RR-5",
"PROVISIONAL"
],
[
"RR-6",
"PROVISIONAL"
]
],
"biblio": [],
"digest": "e0ae4de0810e8ce5c94a3fe8286c4d7782b3bd358fe0d28797e32b4fd32ae82b"
},
"reproduction": {
"kind": "REPRODUCTION",
"id": "B12",
"independence": {
"account": "acct",
"snapshot": "model-2026-02-02",
"origin": "REPRODUCTION BLOCK"
},
"matched": [
"RR-2"
]
},
"records": [
{
"id": "RR-1",
"block_id": "B1",
"author": "acct",
"cites": [],
"assumptions": [],
"kind": "RESULT",
"status": "PROVISIONAL"
},
{
"id": "RR-2",
"block_id": "B2",
"author": "acct",
"cites": [],
"assumptions": [],
"kind": "RESULT",
"status": "HELD"
},
{
"id": "RR-3",
"block_id": "B3",
"author": "other",
"cites": [],
"assumptions": [],
"kind": "RESULT",
"status": "PROVISIONAL"
},
{
"id": "RR-4",
"block_id": "B4",
"author": "acct",
"cites": [
"RR-3"
],
"assumptions": [],
"kind": "RESULT",
"status": "HELD"
},
{
"id": "RR-5",
"block_id": "B9",
"author": "other",
"cites": [
"RR-2"
],
"assumptions": [],
"kind": "RESULT",
"status": "HELD"
},
{
"id": "RR-6",
"block_id": "B9",
"author": "other",
"cites": [
"RR-5"
],
"assumptions": [],
"kind": "RESULT",
"status": "HELD"
},
{
"id": "RR-7",
"block_id": "B9",
"author": "other",
"cites": [
"RR-1"
],
"assumptions": [],
"kind": "RESULT",
"status": "PROVISIONAL"
}
]
},
"expect": "[REFUSED,reproduction by the held account is not independent]"
},
{
"id": "release/refused/same-model-flag",
"fn": "release_record",
"input": {
"release_id": "RR-900002",
"hold": {
"canary_id": "C-77",
"account": "acct",
"snapshot": "model-2026-01-01",
"failing_block": "B4",
"anchor_kind": "PASS",
"anchor_block": "B2",
"lookback_passes": 2,
"held_blocks": [
"B2",
"B3",
"B4"
],
"hold_id": "RR-900001",
"seeds": [
"RR-2",
"RR-4"
],
"held": [
[
"RR-2",
"ESTABLISHED"
],
[
"RR-4",
"PROVISIONAL"
],
[
"RR-5",
"PROVISIONAL"
],
[
"RR-6",
"PROVISIONAL"
]
],
"biblio": [],
"digest": "e0ae4de0810e8ce5c94a3fe8286c4d7782b3bd358fe0d28797e32b4fd32ae82b"
},
"reproduction": {
"kind": "REPRODUCTION",
"id": "B12",
"independence": {
"account": "other",
"snapshot": "model-2026-02-02",
"origin": "REPRODUCTION BLOCK",
"same_model": true
},
"matched": [
"RR-2"
]
},
"records": [
{
"id": "RR-1",
"block_id": "B1",
"author": "acct",
"cites": [],
"assumptions": [],
"kind": "RESULT",
"status": "PROVISIONAL"
},
{
"id": "RR-2",
"block_id": "B2",
"author": "acct",
"cites": [],
"assumptions": [],
"kind": "RESULT",
"status": "HELD"
},
{
"id": "RR-3",
"block_id": "B3",
"author": "other",
"cites": [],
"assumptions": [],
"kind": "RESULT",
"status": "PROVISIONAL"
},
{
"id": "RR-4",
"block_id": "B4",
"author": "acct",
"cites": [
"RR-3"
],
"assumptions": [],
"kind": "RESULT",
"status": "HELD"
},
{
"id": "RR-5",
"block_id": "B9",
"author": "other",
"cites": [
"RR-2"
],
"assumptions": [],
"kind": "RESULT",
"status": "HELD"
},
{
"id": "RR-6",
"block_id": "B9",
"author": "other",
"cites": [
"RR-5"
],
"assumptions": [],
"kind": "RESULT",
"status": "HELD"
},
{
"id": "RR-7",
"block_id": "B9",
"author": "other",
"cites": [
"RR-1"
],
"assumptions": [],
"kind": "RESULT",
"status": "PROVISIONAL"
}
]
},
"expect": "[REFUSED,reproduction is SAME-MODEL]"
},
{
"id": "release/refused/same-snapshot",
"fn": "release_record",
"input": {
"release_id": "RR-900002",
"hold": {
"canary_id": "C-77",
"account": "acct",
"snapshot": "model-2026-01-01",
"failing_block": "B4",
"anchor_kind": "PASS",
"anchor_block": "B2",
"lookback_passes": 2,
"held_blocks": [
"B2",
"B3",
"B4"
],
"hold_id": "RR-900001",
"seeds": [
"RR-2",
"RR-4"
],
"held": [
[
"RR-2",
"ESTABLISHED"
],
[
"RR-4",
"PROVISIONAL"
],
[
"RR-5",
"PROVISIONAL"
],
[
"RR-6",
"PROVISIONAL"
]
],
"biblio": [],
"digest": "e0ae4de0810e8ce5c94a3fe8286c4d7782b3bd358fe0d28797e32b4fd32ae82b"
},
"reproduction": {
"kind": "REPRODUCTION",
"id": "B12",
"independence": {
"account": "other",
"snapshot": "model-2026-01-01",
"origin": "REPRODUCTION BLOCK"
},
"matched": [
"RR-2"
]
},
"records": [
{
"id": "RR-1",
"block_id": "B1",
"author": "acct",
"cites": [],
"assumptions": [],
"kind": "RESULT",
"status": "PROVISIONAL"
},
{
"id": "RR-2",
"block_id": "B2",
"author": "acct",
"cites": [],
"assumptions": [],
"kind": "RESULT",
"status": "HELD"
},
{
"id": "RR-3",
"block_id": "B3",
"author": "other",
"cites": [],
"assumptions": [],
"kind": "RESULT",
"status": "PROVISIONAL"
},
{
"id": "RR-4",
"block_id": "B4",
"author": "acct",
"cites": [
"RR-3"
],
"assumptions": [],
"kind": "RESULT",
"status": "HELD"
},
{
"id": "RR-5",
"block_id": "B9",
"author": "other",
"cites": [
"RR-2"
],
"assumptions": [],
"kind": "RESULT",
"status": "HELD"
},
{
"id": "RR-6",
"block_id": "B9",
"author": "other",
"cites": [
"RR-5"
],
"assumptions": [],
"kind": "RESULT",
"status": "HELD"
},
{
"id": "RR-7",
"block_id": "B9",
"author": "other",
"cites": [
"RR-1"
],
"assumptions": [],
"kind": "RESULT",
"status": "PROVISIONAL"
}
]
},
"note": "the reproducing snapshot equals the original's (D42)",
"expect": "[REFUSED,reproduction is SAME-MODEL]"
},
{
"id": "release/refused/same-block-origin",
"fn": "release_record",
"input": {
"release_id": "RR-900002",
"hold": {
"canary_id": "C-77",
"account": "acct",
"snapshot": "model-2026-01-01",
"failing_block": "B4",
"anchor_kind": "PASS",
"anchor_block": "B2",
"lookback_passes": 2,
"held_blocks": [
"B2",
"B3",
"B4"
],
"hold_id": "RR-900001",
"seeds": [
"RR-2",
"RR-4"
],
"held": [
[
"RR-2",
"ESTABLISHED"
],
[
"RR-4",
"PROVISIONAL"
],
[
"RR-5",
"PROVISIONAL"
],
[
"RR-6",
"PROVISIONAL"
]
],
"biblio": [],
"digest": "e0ae4de0810e8ce5c94a3fe8286c4d7782b3bd358fe0d28797e32b4fd32ae82b"
},
"reproduction": {
"kind": "REPRODUCTION",
"id": "B12",
"independence": {
"account": "other",
"snapshot": "model-2026-02-02",
"origin": "SAME BLOCK"
},
"matched": [
"RR-2"
]
},
"records": [
{
"id": "RR-1",
"block_id": "B1",
"author": "acct",
"cites": [],
"assumptions": [],
"kind": "RESULT",
"status": "PROVISIONAL"
},
{
"id": "RR-2",
"block_id": "B2",
"author": "acct",
"cites": [],
"assumptions": [],
"kind": "RESULT",
"status": "HELD"
},
{
"id": "RR-3",
"block_id": "B3",
"author": "other",
"cites": [],
"assumptions": [],
"kind": "RESULT",
"status": "PROVISIONAL"
},
{
"id": "RR-4",
"block_id": "B4",
"author": "acct",
"cites": [
"RR-3"
],
"assumptions": [],
"kind": "RESULT",
"status": "HELD"
},
{
"id": "RR-5",
"block_id": "B9",
"author": "other",
"cites": [
"RR-2"
],
"assumptions": [],
"kind": "RESULT",
"status": "HELD"
},
{
"id": "RR-6",
"block_id": "B9",
"author": "other",
"cites": [
"RR-5"
],
"assumptions": [],
"kind": "RESULT",
"status": "HELD"
},
{
"id": "RR-7",
"block_id": "B9",
"author": "other",
"cites": [
"RR-1"
],
"assumptions": [],
"kind": "RESULT",
"status": "PROVISIONAL"
}
]
},
"expect": "[REFUSED,reproduction origin is not REPRODUCTION BLOCK]"
},
{
"id": "release/refused/matched-not-held",
"fn": "release_record",
"input": {
"release_id": "RR-900002",
"hold": {
"canary_id": "C-77",
"account": "acct",
"snapshot": "model-2026-01-01",
"failing_block": "B4",
"anchor_kind": "PASS",
"anchor_block": "B2",
"lookback_passes": 2,
"held_blocks": [
"B2",
"B3",
"B4"
],
"hold_id": "RR-900001",
"seeds": [
"RR-2",
"RR-4"
],
"held": [
[
"RR-2",
"ESTABLISHED"
],
[
"RR-4",
"PROVISIONAL"
],
[
"RR-5",
"PROVISIONAL"
],
[
"RR-6",
"PROVISIONAL"
]
],
"biblio": [],
"digest": "e0ae4de0810e8ce5c94a3fe8286c4d7782b3bd358fe0d28797e32b4fd32ae82b"
},
"reproduction": {
"kind": "REPRODUCTION",
"id": "B12",
"independence": {
"account": "other",
"snapshot": "model-2026-02-02",
"origin": "REPRODUCTION BLOCK"
},
"matched": [
"RR-2",
"RR-7"
]
},
"records": [
{
"id": "RR-1",
"block_id": "B1",
"author": "acct",
"cites": [],
"assumptions": [],
"kind": "RESULT",
"status": "PROVISIONAL"
},
{
"id": "RR-2",
"block_id": "B2",
"author": "acct",
"cites": [],
"assumptions": [],
"kind": "RESULT",
"status": "HELD"
},
{
"id": "RR-3",
"block_id": "B3",
"author": "other",
"cites": [],
"assumptions": [],
"kind": "RESULT",
"status": "PROVISIONAL"
},
{
"id": "RR-4",
"block_id": "B4",
"author": "acct",
"cites": [
"RR-3"
],
"assumptions": [],
"kind": "RESULT",
"status": "HELD"
},
{
"id": "RR-5",
"block_id": "B9",
"author": "other",
"cites": [
"RR-2"
],
"assumptions": [],
"kind": "RESULT",
"status": "HELD"
},
{
"id": "RR-6",
"block_id": "B9",
"author": "other",
"cites": [
"RR-5"
],
"assumptions": [],
"kind": "RESULT",
"status": "HELD"
},
{
"id": "RR-7",
"block_id": "B9",
"author": "other",
"cites": [
"RR-1"
],
"assumptions": [],
"kind": "RESULT",
"status": "PROVISIONAL"
}
]
},
"expect": "[REFUSED,matched record RR-7 is not in the hold]"
},
{
"id": "release/refused/kind",
"fn": "release_record",
"input": {
"release_id": "RR-900002",
"hold": {
"canary_id": "C-77",
"account": "acct",
"snapshot": "model-2026-01-01",
"failing_block": "B4",
"anchor_kind": "PASS",
"anchor_block": "B2",
"lookback_passes": 2,
"held_blocks": [
"B2",
"B3",
"B4"
],
"hold_id": "RR-900001",
"seeds": [
"RR-2",
"RR-4"
],
"held": [
[
"RR-2",
"ESTABLISHED"
],
[
"RR-4",
"PROVISIONAL"
],
[
"RR-5",
"PROVISIONAL"
],
[
"RR-6",
"PROVISIONAL"
]
],
"biblio": [],
"digest": "e0ae4de0810e8ce5c94a3fe8286c4d7782b3bd358fe0d28797e32b4fd32ae82b"
},
"reproduction": {
"kind": "PARROT",
"id": "B12",
"independence": {
"account": "other",
"snapshot": "model-2026-02-02",
"origin": "REPRODUCTION BLOCK"
},
"matched": [
"RR-2"
]
},
"records": [
{
"id": "RR-1",
"block_id": "B1",
"author": "acct",
"cites": [],
"assumptions": [],
"kind": "RESULT",
"status": "PROVISIONAL"
},
{
"id": "RR-2",
"block_id": "B2",
"author": "acct",
"cites": [],
"assumptions": [],
"kind": "RESULT",
"status": "HELD"
},
{
"id": "RR-3",
"block_id": "B3",
"author": "other",
"cites": [],
"assumptions": [],
"kind": "RESULT",
"status": "PROVISIONAL"
},
{
"id": "RR-4",
"block_id": "B4",
"author": "acct",
"cites": [
"RR-3"
],
"assumptions": [],
"kind": "RESULT",
"status": "HELD"
},
{
"id": "RR-5",
"block_id": "B9",
"author": "other",
"cites": [
"RR-2"
],
"assumptions": [],
"kind": "RESULT",
"status": "HELD"
},
{
"id": "RR-6",
"block_id": "B9",
"author": "other",
"cites": [
"RR-5"
],
"assumptions": [],
"kind": "RESULT",
"status": "HELD"
},
{
"id": "RR-7",
"block_id": "B9",
"author": "other",
"cites": [
"RR-1"
],
"assumptions": [],
"kind": "RESULT",
"status": "PROVISIONAL"
}
]
},
"expect": "[REFUSED,reproduction: kind is not REPRODUCTION or LEDGER_MATCH]"
},
{
"id": "release/refused/hold-digest",
"fn": "release_record",
"input": {
"release_id": "RR-900002",
"hold": {
"canary_id": "C-77",
"account": "acct",
"snapshot": "model-2026-01-01",
"failing_block": "B4",
"anchor_kind": "PASS",
"anchor_block": "B2",
"lookback_passes": 2,
"held_blocks": [
"B2",
"B3",
"B4"
],
"hold_id": "RR-900001",
"seeds": [
"RR-2",
"RR-4"
],
"held": [
[
"RR-2",
"ESTABLISHED"
],
[
"RR-4",
"PROVISIONAL"
],
[
"RR-5",
"PROVISIONAL"
],
[
"RR-6",
"PROVISIONAL"
]
],
"biblio": [],
"digest": "0000000000000000000000000000000000000000000000000000000000000000"
},
"reproduction": {
"kind": "REPRODUCTION",
"id": "B12",
"independence": {
"account": "other",
"snapshot": "model-2026-02-02",
"origin": "REPRODUCTION BLOCK"
},
"matched": [
"RR-2"
]
},
"records": [
{
"id": "RR-1",
"block_id": "B1",
"author": "acct",
"cites": [],
"assumptions": [],
"kind": "RESULT",
"status": "PROVISIONAL"
},
{
"id": "RR-2",
"block_id": "B2",
"author": "acct",
"cites": [],
"assumptions": [],
"kind": "RESULT",
"status": "HELD"
},
{
"id": "RR-3",
"block_id": "B3",
"author": "other",
"cites": [],
"assumptions": [],
"kind": "RESULT",
"status": "PROVISIONAL"
},
{
"id": "RR-4",
"block_id": "B4",
"author": "acct",
"cites": [
"RR-3"
],
"assumptions": [],
"kind": "RESULT",
"status": "HELD"
},
{
"id": "RR-5",
"block_id": "B9",
"author": "other",
"cites": [
"RR-2"
],
"assumptions": [],
"kind": "RESULT",
"status": "HELD"
},
{
"id": "RR-6",
"block_id": "B9",
"author": "other",
"cites": [
"RR-5"
],
"assumptions": [],
"kind": "RESULT",
"status": "HELD"
},
{
"id": "RR-7",
"block_id": "B9",
"author": "other",
"cites": [
"RR-1"
],
"assumptions": [],
"kind": "RESULT",
"status": "PROVISIONAL"
}
]
},
"note": "a HOLD whose fields moved since its digest is refused",
"expect": "[REFUSED,hold: digest does not match its fields]"
},
{
"id": "release/refused/hold-field-missing",
"fn": "release_record",
"input": {
"release_id": "RR-900002",
"hold": {
"canary_id": "C-77",
"account": "acct",
"snapshot": "model-2026-01-01",
"failing_block": "B4",
"anchor_kind": "PASS",
"anchor_block": "B2",
"lookback_passes": 2,
"held_blocks": [
"B2",
"B3",
"B4"
],
"hold_id": "RR-900001",
"held": [
[
"RR-2",
"ESTABLISHED"
],
[
"RR-4",
"PROVISIONAL"
],
[
"RR-5",
"PROVISIONAL"
],
[
"RR-6",
"PROVISIONAL"
]
],
"biblio": [],
"digest": "e0ae4de0810e8ce5c94a3fe8286c4d7782b3bd358fe0d28797e32b4fd32ae82b"
},
"reproduction": {
"kind": "REPRODUCTION",
"id": "B12",
"independence": {
"account": "other",
"snapshot": "model-2026-02-02",
"origin": "REPRODUCTION BLOCK"
},
"matched": [
"RR-2"
]
},
"records": [
{
"id": "RR-1",
"block_id": "B1",
"author": "acct",
"cites": [],
"assumptions": [],
"kind": "RESULT",
"status": "PROVISIONAL"
},
{
"id": "RR-2",
"block_id": "B2",
"author": "acct",
"cites": [],
"assumptions": [],
"kind": "RESULT",
"status": "HELD"
},
{
"id": "RR-3",
"block_id": "B3",
"author": "other",
"cites": [],
"assumptions": [],
"kind": "RESULT",
"status": "PROVISIONAL"
},
{
"id": "RR-4",
"block_id": "B4",
"author": "acct",
"cites": [
"RR-3"
],
"assumptions": [],
"kind": "RESULT",
"status": "HELD"
},
{
"id": "RR-5",
"block_id": "B9",
"author": "other",
"cites": [
"RR-2"
],
"assumptions": [],
"kind": "RESULT",
"status": "HELD"
},
{
"id": "RR-6",
"block_id": "B9",
"author": "other",
"cites": [
"RR-5"
],
"assumptions": [],
"kind": "RESULT",
"status": "HELD"
},
{
"id": "RR-7",
"block_id": "B9",
"author": "other",
"cites": [
"RR-1"
],
"assumptions": [],
"kind": "RESULT",
"status": "PROVISIONAL"
}
]
},
"expect": "[REFUSED,hold: missing field seeds]"
},
{
"id": "release/refused/held-record-missing",
"fn": "release_record",
"input": {
"release_id": "RR-900002",
"hold": {
"canary_id": "C-77",
"account": "acct",
"snapshot": "model-2026-01-01",
"failing_block": "B4",
"anchor_kind": "PASS",
"anchor_block": "B2",
"lookback_passes": 2,
"held_blocks": [
"B2",
"B3",
"B4"
],
"hold_id": "RR-900001",
"seeds": [
"RR-2",
"RR-4"
],
"held": [
[
"RR-2",
"ESTABLISHED"
],
[
"RR-4",
"PROVISIONAL"
],
[
"RR-5",
"PROVISIONAL"
],
[
"RR-6",
"PROVISIONAL"
]
],
"biblio": [],
"digest": "e0ae4de0810e8ce5c94a3fe8286c4d7782b3bd358fe0d28797e32b4fd32ae82b"
},
"reproduction": {
"kind": "REPRODUCTION",
"id": "B12",
"independence": {
"account": "other",
"snapshot": "model-2026-02-02",
"origin": "REPRODUCTION BLOCK"
},
"matched": [
"RR-2"
]
},
"records": [
{
"id": "RR-1",
"block_id": "B1",
"author": "acct",
"cites": [],
"assumptions": [],
"kind": "RESULT",
"status": "PROVISIONAL"
},
{
"id": "RR-2",
"block_id": "B2",
"author": "acct",
"cites": [],
"assumptions": [],
"kind": "RESULT",
"status": "HELD"
},
{
"id": "RR-3",
"block_id": "B3",
"author": "other",
"cites": [],
"assumptions": [],
"kind": "RESULT",
"status": "PROVISIONAL"
},
{
"id": "RR-4",
"block_id": "B4",
"author": "acct",
"cites": [
"RR-3"
],
"assumptions": [],
"kind": "RESULT",
"status": "HELD"
}
]
},
"expect": "[REFUSED,held record RR-5 is not in records]"
},
{
"id": "release/refused/independence-missing",
"fn": "release_record",
"input": {
"release_id": "RR-900002",
"hold": {
"canary_id": "C-77",
"account": "acct",
"snapshot": "model-2026-01-01",
"failing_block": "B4",
"anchor_kind": "PASS",
"anchor_block": "B2",
"lookback_passes": 2,
"held_blocks": [
"B2",
"B3",
"B4"
],
"hold_id": "RR-900001",
"seeds": [
"RR-2",
"RR-4"
],
"held": [
[
"RR-2",
"ESTABLISHED"
],
[
"RR-4",
"PROVISIONAL"
],
[
"RR-5",
"PROVISIONAL"
],
[
"RR-6",
"PROVISIONAL"
]
],
"biblio": [],
"digest": "e0ae4de0810e8ce5c94a3fe8286c4d7782b3bd358fe0d28797e32b4fd32ae82b"
},
"reproduction": {
"kind": "REPRODUCTION",
"id": "B12",
"matched": [
"RR-2"
]
},
"records": [
{
"id": "RR-1",
"block_id": "B1",
"author": "acct",
"cites": [],
"assumptions": [],
"kind": "RESULT",
"status": "PROVISIONAL"
},
{
"id": "RR-2",
"block_id": "B2",
"author": "acct",
"cites": [],
"assumptions": [],
"kind": "RESULT",
"status": "HELD"
},
{
"id": "RR-3",
"block_id": "B3",
"author": "other",
"cites": [],
"assumptions": [],
"kind": "RESULT",
"status": "PROVISIONAL"
},
{
"id": "RR-4",
"block_id": "B4",
"author": "acct",
"cites": [
"RR-3"
],
"assumptions": [],
"kind": "RESULT",
"status": "HELD"
},
{
"id": "RR-5",
"block_id": "B9",
"author": "other",
"cites": [
"RR-2"
],
"assumptions": [],
"kind": "RESULT",
"status": "HELD"
},
{
"id": "RR-6",
"block_id": "B9",
"author": "other",
"cites": [
"RR-5"
],
"assumptions": [],
"kind": "RESULT",
"status": "HELD"
},
{
"id": "RR-7",
"block_id": "B9",
"author": "other",
"cites": [
"RR-1"
],
"assumptions": [],
"kind": "RESULT",
"status": "PROVISIONAL"
}
]
},
"expect": "[REFUSED,reproduction: independence is not an object]"
},
{
"id": "release/refused/same-model-not-bool",
"fn": "release_record",
"input": {
"release_id": "RR-900002",
"hold": {
"canary_id": "C-77",
"account": "acct",
"snapshot": "model-2026-01-01",
"failing_block": "B4",
"anchor_kind": "PASS",
"anchor_block": "B2",
"lookback_passes": 2,
"held_blocks": [
"B2",
"B3",
"B4"
],
"hold_id": "RR-900001",
"seeds": [
"RR-2",
"RR-4"
],
"held": [
[
"RR-2",
"ESTABLISHED"
],
[
"RR-4",
"PROVISIONAL"
],
[
"RR-5",
"PROVISIONAL"
],
[
"RR-6",
"PROVISIONAL"
]
],
"biblio": [],
"digest": "e0ae4de0810e8ce5c94a3fe8286c4d7782b3bd358fe0d28797e32b4fd32ae82b"
},
"reproduction": {
"kind": "REPRODUCTION",
"id": "B12",
"independence": {
"account": "other",
"snapshot": "model-2026-02-02",
"origin": "REPRODUCTION BLOCK",
"same_model": "no"
},
"matched": [
"RR-2"
]
},
"records": [
{
"id": "RR-1",
"block_id": "B1",
"author": "acct",
"cites": [],
"assumptions": [],
"kind": "RESULT",
"status": "PROVISIONAL"
},
{
"id": "RR-2",
"block_id": "B2",
"author": "acct",
"cites": [],
"assumptions": [],
"kind": "RESULT",
"status": "HELD"
},
{
"id": "RR-3",
"block_id": "B3",
"author": "other",
"cites": [],
"assumptions": [],
"kind": "RESULT",
"status": "PROVISIONAL"
},
{
"id": "RR-4",
"block_id": "B4",
"author": "acct",
"cites": [
"RR-3"
],
"assumptions": [],
"kind": "RESULT",
"status": "HELD"
},
{
"id": "RR-5",
"block_id": "B9",
"author": "other",
"cites": [
"RR-2"
],
"assumptions": [],
"kind": "RESULT",
"status": "HELD"
},
{
"id": "RR-6",
"block_id": "B9",
"author": "other",
"cites": [
"RR-5"
],
"assumptions": [],
"kind": "RESULT",
"status": "HELD"
},
{
"id": "RR-7",
"block_id": "B9",
"author": "other",
"cites": [
"RR-1"
],
"assumptions": [],
"kind": "RESULT",
"status": "PROVISIONAL"
}
]
},
"expect": "[REFUSED,reproduction: independence same_model is not a boolean]"
},
{
"id": "release/refused/matched-duplicate",
"fn": "release_record",
"input": {
"release_id": "RR-900002",
"hold": {
"canary_id": "C-77",
"account": "acct",
"snapshot": "model-2026-01-01",
"failing_block": "B4",
"anchor_kind": "PASS",
"anchor_block": "B2",
"lookback_passes": 2,
"held_blocks": [
"B2",
"B3",
"B4"
],
"hold_id": "RR-900001",
"seeds": [
"RR-2",
"RR-4"
],
"held": [
[
"RR-2",
"ESTABLISHED"
],
[
"RR-4",
"PROVISIONAL"
],
[
"RR-5",
"PROVISIONAL"
],
[
"RR-6",
"PROVISIONAL"
]
],
"biblio": [],
"digest": "e0ae4de0810e8ce5c94a3fe8286c4d7782b3bd358fe0d28797e32b4fd32ae82b"
},
"reproduction": {
"kind": "REPRODUCTION",
"id": "B12",
"independence": {
"account": "other",
"snapshot": "model-2026-02-02",
"origin": "REPRODUCTION BLOCK"
},
"matched": [
"RR-2",
"RR-2"
]
},
"records": [
{
"id": "RR-1",
"block_id": "B1",
"author": "acct",
"cites": [],
"assumptions": [],
"kind": "RESULT",
"status": "PROVISIONAL"
},
{
"id": "RR-2",
"block_id": "B2",
"author": "acct",
"cites": [],
"assumptions": [],
"kind": "RESULT",
"status": "HELD"
},
{
"id": "RR-3",
"block_id": "B3",
"author": "other",
"cites": [],
"assumptions": [],
"kind": "RESULT",
"status": "PROVISIONAL"
},
{
"id": "RR-4",
"block_id": "B4",
"author": "acct",
"cites": [
"RR-3"
],
"assumptions": [],
"kind": "RESULT",
"status": "HELD"
},
{
"id": "RR-5",
"block_id": "B9",
"author": "other",
"cites": [
"RR-2"
],
"assumptions": [],
"kind": "RESULT",
"status": "HELD"
},
{
"id": "RR-6",
"block_id": "B9",
"author": "other",
"cites": [
"RR-5"
],
"assumptions": [],
"kind": "RESULT",
"status": "HELD"
},
{
"id": "RR-7",
"block_id": "B9",
"author": "other",
"cites": [
"RR-1"
],
"assumptions": [],
"kind": "RESULT",
"status": "PROVISIONAL"
}
]
},
"expect": "[REFUSED,reproduction: matched is not a list of distinct names]"
}
]
}