From 29556d7f24e11b327ba40a5582a3c4a3671dbd66 Mon Sep 17 00:00:00 2001 From: Brian Searls Date: Thu, 30 Apr 2026 21:45:11 +0000 Subject: [PATCH] docs(r3): make bridge ledger claim subject explicit --- docs/briefs/r3-v-bridge-ratchet-test-design.md | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/docs/briefs/r3-v-bridge-ratchet-test-design.md b/docs/briefs/r3-v-bridge-ratchet-test-design.md index 4491e4e73fe..eb6db565fa2 100644 --- a/docs/briefs/r3-v-bridge-ratchet-test-design.md +++ b/docs/briefs/r3-v-bridge-ratchet-test-design.md @@ -43,8 +43,8 @@ import std.bridge_ledger { bridge_retirement_ledger } data bridge_retirement_ledger_zero: TestClaim = { name: "bridge_retirement_ledger_zero", - source: "// BridgeLedgerZero folds the BridgeLedger carrier; no program eval.\nlet _: Int = 0\n", - file_name: "r3_bridge_retirement_ledger_zero.v3", + source: "", + file_name: "src/v3/std/bridge_ledger.dag", predicate: BridgeLedgerZero { ledger: bridge_retirement_ledger }, @@ -57,7 +57,7 @@ data r3_bridge_retirement_ledger_zero_suite: TestSuite = { } ``` -`BridgeLedgerZero` is a substrate-fact-introduction candidate, not an autonomously authored predicate here. The existing `RatchetZero` variant does not fit today: runner evaluation is hard-coded to `compiler_std_positive_set_ratchet`, not a generic structural fold over rows. +`BridgeLedgerZero` is a substrate-fact-introduction candidate, not an autonomously authored predicate here. The `TestClaim.source` field is intentionally empty in this standby shape because the subject is the structural `ledger` declaration, not an executable source program. If the eventual runner requires a non-empty source string, that is a sign the predicate shape is wrong for this carrier and should be redesigned rather than filled with a dummy program. The existing `RatchetZero` variant does not fit today: runner evaluation is hard-coded to `compiler_std_positive_set_ratchet`, not a generic structural fold over rows. ## Required Fold Semantics