Controlling terminal and claim firewall

SG7 passes as a coupling-transport diagnostic. The declared Standard Model spectrum produces the exact GUT-normalized one-loop tuple (41/10,-19/6,-7), and the frozen MEASURED-ANCHOR central values transport consistently under that tuple.

This PASS does not mean exact unification is required or achieved. The three pairwise crossing scales are distinct. The locked architecture has no exact unification obligation, so that field is NOT-APPLICABLE; achievement remains NOT-CLAIMED. Threshold magnitude is intentionally OPEN and owned by the physics-meter workstream. Proton safety belongs to SG9.

Authority order and cumulative SG6 lineage

The user-supplied building blocks remain the governing source of truth. The authority chain is the source-of-truth archive, cumulative SG6 blocks, V4.1 execution protocol, SG2-SG8 gauntlet specification, measured coupling anchor, SG6-to-SG7 dependency ledger, and generated witnesses.

The SG6 cumulative block archive is frozen at 71091ef3945bf7c3388437f336ef256a64cf08e2a52f1f4ee7028aac7ea7ab5b. Its manifest is replayed file by file and preserves the recursive SG1-SG5 lineage. All twenty-five SG6 physical readiness debts remain visible.

The measured central values are frozen from the PDG 2023 electroweak review. They are MEASURED-ANCHOR inputs, not shape predictions. Freezing a dated source makes the execution deterministic while preserving uncertainty, scheme-conversion, higher-loop, and matching work as separate OPEN rows.

SG7 diagnostic challenge and evidence boundary

The scoped challenge asks only whether the declared spectrum gives the stated one-loop beta coefficients and whether a frozen measured coupling tuple runs consistently under them. It also requires the pairwise crossing structure and a generated check that no threshold-magnitude claim appears.

The historical problem was framing drift. Earlier language said a unification obligation was dissolved, although the correct statement is simply that the locked architecture does not require exact unification. Proton safety was also incorrectly discussed here even though its operators and lifetime bounds are owned by SG9.

Seven blinded sessions implement the incumbent, five historical decoys, and one honest non-SM spectrum. The innocent contains one additional complex scalar doublet and correctly reports (21/5,-3,-7). It passes internal consistency while failing the SM target match. This claim-aware behavior is a required property of the gate.

One-loop coefficient and transport method

For each gauge factor, the engine evaluates

b_i = -(11/3)C2(G_i)
      +(2/3) sum_Weyl T_i(R)
      +(1/3) sum_complex_scalar T_i(R).

For hypercharge, g1^2=(5/3)gY^2 and each trace is T1=(3/5)Y^2 times all spectator dimensions. The nonabelian trace includes the multiplicity from the other gauge factor. Every term is exact rational arithmetic.

The measured anchor is converted to inverse couplings and transported by alpha_i^-1(mu)=alpha_i^-1(MZ)-b_i/(2*pi)ln(mu/MZ). Decimal output is rounded only for publication after the exact coefficients and rational anchor conversion are fixed. Pairwise equality is solved independently for (1,2), (1,3), and (2,3). Different scales mean there is no one-loop triple intersection in the central-value diagnostic.

Coefficient method: Gauge contribution

The adjoint contribution is ['0', '-22/3', '-11'] in basis ['U1_GUT_NORMALIZED', 'SU2', 'SU3']. U(1) has zero adjoint Casimir; SU(2) and SU(3) contribute -22/3 and -11.

The engine stores this statement in the generated transport certificate and recomputes it for every blinded candidate. No familiar coefficient is accepted because its text looks standard. A new field changes the trace sums, and the candidate must report the changed result.

This exact reduction closes the arithmetic diagnostic only. Whether the spectrum is physically derived, whether heavy towers contribute above their thresholds, and whether the measured gauge-kinetic normalization follows from the compactified action remain cumulative evidence interfaces.

Coefficient method: Weyl factor

Each left-handed Weyl field contributes two thirds of its full trace index. Multiplicity, color dimension, weak dimension, hypercharge, and Dynkin index are read from the manifest.

The engine stores this statement in the generated transport certificate and recomputes it for every blinded candidate. No familiar coefficient is accepted because its text looks standard. A new field changes the trace sums, and the candidate must report the changed result.

This exact reduction closes the arithmetic diagnostic only. Whether the spectrum is physically derived, whether heavy towers contribute above their thresholds, and whether the measured gauge-kinetic normalization follows from the compactified action remain cumulative evidence interfaces.

Coefficient method: Complex-scalar factor

Each complex scalar contributes one third of its trace index. One Standard Model Higgs doublet contributes 1/10 to b1 and 1/6 to b2.

The engine stores this statement in the generated transport certificate and recomputes it for every blinded candidate. No familiar coefficient is accepted because its text looks standard. A new field changes the trace sums, and the candidate must report the changed result.

This exact reduction closes the arithmetic diagnostic only. Whether the spectrum is physically derived, whether heavy towers contribute above their thresholds, and whether the measured gauge-kinetic normalization follows from the compactified action remain cumulative evidence interfaces.

Coefficient method: Hypercharge normalization

The convention is T1=(3/5)Y^2 times spectator dimensions. Changing this convention changes b1, so the basis is part of the evidence rather than an implicit preference.

The engine stores this statement in the generated transport certificate and recomputes it for every blinded candidate. No familiar coefficient is accepted because its text looks standard. A new field changes the trace sums, and the candidate must report the changed result.

This exact reduction closes the arithmetic diagnostic only. Whether the spectrum is physically derived, whether heavy towers contribute above their thresholds, and whether the measured gauge-kinetic normalization follows from the compactified action remain cumulative evidence interfaces.

Coefficient method: Exact coefficient tuple

Summing gauge and declared matter terms gives ['41/10', '-19/6', '-7']. Standard Model target match is TRUE.

The engine stores this statement in the generated transport certificate and recomputes it for every blinded candidate. No familiar coefficient is accepted because its text looks standard. A new field changes the trace sums, and the candidate must report the changed result.

This exact reduction closes the arithmetic diagnostic only. Whether the spectrum is physically derived, whether heavy towers contribute above their thresholds, and whether the measured gauge-kinetic normalization follows from the compactified action remain cumulative evidence interfaces.

Declared field 1: Q_L

Kind: WEYL
Multiplicity: 3
Representation dimensions (d3,d2): (3,2)
Hypercharge: 1/6
Dynkin indices (T3,T2): (1/2,1/2)
Full trace indices (T1,T2,T3): ['3/10', '9/2', '3']
Beta contribution: ['1/5', '3', '2']

The trace indices include every spectator multiplicity. The beta contribution then applies the factor appropriate to a Weyl fermion or complex scalar. This row is generated from the candidate manifest and participates in the exact sum; it is not copied from a textbook table.

The field record proves arithmetic consistency, not geometric origin or normalizability. Those remain inherited physical readiness questions.

Q_L contribution to U1 GUT-normalized

For Q_L, the full trace index in the U1 GUT-normalized component is 3/10 and the resulting beta contribution is 1/5. Spectator dimensions and field multiplicity are already included.

This component is joined to the adjoint term and every other matter component only after its exact fraction is computed. The gate therefore catches an extra doublet, a missing spectator multiplicity, or a normalization change at the source of the coefficient rather than at the final running plot.

A zero component is explicit evidence that the field is a singlet under the factor or has zero normalized hypercharge contribution; it is not an omitted calculation. The first-hard-failure rule rejects a claimed tuple as soon as one component sum disagrees.

Q_L contribution to SU2

For Q_L, the full trace index in the SU2 component is 9/2 and the resulting beta contribution is 3. Spectator dimensions and field multiplicity are already included.

This component is joined to the adjoint term and every other matter component only after its exact fraction is computed. The gate therefore catches an extra doublet, a missing spectator multiplicity, or a normalization change at the source of the coefficient rather than at the final running plot.

A zero component is explicit evidence that the field is a singlet under the factor or has zero normalized hypercharge contribution; it is not an omitted calculation. The first-hard-failure rule rejects a claimed tuple as soon as one component sum disagrees.

Q_L contribution to SU3

For Q_L, the full trace index in the SU3 component is 3 and the resulting beta contribution is 2. Spectator dimensions and field multiplicity are already included.

This component is joined to the adjoint term and every other matter component only after its exact fraction is computed. The gate therefore catches an extra doublet, a missing spectator multiplicity, or a normalization change at the source of the coefficient rather than at the final running plot.

A zero component is explicit evidence that the field is a singlet under the factor or has zero normalized hypercharge contribution; it is not an omitted calculation. The first-hard-failure rule rejects a claimed tuple as soon as one component sum disagrees.

Declared field 2: u_R_conjugate

Kind: WEYL
Multiplicity: 3
Representation dimensions (d3,d2): (3,1)
Hypercharge: -2/3
Dynkin indices (T3,T2): (1/2,0)
Full trace indices (T1,T2,T3): ['12/5', '0', '3/2']
Beta contribution: ['8/5', '0', '1']

The trace indices include every spectator multiplicity. The beta contribution then applies the factor appropriate to a Weyl fermion or complex scalar. This row is generated from the candidate manifest and participates in the exact sum; it is not copied from a textbook table.

The field record proves arithmetic consistency, not geometric origin or normalizability. Those remain inherited physical readiness questions.

u_R_conjugate contribution to U1 GUT-normalized

For u_R_conjugate, the full trace index in the U1 GUT-normalized component is 12/5 and the resulting beta contribution is 8/5. Spectator dimensions and field multiplicity are already included.

This component is joined to the adjoint term and every other matter component only after its exact fraction is computed. The gate therefore catches an extra doublet, a missing spectator multiplicity, or a normalization change at the source of the coefficient rather than at the final running plot.

A zero component is explicit evidence that the field is a singlet under the factor or has zero normalized hypercharge contribution; it is not an omitted calculation. The first-hard-failure rule rejects a claimed tuple as soon as one component sum disagrees.

u_R_conjugate contribution to SU2

For u_R_conjugate, the full trace index in the SU2 component is 0 and the resulting beta contribution is 0. Spectator dimensions and field multiplicity are already included.

