Skip to content

Substrate theory v2: adversarial panel artifacts + synthesis + amendments - #54

Merged
XVVH merged 1 commit into
mainfrom
docs/substrate-theory-v2
Jul 15, 2026
Merged

XVVH merged 1 commit into
mainfrom
docs/substrate-theory-v2

Conversation

@XVVH

@XVVH XVVH commented Jul 15, 2026

Copy link
Copy Markdown
Owner

What this is

The theory-note review cycle, completed and tracked. docs/substrate-theory.md (v1 landed with PR #50) went through the five-stance adversarial panel defined in docs/substrate-theory-review-prompts.md — run by the operator in separate sessions on a different model (GPT 5.6 Sol, xhigh) — plus a fresh-context synthesis with steelman rulings. v2 applies the synthesis's amendment list with struck text preserved inline per the ADR norm.

Declared scope

  • docs/substrate-theory.md — v2: C8 and C11 struck (refutations preserved), ten claims refined, C13 added, falsifiers re-ranked (F2′ top; F7/F8 new; F4 demoted to a C5 scope condition), §5 fence rewritten after the panel's fence audit.
  • docs/substrate-theory-analysis/ — the five stance outputs (verbatim, evidence — never edited) plus the synthesis.
  • scripts/check-doc-hygiene — one-case directory exemption for the analysis dir: stance 4's verbatim GitHub URL (…/blob/main/docs/design.md) false-positives as a local doc ref. Mirrors the existing roadmap.md exemption pattern; evidence files stay byte-identical. Enforcement-logic note per the two-sided discipline: the checker is POSIX shell — the battery's stated mutation-testing escape hatch — and its --self-test is unchanged and green.

Headline results (detail in the synthesis)

  • Convergent kills: C8 (hardlink staging — destroys retained-tree evidence and violates normative A27.1; found independently from filesystem semantics and spec conformance) and C11 (agent-OS category; three stances).
  • Survived hostile review: C7's retention-over-snapshot mechanism (the snapshot-at-a-point refutation now has three independent derivations) and C2 narrowed to the joined loop.
  • The one actionable item (enters via ordinary filing, not this PR): F2′ — the delegation-frontier baseline wants recording before the ratchet lands, or "recoverability → widening" stays unmeasurable. Candidate W-1/W-3 methodology addition, operator's call.
  • Reassurance for SI-40: the panel's crossover analysis vindicates the filed leading candidate (per-entry capture-or-refuse) for local-POSIX stores; the substrate-assisted arm remains the deployment-floor alternative, as filed.

Tier-1 hygiene green (including self-test); no spec, ADR, or ledger text touched.

🤖 Generated with Claude Code

…ents applied

Panel (GPT 5.6 Sol xhigh, one stance per discipline; outputs preserved
verbatim in docs/substrate-theory-analysis/) plus a fresh-context
synthesis with steelman rulings. v2 applies the amendment list: C8
(staging recipe) struck — hardlink aliasing destroys retained-tree
evidence AND violates A27.1, found independently by two stances; C11
(agent-OS category) struck on three-stance convergence; C1/C2/C3/C4/
C5/C6/C7/C9/C10/C12 refined with struck text preserved inline per the
ADR norm; C13 added (behavior/judgment, the completeness gap);
falsifiers re-ranked — F2' (delegation-frontier instrumentation,
currently untestable pre-ratchet) on top, F7/F8 new, F4 demoted to a
C5 scope condition.

scripts/check-doc-hygiene gains a directory exemption for the
verbatim external-review artifacts (quoted foreign-repo URLs
false-positive as local doc refs); evidence files stay byte-identical;
self-test unchanged and green.

Co-Authored-By: Claude Fable 5 <noreply@anthropic.com>
@XVVH
XVVH merged commit 40e3e71 into main Jul 15, 2026
6 checks passed
@XVVH
XVVH deleted the docs/substrate-theory-v2 branch July 15, 2026 22:05
XVVH added a commit that referenced this pull request Jul 15, 2026
…its mechanism (#55)

The substrate-theory panel's one actionable finding (PR #54): the
product thesis - reversal earns authority - is unobservable by the
current dogfood metrics (denial-FP measures friction; standing grants
cannot widen pre-W-3, so "no widening" is mechanically predetermined),
and the pre-evidence baseline is perishable. dogfooding.md gains the
frontier-log instrument: per-family baseline declarations (template
included) before W-15a->W-3 lands, biweekly re-declaration, reason-
captured ratification decisions (evidence/fatigue/other), the
evidence-backed gate (>=3 clean runs + >=1 exercised revert), two-leg
measurement (frontier movement; judgment displacement), the kill-test
disconfirmation, and stated n=1 limits. Denial-FP honestly retitled
the friction metric. Roadmap: W-1 gains the operator-owned baseline
step (time-ordered: before W-15a); W-3 gains the F2' measurement
clause and north-star counter adoption.

Co-authored-by: XVVH <admin@fent.quest>
Co-authored-by: Claude Fable 5 <noreply@anthropic.com>
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant