From d6ce96620611d74ee88c5271af4f987b934f3911 Mon Sep 17 00:00:00 2001 From: Max Ghenis Date: Sun, 18 Oct 2026 13:14:30 -0400 Subject: [PATCH 1/2] Track B: start the cumulative attempt ledger with B2's first attempt (FAIL) MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit Design §7 requires a cumulative attempt ledger by mechanism and gate family. This records B2: the first registration's floor stop (not an attempt) and the rescoped registration's scored run, attempt 1, FAIL (#42 comments 6200099988 and 6252752628). Co-Authored-By: Claude Opus 5.5 --- docs/design/track_b_attempt_ledger.md | 28 +++++++++++++++++++++++++++ 1 file changed, 28 insertions(+) create mode 100644 docs/design/track_b_attempt_ledger.md diff --git a/docs/design/track_b_attempt_ledger.md b/docs/design/track_b_attempt_ledger.md new file mode 100644 index 000000000..6859ebc8d --- /dev/null +++ b/docs/design/track_b_attempt_ledger.md @@ -0,0 +1,28 @@ +# Track B cumulative attempt ledger + +The Track B design (§7, "Attempt ledger") requires this record: + +> Maintain a cumulative attempt ledger by mechanism and gate family. Renaming a module or registration does not reset the counter. Restart after exhaustion requires new independent evidence and a new registration. + +**Scope.** This ledger begins with B2. Earlier gates' candidates and attempts are recorded in their own registrations on issue #42. + +**What counts as an attempt.** A scored candidate run under a registration. A floor build that stops before any candidate run is recorded here but is not an attempt. + +**When the program pauses.** Two independently justified registered successors that fail trigger `SUCCESSOR_EXHAUSTED` (design §7). + +## B2: the 2010→2014 earnings transport gate + +- **Mechanism:** candidate 3's forward-earnings law, `m6_candidate3_engine_v1`, spec SHA-256 `c9be28a28d6fcc3911723872386906af559f6d0e0d5c89a87f741a5b2c3eacd6`. +- **Gate family:** B2's level cells. + +| # | Date (UTC) | Registration | Run | Outcome | Attempt? | +|---|---|---|---|---|---| +| — | 2026-10-15 | #42 comment 6199723681 (d1342 A: the six level cells) | Floor build only: commit `7fdc8f91`, artifact `runs/track_b_b2_floor_v1_stopped.json` (`500f801e…`) | `WEAK_POWER_OR_VACUITY` at floor build (#42 comment 6200099988) | No. No candidate ran | +| 1 | 2026-10-18 | #42 comment 6252388925 (d1606 C1: p90 and the zero-earnings rate by cohort) | Floor commit `89c0ed9d`, score commit `430f8883`: `runs/track_b_b2_score.json` (`df82a102…`) | **`FAIL`** (#42 comment 6252752628) | **Yes, attempt 1** | + +**Attempt 1's failure.** +- `earn_zero_rate.prime`'s full-support gap is 0.3034, against a tolerance of 0.202. +- No gate seed passes. +- Three of the four gated bounds exceed their tolerances. + +**Its consequence.** Under `GATE_FAIL_OR_REGRESSION_FAIL` (design §7), B2 is not admitted, and its dependants (H, B3L) cannot rely on it. Any successor needs a new registration and is counted here. From 164c7b9e9a02defee5ff66230b91a43bba13d10b Mon Sep 17 00:00:00 2001 From: Max Ghenis Date: Sun, 18 Oct 2026 13:29:03 -0400 Subject: [PATCH 2/2] Attempt ledger: count spent attempts; drop the unverified earlier-records sentence Review round 1 of #548: the registration also counts ABORTED_AFTER_GAPS, a second interruption and an incomplete score file as attempts; and the claim that every earlier gate's attempts sit in its #42 registration was not shown. Co-Authored-By: Claude Opus 5.5 --- docs/design/track_b_attempt_ledger.md | 8 ++++++-- 1 file changed, 6 insertions(+), 2 deletions(-) diff --git a/docs/design/track_b_attempt_ledger.md b/docs/design/track_b_attempt_ledger.md index 6859ebc8d..7f376e8fe 100644 --- a/docs/design/track_b_attempt_ledger.md +++ b/docs/design/track_b_attempt_ledger.md @@ -4,9 +4,13 @@ The Track B design (§7, "Attempt ledger") requires this record: > Maintain a cumulative attempt ledger by mechanism and gate family. Renaming a module or registration does not reset the counter. Restart after exhaustion requires new independent evidence and a new registration. -**Scope.** This ledger begins with B2. Earlier gates' candidates and attempts are recorded in their own registrations on issue #42. +**Scope.** This ledger begins with B2. -**What counts as an attempt.** A scored candidate run under a registration. A floor build that stops before any candidate run is recorded here but is not an attempt. +**What counts as an attempt.** An attempt is either of these: +- a scored candidate run; +- a spent attempt under its registration's interruption and completeness rules. For B2 that means `ABORTED_AFTER_GAPS`, a second interruption, or an incomplete score file (#42 comment 6252388925, "Interruption" and step 5). + +A floor build that stops before any candidate run is recorded here, but is not an attempt. **When the program pauses.** Two independently justified registered successors that fail trigger `SUCCESSOR_EXHAUSTED` (design §7).