This component is joined to the adjoint term and every other matter component only after its exact fraction is computed. The gate therefore catches an extra doublet, a missing spectator multiplicity, or a normalization change at the source of the coefficient rather than at the final running plot.

A zero component is explicit evidence that the field is a singlet under the factor or has zero normalized hypercharge contribution; it is not an omitted calculation. The first-hard-failure rule rejects a claimed tuple as soon as one component sum disagrees.

u_R_conjugate contribution to SU3

For u_R_conjugate, the full trace index in the SU3 component is 3/2 and the resulting beta contribution is 1. Spectator dimensions and field multiplicity are already included.

This component is joined to the adjoint term and every other matter component only after its exact fraction is computed. The gate therefore catches an extra doublet, a missing spectator multiplicity, or a normalization change at the source of the coefficient rather than at the final running plot.

A zero component is explicit evidence that the field is a singlet under the factor or has zero normalized hypercharge contribution; it is not an omitted calculation. The first-hard-failure rule rejects a claimed tuple as soon as one component sum disagrees.

Declared field 3: d_R_conjugate

Kind: WEYL
Multiplicity: 3
Representation dimensions (d3,d2): (3,1)
Hypercharge: 1/3
Dynkin indices (T3,T2): (1/2,0)
Full trace indices (T1,T2,T3): ['3/5', '0', '3/2']
Beta contribution: ['2/5', '0', '1']

The trace indices include every spectator multiplicity. The beta contribution then applies the factor appropriate to a Weyl fermion or complex scalar. This row is generated from the candidate manifest and participates in the exact sum; it is not copied from a textbook table.

The field record proves arithmetic consistency, not geometric origin or normalizability. Those remain inherited physical readiness questions.

d_R_conjugate contribution to U1 GUT-normalized

For d_R_conjugate, the full trace index in the U1 GUT-normalized component is 3/5 and the resulting beta contribution is 2/5. Spectator dimensions and field multiplicity are already included.

This component is joined to the adjoint term and every other matter component only after its exact fraction is computed. The gate therefore catches an extra doublet, a missing spectator multiplicity, or a normalization change at the source of the coefficient rather than at the final running plot.

A zero component is explicit evidence that the field is a singlet under the factor or has zero normalized hypercharge contribution; it is not an omitted calculation. The first-hard-failure rule rejects a claimed tuple as soon as one component sum disagrees.

d_R_conjugate contribution to SU2

For d_R_conjugate, the full trace index in the SU2 component is 0 and the resulting beta contribution is 0. Spectator dimensions and field multiplicity are already included.

This component is joined to the adjoint term and every other matter component only after its exact fraction is computed. The gate therefore catches an extra doublet, a missing spectator multiplicity, or a normalization change at the source of the coefficient rather than at the final running plot.

A zero component is explicit evidence that the field is a singlet under the factor or has zero normalized hypercharge contribution; it is not an omitted calculation. The first-hard-failure rule rejects a claimed tuple as soon as one component sum disagrees.

d_R_conjugate contribution to SU3

For d_R_conjugate, the full trace index in the SU3 component is 3/2 and the resulting beta contribution is 1. Spectator dimensions and field multiplicity are already included.

This component is joined to the adjoint term and every other matter component only after its exact fraction is computed. The gate therefore catches an extra doublet, a missing spectator multiplicity, or a normalization change at the source of the coefficient rather than at the final running plot.

A zero component is explicit evidence that the field is a singlet under the factor or has zero normalized hypercharge contribution; it is not an omitted calculation. The first-hard-failure rule rejects a claimed tuple as soon as one component sum disagrees.

Declared field 4: L_L

Kind: WEYL
Multiplicity: 3
Representation dimensions (d3,d2): (1,2)
Hypercharge: -1/2
Dynkin indices (T3,T2): (0,1/2)
Full trace indices (T1,T2,T3): ['9/10', '3/2', '0']
Beta contribution: ['3/5', '1', '0']

The trace indices include every spectator multiplicity. The beta contribution then applies the factor appropriate to a Weyl fermion or complex scalar. This row is generated from the candidate manifest and participates in the exact sum; it is not copied from a textbook table.

The field record proves arithmetic consistency, not geometric origin or normalizability. Those remain inherited physical readiness questions.

L_L contribution to U1 GUT-normalized

For L_L, the full trace index in the U1 GUT-normalized component is 9/10 and the resulting beta contribution is 3/5. Spectator dimensions and field multiplicity are already included.

This component is joined to the adjoint term and every other matter component only after its exact fraction is computed. The gate therefore catches an extra doublet, a missing spectator multiplicity, or a normalization change at the source of the coefficient rather than at the final running plot.

A zero component is explicit evidence that the field is a singlet under the factor or has zero normalized hypercharge contribution; it is not an omitted calculation. The first-hard-failure rule rejects a claimed tuple as soon as one component sum disagrees.

L_L contribution to SU2

For L_L, the full trace index in the SU2 component is 3/2 and the resulting beta contribution is 1. Spectator dimensions and field multiplicity are already included.

This component is joined to the adjoint term and every other matter component only after its exact fraction is computed. The gate therefore catches an extra doublet, a missing spectator multiplicity, or a normalization change at the source of the coefficient rather than at the final running plot.

A zero component is explicit evidence that the field is a singlet under the factor or has zero normalized hypercharge contribution; it is not an omitted calculation. The first-hard-failure rule rejects a claimed tuple as soon as one component sum disagrees.

L_L contribution to SU3

For L_L, the full trace index in the SU3 component is 0 and the resulting beta contribution is 0. Spectator dimensions and field multiplicity are already included.

This component is joined to the adjoint term and every other matter component only after its exact fraction is computed. The gate therefore catches an extra doublet, a missing spectator multiplicity, or a normalization change at the source of the coefficient rather than at the final running plot.

A zero component is explicit evidence that the field is a singlet under the factor or has zero normalized hypercharge contribution; it is not an omitted calculation. The first-hard-failure rule rejects a claimed tuple as soon as one component sum disagrees.

Declared field 5: e_R_conjugate

Kind: WEYL
Multiplicity: 3
Representation dimensions (d3,d2): (1,1)
Hypercharge: 1
Dynkin indices (T3,T2): (0,0)
Full trace indices (T1,T2,T3): ['9/5', '0', '0']
Beta contribution: ['6/5', '0', '0']

The trace indices include every spectator multiplicity. The beta contribution then applies the factor appropriate to a Weyl fermion or complex scalar. This row is generated from the candidate manifest and participates in the exact sum; it is not copied from a textbook table.

The field record proves arithmetic consistency, not geometric origin or normalizability. Those remain inherited physical readiness questions.

e_R_conjugate contribution to U1 GUT-normalized

For e_R_conjugate, the full trace index in the U1 GUT-normalized component is 9/5 and the resulting beta contribution is 6/5. Spectator dimensions and field multiplicity are already included.

This component is joined to the adjoint term and every other matter component only after its exact fraction is computed. The gate therefore catches an extra doublet, a missing spectator multiplicity, or a normalization change at the source of the coefficient rather than at the final running plot.

A zero component is explicit evidence that the field is a singlet under the factor or has zero normalized hypercharge contribution; it is not an omitted calculation. The first-hard-failure rule rejects a claimed tuple as soon as one component sum disagrees.

e_R_conjugate contribution to SU2

For e_R_conjugate, the full trace index in the SU2 component is 0 and the resulting beta contribution is 0. Spectator dimensions and field multiplicity are already included.

This component is joined to the adjoint term and every other matter component only after its exact fraction is computed. The gate therefore catches an extra doublet, a missing spectator multiplicity, or a normalization change at the source of the coefficient rather than at the final running plot.

A zero component is explicit evidence that the field is a singlet under the factor or has zero normalized hypercharge contribution; it is not an omitted calculation. The first-hard-failure rule rejects a claimed tuple as soon as one component sum disagrees.

e_R_conjugate contribution to SU3

For e_R_conjugate, the full trace index in the SU3 component is 0 and the resulting beta contribution is 0. Spectator dimensions and field multiplicity are already included.

This component is joined to the adjoint term and every other matter component only after its exact fraction is computed. The gate therefore catches an extra doublet, a missing spectator multiplicity, or a normalization change at the source of the coefficient rather than at the final running plot.

A zero component is explicit evidence that the field is a singlet under the factor or has zero normalized hypercharge contribution; it is not an omitted calculation. The first-hard-failure rule rejects a claimed tuple as soon as one component sum disagrees.

Declared field 6: H

Kind: COMPLEX-SCALAR
Multiplicity: 1
Representation dimensions (d3,d2): (1,2)
Hypercharge: 1/2
Dynkin indices (T3,T2): (0,1/2)
Full trace indices (T1,T2,T3): ['3/10', '1/2', '0']
Beta contribution: ['1/10', '1/6', '0']

The trace indices include every spectator multiplicity. The beta contribution then applies the factor appropriate to a Weyl fermion or complex scalar. This row is generated from the candidate manifest and participates in the exact sum; it is not copied from a textbook table.

The field record proves arithmetic consistency, not geometric origin or normalizability. Those remain inherited physical readiness questions.

H contribution to U1 GUT-normalized

For H, the full trace index in the U1 GUT-normalized component is 3/10 and the resulting beta contribution is 1/10. Spectator dimensions and field multiplicity are already included.

This component is joined to the adjoint term and every other matter component only after its exact fraction is computed. The gate therefore catches an extra doublet, a missing spectator multiplicity, or a normalization change at the source of the coefficient rather than at the final running plot.

A zero component is explicit evidence that the field is a singlet under the factor or has zero normalized hypercharge contribution; it is not an omitted calculation. The first-hard-failure rule rejects a claimed tuple as soon as one component sum disagrees.

H contribution to SU2

For H, the full trace index in the SU2 component is 1/2 and the resulting beta contribution is 1/6. Spectator dimensions and field multiplicity are already included.

