SG-8 Complete Gate Dossier - Revision 1.0
Flavor Claims Shrink, Permanent Legacy Falsification, and Geometric-Origin Boundary
Controlling SG8 terminal
SG8 is rebuilt under the reviewer-mandated claims shrink. Its three layers are not interchangeable. The four-dimensional EFT is algebraically exact given measured spurions and therefore receives PASS-CONDITIONAL as a MEASURED-ANCHOR-RECONSTRUCTION. The frozen legacy one-angle CKM texture is CLOSED-NEGATIVE. The geometric origin of the observed flavor spurions is OPEN.
The legacy branch predicts |Vtd|=0.011447033863555408. The PDG 2024 unitary global-fit packet reports 0.00858 +0.00019 -0.00017. Under the gauntlet’s declared arithmetic-mean symmetrization, the marginal pull is 15.927965908641152 sigma. This reproduces the requested approximately 15.9 sigma kill. It is a marginal diagnostic, not a correlated global-fit p-value.
| Layer | Terminal |
|---|---|
| EFT given measured spurions | PASS-CONDITIONAL |
| Legacy one-angle texture | CLOSED-NEGATIVE |
| Geometric origin of flavor | OPEN |
| Physical SG8 gate | OPEN (39 blockers) |
| Internal gauntlet | PASS (6/6) |
| Reviewer-randomized gauntlet | NOT-EVALUATED |
| Nature-selection | NOT-CLAIMED |
SG-8 building-block downloads
The following package contains the latest cumulative SG-8 building blocks built from the SG-7 dependency, including the flavor-provenance firewall; immutable legacy falsification certificate; complete flavor-ruler tuple; measured-anchor, transport, and action-ownership amendments; scope reconciliation; validation records; and the integrity manifest. It is a ratification candidate; the cumulative SG-7 package and the 2026-07-18 source-of-truth archive retain their declared authority status until adoption.
| Artifact | Version | Download |
|---|---|---|
| Cumulative SG-8 building-block package | SG-7 → SG-8 · 2026-08-03 |
Download the cumulative SG-8 ZIP package |
Authority order
The user-supplied building blocks remain the governing source of truth. The order used here is: BB-SOT-2026-07-18-V1; the cumulative SG7 successor archive; the V4.1 execution protocol; the SG2-SG8 gauntlet specification; the package-local SG8 claims-cutover record; the immutable legacy-chain capture; the official PDG 2024 CKM measured packet; the complete ruler tuple; generated witnesses; and this successor reconciliation.
The SG7 cumulative archive is frozen at 47b863dba887a2fbb12d27ed1afd10a17fbe5017c34dd123ca854da1a596d207. The archived SG8 web dossier is frozen at 043fda91a4820f0a90e3425983e7c247b3214ec3a3b85d95e1c5d8d278de9693. It is evidence for the old equations and claim history, not controlling authority for its positive re-closure.
The measured packet is the official PDG 2024 CKM review, equation 12.27. Its local file hash is 2e4dc8575ff12482a2b40c4f7ced7e4983a8d2f0748ca58d4809b088f3faf942.
Claims cutover and archive firewall
The active gate object is SG8-REBUILT-CLAIMS-SHRUNK. The positive CLOSED-SCOPED / REALIZED-GIVEN-Xi_OGF headline is retired as controlling status because the Actor was introduced after the flavor residuals were known. Its mathematical definitions remain available as a construction branch and historical negative control.
This package performs a deterministic successor cutover for its own status engine, dossier, solution, blocks, and gauntlet. It does not claim global board ratification, public website replacement, or replay of every dependent gate. Those actions remain OPEN under SG8-L08.
The archive firewall is asymmetric: later evidence may start a new branch, but it cannot edit the frozen equations, inputs, or negative terminal of the legacy branch. A repair is not a reinterpretation of the old failure.
Exact challenge owned by SG8
The challenge asks whether the post-cutover machinery can distinguish five historical failure modes and preserve one innocent repair proposal. It must catch a wrong-ruler comparison, a disguised target-loaded resurrection, a spurion fit presented as a prediction, and a pull arithmetic error. It must accept a clean proposal only as admissible for evaluation. It must also pass the rebuilt incumbent without inflating its limited positive claims.
The hard generated artifact is the legacy falsification from scratch. No authored sentence is accepted in place of the standard CKM reconstruction, the measured-packet read, the uncertainty reduction, and the pull arithmetic.
The challenge does not ask a gauntlet to derive flavor geometry. That remains an explicitly named positive workstream and cannot be closed by excellent negative-control performance.
What full closure would require
Full positive physical closure would require a parent action, normalized chiral zero modes, Higgs or connection Actor, boundary and parity domains, overlap or finite-operator compilation, RG and threshold matching, complete spurion covariance, target-blind model selection, a prospective holdout, and independent review. It would also have to inherit the still-open cumulative SG1-SG7 physical dependencies.
The present package closes what can be closed now: the scope grammar, the legacy branch negative, the exact EFT identity given measured inputs, the ruler tuple, the provenance firewall, the repair-admissibility rule, and the internal deterministic adversarial test. It refuses to turn those achievements into a geometric-origin claim.
Legacy falsification: Frozen branch identity
The immutable branch is SG8-LEGACY-ONE-ANGLE-120-DEGREE. It is not the later Xi_OGF texture and not the v11 phase-transport construction. Branch identity is part of the falsifier.
This step is stored in SG8_FLAVOR_CERTIFICATE.json and recomputed by the standalone verifier. It owns one transformation in the chain, which prevents a later summary from hiding a chart change, rounding choice, or uncertainty convention inside the final sigma value.
The evidence classification remains narrow: it establishes a robust negative result for one immutable legacy texture. It neither validates a replacement texture nor supplies a geometric origin for measured flavor spurions.
Legacy falsification: Three frozen magnitude inputs
The chain consumes |Vus|=0.22436, |Vcb|=0.0408, and |Vub|=0.00378. The first is the declared anchor; the other two are frozen legacy model coordinates. No value is replaced after the PDG packet is loaded.
This step is stored in SG8_FLAVOR_CERTIFICATE.json and recomputed by the standalone verifier. It owns one transformation in the chain, which prevents a later summary from hiding a chart change, rounding choice, or uncertainty convention inside the final sigma value.
The evidence classification remains narrow: it establishes a robust negative result for one immutable legacy texture. It neither validates a replacement texture nor supplies a geometric origin for measured flavor spurions.
Legacy falsification: Phase coordinate
The archived magnitude matrix uses the standard CKM chart with delta=119.99999999999999 degrees. The older prose also discussed a Wolfenstein-aligned 60-degree record; the two are not interchanged because cos(delta) changes |Vtd|.
This step is stored in SG8_FLAVOR_CERTIFICATE.json and recomputed by the standalone verifier. It owns one transformation in the chain, which prevents a later summary from hiding a chart change, rounding choice, or uncertainty convention inside the final sigma value.
The evidence classification remains narrow: it establishes a robust negative result for one immutable legacy texture. It neither validates a replacement texture nor supplies a geometric origin for measured flavor spurions.
Legacy falsification: Third-angle reduction
Set s13=|Vub|=0.00378 and c13=sqrt(1-s13^2)=0.99999285577448. This restores the exact standard-chart relation rather than approximating c13 by one.
This step is stored in SG8_FLAVOR_CERTIFICATE.json and recomputed by the standalone verifier. It owns one transformation in the chain, which prevents a later summary from hiding a chart change, rounding choice, or uncertainty convention inside the final sigma value.
The evidence classification remains narrow: it establishes a robust negative result for one immutable legacy texture. It neither validates a replacement texture nor supplies a geometric origin for measured flavor spurions.
Legacy falsification: Cabibbo-angle reduction
Set s12=|Vus|/c13=0.22436160288988907 and c12=sqrt(1-s12^2)=0.9745059626029384. The division by c13 is needed to reproduce the archived unitary matrix at full precision.
This step is stored in SG8_FLAVOR_CERTIFICATE.json and recomputed by the standalone verifier. It owns one transformation in the chain, which prevents a later summary from hiding a chart change, rounding choice, or uncertainty convention inside the final sigma value.
The evidence classification remains narrow: it establishes a robust negative result for one immutable legacy texture. It neither validates a replacement texture nor supplies a geometric origin for measured flavor spurions.
Legacy falsification: 23-angle reduction
Set s23=|Vcb|/c13=0.04080029148648366 and c23=sqrt(1-s23^2)=0.999167321430509. This is the second exact standard-chart normalization.
This step is stored in SG8_FLAVOR_CERTIFICATE.json and recomputed by the standalone verifier. It owns one transformation in the chain, which prevents a later summary from hiding a chart change, rounding choice, or uncertainty convention inside the final sigma value.
The evidence classification remains narrow: it establishes a robust negative result for one immutable legacy texture. It neither validates a replacement texture nor supplies a geometric origin for measured flavor spurions.
Legacy falsification: Complex Vtd formula
In the standard chart, Vtd=s12*s23-c12*c23*s13*exp(i*delta). A phase convention may redistribute complex phases, but the absolute value of the resulting full unitary-matrix entry is invariant.
This step is stored in SG8_FLAVOR_CERTIFICATE.json and recomputed by the standalone verifier. It owns one transformation in the chain, which prevents a later summary from hiding a chart change, rounding choice, or uncertainty convention inside the final sigma value.
The evidence classification remains narrow: it establishes a robust negative result for one immutable legacy texture. It neither validates a replacement texture nor supplies a geometric origin for measured flavor spurions.
Legacy falsification: Real component
The regenerated real component is 0.010994301424665318. It contains the interference sign controlled by cos(120 degrees)=-1/2; using 60 degrees changes this component and defines a different branch.
This step is stored in SG8_FLAVOR_CERTIFICATE.json and recomputed by the standalone verifier. It owns one transformation in the chain, which prevents a later summary from hiding a chart change, rounding choice, or uncertainty convention inside the final sigma value.
The evidence classification remains narrow: it establishes a robust negative result for one immutable legacy texture. It neither validates a replacement texture nor supplies a geometric origin for measured flavor spurions.
Legacy falsification: Imaginary component
The regenerated imaginary component is -0.0031874630126460133. Its sign is convention dependent, while the magnitude and the branch’s complete matrix remain the comparison object.
This step is stored in SG8_FLAVOR_CERTIFICATE.json and recomputed by the standalone verifier. It owns one transformation in the chain, which prevents a later summary from hiding a chart change, rounding choice, or uncertainty convention inside the final sigma value.
The evidence classification remains narrow: it establishes a robust negative result for one immutable legacy texture. It neither validates a replacement texture nor supplies a geometric origin for measured flavor spurions.
Legacy falsification: Legacy magnitude
The regenerated magnitude is 0.011447033863555408. The archive prints 0.011447034; their absolute difference is 1.3644459173622892e-10, consistent with the archive’s nine-decimal publication precision.
This step is stored in SG8_FLAVOR_CERTIFICATE.json and recomputed by the standalone verifier. It owns one transformation in the chain, which prevents a later summary from hiding a chart change, rounding choice, or uncertainty convention inside the final sigma value.
The evidence classification remains narrow: it establishes a robust negative result for one immutable legacy texture. It neither validates a replacement texture nor supplies a geometric origin for measured flavor spurions.
Legacy falsification: PDG central record
Equation 12.27 of the official PDG 2024 CKM review reports the unitary-global-fit central value 0.00858 for |Vtd|. The model and record are both dimensionless low-energy CKM magnitudes.
This step is stored in SG8_FLAVOR_CERTIFICATE.json and recomputed by the standalone verifier. It owns one transformation in the chain, which prevents a later summary from hiding a chart change, rounding choice, or uncertainty convention inside the final sigma value.
The evidence classification remains narrow: it establishes a robust negative result for one immutable legacy texture. It neither validates a replacement texture nor supplies a geometric origin for measured flavor spurions.
Legacy falsification: Asymmetric uncertainty
The published asymmetric errors are minus 0.00017 and plus 0.00019. The comparison does not silently choose one; the reduction rule is versioned in the measured packet and ruler tuple.
This step is stored in SG8_FLAVOR_CERTIFICATE.json and recomputed by the standalone verifier. It owns one transformation in the chain, which prevents a later summary from hiding a chart change, rounding choice, or uncertainty convention inside the final sigma value.
The evidence classification remains narrow: it establishes a robust negative result for one immutable legacy texture. It neither validates a replacement texture nor supplies a geometric origin for measured flavor spurions.
Legacy falsification: Challenge symmetrization
The gauntlet uses the arithmetic mean (0.00017+0.00019)/2=0.00018. This convention is what makes the approximately 15.9-sigma target reproducible.
This step is stored in SG8_FLAVOR_CERTIFICATE.json and recomputed by the standalone verifier. It owns one transformation in the chain, which prevents a later summary from hiding a chart change, rounding choice, or uncertainty convention inside the final sigma value.
The evidence classification remains narrow: it establishes a robust negative result for one immutable legacy texture. It neither validates a replacement texture nor supplies a geometric origin for measured flavor spurions.
Legacy falsification: Residual
The signed residual is 0.0028670338635554075. It is positive: the legacy branch predicts a substantially larger |Vtd| than the measured global-fit record.
This step is stored in SG8_FLAVOR_CERTIFICATE.json and recomputed by the standalone verifier. It owns one transformation in the chain, which prevents a later summary from hiding a chart change, rounding choice, or uncertainty convention inside the final sigma value.
The evidence classification remains narrow: it establishes a robust negative result for one immutable legacy texture. It neither validates a replacement texture nor supplies a geometric origin for measured flavor spurions.
Legacy falsification: Symmetrized marginal pull
Dividing the residual by the declared symmetric sigma gives 15.927965908641152 sigma, rounded to 15.9 sigma. This is the challenge’s generated artifact and the controlling legacy kill.
This step is stored in SG8_FLAVOR_CERTIFICATE.json and recomputed by the standalone verifier. It owns one transformation in the chain, which prevents a later summary from hiding a chart change, rounding choice, or uncertainty convention inside the final sigma value.
The evidence classification remains narrow: it establishes a robust negative result for one immutable legacy texture. It neither validates a replacement texture nor supplies a geometric origin for measured flavor spurions.
Legacy falsification: Directional-error robustness
Because the residual is positive, the directional convention uses the plus error and gives 15.089651913449512 sigma. The branch remains overwhelmingly negative even when the asymmetric error is not symmetrized.
This step is stored in SG8_FLAVOR_CERTIFICATE.json and recomputed by the standalone verifier. It owns one transformation in the chain, which prevents a later summary from hiding a chart change, rounding choice, or uncertainty convention inside the final sigma value.
The evidence classification remains narrow: it establishes a robust negative result for one immutable legacy texture. It neither validates a replacement texture nor supplies a geometric origin for measured flavor spurions.
Legacy falsification: Historical-packet robustness
The older web table used 0.00857 +/- 0.00021 and gives 13.700161255025755 sigma. That older value explains the page’s 13.70-sigma text. Packet version changes the headline number, not the branch disposition.
This step is stored in SG8_FLAVOR_CERTIFICATE.json and recomputed by the standalone verifier. It owns one transformation in the chain, which prevents a later summary from hiding a chart change, rounding choice, or uncertainty convention inside the final sigma value.
The evidence classification remains narrow: it establishes a robust negative result for one immutable legacy texture. It neither validates a replacement texture nor supplies a geometric origin for measured flavor spurions.
Legacy falsification: Statistical boundary
Neither 15.93 nor 15.09 is presented as the significance of the complete correlated CKM global fit. They are one-dimensional marginal diagnostics applied to a frozen predicted entry, exactly as required by the reviewer challenge.
This step is stored in SG8_FLAVOR_CERTIFICATE.json and recomputed by the standalone verifier. It owns one transformation in the chain, which prevents a later summary from hiding a chart change, rounding choice, or uncertainty convention inside the final sigma value.
The evidence classification remains narrow: it establishes a robust negative result for one immutable legacy texture. It neither validates a replacement texture nor supplies a geometric origin for measured flavor spurions.
Legacy falsification: Permanent branch terminal
The legacy one-angle texture is CLOSED-NEGATIVE. Granularity, rephasing, synchronization, or a newly invented uncertainty band cannot dissolve a finite record contradiction. A lawful repair begins a new branch.
This step is stored in SG8_FLAVOR_CERTIFICATE.json and recomputed by the standalone verifier. It owns one transformation in the chain, which prevents a later summary from hiding a chart change, rounding choice, or uncertainty convention inside the final sigma value.
The evidence classification remains narrow: it establishes a robust negative result for one immutable legacy texture. It neither validates a replacement texture nor supplies a geometric origin for measured flavor spurions.
Legacy CKM matrix entry Vud
Complex value: +0.974499000512571+0.000000000000000i
Magnitude: 0.974499000512571
This entry is regenerated from the same three standard angles and the same 120 degree phase. The full matrix is the parent calculation; individual magnitudes are projections. This prevents using one phase for the Jarlskog invariant and a different phase for |Vtd|.
Vud is not independently fitted in the legacy branch except where the frozen chain explicitly identifies an input coordinate. Its numerical agreement or disagreement is judged separately. A good entry cannot average away the decisive Vtd failure, and the decisive failure does not license editing another entry after comparison.
Legacy CKM matrix entry Vus
Complex value: +0.224360000000000+0.000000000000000i
Magnitude: 0.224360000000000
This entry is regenerated from the same three standard angles and the same 120 degree phase. The full matrix is the parent calculation; individual magnitudes are projections. This prevents using one phase for the Jarlskog invariant and a different phase for |Vtd|.
Vus is not independently fitted in the legacy branch except where the frozen chain explicitly identifies an input coordinate. Its numerical agreement or disagreement is judged separately. A good entry cannot average away the decisive Vtd failure, and the decisive failure does not license editing another entry after comparison.
Legacy CKM matrix entry Vub
Complex value: -0.001890000000000-0.003273576026305i
Magnitude: 0.003780000000000
This entry is regenerated from the same three standard angles and the same 120 degree phase. The full matrix is the parent calculation; individual magnitudes are projections. This prevents using one phase for the Jarlskog invariant and a different phase for |Vtd|.
Vub is not independently fitted in the legacy branch except where the frozen chain explicitly identifies an input coordinate. Its numerical agreement or disagreement is judged separately. A good entry cannot average away the decisive Vtd failure, and the decisive failure does not license editing another entry after comparison.
Legacy CKM matrix entry Vcd
Complex value: -0.224099635150693-0.000130157799629i
Magnitude: 0.224099672948727
This entry is regenerated from the same three standard angles and the same 120 degree phase. The full matrix is the parent calculation; individual magnitudes are projections. This prevents using one phase for the Jarlskog invariant and a different phase for |Vtd|.
Vcd is not independently fitted in the legacy branch except where the frozen chain explicitly identifies an input coordinate. Its numerical agreement or disagreement is judged separately. A good entry cannot average away the decisive Vtd failure, and the decisive failure does not license editing another entry after comparison.
Legacy CKM matrix entry Vcs
Complex value: +0.973711813467563-0.000029966376476i
Magnitude: 0.973711813928676
This entry is regenerated from the same three standard angles and the same 120 degree phase. The full matrix is the parent calculation; individual magnitudes are projections. This prevents using one phase for the Jarlskog invariant and a different phase for |Vtd|.
Vcs is not independently fitted in the legacy branch except where the frozen chain explicitly identifies an input coordinate. Its numerical agreement or disagreement is judged separately. A good entry cannot average away the decisive Vtd failure, and the decisive failure does not license editing another entry after comparison.
Legacy CKM matrix entry Vcb
Complex value: +0.040800000000000+0.000000000000000i
Magnitude: 0.040800000000000
This entry is regenerated from the same three standard angles and the same 120 degree phase. The full matrix is the parent calculation; individual magnitudes are projections. This prevents using one phase for the Jarlskog invariant and a different phase for |Vtd|.
Vcb is not independently fitted in the legacy branch except where the frozen chain explicitly identifies an input coordinate. Its numerical agreement or disagreement is judged separately. A good entry cannot average away the decisive Vtd failure, and the decisive failure does not license editing another entry after comparison.
Legacy CKM matrix entry Vtd
Complex value: +0.010994301424665-0.003187463012646i
Magnitude: 0.011447033863555
This entry is regenerated from the same three standard angles and the same 120 degree phase. The full matrix is the parent calculation; individual magnitudes are projections. This prevents using one phase for the Jarlskog invariant and a different phase for |Vtd|.
Vtd is not independently fitted in the legacy branch except where the frozen chain explicitly identifies an input coordinate. Its numerical agreement or disagreement is judged separately. A good entry cannot average away the decisive Vtd failure, and the decisive failure does not license editing another entry after comparison.
Legacy CKM matrix entry Vts
Complex value: -0.039336436991931-0.000733853191374i
Magnitude: 0.039343281710180
This entry is regenerated from the same three standard angles and the same 120 degree phase. The full matrix is the parent calculation; individual magnitudes are projections. This prevents using one phase for the Jarlskog invariant and a different phase for |Vtd|.
Vts is not independently fitted in the legacy branch except where the frozen chain explicitly identifies an input coordinate. Its numerical agreement or disagreement is judged separately. A good entry cannot average away the decisive Vtd failure, and the decisive failure does not license editing another entry after comparison.
Legacy CKM matrix entry Vtb
Complex value: +0.999160183153833+0.000000000000000i
Magnitude: 0.999160183153833
This entry is regenerated from the same three standard angles and the same 120 degree phase. The full matrix is the parent calculation; individual magnitudes are projections. This prevents using one phase for the Jarlskog invariant and a different phase for |Vtd|.
Vtb is not independently fitted in the legacy branch except where the frozen chain explicitly identifies an input coordinate. Its numerical agreement or disagreement is judged separately. A good entry cannot average away the decisive Vtd failure, and the decisive failure does not license editing another entry after comparison.
Flavor ruler field: complete
Frozen value: True
This field is load-bearing in the same-ruler certificate. The wrong-ruler decoy deletes the renormalization statement and sets completeness false; it is rejected before its numerical agreement can be considered.
The tuple applies to the rephasing-invariant magnitude |Vtd|. It does not authorize identity transport of raw higher-dimensional amplitudes, Yukawa eigenvalues, or masses. A map that is identity on one low-energy observable may be nontrivial on another representation or scale.
The field is hashed with the other tuple entries and carried into each blind manifest. A later comparison must create a new version rather than silently changing this value.
Flavor ruler field: correlation_scope
Frozen value: MARGINAL-DIAGNOSTIC-ONLY-NOT-GLOBAL-PVALUE
This field is load-bearing in the same-ruler certificate. The wrong-ruler decoy deletes the renormalization statement and sets completeness false; it is rejected before its numerical agreement can be considered.
The tuple applies to the rephasing-invariant magnitude |Vtd|. It does not authorize identity transport of raw higher-dimensional amplitudes, Yukawa eigenvalues, or masses. A map that is identity on one low-energy observable may be nontrivial on another representation or scale.
The field is hashed with the other tuple entries and carried into each blind manifest. A later comparison must create a new version rather than silently changing this value.
Flavor ruler field: energy_domain
Frozen value: BELOW-mW
This field is load-bearing in the same-ruler certificate. The wrong-ruler decoy deletes the renormalization statement and sets completeness false; it is rejected before its numerical agreement can be considered.
The tuple applies to the rephasing-invariant magnitude |Vtd|. It does not authorize identity transport of raw higher-dimensional amplitudes, Yukawa eigenvalues, or masses. A map that is identity on one low-energy observable may be nontrivial on another representation or scale.
The field is hashed with the other tuple entries and carried into each blind manifest. A later comparison must create a new version rather than silently changing this value.
Flavor ruler field: normalization
Frozen value: DIMENSIONLESS
This field is load-bearing in the same-ruler certificate. The wrong-ruler decoy deletes the renormalization statement and sets completeness false; it is rejected before its numerical agreement can be considered.
The tuple applies to the rephasing-invariant magnitude |Vtd|. It does not authorize identity transport of raw higher-dimensional amplitudes, Yukawa eigenvalues, or masses. A map that is identity on one low-energy observable may be nontrivial on another representation or scale.
The field is hashed with the other tuple entries and carried into each blind manifest. A later comparison must create a new version rather than silently changing this value.
Flavor ruler field: observable
Frozen value: abs(Vtd)
This field is load-bearing in the same-ruler certificate. The wrong-ruler decoy deletes the renormalization statement and sets completeness false; it is rejected before its numerical agreement can be considered.
The tuple applies to the rephasing-invariant magnitude |Vtd|. It does not authorize identity transport of raw higher-dimensional amplitudes, Yukawa eigenvalues, or masses. A map that is identity on one low-energy observable may be nontrivial on another representation or scale.
The field is hashed with the other tuple entries and carried into each blind manifest. A later comparison must create a new version rather than silently changing this value.
Flavor ruler field: observer_map
Frozen value: IDENTITY-ON-THE-LOW-ENERGY-REPHASING-INVARIANT-MAGNITUDE
This field is load-bearing in the same-ruler certificate. The wrong-ruler decoy deletes the renormalization statement and sets completeness false; it is rejected before its numerical agreement can be considered.
The tuple applies to the rephasing-invariant magnitude |Vtd|. It does not authorize identity transport of raw higher-dimensional amplitudes, Yukawa eigenvalues, or masses. A map that is identity on one low-energy observable may be nontrivial on another representation or scale.
The field is hashed with the other tuple entries and carried into each blind manifest. A later comparison must create a new version rather than silently changing this value.
Flavor ruler field: phase_convention
Frozen value: IRRELEVANT-FOR-MAGNITUDE-AFTER-STANDARD-MATRIX-CONSTRUCTION
This field is load-bearing in the same-ruler certificate. The wrong-ruler decoy deletes the renormalization statement and sets completeness false; it is rejected before its numerical agreement can be considered.
The tuple applies to the rephasing-invariant magnitude |Vtd|. It does not authorize identity transport of raw higher-dimensional amplitudes, Yukawa eigenvalues, or masses. A map that is identity on one low-energy observable may be nontrivial on another representation or scale.
The field is hashed with the other tuple entries and carried into each blind manifest. A later comparison must create a new version rather than silently changing this value.
Flavor ruler field: projection
Frozen value: FULL-UNITARY-MATRIX-TO-ABS-Vtd
This field is load-bearing in the same-ruler certificate. The wrong-ruler decoy deletes the renormalization statement and sets completeness false; it is rejected before its numerical agreement can be considered.
The tuple applies to the rephasing-invariant magnitude |Vtd|. It does not authorize identity transport of raw higher-dimensional amplitudes, Yukawa eigenvalues, or masses. A map that is identity on one low-energy observable may be nontrivial on another representation or scale.
The field is hashed with the other tuple entries and carried into each blind manifest. A later comparison must create a new version rather than silently changing this value.
Flavor ruler field: renormalization_statement
Frozen value: CKM elements are treated as constant below mu=mW; operator running is not reassigned to the CKM magnitude.
This field is load-bearing in the same-ruler certificate. The wrong-ruler decoy deletes the renormalization statement and sets completeness false; it is rejected before its numerical agreement can be considered.
The tuple applies to the rephasing-invariant magnitude |Vtd|. It does not authorize identity transport of raw higher-dimensional amplitudes, Yukawa eigenvalues, or masses. A map that is identity on one low-energy observable may be nontrivial on another representation or scale.
The field is hashed with the other tuple entries and carried into each blind manifest. A later comparison must create a new version rather than silently changing this value.
Flavor ruler field: representation
Frozen value: REPHASING-INVARIANT-CKM-MAGNITUDE
This field is load-bearing in the same-ruler certificate. The wrong-ruler decoy deletes the renormalization statement and sets completeness false; it is rejected before its numerical agreement can be considered.
The tuple applies to the rephasing-invariant magnitude |Vtd|. It does not authorize identity transport of raw higher-dimensional amplitudes, Yukawa eigenvalues, or masses. A map that is identity on one low-energy observable may be nontrivial on another representation or scale.
The field is hashed with the other tuple entries and carried into each blind manifest. A later comparison must create a new version rather than silently changing this value.
Flavor ruler field: schema
Frozen value: SG8-FLAVOR-RULER-TUPLE-1.0
This field is load-bearing in the same-ruler certificate. The wrong-ruler decoy deletes the renormalization statement and sets completeness false; it is rejected before its numerical agreement can be considered.
The tuple applies to the rephasing-invariant magnitude |Vtd|. It does not authorize identity transport of raw higher-dimensional amplitudes, Yukawa eigenvalues, or masses. A map that is identity on one low-energy observable may be nontrivial on another representation or scale.
The field is hashed with the other tuple entries and carried into each blind manifest. A later comparison must create a new version rather than silently changing this value.
Flavor ruler field: scheme
Frozen value: LOW-ENERGY-CKM-MAGNITUDE-GLOBAL-FIT
This field is load-bearing in the same-ruler certificate. The wrong-ruler decoy deletes the renormalization statement and sets completeness false; it is rejected before its numerical agreement can be considered.
The tuple applies to the rephasing-invariant magnitude |Vtd|. It does not authorize identity transport of raw higher-dimensional amplitudes, Yukawa eigenvalues, or masses. A map that is identity on one low-energy observable may be nontrivial on another representation or scale.
The field is hashed with the other tuple entries and carried into each blind manifest. A later comparison must create a new version rather than silently changing this value.
Flavor ruler field: source_chart
Frozen value: STANDARD-THREE-ANGLE-ONE-PHASE-CKM-CHART
This field is load-bearing in the same-ruler certificate. The wrong-ruler decoy deletes the renormalization statement and sets completeness false; it is rejected before its numerical agreement can be considered.
The tuple applies to the rephasing-invariant magnitude |Vtd|. It does not authorize identity transport of raw higher-dimensional amplitudes, Yukawa eigenvalues, or masses. A map that is identity on one low-energy observable may be nontrivial on another representation or scale.
The field is hashed with the other tuple entries and carried into each blind manifest. A later comparison must create a new version rather than silently changing this value.
Flavor ruler field: target_chart
Frozen value: PDG-2024-THREE-GENERATION-UNITARY-GLOBAL-FIT
This field is load-bearing in the same-ruler certificate. The wrong-ruler decoy deletes the renormalization statement and sets completeness false; it is rejected before its numerical agreement can be considered.
The tuple applies to the rephasing-invariant magnitude |Vtd|. It does not authorize identity transport of raw higher-dimensional amplitudes, Yukawa eigenvalues, or masses. A map that is identity on one low-energy observable may be nontrivial on another representation or scale.
The field is hashed with the other tuple entries and carried into each blind manifest. A later comparison must create a new version rather than silently changing this value.
Flavor ruler field: uncertainty_rule
Frozen value: SYMMETRIZED-MARGINAL-ONE-SIGMA-FOR-GAUNTLET-PULL
This field is load-bearing in the same-ruler certificate. The wrong-ruler decoy deletes the renormalization statement and sets completeness false; it is rejected before its numerical agreement can be considered.
The tuple applies to the rephasing-invariant magnitude |Vtd|. It does not authorize identity transport of raw higher-dimensional amplitudes, Yukawa eigenvalues, or masses. A map that is identity on one low-energy observable may be nontrivial on another representation or scale.
The field is hashed with the other tuple entries and carried into each blind manifest. A later comparison must create a new version rather than silently changing this value.
Measured-spurion EFT: EFT flavor operators
At renormalizable scope the Standard Model flavor sector is specified by Yukawa matrices Yu, Yd, and Ye; neutrino mass adds a Weinberg operator or Dirac/Majorana matrices. The EFT map from those coefficients to mass and mixing observables is lawful algebra.
This distinction is the core of the rebuilt gate. It allows the EFT to be mathematically exact and phenomenologically useful while keeping the unsolved question—why these flavor matrices?—visible. The status engine therefore records a positive conditional subleg and an OPEN geometric-origin leg at the same time.
Any dossier phrase that collapses those layers is rejected by BB-FPF-1 and the SG8 gauntlet, even if all numerical tables are accurate.
Measured-spurion EFT: Electroweak conversion
After the neutral Higgs component acquires the measured/calibrated VEV, charged-fermion mass matrices are proportional to the supplied Yukawa matrices. This step does not explain the matrix entries.
This distinction is the core of the rebuilt gate. It allows the EFT to be mathematically exact and phenomenologically useful while keeping the unsolved question—why these flavor matrices?—visible. The status engine therefore records a positive conditional subleg and an OPEN geometric-origin leg at the same time.
Any dossier phrase that collapses those layers is rejected by BB-FPF-1 and the SG8 gauntlet, even if all numerical tables are accurate.
Measured-spurion EFT: Singular-value decomposition
Bi-unitary diagonalization produces nonnegative masses and left/right basis rotations. Given the input matrices and conventions, the calculation is exact up to declared perturbative matching and numerical precision.
This distinction is the core of the rebuilt gate. It allows the EFT to be mathematically exact and phenomenologically useful while keeping the unsolved question—why these flavor matrices?—visible. The status engine therefore records a positive conditional subleg and an OPEN geometric-origin leg at the same time.
Any dossier phrase that collapses those layers is rejected by BB-FPF-1 and the SG8 gauntlet, even if all numerical tables are accurate.
Measured-spurion EFT: CKM construction
The quark mixing matrix is V_CKM=UuL^dagger UdL. If Yu and Yd are measured spurions, this relation reconstructs measured mixing by design and is not a geometry prediction.
This distinction is the core of the rebuilt gate. It allows the EFT to be mathematically exact and phenomenologically useful while keeping the unsolved question—why these flavor matrices?—visible. The status engine therefore records a positive conditional subleg and an OPEN geometric-origin leg at the same time.
Any dossier phrase that collapses those layers is rejected by BB-FPF-1 and the SG8 gauntlet, even if all numerical tables are accurate.
Measured-spurion EFT: PMNS construction
The lepton mixing matrix is U_PMNS=UeL^dagger UnuL, with additional Majorana-phase and rank choices when applicable. Measured neutrino inputs remain anchors unless derived from a parent operator.
This distinction is the core of the rebuilt gate. It allows the EFT to be mathematically exact and phenomenologically useful while keeping the unsolved question—why these flavor matrices?—visible. The status engine therefore records a positive conditional subleg and an OPEN geometric-origin leg at the same time.
Any dossier phrase that collapses those layers is rejected by BB-FPF-1 and the SG8 gauntlet, even if all numerical tables are accurate.
Measured-spurion EFT: Basis covariance
Flavor basis rotations change matrix entries while preserving masses and rephasing invariants. A prediction certificate must freeze a basis-independent observable or a fully declared chart.
This distinction is the core of the rebuilt gate. It allows the EFT to be mathematically exact and phenomenologically useful while keeping the unsolved question—why these flavor matrices?—visible. The status engine therefore records a positive conditional subleg and an OPEN geometric-origin leg at the same time.
Any dossier phrase that collapses those layers is rejected by BB-FPF-1 and the SG8 gauntlet, even if all numerical tables are accurate.
Measured-spurion EFT: Measured-anchor classification
The positive EFT subleg is PASS-CONDITIONAL / MEASURED-ANCHOR-RECONSTRUCTION. Exactness refers to the map conditional on the spurions, not to their origin.
This distinction is the core of the rebuilt gate. It allows the EFT to be mathematically exact and phenomenologically useful while keeping the unsolved question—why these flavor matrices?—visible. The status engine therefore records a positive conditional subleg and an OPEN geometric-origin leg at the same time.
Any dossier phrase that collapses those layers is rejected by BB-FPF-1 and the SG8 gauntlet, even if all numerical tables are accurate.
Measured-spurion EFT: Prediction firewall
No output already consumed to determine a spurion can be returned as independent prediction rent. Holdouts, exclusions, tolerance, and freeze hash must be fixed before decisive records are loaded.
This distinction is the core of the rebuilt gate. It allows the EFT to be mathematically exact and phenomenologically useful while keeping the unsolved question—why these flavor matrices?—visible. The status engine therefore records a positive conditional subleg and an OPEN geometric-origin leg at the same time.
Any dossier phrase that collapses those layers is rejected by BB-FPF-1 and the SG8 gauntlet, even if all numerical tables are accurate.
Measured-spurion EFT: Covariance boundary
Rounded element-by-element CKM magnitudes are correlated and do not constitute a complete likelihood. The legacy kill is a declared marginal diagnostic; positive global claims require the full covariance or likelihood interface.
This distinction is the core of the rebuilt gate. It allows the EFT to be mathematically exact and phenomenologically useful while keeping the unsolved question—why these flavor matrices?—visible. The status engine therefore records a positive conditional subleg and an OPEN geometric-origin leg at the same time.
Any dossier phrase that collapses those layers is rejected by BB-FPF-1 and the SG8 gauntlet, even if all numerical tables are accurate.
Measured-spurion EFT: RG and matching
Yukawa matrices and CKM coordinates run above the weak scale, while low-energy operators carry their own running. A full positive theory must transport the complete coupled object through thresholds and schemes.
This distinction is the core of the rebuilt gate. It allows the EFT to be mathematically exact and phenomenologically useful while keeping the unsolved question—why these flavor matrices?—visible. The status engine therefore records a positive conditional subleg and an OPEN geometric-origin leg at the same time.
Any dossier phrase that collapses those layers is rejected by BB-FPF-1 and the SG8 gauntlet, even if all numerical tables are accurate.
Measured-spurion EFT: Parent-action ownership
A geometric origin requires normalized internal zero modes, boundary domains, a Higgs or connection Actor, an owned local interaction, and an evaluated overlap or operator compiler. A finite matrix alone is a construction.
This distinction is the core of the rebuilt gate. It allows the EFT to be mathematically exact and phenomenologically useful while keeping the unsolved question—why these flavor matrices?—visible. The status engine therefore records a positive conditional subleg and an OPEN geometric-origin leg at the same time.
Any dossier phrase that collapses those layers is rejected by BB-FPF-1 and the SG8 gauntlet, even if all numerical tables are accurate.
Measured-spurion EFT: Xi_OGF disposition
The Oriented Graded Frobenius Flag Actor was developed after residuals were known. It remains admissible as a construction branch, but its provenance fixes the maximum status and prevents retroactive prediction claims.
This distinction is the core of the rebuilt gate. It allows the EFT to be mathematically exact and phenomenologically useful while keeping the unsolved question—why these flavor matrices?—visible. The status engine therefore records a positive conditional subleg and an OPEN geometric-origin leg at the same time.
Any dossier phrase that collapses those layers is rejected by BB-FPF-1 and the SG8 gauntlet, even if all numerical tables are accurate.
Measured-spurion EFT: Neutrino scale
When low-energy masses depend only on N_nu^2/M_R, the absolute Majorana scale is rank deficient without another independent input or derived eigenvalue. A convenient high scale is not a derivation.
This distinction is the core of the rebuilt gate. It allows the EFT to be mathematically exact and phenomenologically useful while keeping the unsolved question—why these flavor matrices?—visible. The status engine therefore records a positive conditional subleg and an OPEN geometric-origin leg at the same time.
Any dossier phrase that collapses those layers is rejected by BB-FPF-1 and the SG8 gauntlet, even if all numerical tables are accurate.
Measured-spurion EFT: Future positive branch
A future branch may pass if it is frozen target-blind, derives the spurions from the parent theory, transports them on one ruler, and survives prospective independent data. It starts with no inherited rescue credit.
This distinction is the core of the rebuilt gate. It allows the EFT to be mathematically exact and phenomenologically useful while keeping the unsolved question—why these flavor matrices?—visible. The status engine therefore records a positive conditional subleg and an OPEN geometric-origin leg at the same time.
Any dossier phrase that collapses those layers is rejected by BB-FPF-1 and the SG8 gauntlet, even if all numerical tables are accurate.
Gauntlet rule SG8-GNT-01: Claims-shrink precondition
Evaluate only the rebuilt gate. The active object must separate exact EFT reconstruction given measured spurions, the immutable negative legacy texture, and the OPEN geometric-origin claim.
Rules execute in fixed order. A witness records the first hard failure and the derived flavor certificate. The answer key is canonically serialized and its SHA-256 commitment is written before labels are opened. Every manifest and witness is independently hashed.
The deterministic package is an internal reconstruction of the reviewer specification. Passing it demonstrates executable discrimination against the specified historical defects; it does not substitute for the reviewer-issued randomization, whose terminal remains NOT-EVALUATED.
Gauntlet rule SG8-GNT-02: Same-ruler tuple
Reject any comparison missing the observable, source and target charts, energy domain, scheme, phase convention, projection, normalization, observer map, uncertainty rule, or correlation scope.
Rules execute in fixed order. A witness records the first hard failure and the derived flavor certificate. The answer key is canonically serialized and its SHA-256 commitment is written before labels are opened. Every manifest and witness is independently hashed.
The deterministic package is an internal reconstruction of the reviewer specification. Passing it demonstrates executable discrimination against the specified historical defects; it does not substitute for the reviewer-issued randomization, whose terminal remains NOT-EVALUATED.
Gauntlet rule SG8-GNT-03: Target-loaded repair
A repair introduced after the relevant residual was known cannot inherit prediction status. Renaming Xi_OGF or its ingredients does not erase the target-known ledger.
Rules execute in fixed order. A witness records the first hard failure and the derived flavor certificate. The answer key is canonically serialized and its SHA-256 commitment is written before labels are opened. Every manifest and witness is independently hashed.
The deterministic package is an internal reconstruction of the reviewer specification. Passing it demonstrates executable discrimination against the specified historical defects; it does not substitute for the reviewer-issued randomization, whose terminal remains NOT-EVALUATED.
Gauntlet rule SG8-GNT-04: Measured-spurion firewall
An EFT reconstructed from measured Yukawa or spurion matrices is exact given those inputs, but it is a MEASURED-ANCHOR reconstruction rather than a geometric prediction.
Rules execute in fixed order. A witness records the first hard failure and the derived flavor certificate. The answer key is canonically serialized and its SHA-256 commitment is written before labels are opened. Every manifest and witness is independently hashed.
The deterministic package is an internal reconstruction of the reviewer specification. Passing it demonstrates executable discrimination against the specified historical defects; it does not substitute for the reviewer-issued randomization, whose terminal remains NOT-EVALUATED.
Gauntlet rule SG8-GNT-05: Executable pull
Regenerate the legacy standard-CKM chain, the measured packet, the declared error reduction, and the pull. A planted arithmetic error must be the first hard failure.
Rules execute in fixed order. A witness records the first hard failure and the derived flavor certificate. The answer key is canonically serialized and its SHA-256 commitment is written before labels are opened. Every manifest and witness is independently hashed.
The deterministic package is an internal reconstruction of the reviewer specification. Passing it demonstrates executable discrimination against the specified historical defects; it does not substitute for the reviewer-issued randomization, whose terminal remains NOT-EVALUATED.
Gauntlet rule SG8-GNT-06: Admissibility is not correctness
A provenance-clean, pre-target repair proposal passes only as ADMISSIBLE-FOR-EVALUATION. The gauntlet does not certify that proposal physically correct.
Rules execute in fixed order. A witness records the first hard failure and the derived flavor certificate. The answer key is canonically serialized and its SHA-256 commitment is written before labels are opened. Every manifest and witness is independently hashed.
The deterministic package is an internal reconstruction of the reviewer specification. Passing it demonstrates executable discrimination against the specified historical defects; it does not substitute for the reviewer-issued randomization, whose terminal remains NOT-EVALUATED.
Gauntlet rule SG8-GNT-07: Terminal and ownership grammar
The lawful rebuilt terminal is EFT PASS-CONDITIONAL, legacy texture CLOSED-NEGATIVE, geometric origin OPEN, physical SG8 OPEN, nature selection NOT-CLAIMED, and reviewer gauntlet NOT-EVALUATED.
Rules execute in fixed order. A witness records the first hard failure and the derived flavor certificate. The answer key is canonically serialized and its SHA-256 commitment is written before labels are opened. Every manifest and witness is independently hashed.
The deterministic package is an internal reconstruction of the reviewer specification. Passing it demonstrates executable discrimination against the specified historical defects; it does not substitute for the reviewer-issued randomization, whose terminal remains NOT-EVALUATED.
Blind SG8 session 1: sealed manifest
Candidate ID: session-352740633dd0ae92a96f
Opened role: INNOCENT-ADMISSIBLE-REPAIR
Opened label: provenance-clean-repair-proposal
Expected verdict / first failure: PASS / None
Manifest SHA-256: 651a27cfe4b676a5a605bb004ced6675b55f431e459b189755358a7a797e25db
The session was generated with role UNDISCLOSED. Its active object is the claims-shrunk gate, and the solver receives the full legacy chain, measured packet, ruler, spurion classification, repair provenance, and scoped claims. The key commitment prevents labels or expected failures from being changed after the witness is produced.
Blind SG8 session 1: computed witness
Actual verdict / first failure: PASS / None
Witness SHA-256: abadcc2f7debafb2a5d0848e76bd45cf94e960cb57565b08003226ba2d4d334e
Computed |Vtd|: 0.011447033863555408
Computed challenge pull: 15.927965908641152
Ruler complete: True
Spurion classification: MEASURED-ANCHOR-RECONSTRUCTION
The actual verdict and first failure match the sealed key. PASS means the manifest is honestly classified and satisfies the rebuilt SG8 scope. For the innocent repair, PASS means admissible for evaluation, not physically correct. For the incumbent, PASS means the claims-shrunk object is accurately reported; it does not mean geometric flavor origin is solved.
Blind SG8 session 2: sealed manifest
Candidate ID: session-45eb64377cd5650c2914
Opened role: DECOY
Opened label: raw-high-scale-to-low-energy-wrong-ruler
Expected verdict / first failure: FAIL / SG8-GNT-02
Manifest SHA-256: 5ac1b75cf53589fd8ab515e1a3d1658cecac6be55d5df86132e0002987bd4f3d
The session was generated with role UNDISCLOSED. Its active object is the claims-shrunk gate, and the solver receives the full legacy chain, measured packet, ruler, spurion classification, repair provenance, and scoped claims. The key commitment prevents labels or expected failures from being changed after the witness is produced.
Blind SG8 session 2: computed witness
Actual verdict / first failure: FAIL / SG8-GNT-02
Witness SHA-256: f1b4bc5dee1c3a0636572ade0241aaf7c81552c43ac22db92265a2255cca0d5c
Computed |Vtd|: 0.011447033863555408
Computed challenge pull: 15.927965908641152
Ruler complete: False
Spurion classification: MEASURED-ANCHOR-RECONSTRUCTION
The actual verdict and first failure match the sealed key. PASS means the manifest is honestly classified and satisfies the rebuilt SG8 scope. For the innocent repair, PASS means admissible for evaluation, not physically correct. For the incumbent, PASS means the claims-shrunk object is accurately reported; it does not mean geometric flavor origin is solved.
Blind SG8 session 3: sealed manifest
Candidate ID: session-64fe8f175906b458b4a0
Opened role: DECOY
Opened label: planted-pull-arithmetic-error
Expected verdict / first failure: FAIL / SG8-GNT-05
Manifest SHA-256: 710198643035119871f9ccdd51ef4941829703822f09e5781725b58d48afb06d
The session was generated with role UNDISCLOSED. Its active object is the claims-shrunk gate, and the solver receives the full legacy chain, measured packet, ruler, spurion classification, repair provenance, and scoped claims. The key commitment prevents labels or expected failures from being changed after the witness is produced.
Blind SG8 session 3: computed witness
Actual verdict / first failure: FAIL / SG8-GNT-05
Witness SHA-256: cf6a986ebe96c984fb92c1b4ac76a1698a4a0577b33bc1c44af3a06fa7bfbd4c
Computed |Vtd|: 0.011447033863555408
Computed challenge pull: 15.927965908641152
Ruler complete: True
Spurion classification: MEASURED-ANCHOR-RECONSTRUCTION
The actual verdict and first failure match the sealed key. PASS means the manifest is honestly classified and satisfies the rebuilt SG8 scope. For the innocent repair, PASS means admissible for evaluation, not physically correct. For the incumbent, PASS means the claims-shrunk object is accurately reported; it does not mean geometric flavor origin is solved.
Blind SG8 session 4: sealed manifest
Candidate ID: session-75711b5194c382cab850
Opened role: DECOY
Opened label: measured-spurion-fit-presented-as-prediction
Expected verdict / first failure: FAIL / SG8-GNT-04
Manifest SHA-256: 639150a75a900b991031e5a52c608174595ddb8d183bd8d20c84f03833fec935
The session was generated with role UNDISCLOSED. Its active object is the claims-shrunk gate, and the solver receives the full legacy chain, measured packet, ruler, spurion classification, repair provenance, and scoped claims. The key commitment prevents labels or expected failures from being changed after the witness is produced.
Blind SG8 session 4: computed witness
Actual verdict / first failure: FAIL / SG8-GNT-04
Witness SHA-256: 157a7b2fb88fa4b6d5f8e1243054e413f321e2cd59a3d92082475cdc49e03430
Computed |Vtd|: 0.011447033863555408
Computed challenge pull: 15.927965908641152
Ruler complete: True
Spurion classification: GEOMETRIC-PREDICTION
The actual verdict and first failure match the sealed key. PASS means the manifest is honestly classified and satisfies the rebuilt SG8 scope. For the innocent repair, PASS means admissible for evaluation, not physically correct. For the incumbent, PASS means the claims-shrunk object is accurately reported; it does not mean geometric flavor origin is solved.
Blind SG8 session 5: sealed manifest
Candidate ID: session-b1fe26ce4b3c9e2a2d57
Opened role: INCUMBENT
Opened label: rebuilt-claims-shrunk-incumbent
Expected verdict / first failure: PASS / None
Manifest SHA-256: 27bc9538a13be89c65281b680690acf7dfb8bc5a9c7bf25af6c54b5b9fccb74f
The session was generated with role UNDISCLOSED. Its active object is the claims-shrunk gate, and the solver receives the full legacy chain, measured packet, ruler, spurion classification, repair provenance, and scoped claims. The key commitment prevents labels or expected failures from being changed after the witness is produced.
Blind SG8 session 5: computed witness
Actual verdict / first failure: PASS / None
Witness SHA-256: 2032b74b33db6eeb833169bd7542b380322aef00f04bc055e6498b8f539ffdbc
Computed |Vtd|: 0.011447033863555408
Computed challenge pull: 15.927965908641152
Ruler complete: True
Spurion classification: MEASURED-ANCHOR-RECONSTRUCTION
The actual verdict and first failure match the sealed key. PASS means the manifest is honestly classified and satisfies the rebuilt SG8 scope. For the innocent repair, PASS means admissible for evaluation, not physically correct. For the incumbent, PASS means the claims-shrunk object is accurately reported; it does not mean geometric flavor origin is solved.
Blind SG8 session 6: sealed manifest
Candidate ID: session-f806af2767399368a79f
Opened role: DECOY
Opened label: disguised-Xi-OGF-resurrection
Expected verdict / first failure: FAIL / SG8-GNT-03
Manifest SHA-256: 0cf979b761a7584a54ada94f5ff3b56258e3b96ab9054a4e292aa6e51cdec27c
The session was generated with role UNDISCLOSED. Its active object is the claims-shrunk gate, and the solver receives the full legacy chain, measured packet, ruler, spurion classification, repair provenance, and scoped claims. The key commitment prevents labels or expected failures from being changed after the witness is produced.
Blind SG8 session 6: computed witness
Actual verdict / first failure: FAIL / SG8-GNT-03
Witness SHA-256: 543e72a06b012977ec08f93cb8bacdb605315e24e1453bc342dd10e7c27f9f34
Computed |Vtd|: 0.011447033863555408
Computed challenge pull: 15.927965908641152
Ruler complete: True
Spurion classification: MEASURED-ANCHOR-RECONSTRUCTION
The actual verdict and first failure match the sealed key. PASS means the manifest is honestly classified and satisfies the rebuilt SG8 scope. For the innocent repair, PASS means admissible for evaluation, not physically correct. For the incumbent, PASS means the claims-shrunk object is accurately reported; it does not mean geometric flavor origin is solved.
SG7-to-SG8 cumulative dependency reducer
The reducer receives 31 inherited readiness rows and 8 SG8-local rows. It returns scoped gate object PASS and physical SG8 OPEN with 39 blockers.
The negative legacy result is terminal for its branch and is not blocked by a future positive calculation. Conversely, a permanent negative branch does not derive the observed positive flavor structure. The reducer keeps those facts orthogonal.
Physical readiness row 1: SG5-SG6-D01
Status: OPEN
Requirement: Physical gauge-group realization
The cumulative gauge carriers and global quotient remain physically OPEN.
This row contributes one blocker to positive physical SG8 closure. It cannot be discharged by repeating the 15.9-sigma negative witness or by inserting measured spurions into the EFT. Promotion requires an immutable artifact tied to this identifier and a cumulative replay that leaves the other rows visible.
Physical readiness row 2: SG5-SG6-D02
Status: OPEN
Requirement: Faithful global gauge group
The conditional Z6 kernel has not been promoted to the physical compactification quotient.
This row contributes one blocker to positive physical SG8 closure. It cannot be discharged by repeating the 15.9-sigma negative witness or by inserting measured spurions into the EFT. Promotion requires an immutable artifact tied to this identifier and a cumulative replay that leaves the other rows visible.
Physical readiness row 3: SG5-SG6-D03
Status: OPEN
Requirement: Chiral representation inventory
The one-copy matter kernels and their complete physical domain remain OPEN.
This row contributes one blocker to positive physical SG8 closure. It cannot be discharged by repeating the 15.9-sigma negative witness or by inserting measured spurions into the EFT. Promotion requires an immutable artifact tied to this identifier and a cumulative replay that leaves the other rows visible.
Physical readiness row 4: SG5-SG6-D04
Status: OPEN
Requirement: Three-family module and mirror completeness
Family multiplicity passes conditionally while action ownership remains OPEN.
This row contributes one blocker to positive physical SG8 closure. It cannot be discharged by repeating the 15.9-sigma negative witness or by inserting measured spurions into the EFT. Promotion requires an immutable artifact tied to this identifier and a cumulative replay that leaves the other rows visible.
Physical readiness row 5: SG5-SG6-D05
Status: OPEN
Requirement: Fermion and anomaly completion
The regulated determinant, heavy tower, inflow, and complete chiral domain remain OPEN.
This row contributes one blocker to positive physical SG8 closure. It cannot be discharged by repeating the 15.9-sigma negative witness or by inserting measured spurions into the EFT. Promotion requires an immutable artifact tied to this identifier and a cumulative replay that leaves the other rows visible.
Physical readiness row 6: SG5-SG6-D06
Status: OPEN
Requirement: SG1 geometric realization lineage
The selected internal shape is a constrained construction; unrestricted physical realization and full operator closure remain OPEN.
This row contributes one blocker to positive physical SG8 closure. It cannot be discharged by repeating the 15.9-sigma negative witness or by inserting measured spurions into the EFT. Promotion requires an immutable artifact tied to this identifier and a cumulative replay that leaves the other rows visible.
Physical readiness row 7: SG5-SG6-D07
Status: OPEN
Requirement: Gauge action, fixing, and ghosts
The BRST-complete higher-dimensional gauge reduction has not reached PASS.
This row contributes one blocker to positive physical SG8 closure. It cannot be discharged by repeating the 15.9-sigma negative witness or by inserting measured spurions into the EFT. Promotion requires an immutable artifact tied to this identifier and a cumulative replay that leaves the other rows visible.
Physical readiness row 8: SG5-SG6-D08
Status: OPEN
Requirement: Family Actor action ownership
The multiplicity Actor lacks a closed primitive action parent.
This row contributes one blocker to positive physical SG8 closure. It cannot be discharged by repeating the 15.9-sigma negative witness or by inserting measured spurions into the EFT. Promotion requires an immutable artifact tied to this identifier and a cumulative replay that leaves the other rows visible.
Physical readiness row 9: SG5-SG6-D09
Status: OPEN
Requirement: No-excess light-state census
A complete spectrum excluding extra light vectors, scalars, and fermions is not supplied.
This row contributes one blocker to positive physical SG8 closure. It cannot be discharged by repeating the 15.9-sigma negative witness or by inserting measured spurions into the EFT. Promotion requires an immutable artifact tied to this identifier and a cumulative replay that leaves the other rows visible.
Physical readiness row 10: SG5-SG6-D10
Status: OPEN
Requirement: Interaction graph derived from the action
The charge-defining interaction graph remains a declared construction input.
This row contributes one blocker to positive physical SG8 closure. It cannot be discharged by repeating the 15.9-sigma negative witness or by inserting measured spurions into the EFT. Promotion requires an immutable artifact tied to this identifier and a cumulative replay that leaves the other rows visible.
Physical readiness row 11: SG5-SG6-D11
Status: OPEN
Requirement: U(1) normalization and coupling transport
Primitive charge normalization does not close the physical kinetic normalization.
This row contributes one blocker to positive physical SG8 closure. It cannot be discharged by repeating the 15.9-sigma negative witness or by inserting measured spurions into the EFT. Promotion requires an immutable artifact tied to this identifier and a cumulative replay that leaves the other rows visible.
Physical readiness row 12: SG5-SG6-D12
Status: OPEN
Requirement: Regulated anomaly descent
Zero-mode cancellation does not close the higher-dimensional anomaly theorem.
This row contributes one blocker to positive physical SG8 closure. It cannot be discharged by repeating the 15.9-sigma negative witness or by inserting measured spurions into the EFT. Promotion requires an immutable artifact tied to this identifier and a cumulative replay that leaves the other rows visible.
Physical readiness row 13: SG5-SG6-D13
Status: OPEN
Requirement: Physical Z6 quotient
The character kernel is exact but the global quotient realization is OPEN.
This row contributes one blocker to positive physical SG8 closure. It cannot be discharged by repeating the 15.9-sigma negative witness or by inserting measured spurions into the EFT. Promotion requires an immutable artifact tied to this identifier and a cumulative replay that leaves the other rows visible.
Physical readiness row 14: SG5-SG6-D14
Status: OPEN
Requirement: Independent SG4 reviewer execution
SG4 reviewer-randomized execution remains NOT-EVALUATED.
This row contributes one blocker to positive physical SG8 closure. It cannot be discharged by repeating the 15.9-sigma negative witness or by inserting measured spurions into the EFT. Promotion requires an immutable artifact tied to this identifier and a cumulative replay that leaves the other rows visible.
Physical readiness row 15: SG5-SG6-D15
Status: OPEN
Requirement: Higgs doublet action parent
The minimal Higgs doublet is a gate input rather than a completed geometric zero-mode theorem.
This row contributes one blocker to positive physical SG8 closure. It cannot be discharged by repeating the 15.9-sigma negative witness or by inserting measured spurions into the EFT. Promotion requires an immutable artifact tied to this identifier and a cumulative replay that leaves the other rows visible.
Physical readiness row 16: SG5-SG6-D16
Status: OPEN
Requirement: Neutral VEV selection and scalar stability
The scalar potential, competing extrema, and full scalar Hessian remain OPEN and feed directly into SG6.
This row contributes one blocker to positive physical SG8 closure. It cannot be discharged by repeating the 15.9-sigma negative witness or by inserting measured spurions into the EFT. Promotion requires an immutable artifact tied to this identifier and a cumulative replay that leaves the other rows visible.
Physical readiness row 17: SG5-SG6-D17
Status: OPEN
Requirement: Electroweak kinetic normalization
The zero-mode mass matrix is exact given its inputs, while coupling transport remains OPEN.
This row contributes one blocker to positive physical SG8 closure. It cannot be discharged by repeating the 15.9-sigma negative witness or by inserting measured spurions into the EFT. Promotion requires an immutable artifact tied to this identifier and a cumulative replay that leaves the other rows visible.
Physical readiness row 18: SG5-SG6-D18
Status: OPEN
Requirement: Loops and rho0 confrontation
Radiative corrections, matching, and experimental rho0 confrontation are NOT-CLAIMED.
This row contributes one blocker to positive physical SG8 closure. It cannot be discharged by repeating the 15.9-sigma negative witness or by inserting measured spurions into the EFT. Promotion requires an immutable artifact tied to this identifier and a cumulative replay that leaves the other rows visible.
Physical readiness row 19: SG5-SG6-D19
Status: OPEN
Requirement: Independent SG5 reviewer execution
SG5 reviewer-randomized execution remains NOT-EVALUATED.
This row contributes one blocker to positive physical SG8 closure. It cannot be discharged by repeating the 15.9-sigma negative witness or by inserting measured spurions into the EFT. Promotion requires an immutable artifact tied to this identifier and a cumulative replay that leaves the other rows visible.
Physical readiness row 20: SG6-L01
Status: OPEN
Requirement: Full moduli Hessian derived from one action
The declared four-mode Hessians are exact challenge certificates; the complete physical Hessian, gauge quotient, domains, and action derivation are not supplied.
This row contributes one blocker to positive physical SG8 closure. It cannot be discharged by repeating the 15.9-sigma negative witness or by inserting measured spurions into the EFT. Promotion requires an immutable artifact tied to this identifier and a cumulative replay that leaves the other rows visible.
Physical readiness row 21: SG6-L02
Status: OPEN
Requirement: Stabilization potential primitive ownership
The positive potential is an explicit construction Actor with tunable kappa; its independent origin and no-borrowing proof are OPEN.
This row contributes one blocker to positive physical SG8 closure. It cannot be discharged by repeating the 15.9-sigma negative witness or by inserting measured spurions into the EFT. Promotion requires an immutable artifact tied to this identifier and a cumulative replay that leaves the other rows visible.
Physical readiness row 22: SG6-L03
Status: OPEN
Requirement: Matching-parameter and prediction separation
Target radii and modulus masses are matching parameters, not derived predictions; a physical parameter-fixing mechanism remains OPEN.
This row contributes one blocker to positive physical SG8 closure. It cannot be discharged by repeating the 15.9-sigma negative witness or by inserting measured spurions into the EFT. Promotion requires an immutable artifact tied to this identifier and a cumulative replay that leaves the other rows visible.
Physical readiness row 23: SG6-L04
Status: OPEN
Requirement: KK, nonlinear, tunneling, and global stability
A positive declared zero-mode Hessian does not prove the full 13D/KK/global problem, which remains CLOSED-NEGATIVE AS WRITTEN.
This row contributes one blocker to positive physical SG8 closure. It cannot be discharged by repeating the 15.9-sigma negative witness or by inserting measured spurions into the EFT. Promotion requires an immutable artifact tied to this identifier and a cumulative replay that leaves the other rows visible.
Physical readiness row 24: SG6-L05
Status: OPEN
Requirement: Constrained-branch propagation and phase-space proof
The current SG1 branch removes the shape-doublet by exact constraints rather than stabilizing it; complete constraint propagation and physical-measure closure remain OPEN.
This row contributes one blocker to positive physical SG8 closure. It cannot be discharged by repeating the 15.9-sigma negative witness or by inserting measured spurions into the EFT. Promotion requires an immutable artifact tied to this identifier and a cumulative replay that leaves the other rows visible.
Physical readiness row 25: SG6-L06
Status: OPEN
Requirement: Independent SG6 reviewer-randomized gauntlet
The internal eight-session reconstruction passes; no independent randomized manifests and opened key were supplied.
This row contributes one blocker to positive physical SG8 closure. It cannot be discharged by repeating the 15.9-sigma negative witness or by inserting measured spurions into the EFT. Promotion requires an immutable artifact tied to this identifier and a cumulative replay that leaves the other rows visible.
Physical readiness row 26: SG7-L01
Status: OPEN
Requirement: Measured-anchor scheme, covariance, and uncertainty transport
The frozen PDG central values support deterministic one-loop replay; a complete correlated uncertainty packet and scheme-conversion proof are not supplied.
This row contributes one blocker to positive physical SG8 closure. It cannot be discharged by repeating the 15.9-sigma negative witness or by inserting measured spurions into the EFT. Promotion requires an immutable artifact tied to this identifier and a cumulative replay that leaves the other rows visible.
Physical readiness row 27: SG7-L02
Status: OPEN
Requirement: Higher-loop running and matching
The gate derives and transports one-loop coefficients exactly; two-loop and higher running, decoupling, and renormalization-scheme matching remain OPEN.
This row contributes one blocker to positive physical SG8 closure. It cannot be discharged by repeating the 15.9-sigma negative witness or by inserting measured spurions into the EFT. Promotion requires an immutable artifact tied to this identifier and a cumulative replay that leaves the other rows visible.
Physical readiness row 28: SG7-L03
Status: OPEN
Requirement: Heavy spectrum and threshold magnitude physics meter
Threshold magnitude is intentionally outside the gauntlet. It requires the complete heavy and KK spectrum, matching scales, and uncertainty ledger in the physics-meter workstream.
This row contributes one blocker to positive physical SG8 closure. It cannot be discharged by repeating the 15.9-sigma negative witness or by inserting measured spurions into the EFT. Promotion requires an immutable artifact tied to this identifier and a cumulative replay that leaves the other rows visible.
Physical readiness row 29: SG7-L04
Status: OPEN
Requirement: Geometric gauge-kinetic normalization and coupling transport
The measured couplings are calibrated anchors. Derivation of their normalization and transport from the higher-dimensional action remains OPEN.
This row contributes one blocker to positive physical SG8 closure. It cannot be discharged by repeating the 15.9-sigma negative witness or by inserting measured spurions into the EFT. Promotion requires an immutable artifact tied to this identifier and a cumulative replay that leaves the other rows visible.
Physical readiness row 30: SG7-L05
Status: OPEN
Requirement: Unification and proton-safety ownership firewall
Exact unification is not required by the locked architecture and proton safety belongs to SG9; neither may be promoted inside SG7 without a separately owned claim and evidence package.
This row contributes one blocker to positive physical SG8 closure. It cannot be discharged by repeating the 15.9-sigma negative witness or by inserting measured spurions into the EFT. Promotion requires an immutable artifact tied to this identifier and a cumulative replay that leaves the other rows visible.
Physical readiness row 31: SG7-L06
Status: OPEN
Requirement: Independent SG7 reviewer-randomized gauntlet
The internal seven-session reconstruction passes; independent randomized manifests, escrow, and an opened reviewer key have not been supplied.
This row contributes one blocker to positive physical SG8 closure. It cannot be discharged by repeating the 15.9-sigma negative witness or by inserting measured spurions into the EFT. Promotion requires an immutable artifact tied to this identifier and a cumulative replay that leaves the other rows visible.
Physical readiness row 32: SG8-L01
Status: OPEN
Requirement: Complete measured-spurion and covariance packet
The EFT identity is exact given measured Yukawa/spurion matrices, but a complete cross-sector covariance and likelihood packet is not supplied and is not required for the negative legacy-branch witness.
This row contributes one blocker to positive physical SG8 closure. It cannot be discharged by repeating the 15.9-sigma negative witness or by inserting measured spurions into the EFT. Promotion requires an immutable artifact tied to this identifier and a cumulative replay that leaves the other rows visible.
Physical readiness row 33: SG8-L02
Status: OPEN
Requirement: Parent 13D Dirac-Yukawa overlap derivation
No normalized zero-mode overlap calculation derives the charged-fermion and neutrino spurions from the parent action.
This row contributes one blocker to positive physical SG8 closure. It cannot be discharged by repeating the 15.9-sigma negative witness or by inserting measured spurions into the EFT. Promotion requires an immutable artifact tied to this identifier and a cumulative replay that leaves the other rows visible.
Physical readiness row 34: SG8-L03
Status: OPEN
Requirement: Target-blind flavor Actor and texture selection
Xi_OGF entered after residuals were known and is construction-anchored. No pre-data selector derives a unique flavor Actor or texture.
This row contributes one blocker to positive physical SG8 closure. It cannot be discharged by repeating the 15.9-sigma negative witness or by inserting measured spurions into the EFT. Promotion requires an immutable artifact tied to this identifier and a cumulative replay that leaves the other rows visible.
Physical readiness row 35: SG8-L04
Status: OPEN
Requirement: Complete flavor RG and threshold transport
The Vtd magnitude comparison is on a declared low-energy ruler, but full Yukawa, neutrino, threshold, scheme, and covariance transport is not supplied.
This row contributes one blocker to positive physical SG8 closure. It cannot be discharged by repeating the 15.9-sigma negative witness or by inserting measured spurions into the EFT. Promotion requires an immutable artifact tied to this identifier and a cumulative replay that leaves the other rows visible.
Physical readiness row 36: SG8-L05
Status: OPEN
Requirement: Absolute neutrino-scale ownership
The combination N_nu^2/M_R is rank deficient; neither a geometric eigenvalue nor an independent scale anchor fixes M_R.
This row contributes one blocker to positive physical SG8 closure. It cannot be discharged by repeating the 15.9-sigma negative witness or by inserting measured spurions into the EFT. Promotion requires an immutable artifact tied to this identifier and a cumulative replay that leaves the other rows visible.
Physical readiness row 37: SG8-L06
Status: OPEN
Requirement: Prospective blind flavor holdout
No post-freeze independent flavor record has yet tested a target-blind positive geometric flavor model.
This row contributes one blocker to positive physical SG8 closure. It cannot be discharged by repeating the 15.9-sigma negative witness or by inserting measured spurions into the EFT. Promotion requires an immutable artifact tied to this identifier and a cumulative replay that leaves the other rows visible.
Physical readiness row 38: SG8-L07
Status: OPEN
Requirement: Independent reviewer-randomized SG8 gauntlet
The internal deterministic six-session reconstruction passes. Independent randomized manifests, escrowed verdicts, and opened reviewer key remain NOT-EVALUATED.
This row contributes one blocker to positive physical SG8 closure. It cannot be discharged by repeating the 15.9-sigma negative witness or by inserting measured spurions into the EFT. Promotion requires an immutable artifact tied to this identifier and a cumulative replay that leaves the other rows visible.
Physical readiness row 39: SG8-L08
Status: OPEN
Requirement: Global board cutover and dependent-artifact propagation
This successor package implements the claims shrink locally. Owner ratification, website replacement, and replay of every SG8-consuming downstream artifact are not claimed.
This row contributes one blocker to positive physical SG8 closure. It cannot be discharged by repeating the 15.9-sigma negative witness or by inserting measured spurions into the EFT. Promotion requires an immutable artifact tied to this identifier and a cumulative replay that leaves the other rows visible.
Building-block evolution: BB-FPF-1
Adds flavor provenance classes, measured-spurion classification, post-target repair ceiling, and prediction-certificate fields.
The cumulative package retains the exact SG7 ZIP under UPSTREAM/ and adds this file as a successor overlay. No earlier result is silently promoted. The manifest hashes every artifact and marks global ratification false.
The prime directive is satisfied because the execution now tells a future agent exactly how to classify measured spurions, build the ruler, regenerate a negative pull, preserve a failed branch, and admit a clean proposal without calling it correct.
Building-block evolution: BB-LFC-1
Makes a flavor falsifier immutable and executable by joining the legacy equations, measured packet, ruler, pull convention, and branch identifier.
The cumulative package retains the exact SG7 ZIP under UPSTREAM/ and adds this file as a successor overlay. No earlier result is silently promoted. The manifest hashes every artifact and marks global ratification false.
The prime directive is satisfied because the execution now tells a future agent exactly how to classify measured spurions, build the ruler, regenerate a negative pull, preserve a failed branch, and admit a clean proposal without calling it correct.
Building-block evolution: BB-FRT-1
Defines the complete flavor ruler tuple and the directional, symmetrized, and likelihood pull grammar.
The cumulative package retains the exact SG7 ZIP under UPSTREAM/ and adds this file as a successor overlay. No earlier result is silently promoted. The manifest hashes every artifact and marks global ratification false.
The prime directive is satisfied because the execution now tells a future agent exactly how to classify measured spurions, build the ruler, regenerate a negative pull, preserve a failed branch, and admit a clean proposal without calling it correct.
Building-block evolution: BB-MAP-1 SG8 amendment
Retypes measured anchors as matrices or likelihood packets and fixes exact-given-input EFT status.
The cumulative package retains the exact SG7 ZIP under UPSTREAM/ and adds this file as a successor overlay. No earlier result is silently promoted. The manifest hashes every artifact and marks global ratification false.
The prime directive is satisfied because the execution now tells a future agent exactly how to classify measured spurions, build the ruler, regenerate a negative pull, preserve a failed branch, and admit a clean proposal without calling it correct.
Building-block evolution: BB-RST-2 SG8 amendment
Requires coupled flavor transport and limits low-energy identity maps to their stated domain.
The cumulative package retains the exact SG7 ZIP under UPSTREAM/ and adds this file as a successor overlay. No earlier result is silently promoted. The manifest hashes every artifact and marks global ratification false.
The prime directive is satisfied because the execution now tells a future agent exactly how to classify measured spurions, build the ruler, regenerate a negative pull, preserve a failed branch, and admit a clean proposal without calling it correct.
Building-block evolution: BB-AHG-1 SG8 amendment
Requires parent-action ownership of Yukawa and Majorana operators before geometric-origin status.
The cumulative package retains the exact SG7 ZIP under UPSTREAM/ and adds this file as a successor overlay. No earlier result is silently promoted. The manifest hashes every artifact and marks global ratification false.
The prime directive is satisfied because the execution now tells a future agent exactly how to classify measured spurions, build the ruler, regenerate a negative pull, preserve a failed branch, and admit a clean proposal without calling it correct.
Building-block evolution: SG8 findings
Records the registry gaps exposed by the legacy chain, asymmetric errors, target-loaded Actor, and clean repair innocent.
The cumulative package retains the exact SG7 ZIP under UPSTREAM/ and adds this file as a successor overlay. No earlier result is silently promoted. The manifest hashes every artifact and marks global ratification false.
The prime directive is satisfied because the execution now tells a future agent exactly how to classify measured spurions, build the ruler, regenerate a negative pull, preserve a failed branch, and admit a clean proposal without calling it correct.
Building-block evolution: SG8 scope reconciliation
Joins the three-layer rebuilt terminal without converting negative closure into positive origin.
The cumulative package retains the exact SG7 ZIP under UPSTREAM/ and adds this file as a successor overlay. No earlier result is silently promoted. The manifest hashes every artifact and marks global ratification false.
The prime directive is satisfied because the execution now tells a future agent exactly how to classify measured spurions, build the ruler, regenerate a negative pull, preserve a failed branch, and admit a clean proposal without calling it correct.
Building-block evolution: SG7 cumulative upstream
Preserves the exact recursive SG1-SG7 building-block archive rather than flattening or rewriting earlier terminals.
The cumulative package retains the exact SG7 ZIP under UPSTREAM/ and adds this file as a successor overlay. No earlier result is silently promoted. The manifest hashes every artifact and marks global ratification false.
The prime directive is satisfied because the execution now tells a future agent exactly how to classify measured spurions, build the ruler, regenerate a negative pull, preserve a failed branch, and admit a clean proposal without calling it correct.
Execution validation control 1
Control: answer-key commitment
Result: PASS
This control is executed by the standalone verifier. The verifier checks sealed-key commitment, randomized session coverage, manifest and witness hashes, first-hard-failure replay, the standard CKM arithmetic, archived-value agreement, PDG uncertainty reduction, ruler completeness, provenance grammar, status reduction, and cumulative dependency count.
Its PASS establishes deterministic reproducibility of the internal package. It does not change the independent reviewer terminal or geometric-origin status.
Execution validation control 2
Control: six unique randomized sessions
Result: PASS
This control is executed by the standalone verifier. The verifier checks sealed-key commitment, randomized session coverage, manifest and witness hashes, first-hard-failure replay, the standard CKM arithmetic, archived-value agreement, PDG uncertainty reduction, ruler completeness, provenance grammar, status reduction, and cumulative dependency count.
Its PASS establishes deterministic reproducibility of the internal package. It does not change the independent reviewer terminal or geometric-origin status.
Execution validation control 3
Control: session-order and key coverage
Result: PASS
This control is executed by the standalone verifier. The verifier checks sealed-key commitment, randomized session coverage, manifest and witness hashes, first-hard-failure replay, the standard CKM arithmetic, archived-value agreement, PDG uncertainty reduction, ruler completeness, provenance grammar, status reduction, and cumulative dependency count.
Its PASS establishes deterministic reproducibility of the internal package. It does not change the independent reviewer terminal or geometric-origin status.
Execution validation control 4
Control: escrow coverage and shared commitment
Result: PASS
This control is executed by the standalone verifier. The verifier checks sealed-key commitment, randomized session coverage, manifest and witness hashes, first-hard-failure replay, the standard CKM arithmetic, archived-value agreement, PDG uncertainty reduction, ruler completeness, provenance grammar, status reduction, and cumulative dependency count.
Its PASS establishes deterministic reproducibility of the internal package. It does not change the independent reviewer terminal or geometric-origin status.
Execution validation control 5
Control: manifest hashes
Result: PASS
This control is executed by the standalone verifier. The verifier checks sealed-key commitment, randomized session coverage, manifest and witness hashes, first-hard-failure replay, the standard CKM arithmetic, archived-value agreement, PDG uncertainty reduction, ruler completeness, provenance grammar, status reduction, and cumulative dependency count.
Its PASS establishes deterministic reproducibility of the internal package. It does not change the independent reviewer terminal or geometric-origin status.
Execution validation control 6
Control: witness hashes
Result: PASS
This control is executed by the standalone verifier. The verifier checks sealed-key commitment, randomized session coverage, manifest and witness hashes, first-hard-failure replay, the standard CKM arithmetic, archived-value agreement, PDG uncertainty reduction, ruler completeness, provenance grammar, status reduction, and cumulative dependency count.
Its PASS establishes deterministic reproducibility of the internal package. It does not change the independent reviewer terminal or geometric-origin status.
Execution validation control 7
Control: all session witnesses recomputed
Result: PASS
This control is executed by the standalone verifier. The verifier checks sealed-key commitment, randomized session coverage, manifest and witness hashes, first-hard-failure replay, the standard CKM arithmetic, archived-value agreement, PDG uncertainty reduction, ruler completeness, provenance grammar, status reduction, and cumulative dependency count.
Its PASS establishes deterministic reproducibility of the internal package. It does not change the independent reviewer terminal or geometric-origin status.
Execution validation control 8
Control: opened-key comparison
Result: PASS
This control is executed by the standalone verifier. The verifier checks sealed-key commitment, randomized session coverage, manifest and witness hashes, first-hard-failure replay, the standard CKM arithmetic, archived-value agreement, PDG uncertainty reduction, ruler completeness, provenance grammar, status reduction, and cumulative dependency count.
Its PASS establishes deterministic reproducibility of the internal package. It does not change the independent reviewer terminal or geometric-origin status.
Execution validation control 9
Control: incumbent and innocent repair roles
Result: PASS
This control is executed by the standalone verifier. The verifier checks sealed-key commitment, randomized session coverage, manifest and witness hashes, first-hard-failure replay, the standard CKM arithmetic, archived-value agreement, PDG uncertainty reduction, ruler completeness, provenance grammar, status reduction, and cumulative dependency count.
Its PASS establishes deterministic reproducibility of the internal package. It does not change the independent reviewer terminal or geometric-origin status.
Execution validation control 10
Control: historical defect coverage
Result: PASS
This control is executed by the standalone verifier. The verifier checks sealed-key commitment, randomized session coverage, manifest and witness hashes, first-hard-failure replay, the standard CKM arithmetic, archived-value agreement, PDG uncertainty reduction, ruler completeness, provenance grammar, status reduction, and cumulative dependency count.
Its PASS establishes deterministic reproducibility of the internal package. It does not change the independent reviewer terminal or geometric-origin status.
Execution validation control 11
Control: legacy CKM chain reproduction
Result: PASS
This control is executed by the standalone verifier. The verifier checks sealed-key commitment, randomized session coverage, manifest and witness hashes, first-hard-failure replay, the standard CKM arithmetic, archived-value agreement, PDG uncertainty reduction, ruler completeness, provenance grammar, status reduction, and cumulative dependency count.
Its PASS establishes deterministic reproducibility of the internal package. It does not change the independent reviewer terminal or geometric-origin status.
Execution validation control 12
Control: archived Vtd agreement
Result: PASS
This control is executed by the standalone verifier. The verifier checks sealed-key commitment, randomized session coverage, manifest and witness hashes, first-hard-failure replay, the standard CKM arithmetic, archived-value agreement, PDG uncertainty reduction, ruler completeness, provenance grammar, status reduction, and cumulative dependency count.
Its PASS establishes deterministic reproducibility of the internal package. It does not change the independent reviewer terminal or geometric-origin status.
Execution validation control 13
Control: declared asymmetric-error symmetrization
Result: PASS
This control is executed by the standalone verifier. The verifier checks sealed-key commitment, randomized session coverage, manifest and witness hashes, first-hard-failure replay, the standard CKM arithmetic, archived-value agreement, PDG uncertainty reduction, ruler completeness, provenance grammar, status reduction, and cumulative dependency count.
Its PASS establishes deterministic reproducibility of the internal package. It does not change the independent reviewer terminal or geometric-origin status.
Execution validation control 14
Control: approximately 15.9-sigma pull
Result: PASS
This control is executed by the standalone verifier. The verifier checks sealed-key commitment, randomized session coverage, manifest and witness hashes, first-hard-failure replay, the standard CKM arithmetic, archived-value agreement, PDG uncertainty reduction, ruler completeness, provenance grammar, status reduction, and cumulative dependency count.
Its PASS establishes deterministic reproducibility of the internal package. It does not change the independent reviewer terminal or geometric-origin status.
Execution validation control 15
Control: negative terminal robust to declared uncertainty variants
Result: PASS
This control is executed by the standalone verifier. The verifier checks sealed-key commitment, randomized session coverage, manifest and witness hashes, first-hard-failure replay, the standard CKM arithmetic, archived-value agreement, PDG uncertainty reduction, ruler completeness, provenance grammar, status reduction, and cumulative dependency count.
Its PASS establishes deterministic reproducibility of the internal package. It does not change the independent reviewer terminal or geometric-origin status.
Execution validation control 16
Control: complete same-ruler tuple
Result: PASS
This control is executed by the standalone verifier. The verifier checks sealed-key commitment, randomized session coverage, manifest and witness hashes, first-hard-failure replay, the standard CKM arithmetic, archived-value agreement, PDG uncertainty reduction, ruler completeness, provenance grammar, status reduction, and cumulative dependency count.
Its PASS establishes deterministic reproducibility of the internal package. It does not change the independent reviewer terminal or geometric-origin status.
Execution validation control 17
Control: measured-spurion prediction firewall
Result: PASS
This control is executed by the standalone verifier. The verifier checks sealed-key commitment, randomized session coverage, manifest and witness hashes, first-hard-failure replay, the standard CKM arithmetic, archived-value agreement, PDG uncertainty reduction, ruler completeness, provenance grammar, status reduction, and cumulative dependency count.
Its PASS establishes deterministic reproducibility of the internal package. It does not change the independent reviewer terminal or geometric-origin status.
Execution validation control 18
Control: frozen input hashes
Result: PASS
This control is executed by the standalone verifier. The verifier checks sealed-key commitment, randomized session coverage, manifest and witness hashes, first-hard-failure replay, the standard CKM arithmetic, archived-value agreement, PDG uncertainty reduction, ruler completeness, provenance grammar, status reduction, and cumulative dependency count.
Its PASS establishes deterministic reproducibility of the internal package. It does not change the independent reviewer terminal or geometric-origin status.
Execution validation control 19
Control: scoped rebuilt-gate terminals
Result: PASS
This control is executed by the standalone verifier. The verifier checks sealed-key commitment, randomized session coverage, manifest and witness hashes, first-hard-failure replay, the standard CKM arithmetic, archived-value agreement, PDG uncertainty reduction, ruler completeness, provenance grammar, status reduction, and cumulative dependency count.
Its PASS establishes deterministic reproducibility of the internal package. It does not change the independent reviewer terminal or geometric-origin status.
Execution validation control 20
Control: geometric-origin and physical-open firewall
Result: PASS
This control is executed by the standalone verifier. The verifier checks sealed-key commitment, randomized session coverage, manifest and witness hashes, first-hard-failure replay, the standard CKM arithmetic, archived-value agreement, PDG uncertainty reduction, ruler completeness, provenance grammar, status reduction, and cumulative dependency count.
Its PASS establishes deterministic reproducibility of the internal package. It does not change the independent reviewer terminal or geometric-origin status.
Execution validation control 21
Control: cumulative dependency and reviewer status
Result: PASS
This control is executed by the standalone verifier. The verifier checks sealed-key commitment, randomized session coverage, manifest and witness hashes, first-hard-failure replay, the standard CKM arithmetic, archived-value agreement, PDG uncertainty reduction, ruler completeness, provenance grammar, status reduction, and cumulative dependency count.
Its PASS establishes deterministic reproducibility of the internal package. It does not change the independent reviewer terminal or geometric-origin status.
Answer to the SG8 challenge
The challenge is solved at its scoped level. The rebuilt incumbent passes the claims-shrink grammar. The raw high-scale comparison fails the same-ruler row; the disguised Xi resurrection fails the target-loaded repair row; the measured-spurion prediction fails the provenance firewall; the planted pull fails exact arithmetic; and the clean repair proposal passes only as admissible for evaluation. All six sealed outcomes match.
The hard artifact reconstructs the legacy 120 degree standard CKM matrix and produces |Vtd|=0.011447033863555408. Against the PDG 2024 unitary global-fit packet, the declared symmetrized marginal pull is 15.927965908641152 sigma. The legacy texture is permanently CLOSED-NEGATIVE.
Final controlling statement
SG8 is complete as a claims-shrunk adjudication and internal adversarial execution, not as a positive geometric theory of flavor. The EFT is exact given measured spurions and therefore PASS-CONDITIONAL; the legacy one-angle texture is CLOSED-NEGATIVE at approximately 15.9 sigma; geometric flavor origin is OPEN; and physical SG8 is OPEN with thirty-nine cumulative blockers.
The package-local claims cutover passes. Global board ratification and site propagation remain OPEN. The internal six-session gauntlet passes; the reviewer-randomized gauntlet remains NOT-EVALUATED; nature-selection is NOT-CLAIMED. These boundaries are part of the result and must travel with every public summary.