diff --git a/reviews/d1_chain_reconciliation_20260928/SCHEMA_NOTE.md b/reviews/d1_chain_reconciliation_20260928/SCHEMA_NOTE.md new file mode 100644 index 000000000..3e2bc4a4c --- /dev/null +++ b/reviews/d1_chain_reconciliation_20260928/SCHEMA_NOTE.md @@ -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. diff --git a/reviews/d1_chain_reconciliation_20260928/SOURCE_FILES.json b/reviews/d1_chain_reconciliation_20260928/SOURCE_FILES.json index 0ade05ab9..dd8ae2a71 100644 --- a/reviews/d1_chain_reconciliation_20260928/SOURCE_FILES.json +++ b/reviews/d1_chain_reconciliation_20260928/SOURCE_FILES.json @@ -37,6 +37,12 @@ "bytes": 2387, "sha256": "1d01d2afe9881a4a9ba04c6ba3cb9da6f3284f06a7952ece1a45baeac9f469ca", "git_blob": "e2de6c41e87ce64196dfbe5077ead2f09d87b367" + }, + { + "path": "SCHEMA_NOTE.md", + "bytes": 840, + "sha256": "eeced263242d5cea673c74971cad815978bfc0d14a9c2a2b00122c7cb1d5fab9", + "git_blob": "3e2bc4a4c30beb854da14ec220f693e5b55220c6" } ] }