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

[PROPOSAL] PENDING-134 (whose-proposition as doctrine); 132 split+re-grounded; 133 rescoped; MCP opens the V0-lane texts

Browse Source 
Jurist ruling accepted in full on all six questions.

Q1: the variable is right, the derivation is not. §6.2 is PRE-REGISTERED, and a
test that changes stratum-B membership, derived after reading the spans it
reclassifies and entering by interpretation, voids that guarantee whether or not
the test is right. Filed as PENDING-134 — new doctrine, dated, with §7.4(ii) as
SUPPORTING ARGUMENT rather than derivation and §6.2's double omission recorded
as the counter-argument heard and overruled. The decisive form of that objection
is the jurist's: §6.2 admits F5 as 'qualified span (F5)', a construction that
would have admitted 'reported-speech span (F4)' and was in use one item away.

Q3: ran the fused-claim test on instance 8's fragments. It goes against
retention — fragment 2 opens on the tail of the carpenter's speech with NO
attributing clause before reaching Mauss's conclusion. The B4 shape. PENDING-132
amended: the retention is split out, and the retraction re-grounded on two
convergent bases so it is authorizable regardless of how 134 resolves.

133: rescoped from two F4-carrying spans to every fr grounded span, because the
bound assumed P7's tagging was complete and the item's own diagnosis says it had
no claim-side step at all.

And the access gap the ruling opened with: governance_read gains
v2-harness-design, v2-stratum-tags, mauss-fixture-spans, mauss-fixture-citations
— PENDING-86's fourth instance, same shape and same remedy as chamber-spec. The
jurist can now verify Part I rather than take it as testimony. Eight controls
including that the served text actually carries §6.2's pre-registration clause,
§5's F4 row and the L926 citation strings. Self-test 54 checks, 0 failures.
This commit is contained in:
David F Glidden
2026-08-10 17:41:25 +02:00
parent 7d7354f3c4
commit 4c3758e559
2 changed files with 85 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files
scripts/governance-mcp.py
+47
View File
@@ -47,6 +47,7 @@ import time
HOME = os.path.expanduser("~")
D = os.path.join(HOME, "dotfiles")
SCRIPTS = os.path.join(D, "scripts")
ENGINE = os.path.join(HOME, "_Dev", "studium-engine")
NAME, VERSION = "governance", "1.0.0"
# Newest protocol we speak; we echo the client's version when it sends a known one.
@@ -85,6 +86,33 @@ FILES = {
"graduation-spec": (os.path.join(HOME, "_Dev", "chamber-library", "_curation",
"graduation-spec.yaml"),
"the constitution's machine-readable convention-data + gate-list"),
# PENDING-86 class, FOURTH instance — steward-requested 2026-08-10. Same shape
# as the two above and the same remedy: the jurist design-gates a V0-lane
# matter (§7.4(i) governs what Tier-1 must REFUSE) whose governing text it
# could not open, and said so at the top of its own ruling — "every quotation
# in Part I is your testimony, not something I can reach. That is exactly the
# material two of today's three reversals turned on." Read-only, keyed, no
# path argument; the enum design is unchanged.
"v2-harness-design": (os.path.join(ENGINE, "docs",
"v2-validation-harness-design-2026-07-09.md"),
"the V2 validation-harness design — the ratified text behind the "
"nested-voice arc. §5 = failure-mode table (F1–F10, each with a "
"Direction and an 'Exercised by' column); §6.2 = the PRE-REGISTERED "
"difficulty strata; §7.4 = whole-for-part attribution, sub-type (i) "
"nested-voice. ⚠ Long (~65 KB); page to the § you need rather than "
"reading from the top"),
"v2-stratum-tags": (os.path.join(ENGINE, "corpus", "v2-stratum-tags.yaml"),
"P7 — the stratum tagging of the INHERITED gold (fr Mauss; en March "
"chavruta). ⚠ Its `en` block is `taggable: false`, and its fr ratio "
"1:9 is under challenge — see PENDING-132/133"),
"mauss-fixture-spans": (os.path.join(ENGINE, "corpus", "mauss-phase2-spans.yaml"),
"the fr fixture — 15 bound instances / 11 distinct spans, with "
"per-instance Tier-1 verdicts. Locations and verdicts only"),
"mauss-fixture-citations": (os.path.join(ENGINE, "corpus",
"mauss-phase2-reanchored.yaml"),
"the fr fixture's CITATION TEXTS — the quoted strings "
"themselves. This is the file that answers 'whose "
"proposition does the claim assert?'"),
}
REPOS = wd.REPOS
@@ -480,6 +508,25 @@ def selftest():
chk("governance_read ACCEPTS a listed key [positive control for the refusal above]",
t_read({"file": "pending"}).startswith("[pending —"))
print("\nPENDING-86 4th instance — the V0-lane texts behind the nested-voice arc:")
chk("v2-harness-design key reads",
t_read({"file": "v2-harness-design"}).startswith("[v2-harness-design —"))
chk("...and carries §6.2's PRE-REGISTERED strata [the clause the ruling turns on]",
"Difficulty strata (pre-registered" in t_read({"file": "v2-harness-design"}))
chk("...and carries §7.4's nested-voice sub-type",
"nested-voice" in t_read({"file": "v2-harness-design"}))
chk("...and carries §5's F4 row, whose omission from §6.2 is the counter-argument",
"Irony / persona distance / unasserted content" in t_read({"file": "v2-harness-design"}))
chk("v2-stratum-tags (P7) key reads, and its en cell is the untaggable one",
"taggable: false" in t_read({"file": "v2-stratum-tags"}))
chk("mauss-fixture-spans key reads",
t_read({"file": "mauss-fixture-spans"}).startswith("[mauss-fixture-spans —"))
chk("mauss-fixture-citations carries the CITATION TEXT, not just the locations"
" [the file that answers whose-proposition]",
"Le charpentier dit à Arthur" in t_read({"file": "mauss-fixture-citations"}))
chk("...and the L926 testimony the whole arc turns on",
"Le hau n'est pas le vent qui souffle" in t_read({"file": "mauss-fixture-citations"}))
print("\nPENDING-86 (a) — the documents the jurist design-gates are now reachable:")
chk("chamber-spec key reads",
t_read({"file": "chamber-spec"}).startswith("[chamber-spec —"))