This component is joined to the adjoint term and every other matter component only after its exact fraction is computed. The gate therefore catches an extra doublet, a missing spectator multiplicity, or a normalization change at the source of the coefficient rather than at the final running plot.

A zero component is explicit evidence that the field is a singlet under the factor or has zero normalized hypercharge contribution; it is not an omitted calculation. The first-hard-failure rule rejects a claimed tuple as soon as one component sum disagrees.

H contribution to SU3

For H, the full trace index in the SU3 component is 0 and the resulting beta contribution is 0. Spectator dimensions and field multiplicity are already included.

This component is joined to the adjoint term and every other matter component only after its exact fraction is computed. The gate therefore catches an extra doublet, a missing spectator multiplicity, or a normalization change at the source of the coefficient rather than at the final running plot.

A zero component is explicit evidence that the field is a singlet under the factor or has zero normalized hypercharge contribution; it is not an omitted calculation. The first-hard-failure rule rejects a claimed tuple as soon as one component sum disagrees.

Exact assembly of U1_GUT_NORMALIZED coefficient

Gauge term: 0
Matter terms: ['1/5', '8/5', '2/5', '3/5', '6/5', '1/10']
Exact total: 41/10

The total uses rational addition with no numerical tolerance. The U(1) row tests GUT normalization and hypercharge multiplicities; SU(2) tests weak doublets and the adjoint Casimir; SU(3) tests colored Weyl multiplicities and its adjoint term.

The tuple comparison occurs only after all three group rows pass. A manifest with different content may be internally consistent and still report sm_target_match=FALSE. That distinction is why the extra-doublet innocent is accepted while the extra-doublet decoy claiming the SM tuple fails.

Exact assembly of SU2 coefficient

Gauge term: -22/3
Matter terms: ['3', '0', '0', '1', '0', '1/6']
Exact total: -19/6

The total uses rational addition with no numerical tolerance. The U(1) row tests GUT normalization and hypercharge multiplicities; SU(2) tests weak doublets and the adjoint Casimir; SU(3) tests colored Weyl multiplicities and its adjoint term.

The tuple comparison occurs only after all three group rows pass. A manifest with different content may be internally consistent and still report sm_target_match=FALSE. That distinction is why the extra-doublet innocent is accepted while the extra-doublet decoy claiming the SM tuple fails.

Exact assembly of SU3 coefficient

Gauge term: -11
Matter terms: ['2', '1', '1', '0', '0', '0']
Exact total: -7

The total uses rational addition with no numerical tolerance. The U(1) row tests GUT normalization and hypercharge multiplicities; SU(2) tests weak doublets and the adjoint Casimir; SU(3) tests colored Weyl multiplicities and its adjoint term.

The tuple comparison occurs only after all three group rows pass. A manifest with different content may be internally consistent and still report sm_target_match=FALSE. That distinction is why the extra-doublet innocent is accepted while the extra-doublet decoy claiming the SM tuple fails.

Measured-anchor control: Reference scale and scheme

The frozen scale is 91.1876 GeV and the scheme is MSBAR-Z-POLE-DIAGNOSTIC. The abelian convention is g1^2=(5/3)gY^2.

The conversion is stored in the certificate and checked by the standalone verifier. Versioning scale, scheme, normalization, central values, and source prevents a later table from mixing incompatible inputs.

Precision in the printed decimals does not enlarge the evidence scope. The lawful result is a deterministic one-loop central-value diagnostic. It does not derive the couplings from geometry or replace the missing physical uncertainty and matching packet.

Measured-anchor control: Measured input packet

The central values are {'alpha_em_inverse_MZ': '127.951', 'alpha_s_MZ': '0.1185', 'sin2_thetaW_MSbar_MZ': '0.23122'}. They are dated measured anchors and are never counted as predictions of the shape.

The conversion is stored in the certificate and checked by the standalone verifier. Versioning scale, scheme, normalization, central values, and source prevents a later table from mixing incompatible inputs.

Precision in the printed decimals does not enlarge the evidence scope. The lawful result is a deterministic one-loop central-value diagnostic. It does not derive the couplings from geometry or replace the missing physical uncertainty and matching packet.

Measured-anchor control: Hypercharge-to-alpha1 conversion

The exact GUT-normalized alpha1 inverse is 14754925467/250000000, published as 59.019701868000. It uses (3/5)(1-sin^2 thetaW) alpha_em^-1.

The conversion is stored in the certificate and checked by the standalone verifier. Versioning scale, scheme, normalization, central values, and source prevents a later table from mixing incompatible inputs.

Precision in the printed decimals does not enlarge the evidence scope. The lawful result is a deterministic one-loop central-value diagnostic. It does not derive the couplings from geometry or replace the missing physical uncertainty and matching packet.

Measured-anchor control: Weak alpha2 conversion

The exact alpha2 inverse is 1479241511/50000000, published as 29.584830220000. It uses sin^2 thetaW alpha_em^-1.

The conversion is stored in the certificate and checked by the standalone verifier. Versioning scale, scheme, normalization, central values, and source prevents a later table from mixing incompatible inputs.

Precision in the printed decimals does not enlarge the evidence scope. The lawful result is a deterministic one-loop central-value diagnostic. It does not derive the couplings from geometry or replace the missing physical uncertainty and matching packet.

Measured-anchor control: Strong alpha3 conversion

The exact alpha3 inverse is 2000/237, published as 8.438818565401. It is the reciprocal of the frozen alpha_s central value.

The conversion is stored in the certificate and checked by the standalone verifier. Versioning scale, scheme, normalization, central values, and source prevents a later table from mixing incompatible inputs.

Precision in the printed decimals does not enlarge the evidence scope. The lawful result is a deterministic one-loop central-value diagnostic. It does not derive the couplings from geometry or replace the missing physical uncertainty and matching packet.

Measured-anchor control: Uncertainty boundary

The source reports input uncertainties, but this gate transports central values only. Correlated uncertainty propagation, scheme conversion, and higher-loop matching remain OPEN or NOT-CLAIMED.

The conversion is stored in the certificate and checked by the standalone verifier. Versioning scale, scheme, normalization, central values, and source prevents a later table from mixing incompatible inputs.

Precision in the printed decimals does not enlarge the evidence scope. The lawful result is a deterministic one-loop central-value diagnostic. It does not derive the couplings from geometry or replace the missing physical uncertainty and matching packet.

Running-table row 1: mu=91.1876 GeV

ln(mu/MZ): 0.000000000000
Inverse couplings (alpha1,alpha2,alpha3): ['59.019701868000', '29.584830220000', '8.438818565401']

This row is generated from the exact coefficient tuple and frozen anchor by the published one-loop equation. Each component is compared with the candidate’s claimed table. The running-table decoy changes one value and fails before any unification interpretation is considered.

The row is a central-value diagnostic. Heavy thresholds, field decoupling, higher loops, scheme changes, and uncertainties are not silently included. Their absence is reported through explicit scope fields rather than hidden in the number of printed decimal places.

Running-table row 1: interpretation boundary

At 91.1876 GeV, the three values describe one-loop continuation of the frozen low-energy anchors under the declared light spectrum. Their separation can be used to compute pairwise crossings or diagnostic residuals.

No single row establishes exact unification. A numerical near-approach is not a theorem about the heavy spectrum, and a chosen matching correction is not a prediction. The complete physical interpretation requires the higher-loop and threshold-meter artifacts named in the dependency ledger.

The row remains useful because it is reproducible, scope-limited evidence. A future physical calculation can replace or augment its assumptions while retaining this exact one-loop control as a regression test.

Running-table row 2: mu=1000 GeV

ln(mu/MZ): 2.394836356058
Inverse couplings (alpha1,alpha2,alpha3): ['57.456986687752', '30.791805359216', '11.106868873141']

This row is generated from the exact coefficient tuple and frozen anchor by the published one-loop equation. Each component is compared with the candidate’s claimed table. The running-table decoy changes one value and fails before any unification interpretation is considered.

The row is a central-value diagnostic. Heavy thresholds, field decoupling, higher loops, scheme changes, and uncertainties are not silently included. Their absence is reported through explicit scope fields rather than hidden in the number of printed decimal places.

Running-table row 2: interpretation boundary

At 1000 GeV, the three values describe one-loop continuation of the frozen low-energy anchors under the declared light spectrum. Their separation can be used to compute pairwise crossings or diagnostic residuals.

No single row establishes exact unification. A numerical near-approach is not a theorem about the heavy spectrum, and a chosen matching correction is not a prediction. The complete physical interpretation requires the higher-loop and threshold-meter artifacts named in the dependency ledger.

The row remains useful because it is reproducible, scope-limited evidence. A future physical calculation can replace or augment its assumptions while retaining this exact one-loop control as a regression test.

Running-table row 3: mu=1000000 GeV

ln(mu/MZ): 9.302591635040
Inverse couplings (alpha1,alpha2,alpha3): ['52.949432754644', '34.273249453893', '18.802692661375']

This row is generated from the exact coefficient tuple and frozen anchor by the published one-loop equation. Each component is compared with the candidate’s claimed table. The running-table decoy changes one value and fails before any unification interpretation is considered.

The row is a central-value diagnostic. Heavy thresholds, field decoupling, higher loops, scheme changes, and uncertainties are not silently included. Their absence is reported through explicit scope fields rather than hidden in the number of printed decimal places.

Running-table row 3: interpretation boundary

At 1000000 GeV, the three values describe one-loop continuation of the frozen low-energy anchors under the declared light spectrum. Their separation can be used to compute pairwise crossings or diagnostic residuals.

No single row establishes exact unification. A numerical near-approach is not a theorem about the heavy spectrum, and a chosen matching correction is not a prediction. The complete physical interpretation requires the higher-loop and threshold-meter artifacts named in the dependency ledger.

The row remains useful because it is reproducible, scope-limited evidence. A future physical calculation can replace or augment its assumptions while retaining this exact one-loop control as a regression test.

Running-table row 4: mu=1000000000 GeV

ln(mu/MZ): 16.210346914022
Inverse couplings (alpha1,alpha2,alpha3): ['48.441878821535', '37.754693548570', '26.498516449609']

