SG-10 — Claim boundary + scope walls: the gate anchor ledger — rendered package. Rendered from sg10-anchor-ledger.md; frozen technical content unchanged by rendering.

SG-10 — Claim boundary + scope walls: the gate anchor ledger

The honest one-line: SG-10 is the disclosure gate — it closes no physics, derives no number, and rides no new hash. Its single job is to name, in public, every sector the scoped theory does not claim, and to bind — by a checkable rule, not by authorial restraint — that no required gate is rescued by narrowing scope and no excluded sector is leaned on to close a required gate. Its honest grade is DISCLOSED, and that grade upgrades nothing.

This page is the gate-specific instantiation of the anchoring method, applied to a gate unlike any other: SG-1…SG-9 each claim the geometry does something; SG-10 claims the manuscript does something — it states its own boundary out loud and binds itself to honor it. Every exact thing SG-10 touches gets its own row — its status, what it is allowed to claim, and what it is forbidden to claim. It follows the same eleven-part shape and universal table as the SG-4 ledger; only the gate's nature differs.

selection ≠ derivation · given-E ≠ derivation-of-E · frozen/reproducible ≠ proven-unique.


1. Gate status header

Taxonomy reconciliation (2026-07-05). SG-10 is resolved at its board-canonical terminal — DERIVED-GIVEN-anchor · RESOLVED +0 (ratified 2026-07-08; closure-of-record: the live gate dossier): the disclosure mechanism is real, present, and falsifiable (DISCLOSED) — with its scope-lint audit shown as a pending residual (flagged, not silently merged). Read as terminal reached + residual shown; counted among the resolved-with-residual gates, not physics-closed.

A disclosure gate has a different ceiling from a physics gate: there is no DERIVED-CLOSED to reach. The achievable top is DISCLOSED-VERIFIED — machine-checked completeness plus machine-checked honesty. What stays open is everything that converts asserted into machine-verified: the lint run, the completeness witness, the per-wall conservatism map, and the cross-paper coherence scan.


2. Frozen inputs (what SG-10 stands on, not what it produces)


3. Object anchors — the sectors and structures SG-10 acts on

SG-10 acts on text objects (a boundary ledger, two clauses, a lint, a downgrade rule, three fences) and references the walls owned by other campaigns. The seven excluded sectors (§9.4) are: quantum-gravity UV completion; full cosmology (inflation, reheating, CMB, structure); dark matter; dark energy / $\Lambda$; baryogenesis / $\eta_B$; strong CP / $\bar\theta$; Theory of Everything (all-sector, incl. the thermodynamic arrow). Each excluded row carries a missing-certificate reason and the status Outside scoped-GUT claim. Status of every wall: GIVEN / owned-elsewhere / entirely OPEN — SG-10 only names and fences them.


4. Root and master-anchor traceability

Deep roots that are load-bearing for SG-10:

Deep root Role in SG-10
Record interface makes the boundary ledger, the two clauses, and the lint reproducible and reviewable — the heart of a disclosure gate
Granularity enforces no unpaid exact labels: every excluded row carries a named reason; no "closes" wording survives unpaid on a live path
Nonseparability the program's honesty is a graph property, not a per-statement property — why a both-direction lint over the whole dependency graph is needed, not careful per-line prose
Shape supplies the gate inventory (which gates are required vs which sectors are excluded) the boundary partitions

Invariance, Scale, and Causal order are not primary load-bearing anchors for SG-10 — it makes no metric, scale, or ordering claim.

Master anchors in play: the frozen branch (AUDIT ONLY) · no unpaid labels (every excluded reason charged) · finite invariant ledgers (the 16-row table) · the declared seven-sector scope-universe · open-residual discipline (every wall stays OPEN, owned elsewhere).


5. The SG-10 anchor ledger (the universal table)

