David/dotfiles
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

fr cell closed: the one-shot spent, and the population trap recorded

Browse Source 
The ratio was derived once on the stewards act. The finding worth carrying is not the
number but what sat under it: two populations disagree, and the instance figure 1:9 is
numerically identical to the retired VOID figure under a different population. Writing
it would have read as confirming the old number while silently changing what was
counted, on an act that cannot be re-run.

Against §6.2s A:B approx 1:1 the inherited fr gold does not meet the rule. Recorded as
measured fact; what follows is not decided here.

Closed is not settled, and both records say so.

Co-Authored-By: Claude Opus 5 <noreply@anthropic.com>
Claude-Session: https://claude.ai/code/session_01X3L79vgAnt1x2kxvf23Qt7
This commit is contained in:
David F Glidden
2026-09-06 11:40:45 +02:00
co-authored by Claude Opus 5
parent cd210b401e
commit ef1048ae8b
2 changed files with 36 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files
claude/memory/project-studium-engine.md
+35
View File
@@ -323,6 +323,41 @@ absent-sidecar tripwire; a usage fact in a bibliographic field; a defect record
`corpus_findings[1]`, a key existing in zero files fleet-wide). Full account:
[[session-2026-08-06-evening-the-asterisk-that-carried-meaning]].
### 2026-09-06 — the one-shot spent, and the fr cell CLOSED
**Steward act** (REVIEWED-116 pt 5 authorized exactly one derivation; REVIEWED-135 cond. 5 reserved
the spending). **`346d8e8`.** ⚠ **THE ONE-SHOT IS SPENT — DO NOT DERIVE AGAIN.**
**The bare `ratio_A_to_B` is RETIRED, and the reason is a trap rather than tidiness.** Two
populations disagree — and the instance figure is **numerically identical to the retired VOID
figure under a different population**:
| field | value |
|---|---|
| `ratio_A_to_B_grounded_spans` | **1:7** — the population it has always been on |
| `ratio_A_to_B_grounded_instances` | **1:9** — equals the retired VOID figure by coincidence |
A derivation writing "1:9" would have read as **confirming the old number while silently changing
what was counted**, on an act that cannot be re-run. REVIEWED-118 pt 3 settles the population: the
retraction of ONE span, L926, is recorded as *"1 A : 9 B becoming 1 A : 8 B"* — spans. Both figures
derived by **enumeration**, never subtraction; cross-checked against `distinct_spans_grounded` (8)
and `bound_instances_grounded` (10).
⚠ **AGAINST §6.2's A:B ≈ 1:1 THE INHERITED fr GOLD DOES NOT MEET THE RULE** — 1:7 by spans, 1:9 by
instances. Recorded as measured fact; **what follows is NOT decided** — whether ≈1:1 binds an
inherited set or is a design target for authored pairs is a §6.2 question, and re-deriving a number
carries no authority to answer it. *Satisfiable is not satisfied, and this figure is the distance.*
Verified before writing: **nothing reads the field** (PENDING-138 (a) re-measured — 7 references,
all documentation, no code consumer).
⚠ **CLOSED ≠ SETTLED.** The cell entry carries its own open list: the doctrine **has never fired**;
the defeater **has never been in a position to fire** (`reader_disposition_pre_doctrine` not
populable retroactively; sole datum is the L934 near-instance); `negative_sub_type_OPEN` and the
gold-schema question stand; `voice_stamp` unwired; **the 73-span citation-safety exposure is
untouched** (PENDING-131 ADD 4 Move 1); the single-reader condition stands over every
"verified by reading" claim. Fleet green, 285 checks.
### 2026-09-05 — REVIEWED-133 act three placed; act four found blocked, not pending
REVIEWED-133's `If AUTHORIZED` names four acts. Acts 1–2 were already committed (`2b30425`,