This row is generated from the exact coefficient tuple and frozen anchor by the published one-loop equation. Each component is compared with the candidate’s claimed table. The running-table decoy changes one value and fails before any unification interpretation is considered.

The row is a central-value diagnostic. Heavy thresholds, field decoupling, higher loops, scheme changes, and uncertainties are not silently included. Their absence is reported through explicit scope fields rather than hidden in the number of printed decimal places.

Running-table row 4: interpretation boundary

At 1000000000 GeV, the three values describe one-loop continuation of the frozen low-energy anchors under the declared light spectrum. Their separation can be used to compute pairwise crossings or diagnostic residuals.

No single row establishes exact unification. A numerical near-approach is not a theorem about the heavy spectrum, and a chosen matching correction is not a prediction. The complete physical interpretation requires the higher-loop and threshold-meter artifacts named in the dependency ledger.

The row remains useful because it is reproducible, scope-limited evidence. A future physical calculation can replace or augment its assumptions while retaining this exact one-loop control as a regression test.

Running-table row 5: mu=1000000000000 GeV

ln(mu/MZ): 23.118102193005
Inverse couplings (alpha1,alpha2,alpha3): ['43.934324888427', '41.236137643248', '34.194340237843']

This row is generated from the exact coefficient tuple and frozen anchor by the published one-loop equation. Each component is compared with the candidate’s claimed table. The running-table decoy changes one value and fails before any unification interpretation is considered.

The row is a central-value diagnostic. Heavy thresholds, field decoupling, higher loops, scheme changes, and uncertainties are not silently included. Their absence is reported through explicit scope fields rather than hidden in the number of printed decimal places.

Running-table row 5: interpretation boundary

At 1000000000000 GeV, the three values describe one-loop continuation of the frozen low-energy anchors under the declared light spectrum. Their separation can be used to compute pairwise crossings or diagnostic residuals.

No single row establishes exact unification. A numerical near-approach is not a theorem about the heavy spectrum, and a chosen matching correction is not a prediction. The complete physical interpretation requires the higher-loop and threshold-meter artifacts named in the dependency ledger.

The row remains useful because it is reproducible, scope-limited evidence. A future physical calculation can replace or augment its assumptions while retaining this exact one-loop control as a regression test.

Running-table row 6: mu=1000000000000000 GeV

ln(mu/MZ): 30.025857471987
Inverse couplings (alpha1,alpha2,alpha3): ['39.426770955318', '44.717581737925', '41.890164026077']

This row is generated from the exact coefficient tuple and frozen anchor by the published one-loop equation. Each component is compared with the candidate’s claimed table. The running-table decoy changes one value and fails before any unification interpretation is considered.

The row is a central-value diagnostic. Heavy thresholds, field decoupling, higher loops, scheme changes, and uncertainties are not silently included. Their absence is reported through explicit scope fields rather than hidden in the number of printed decimal places.

Running-table row 6: interpretation boundary

At 1000000000000000 GeV, the three values describe one-loop continuation of the frozen low-energy anchors under the declared light spectrum. Their separation can be used to compute pairwise crossings or diagnostic residuals.

No single row establishes exact unification. A numerical near-approach is not a theorem about the heavy spectrum, and a chosen matching correction is not a prediction. The complete physical interpretation requires the higher-loop and threshold-meter artifacts named in the dependency ledger.

The row remains useful because it is reproducible, scope-limited evidence. A future physical calculation can replace or augment its assumptions while retaining this exact one-loop control as a regression test.

Running-table row 7: mu=10000000000000000 GeV

ln(mu/MZ): 32.328442564981
Inverse couplings (alpha1,alpha2,alpha3): ['37.924252977616', '45.878063102817', '44.455438622155']

This row is generated from the exact coefficient tuple and frozen anchor by the published one-loop equation. Each component is compared with the candidate’s claimed table. The running-table decoy changes one value and fails before any unification interpretation is considered.

The row is a central-value diagnostic. Heavy thresholds, field decoupling, higher loops, scheme changes, and uncertainties are not silently included. Their absence is reported through explicit scope fields rather than hidden in the number of printed decimal places.

Running-table row 7: interpretation boundary

At 10000000000000000 GeV, the three values describe one-loop continuation of the frozen low-energy anchors under the declared light spectrum. Their separation can be used to compute pairwise crossings or diagnostic residuals.

No single row establishes exact unification. A numerical near-approach is not a theorem about the heavy spectrum, and a chosen matching correction is not a prediction. The complete physical interpretation requires the higher-loop and threshold-meter artifacts named in the dependency ledger.

The row remains useful because it is reproducible, scope-limited evidence. A future physical calculation can replace or augment its assumptions while retaining this exact one-loop control as a regression test.

Running-table row 8: mu=100000000000000000 GeV

ln(mu/MZ): 34.631027657975
Inverse couplings (alpha1,alpha2,alpha3): ['36.421734999913', '47.038544467710', '47.020713218233']

This row is generated from the exact coefficient tuple and frozen anchor by the published one-loop equation. Each component is compared with the candidate’s claimed table. The running-table decoy changes one value and fails before any unification interpretation is considered.

The row is a central-value diagnostic. Heavy thresholds, field decoupling, higher loops, scheme changes, and uncertainties are not silently included. Their absence is reported through explicit scope fields rather than hidden in the number of printed decimal places.

Running-table row 8: interpretation boundary

At 100000000000000000 GeV, the three values describe one-loop continuation of the frozen low-energy anchors under the declared light spectrum. Their separation can be used to compute pairwise crossings or diagnostic residuals.

No single row establishes exact unification. A numerical near-approach is not a theorem about the heavy spectrum, and a chosen matching correction is not a prediction. The complete physical interpretation requires the higher-loop and threshold-meter artifacts named in the dependency ledger.

The row remains useful because it is reproducible, scope-limited evidence. A future physical calculation can replace or augment its assumptions while retaining this exact one-loop control as a regression test.

Pairwise crossing: alpha1-alpha2

log(mu/MZ): 25.451112806068
Crossing scale: 1.030893106343E+13 GeV
Common inverse coupling: 42.411953185872

The crossing solves equality for this pair using the frozen central values and exact one-loop coefficients. It is computed independently of the other two pairs. The session witness hashes the resulting scale and common value.

Pairwise equality is a diagnostic fact. It does not imply that the third coupling is equal at this scale, that a heavy threshold has the needed size, or that a unified gauge group exists. Those are separately owned claims.

Pairwise crossing: alpha1-alpha2 scope test

The three SG7 pairwise scales are not equal. Therefore the one-loop central-value lines do not meet at one point. The gate reports this structure without converting it into a failure of the locked architecture, because exact unification was never a required output.

This page repairs the historical framing drift. The evidence supports NOT-APPLICABLE for an exact-unification obligation and NOT-CLAIMED for an achieved exact unification. It does not support the stronger rhetoric that an obligation was dissolved, nor does it support a positive unification claim.

Any proposed threshold correction must enter through the external physics meter with a complete spectrum and matching provenance.

Pairwise crossing: alpha1-alpha3

log(mu/MZ): 28.631447098293
Crossing scale: 2.479792083343E+14 GeV
Common inverse coupling: 40.336672900373

The crossing solves equality for this pair using the frozen central values and exact one-loop coefficients. It is computed independently of the other two pairs. The session witness hashes the resulting scale and common value.

Pairwise equality is a diagnostic fact. It does not imply that the third coupling is equal at this scale, that a heavy threshold has the needed size, or that a unified gauge group exists. Those are separately owned claims.

Pairwise crossing: alpha1-alpha3 scope test

The three SG7 pairwise scales are not equal. Therefore the one-loop central-value lines do not meet at one point. The gate reports this structure without converting it into a failure of the locked architecture, because exact unification was never a required output.

This page repairs the historical framing drift. The evidence supports NOT-APPLICABLE for an exact-unification obligation and NOT-CLAIMED for an achieved exact unification. It does not support the stronger rhetoric that an obligation was dissolved, nor does it support a positive unification claim.

Any proposed threshold correction must enter through the external physics meter with a complete spectrum and matching provenance.

Pairwise crossing: alpha2-alpha3

log(mu/MZ): 34.660254713120
Crossing scale: 1.029658357163E+17 GeV
Common inverse coupling: 47.053274630321

The crossing solves equality for this pair using the frozen central values and exact one-loop coefficients. It is computed independently of the other two pairs. The session witness hashes the resulting scale and common value.

Pairwise equality is a diagnostic fact. It does not imply that the third coupling is equal at this scale, that a heavy threshold has the needed size, or that a unified gauge group exists. Those are separately owned claims.

Pairwise crossing: alpha2-alpha3 scope test

The three SG7 pairwise scales are not equal. Therefore the one-loop central-value lines do not meet at one point. The gate reports this structure without converting it into a failure of the locked architecture, because exact unification was never a required output.

This page repairs the historical framing drift. The evidence supports NOT-APPLICABLE for an exact-unification obligation and NOT-CLAIMED for an achieved exact unification. It does not support the stronger rhetoric that an obligation was dissolved, nor does it support a positive unification claim.

Any proposed threshold correction must enter through the external physics meter with a complete spectrum and matching provenance.

Scope firewall: Fixed diagnostic scale

The residual-sign diagnostic is evaluated at 10000000000000000 GeV, where inverse couplings are ['37.924252977616', '45.878063102817', '44.455438622155'].

This field is machine-checked in every session. The magnitude-smuggling decoy is rejected even though its one-loop coefficients and running table are otherwise correct. The sign decoy is rejected for internal arithmetic, while the incumbent makes no physical threshold-magnitude claim.

The separation is intentional: a diagnostic can constrain the shape of a future calculation without pretending to have performed that calculation.

Scope firewall: Arithmetic mean

The arithmetic mean is 42.752584900863. It is a comparison ruler, not a derived unified coupling.

This field is machine-checked in every session. The magnitude-smuggling decoy is rejected even though its one-loop coefficients and running table are otherwise correct. The sign decoy is rejected for internal arithmetic, while the incumbent makes no physical threshold-magnitude claim.