Gate anchor Exact object Deep-root link Master-anchor link Status Allowed claim Forbidden claim Open residual / closure task
Gate roll-up SG-10 Record interface, Nonseparability open-residual discipline DISCLOSED a complete-as-asserted, both-direction, machine-enforceable boundary "SG-10 closes / derives / certifies any physics" upgrade assertedmachine-verified (R1–R8)
Frozen branch hashes dcc66f1b2685 / a5b1e6f9d951 Record interface frozen branch AUDIT ONLY the tested object is frozen / read-only "hashes validate the physics"
Upstream gate statuses status outputs of Gates 1–10 Shape given (charged) GIVEN / inherited SG-10 checks scope hygiene of these "SG-10 repairs or verifies their physics" (owned by SG-1…SG-9)
Boundary ledger §9.4 16-row table (9 required + 7 excluded + Reason column) Record interface finite invariant ledger DERIVED-GIVEN (text) every named non-GUT sector excluded with a reason; reproduces by hand (W1) "the list is complete over all physics" publish completeness witness (R1)
Clause (i) excluded ↛ required Nonseparability no unpaid labels DERIVED-GIVEN (text) stated verbatim; falsified by one counterexample (W2) "the clause is machine-proven across the text" lint clause (i) (R3)
Clause (ii) required ↛ excluded Nonseparability no unpaid labels DERIVED-GIVEN (text) stated verbatim; blocks the re-filing move (W2) "the clause is machine-proven across the text" lint clause (ii) (R3)
Downgrade asymmetry Gate-11 falsifier → offending gate $\to$ Open / not claimed Record interface open-residual discipline DERIVED-GIVEN (text) the penalty falls inward, giving teeth on Gates 1–10 (W3) "SG-10 itself is downgraded" / "this is a physics claim"
Scope-consistency lint certificates/G11_claim_boundary/ Record interface finite invariant ledger AUDIT "verified by reading, pending the lint" (W4) "the boundary is machine-enforced" (stated as proven) mount + run target-blind (R3)
Fence 1 Diagnostic-only dark-sector modes (§9.3.3/§9.3.4) Nonseparability no unpaid labels CONDITIONAL (PASS by reading) modes owned by F/I/K as Diagnostic only, never gate support (W7) "the fence is lint-proven" lint emits per-gate support sets (R2)
Fence 2 $\Lambda$ ↔ Paper IV downstream pointer (§9.3.4) Record interface open-residual discipline CONDITIONAL (PASS by reading) a negative cannot be leaned on to close; "adds no closure claim here" (W6) "the $\Lambda$ pointer advances or lifts the exclusion" lint inertness check (R2)
Fence 3 §11 engineering-coda bridge (firewall §4.9) Record interface open-residual discipline CONDITIONAL (PASS by reading) "zero gate statuses changed" verbatim (W9) "the bridge does load-bearing gate work" lint external-object scan (R2)
Historical firewall §9.4a + A3 migration (§A3.18/§A3.19) Granularity no unpaid labels CONDITIONAL (asserted) no stale "strong CP closes" / "reservoir critical" wording supports a live gate (W8) "no cross-paper resurrection is possible" cross-paper grep (R6)
§9.6 "why four values" remark anthropic / deeper-principle / brute-fact trichotomy Record interface open-residual discipline OUTSIDE-SCOPE / fenced a reduction (19+ → 4), self-labeled Outside scope (W5) "the four-values framing is an answer" / cited by a gate confirm no gate cites it (R7)
Battle-WIN framing SG-10 ledger line ("one of two framework-WIN gates") Record interface open-residual discipline INTERPRETATION a disclosure-practice observation (W10) "a physics / certificate-grade win" keep at interpretation strength (R8)
Silent-narrowing rule §1.2.1 + Downgrade Rules table Nonseparability open-residual discipline AXIOM-OPEN / declared sector-relocation fenced explicitly; target-narrowing fenced via the table "all scope-narrowing is one stated rule" generalize to one rule (R5)
Wall: $\Lambda$ measured $(2.3~\mathrm{meV})^4$ residue Granularity open-residual discipline Weinberg-OPEN (catastrophe-half DISSOLVED) named; downstream-negative reinforces exclusion "$\Lambda$ solved / progressed" owned by $\Lambda$ campaign
Wall: Yang–Mills gap continuum mass gap (pure-glue projection, 13D branch) Granularity open-residual discipline Precisely-OPEN [X] named; $D\le 0$ is a proxy, not the boxed target "$D\le0$ is a target-negative" / "gap floored" owned by Gap-02 campaign
Wall: strong CP $\bar\theta$ alignment ($n$EDM bound) Granularity no unpaid labels OPEN / observation-blocked named; no $\bar\theta$ alignment certificate "strong CP closes" (historical wording) owned by strong-CP campaign
Wall: baryogenesis measured $\eta_B\approx 6.1\times 10^{-10}$ Granularity open-residual discipline 0/4 (Rule A AXIOM-CLOSED ≠ proven) named; $M_R$ no witness → OPEN/UNKNOWN "Rule A reduced ⇒ BG-10 advanced" owned by BG-10 campaign
Wall: quantum-gravity UV $a_6$ heat-kernel coefficient Granularity no unpaid labels Precisely-OPEN bulk $\mathrm{tr}[a_6]$ is a labeled consistency coefficient "$a_6$ total emitted" / "UV completion" owned by Gap-01 campaign
$M_R$ (firewall case) seesaw scale, no hash Granularity no unpaid labels OPEN — SG-8 residual correctly NOT relocated into §9.4 exclusions "$M_R$ is an SG-10 exclusion" (clause-(ii) violation) owned by SG-8

