Skip to content
Merged
Show file tree
Hide file tree
Changes from all commits
Commits
File filter

Filter by extension

Filter by extension

Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
11 changes: 11 additions & 0 deletions reviews/d1_chain_reconciliation_20260928/SCHEMA_NOTE.md
Original file line number Diff line number Diff line change
@@ -0,0 +1,11 @@
# LEDGER.json schema note: residual_items status

Scientific effect: NONE. Additive documentation; changes no proof, review verdict, status value, graph node, prize or premise.

In `LEDGER.json`, each entry of `residual_items` has `"status": "DISCHARGED"`. Here that value means only:

- **residual review remark addressed** by the interfaces or reconciliation sections listed in `discharged_by`;
- **not an OBL discharge**: no open obligation (OBL-*, including OBL-H5-JETMOD) is discharged, closed or promoted by these rows;
- **no fail-closed flag affected**: `lemma_closed`, `prizes_solved`, `discharges_OBL_H5_JETMOD`, `certified_C_H` and similar controls are unchanged.

`reconciliation_check.py` requires the literal value `DISCHARGED` (L107 and L177), so the value is kept as is; this note documents its meaning without renaming it.
6 changes: 6 additions & 0 deletions reviews/d1_chain_reconciliation_20260928/SOURCE_FILES.json
Original file line number Diff line number Diff line change
Expand Up @@ -37,6 +37,12 @@
"bytes": 2387,
"sha256": "1d01d2afe9881a4a9ba04c6ba3cb9da6f3284f06a7952ece1a45baeac9f469ca",
"git_blob": "e2de6c41e87ce64196dfbe5077ead2f09d87b367"
},
{
"path": "SCHEMA_NOTE.md",
"bytes": 840,
"sha256": "eeced263242d5cea673c74971cad815978bfc0d14a9c2a2b00122c7cb1d5fab9",
"git_blob": "3e2bc4a4c30beb854da14ec220f693e5b55220c6"
}
]
}
Loading