The separation is intentional: a diagnostic can constrain the shape of a future calculation without pretending to have performed that calculation.

Scope firewall: Equalizing residual signs

The exact published signs are ['POSITIVE', 'NEGATIVE', 'NEGATIVE']. A manifest that flips one sign fails its own fixed-point arithmetic.

This field is machine-checked in every session. The magnitude-smuggling decoy is rejected even though its one-loop coefficients and running table are otherwise correct. The sign decoy is rejected for internal arithmetic, while the incumbent makes no physical threshold-magnitude claim.

The separation is intentional: a diagnostic can constrain the shape of a future calculation without pretending to have performed that calculation.

Scope firewall: Magnitude firewall

The interpretation is DIAGNOSTIC-RESIDUAL-SIGNS-NOT-A-THRESHOLD-MAGNITUDE-PREDICTION. No threshold magnitude can pass this gauntlet; its status is OPEN.

This field is machine-checked in every session. The magnitude-smuggling decoy is rejected even though its one-loop coefficients and running table are otherwise correct. The sign decoy is rejected for internal arithmetic, while the incumbent makes no physical threshold-magnitude claim.

The separation is intentional: a diagnostic can constrain the shape of a future calculation without pretending to have performed that calculation.

Scope firewall: Physics-meter ownership

The heavy-threshold magnitude requires all heavy and KK representations, masses, matching scales, regulator scheme, and uncertainty propagation.

This field is machine-checked in every session. The magnitude-smuggling decoy is rejected even though its one-loop coefficients and running table are otherwise correct. The sign decoy is rejected for internal arithmetic, while the incumbent makes no physical threshold-magnitude claim.

The separation is intentional: a diagnostic can constrain the shape of a future calculation without pretending to have performed that calculation.

Scope firewall: Proton-safety ownership

SG7 supplies no baryon-violating operator census or lifetime bound. Proton safety is NOT-APPLICABLE-SG7 and owned by SG9.

This field is machine-checked in every session. The magnitude-smuggling decoy is rejected even though its one-loop coefficients and running table are otherwise correct. The sign decoy is rejected for internal arithmetic, while the incumbent makes no physical threshold-magnitude claim.

The separation is intentional: a diagnostic can constrain the shape of a future calculation without pretending to have performed that calculation.

Scope firewall: Nature-selection boundary

A correct running table does not show that nature selected the geometry. Nature-selection remains NOT-CLAIMED and subject to independent evidence.

This field is machine-checked in every session. The magnitude-smuggling decoy is rejected even though its one-loop coefficients and running table are otherwise correct. The sign decoy is rejected for internal arithmetic, while the incumbent makes no physical threshold-magnitude claim.

The separation is intentional: a diagnostic can constrain the shape of a future calculation without pretending to have performed that calculation.

Gauntlet rule SG7-GNT-01: Spectrum-to-beta reduction

Derive every one-loop coefficient from the declared Weyl and complex-scalar records, including spectator dimensions and GUT-normalized U(1) traces.

Rules execute in fixed order and each witness records the first hard failure. The answer key is canonically serialized and committed before roles are opened. Every manifest and witness is hash-escrowed, and the opened comparison requires all seven verdict/failure pairs to match.

The deterministic package is an internal reconstruction of the reviewer specification. It does not replace independent randomized review, whose terminal remains NOT-EVALUATED.

Gauntlet rule SG7-GNT-02: Running-table replay

Regenerate every inverse-coupling row from the claimed coefficients, reference scale, measured anchor, and printed one-loop equation.

Rules execute in fixed order and each witness records the first hard failure. The answer key is canonically serialized and committed before roles are opened. Every manifest and witness is hash-escrowed, and the opened comparison requires all seven verdict/failure pairs to match.

The deterministic package is an internal reconstruction of the reviewer specification. It does not replace independent randomized review, whose terminal remains NOT-EVALUATED.

Gauntlet rule SG7-GNT-03: Unification diagnostic firewall

Reject claims that exact unification is required or achieved. The locked architecture imposes no such obligation, and the pairwise crossing scales are distinct.

Rules execute in fixed order and each witness records the first hard failure. The answer key is canonically serialized and committed before roles are opened. Every manifest and witness is hash-escrowed, and the opened comparison requires all seven verdict/failure pairs to match.

The deterministic package is an internal reconstruction of the reviewer specification. It does not replace independent randomized review, whose terminal remains NOT-EVALUATED.

Gauntlet rule SG7-GNT-04: Threshold-sign arithmetic

When a manifest claims threshold signs, compare them with the equalizing residual signs computed from its own fixed-scale coupling data.

Rules execute in fixed order and each witness records the first hard failure. The answer key is canonically serialized and committed before roles are opened. Every manifest and witness is hash-escrowed, and the opened comparison requires all seven verdict/failure pairs to match.

The deterministic package is an internal reconstruction of the reviewer specification. It does not replace independent randomized review, whose terminal remains NOT-EVALUATED.

Gauntlet rule SG7-GNT-05: Threshold-magnitude nonclaim

Reject any numerical threshold magnitude in this gauntlet. The magnitude remains OPEN and belongs to the physics-meter workstream.

Rules execute in fixed order and each witness records the first hard failure. The answer key is canonically serialized and committed before roles are opened. Every manifest and witness is hash-escrowed, and the opened comparison requires all seven verdict/failure pairs to match.

The deterministic package is an internal reconstruction of the reviewer specification. It does not replace independent randomized review, whose terminal remains NOT-EVALUATED.

Gauntlet rule SG7-GNT-06: Proton-safety ownership

Reject proton-safety claims or ownership inside SG7. Proton decay operators and lifetime bounds belong to SG9.

Rules execute in fixed order and each witness records the first hard failure. The answer key is canonically serialized and committed before roles are opened. Every manifest and witness is hash-escrowed, and the opened comparison requires all seven verdict/failure pairs to match.

The deterministic package is an internal reconstruction of the reviewer specification. It does not replace independent randomized review, whose terminal remains NOT-EVALUATED.

Gauntlet rule SG7-GNT-07: Claim-aware alternatives

Accept a different declared spectrum when it reports its own coefficients and non-target status; separate consistency from Standard Model match and nature-selection.

Rules execute in fixed order and each witness records the first hard failure. The answer key is canonically serialized and committed before roles are opened. Every manifest and witness is hash-escrowed, and the opened comparison requires all seven verdict/failure pairs to match.

The deterministic package is an internal reconstruction of the reviewer specification. It does not replace independent randomized review, whose terminal remains NOT-EVALUATED.

Blind session 1: manifest and sealed expectation

Candidate ID: session-1b3c4afe79e53bdf3c2a
Opened label / role: incumbent-sm-diagnostic / INCUMBENT
Field count: 6
Claimed coefficients: ['41/10', '-19/6', '-7']
Manifest SHA-256: 2adb95961193e92243e3df55a7f7a5a081aef7ce19ff40dfdfd931c925065fe5
Expected verdict / first failure: PASS / None

The solver received role UNDISCLOSED. It derived the spectrum contributions, replayed the running table, evaluated crossing and threshold claims, and checked ownership without using the opened label. The answer-key commitment and manifest hash prevent after-the-fact role or evidence changes.

Blind session 1: computed witness

Witness SHA-256: 7519837395a54f1683041cf5b947e9cb07960d80efef05e1f0e167f43298ac0d
Actual verdict / first failure: PASS / None
Computed coefficients: ['41/10', '-19/6', '-7']
SM target match: TRUE
Triple unification: FALSE
Diagnostic terminal: PASS-CONDITIONAL

The actual verdict and first failure match the sealed expectation. PASS means the manifest accurately reports its own spectrum and respects SG7 scope; it does not necessarily mean the spectrum is the Standard Model target or that physical coupling derivation is complete.

Blind session 2: manifest and sealed expectation

Candidate ID: session-412e9021dc21da2886d4
Opened label / role: extra-doublet-claims-sm-coefficients / DECOY
Field count: 7
Claimed coefficients: ['41/10', '-19/6', '-7']
Manifest SHA-256: 6ccc1db2aa1543cf9c1a0ca624ad3842c9d3d69828fbe8e1296b8c42821903ec
Expected verdict / first failure: FAIL / SG7-GNT-01

The solver received role UNDISCLOSED. It derived the spectrum contributions, replayed the running table, evaluated crossing and threshold claims, and checked ownership without using the opened label. The answer-key commitment and manifest hash prevent after-the-fact role or evidence changes.

Blind session 2: computed witness

Witness SHA-256: b0004529c9b5347ec8d5b39fc2b29c859ecba0dfd4a8c7bc59cb245a4418aff2
Actual verdict / first failure: FAIL / SG7-GNT-01
Computed coefficients: ['21/5', '-3', '-7']
SM target match: FALSE
Triple unification: FALSE
Diagnostic terminal: PASS-CONDITIONAL

The actual verdict and first failure match the sealed expectation. PASS means the manifest accurately reports its own spectrum and respects SG7 scope; it does not necessarily mean the spectrum is the Standard Model target or that physical coupling derivation is complete.

Blind session 3: manifest and sealed expectation

Candidate ID: session-511a798569e9d36d4991
Opened label / role: claims-exact-unification-achieved / DECOY
Field count: 6
Claimed coefficients: ['41/10', '-19/6', '-7']
Manifest SHA-256: cf93f8e91255d98929a14903bb55cbe8d5f210b03c3be304bae927929fd1e11d
Expected verdict / first failure: FAIL / SG7-GNT-03

The solver received role UNDISCLOSED. It derived the spectrum contributions, replayed the running table, evaluated crossing and threshold claims, and checked ownership without using the opened label. The answer-key commitment and manifest hash prevent after-the-fact role or evidence changes.

Blind session 3: computed witness

Witness SHA-256: 81b6979202596e6c5b7f461570140d421a7a95f9e27dcd4419874ff041cbf667
Actual verdict / first failure: FAIL / SG7-GNT-03
Computed coefficients: ['41/10', '-19/6', '-7']
SM target match: TRUE
Triple unification: FALSE
Diagnostic terminal: PASS-CONDITIONAL