6. The construction — the disclosure mechanism, in full

A disclosure gate's "arithmetic" is the predicate logic of the boundary, not a number. The five operative objects:

(1) The boundary ledger (§9.4). A 16-row table: nine Required Gate rows (status Yes / Claimed) and seven Excluded rows (status No / Outside scoped-GUT claim), each excluded row carrying a missing-certificate Reason. The attack handle is completeness relative to the declared non-GUT universe.

(2) The two binding clauses (§9.1; §1.2.1). Each is a universal over the manuscript text: $$ \text{clause (i):}\ \forall\, s\in S_{\rm excl}:\ s\in\S 9.4,\qquad \text{clause (ii):}\ \forall\, g\in G_{1..10}:\ \mathrm{support}(g)\cap S_{\rm excl}=\varnothing . $$ A single counterexample falsifies either clause — that is precisely what makes the boundary falsifiable, not a vibe.

(3) The scope-consistency lint (certificates/G11_claim_boundary/). The mechanical implementation of the two clauses as two text checks: clause (i) — every excluded sector appears in §9.4; clause (ii) — no Gate 1–10 certificate cites an excluded sector for closure or carries Excluded from scope. Status: AUDIT (referenced, not re-run; folder absent from the rendered tree).

(4) The downgrade asymmetry (§6.12; Downgrade Rules). When the Gate-11 falsifier fires — any excluded sector invoked to support a required gate — the penalty falls inward: it downgrades the offending required gate to Open / not claimed, not SG-10. SG-10 makes no physics claim, so there is nothing in it to downgrade; pointing the penalty at the offender is what gives a disclosure gate real teeth on the other ten.

(5) The three fences (Fence 1 Diagnostic-only modes; Fence 2 $\Lambda$ downstream pointer; Fence 3 §11 bridge) plus the §9.4a historical firewall — the most attackable surface, all PASS by reading, conditional on the lint.

Diagnostic — the disclosure is specific, not trivial. A disclosure layer naïvely has no teeth (it makes no claim, so there is nothing to falsify). The construction is non-trivial exactly because it carries a concrete refuting witness: a single improper citation falsifies a quantified clause, and the inward-falling penalty makes that falsification land on a real, named gate. The firewall test discriminates sharply — it keeps the unknown seesaw scale $M_R$ as an SG-8 required-gate residual, not relocated into the SG-10 exclusion list (a relocation clause (ii) forbids). A boundary that mechanically refuses that relocation, and names a refuting witness, is doing real work, not bookkeeping.


7. Declared-structure splits — one phrase, several honest objects

The single phrase "the claim boundary is machine-enforced" hides several different claims with different statuses:

  1. The boundary ledger exists and reproduces by handDERIVED-GIVEN (text) (W1).
  2. Both clauses are stated and bind both directionsDERIVED-GIVEN (text) (W2).
  3. The clauses are machine-checked across the whole textAUDIT (W4): the lint is referenced, not re-run.
  4. The three fences are proven (not merely read)CONDITIONAL (W6/W7/W8): airtight by reading, not lint-proven.

So the ledger and the clauses are present-and-reproducible, the machine enforcement is AUDIT, and the fences are conditional. Bright line: the public popup/ledger present the lint as active enforcement; this page is more careful — "verified by reading, pending the lint," never "machine-enforced" stated as proven.

