SG10 complete 100+ page scope-consistency dossier - revision 1.0
Role: evidence archive, claim graph, and authority adjudication
Finite successor-corpus lint: PASS
Closure strength: CLOSED-SCOPED-LOCAL
Physics statuses changed: 0
Canonical project endpoint: OPEN
Date: 2026-08-04
SG-10 building-block downloads
The following package contains the latest cumulative SG-10 building blocks built from the SG-9 dependency, including scope-consistency transport, claim-boundary graphs, scope-lint assurance, corpus-freeze rules, dossier/solution separation and status-provenance mapping amendments, validation records, and the integrity manifest. It is a ratification candidate; the cumulative SG-9 package and the 2026-07-18 source-of-truth archive retain their declared authority status until adoption.
| Artifact | Version | Download |
|---|---|---|
| Cumulative SG-10 building-block package | SG-9 → SG-10 · 2026-08-04 |
Download the cumulative SG-10 ZIP package |
Dossier page 001 - Document identity
This is the cumulative SG10 evidence dossier for scope consistency. Its audited object is the latest available SG1-SG9 successor corpus, not the earlier frozen GUT manuscript embedded in the live SG10 page. The dossier records a finite audit and its authority ceiling; it is not a claim that the upstream physics is correct.
Evidence address. manifest.schema identifies the record owned by this page. A reviewer should resolve that address, compare the frozen value with its source hash, and verify that the conclusion does not exceed the record’s declared role. This page is an inventory card: it preserves identity, assurance, provenance, scope, and dependency boundaries without reenacting the companion solution’s ordered derivation.
Reopen test. Change the manifest schema, corpus root, or branch date. A changed value creates a new corpus manifest and invalidates every downstream claim edge that consumed the old record. The old card remains historical evidence and is never rewritten to resemble the new branch.
Dossier page 002 - Gate question
The controlling question is whether scope discipline is checked and confirmed across the current successor corpus. Success requires executable confirmation that statuses, qualifiers, blockers, roles, and authority boundaries survive transport. A prose promise of restraint is the nearest wrong object.
Evidence address. contract.question identifies the record owned by this page. A reviewer should resolve that address, compare the frozen value with its source hash, and verify that the conclusion does not exceed the record’s declared role. This page is an inventory card: it preserves identity, assurance, provenance, scope, and dependency boundaries without reenacting the companion solution’s ordered derivation.
Reopen test. Change the gate question or substitute physical correctness for text consistency. A changed value creates a new corpus manifest and invalidates every downstream claim edge that consumed the old record. The old card remains historical evidence and is never rewritten to resemble the new branch.
Dossier page 003 - Five-sentence freeze
Observed behavior: project documents can drift to stronger claims than their machine evidence. Expected object: a finite content-addressed claim corpus. Success: all registered predicates and destructive controls behave as declared. Nearest wrong object: a self-authored scope paragraph. Kill condition: any unearned promotion, hidden conflict, missing file, or self-scan.
Evidence address. contract.object identifies the record owned by this page. A reviewer should resolve that address, compare the frozen value with its source hash, and verify that the conclusion does not exceed the record’s declared role. This page is an inventory card: it preserves identity, assurance, provenance, scope, and dependency boundaries without reenacting the companion solution’s ordered derivation.
Reopen test. Change Stage, Rulebook, Actors, Dynamics, or the kill condition. A changed value creates a new corpus manifest and invalidates every downstream claim edge that consumed the old record. The old card remains historical evidence and is never rewritten to resemble the new branch.
Dossier page 004 - Authority precedence
Owner correction outranks package authority; package authority outranks registry; registry outranks scoped row state; execution evidence outranks generated board; board outranks dossier; dossier outranks public summary. This branch preserves that order and marks missing controlling artifacts rather than manufacturing replacements.
Evidence address. authority.precedence identifies the record owned by this page. A reviewer should resolve that address, compare the frozen value with its source hash, and verify that the conclusion does not exceed the record’s declared role. This page is an inventory card: it preserves identity, assurance, provenance, scope, and dependency boundaries without reenacting the companion solution’s ordered derivation.
Reopen test. Supply a higher authority or expose an unresolved conflict. A changed value creates a new corpus manifest and invalidates every downstream claim edge that consumed the old record. The old card remains historical evidence and is never rewritten to resemble the new branch.
Dossier page 005 - Legacy conflict
The authority ledger contains 2 explicit conflicts. The live page’s later correction controls its own earlier manuscript, but it cannot automatically certify the new successor corpus. The branch resolves this by freezing the legacy page as historical evidence and running a new lint.
Evidence address. authority.conflicts identifies the record owned by this page. A reviewer should resolve that address, compare the frozen value with its source hash, and verify that the conclusion does not exceed the record’s declared role. This page is an inventory card: it preserves identity, assurance, provenance, scope, and dependency boundaries without reenacting the companion solution’s ordered derivation.
Reopen test. Provide the exact legacy input and a compatibility proof, or change the successor corpus. A changed value creates a new corpus manifest and invalidates every downstream claim edge that consumed the old record. The old card remains historical evidence and is never rewritten to resemble the new branch.
Dossier page 006 - Declared finite universe
The audit contains 18 documents and 9 status snapshots. Completeness means complete relative to these listed bytes and claim paths. Unlisted future documents and universal all-physics exhaustiveness are outside scope.
Evidence address. manifest.inside_scope identifies the record owned by this page. A reviewer should resolve that address, compare the frozen value with its source hash, and verify that the conclusion does not exceed the record’s declared role. This page is an inventory card: it preserves identity, assurance, provenance, scope, and dependency boundaries without reenacting the companion solution’s ordered derivation.
Reopen test. Add, remove, replace, or reclassify any corpus item. A changed value creates a new corpus manifest and invalidates every downstream claim edge that consumed the old record. The old card remains historical evidence and is never rewritten to resemble the new branch.
Dossier page 007 - Explicit exclusions
The outside-scope ledger names superseded predecessor documents, unlisted future files, truth of the physics, nature selection, owner ratification, independent reviewer execution, and universal completeness. An exclusion cannot be used to support a required claim or to hide an unpaid controlling artifact.
Evidence address. manifest.outside_scope identifies the record owned by this page. A reviewer should resolve that address, compare the frozen value with its source hash, and verify that the conclusion does not exceed the record’s declared role. This page is an inventory card: it preserves identity, assurance, provenance, scope, and dependency boundaries without reenacting the companion solution’s ordered derivation.
Reopen test. Use an excluded object as positive support or hide a required object by exclusion. A changed value creates a new corpus manifest and invalidates every downstream claim edge that consumed the old record. The old card remains historical evidence and is never rewritten to resemble the new branch.
Dossier page 008 - Structured terminal
The local finite lint is PASS and its closure strength is CLOSED-SCOPED-LOCAL. Physical status for SG10 is NOT-APPLICABLE-AUDIT-GATE; canonical project endpoint is OPEN; physics statuses changed equals 0.
Evidence address. status identifies the record owned by this page. A reviewer should resolve that address, compare the frozen value with its source hash, and verify that the conclusion does not exceed the record’s declared role. This page is an inventory card: it preserves identity, assurance, provenance, scope, and dependency boundaries without reenacting the companion solution’s ordered derivation.
Reopen test. Change any terminal component or compress them into an ambiguous single word. A changed value creates a new corpus manifest and invalidates every downstream claim edge that consumed the old record. The old card remains historical evidence and is never rewritten to resemble the new branch.
Dossier page 009 - Same-ruler tuple
Identity uses raw-byte SHA-256. Text predicates use UTF-8 with deterministic line handling. Gate comparisons use one normalized status grammar and one role taxonomy. Physical values are not compared by SG10; they are transported only as gate-owned strings and fields.
Evidence address. contract.same_ruler identifies the record owned by this page. A reviewer should resolve that address, compare the frozen value with its source hash, and verify that the conclusion does not exceed the record’s declared role. This page is an inventory card: it preserves identity, assurance, provenance, scope, and dependency boundaries without reenacting the companion solution’s ordered derivation.
Reopen test. Change encoding, hash convention, terminal grammar, or role semantics. A changed value creates a new corpus manifest and invalidates every downstream claim edge that consumed the old record. The old card remains historical evidence and is never rewritten to resemble the new branch.
Dossier page 010 - Non-promotion theorem
The output records 0 changed physics statuses. A scope PASS means only that the corpus states its boundaries consistently. It cannot convert SG1-SG9 OPEN rows, conditional branches, measured inputs, construction Actors, or negative results into stronger physics.
Evidence address. output.physics_statuses_changed identifies the record owned by this page. A reviewer should resolve that address, compare the frozen value with its source hash, and verify that the conclusion does not exceed the record’s declared role. This page is an inventory card: it preserves identity, assurance, provenance, scope, and dependency boundaries without reenacting the companion solution’s ordered derivation.
Reopen test. Any claim edge from the SG10 certificate back into an upstream physics terminal reopens the gate. A changed value creates a new corpus manifest and invalidates every downstream claim edge that consumed the old record. The old card remains historical evidence and is never rewritten to resemble the new branch.
Dossier page 011 - SG1 controlling terminal
The normalized row asks: Is the complete geometric shape selected and physically realized? The frozen terminal is PHYSICAL SG1: OPEN - 8 PASS / 18 OPEN. Its positive or diagnostic leg is limited to: Eight inherited rows pass; eighteen construction contracts remain open. The provenance ceiling is RATIFICATION-CANDIDATE / construction contracts, not completed witnesses. The blocker count transported for this gate is 18; SG10 records that value but does not pay it.
Evidence address. gate_rows.SG1 identifies the record owned by this page. A reviewer should resolve that address, compare the frozen value with its source hash, and verify that the conclusion does not exceed the record’s declared role. This page is an inventory card: it preserves identity, assurance, provenance, scope, and dependency boundaries without reenacting the companion solution’s ordered derivation.
Reopen test. Change the SG1 terminal, provenance ceiling, blocker count, or required token set. A changed value creates a new corpus manifest and invalidates every downstream claim edge that consumed the old record. The old card remains historical evidence and is never rewritten to resemble the new branch.
Dossier page 012 - SG2 controlling terminal
The normalized row asks: Does the declared carrier manifest reproduce the gauge group? The frozen terminal is CONDITIONAL CANDIDATE: PASS; PHYSICAL SG2: OPEN. Its positive or diagnostic leg is limited to: The declared candidate manifest passes its vector, rank, kernel, and no-extra checks. The provenance ceiling is CONSTRUCTION-ANCHOR. The blocker count transported for this gate is 9; SG10 records that value but does not pay it.
Evidence address. gate_rows.SG2 identifies the record owned by this page. A reviewer should resolve that address, compare the frozen value with its source hash, and verify that the conclusion does not exceed the record’s declared role. This page is an inventory card: it preserves identity, assurance, provenance, scope, and dependency boundaries without reenacting the companion solution’s ordered derivation.
Reopen test. Change the SG2 terminal, provenance ceiling, blocker count, or required token set. A changed value creates a new corpus manifest and invalidates every downstream claim edge that consumed the old record. The old card remains historical evidence and is never rewritten to resemble the new branch.
Dossier page 013 - SG3 controlling terminal
The normalized row asks: Does the admitted family module yield three chiral copies without mirrors? The frozen terminal is CONDITIONAL FAMILY CERTIFICATE: PASS; PHYSICAL SG3: OPEN. Its positive or diagnostic leg is limited to: The family multiplicity certificate passes given the admitted module and parity data. The provenance ceiling is CONSTRUCTION-ANCHOR. The blocker count transported for this gate is 9; SG10 records that value but does not pay it.
Evidence address. gate_rows.SG3 identifies the record owned by this page. A reviewer should resolve that address, compare the frozen value with its source hash, and verify that the conclusion does not exceed the record’s declared role. This page is an inventory card: it preserves identity, assurance, provenance, scope, and dependency boundaries without reenacting the companion solution’s ordered derivation.
Reopen test. Change the SG3 terminal, provenance ceiling, blocker count, or required token set. A changed value creates a new corpus manifest and invalidates every downstream claim edge that consumed the old record. The old card remains historical evidence and is never rewritten to resemble the new branch.
Dossier page 014 - SG4 controlling terminal
The normalized row asks: Do charges, anomalies, and the faithful kernel match the declared matter content? The frozen terminal is CONDITIONAL CHARGE CERTIFICATE: PASS; PHYSICAL SG4: OPEN. Its positive or diagnostic leg is limited to: The declared charge ray, anomaly sums, Witten count, and Z6 kernel pass conditionally. The provenance ceiling is CONSTRUCTION-ANCHOR. The blocker count transported for this gate is 14; SG10 records that value but does not pay it.
Evidence address. gate_rows.SG4 identifies the record owned by this page. A reviewer should resolve that address, compare the frozen value with its source hash, and verify that the conclusion does not exceed the record’s declared role. This page is an inventory card: it preserves identity, assurance, provenance, scope, and dependency boundaries without reenacting the companion solution’s ordered derivation.
Reopen test. Change the SG4 terminal, provenance ceiling, blocker count, or required token set. A changed value creates a new corpus manifest and invalidates every downstream claim edge that consumed the old record. The old card remains historical evidence and is never rewritten to resemble the new branch.
Dossier page 015 - SG5 controlling terminal
The normalized row asks: Does the declared electroweak sector leave one photon and rho_tree=1? The frozen terminal is CONDITIONAL ELECTROWEAK CERTIFICATE: PASS; PHYSICAL SG5: OPEN. Its positive or diagnostic leg is limited to: The minimal doublet branch yields one massless photon and rho_tree=1. The provenance ceiling is CONSTRUCTION-ANCHOR with measured v_EW calibration. The blocker count transported for this gate is 19; SG10 records that value but does not pay it.
Evidence address. gate_rows.SG5 identifies the record owned by this page. A reviewer should resolve that address, compare the frozen value with its source hash, and verify that the conclusion does not exceed the record’s declared role. This page is an inventory card: it preserves identity, assurance, provenance, scope, and dependency boundaries without reenacting the companion solution’s ordered derivation.
Reopen test. Change the SG5 terminal, provenance ceiling, blocker count, or required token set. A changed value creates a new corpus manifest and invalidates every downstream claim edge that consumed the old record. The old card remains historical evidence and is never rewritten to resemble the new branch.
Dossier page 016 - SG6 controlling terminal
The normalized row asks: Is the compactification stable on every claimed branch? The frozen terminal is PURE BRANCH: CLOSED-NEGATIVE; STABILIZED ZERO-MODE BRANCH: PASS-CONDITIONAL; PHYSICAL SG6: OPEN. Its positive or diagnostic leg is limited to: The pure branch is a certified saddle; the explicit zero-mode repair is conditional. The provenance ceiling is CLOSED-NEGATIVE plus construction-anchored conditional repair. The blocker count transported for this gate is 25; SG10 records that value but does not pay it.
Evidence address. gate_rows.SG6 identifies the record owned by this page. A reviewer should resolve that address, compare the frozen value with its source hash, and verify that the conclusion does not exceed the record’s declared role. This page is an inventory card: it preserves identity, assurance, provenance, scope, and dependency boundaries without reenacting the companion solution’s ordered derivation.
Reopen test. Change the SG6 terminal, provenance ceiling, blocker count, or required token set. A changed value creates a new corpus manifest and invalidates every downstream claim edge that consumed the old record. The old card remains historical evidence and is never rewritten to resemble the new branch.
Dossier page 017 - SG7 controlling terminal
The normalized row asks: Does one-loop coupling transport work without inventing a threshold prediction? The frozen terminal is ONE-LOOP DIAGNOSTIC: PASS; THRESHOLD MAGNITUDE: OPEN; PHYSICAL SG7: OPEN. Its positive or diagnostic leg is limited to: The one-loop diagnostic transports measured couplings; threshold magnitude remains open. The provenance ceiling is DIAGNOSTIC / measured-central-value transport. The blocker count transported for this gate is 31; SG10 records that value but does not pay it.
Evidence address. gate_rows.SG7 identifies the record owned by this page. A reviewer should resolve that address, compare the frozen value with its source hash, and verify that the conclusion does not exceed the record’s declared role. This page is an inventory card: it preserves identity, assurance, provenance, scope, and dependency boundaries without reenacting the companion solution’s ordered derivation.
Reopen test. Change the SG7 terminal, provenance ceiling, blocker count, or required token set. A changed value creates a new corpus manifest and invalidates every downstream claim edge that consumed the old record. The old card remains historical evidence and is never rewritten to resemble the new branch.
Dossier page 018 - SG8 controlling terminal
The normalized row asks: Does the geometry predict flavor, and what survives the legacy texture failure? The frozen terminal is LEGACY TEXTURE: CLOSED-NEGATIVE; MEASURED-SPURION EFT: PASS-CONDITIONAL; PHYSICAL SG8: OPEN. Its positive or diagnostic leg is limited to: The legacy texture is permanently negative; EFT reconstruction passes given measured spurions. The provenance ceiling is MEASURED-ANCHOR-RECONSTRUCTION. The blocker count transported for this gate is 39; SG10 records that value but does not pay it.
Evidence address. gate_rows.SG8 identifies the record owned by this page. A reviewer should resolve that address, compare the frozen value with its source hash, and verify that the conclusion does not exceed the record’s declared role. This page is an inventory card: it preserves identity, assurance, provenance, scope, and dependency boundaries without reenacting the companion solution’s ordered derivation.
Reopen test. Change the SG8 terminal, provenance ceiling, blocker count, or required token set. A changed value creates a new corpus manifest and invalidates every downstream claim edge that consumed the old record. The old card remains historical evidence and is never rewritten to resemble the new branch.
Dossier page 019 - SG9 controlling terminal
The normalized row asks: Does the frozen geometry forbid proton decay? The frozen terminal is ACTOR-CONDITIONED LOCAL SAFETY: PASS-CONDITIONAL; PHYSICAL SG9: OPEN. Its positive or diagnostic leg is limited to: Baryon triality forbids local DeltaB=1,2 operators given the declared Actor. The provenance ceiling is CONSTRUCTION-ANCHOR. The blocker count transported for this gate is 48; SG10 records that value but does not pay it.
Evidence address. gate_rows.SG9 identifies the record owned by this page. A reviewer should resolve that address, compare the frozen value with its source hash, and verify that the conclusion does not exceed the record’s declared role. This page is an inventory card: it preserves identity, assurance, provenance, scope, and dependency boundaries without reenacting the companion solution’s ordered derivation.
Reopen test. Change the SG9 terminal, provenance ceiling, blocker count, or required token set. A changed value creates a new corpus manifest and invalidates every downstream claim edge that consumed the old record. The old card remains historical evidence and is never rewritten to resemble the new branch.
Dossier page 020 - SG1 dossier identity
The dossier role for SG1 is frozen at DOCUMENTS/SG1/dossier.md with 115608 raw bytes and SHA-256 1671d0a0a15e19bdc00fa88141d1efcf8db5fe89120c5b5200249413fcb39d0f. Its source filename was SG1_COMPLETE_100_PLUS_PAGE_DOSSIER_DISTINCT_REVISION_3_0_2026-08-03.md. The file must reproduce the normalized terminal PHYSICAL SG1: OPEN - 8 PASS / 18 OPEN while retaining its own document architecture. Role uniqueness and byte identity are checked before prose interpretation.
Evidence address. manifest.documents.SG1.dossier identifies the record owned by this page. A reviewer should resolve that address, compare the frozen value with its source hash, and verify that the conclusion does not exceed the record’s declared role. This page is an inventory card: it preserves identity, assurance, provenance, scope, and dependency boundaries without reenacting the companion solution’s ordered derivation.
Reopen test. Replace the file, alter one byte, change its role, or add a second dossier for SG1. A changed value creates a new corpus manifest and invalidates every downstream claim edge that consumed the old record. The old card remains historical evidence and is never rewritten to resemble the new branch.
Dossier page 021 - SG1 solution identity
The solution role for SG1 is frozen at DOCUMENTS/SG1/solution.md with 62472 raw bytes and SHA-256 77ece24fa4b68a60b88779d25c5c194ca06a8f34d57cf6d352fe249ef06ab4b2. Its source filename was SG1_COMPLETE_CHALLENGE_SOLUTION_DISTINCT_REVISION_2_0_2026-08-03.md. The file must reproduce the normalized terminal PHYSICAL SG1: OPEN - 8 PASS / 18 OPEN while retaining its own document architecture. Role uniqueness and byte identity are checked before prose interpretation.
Evidence address. manifest.documents.SG1.solution identifies the record owned by this page. A reviewer should resolve that address, compare the frozen value with its source hash, and verify that the conclusion does not exceed the record’s declared role. This page is an inventory card: it preserves identity, assurance, provenance, scope, and dependency boundaries without reenacting the companion solution’s ordered derivation.
Reopen test. Replace the file, alter one byte, change its role, or add a second solution for SG1. A changed value creates a new corpus manifest and invalidates every downstream claim edge that consumed the old record. The old card remains historical evidence and is never rewritten to resemble the new branch.
Dossier page 022 - SG2 dossier identity
The dossier role for SG2 is frozen at DOCUMENTS/SG2/dossier.md with 116177 raw bytes and SHA-256 f26ba7e523d3cdeb751e326eb014f6392397cd85c28d1a1c1a9a6d01102a8533. Its source filename was SG2_COMPLETE_100_PLUS_PAGE_DOSSIER_DISTINCT_REVISION_5_0_2026-08-03.md. The file must reproduce the normalized terminal CONDITIONAL CANDIDATE: PASS; PHYSICAL SG2: OPEN while retaining its own document architecture. Role uniqueness and byte identity are checked before prose interpretation.
Evidence address. manifest.documents.SG2.dossier identifies the record owned by this page. A reviewer should resolve that address, compare the frozen value with its source hash, and verify that the conclusion does not exceed the record’s declared role. This page is an inventory card: it preserves identity, assurance, provenance, scope, and dependency boundaries without reenacting the companion solution’s ordered derivation.
Reopen test. Replace the file, alter one byte, change its role, or add a second dossier for SG2. A changed value creates a new corpus manifest and invalidates every downstream claim edge that consumed the old record. The old card remains historical evidence and is never rewritten to resemble the new branch.
Dossier page 023 - SG2 solution identity
The solution role for SG2 is frozen at DOCUMENTS/SG2/solution.md with 62269 raw bytes and SHA-256 87376a0c8497b38fc496b97def9d5ed8950a067042d8ce00d9b1d6c122ba8681. Its source filename was SG2_COMPLETE_CHALLENGE_SOLUTION_DISTINCT_REVISION_3_0_2026-08-03.md. The file must reproduce the normalized terminal CONDITIONAL CANDIDATE: PASS; PHYSICAL SG2: OPEN while retaining its own document architecture. Role uniqueness and byte identity are checked before prose interpretation.
Evidence address. manifest.documents.SG2.solution identifies the record owned by this page. A reviewer should resolve that address, compare the frozen value with its source hash, and verify that the conclusion does not exceed the record’s declared role. This page is an inventory card: it preserves identity, assurance, provenance, scope, and dependency boundaries without reenacting the companion solution’s ordered derivation.
Reopen test. Replace the file, alter one byte, change its role, or add a second solution for SG2. A changed value creates a new corpus manifest and invalidates every downstream claim edge that consumed the old record. The old card remains historical evidence and is never rewritten to resemble the new branch.
Dossier page 024 - SG3 dossier identity
The dossier role for SG3 is frozen at DOCUMENTS/SG3/dossier.md with 118250 raw bytes and SHA-256 ea5f78bb7508d4a90379b2553f83db836adb8465a6a5ac819ef67f353bfa9ef0. Its source filename was SG3_COMPLETE_100_PLUS_PAGE_DOSSIER_DISTINCT_REVISION_5_0_2026-08-03.md. The file must reproduce the normalized terminal CONDITIONAL FAMILY CERTIFICATE: PASS; PHYSICAL SG3: OPEN while retaining its own document architecture. Role uniqueness and byte identity are checked before prose interpretation.
Evidence address. manifest.documents.SG3.dossier identifies the record owned by this page. A reviewer should resolve that address, compare the frozen value with its source hash, and verify that the conclusion does not exceed the record’s declared role. This page is an inventory card: it preserves identity, assurance, provenance, scope, and dependency boundaries without reenacting the companion solution’s ordered derivation.
Reopen test. Replace the file, alter one byte, change its role, or add a second dossier for SG3. A changed value creates a new corpus manifest and invalidates every downstream claim edge that consumed the old record. The old card remains historical evidence and is never rewritten to resemble the new branch.
Dossier page 025 - SG3 solution identity
The solution role for SG3 is frozen at DOCUMENTS/SG3/solution.md with 62465 raw bytes and SHA-256 d95ac63a50a57f447cd92a79bdf63b8eb764e844a80a9db2aa17fa2b5a877d5c. Its source filename was SG3_COMPLETE_CHALLENGE_SOLUTION_DISTINCT_REVISION_3_0_2026-08-03.md. The file must reproduce the normalized terminal CONDITIONAL FAMILY CERTIFICATE: PASS; PHYSICAL SG3: OPEN while retaining its own document architecture. Role uniqueness and byte identity are checked before prose interpretation.
Evidence address. manifest.documents.SG3.solution identifies the record owned by this page. A reviewer should resolve that address, compare the frozen value with its source hash, and verify that the conclusion does not exceed the record’s declared role. This page is an inventory card: it preserves identity, assurance, provenance, scope, and dependency boundaries without reenacting the companion solution’s ordered derivation.
Reopen test. Replace the file, alter one byte, change its role, or add a second solution for SG3. A changed value creates a new corpus manifest and invalidates every downstream claim edge that consumed the old record. The old card remains historical evidence and is never rewritten to resemble the new branch.
Dossier page 026 - SG4 dossier identity
The dossier role for SG4 is frozen at DOCUMENTS/SG4/dossier.md with 120114 raw bytes and SHA-256 86bc6b48e7f7cd1f4ea13809340ae398ad89522bca6cbc07e89ad123455d0105. Its source filename was SG4_COMPLETE_100_PLUS_PAGE_DOSSIER_DISTINCT_REVISION_2_0_2026-08-03.md. The file must reproduce the normalized terminal CONDITIONAL CHARGE CERTIFICATE: PASS; PHYSICAL SG4: OPEN while retaining its own document architecture. Role uniqueness and byte identity are checked before prose interpretation.
Evidence address. manifest.documents.SG4.dossier identifies the record owned by this page. A reviewer should resolve that address, compare the frozen value with its source hash, and verify that the conclusion does not exceed the record’s declared role. This page is an inventory card: it preserves identity, assurance, provenance, scope, and dependency boundaries without reenacting the companion solution’s ordered derivation.
Reopen test. Replace the file, alter one byte, change its role, or add a second dossier for SG4. A changed value creates a new corpus manifest and invalidates every downstream claim edge that consumed the old record. The old card remains historical evidence and is never rewritten to resemble the new branch.
Dossier page 027 - SG4 solution identity
The solution role for SG4 is frozen at DOCUMENTS/SG4/solution.md with 61751 raw bytes and SHA-256 6ce0e3f65f4f0dfbd12fe71707945e979abb7444ad839d42f6a196ee5acc408a. Its source filename was SG4_COMPLETE_CHALLENGE_SOLUTION_DISTINCT_REVISION_2_0_2026-08-03.md. The file must reproduce the normalized terminal CONDITIONAL CHARGE CERTIFICATE: PASS; PHYSICAL SG4: OPEN while retaining its own document architecture. Role uniqueness and byte identity are checked before prose interpretation.
Evidence address. manifest.documents.SG4.solution identifies the record owned by this page. A reviewer should resolve that address, compare the frozen value with its source hash, and verify that the conclusion does not exceed the record’s declared role. This page is an inventory card: it preserves identity, assurance, provenance, scope, and dependency boundaries without reenacting the companion solution’s ordered derivation.
Reopen test. Replace the file, alter one byte, change its role, or add a second solution for SG4. A changed value creates a new corpus manifest and invalidates every downstream claim edge that consumed the old record. The old card remains historical evidence and is never rewritten to resemble the new branch.
Dossier page 028 - SG5 dossier identity
The dossier role for SG5 is frozen at DOCUMENTS/SG5/dossier.md with 119759 raw bytes and SHA-256 7c7f6737c86360214bac33f21e43570c3b3136b20e8ad5543f74dd56c6551d15. Its source filename was SG5_COMPLETE_100_PLUS_PAGE_DOSSIER_DISTINCT_REVISION_2_0_2026-08-03.md. The file must reproduce the normalized terminal CONDITIONAL ELECTROWEAK CERTIFICATE: PASS; PHYSICAL SG5: OPEN while retaining its own document architecture. Role uniqueness and byte identity are checked before prose interpretation.
Evidence address. manifest.documents.SG5.dossier identifies the record owned by this page. A reviewer should resolve that address, compare the frozen value with its source hash, and verify that the conclusion does not exceed the record’s declared role. This page is an inventory card: it preserves identity, assurance, provenance, scope, and dependency boundaries without reenacting the companion solution’s ordered derivation.
Reopen test. Replace the file, alter one byte, change its role, or add a second dossier for SG5. A changed value creates a new corpus manifest and invalidates every downstream claim edge that consumed the old record. The old card remains historical evidence and is never rewritten to resemble the new branch.
Dossier page 029 - SG5 solution identity
The solution role for SG5 is frozen at DOCUMENTS/SG5/solution.md with 62220 raw bytes and SHA-256 8f399edff4dcfc810f8190e20d30c220f508009f721b514552944407c1dedcb4. Its source filename was SG5_COMPLETE_CHALLENGE_SOLUTION_DISTINCT_REVISION_2_0_2026-08-03.md. The file must reproduce the normalized terminal CONDITIONAL ELECTROWEAK CERTIFICATE: PASS; PHYSICAL SG5: OPEN while retaining its own document architecture. Role uniqueness and byte identity are checked before prose interpretation.
Evidence address. manifest.documents.SG5.solution identifies the record owned by this page. A reviewer should resolve that address, compare the frozen value with its source hash, and verify that the conclusion does not exceed the record’s declared role. This page is an inventory card: it preserves identity, assurance, provenance, scope, and dependency boundaries without reenacting the companion solution’s ordered derivation.
Reopen test. Replace the file, alter one byte, change its role, or add a second solution for SG5. A changed value creates a new corpus manifest and invalidates every downstream claim edge that consumed the old record. The old card remains historical evidence and is never rewritten to resemble the new branch.
Dossier page 030 - SG6 dossier identity
The dossier role for SG6 is frozen at DOCUMENTS/SG6/dossier.md with 129271 raw bytes and SHA-256 75aedc8b717599d7cb9c3a054a94619255ddca8c4cf8cde9b8f503a444c62c41. Its source filename was SG6_COMPLETE_100_PLUS_PAGE_DOSSIER_DISTINCT_REVISION_2_0_2026-08-03.md. The file must reproduce the normalized terminal PURE BRANCH: CLOSED-NEGATIVE; STABILIZED ZERO-MODE BRANCH: PASS-CONDITIONAL; PHYSICAL SG6: OPEN while retaining its own document architecture. Role uniqueness and byte identity are checked before prose interpretation.
Evidence address. manifest.documents.SG6.dossier identifies the record owned by this page. A reviewer should resolve that address, compare the frozen value with its source hash, and verify that the conclusion does not exceed the record’s declared role. This page is an inventory card: it preserves identity, assurance, provenance, scope, and dependency boundaries without reenacting the companion solution’s ordered derivation.
Reopen test. Replace the file, alter one byte, change its role, or add a second dossier for SG6. A changed value creates a new corpus manifest and invalidates every downstream claim edge that consumed the old record. The old card remains historical evidence and is never rewritten to resemble the new branch.
Dossier page 031 - SG6 solution identity
The solution role for SG6 is frozen at DOCUMENTS/SG6/solution.md with 62820 raw bytes and SHA-256 7f29c956bfa326fa755a23d267dd6d8e62989194b016281cbf421dc343c7ad8a. Its source filename was SG6_COMPLETE_CHALLENGE_SOLUTION_DISTINCT_REVISION_2_0_2026-08-03.md. The file must reproduce the normalized terminal PURE BRANCH: CLOSED-NEGATIVE; STABILIZED ZERO-MODE BRANCH: PASS-CONDITIONAL; PHYSICAL SG6: OPEN while retaining its own document architecture. Role uniqueness and byte identity are checked before prose interpretation.
Evidence address. manifest.documents.SG6.solution identifies the record owned by this page. A reviewer should resolve that address, compare the frozen value with its source hash, and verify that the conclusion does not exceed the record’s declared role. This page is an inventory card: it preserves identity, assurance, provenance, scope, and dependency boundaries without reenacting the companion solution’s ordered derivation.
Reopen test. Replace the file, alter one byte, change its role, or add a second solution for SG6. A changed value creates a new corpus manifest and invalidates every downstream claim edge that consumed the old record. The old card remains historical evidence and is never rewritten to resemble the new branch.
Dossier page 032 - SG7 dossier identity
The dossier role for SG7 is frozen at DOCUMENTS/SG7/dossier.md with 120701 raw bytes and SHA-256 c769b1d38b896ae9efcdc97665ffd582b676b872d8ad936259bfbd35552c8b1b. Its source filename was SG7_COMPLETE_100_PLUS_PAGE_DOSSIER_DISTINCT_REVISION_2_0_2026-08-03.md. The file must reproduce the normalized terminal ONE-LOOP DIAGNOSTIC: PASS; THRESHOLD MAGNITUDE: OPEN; PHYSICAL SG7: OPEN while retaining its own document architecture. Role uniqueness and byte identity are checked before prose interpretation.
Evidence address. manifest.documents.SG7.dossier identifies the record owned by this page. A reviewer should resolve that address, compare the frozen value with its source hash, and verify that the conclusion does not exceed the record’s declared role. This page is an inventory card: it preserves identity, assurance, provenance, scope, and dependency boundaries without reenacting the companion solution’s ordered derivation.
Reopen test. Replace the file, alter one byte, change its role, or add a second dossier for SG7. A changed value creates a new corpus manifest and invalidates every downstream claim edge that consumed the old record. The old card remains historical evidence and is never rewritten to resemble the new branch.
Dossier page 033 - SG7 solution identity
The solution role for SG7 is frozen at DOCUMENTS/SG7/solution.md with 62622 raw bytes and SHA-256 b40ef67c54d076430e04f50973858975cb5af5ed856d4b615ddf3c484431c1c5. Its source filename was SG7_COMPLETE_CHALLENGE_SOLUTION_DISTINCT_REVISION_2_0_2026-08-03.md. The file must reproduce the normalized terminal ONE-LOOP DIAGNOSTIC: PASS; THRESHOLD MAGNITUDE: OPEN; PHYSICAL SG7: OPEN while retaining its own document architecture. Role uniqueness and byte identity are checked before prose interpretation.
Evidence address. manifest.documents.SG7.solution identifies the record owned by this page. A reviewer should resolve that address, compare the frozen value with its source hash, and verify that the conclusion does not exceed the record’s declared role. This page is an inventory card: it preserves identity, assurance, provenance, scope, and dependency boundaries without reenacting the companion solution’s ordered derivation.
Reopen test. Replace the file, alter one byte, change its role, or add a second solution for SG7. A changed value creates a new corpus manifest and invalidates every downstream claim edge that consumed the old record. The old card remains historical evidence and is never rewritten to resemble the new branch.
Dossier page 034 - SG8 dossier identity
The dossier role for SG8 is frozen at DOCUMENTS/SG8/dossier.md with 104353 raw bytes and SHA-256 1da880e6e991323f525a6501723d257bdbd734e70b12deccc29c89c218718e05. Its source filename was SG8_COMPLETE_100_PLUS_PAGE_DOSSIER_REVISION_1_0_2026-08-03.md. The file must reproduce the normalized terminal LEGACY TEXTURE: CLOSED-NEGATIVE; MEASURED-SPURION EFT: PASS-CONDITIONAL; PHYSICAL SG8: OPEN while retaining its own document architecture. Role uniqueness and byte identity are checked before prose interpretation.
Evidence address. manifest.documents.SG8.dossier identifies the record owned by this page. A reviewer should resolve that address, compare the frozen value with its source hash, and verify that the conclusion does not exceed the record’s declared role. This page is an inventory card: it preserves identity, assurance, provenance, scope, and dependency boundaries without reenacting the companion solution’s ordered derivation.
Reopen test. Replace the file, alter one byte, change its role, or add a second dossier for SG8. A changed value creates a new corpus manifest and invalidates every downstream claim edge that consumed the old record. The old card remains historical evidence and is never rewritten to resemble the new branch.
Dossier page 035 - SG8 solution identity
The solution role for SG8 is frozen at DOCUMENTS/SG8/solution.md with 69315 raw bytes and SHA-256 77e3d31529362ff63cd2b2476918b528558e3a75bcbdef9d3001d519955bbb67. Its source filename was SG8_COMPLETE_CHALLENGE_SOLUTION_DISTINCT_REVISION_2_0_2026-08-03.md. The file must reproduce the normalized terminal LEGACY TEXTURE: CLOSED-NEGATIVE; MEASURED-SPURION EFT: PASS-CONDITIONAL; PHYSICAL SG8: OPEN while retaining its own document architecture. Role uniqueness and byte identity are checked before prose interpretation.
Evidence address. manifest.documents.SG8.solution identifies the record owned by this page. A reviewer should resolve that address, compare the frozen value with its source hash, and verify that the conclusion does not exceed the record’s declared role. This page is an inventory card: it preserves identity, assurance, provenance, scope, and dependency boundaries without reenacting the companion solution’s ordered derivation.
Reopen test. Replace the file, alter one byte, change its role, or add a second solution for SG8. A changed value creates a new corpus manifest and invalidates every downstream claim edge that consumed the old record. The old card remains historical evidence and is never rewritten to resemble the new branch.
Dossier page 036 - SG9 dossier identity
The dossier role for SG9 is frozen at DOCUMENTS/SG9/dossier.md with 136931 raw bytes and SHA-256 80af40e75f377c2948d5466f5454daf827f6e4ee75d142ca2480e063d3bbb78e. Its source filename was SG9_COMPLETE_100_PLUS_PAGE_DOSSIER_REVISION_1_0_2026-08-03.md. The file must reproduce the normalized terminal ACTOR-CONDITIONED LOCAL SAFETY: PASS-CONDITIONAL; PHYSICAL SG9: OPEN while retaining its own document architecture. Role uniqueness and byte identity are checked before prose interpretation.
Evidence address. manifest.documents.SG9.dossier identifies the record owned by this page. A reviewer should resolve that address, compare the frozen value with its source hash, and verify that the conclusion does not exceed the record’s declared role. This page is an inventory card: it preserves identity, assurance, provenance, scope, and dependency boundaries without reenacting the companion solution’s ordered derivation.
Reopen test. Replace the file, alter one byte, change its role, or add a second dossier for SG9. A changed value creates a new corpus manifest and invalidates every downstream claim edge that consumed the old record. The old card remains historical evidence and is never rewritten to resemble the new branch.
Dossier page 037 - SG9 solution identity
The solution role for SG9 is frozen at DOCUMENTS/SG9/solution.md with 66993 raw bytes and SHA-256 bcff110aefb1c7e9dccf5da48cbcf938fa84cea367c47ab5a9ec935361f4e67f. Its source filename was SG9_COMPLETE_CHALLENGE_SOLUTION_REVISION_1_0_2026-08-03.md. The file must reproduce the normalized terminal ACTOR-CONDITIONED LOCAL SAFETY: PASS-CONDITIONAL; PHYSICAL SG9: OPEN while retaining its own document architecture. Role uniqueness and byte identity are checked before prose interpretation.
Evidence address. manifest.documents.SG9.solution identifies the record owned by this page. A reviewer should resolve that address, compare the frozen value with its source hash, and verify that the conclusion does not exceed the record’s declared role. This page is an inventory card: it preserves identity, assurance, provenance, scope, and dependency boundaries without reenacting the companion solution’s ordered derivation.
Reopen test. Replace the file, alter one byte, change its role, or add a second solution for SG9. A changed value creates a new corpus manifest and invalidates every downstream claim edge that consumed the old record. The old card remains historical evidence and is never rewritten to resemble the new branch.
Dossier page 038 - Rule SG10-R01: Content-addressed corpus identity
The candidate-neutral requirement is: Every scanned file is listed once with role, gate, size, and SHA-256. The internal executable witness assigns PASS at W3 assurance on the named finite corpus. Its provenance is finite computation, not formal physics derivation. The rule is paired with a destructive mutation and remains branch-local until merge and ratification.
Evidence address. row_states.SG10-R01 identifies the record owned by this page. A reviewer should resolve that address, compare the frozen value with its source hash, and verify that the conclusion does not exceed the record’s declared role. This page is an inventory card: it preserves identity, assurance, provenance, scope, and dependency boundaries without reenacting the companion solution’s ordered derivation.
Reopen test. Change the SG10-R01 rule, witness, destructive control, manifest, or assurance requirement. A changed value creates a new corpus manifest and invalidates every downstream claim edge that consumed the old record. The old card remains historical evidence and is never rewritten to resemble the new branch.
Dossier page 039 - Rule SG10-R02: Role-pair completeness
The candidate-neutral requirement is: Each SG1-SG9 gate has exactly one dossier and one challenge solution in the frozen scan. The internal executable witness assigns PASS at W3 assurance on the named finite corpus. Its provenance is finite computation, not formal physics derivation. The rule is paired with a destructive mutation and remains branch-local until merge and ratification.
Evidence address. row_states.SG10-R02 identifies the record owned by this page. A reviewer should resolve that address, compare the frozen value with its source hash, and verify that the conclusion does not exceed the record’s declared role. This page is an inventory card: it preserves identity, assurance, provenance, scope, and dependency boundaries without reenacting the companion solution’s ordered derivation.
Reopen test. Change the SG10-R02 rule, witness, destructive control, manifest, or assurance requirement. A changed value creates a new corpus manifest and invalidates every downstream claim edge that consumed the old record. The old card remains historical evidence and is never rewritten to resemble the new branch.
Dossier page 040 - Rule SG10-R03: Finite universe declaration
The candidate-neutral requirement is: The certificate states exactly which files, statuses, and claim routes are inside and outside scope. The internal executable witness assigns PASS at W3 assurance on the named finite corpus. Its provenance is finite computation, not formal physics derivation. The rule is paired with a destructive mutation and remains branch-local until merge and ratification.
Evidence address. row_states.SG10-R03 identifies the record owned by this page. A reviewer should resolve that address, compare the frozen value with its source hash, and verify that the conclusion does not exceed the record’s declared role. This page is an inventory card: it preserves identity, assurance, provenance, scope, and dependency boundaries without reenacting the companion solution’s ordered derivation.
Reopen test. Change the SG10-R03 rule, witness, destructive control, manifest, or assurance requirement. A changed value creates a new corpus manifest and invalidates every downstream claim edge that consumed the old record. The old card remains historical evidence and is never rewritten to resemble the new branch.
Dossier page 041 - Rule SG10-R04: Terminal presence
The candidate-neutral requirement is: Both documents for a gate carry all tokens required by its normalized terminal row. The internal executable witness assigns PASS at W3 assurance on the named finite corpus. Its provenance is finite computation, not formal physics derivation. The rule is paired with a destructive mutation and remains branch-local until merge and ratification.
Evidence address. row_states.SG10-R04 identifies the record owned by this page. A reviewer should resolve that address, compare the frozen value with its source hash, and verify that the conclusion does not exceed the record’s declared role. This page is an inventory card: it preserves identity, assurance, provenance, scope, and dependency boundaries without reenacting the companion solution’s ordered derivation.
Reopen test. Change the SG10-R04 rule, witness, destructive control, manifest, or assurance requirement. A changed value creates a new corpus manifest and invalidates every downstream claim edge that consumed the old record. The old card remains historical evidence and is never rewritten to resemble the new branch.
Dossier page 042 - Rule SG10-R05: Physical-open preservation
The candidate-neutral requirement is: No local or diagnostic PASS may promote a physical SG1-SG9 gate above OPEN. The internal executable witness assigns PASS at W3 assurance on the named finite corpus. Its provenance is finite computation, not formal physics derivation. The rule is paired with a destructive mutation and remains branch-local until merge and ratification.
Evidence address. row_states.SG10-R05 identifies the record owned by this page. A reviewer should resolve that address, compare the frozen value with its source hash, and verify that the conclusion does not exceed the record’s declared role. This page is an inventory card: it preserves identity, assurance, provenance, scope, and dependency boundaries without reenacting the companion solution’s ordered derivation.
Reopen test. Change the SG10-R05 rule, witness, destructive control, manifest, or assurance requirement. A changed value creates a new corpus manifest and invalidates every downstream claim edge that consumed the old record. The old card remains historical evidence and is never rewritten to resemble the new branch.
Dossier page 043 - Rule SG10-R06: Branch and provenance qualifiers
The candidate-neutral requirement is: PASS-CONDITIONAL, CLOSED-NEGATIVE, measured-anchor, and construction-anchor labels remain attached to their branch. The internal executable witness assigns PASS at W3 assurance on the named finite corpus. Its provenance is finite computation, not formal physics derivation. The rule is paired with a destructive mutation and remains branch-local until merge and ratification.
Evidence address. row_states.SG10-R06 identifies the record owned by this page. A reviewer should resolve that address, compare the frozen value with its source hash, and verify that the conclusion does not exceed the record’s declared role. This page is an inventory card: it preserves identity, assurance, provenance, scope, and dependency boundaries without reenacting the companion solution’s ordered derivation.
Reopen test. Change the SG10-R06 rule, witness, destructive control, manifest, or assurance requirement. A changed value creates a new corpus manifest and invalidates every downstream claim edge that consumed the old record. The old card remains historical evidence and is never rewritten to resemble the new branch.
Dossier page 044 - Rule SG10-R07: Blocker-count transport
The candidate-neutral requirement is: Declared blocker counts survive document and status transport without arithmetic drift. The internal executable witness assigns PASS at W3 assurance on the named finite corpus. Its provenance is finite computation, not formal physics derivation. The rule is paired with a destructive mutation and remains branch-local until merge and ratification.
Evidence address. row_states.SG10-R07 identifies the record owned by this page. A reviewer should resolve that address, compare the frozen value with its source hash, and verify that the conclusion does not exceed the record’s declared role. This page is an inventory card: it preserves identity, assurance, provenance, scope, and dependency boundaries without reenacting the companion solution’s ordered derivation.
Reopen test. Change the SG10-R07 rule, witness, destructive control, manifest, or assurance requirement. A changed value creates a new corpus manifest and invalidates every downstream claim edge that consumed the old record. The old card remains historical evidence and is never rewritten to resemble the new branch.
Dossier page 045 - Rule SG10-R08: Assurance firewall
The candidate-neutral requirement is: Internal reconstructed execution cannot become reviewer-randomized evidence. The internal executable witness assigns PASS at W3 assurance on the named finite corpus. Its provenance is finite computation, not formal physics derivation. The rule is paired with a destructive mutation and remains branch-local until merge and ratification.
Evidence address. row_states.SG10-R08 identifies the record owned by this page. A reviewer should resolve that address, compare the frozen value with its source hash, and verify that the conclusion does not exceed the record’s declared role. This page is an inventory card: it preserves identity, assurance, provenance, scope, and dependency boundaries without reenacting the companion solution’s ordered derivation.
Reopen test. Change the SG10-R08 rule, witness, destructive control, manifest, or assurance requirement. A changed value creates a new corpus manifest and invalidates every downstream claim edge that consumed the old record. The old card remains historical evidence and is never rewritten to resemble the new branch.
Dossier page 046 - Rule SG10-R09: Nature-selection firewall
The candidate-neutral requirement is: No document infers that the geometry is selected by nature from an internal or conditional pass. The internal executable witness assigns PASS at W3 assurance on the named finite corpus. Its provenance is finite computation, not formal physics derivation. The rule is paired with a destructive mutation and remains branch-local until merge and ratification.
Evidence address. row_states.SG10-R09 identifies the record owned by this page. A reviewer should resolve that address, compare the frozen value with its source hash, and verify that the conclusion does not exceed the record’s declared role. This page is an inventory card: it preserves identity, assurance, provenance, scope, and dependency boundaries without reenacting the companion solution’s ordered derivation.
Reopen test. Change the SG10-R09 rule, witness, destructive control, manifest, or assurance requirement. A changed value creates a new corpus manifest and invalidates every downstream claim edge that consumed the old record. The old card remains historical evidence and is never rewritten to resemble the new branch.
Dossier page 047 - Rule SG10-R10: Measured-input firewall
The candidate-neutral requirement is: Calibrations and measured spurions remain inputs, not predictions. The internal executable witness assigns PASS at W3 assurance on the named finite corpus. Its provenance is finite computation, not formal physics derivation. The rule is paired with a destructive mutation and remains branch-local until merge and ratification.
Evidence address. row_states.SG10-R10 identifies the record owned by this page. A reviewer should resolve that address, compare the frozen value with its source hash, and verify that the conclusion does not exceed the record’s declared role. This page is an inventory card: it preserves identity, assurance, provenance, scope, and dependency boundaries without reenacting the companion solution’s ordered derivation.
Reopen test. Change the SG10-R10 rule, witness, destructive control, manifest, or assurance requirement. A changed value creates a new corpus manifest and invalidates every downstream claim edge that consumed the old record. The old card remains historical evidence and is never rewritten to resemble the new branch.
Dossier page 048 - Rule SG10-R11: Construction-anchor firewall
The candidate-neutral requirement is: Post-target Actors and declared manifests remain constructions until a prior map derives them. The internal executable witness assigns PASS at W3 assurance on the named finite corpus. Its provenance is finite computation, not formal physics derivation. The rule is paired with a destructive mutation and remains branch-local until merge and ratification.
Evidence address. row_states.SG10-R11 identifies the record owned by this page. A reviewer should resolve that address, compare the frozen value with its source hash, and verify that the conclusion does not exceed the record’s declared role. This page is an inventory card: it preserves identity, assurance, provenance, scope, and dependency boundaries without reenacting the companion solution’s ordered derivation.
Reopen test. Change the SG10-R11 rule, witness, destructive control, manifest, or assurance requirement. A changed value creates a new corpus manifest and invalidates every downstream claim edge that consumed the old record. The old card remains historical evidence and is never rewritten to resemble the new branch.
Dossier page 049 - Rule SG10-R12: Retirement monotonicity
The candidate-neutral requirement is: CLOSED-NEGATIVE and superseded claims cannot re-enter the current claim graph as positive support. The internal executable witness assigns PASS at W3 assurance on the named finite corpus. Its provenance is finite computation, not formal physics derivation. The rule is paired with a destructive mutation and remains branch-local until merge and ratification.
Evidence address. row_states.SG10-R12 identifies the record owned by this page. A reviewer should resolve that address, compare the frozen value with its source hash, and verify that the conclusion does not exceed the record’s declared role. This page is an inventory card: it preserves identity, assurance, provenance, scope, and dependency boundaries without reenacting the companion solution’s ordered derivation.
Reopen test. Change the SG10-R12 rule, witness, destructive control, manifest, or assurance requirement. A changed value creates a new corpus manifest and invalidates every downstream claim edge that consumed the old record. The old card remains historical evidence and is never rewritten to resemble the new branch.
Dossier page 050 - Rule SG10-R13: Authority conflict visibility
The candidate-neutral requirement is: Missing or disagreeing authorities are serialized and block canonical promotion. The internal executable witness assigns PASS at W3 assurance on the named finite corpus. Its provenance is finite computation, not formal physics derivation. The rule is paired with a destructive mutation and remains branch-local until merge and ratification.
Evidence address. row_states.SG10-R13 identifies the record owned by this page. A reviewer should resolve that address, compare the frozen value with its source hash, and verify that the conclusion does not exceed the record’s declared role. This page is an inventory card: it preserves identity, assurance, provenance, scope, and dependency boundaries without reenacting the companion solution’s ordered derivation.
Reopen test. Change the SG10-R13 rule, witness, destructive control, manifest, or assurance requirement. A changed value creates a new corpus manifest and invalidates every downstream claim edge that consumed the old record. The old card remains historical evidence and is never rewritten to resemble the new branch.
Dossier page 051 - Rule SG10-R14: Self-scan prohibition
The candidate-neutral requirement is: SG10 output documents are not inputs to the SG10 certificate that grants their terminal. The internal executable witness assigns PASS at W3 assurance on the named finite corpus. Its provenance is finite computation, not formal physics derivation. The rule is paired with a destructive mutation and remains branch-local until merge and ratification.
Evidence address. row_states.SG10-R14 identifies the record owned by this page. A reviewer should resolve that address, compare the frozen value with its source hash, and verify that the conclusion does not exceed the record’s declared role. This page is an inventory card: it preserves identity, assurance, provenance, scope, and dependency boundaries without reenacting the companion solution’s ordered derivation.
Reopen test. Change the SG10-R14 rule, witness, destructive control, manifest, or assurance requirement. A changed value creates a new corpus manifest and invalidates every downstream claim edge that consumed the old record. The old card remains historical evidence and is never rewritten to resemble the new branch.
Dossier page 052 - Rule SG10-R15: Relative completeness ceiling
The candidate-neutral requirement is: Completeness means complete relative to the frozen manifest, never exhaustive over all physics or all future files. The internal executable witness assigns PASS at W3 assurance on the named finite corpus. Its provenance is finite computation, not formal physics derivation. The rule is paired with a destructive mutation and remains branch-local until merge and ratification.
Evidence address. row_states.SG10-R15 identifies the record owned by this page. A reviewer should resolve that address, compare the frozen value with its source hash, and verify that the conclusion does not exceed the record’s declared role. This page is an inventory card: it preserves identity, assurance, provenance, scope, and dependency boundaries without reenacting the companion solution’s ordered derivation.
Reopen test. Change the SG10-R15 rule, witness, destructive control, manifest, or assurance requirement. A changed value creates a new corpus manifest and invalidates every downstream claim edge that consumed the old record. The old card remains historical evidence and is never rewritten to resemble the new branch.
Dossier page 053 - Rule SG10-R16: Acyclic claim graph
The candidate-neutral requirement is: A gate output cannot define the status, Actor, or scope that the same certificate consumes. The internal executable witness assigns PASS at W3 assurance on the named finite corpus. Its provenance is finite computation, not formal physics derivation. The rule is paired with a destructive mutation and remains branch-local until merge and ratification.
Evidence address. row_states.SG10-R16 identifies the record owned by this page. A reviewer should resolve that address, compare the frozen value with its source hash, and verify that the conclusion does not exceed the record’s declared role. This page is an inventory card: it preserves identity, assurance, provenance, scope, and dependency boundaries without reenacting the companion solution’s ordered derivation.
Reopen test. Change the SG10-R16 rule, witness, destructive control, manifest, or assurance requirement. A changed value creates a new corpus manifest and invalidates every downstream claim edge that consumed the old record. The old card remains historical evidence and is never rewritten to resemble the new branch.
Dossier page 054 - Rule SG10-R17: Non-promotion output
The candidate-neutral requirement is: The lint emits a scope-audit result and records zero changed physics statuses. The internal executable witness assigns PASS at W3 assurance on the named finite corpus. Its provenance is finite computation, not formal physics derivation. The rule is paired with a destructive mutation and remains branch-local until merge and ratification.
Evidence address. row_states.SG10-R17 identifies the record owned by this page. A reviewer should resolve that address, compare the frozen value with its source hash, and verify that the conclusion does not exceed the record’s declared role. This page is an inventory card: it preserves identity, assurance, provenance, scope, and dependency boundaries without reenacting the companion solution’s ordered derivation.
Reopen test. Change the SG10-R17 rule, witness, destructive control, manifest, or assurance requirement. A changed value creates a new corpus manifest and invalidates every downstream claim edge that consumed the old record. The old card remains historical evidence and is never rewritten to resemble the new branch.
Dossier page 055 - Mutation SG10-MUT-01: delete-one-successor-document
This disposable mutation returns FAIL at first failure SG10-R02, exactly matching the committed expectation. Diagnostic: Removing one dossier breaks the role-pair and gate-coverage invariants. The base corpus is not modified. Catching the mutation demonstrates sensitivity to a load-bearing false-positive route; it supplies no evidence for an unrelated rule.
Evidence address. mutations.SG10-MUT-01 identifies the record owned by this page. A reviewer should resolve that address, compare the frozen value with its source hash, and verify that the conclusion does not exceed the record’s declared role. This page is an inventory card: it preserves identity, assurance, provenance, scope, and dependency boundaries without reenacting the companion solution’s ordered derivation.
Reopen test. If delete-one-successor-document stops failing first at SG10-R02, invalidate the lint and inspect parser or rule drift. A changed value creates a new corpus manifest and invalidates every downstream claim edge that consumed the old record. The old card remains historical evidence and is never rewritten to resemble the new branch.
Dossier page 056 - Mutation SG10-MUT-02: alter-one-frozen-byte
This disposable mutation returns FAIL at first failure SG10-R01, exactly matching the committed expectation. Diagnostic: Changing one byte breaks the content-addressed corpus identity. The base corpus is not modified. Catching the mutation demonstrates sensitivity to a load-bearing false-positive route; it supplies no evidence for an unrelated rule.
Evidence address. mutations.SG10-MUT-02 identifies the record owned by this page. A reviewer should resolve that address, compare the frozen value with its source hash, and verify that the conclusion does not exceed the record’s declared role. This page is an inventory card: it preserves identity, assurance, provenance, scope, and dependency boundaries without reenacting the companion solution’s ordered derivation.
Reopen test. If alter-one-frozen-byte stops failing first at SG10-R01, invalidate the lint and inspect parser or rule drift. A changed value creates a new corpus manifest and invalidates every downstream claim edge that consumed the old record. The old card remains historical evidence and is never rewritten to resemble the new branch.
Dossier page 057 - Mutation SG10-MUT-03: duplicate-a-solution-role
This disposable mutation returns FAIL at first failure SG10-R02, exactly matching the committed expectation. Diagnostic: Adding a second solution makes canonical role ownership ambiguous. The base corpus is not modified. Catching the mutation demonstrates sensitivity to a load-bearing false-positive route; it supplies no evidence for an unrelated rule.
Evidence address. mutations.SG10-MUT-03 identifies the record owned by this page. A reviewer should resolve that address, compare the frozen value with its source hash, and verify that the conclusion does not exceed the record’s declared role. This page is an inventory card: it preserves identity, assurance, provenance, scope, and dependency boundaries without reenacting the companion solution’s ordered derivation.
Reopen test. If duplicate-a-solution-role stops failing first at SG10-R02, invalidate the lint and inspect parser or rule drift. A changed value creates a new corpus manifest and invalidates every downstream claim edge that consumed the old record. The old card remains historical evidence and is never rewritten to resemble the new branch.
Dossier page 058 - Mutation SG10-MUT-04: promote-physical-sg9-to-pass
This disposable mutation returns FAIL at first failure SG10-R05, exactly matching the committed expectation. Diagnostic: Replacing the OPEN physical terminal with PASS is a forbidden status promotion. The base corpus is not modified. Catching the mutation demonstrates sensitivity to a load-bearing false-positive route; it supplies no evidence for an unrelated rule.
Evidence address. mutations.SG10-MUT-04 identifies the record owned by this page. A reviewer should resolve that address, compare the frozen value with its source hash, and verify that the conclusion does not exceed the record’s declared role. This page is an inventory card: it preserves identity, assurance, provenance, scope, and dependency boundaries without reenacting the companion solution’s ordered derivation.
Reopen test. If promote-physical-sg9-to-pass stops failing first at SG10-R05, invalidate the lint and inspect parser or rule drift. A changed value creates a new corpus manifest and invalidates every downstream claim edge that consumed the old record. The old card remains historical evidence and is never rewritten to resemble the new branch.
Dossier page 059 - Mutation SG10-MUT-05: remove-sg6-conditional-qualifier
This disposable mutation returns FAIL at first failure SG10-R06, exactly matching the committed expectation. Diagnostic: Deleting PASS-CONDITIONAL widens a zero-mode branch into an unconditional claim. The base corpus is not modified. Catching the mutation demonstrates sensitivity to a load-bearing false-positive route; it supplies no evidence for an unrelated rule.
Evidence address. mutations.SG10-MUT-05 identifies the record owned by this page. A reviewer should resolve that address, compare the frozen value with its source hash, and verify that the conclusion does not exceed the record’s declared role. This page is an inventory card: it preserves identity, assurance, provenance, scope, and dependency boundaries without reenacting the companion solution’s ordered derivation.
Reopen test. If remove-sg6-conditional-qualifier stops failing first at SG10-R06, invalidate the lint and inspect parser or rule drift. A changed value creates a new corpus manifest and invalidates every downstream claim edge that consumed the old record. The old card remains historical evidence and is never rewritten to resemble the new branch.
Dossier page 060 - Mutation SG10-MUT-06: change-sg8-blocker-count
This disposable mutation returns FAIL at first failure SG10-R07, exactly matching the committed expectation. Diagnostic: Changing 39 to a different cumulative count breaks the status ledger. The base corpus is not modified. Catching the mutation demonstrates sensitivity to a load-bearing false-positive route; it supplies no evidence for an unrelated rule.
Evidence address. mutations.SG10-MUT-06 identifies the record owned by this page. A reviewer should resolve that address, compare the frozen value with its source hash, and verify that the conclusion does not exceed the record’s declared role. This page is an inventory card: it preserves identity, assurance, provenance, scope, and dependency boundaries without reenacting the companion solution’s ordered derivation.
Reopen test. If change-sg8-blocker-count stops failing first at SG10-R07, invalidate the lint and inspect parser or rule drift. A changed value creates a new corpus manifest and invalidates every downstream claim edge that consumed the old record. The old card remains historical evidence and is never rewritten to resemble the new branch.
Dossier page 061 - Mutation SG10-MUT-07: promote-reviewer-gauntlet
This disposable mutation returns FAIL at first failure SG10-R08, exactly matching the committed expectation. Diagnostic: Calling an internal replay reviewer-issued violates the assurance firewall. The base corpus is not modified. Catching the mutation demonstrates sensitivity to a load-bearing false-positive route; it supplies no evidence for an unrelated rule.
Evidence address. mutations.SG10-MUT-07 identifies the record owned by this page. A reviewer should resolve that address, compare the frozen value with its source hash, and verify that the conclusion does not exceed the record’s declared role. This page is an inventory card: it preserves identity, assurance, provenance, scope, and dependency boundaries without reenacting the companion solution’s ordered derivation.
Reopen test. If promote-reviewer-gauntlet stops failing first at SG10-R08, invalidate the lint and inspect parser or rule drift. A changed value creates a new corpus manifest and invalidates every downstream claim edge that consumed the old record. The old card remains historical evidence and is never rewritten to resemble the new branch.
Dossier page 062 - Mutation SG10-MUT-08: claim-nature-selection
This disposable mutation returns FAIL at first failure SG10-R09, exactly matching the committed expectation. Diagnostic: Adding a nature-selection conclusion exceeds every gate’s provenance ceiling. The base corpus is not modified. Catching the mutation demonstrates sensitivity to a load-bearing false-positive route; it supplies no evidence for an unrelated rule.
Evidence address. mutations.SG10-MUT-08 identifies the record owned by this page. A reviewer should resolve that address, compare the frozen value with its source hash, and verify that the conclusion does not exceed the record’s declared role. This page is an inventory card: it preserves identity, assurance, provenance, scope, and dependency boundaries without reenacting the companion solution’s ordered derivation.
Reopen test. If claim-nature-selection stops failing first at SG10-R09, invalidate the lint and inspect parser or rule drift. A changed value creates a new corpus manifest and invalidates every downstream claim edge that consumed the old record. The old card remains historical evidence and is never rewritten to resemble the new branch.
Dossier page 063 - Mutation SG10-MUT-09: include-sg10-in-self-scan
This disposable mutation returns FAIL at first failure SG10-R14, exactly matching the committed expectation. Diagnostic: A gate cannot certify the text that defines its own positive terminal. The base corpus is not modified. Catching the mutation demonstrates sensitivity to a load-bearing false-positive route; it supplies no evidence for an unrelated rule.
Evidence address. mutations.SG10-MUT-09 identifies the record owned by this page. A reviewer should resolve that address, compare the frozen value with its source hash, and verify that the conclusion does not exceed the record’s declared role. This page is an inventory card: it preserves identity, assurance, provenance, scope, and dependency boundaries without reenacting the companion solution’s ordered derivation.
Reopen test. If include-sg10-in-self-scan stops failing first at SG10-R14, invalidate the lint and inspect parser or rule drift. A changed value creates a new corpus manifest and invalidates every downstream claim edge that consumed the old record. The old card remains historical evidence and is never rewritten to resemble the new branch.
Dossier page 064 - Mutation SG10-MUT-10: claim-universal-all-physics-completeness
This disposable mutation returns FAIL at first failure SG10-R15, exactly matching the committed expectation. Diagnostic: A finite manifest cannot prove an unbounded universal scope claim. The base corpus is not modified. Catching the mutation demonstrates sensitivity to a load-bearing false-positive route; it supplies no evidence for an unrelated rule.
Evidence address. mutations.SG10-MUT-10 identifies the record owned by this page. A reviewer should resolve that address, compare the frozen value with its source hash, and verify that the conclusion does not exceed the record’s declared role. This page is an inventory card: it preserves identity, assurance, provenance, scope, and dependency boundaries without reenacting the companion solution’s ordered derivation.
Reopen test. If claim-universal-all-physics-completeness stops failing first at SG10-R15, invalidate the lint and inspect parser or rule drift. A changed value creates a new corpus manifest and invalidates every downstream claim edge that consumed the old record. The old card remains historical evidence and is never rewritten to resemble the new branch.
Dossier page 065 - Mutation SG10-MUT-11: erase-missing-authority-ledger
This disposable mutation returns FAIL at first failure SG10-R13, exactly matching the committed expectation. Diagnostic: Suppressing absent controlling artifacts hides an authority conflict. The base corpus is not modified. Catching the mutation demonstrates sensitivity to a load-bearing false-positive route; it supplies no evidence for an unrelated rule.
Evidence address. mutations.SG10-MUT-11 identifies the record owned by this page. A reviewer should resolve that address, compare the frozen value with its source hash, and verify that the conclusion does not exceed the record’s declared role. This page is an inventory card: it preserves identity, assurance, provenance, scope, and dependency boundaries without reenacting the companion solution’s ordered derivation.
Reopen test. If erase-missing-authority-ledger stops failing first at SG10-R13, invalidate the lint and inspect parser or rule drift. A changed value creates a new corpus manifest and invalidates every downstream claim edge that consumed the old record. The old card remains historical evidence and is never rewritten to resemble the new branch.
Dossier page 066 - Mutation SG10-MUT-12: substitute-a-superseded-legacy-dossier
This disposable mutation returns FAIL at first failure SG10-R12, exactly matching the committed expectation. Diagnostic: A historical headline cannot replace the latest successor terminal. The base corpus is not modified. Catching the mutation demonstrates sensitivity to a load-bearing false-positive route; it supplies no evidence for an unrelated rule.
Evidence address. mutations.SG10-MUT-12 identifies the record owned by this page. A reviewer should resolve that address, compare the frozen value with its source hash, and verify that the conclusion does not exceed the record’s declared role. This page is an inventory card: it preserves identity, assurance, provenance, scope, and dependency boundaries without reenacting the companion solution’s ordered derivation.
Reopen test. If substitute-a-superseded-legacy-dossier stops failing first at SG10-R12, invalidate the lint and inspect parser or rule drift. A changed value creates a new corpus manifest and invalidates every downstream claim edge that consumed the old record. The old card remains historical evidence and is never rewritten to resemble the new branch.
Dossier page 067 - Gauntlet session session-02a33f4b3d9d05c61579
The internally reconstructed candidate successor-corpus-incumbent has role INCUMBENT. Its committed verdict is PASS and its first failure is NONE. The witness, escrow, session order, and opened key agree. This record tests harness behavior only; it remains distinct from a reviewer-issued randomized challenge.
Evidence address. gauntlet.session-02a33f4b3d9d05c61579 identifies the record owned by this page. A reviewer should resolve that address, compare the frozen value with its source hash, and verify that the conclusion does not exceed the record’s declared role. This page is an inventory card: it preserves identity, assurance, provenance, scope, and dependency boundaries without reenacting the companion solution’s ordered derivation.
Reopen test. Change the manifest, order, commitment, witness, expected class, or assurance label for session session-02a33f4b3d9d05c61579. A changed value creates a new corpus manifest and invalidates every downstream claim edge that consumed the old record. The old card remains historical evidence and is never rewritten to resemble the new branch.
Dossier page 068 - Gauntlet session session-ee7131bf7a0b0c3eb14a
The internally reconstructed candidate honest-smaller-finite-corpus has role INNOCENT. Its committed verdict is PASS and its first failure is NONE. The witness, escrow, session order, and opened key agree. This record tests harness behavior only; it remains distinct from a reviewer-issued randomized challenge.
Evidence address. gauntlet.session-ee7131bf7a0b0c3eb14a identifies the record owned by this page. A reviewer should resolve that address, compare the frozen value with its source hash, and verify that the conclusion does not exceed the record’s declared role. This page is an inventory card: it preserves identity, assurance, provenance, scope, and dependency boundaries without reenacting the companion solution’s ordered derivation.
Reopen test. Change the manifest, order, commitment, witness, expected class, or assurance label for session session-ee7131bf7a0b0c3eb14a. A changed value creates a new corpus manifest and invalidates every downstream claim edge that consumed the old record. The old card remains historical evidence and is never rewritten to resemble the new branch.
Dossier page 069 - Gauntlet session session-f943d9a1a514846490a3
The internally reconstructed candidate legacy-headline-substitution has role DECOY. Its committed verdict is FAIL and its first failure is SG10-R12. The witness, escrow, session order, and opened key agree. This record tests harness behavior only; it remains distinct from a reviewer-issued randomized challenge.
Evidence address. gauntlet.session-f943d9a1a514846490a3 identifies the record owned by this page. A reviewer should resolve that address, compare the frozen value with its source hash, and verify that the conclusion does not exceed the record’s declared role. This page is an inventory card: it preserves identity, assurance, provenance, scope, and dependency boundaries without reenacting the companion solution’s ordered derivation.
Reopen test. Change the manifest, order, commitment, witness, expected class, or assurance label for session session-f943d9a1a514846490a3. A changed value creates a new corpus manifest and invalidates every downstream claim edge that consumed the old record. The old card remains historical evidence and is never rewritten to resemble the new branch.
Dossier page 070 - Gauntlet session session-04f343f5b14105c54666
The internally reconstructed candidate physical-pass-promotion has role DECOY. Its committed verdict is FAIL and its first failure is SG10-R05. The witness, escrow, session order, and opened key agree. This record tests harness behavior only; it remains distinct from a reviewer-issued randomized challenge.
Evidence address. gauntlet.session-04f343f5b14105c54666 identifies the record owned by this page. A reviewer should resolve that address, compare the frozen value with its source hash, and verify that the conclusion does not exceed the record’s declared role. This page is an inventory card: it preserves identity, assurance, provenance, scope, and dependency boundaries without reenacting the companion solution’s ordered derivation.
Reopen test. Change the manifest, order, commitment, witness, expected class, or assurance label for session session-04f343f5b14105c54666. A changed value creates a new corpus manifest and invalidates every downstream claim edge that consumed the old record. The old card remains historical evidence and is never rewritten to resemble the new branch.
Dossier page 071 - Gauntlet session session-e71da2ab9c1ceedc9b6d
The internally reconstructed candidate conditional-qualifier-erasure has role DECOY. Its committed verdict is FAIL and its first failure is SG10-R06. The witness, escrow, session order, and opened key agree. This record tests harness behavior only; it remains distinct from a reviewer-issued randomized challenge.
Evidence address. gauntlet.session-e71da2ab9c1ceedc9b6d identifies the record owned by this page. A reviewer should resolve that address, compare the frozen value with its source hash, and verify that the conclusion does not exceed the record’s declared role. This page is an inventory card: it preserves identity, assurance, provenance, scope, and dependency boundaries without reenacting the companion solution’s ordered derivation.
Reopen test. Change the manifest, order, commitment, witness, expected class, or assurance label for session session-e71da2ab9c1ceedc9b6d. A changed value creates a new corpus manifest and invalidates every downstream claim edge that consumed the old record. The old card remains historical evidence and is never rewritten to resemble the new branch.
Dossier page 072 - Gauntlet session session-f03ef1260ed0befe2cdc
The internally reconstructed candidate self-certifying-universal-scan has role DECOY. Its committed verdict is FAIL and its first failure is SG10-R14. The witness, escrow, session order, and opened key agree. This record tests harness behavior only; it remains distinct from a reviewer-issued randomized challenge.
Evidence address. gauntlet.session-f03ef1260ed0befe2cdc identifies the record owned by this page. A reviewer should resolve that address, compare the frozen value with its source hash, and verify that the conclusion does not exceed the record’s declared role. This page is an inventory card: it preserves identity, assurance, provenance, scope, and dependency boundaries without reenacting the companion solution’s ordered derivation.
Reopen test. Change the manifest, order, commitment, witness, expected class, or assurance label for session session-f03ef1260ed0befe2cdc. A changed value creates a new corpus manifest and invalidates every downstream claim edge that consumed the old record. The old card remains historical evidence and is never rewritten to resemble the new branch.
Dossier page 073 - Canonical residual SG10-L01
SG10-L01 remains OPEN: Canonical package master index and three-layer authority resolution. The supplied files do not include the current package master index that resolves the controlling registry, schemas, engine, checklist, and live evidence board. This debt blocks canonical project cutover but does not reverse the executable PASS on the finite branch-local corpus. The distinction is required by the structured-terminal rule.
Evidence address. authority_blockers.SG10-L01 identifies the record owned by this page. A reviewer should resolve that address, compare the frozen value with its source hash, and verify that the conclusion does not exceed the record’s declared role. This page is an inventory card: it preserves identity, assurance, provenance, scope, and dependency boundaries without reenacting the companion solution’s ordered derivation.
Reopen test. Supply the controlling artifact or independent evidence owned by SG10-L01 and rerun its affected dependency chain. A changed value creates a new corpus manifest and invalidates every downstream claim edge that consumed the old record. The old card remains historical evidence and is never rewritten to resemble the new branch.
Dossier page 074 - Canonical residual SG10-L02
SG10-L02 remains OPEN: Current 77-row registry, global row states, crosswalk, and status engine. The protocol names these artifacts as controlling authorities, but they are not present in the supplied corpus; a branch-local substitute cannot silently become canonical authority. This debt blocks canonical project cutover but does not reverse the executable PASS on the finite branch-local corpus. The distinction is required by the structured-terminal rule.
Evidence address. authority_blockers.SG10-L02 identifies the record owned by this page. A reviewer should resolve that address, compare the frozen value with its source hash, and verify that the conclusion does not exceed the record’s declared role. This page is an inventory card: it preserves identity, assurance, provenance, scope, and dependency boundaries without reenacting the companion solution’s ordered derivation.
Reopen test. Supply the controlling artifact or independent evidence owned by SG10-L02 and rerun its affected dependency chain. A changed value creates a new corpus manifest and invalidates every downstream claim edge that consumed the old record. The old card remains historical evidence and is never rewritten to resemble the new branch.
Dossier page 075 - Canonical residual SG10-L03
SG10-L03 remains OPEN: Controlling gates-test-checklist authority. The protocol makes this checklist mandatory for dossier-final status. It is referenced but not supplied, so this package uses a transparent local validation suite and preserves the canonical checklist debt. This debt blocks canonical project cutover but does not reverse the executable PASS on the finite branch-local corpus. The distinction is required by the structured-terminal rule.
Evidence address. authority_blockers.SG10-L03 identifies the record owned by this page. A reviewer should resolve that address, compare the frozen value with its source hash, and verify that the conclusion does not exceed the record’s declared role. This page is an inventory card: it preserves identity, assurance, provenance, scope, and dependency boundaries without reenacting the companion solution’s ordered derivation.
Reopen test. Supply the controlling artifact or independent evidence owned by SG10-L03 and rerun its affected dependency chain. A changed value creates a new corpus manifest and invalidates every downstream claim edge that consumed the old record. The old card remains historical evidence and is never rewritten to resemble the new branch.
Dossier page 076 - Canonical residual SG10-L04
SG10-L04 remains OPEN: Owner ratification, board regeneration, and public cutover. The successor corpus and its building-block deltas are ratification candidates. Owner adoption, deterministic canonical-board regeneration, and website replacement are outside this execution. This debt blocks canonical project cutover but does not reverse the executable PASS on the finite branch-local corpus. The distinction is required by the structured-terminal rule.
Evidence address. authority_blockers.SG10-L04 identifies the record owned by this page. A reviewer should resolve that address, compare the frozen value with its source hash, and verify that the conclusion does not exceed the record’s declared role. This page is an inventory card: it preserves identity, assurance, provenance, scope, and dependency boundaries without reenacting the companion solution’s ordered derivation.
Reopen test. Supply the controlling artifact or independent evidence owned by SG10-L04 and rerun its affected dependency chain. A changed value creates a new corpus manifest and invalidates every downstream claim edge that consumed the old record. The old card remains historical evidence and is never rewritten to resemble the new branch.
Dossier page 077 - Canonical residual SG10-L05
SG10-L05 remains OPEN: Independent reviewer-randomized SG10 gauntlet. The included sessions are internally reconstructed. Reviewer-issued random manifests, escrow, opened key, and independent verdicts remain NOT-EVALUATED. This debt blocks canonical project cutover but does not reverse the executable PASS on the finite branch-local corpus. The distinction is required by the structured-terminal rule.
Evidence address. authority_blockers.SG10-L05 identifies the record owned by this page. A reviewer should resolve that address, compare the frozen value with its source hash, and verify that the conclusion does not exceed the record’s declared role. This page is an inventory card: it preserves identity, assurance, provenance, scope, and dependency boundaries without reenacting the companion solution’s ordered derivation.
Reopen test. Supply the controlling artifact or independent evidence owned by SG10-L05 and rerun its affected dependency chain. A changed value creates a new corpus manifest and invalidates every downstream claim edge that consumed the old record. The old card remains historical evidence and is never rewritten to resemble the new branch.
Dossier page 078 - Canonical residual SG10-L06
SG10-L06 remains OPEN: Universal completeness beyond the declared finite corpus. A finite lint can prove consistency only for the files and claim routes named in its manifest. Exhaustiveness over every possible future document or every sector of physics is not claimed. This debt blocks canonical project cutover but does not reverse the executable PASS on the finite branch-local corpus. The distinction is required by the structured-terminal rule.
Evidence address. authority_blockers.SG10-L06 identifies the record owned by this page. A reviewer should resolve that address, compare the frozen value with its source hash, and verify that the conclusion does not exceed the record’s declared role. This page is an inventory card: it preserves identity, assurance, provenance, scope, and dependency boundaries without reenacting the companion solution’s ordered derivation.
Reopen test. Supply the controlling artifact or independent evidence owned by SG10-L06 and rerun its affected dependency chain. A changed value creates a new corpus manifest and invalidates every downstream claim edge that consumed the old record. The old card remains historical evidence and is never rewritten to resemble the new branch.
Dossier page 079 - Building-block result BB-SCT-1
The SG10 execution found a candidate-neutral registry gap and proposes BB-SCT-1, which types finite scope consistency and keeps local, physical, and canonical terminals separate. The change is necessary because the earlier blocks could allow a scope false positive even when the originating candidate is not at issue. It remains RATIFICATION-CANDIDATE and does not alter upstream evidence by itself.
Evidence address. building_blocks.BB-SCT-1 identifies the record owned by this page. A reviewer should resolve that address, compare the frozen value with its source hash, and verify that the conclusion does not exceed the record’s declared role. This page is an inventory card: it preserves identity, assurance, provenance, scope, and dependency boundaries without reenacting the companion solution’s ordered derivation.
Reopen test. Change the candidate-neutral requirement, owner, witness, mutation, dependency delta, or replay set declared for BB-SCT-1. A changed value creates a new corpus manifest and invalidates every downstream claim edge that consumed the old record. The old card remains historical evidence and is never rewritten to resemble the new branch.
Dossier page 080 - Building-block result BB-CBG-1
The SG10 execution found a candidate-neutral registry gap and proposes BB-CBG-1, which serializes claim routes and prohibits status-promoting reverse edges. The change is necessary because the earlier blocks could allow a scope false positive even when the originating candidate is not at issue. It remains RATIFICATION-CANDIDATE and does not alter upstream evidence by itself.
Evidence address. building_blocks.BB-CBG-1 identifies the record owned by this page. A reviewer should resolve that address, compare the frozen value with its source hash, and verify that the conclusion does not exceed the record’s declared role. This page is an inventory card: it preserves identity, assurance, provenance, scope, and dependency boundaries without reenacting the companion solution’s ordered derivation.
Reopen test. Change the candidate-neutral requirement, owner, witness, mutation, dependency delta, or replay set declared for BB-CBG-1. A changed value creates a new corpus manifest and invalidates every downstream claim edge that consumed the old record. The old card remains historical evidence and is never rewritten to resemble the new branch.
Dossier page 081 - Building-block result BB-SLA-1
The SG10 execution found a candidate-neutral registry gap and proposes BB-SLA-1, which sets W3/W4 assurance, evidence escrow, heading robustness, and the mutation shelf. The change is necessary because the earlier blocks could allow a scope false positive even when the originating candidate is not at issue. It remains RATIFICATION-CANDIDATE and does not alter upstream evidence by itself.
Evidence address. building_blocks.BB-SLA-1 identifies the record owned by this page. A reviewer should resolve that address, compare the frozen value with its source hash, and verify that the conclusion does not exceed the record’s declared role. This page is an inventory card: it preserves identity, assurance, provenance, scope, and dependency boundaries without reenacting the companion solution’s ordered derivation.
Reopen test. Change the candidate-neutral requirement, owner, witness, mutation, dependency delta, or replay set declared for BB-SLA-1. A changed value creates a new corpus manifest and invalidates every downstream claim edge that consumed the old record. The old card remains historical evidence and is never rewritten to resemble the new branch.
Dossier page 082 - Building-block result BB-CFR-1
The SG10 execution found a candidate-neutral registry gap and proposes BB-CFR-1, which freezes corpus bytes, role ownership, supersession, and authority conflicts. The change is necessary because the earlier blocks could allow a scope false positive even when the originating candidate is not at issue. It remains RATIFICATION-CANDIDATE and does not alter upstream evidence by itself.
Evidence address. building_blocks.BB-CFR-1 identifies the record owned by this page. A reviewer should resolve that address, compare the frozen value with its source hash, and verify that the conclusion does not exceed the record’s declared role. This page is an inventory card: it preserves identity, assurance, provenance, scope, and dependency boundaries without reenacting the companion solution’s ordered derivation.
Reopen test. Change the candidate-neutral requirement, owner, witness, mutation, dependency delta, or replay set declared for BB-CFR-1. A changed value creates a new corpus manifest and invalidates every downstream claim edge that consumed the old record. The old card remains historical evidence and is never rewritten to resemble the new branch.
Dossier page 083 - Building-block result BB-DDR-1 amendment
The SG10 execution found a candidate-neutral registry gap and proposes BB-DDR-1 amendment, which requires distinct document roles to converge on one normalized terminal. The change is necessary because the earlier blocks could allow a scope false positive even when the originating candidate is not at issue. It remains RATIFICATION-CANDIDATE and does not alter upstream evidence by itself.
Evidence address. building_blocks.BB-DDR-1 amendment identifies the record owned by this page. A reviewer should resolve that address, compare the frozen value with its source hash, and verify that the conclusion does not exceed the record’s declared role. This page is an inventory card: it preserves identity, assurance, provenance, scope, and dependency boundaries without reenacting the companion solution’s ordered derivation.
Reopen test. Change the candidate-neutral requirement, owner, witness, mutation, dependency delta, or replay set declared for BB-DDR-1 amendment. A changed value creates a new corpus manifest and invalidates every downstream claim edge that consumed the old record. The old card remains historical evidence and is never rewritten to resemble the new branch.
Dossier page 084 - Building-block result BB-MAP-1 amendment
The SG10 execution found a candidate-neutral registry gap and proposes BB-MAP-1 amendment, which preserves evidence state and provenance through measured and construction transport. The change is necessary because the earlier blocks could allow a scope false positive even when the originating candidate is not at issue. It remains RATIFICATION-CANDIDATE and does not alter upstream evidence by itself.
Evidence address. building_blocks.BB-MAP-1 amendment identifies the record owned by this page. A reviewer should resolve that address, compare the frozen value with its source hash, and verify that the conclusion does not exceed the record’s declared role. This page is an inventory card: it preserves identity, assurance, provenance, scope, and dependency boundaries without reenacting the companion solution’s ordered derivation.
Reopen test. Change the candidate-neutral requirement, owner, witness, mutation, dependency delta, or replay set declared for BB-MAP-1 amendment. A changed value creates a new corpus manifest and invalidates every downstream claim edge that consumed the old record. The old card remains historical evidence and is never rewritten to resemble the new branch.
Dossier page 085 - SG1 claim-graph route
The graph routes SG1:terminal to its dossier and solution through bounds-language, then into SG10:scope-input through consumed-as-given-status. No edge returns from the SG10 certificate to the upstream terminal. Therefore SG1’s OPEN physical endpoint survives the audit unchanged while its scoped sub-results remain visible.
Evidence address. claim_graph.SG1 identifies the record owned by this page. A reviewer should resolve that address, compare the frozen value with its source hash, and verify that the conclusion does not exceed the record’s declared role. This page is an inventory card: it preserves identity, assurance, provenance, scope, and dependency boundaries without reenacting the companion solution’s ordered derivation.
Reopen test. Add, delete, reverse, or retype an edge attached to SG1, or change its terminal node. A changed value creates a new corpus manifest and invalidates every downstream claim edge that consumed the old record. The old card remains historical evidence and is never rewritten to resemble the new branch.
Dossier page 086 - SG2 claim-graph route
The graph routes SG2:terminal to its dossier and solution through bounds-language, then into SG10:scope-input through consumed-as-given-status. No edge returns from the SG10 certificate to the upstream terminal. Therefore SG2’s OPEN physical endpoint survives the audit unchanged while its scoped sub-results remain visible.
Evidence address. claim_graph.SG2 identifies the record owned by this page. A reviewer should resolve that address, compare the frozen value with its source hash, and verify that the conclusion does not exceed the record’s declared role. This page is an inventory card: it preserves identity, assurance, provenance, scope, and dependency boundaries without reenacting the companion solution’s ordered derivation.
Reopen test. Add, delete, reverse, or retype an edge attached to SG2, or change its terminal node. A changed value creates a new corpus manifest and invalidates every downstream claim edge that consumed the old record. The old card remains historical evidence and is never rewritten to resemble the new branch.
Dossier page 087 - SG3 claim-graph route
The graph routes SG3:terminal to its dossier and solution through bounds-language, then into SG10:scope-input through consumed-as-given-status. No edge returns from the SG10 certificate to the upstream terminal. Therefore SG3’s OPEN physical endpoint survives the audit unchanged while its scoped sub-results remain visible.
Evidence address. claim_graph.SG3 identifies the record owned by this page. A reviewer should resolve that address, compare the frozen value with its source hash, and verify that the conclusion does not exceed the record’s declared role. This page is an inventory card: it preserves identity, assurance, provenance, scope, and dependency boundaries without reenacting the companion solution’s ordered derivation.
Reopen test. Add, delete, reverse, or retype an edge attached to SG3, or change its terminal node. A changed value creates a new corpus manifest and invalidates every downstream claim edge that consumed the old record. The old card remains historical evidence and is never rewritten to resemble the new branch.
Dossier page 088 - SG4 claim-graph route
The graph routes SG4:terminal to its dossier and solution through bounds-language, then into SG10:scope-input through consumed-as-given-status. No edge returns from the SG10 certificate to the upstream terminal. Therefore SG4’s OPEN physical endpoint survives the audit unchanged while its scoped sub-results remain visible.
Evidence address. claim_graph.SG4 identifies the record owned by this page. A reviewer should resolve that address, compare the frozen value with its source hash, and verify that the conclusion does not exceed the record’s declared role. This page is an inventory card: it preserves identity, assurance, provenance, scope, and dependency boundaries without reenacting the companion solution’s ordered derivation.
Reopen test. Add, delete, reverse, or retype an edge attached to SG4, or change its terminal node. A changed value creates a new corpus manifest and invalidates every downstream claim edge that consumed the old record. The old card remains historical evidence and is never rewritten to resemble the new branch.
Dossier page 089 - SG5 claim-graph route
The graph routes SG5:terminal to its dossier and solution through bounds-language, then into SG10:scope-input through consumed-as-given-status. No edge returns from the SG10 certificate to the upstream terminal. Therefore SG5’s OPEN physical endpoint survives the audit unchanged while its scoped sub-results remain visible.
Evidence address. claim_graph.SG5 identifies the record owned by this page. A reviewer should resolve that address, compare the frozen value with its source hash, and verify that the conclusion does not exceed the record’s declared role. This page is an inventory card: it preserves identity, assurance, provenance, scope, and dependency boundaries without reenacting the companion solution’s ordered derivation.
Reopen test. Add, delete, reverse, or retype an edge attached to SG5, or change its terminal node. A changed value creates a new corpus manifest and invalidates every downstream claim edge that consumed the old record. The old card remains historical evidence and is never rewritten to resemble the new branch.
Dossier page 090 - SG6 claim-graph route
The graph routes SG6:terminal to its dossier and solution through bounds-language, then into SG10:scope-input through consumed-as-given-status. No edge returns from the SG10 certificate to the upstream terminal. Therefore SG6’s OPEN physical endpoint survives the audit unchanged while its scoped sub-results remain visible.
Evidence address. claim_graph.SG6 identifies the record owned by this page. A reviewer should resolve that address, compare the frozen value with its source hash, and verify that the conclusion does not exceed the record’s declared role. This page is an inventory card: it preserves identity, assurance, provenance, scope, and dependency boundaries without reenacting the companion solution’s ordered derivation.
Reopen test. Add, delete, reverse, or retype an edge attached to SG6, or change its terminal node. A changed value creates a new corpus manifest and invalidates every downstream claim edge that consumed the old record. The old card remains historical evidence and is never rewritten to resemble the new branch.
Dossier page 091 - SG7 claim-graph route
The graph routes SG7:terminal to its dossier and solution through bounds-language, then into SG10:scope-input through consumed-as-given-status. No edge returns from the SG10 certificate to the upstream terminal. Therefore SG7’s OPEN physical endpoint survives the audit unchanged while its scoped sub-results remain visible.
Evidence address. claim_graph.SG7 identifies the record owned by this page. A reviewer should resolve that address, compare the frozen value with its source hash, and verify that the conclusion does not exceed the record’s declared role. This page is an inventory card: it preserves identity, assurance, provenance, scope, and dependency boundaries without reenacting the companion solution’s ordered derivation.
Reopen test. Add, delete, reverse, or retype an edge attached to SG7, or change its terminal node. A changed value creates a new corpus manifest and invalidates every downstream claim edge that consumed the old record. The old card remains historical evidence and is never rewritten to resemble the new branch.
Dossier page 092 - SG8 claim-graph route
The graph routes SG8:terminal to its dossier and solution through bounds-language, then into SG10:scope-input through consumed-as-given-status. No edge returns from the SG10 certificate to the upstream terminal. Therefore SG8’s OPEN physical endpoint survives the audit unchanged while its scoped sub-results remain visible.
Evidence address. claim_graph.SG8 identifies the record owned by this page. A reviewer should resolve that address, compare the frozen value with its source hash, and verify that the conclusion does not exceed the record’s declared role. This page is an inventory card: it preserves identity, assurance, provenance, scope, and dependency boundaries without reenacting the companion solution’s ordered derivation.
Reopen test. Add, delete, reverse, or retype an edge attached to SG8, or change its terminal node. A changed value creates a new corpus manifest and invalidates every downstream claim edge that consumed the old record. The old card remains historical evidence and is never rewritten to resemble the new branch.
Dossier page 093 - SG9 claim-graph route
The graph routes SG9:terminal to its dossier and solution through bounds-language, then into SG10:scope-input through consumed-as-given-status. No edge returns from the SG10 certificate to the upstream terminal. Therefore SG9’s OPEN physical endpoint survives the audit unchanged while its scoped sub-results remain visible.
Evidence address. claim_graph.SG9 identifies the record owned by this page. A reviewer should resolve that address, compare the frozen value with its source hash, and verify that the conclusion does not exceed the record’s declared role. This page is an inventory card: it preserves identity, assurance, provenance, scope, and dependency boundaries without reenacting the companion solution’s ordered derivation.
Reopen test. Add, delete, reverse, or retype an edge attached to SG9, or change its terminal node. A changed value creates a new corpus manifest and invalidates every downstream claim edge that consumed the old record. The old card remains historical evidence and is never rewritten to resemble the new branch.
Dossier page 094 - SG1 public wording ceiling
Lawful wording may quote the scoped leg and must immediately retain PHYSICAL SG1: OPEN - 8 PASS / 18 OPEN. It may not call SG1 physically closed, reviewer-certified, nature-selected, or unconditionally derived. For this gate the owned positive statement is: Eight inherited rows pass; eighteen construction contracts remain open. Its provenance ceiling remains RATIFICATION-CANDIDATE / construction contracts, not completed witnesses.
Evidence address. public_ceiling.SG1 identifies the record owned by this page. A reviewer should resolve that address, compare the frozen value with its source hash, and verify that the conclusion does not exceed the record’s declared role. This page is an inventory card: it preserves identity, assurance, provenance, scope, and dependency boundaries without reenacting the companion solution’s ordered derivation.
Reopen test. Publish a sentence stronger than SG1’s normalized terminal or omit its controlling qualifier. A changed value creates a new corpus manifest and invalidates every downstream claim edge that consumed the old record. The old card remains historical evidence and is never rewritten to resemble the new branch.
Dossier page 095 - SG2 public wording ceiling
Lawful wording may quote the scoped leg and must immediately retain CONDITIONAL CANDIDATE: PASS; PHYSICAL SG2: OPEN. It may not call SG2 physically closed, reviewer-certified, nature-selected, or unconditionally derived. For this gate the owned positive statement is: The declared candidate manifest passes its vector, rank, kernel, and no-extra checks. Its provenance ceiling remains CONSTRUCTION-ANCHOR.
Evidence address. public_ceiling.SG2 identifies the record owned by this page. A reviewer should resolve that address, compare the frozen value with its source hash, and verify that the conclusion does not exceed the record’s declared role. This page is an inventory card: it preserves identity, assurance, provenance, scope, and dependency boundaries without reenacting the companion solution’s ordered derivation.
Reopen test. Publish a sentence stronger than SG2’s normalized terminal or omit its controlling qualifier. A changed value creates a new corpus manifest and invalidates every downstream claim edge that consumed the old record. The old card remains historical evidence and is never rewritten to resemble the new branch.
Dossier page 096 - SG3 public wording ceiling
Lawful wording may quote the scoped leg and must immediately retain CONDITIONAL FAMILY CERTIFICATE: PASS; PHYSICAL SG3: OPEN. It may not call SG3 physically closed, reviewer-certified, nature-selected, or unconditionally derived. For this gate the owned positive statement is: The family multiplicity certificate passes given the admitted module and parity data. Its provenance ceiling remains CONSTRUCTION-ANCHOR.
Evidence address. public_ceiling.SG3 identifies the record owned by this page. A reviewer should resolve that address, compare the frozen value with its source hash, and verify that the conclusion does not exceed the record’s declared role. This page is an inventory card: it preserves identity, assurance, provenance, scope, and dependency boundaries without reenacting the companion solution’s ordered derivation.
Reopen test. Publish a sentence stronger than SG3’s normalized terminal or omit its controlling qualifier. A changed value creates a new corpus manifest and invalidates every downstream claim edge that consumed the old record. The old card remains historical evidence and is never rewritten to resemble the new branch.
Dossier page 097 - SG4 public wording ceiling
Lawful wording may quote the scoped leg and must immediately retain CONDITIONAL CHARGE CERTIFICATE: PASS; PHYSICAL SG4: OPEN. It may not call SG4 physically closed, reviewer-certified, nature-selected, or unconditionally derived. For this gate the owned positive statement is: The declared charge ray, anomaly sums, Witten count, and Z6 kernel pass conditionally. Its provenance ceiling remains CONSTRUCTION-ANCHOR.
Evidence address. public_ceiling.SG4 identifies the record owned by this page. A reviewer should resolve that address, compare the frozen value with its source hash, and verify that the conclusion does not exceed the record’s declared role. This page is an inventory card: it preserves identity, assurance, provenance, scope, and dependency boundaries without reenacting the companion solution’s ordered derivation.
Reopen test. Publish a sentence stronger than SG4’s normalized terminal or omit its controlling qualifier. A changed value creates a new corpus manifest and invalidates every downstream claim edge that consumed the old record. The old card remains historical evidence and is never rewritten to resemble the new branch.
Dossier page 098 - SG5 public wording ceiling
Lawful wording may quote the scoped leg and must immediately retain CONDITIONAL ELECTROWEAK CERTIFICATE: PASS; PHYSICAL SG5: OPEN. It may not call SG5 physically closed, reviewer-certified, nature-selected, or unconditionally derived. For this gate the owned positive statement is: The minimal doublet branch yields one massless photon and rho_tree=1. Its provenance ceiling remains CONSTRUCTION-ANCHOR with measured v_EW calibration.
Evidence address. public_ceiling.SG5 identifies the record owned by this page. A reviewer should resolve that address, compare the frozen value with its source hash, and verify that the conclusion does not exceed the record’s declared role. This page is an inventory card: it preserves identity, assurance, provenance, scope, and dependency boundaries without reenacting the companion solution’s ordered derivation.
Reopen test. Publish a sentence stronger than SG5’s normalized terminal or omit its controlling qualifier. A changed value creates a new corpus manifest and invalidates every downstream claim edge that consumed the old record. The old card remains historical evidence and is never rewritten to resemble the new branch.
Dossier page 099 - SG6 public wording ceiling
Lawful wording may quote the scoped leg and must immediately retain PURE BRANCH: CLOSED-NEGATIVE; STABILIZED ZERO-MODE BRANCH: PASS-CONDITIONAL; PHYSICAL SG6: OPEN. It may not call SG6 physically closed, reviewer-certified, nature-selected, or unconditionally derived. For this gate the owned positive statement is: The pure branch is a certified saddle; the explicit zero-mode repair is conditional. Its provenance ceiling remains CLOSED-NEGATIVE plus construction-anchored conditional repair.
Evidence address. public_ceiling.SG6 identifies the record owned by this page. A reviewer should resolve that address, compare the frozen value with its source hash, and verify that the conclusion does not exceed the record’s declared role. This page is an inventory card: it preserves identity, assurance, provenance, scope, and dependency boundaries without reenacting the companion solution’s ordered derivation.
Reopen test. Publish a sentence stronger than SG6’s normalized terminal or omit its controlling qualifier. A changed value creates a new corpus manifest and invalidates every downstream claim edge that consumed the old record. The old card remains historical evidence and is never rewritten to resemble the new branch.
Dossier page 100 - SG7 public wording ceiling
Lawful wording may quote the scoped leg and must immediately retain ONE-LOOP DIAGNOSTIC: PASS; THRESHOLD MAGNITUDE: OPEN; PHYSICAL SG7: OPEN. It may not call SG7 physically closed, reviewer-certified, nature-selected, or unconditionally derived. For this gate the owned positive statement is: The one-loop diagnostic transports measured couplings; threshold magnitude remains open. Its provenance ceiling remains DIAGNOSTIC / measured-central-value transport.
Evidence address. public_ceiling.SG7 identifies the record owned by this page. A reviewer should resolve that address, compare the frozen value with its source hash, and verify that the conclusion does not exceed the record’s declared role. This page is an inventory card: it preserves identity, assurance, provenance, scope, and dependency boundaries without reenacting the companion solution’s ordered derivation.
Reopen test. Publish a sentence stronger than SG7’s normalized terminal or omit its controlling qualifier. A changed value creates a new corpus manifest and invalidates every downstream claim edge that consumed the old record. The old card remains historical evidence and is never rewritten to resemble the new branch.
Dossier page 101 - SG8 public wording ceiling
Lawful wording may quote the scoped leg and must immediately retain LEGACY TEXTURE: CLOSED-NEGATIVE; MEASURED-SPURION EFT: PASS-CONDITIONAL; PHYSICAL SG8: OPEN. It may not call SG8 physically closed, reviewer-certified, nature-selected, or unconditionally derived. For this gate the owned positive statement is: The legacy texture is permanently negative; EFT reconstruction passes given measured spurions. Its provenance ceiling remains MEASURED-ANCHOR-RECONSTRUCTION.
Evidence address. public_ceiling.SG8 identifies the record owned by this page. A reviewer should resolve that address, compare the frozen value with its source hash, and verify that the conclusion does not exceed the record’s declared role. This page is an inventory card: it preserves identity, assurance, provenance, scope, and dependency boundaries without reenacting the companion solution’s ordered derivation.
Reopen test. Publish a sentence stronger than SG8’s normalized terminal or omit its controlling qualifier. A changed value creates a new corpus manifest and invalidates every downstream claim edge that consumed the old record. The old card remains historical evidence and is never rewritten to resemble the new branch.
Dossier page 102 - SG9 public wording ceiling
Lawful wording may quote the scoped leg and must immediately retain ACTOR-CONDITIONED LOCAL SAFETY: PASS-CONDITIONAL; PHYSICAL SG9: OPEN. It may not call SG9 physically closed, reviewer-certified, nature-selected, or unconditionally derived. For this gate the owned positive statement is: Baryon triality forbids local DeltaB=1,2 operators given the declared Actor. Its provenance ceiling remains CONSTRUCTION-ANCHOR.
Evidence address. public_ceiling.SG9 identifies the record owned by this page. A reviewer should resolve that address, compare the frozen value with its source hash, and verify that the conclusion does not exceed the record’s declared role. This page is an inventory card: it preserves identity, assurance, provenance, scope, and dependency boundaries without reenacting the companion solution’s ordered derivation.
Reopen test. Publish a sentence stronger than SG9’s normalized terminal or omit its controlling qualifier. A changed value creates a new corpus manifest and invalidates every downstream claim edge that consumed the old record. The old card remains historical evidence and is never rewritten to resemble the new branch.
Dossier page 103 - Control summary
All 17 internal controls pass. The control suite covers identity, roles, terminals, OPEN preservation, qualifiers, blocker counts, reviewer status, nature selection, anchors, retirement, authority, self-scan, finite completeness, graph acyclicity, and zero physics promotion.
Evidence address. validation.controls identifies the record owned by this page. A reviewer should resolve that address, compare the frozen value with its source hash, and verify that the conclusion does not exceed the record’s declared role. This page is an inventory card: it preserves identity, assurance, provenance, scope, and dependency boundaries without reenacting the companion solution’s ordered derivation.
Reopen test. Any control result changes from PASS. A changed value creates a new corpus manifest and invalidates every downstream claim edge that consumed the old record. The old card remains historical evidence and is never rewritten to resemble the new branch.
Dossier page 104 - Mutation summary
All 12 destructive mutations are caught at their committed first rule. The shelf includes structural, status, provenance, authority, self-reference, and completeness failures. A surviving mutation invalidates the certificate even if every unmutated case passes.
Evidence address. mutation.result identifies the record owned by this page. A reviewer should resolve that address, compare the frozen value with its source hash, and verify that the conclusion does not exceed the record’s declared role. This page is an inventory card: it preserves identity, assurance, provenance, scope, and dependency boundaries without reenacting the companion solution’s ordered derivation.
Reopen test. Any mutation escapes or fails at a different earlier rule. A changed value creates a new corpus manifest and invalidates every downstream claim edge that consumed the old record. The old card remains historical evidence and is never rewritten to resemble the new branch.
Dossier page 105 - Role-separation summary
The corpus contains one dossier and one worked solution for each SG1-SG9 gate. Shared scientific facts are allowed; interchangeability is not. The SG10 documents themselves will be checked separately for exact-paragraph and shingle overlap after generation.
Evidence address. manifest.role_pairs identifies the record owned by this page. A reviewer should resolve that address, compare the frozen value with its source hash, and verify that the conclusion does not exceed the record’s declared role. This page is an inventory card: it preserves identity, assurance, provenance, scope, and dependency boundaries without reenacting the companion solution’s ordered derivation.
Reopen test. A role is missing, duplicated, or materially copied. A changed value creates a new corpus manifest and invalidates every downstream claim edge that consumed the old record. The old card remains historical evidence and is never rewritten to resemble the new branch.
Dossier page 106 - Upstream physics preservation
Every physical SG1-SG9 terminal remains OPEN. SG6 retains its closed-negative pure branch and conditional stabilized branch; SG8 retains its negative texture and measured-spurion conditional reconstruction; SG9 retains Actor-conditioned local safety and 48 physical blockers.
Evidence address. output.gate_terminal_results identifies the record owned by this page. A reviewer should resolve that address, compare the frozen value with its source hash, and verify that the conclusion does not exceed the record’s declared role. This page is an inventory card: it preserves identity, assurance, provenance, scope, and dependency boundaries without reenacting the companion solution’s ordered derivation.
Reopen test. Any upstream physics terminal or branch qualifier changes. A changed value creates a new corpus manifest and invalidates every downstream claim edge that consumed the old record. The old card remains historical evidence and is never rewritten to resemble the new branch.
Dossier page 107 - Assurance ceiling
The executable lint reaches internal W3 assurance. Independent reviewer-randomized execution remains NOT-EVALUATED, and the legacy live-page certificate cannot be independently rerun without its exact input. These limits are part of the evidence, not editorial caveats.
Evidence address. status.reviewer_randomized_gauntlet identifies the record owned by this page. A reviewer should resolve that address, compare the frozen value with its source hash, and verify that the conclusion does not exceed the record’s declared role. This page is an inventory card: it preserves identity, assurance, provenance, scope, and dependency boundaries without reenacting the companion solution’s ordered derivation.
Reopen test. Independent manifests and verifier evidence arrive, or internal evidence is mislabeled external. A changed value creates a new corpus manifest and invalidates every downstream claim edge that consumed the old record. The old card remains historical evidence and is never rewritten to resemble the new branch.
Dossier page 108 - Canonical cutover boundary
Canonical project endpoint remains OPEN on 7 named local dependencies. The branch-local audit terminal is not weakened by this governance debt, and the governance debt is not erased by the audit PASS. Owner ratification is not simulated.
Evidence address. status.canonical_project_endpoint identifies the record owned by this page. A reviewer should resolve that address, compare the frozen value with its source hash, and verify that the conclusion does not exceed the record’s declared role. This page is an inventory card: it preserves identity, assurance, provenance, scope, and dependency boundaries without reenacting the companion solution’s ordered derivation.
Reopen test. Discharge or alter one canonical dependency and replay the authority reducer. A changed value creates a new corpus manifest and invalidates every downstream claim edge that consumed the old record. The old card remains historical evidence and is never rewritten to resemble the new branch.
Dossier page 109 - Public terminal grammar
The permitted headline is: finite SG1-SG9 successor-corpus scope lint PASS; CLOSED-SCOPED-LOCAL; zero physics status changes; canonical project cutover OPEN. The forbidden headline is simply SG10 fully closed without the manifest and authority qualifiers.
Evidence address. status.closure_strength identifies the record owned by this page. A reviewer should resolve that address, compare the frozen value with its source hash, and verify that the conclusion does not exceed the record’s declared role. This page is an inventory card: it preserves identity, assurance, provenance, scope, and dependency boundaries without reenacting the companion solution’s ordered derivation.
Reopen test. Compress the structured terminal, widen its universe, or omit canonical OPEN. A changed value creates a new corpus manifest and invalidates every downstream claim edge that consumed the old record. The old card remains historical evidence and is never rewritten to resemble the new branch.
Dossier page 110 - Final controlling record
SG10 is solved at the finite branch-local audit layer. The content-addressed successor corpus passes all 17 scope rules and all 12 destructive mutations; the claim graph is acyclic and zero physics statuses change. The lawful closure strength is CLOSED-SCOPED-LOCAL. Physical status for this audit gate is NOT-APPLICABLE. Canonical project endpoint remains OPEN on 7 named dependencies, reviewer-randomized execution is NOT-EVALUATED, and universal all-project completeness and nature selection are NOT-CLAIMED.
Evidence address. status.final identifies the record owned by this page. A reviewer should resolve that address, compare the frozen value with its source hash, and verify that the conclusion does not exceed the record’s declared role. This page is an inventory card: it preserves identity, assurance, provenance, scope, and dependency boundaries without reenacting the companion solution’s ordered derivation.
Reopen test. Any corpus, rule, authority, claim route, reviewer state, or public wording ceiling changes. A changed value creates a new corpus manifest and invalidates every downstream claim edge that consumed the old record. The old card remains historical evidence and is never rewritten to resemble the new branch.