The actual verdict and first failure match the sealed expectation. PASS means the manifest accurately reports its own spectrum and respects SG7 scope; it does not necessarily mean the spectrum is the Standard Model target or that physical coupling derivation is complete.

Blind session 4: manifest and sealed expectation

Candidate ID: session-b16bdcfa9209241a47d0
Opened label / role: threshold-sign-inconsistent-with-fixed-point-data / DECOY
Field count: 6
Claimed coefficients: ['41/10', '-19/6', '-7']
Manifest SHA-256: bd93c88c590182b58d6c316aa952009ab4cda5587f76bd108a7e5dc2ef24d60d
Expected verdict / first failure: FAIL / SG7-GNT-04

The solver received role UNDISCLOSED. It derived the spectrum contributions, replayed the running table, evaluated crossing and threshold claims, and checked ownership without using the opened label. The answer-key commitment and manifest hash prevent after-the-fact role or evidence changes.

Blind session 4: computed witness

Witness SHA-256: aad941b4827775f167289f8805dc5d64a2727c9058438a2a6fde98628f556fd5
Actual verdict / first failure: FAIL / SG7-GNT-04
Computed coefficients: ['41/10', '-19/6', '-7']
SM target match: TRUE
Triple unification: FALSE
Diagnostic terminal: PASS-CONDITIONAL

The actual verdict and first failure match the sealed expectation. PASS means the manifest accurately reports its own spectrum and respects SG7 scope; it does not necessarily mean the spectrum is the Standard Model target or that physical coupling derivation is complete.

Blind session 5: manifest and sealed expectation

Candidate ID: session-c11cbf22f2a7b5044f3c
Opened label / role: honest-extra-doublet-content / INNOCENT-NON-SM-CONTENT
Field count: 7
Claimed coefficients: ['21/5', '-3', '-7']
Manifest SHA-256: b7a12fbde7d16332fd01242d61c5f7bd27402cc28fcb5105043e038840c22476
Expected verdict / first failure: PASS / None

The solver received role UNDISCLOSED. It derived the spectrum contributions, replayed the running table, evaluated crossing and threshold claims, and checked ownership without using the opened label. The answer-key commitment and manifest hash prevent after-the-fact role or evidence changes.

Blind session 5: computed witness

Witness SHA-256: 70892b59ee155bea62aeacd7a1c07b4cb54da2fd7083d5f789d9d631f0c44125
Actual verdict / first failure: PASS / None
Computed coefficients: ['21/5', '-3', '-7']
SM target match: FALSE
Triple unification: FALSE
Diagnostic terminal: PASS-CONDITIONAL

The actual verdict and first failure match the sealed expectation. PASS means the manifest accurately reports its own spectrum and respects SG7 scope; it does not necessarily mean the spectrum is the Standard Model target or that physical coupling derivation is complete.

Blind session 6: manifest and sealed expectation

Candidate ID: session-d1cd39e86dd0a9576023
Opened label / role: running-table-inconsistent-with-coefficients / DECOY
Field count: 6
Claimed coefficients: ['41/10', '-19/6', '-7']
Manifest SHA-256: e569eb1ba1200ecf629c7e6d9f854083f844eaf68ad8b60085752c74f3e06358
Expected verdict / first failure: FAIL / SG7-GNT-02

The solver received role UNDISCLOSED. It derived the spectrum contributions, replayed the running table, evaluated crossing and threshold claims, and checked ownership without using the opened label. The answer-key commitment and manifest hash prevent after-the-fact role or evidence changes.

Blind session 6: computed witness

Witness SHA-256: 3e7aadef49b65d502df1e26078e9b84c6d38b013a11d9f8c3a5b55e168ddafb6
Actual verdict / first failure: FAIL / SG7-GNT-02
Computed coefficients: ['41/10', '-19/6', '-7']
SM target match: TRUE
Triple unification: FALSE
Diagnostic terminal: PASS-CONDITIONAL

The actual verdict and first failure match the sealed expectation. PASS means the manifest accurately reports its own spectrum and respects SG7 scope; it does not necessarily mean the spectrum is the Standard Model target or that physical coupling derivation is complete.

Blind session 7: manifest and sealed expectation

Candidate ID: session-e2927a75de55e925ae62
Opened label / role: smuggled-threshold-magnitude / DECOY
Field count: 6
Claimed coefficients: ['41/10', '-19/6', '-7']
Manifest SHA-256: e22f60ef9fb8d2755e6d2cd544e36c3946c1c6d448b44f84584f385eaafc08ba
Expected verdict / first failure: FAIL / SG7-GNT-05

The solver received role UNDISCLOSED. It derived the spectrum contributions, replayed the running table, evaluated crossing and threshold claims, and checked ownership without using the opened label. The answer-key commitment and manifest hash prevent after-the-fact role or evidence changes.

Blind session 7: computed witness

Witness SHA-256: 4b261dea04d5b9469fa63fa68d9220546e4c5ef16539433a9e4f08b92fe3cd4f
Actual verdict / first failure: FAIL / SG7-GNT-05
Computed coefficients: ['41/10', '-19/6', '-7']
SM target match: TRUE
Triple unification: FALSE
Diagnostic terminal: PASS-CONDITIONAL

The actual verdict and first failure match the sealed expectation. PASS means the manifest accurately reports its own spectrum and respects SG7 scope; it does not necessarily mean the spectrum is the Standard Model target or that physical coupling derivation is complete.

SG6-to-SG7 cumulative dependency reducer

The reducer receives twenty-five inherited OPEN rows and six SG7-local OPEN rows. It returns conditional diagnostic certificate PASS and physical SG7 OPEN with 31 blockers.

The diagnostic PASS cannot erase SG6 stability status, measured-anchor debts, action normalization, higher loops, heavy thresholds, or independent review. Future evidence must name an exact readiness row and replay the frozen cumulative package.

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 required row contributes one blocker to physical SG7. It is independent of the exact one-loop arithmetic and cannot be discharged by a correct coefficient tuple or a visually close crossing plot.

Promotion requires an immutable evidence artifact, explicit scope and provenance, and a cumulative replay. Until then, the diagnostic certificate may PASS while the physical gate remains OPEN.

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 required row contributes one blocker to physical SG7. It is independent of the exact one-loop arithmetic and cannot be discharged by a correct coefficient tuple or a visually close crossing plot.

Promotion requires an immutable evidence artifact, explicit scope and provenance, and a cumulative replay. Until then, the diagnostic certificate may PASS while the physical gate remains OPEN.

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 required row contributes one blocker to physical SG7. It is independent of the exact one-loop arithmetic and cannot be discharged by a correct coefficient tuple or a visually close crossing plot.

Promotion requires an immutable evidence artifact, explicit scope and provenance, and a cumulative replay. Until then, the diagnostic certificate may PASS while the physical gate remains OPEN.

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 required row contributes one blocker to physical SG7. It is independent of the exact one-loop arithmetic and cannot be discharged by a correct coefficient tuple or a visually close crossing plot.

Promotion requires an immutable evidence artifact, explicit scope and provenance, and a cumulative replay. Until then, the diagnostic certificate may PASS while the physical gate remains OPEN.

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 required row contributes one blocker to physical SG7. It is independent of the exact one-loop arithmetic and cannot be discharged by a correct coefficient tuple or a visually close crossing plot.

Promotion requires an immutable evidence artifact, explicit scope and provenance, and a cumulative replay. Until then, the diagnostic certificate may PASS while the physical gate remains OPEN.

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 required row contributes one blocker to physical SG7. It is independent of the exact one-loop arithmetic and cannot be discharged by a correct coefficient tuple or a visually close crossing plot.

Promotion requires an immutable evidence artifact, explicit scope and provenance, and a cumulative replay. Until then, the diagnostic certificate may PASS while the physical gate remains OPEN.

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 required row contributes one blocker to physical SG7. It is independent of the exact one-loop arithmetic and cannot be discharged by a correct coefficient tuple or a visually close crossing plot.

Promotion requires an immutable evidence artifact, explicit scope and provenance, and a cumulative replay. Until then, the diagnostic certificate may PASS while the physical gate remains OPEN.

Physical readiness row 8: SG5-SG6-D08

Status: OPEN
Requirement: Family Actor action ownership

The multiplicity Actor lacks a closed primitive action parent.

This required row contributes one blocker to physical SG7. It is independent of the exact one-loop arithmetic and cannot be discharged by a correct coefficient tuple or a visually close crossing plot.

Promotion requires an immutable evidence artifact, explicit scope and provenance, and a cumulative replay. Until then, the diagnostic certificate may PASS while the physical gate remains OPEN.

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 required row contributes one blocker to physical SG7. It is independent of the exact one-loop arithmetic and cannot be discharged by a correct coefficient tuple or a visually close crossing plot.

Promotion requires an immutable evidence artifact, explicit scope and provenance, and a cumulative replay. Until then, the diagnostic certificate may PASS while the physical gate remains OPEN.

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 required row contributes one blocker to physical SG7. It is independent of the exact one-loop arithmetic and cannot be discharged by a correct coefficient tuple or a visually close crossing plot.

Promotion requires an immutable evidence artifact, explicit scope and provenance, and a cumulative replay. Until then, the diagnostic certificate may PASS while the physical gate remains OPEN.

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 required row contributes one blocker to physical SG7. It is independent of the exact one-loop arithmetic and cannot be discharged by a correct coefficient tuple or a visually close crossing plot.

Promotion requires an immutable evidence artifact, explicit scope and provenance, and a cumulative replay. Until then, the diagnostic certificate may PASS while the physical gate remains OPEN.

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 required row contributes one blocker to physical SG7. It is independent of the exact one-loop arithmetic and cannot be discharged by a correct coefficient tuple or a visually close crossing plot.