The single phrase "the scope is narrowed honestly" likewise splits: sector-relocation (moving a required gate into exclusions) is fenced explicitly by §1.2.1, while target-narrowing (redefining a required gate to a weaker target — SG-6, SG-8, SG-9) is fenced only implicitly, via the separate Downgrade Rules table. R5 is the open task of generalizing these into one stated rule.


8. Open residuals — converting asserted into machine-verified

For a disclosure gate, "open" means a step that strengthens the honesty / machine-reality of the boundary — never physics. Eight residuals (R1–R8), grouped by family. Attack order by leverage: R1 → R2 → R3 → R4 → R5/R6 → R7/R8.

Family A — completeness & enforcement (the machine-reality core): - R1 — Completeness of the exclusion list. OPEN (HIGHEST leverage). Publish a completeness witness mapping every standard non-GUT sector to a ledger row, a defensible subsumption, or a flagged gap; issue the "name one missing sector" challenge. The internal sweep finds no true gap and no required-gate-in-exclusions. - R2 — The three fences. OPEN (HIGH; most attackable surface). Emit, via the lint, a per-gate support-set report proving no Diagnostic / downstream / external object appears in any required gate's support set. - R3 — The scope-consistency lint is AUDIT. OPEN (HIGH; cheapest physics-free win). Mount + run certificates/G11_claim_boundary/ target-blind over the frozen text. One run discharges R3 (AUDIT → VERIFIED), proves R2's three fences machine-real, and supplies R1's no-required-gate-in-exclusions cross-check.

Family B — conservatism & rule-completeness: - R4 — Each wall at its campaign-verified conservatism. OPEN (MEDIUM-HIGH). A consistency sweep confirming no boundary row over-states any wall (the §6.4-style per-wall map is the artifact). This is the SG-10-specific deflation-honesty check. - R5 — Does the rule fence all scope-narrowing? OPEN (MEDIUM). Confirm §1.2.1 + the Downgrade Rules table together cover the three target-narrowings (SG-6, SG-8, SG-9), then adopt one stated rule. - R6 — Cross-paper boundary coherence. OPEN (MEDIUM). Cross-paper grep for each excluded sector; one conditional row remains (strong-CP historical wording).

Family C — keep-fenced (already correct): - R7 — The §9.6 "why four values" remark. OPEN / keep-fenced (LOW-MEDIUM). Confirm cited by no gate; keep at reduction strength. - R8 — Battle-WIN framing. OPEN / keep-fenced (LOW). Keep at interpretation strength, never certificate-grade.

None of R1–R8 closes, advances, or claims any excluded-sector physics. The expected full outcome is 1 VERIFIED (R3), 4 AXIOM-CLOSED (R1, R2, R5, R6), 3 DISCLOSED-CONSISTENT (R4, R7, R8) — moving SG-10 from DISCLOSED-with-asserted-lint to DISCLOSED-with-machine-verified-lint. No wall moves; no physics is claimed.


9. Anti-claims (what this page refuses to say)


10. Specialist closure plan

