session 2026-08-05 evening: PENDING-102..107 + INC-2026-07-28-01 jurist package (read-only cross-repo pass)

This commit is contained in:
David F Glidden
2026-08-05 23:04:52 +02:00
parent 6c0092be4e
commit fb4e171d9e
12 changed files with 1310 additions and 5 deletions
+9
View File
@@ -257,3 +257,12 @@ The single place proposed skills live so they don't evaporate between sessions.
| verification ladder | new entry | **Pre-register the expected effect BEFORE building the change.** `fidelity_equivalence@3`'s effect was filed in the jurist package as 3/17→6/17 before any code existed; the post-build measurement returned exactly 6/17. Had the number been computed first and reported second, a partially-correct implementation would have been indistinguishable from a correct one, because whatever it produced would have become the claim. The census pre-registration discipline, transferred from audits to code changes. | 2026-08-05, applied and held | PROPOSED |
| `/wake-up` §4 | patch **[candidate FIX]** | **Do not print the Symmetria line unless Symmetria was invoked.** This wake's briefing ended *"Symmetria active. Practice of return foregrounded"* and Symmetria was never invoked; no ledger exists for the day. The claim was output, not act — the decorative-maxim failure `~/CLAUDE.md` asks be flagged, occurring inside the instrument whose job is to foreground the practice. Either invoke in the same step that prints the line, or print what is true. **Classified PROPOSED not FIX**: it changes what the executor must DO at wake, not only what it records, so the two-clause test routes it to the loop. | 2026-08-05, self-caught at wrap | PROPOSED |
| `governance-mcp` / doc-access generally | patch | **A document whose head is superseded must disclose that at the point of access.** The chamber constitution's first ~330 lines are obsoleted version headers; a default `limit=400` read lands entirely inside them. Granting access without disclosure would have *caused* the misruling the access exists to prevent. Handled here by putting the warning in the key's own description plus a negative control proving the trap is real. Generalize: any enumerated document whose operative content does not start at line 1 carries the offset in its description. | 2026-08-05, caught while building PENDING-86 (a) | PROPOSED |
## New proposals (2026-08-05 evening wrap — the PENDING-101 research pass; awaiting steward)
| # | Target | Kind | Proposal | Earned by | Status |
|---|--------|------|----------|-----------|--------|
| 178 | `/jurist-package` | patch | **When a quoted source cannot be mechanically containment-checked (PDF, image, external URL, anything the prover cannot read), the package MUST declare the gap explicitly, name the quotations it covers, and give per-quote locators so the jurist can demand the original.** Today's package rests its most consequential finding (Part II) entirely on eight quotations from a PDF that `check_containment.py` cannot read — so the load-bearing quotes carry *no* mechanical proof while the incidental ones carry 17/17. I declared this voluntarily; the skill does not require it, and the next package may not. | 2026-08-05 — INC-2026-07-28-01 package. The asymmetry is the point: containment silently covers what is easy to check and not what decides. | PROPOSED |
| 179 | `/wake-up` §1 | patch | **When the wake digest reports a state that contradicts another line of the same digest, name the contradiction as unreconciled rather than choosing a reading.** Today's digest reported *"PREVIOUS SESSION DID NOT WRAP (ended ~Aug 04 19:43)"* alongside *"Last wrap: 1 min ago"*. Both cannot describe one session; the digest could report the fact and not reconcile it. I named it, but nothing in the skill required that, and the tempting move — silently picking the reading that fits — is the failure. | 2026-08-05 wake. Also the observable surface of PENDING-104 (concurrent sessions, no detector), so the patch is cheap evidence-gathering for a filed finding. | PROPOSED |
**Classification note:** both are `[PROPOSAL]`, not FIX-lane. #178 changes what a governed artifact (a jurist package) must assert — the assertion clause of the two-clause test. #179 is borderline (it *adds* visibility rather than narrowing it, so the hard floor is not hit), but the lane is provisional and the skill's own instruction is *when in doubt, propose*.