Promotion requires an immutable evidence artifact, explicit scope and provenance, and a cumulative replay. Until then, the diagnostic certificate may PASS while the physical gate remains OPEN.

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 required row contributes one blocker to physical SG7. It is independent of the exact one-loop arithmetic and cannot be discharged by a correct coefficient tuple or a visually close crossing plot.

Promotion requires an immutable evidence artifact, explicit scope and provenance, and a cumulative replay. Until then, the diagnostic certificate may PASS while the physical gate remains OPEN.

Physical readiness row 14: SG5-SG6-D14

Status: OPEN
Requirement: Independent SG4 reviewer execution

SG4 reviewer-randomized execution remains NOT-EVALUATED.

This required row contributes one blocker to physical SG7. It is independent of the exact one-loop arithmetic and cannot be discharged by a correct coefficient tuple or a visually close crossing plot.

Promotion requires an immutable evidence artifact, explicit scope and provenance, and a cumulative replay. Until then, the diagnostic certificate may PASS while the physical gate remains OPEN.

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 required row contributes one blocker to physical SG7. It is independent of the exact one-loop arithmetic and cannot be discharged by a correct coefficient tuple or a visually close crossing plot.

Promotion requires an immutable evidence artifact, explicit scope and provenance, and a cumulative replay. Until then, the diagnostic certificate may PASS while the physical gate remains OPEN.

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 required row contributes one blocker to physical SG7. It is independent of the exact one-loop arithmetic and cannot be discharged by a correct coefficient tuple or a visually close crossing plot.

Promotion requires an immutable evidence artifact, explicit scope and provenance, and a cumulative replay. Until then, the diagnostic certificate may PASS while the physical gate remains OPEN.

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 required row contributes one blocker to physical SG7. It is independent of the exact one-loop arithmetic and cannot be discharged by a correct coefficient tuple or a visually close crossing plot.

Promotion requires an immutable evidence artifact, explicit scope and provenance, and a cumulative replay. Until then, the diagnostic certificate may PASS while the physical gate remains OPEN.

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 required row contributes one blocker to physical SG7. It is independent of the exact one-loop arithmetic and cannot be discharged by a correct coefficient tuple or a visually close crossing plot.

Promotion requires an immutable evidence artifact, explicit scope and provenance, and a cumulative replay. Until then, the diagnostic certificate may PASS while the physical gate remains OPEN.

Physical readiness row 19: SG5-SG6-D19

Status: OPEN
Requirement: Independent SG5 reviewer execution

SG5 reviewer-randomized execution remains NOT-EVALUATED.

This required row contributes one blocker to physical SG7. It is independent of the exact one-loop arithmetic and cannot be discharged by a correct coefficient tuple or a visually close crossing plot.

Promotion requires an immutable evidence artifact, explicit scope and provenance, and a cumulative replay. Until then, the diagnostic certificate may PASS while the physical gate remains OPEN.

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 required row contributes one blocker to physical SG7. It is independent of the exact one-loop arithmetic and cannot be discharged by a correct coefficient tuple or a visually close crossing plot.

Promotion requires an immutable evidence artifact, explicit scope and provenance, and a cumulative replay. Until then, the diagnostic certificate may PASS while the physical gate remains OPEN.

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 required row contributes one blocker to physical SG7. It is independent of the exact one-loop arithmetic and cannot be discharged by a correct coefficient tuple or a visually close crossing plot.

Promotion requires an immutable evidence artifact, explicit scope and provenance, and a cumulative replay. Until then, the diagnostic certificate may PASS while the physical gate remains OPEN.

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 required row contributes one blocker to physical SG7. It is independent of the exact one-loop arithmetic and cannot be discharged by a correct coefficient tuple or a visually close crossing plot.

Promotion requires an immutable evidence artifact, explicit scope and provenance, and a cumulative replay. Until then, the diagnostic certificate may PASS while the physical gate remains OPEN.

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 required row contributes one blocker to physical SG7. It is independent of the exact one-loop arithmetic and cannot be discharged by a correct coefficient tuple or a visually close crossing plot.

Promotion requires an immutable evidence artifact, explicit scope and provenance, and a cumulative replay. Until then, the diagnostic certificate may PASS while the physical gate remains OPEN.

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 required row contributes one blocker to physical SG7. It is independent of the exact one-loop arithmetic and cannot be discharged by a correct coefficient tuple or a visually close crossing plot.

Promotion requires an immutable evidence artifact, explicit scope and provenance, and a cumulative replay. Until then, the diagnostic certificate may PASS while the physical gate remains OPEN.

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 required row contributes one blocker to physical SG7. It is independent of the exact one-loop arithmetic and cannot be discharged by a correct coefficient tuple or a visually close crossing plot.

Promotion requires an immutable evidence artifact, explicit scope and provenance, and a cumulative replay. Until then, the diagnostic certificate may PASS while the physical gate remains OPEN.

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 required row contributes one blocker to physical SG7. It is independent of the exact one-loop arithmetic and cannot be discharged by a correct coefficient tuple or a visually close crossing plot.

Promotion requires an immutable evidence artifact, explicit scope and provenance, and a cumulative replay. Until then, the diagnostic certificate may PASS while the physical gate remains OPEN.

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 required row contributes one blocker to physical SG7. It is independent of the exact one-loop arithmetic and cannot be discharged by a correct coefficient tuple or a visually close crossing plot.

Promotion requires an immutable evidence artifact, explicit scope and provenance, and a cumulative replay. Until then, the diagnostic certificate may PASS while the physical gate remains OPEN.

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 required row contributes one blocker to physical SG7. It is independent of the exact one-loop arithmetic and cannot be discharged by a correct coefficient tuple or a visually close crossing plot.

Promotion requires an immutable evidence artifact, explicit scope and provenance, and a cumulative replay. Until then, the diagnostic certificate may PASS while the physical gate remains OPEN.

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 required row contributes one blocker to physical SG7. It is independent of the exact one-loop arithmetic and cannot be discharged by a correct coefficient tuple or a visually close crossing plot.

Promotion requires an immutable evidence artifact, explicit scope and provenance, and a cumulative replay. Until then, the diagnostic certificate may PASS while the physical gate remains OPEN.

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 required row contributes one blocker to physical SG7. It is independent of the exact one-loop arithmetic and cannot be discharged by a correct coefficient tuple or a visually close crossing plot.

Promotion requires an immutable evidence artifact, explicit scope and provenance, and a cumulative replay. Until then, the diagnostic certificate may PASS while the physical gate remains OPEN.

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 required row contributes one blocker to physical SG7. It is independent of the exact one-loop arithmetic and cannot be discharged by a correct coefficient tuple or a visually close crossing plot.

Promotion requires an immutable evidence artifact, explicit scope and provenance, and a cumulative replay. Until then, the diagnostic certificate may PASS while the physical gate remains OPEN.

Building-block evolution: BB-CTC-1

Adds spectrum-derived beta coefficients, measured-anchor transport, pairwise crossings, and diagnostic threshold residuals.

The cumulative package retains the exact SG6 ZIP under UPSTREAM/ and adds these files as a successor overlay. No earlier terminal is silently rewritten. The package manifest hashes every artifact for independent replay.

The improvement follows the prime directive: the gate result matters, but the primary product is a stronger registry that tells future executions exactly how to derive coefficients, handle measured anchors, interpret crossings, and refuse unowned magnitude or proton-safety claims.

Building-block evolution: BB-TMR-1

Separates gauntlet arithmetic from externally owned threshold magnitude and carries thirty-one cumulative physical debts.

The cumulative package retains the exact SG6 ZIP under UPSTREAM/ and adds these files as a successor overlay. No earlier terminal is silently rewritten. The package manifest hashes every artifact for independent replay.

The improvement follows the prime directive: the gate result matters, but the primary product is a stronger registry that tells future executions exactly how to derive coefficients, handle measured anchors, interpret crossings, and refuse unowned magnitude or proton-safety claims.

Building-block evolution: BB-MAP-1 SG7 amendment

Versions scale, scheme, normalization, measured central values, uncertainties, and unification claim fields.

The cumulative package retains the exact SG6 ZIP under UPSTREAM/ and adds these files as a successor overlay. No earlier terminal is silently rewritten. The package manifest hashes every artifact for independent replay.

The improvement follows the prime directive: the gate result matters, but the primary product is a stronger registry that tells future executions exactly how to derive coefficients, handle measured anchors, interpret crossings, and refuse unowned magnitude or proton-safety claims.

Building-block evolution: BB-AHG-1 SG7 amendment

Requires gauge-kinetic and heavy-threshold action ownership and routes proton safety to SG9.

The cumulative package retains the exact SG6 ZIP under UPSTREAM/ and adds these files as a successor overlay. No earlier terminal is silently rewritten. The package manifest hashes every artifact for independent replay.

The improvement follows the prime directive: the gate result matters, but the primary product is a stronger registry that tells future executions exactly how to derive coefficients, handle measured anchors, interpret crossings, and refuse unowned magnitude or proton-safety claims.

Building-block evolution: SG7 findings

Records the missing registry controls and preserves claim-aware acceptance of honest non-target spectra.

The cumulative package retains the exact SG6 ZIP under UPSTREAM/ and adds these files as a successor overlay. No earlier terminal is silently rewritten. The package manifest hashes every artifact for independent replay.

The improvement follows the prime directive: the gate result matters, but the primary product is a stronger registry that tells future executions exactly how to derive coefficients, handle measured anchors, interpret crossings, and refuse unowned magnitude or proton-safety claims.

Building-block evolution: SG7 scope reconciliation

Joins diagnostic PASS, nonrequired unification, OPEN threshold magnitude, and physical OPEN without conflation.

The cumulative package retains the exact SG6 ZIP under UPSTREAM/ and adds these files as a successor overlay. No earlier terminal is silently rewritten. The package manifest hashes every artifact for independent replay.

The improvement follows the prime directive: the gate result matters, but the primary product is a stronger registry that tells future executions exactly how to derive coefficients, handle measured anchors, interpret crossings, and refuse unowned magnitude or proton-safety claims.

Execution validation control 1

Control: Engine and verifier compile
Result: PASS