Each open residual is a concrete, finite, target-blind work-package. The cardinal point: the win on this gate is machine-reality + honesty, never a status change — no path may quietly promote a wall or claim any excluded-sector physics.

  1. R1 — completeness witness. Build/publish the witness table; assert AXIOM-SCOPE-UNIVERSE (the closed seven-sector list, every other sector a required gate or a subsumed sub-sector); issue the "name a missing sector" challenge. Falsifier (a valid close): a candidate that is genuinely a required gate hiding in exclusions → clause-(ii) violation → that gate downgrades. Endpoint: AXIOM-CLOSED at AXIOM-SCOPE-UNIVERSE.
  2. R2 — three fences. Run the lint so it emits each Gate 1–10 support set with status labels; assert AXIOM-NO-DIAGNOSTIC-SUPPORT. Falsifier: a required certificate cites a fenced object → Gate-11 falsified → offender downgrades.
  3. R3 — the lint. Mount the script + rule set; run target-blind over the frozen text; confirm both clauses PASS; emit the support-set report. Machine-lane, fail-closed, no axiom, no new physics. BLOCKED_INPUTS until mounted → then VERIFIED or REFUTED. Highest value-per-effort; do this first among the machine tasks.
  4. R4 — per-wall conservatism. Run the consistency sweep against the campaign floors ($\Lambda$ Weinberg-OPEN; Gap-02 Precisely-OPEN [X]; strong-CP observation-blocked; BG-10 0/4; Gap-01 $a_6$ Precisely-OPEN); assert AXIOM-WALL-CONSERVATISM. SG-10 never leads — a dependent of the owning campaigns. Endpoint: DISCLOSED-CONSISTENT.
  5. R5 — silent-narrowing. Confirm §1.2.1 + Downgrade Rules cover the three target-narrowings (each card-declared, remainder labeled Diagnostic/Open); adopt AXIOM-NO-SILENT-NARROWING as one rule; widen the lint's clause (ii). Endpoint: AXIOM-CLOSED (a genuine strengthening).
  6. R6 — cross-paper coherence. Cross-paper grep for each excluded sector + status-label scan; assert AXIOM-CORPUS-BOUNDARY-COHERENCE. Endpoint: AXIOM-CLOSED, one conditional row (strong-CP) pending the grep.
  7. R7 — §9.6 remark. Confirm cited by no gate certificate; keep the four-values framing at reduction strength (AXIOM-UNFALSIFIABLE-REMARK-FENCED). Endpoint: DISCLOSED-CONSISTENT.
  8. R8 — Battle-WIN framing. Keep at interpretation strength; keep the rival comparison out of this gate's certificate (AXIOM-DISCLOSURE-WIN-IS-META). Endpoint: DISCLOSED-CONSISTENT.

Closing all eight upgrades SG-10 from DISCLOSED-with-asserted-lint toward DISCLOSED-VERIFIED — and even then, only a machine-verified, conservatism-mapped boundary, not a closure of any wall.


11. Completion tests for this page

Required presence (all met): gate roll-up DISCLOSED · the disclosure-consistency predicate $C_{\rm SG10}(\text{text})$ with its two clauses · its VERIFIED-BY-READING / AUDIT label · "SG-10 derives / closes no physics" · frozen hashes (AUDIT ONLY) · the §9.4 16-row ledger · both binding clauses · the inward downgrade asymmetry · the lint (AUDIT) · the three fences (Conditional) + historical firewall · §9.6 remark fenced · Battle-WIN at interpretation · every wall at its campaign floor ($\Lambda$ Weinberg-OPEN; Gap-02 Precisely-OPEN [X]; strong-CP observation-blocked; BG-10 0/4; Gap-01 $a_6$ Precisely-OPEN) · $M_R$ kept as an SG-8 residual · specificity diagnostic (single-counterexample falsifier + inward penalty + $M_R$ firewall) · all eight residuals as their own rows · the gate's anti-claims.

Required absence (all held): no claim that SG-10 closes / derives / certifies any physics · no wall stated as solved, small, or progressed · no "machine-enforced" stated as proven (lint is AUDIT) · no fence stated as proven (they are Conditional) · no completeness-theorem over all physics · $a_6$ total not emitted · $D\le0$ not sold as a target-negative · "Rule A reduced" not read as "BG-10 advanced" · $M_R$ not relocated into exclusions · hashes do not validate physics · Battle-WIN not stated as a certificate.

Completion report. - Tests passed: all required-presence and required-absence items above. - Tests failed: none. - Open items: R1–R8 (the asserted → machine-verified upgrade path); the disclosure mechanism stays DISCLOSED (board terminal unchanged: DERIVED-GIVEN-anchor · RESOLVED +0) until the lint is run target-blind. - Assumptions made: none beyond the dossier — every status, wall disposition, hash, and number is carried from DOSSIER_SG10_FULL at its campaign-conservative floor; nothing was upgraded.


This gate anchor ledger follows the canonical eleven-part shape and universal table of the SG-4 ledger; SG-10 is the disclosure gate, so its closed leg is a text-consistency predicate, not a physics obstruction.

See also: the anchoring method · A0 — the master anchor (the rule for what counts as physics, which the boundary partitions) · Layer 2 — no unpaid exact labels (why every excluded reason must be charged) · SG-4 anchor ledger (the canonical worked example) · the full SG-10 dossier.