This check is executed by the standalone verifier rather than inferred from the dossier prose. The verifier rebuilds deterministic artifacts, validates cryptographic escrow, recomputes field contributions and transport, and joins the frozen SG6 package to the thirty-one-row reducer.

The PASS establishes reproducibility of the scoped diagnostic. It does not promote the independent reviewer terminal, threshold magnitude, higher-loop matching, or physical SG7 closure.

Execution validation control 2

Control: Two byte-identical generated runs
Result: PASS

This check is executed by the standalone verifier rather than inferred from the dossier prose. The verifier rebuilds deterministic artifacts, validates cryptographic escrow, recomputes field contributions and transport, and joins the frozen SG6 package to the thirty-one-row reducer.

The PASS establishes reproducibility of the scoped diagnostic. It does not promote the independent reviewer terminal, threshold magnitude, higher-loop matching, or physical SG7 closure.

Execution validation control 3

Control: All generated JSON parses
Result: PASS

This check is executed by the standalone verifier rather than inferred from the dossier prose. The verifier rebuilds deterministic artifacts, validates cryptographic escrow, recomputes field contributions and transport, and joins the frozen SG6 package to the thirty-one-row reducer.

The PASS establishes reproducibility of the scoped diagnostic. It does not promote the independent reviewer terminal, threshold magnitude, higher-loop matching, or physical SG7 closure.

Execution validation control 4

Control: Answer-key commitment and escrow
Result: PASS

This check is executed by the standalone verifier rather than inferred from the dossier prose. The verifier rebuilds deterministic artifacts, validates cryptographic escrow, recomputes field contributions and transport, and joins the frozen SG6 package to the thirty-one-row reducer.

The PASS establishes reproducibility of the scoped diagnostic. It does not promote the independent reviewer terminal, threshold magnitude, higher-loop matching, or physical SG7 closure.

Execution validation control 5

Control: Seven blinded sessions and complete manifests
Result: PASS

This check is executed by the standalone verifier rather than inferred from the dossier prose. The verifier rebuilds deterministic artifacts, validates cryptographic escrow, recomputes field contributions and transport, and joins the frozen SG6 package to the thirty-one-row reducer.

The PASS establishes reproducibility of the scoped diagnostic. It does not promote the independent reviewer terminal, threshold magnitude, higher-loop matching, or physical SG7 closure.

Execution validation control 6

Control: Manifest and witness hash escrow
Result: PASS

This check is executed by the standalone verifier rather than inferred from the dossier prose. The verifier rebuilds deterministic artifacts, validates cryptographic escrow, recomputes field contributions and transport, and joins the frozen SG6 package to the thirty-one-row reducer.

The PASS establishes reproducibility of the scoped diagnostic. It does not promote the independent reviewer terminal, threshold magnitude, higher-loop matching, or physical SG7 closure.

Execution validation control 7

Control: All seven verdicts match sealed key
Result: PASS

This check is executed by the standalone verifier rather than inferred from the dossier prose. The verifier rebuilds deterministic artifacts, validates cryptographic escrow, recomputes field contributions and transport, and joins the frozen SG6 package to the thirty-one-row reducer.

The PASS establishes reproducibility of the scoped diagnostic. It does not promote the independent reviewer terminal, threshold magnitude, higher-loop matching, or physical SG7 closure.

Execution validation control 8

Control: Five historical decoys caught at intended first failures
Result: PASS

This check is executed by the standalone verifier rather than inferred from the dossier prose. The verifier rebuilds deterministic artifacts, validates cryptographic escrow, recomputes field contributions and transport, and joins the frozen SG6 package to the thirty-one-row reducer.

The PASS establishes reproducibility of the scoped diagnostic. It does not promote the independent reviewer terminal, threshold magnitude, higher-loop matching, or physical SG7 closure.

Execution validation control 9

Control: Honest extra-doublet content accepted with non-SM coefficients
Result: PASS

This check is executed by the standalone verifier rather than inferred from the dossier prose. The verifier rebuilds deterministic artifacts, validates cryptographic escrow, recomputes field contributions and transport, and joins the frozen SG6 package to the thirty-one-row reducer.

The PASS establishes reproducibility of the scoped diagnostic. It does not promote the independent reviewer terminal, threshold magnitude, higher-loop matching, or physical SG7 closure.

Execution validation control 10

Control: Exact spectrum-derived SM one-loop coefficients
Result: PASS

This check is executed by the standalone verifier rather than inferred from the dossier prose. The verifier rebuilds deterministic artifacts, validates cryptographic escrow, recomputes field contributions and transport, and joins the frozen SG6 package to the thirty-one-row reducer.

The PASS establishes reproducibility of the scoped diagnostic. It does not promote the independent reviewer terminal, threshold magnitude, higher-loop matching, or physical SG7 closure.

Execution validation control 11

Control: Frozen measured anchor and GUT-normalized inverse couplings
Result: PASS

This check is executed by the standalone verifier rather than inferred from the dossier prose. The verifier rebuilds deterministic artifacts, validates cryptographic escrow, recomputes field contributions and transport, and joins the frozen SG6 package to the thirty-one-row reducer.

The PASS establishes reproducibility of the scoped diagnostic. It does not promote the independent reviewer terminal, threshold magnitude, higher-loop matching, or physical SG7 closure.

Execution validation control 12

Control: One-loop transport table and diagnostic residual signs
Result: PASS

This check is executed by the standalone verifier rather than inferred from the dossier prose. The verifier rebuilds deterministic artifacts, validates cryptographic escrow, recomputes field contributions and transport, and joins the frozen SG6 package to the thirty-one-row reducer.

The PASS establishes reproducibility of the scoped diagnostic. It does not promote the independent reviewer terminal, threshold magnitude, higher-loop matching, or physical SG7 closure.

Execution validation control 13

Control: Distinct pairwise crossings and no exact triple-unification claim
Result: PASS

This check is executed by the standalone verifier rather than inferred from the dossier prose. The verifier rebuilds deterministic artifacts, validates cryptographic escrow, recomputes field contributions and transport, and joins the frozen SG6 package to the thirty-one-row reducer.

The PASS establishes reproducibility of the scoped diagnostic. It does not promote the independent reviewer terminal, threshold magnitude, higher-loop matching, or physical SG7 closure.

Execution validation control 14

Control: Threshold-magnitude, proton-safety, and immutability firewall
Result: PASS

This check is executed by the standalone verifier rather than inferred from the dossier prose. The verifier rebuilds deterministic artifacts, validates cryptographic escrow, recomputes field contributions and transport, and joins the frozen SG6 package to the thirty-one-row reducer.

The PASS establishes reproducibility of the scoped diagnostic. It does not promote the independent reviewer terminal, threshold magnitude, higher-loop matching, or physical SG7 closure.

Execution validation control 15

Control: SG7 diagnostic, physical, threshold, and reviewer status grammar
Result: PASS

This check is executed by the standalone verifier rather than inferred from the dossier prose. The verifier rebuilds deterministic artifacts, validates cryptographic escrow, recomputes field contributions and transport, and joins the frozen SG6 package to the thirty-one-row reducer.

The PASS establishes reproducibility of the scoped diagnostic. It does not promote the independent reviewer terminal, threshold magnitude, higher-loop matching, or physical SG7 closure.

Execution validation control 16

Control: Frozen input hashes
Result: PASS

This check is executed by the standalone verifier rather than inferred from the dossier prose. The verifier rebuilds deterministic artifacts, validates cryptographic escrow, recomputes field contributions and transport, and joins the frozen SG6 package to the thirty-one-row reducer.

The PASS establishes reproducibility of the scoped diagnostic. It does not promote the independent reviewer terminal, threshold magnitude, higher-loop matching, or physical SG7 closure.

Execution validation control 17

Control: Frozen SG6 package integrity and extracted manifest replay
Result: PASS

This check is executed by the standalone verifier rather than inferred from the dossier prose. The verifier rebuilds deterministic artifacts, validates cryptographic escrow, recomputes field contributions and transport, and joins the frozen SG6 package to the thirty-one-row reducer.

The PASS establishes reproducibility of the scoped diagnostic. It does not promote the independent reviewer terminal, threshold magnitude, higher-loop matching, or physical SG7 closure.

Execution validation control 18

Control: SG6-to-SG7 cumulative dependency reducer
Result: PASS

This check is executed by the standalone verifier rather than inferred from the dossier prose. The verifier rebuilds deterministic artifacts, validates cryptographic escrow, recomputes field contributions and transport, and joins the frozen SG6 package to the thirty-one-row reducer.

The PASS establishes reproducibility of the scoped diagnostic. It does not promote the independent reviewer terminal, threshold magnitude, higher-loop matching, or physical SG7 closure.

Answer to the SG7 challenge

The declared Standard Model spectrum exactly yields b=(41/10,-19/6,-7). The frozen measured inverse couplings run consistently, and the pairwise crossings occur at approximately 1.03E13, 2.48E14, and 1.03E17 GeV. Their inequality means exact one-loop triple unification is not claimed.

This does not fail the architecture: exact unification is not required. The conditional diagnostic certificate passes. Threshold residual signs can be checked arithmetically at a fixed scale, but threshold magnitude remains OPEN in the physics-meter workstream. Proton safety remains owned by SG9.

Physical SG7 is OPEN because twenty-five inherited and six local evidence rows remain unresolved. The internal seven-session gauntlet passes; independent review is NOT-EVALUATED.

Final controlling statement

SG7 is complete as a scoped diagnostic, not as a physical unification or threshold theorem. The exact one-loop coefficients PASS; measured central value transport is PASS-CONDITIONAL; exact unification obligation is NOT-APPLICABLE; exact unification achieved is NOT-CLAIMED; threshold magnitude is OPEN under the physics-meter workstream; proton safety is owned by SG9; and physical SG7 remains OPEN with thirty-one blockers.

All seven sealed sessions and all eighteen execution controls pass. The reviewer-randomized gauntlet remains NOT-EVALUATED, and nature-selection is NOT-CLAIMED. These boundaries are part of the result, not qualifications to be removed from later summaries.