Skip to main content

Appendix: 05S5 Spin And Full Connection Holonomy Frontier

Parent hypothesis: 05S5, spin and full connection holonomy frontier
Status: 05S5 final verdict: useful bounded torsion/connection diagnostic
Purpose: Decide whether pulse, phase, spin, polarization, gyroscope, or local-frame transport records can honestly access spin/full-connection structure beyond the metric Levi-Civita curvature already bounded by H2 and H3.


1. Boundary

05S5 starts after the accepted-with-limits H2, H3, H4, Step 5, 05S, 05S2, 05S3, and 05S4 results. It does not restart metric reconstruction, curvature recovery, stress-energy recovery, or the conservative geometry-action comparison.

The frontier question is narrower:

Does an operational spin, polarization, gyroscope, or internal-state transport record contain connection-sensitive phase or holonomy content that is not already fixed by H3 metric frame holonomy, local Lorentz gauge convention, standard spinor GR, Berry phase, magnetic coupling, or instrument calibration?

05S5 can be useful in several ways:

  • recover standard spinor and polarization transport in pulse language without overclaiming novelty
  • prove that torsion-free spin holonomy is only a representation lift of H3 frame holonomy
  • define bounded residual diagnostics for independent connection, torsion-like, or nonmetricity-like channels
  • produce a clean no-go if no honest operational residual survives
  • identify the precise source-response map needed before a stronger claim can be made

05S5 explicitly does not yet derive:

  • the Einstein-Hilbert action
  • Newton's constant GG
  • the cosmological constant Λ\Lambda
  • metric quantization
  • torsion physics
  • nonmetricity dynamics
  • external deviations from known physics
  • a conserved source-response law for independent connection structure

2. Accepted Inputs

05S5 may use these inputs only inside their accepted limits.

InputAccepted useProhibited use
H2 metric and frame reconstructionSupply local events, tetrads, areas, volumes, frame metadata, and uncertainty ledgers when H2 conditions holdTreat tetrad gauge or frame labels as physical structure
H3 frame holonomySupply corrected local Lorentz frame closure and curvature-ready loop generatorsCount a spinor or polarization representation lift as new curvature
H4 phase responseSupply conservative matter phase-response and stress-energy identities for standard matterTreat standard matter response as a new connection law
Step 5 and 05S geometry actionSupply the conditional low-energy comparison target and caveat ledgerDefine spin/full-connection novelty by copying the target action
05S2 curvature estimatorSupply finite-loop, scalarization, and correction diagnosticsPromote estimator loss to physical spin phase
05S3 correction gateKeep external phenomenology and fitted coefficients boundedIntroduce new spin or torsion coefficients after seeing constraints
05S4 oriented phase contractSupply phase-readout, orientation, additivity, and artifact-ledger disciplineTreat a phase readout as geometry without scalarization or response law
Synthetic recordsTest algebra, signs, gauge covariance, loop reversal, and artifact separationClaim detection of independent connection physics

3. Prohibited Shortcuts

The following shortcuts fail the 05S5 contract:

  • treating tetrad gauge, local Lorentz frame labels, or spin basis choices as physical degrees of freedom
  • claiming novelty from the standard Dirac spin connection in curved spacetime
  • claiming novelty from the Spin double-cover sign change alone
  • treating polarization transport, geodetic precession, frame dragging, or Fermi-Walker transport as new physics when H3 already fixes the metric holonomy
  • hiding magnetic, electromagnetic, Berry, material-medium, spin-preparation, detector-axis, or calibration terms in a connection residual
  • importing torsion, nonmetricity, Einstein-Cartan, teleparallel, or metric-affine dynamics without a Pulse-specific coefficient or source-response law
  • fitting any phase-to-connection coefficient after comparing with observations
  • using H7, cosmology, quantum source-response, finite-loop physics, or vacuum residual claims as hidden support
  • calling a bounded residual a theory of torsion or full connection before conservation and source-response are supplied

4. Spin And Full-Connection Record Fields

An honest 05S5 record must separate observed fields, reconstructed geometry, artifact ledgers, and inferred residuals.

FieldMeaningUnitStatus
LLloop or transport protocol identifiernoneObserved protocol label
ppbase event or base stationnoneObserved or reconstructed
ea^μe^{\hat a}{}_\mutetrad or local orthonormal frame conventiondimensionlessH2/H3 reconstruction plus gauge choice
sLs_Lloop orientation signdimensionlessObserved traversal convention
ALa^b^A_L^{\hat a\hat b}oriented local area bivectorm2m^2H2/H3 reconstruction
HL\mathcal{H}_Lcorrected H3 local Lorentz frame holonomydimensionless matrixH3 data product
KL\mathcal{K}_Lsmall-loop H3 frame-holonomy generatordimensionless matrixH3 data product
Uobs(L)\mathcal{U}_{\mathrm{obs}}(L)observed spin, polarization, gyroscope, or internal-state holonomydimensionless matrix or phaseObserved
Φobs(L)\Phi_{\mathrm{obs}}(L)observed spin-sensitive scalar phase, when a scalar phase channel is usedradiansObserved
Φprep(L)\Phi_{\mathrm{prep}}(L)spin preparation and state-selection phase ledgerradiansArtifact ledger
Φmag(L)\Phi_{\mathrm{mag}}(L)magnetic and electromagnetic coupling ledgerradiansKnown-physics or artifact ledger
ΦBerry(L)\Phi_{\mathrm{Berry}}(L)Berry, material, medium, and basis-transport ledgerradiansKnown-physics or artifact ledger
Φdet(L)\Phi_{\mathrm{det}}(L)detector-axis, analyzer, and readout convention ledgerradiansArtifact ledger
Φinst(L)\Phi_{\mathrm{inst}}(L)instrument drift, electronics, cycle-wrap, and calibration ledgerradiansArtifact ledger
Φ(L)\Phi_{\ell}(L)finite-loop correction ledgerradiansDiagnostic ledger
ULC(L)\mathcal{U}_{\mathrm{LC}}(L)torsion-free metric spin or polarization transport predicted from H3dimensionless matrix or phaseReconstructed baseline
Rconn(L)\mathcal{R}_{\mathrm{conn}}(L)residual after subtracting the H3 Levi-Civita baseline and ledgersdimensionless matrix or phaseCandidate diagnostic
QLQ_Luncertainty, wrap, gauge, and quality metadatamixedRequired metadata

The record-level scalar phase correction, when a scalar spin phase is the measured channel, is:

ϕspin(L)=Φobs(L)Φprep(L)Φmag(L)ΦBerry(L)Φdet(L)Φinst(L)Φ(L)\phi_{\mathrm{spin}}(L)=\Phi_{\mathrm{obs}}(L)-\Phi_{\mathrm{prep}}(L)-\Phi_{\mathrm{mag}}(L)-\Phi_{\mathrm{Berry}}(L)-\Phi_{\mathrm{det}}(L)-\Phi_{\mathrm{inst}}(L)-\Phi_{\ell}(L)

This is not yet an independent-connection claim. It is only the corrected spin-sensitive phase channel.

For a matrix holonomy channel, the residual must compare observed transport to the torsion-free H3 baseline in the same representation:

Rconn(L)=Uobs(L)ULC(L)1\mathcal{R}_{\mathrm{conn}}(L)=\mathcal{U}_{\mathrm{obs}}(L)\mathcal{U}_{\mathrm{LC}}(L)^{-1}

This residual is a candidate diagnostic only after local-frame gauge behavior and all ledgers are stated.

5. Gauge And Local Lorentz Requirements

The tetrad satisfies:

gμν=ηa^b^ea^μeb^νg_{\mu\nu}=\eta_{\hat a\hat b}e^{\hat a}{}_\mu e^{\hat b}{}_\nu

A local Lorentz relabeling changes the tetrad by:

ea^μΛa^b^eb^μe^{\hat a}{}_\mu\mapsto\Lambda^{\hat a}{}_{\hat b}e^{\hat b}{}_\mu

This relabeling is gauge. A valid physical claim must either be invariant under this change or transform by conjugation in a way that leaves eigenphase, trace, norm, or another declared invariant unchanged.

The torsion-free spin connection baseline is the representation connection induced by the H2/H3 metric and tetrad choice. It is not an independent new field in 05S5. For a spinor representation, the connection one-form has the standard schematic form:

Ωμ=14ωμa^b^γa^γb^\Omega_\mu=\frac{1}{4}\omega_{\mu\hat a\hat b}\gamma^{\hat a}\gamma^{\hat b}

05S5 uses this only as known-physics baseline bookkeeping. A different local frame changes the displayed connection coefficients, but not a closed-loop gauge-invariant holonomy claim.

6. Artifact Ledger

05S5 treats a nonzero spin or connection residual as a candidate only after the artifact ledger is exhausted.

CategoryExamplesAllowed status
Local frame and tetrad conventionLorentz gauge, tetrad orientation, frame handedness, sign conventionGauge or convention, not physics
Spin preparationinitial spinor phase, polarization state, analyzer axis, state-selection biasMust be fixed, randomized, or subtracted
Spin double cover2π2\pi rotation sign, 4π4\pi spinor return, representation branchKnown representation behavior
Magnetic and electromagnetic couplingZeeman phase, Aharonov-Bohm phase, field gradients, shielding leakageKnown-physics ledger or contamination
Berry and material mediaadiabatic basis phase, birefringence, fiber or crystal transport, medium anisotropyKnown-physics ledger or contamination
Noninertial transportFermi-Walker transport, platform rotation, geodetic precession, frame draggingKnown metric or instrument term
Instrument and detectordetector-axis drift, readout bias, electronics, calibration, phase wrapArtifact ledger
Finite looploop-size correction, unresolved gradients, boundary leakageDiagnostic or artifact unless invariant
External frameworkEinstein-Cartan, teleparallel, metric-affine, SME-style coefficientKnown-framework term unless Pulse supplies a source-response law

7. Failure Labels

05S5 uses these failure labels throughout the appendix.

LabelMeaning
known-spinor-GR-onlyThe result is standard spinor or polarization coupling in torsion-free curved spacetime.
representation-lift-onlyThe spin or polarization holonomy is only the expected representation of the H3 frame holonomy.
gauge-artifactLocal Lorentz, tetrad, spin-basis, phase-origin, or cycle-wrap choices change the claimed effect.
frame-convention-artifactThe effect is caused by frame handedness, sign convention, or detector-axis convention.
spin-preparation-artifactThe effect is caused by preparation, analyzer, state-selection, or spin basis choices.
Berry-phase-contaminationBerry, medium, material, or adiabatic basis phases have not been separated.
magnetic-contaminationMagnetic, electromagnetic, Zeeman, or Aharonov-Bohm phases have not been separated.
torsion-unsupportedThe record does not contain an observable requiring torsion-like structure.
nonmetricity-unsupportedThe record does not contain an observable requiring nonmetricity-like structure.
coefficient-smugglingA new coefficient is fitted or chosen after comparison instead of fixed beforehand.
conservation-failureThe proposed response violates required local Lorentz or diffeomorphism identities.
source-response-missingA residual is bounded, but no conserved source-response map is supplied.
known-framework-equivalentThe result is a standard external torsion, nonmetricity, or spin-coupling framework in new notation.
scope-violationThe claim uses unsupported H7, cosmology, quantum source-response, finite-loop, or external-deviation assumptions.

8. Verdict Labels

05S5 must end with exactly one primary verdict label.

Novel Connection-Phase Response

This label requires all of the following:

  • an operational spin, polarization, gyroscope, or internal-state transport record exists before any action comparison
  • the residual is not fixed by H3 metric Levi-Civita holonomy or its spin/polarization representation lift
  • local Lorentz gauge, Spin double-cover sign, spin preparation, Berry, magnetic, detector, finite-loop, and instrument explanations are bounded
  • the effect has a predeclared coefficient or normalization rule
  • the effect has a conserved source-response map or a falsifiable response law
  • the effect produces a comparison-ready observable without fitting after the fact

Useful Conservative Spin-Connection Recovery

This label applies when 05S5 cleanly recovers standard spinor, polarization, or gyroscope transport from the accepted H2/H3/H4 inputs, and shows that no new independent connection content is established.

Useful Bounded Torsion/Connection Diagnostic

This label applies when 05S5 defines executable or operational residual checks that bound independent connection, torsion-like, or nonmetricity-like channels, but the Pulse Model still lacks a source-response law or fixed coefficient.

Blocked Conditional Bridge

This label applies when a stronger connection-phase bridge remains possible only after assuming a missing physical readout, gauge-invariant residual, source-response map, conservation identity, coefficient rule, or external constraint mapping.

Clean No-Go

This label applies when every candidate collapses to known spinor GR, representation lift, gauge artifact, frame convention, spin preparation, Berry or magnetic contamination, known external framework, or scope violation.

9. Ordered 05S5 Task Sequence

The 05S5 tasks must be completed in order:

  1. Define spin/full-connection contract and novelty bar.
  2. Define tetrad, spin-connection, and operational record schema.
  3. Recover standard spinor phase-response and conservation limits.
  4. Derive spin holonomy from H3 frame holonomy and identify independent content.
  5. Define independent connection, torsion, and nonmetricity diagnostics or no-go.
  6. Implement focused spin-connection holonomy helpers and tests.
  7. Benchmark spin/full-connection diagnostics against known physics and constraints.
  8. Run adversarial novelty and artifact review.
  9. Write final spin/full-connection verdict and update roadmap.

Each task may downgrade the path. Later tasks must not strengthen the claim unless all earlier gates remain satisfied.

10. 05S5.2 Tetrad And Operational Record Schema

05S5.2 turns the contract into a concrete record schema. The schema has three layers:

LayerExamplesAllowed use
Observedspin analyzer outcomes, polarization angle, gyroscope axis, interferometer phase, local field monitor, detector timestampDefine the operational transport or phase readout
ReconstructedH2 tetrad, H3 Lorentz holonomy, loop area bivector, torsion-free Levi-Civita spin liftBuild the standard metric baseline with stated gauge conventions
Inferredresidual connection holonomy, torsion-like residual, nonmetricity-like residual, coefficient mapCandidate diagnostic only after ledgers and gauge behavior pass

No inferred quantity may be fed back into the observed or reconstructed layer as if it were directly measured.

10.1 Local Frame Variables

The local tetrad ea^μe^{\hat a}{}_\mu and inverse tetrad ea^μe_{\hat a}{}^\mu satisfy:

ea^μeb^μ=δa^b^e^{\hat a}{}_\mu e_{\hat b}{}^\mu=\delta^{\hat a}{}_{\hat b} ea^μea^ν=δμνe^{\hat a}{}_\mu e_{\hat a}{}^\nu=\delta_\mu{}^\nu gμν=ηa^b^ea^μeb^νg_{\mu\nu}=\eta_{\hat a\hat b}e^{\hat a}{}_\mu e^{\hat b}{}_\nu

The local metric is:

ηa^b^=diag(1,1,1,1)\eta_{\hat a\hat b}=\mathrm{diag}(-1,1,1,1)

The tetrad is not unique. A local Lorentz transformation Λa^b^(p)\Lambda^{\hat a}{}_{\hat b}(p) gives an equally valid tetrad at the same event. Therefore record fields must state:

  • the local frame convention used for reporting components
  • whether the frame is reconstructed by H2, transported by H3, attached to an instrument, or synthetic
  • the orientation and time-orientation convention
  • the uncertainty or calibration metadata for the frame

A component such as ALa^b^A_L^{\hat a\hat b} is a reported local-frame component of an oriented area bivector. The physical loop area is not the coordinate component alone; it is the area plus the frame convention and uncertainty ledger.

10.2 Torsion-Free Spin Connection Baseline

The baseline spin connection is the torsion-free metric-compatible connection induced by the H2 metric and the chosen tetrad. It is defined by tetrad compatibility:

μea^ν=μea^νΓρνμea^ρ+ωμa^b^eb^ν=0\nabla_\mu e^{\hat a}{}_\nu=\partial_\mu e^{\hat a}{}_\nu-\Gamma^\rho{}_{\nu\mu}e^{\hat a}{}_\rho+\omega_\mu{}^{\hat a}{}_{\hat b}e^{\hat b}{}_\nu=0

Metric compatibility gives antisymmetry in the local Lorentz indices:

ωμa^b^=ωμb^a^\omega_{\mu\hat a\hat b}=-\omega_{\mu\hat b\hat a}

The torsion-free Cartan condition is:

Ta^=dea^+ωa^b^eb^=0T^{\hat a}=de^{\hat a}+\omega^{\hat a}{}_{\hat b}\wedge e^{\hat b}=0

This baseline is known-physics recovery. It is not a new Pulse field. A record that matches this baseline receives known-spinor-GR-only or representation-lift-only, depending on the channel.

10.3 Possible Independent Connection Components

05S5 may name independent connection components only as diagnostics until a source-response law exists. The general local connection can be decomposed schematically as:

ω~a^b^=ωa^b^+Ca^b^\widetilde{\omega}^{\hat a}{}_{\hat b}=\omega^{\hat a}{}_{\hat b}+C^{\hat a}{}_{\hat b}

Here ωa^b^\omega^{\hat a}{}_{\hat b} is the torsion-free H3 baseline and Ca^b^C^{\hat a}{}_{\hat b} is a candidate residual connection one-form. The residual may be classified by what it would change:

CandidateDiagnostic contentRequired before physics claim
Lorentz-connection residualextra antisymmetric local-frame transport beyond H3 Levi-Civita holonomygauge-covariant observable and conserved source-response map
Torsion-like residualnonzero closure of dea^+ω~a^b^eb^de^{\hat a}+\widetilde{\omega}^{\hat a}{}_{\hat b}\wedge e^{\hat b}operational translation or spin-response record not fixed by H3
Nonmetricity-like residuallocal length, angle, or metric compatibility failure under transportmetric-comparison record and calibration proof
Coefficient residualscalar or matrix coefficient multiplying a retained channelcoefficient fixed before observational comparison

If the record cannot distinguish Ca^b^C^{\hat a}{}_{\hat b} from gauge, preparation, Berry, magnetic, detector, or finite-loop terms, the channel is unsupported.

10.4 Spin, Polarization, And Gyroscope Transport Observables

The accepted operational readouts are:

ReadoutObserved recordBaseline comparisonCommon failure mode
Spinor interferometerrelative spin-sensitive output phase or populationSpin lift of H3 Lorentz holonomy plus magnetic and Berry ledgersmagnetic-contamination or Berry-phase-contamination
Polarization loopanalyzer angle, Stokes vector, or Jones vector after a closed pathvector or spin-1 representation of H3 frame holonomy plus medium ledgerknown-spinor-GR-only or material contamination
Gyroscope looplocal axis orientation after transportFermi-Walker or Levi-Civita transport from H3 and acceleration ledgersknown geodetic or frame-dragging recovery
Internal-state Ramsey loopclosed-loop phase difference between prepared internal statesstandard matter Hamiltonian plus H4 phase-response and field ledgersspin-preparation or magnetic artifact
Synthetic holonomydeclared matrix in a chosen representationalgebraic baseline for tests onlyno physical detection

For a representation RR, the Wilson-loop-style transport is:

UR(L)=Pexp(LΓR)\mathcal{U}_R(L)=\mathcal{P}\exp\left(-\oint_L \Gamma_R\right)

The path-ordering symbol and connection representation are bookkeeping. A physical claim requires a record of the preparation, path, readout, baseline, and artifact ledgers.

10.5 Spin Versus Lorentz Representation Behavior

The H3 frame holonomy lives in the local Lorentz representation. Spinor transport uses a lift into the Spin representation. Locally this lift has the same Lie algebra data, but the global representation is double covered.

For a spatial rotation angle θ\theta about a declared axis, a spin-half phase convention has the schematic eigenphase:

ϕspin=12θ\phi_{\mathrm{spin}}=\frac{1}{2}\theta

The same 2π2\pi Lorentz-frame rotation can map a spinor amplitude to its negative:

ψψ|\psi\rangle\mapsto-|\psi\rangle

This sign is known representation behavior. It is not a new connection effect unless the protocol observes an interference phase relative to a reference arm and all preparation, analyzer, magnetic, Berry, and detector ledgers are controlled. A density-matrix or intensity-only readout may be insensitive to the sign.

10.6 Phase-Wrap And Branch Conventions

Scalar spin-sensitive phase records must state a principal interval and unwrap integer:

Φobs=Φprincipal+2πnL\Phi_{\mathrm{obs}}=\Phi_{\mathrm{principal}}+2\pi n_L

where nLn_L is an integer fixed by the protocol or uncertainty model before comparison. Spinor double-cover branches must additionally state whether the comparison is modulo 2π2\pi in observed interferometer phase or modulo 4π4\pi in spinor-amplitude return.

A residual that changes when the branch convention changes is labeled gauge-artifact unless the branch is fixed by an independent observed interference record.

10.7 Artifact Ledger Required By The Record Schema

Every 05S5 operational record must carry, bound, or explicitly mark missing these ledgers:

LedgerRequired fieldsFailure label if not controlled
Frame conventiontetrad gauge, handedness, time orientation, detector-axis conventionframe-convention-artifact
Spin preparationprepared state, analyzer basis, reference arm, state-selection rulespin-preparation-artifact
Magnetic and electromagneticlocal field monitor, shielding state, charge or magnetic moment, modeled phasemagnetic-contamination
Berry and mediumbasis path, adiabaticity condition, medium response, material anisotropyBerry-phase-contamination
Instrument driftphase zero, electronics, detector alignment, timestamping, calibration driftgauge-artifact or frame-convention-artifact
Finite looploop scale, boundary leakage, unresolved gradients, refinement behaviortorsion-unsupported or source-response-missing

10.8 Minimal Record Acceptance Gate

A record is accepted for 05S5 analysis only if:

  • the observed spin, polarization, gyroscope, or internal-state readout is recorded before fitting any geometry residual
  • the H2/H3 reconstructed baseline is listed separately from the observed readout
  • the representation and double-cover convention are stated
  • phase-wrap and branch conventions are explicit
  • every artifact ledger is subtracted, bounded, or marked missing
  • any residual is classified as inferred and not treated as a source-response law

If any item fails, the record may still be useful for calibration or known-physics recovery, but it cannot support a connection-novelty claim.

11. 05S5.3 Standard Spinor Phase-Response And Conservation Limits

05S5.3 adds the conservative spinor matter side. The goal is not novelty. The goal is to state exactly what standard spinor phase-response already supplies before 05S5 asks for independent connection physics.

11.1 Accepted Spinor Baseline

The accepted baseline is a minimally coupled Dirac field on a smooth tetrad background with the torsion-free spin connection from Section 10.2. The flat local gamma matrices satisfy:

γa^γb^+γb^γa^=2ηa^b^I\gamma^{\hat a}\gamma^{\hat b}+\gamma^{\hat b}\gamma^{\hat a}=2\eta^{\hat a\hat b}I

The curved gamma matrices are:

γμ=ea^μγa^\gamma^\mu=e_{\hat a}{}^\mu\gamma^{\hat a}

The spinor covariant derivative is:

Dμψ=μψ+ΩμψD_\mu\psi=\partial_\mu\psi+\Omega_\mu\psi

For the adjoint spinor:

Dμψˉ=μψˉψˉΩμD_\mu\bar{\psi}=\partial_\mu\bar{\psi}-\bar{\psi}\Omega_\mu

The minimally coupled Hermitian Dirac action can be written as:

SD=d4xe[ic2(ψˉγμDμψ(Dμψˉ)γμψ)mc2ψˉψ]S_D=\int d^4x\,e\left[\frac{i\hbar c}{2}\left(\bar{\psi}\gamma^\mu D_\mu\psi-(D_\mu\bar{\psi})\gamma^\mu\psi\right)-mc^2\bar{\psi}\psi\right]

Here:

e=ge=\sqrt{-g}

The matter phase is:

ΘD=SD\Theta_D=\frac{S_D}{\hbar}

This is standard Dirac-in-curved-spacetime physics. In 05S5 it receives the label known-spinor-GR-only unless a later residual survives the independent-connection gates.

11.2 Spin Connection Phase-Response

Treating the tetrad and spin connection as independent variables for response bookkeeping gives the first-order variation:

δSD=d4xeτμa^δea^μ+12d4xesμa^b^δωμa^b^\delta S_D=\int d^4x\,e\,\tau^\mu{}_{\hat a}\delta e^{\hat a}{}_\mu+\frac{1}{2}\int d^4x\,e\,s^\mu{}_{\hat a\hat b}\delta\omega_\mu{}^{\hat a\hat b}

Equivalently:

δΘD=1d4xeτμa^δea^μ+12d4xesμa^b^δωμa^b^\delta\Theta_D=\frac{1}{\hbar}\int d^4x\,e\,\tau^\mu{}_{\hat a}\delta e^{\hat a}{}_\mu+\frac{1}{2\hbar}\int d^4x\,e\,s^\mu{}_{\hat a\hat b}\delta\omega_\mu{}^{\hat a\hat b}

The coefficients τμa^\tau^\mu{}_{\hat a} and sμa^b^s^\mu{}_{\hat a\hat b} are the tetrad-response and spin-connection-response densities in this convention. The spin-current density is antisymmetric:

sμa^b^=sμb^a^s^\mu{}_{\hat a\hat b}=-s^\mu{}_{\hat b\hat a}

For a minimally coupled Dirac field, the spin-current coefficient is the standard local Lorentz generator response. A common convention gives it proportional to the axial spin density, but 05S5 does not need that component formula for the gate. What matters here is the response structure:

  • metric or tetrad variation supplies the stress-energy side already bounded by H4
  • spin-connection variation supplies the spin-current side in first-order bookkeeping
  • in torsion-free GR, ωμa^b^\omega_\mu{}^{\hat a\hat b} is not independent after imposing the Levi-Civita constraint
  • a nonzero spin current alone does not prove torsion or independent connection dynamics

If a later task proposes an independent connection response, it must state whether δω\delta\omega is an independent variation, a constrained variation induced by δe\delta e, or a residual diagnostic field.

11.3 Local Lorentz Identity

Local Lorentz invariance links the antisymmetric tetrad response and spin-current divergence. Under an infinitesimal local Lorentz rotation λa^b^\lambda_{\hat a\hat b} with:

λa^b^=λb^a^\lambda_{\hat a\hat b}=-\lambda_{\hat b\hat a}

the tetrad and connection variations have the schematic form:

δea^μ=λa^b^eb^μ\delta e^{\hat a}{}_\mu=\lambda^{\hat a}{}_{\hat b}e^{\hat b}{}_\mu δωμa^b^=Dμλa^b^\delta\omega_\mu{}^{\hat a\hat b}=-D_\mu\lambda^{\hat a\hat b}

On shell and after discarding the boundary term, invariance implies the response identity:

τ[a^b^]+12Dμsμa^b^=0\tau_{[\hat a\hat b]}+\frac{1}{2}D_\mu s^\mu{}_{\hat a\hat b}=0

The factor depends on the chosen normalization of sμa^b^s^\mu{}_{\hat a\hat b}. The required content is invariant: local Lorentz symmetry does not allow an arbitrary antisymmetric stress response unrelated to spin current. A proposed connection residual that violates this identity is labeled conservation-failure.

11.4 Diffeomorphism Identity

Diffeomorphism invariance supplies the matter conservation condition. In torsion-free minimally coupled GR, the symmetric stress-energy tensor obeys the on-shell identity:

μTμν=0\nabla_\mu T^{\mu\nu}=0

In first-order tetrad bookkeeping with spin current, the conservation law can be written with additional spin-connection response terms before imposing the torsion-free constraint. 05S5 treats those terms as formal bookkeeping unless the task explicitly supplies an independent connection field and its source-response law.

The practical gate is:

  • torsion-free baseline: stress-energy conservation reduces to the H4 matter-side identity
  • independent connection proposal: the proposed stress, spin current, and connection response must obey compatible local Lorentz and diffeomorphism identities
  • diagnostic residual: if the residual is measured but no conserved source-response law is supplied, label it source-response-missing

11.5 Accepted, Formal, And Unsupported Formulas

The status of spinor formulas in 05S5 is:

Formula or claim05S5 status
Curved gamma matrices from the H2 tetradAccepted baseline
Torsion-free spin connection induced by H2/H3 metric dataAccepted baseline
Hermitian minimally coupled Dirac actionAccepted standard spinor recovery
Tetrad phase-response coefficientAccepted as conservative H4 extension in tetrad variables
Spin-current response to independent δω\delta\omegaAccepted as first-order response bookkeeping
Full symbolic proof of the Dirac stress-energy tensor in all conventionsFormal target, not completed here
Einstein-Cartan torsion sourced by spin currentKnown-framework-equivalent unless Pulse supplies its own source-response coefficient
Any external spin-gravity anomalyUnsupported until an operational residual and coefficient map are fixed

11.6 05S5.3 Gate Decision

05S5.3 passes only as conservative known-physics recovery:

  • standard spinor matter has a phase-response formulation in tetrad and spin-connection variables
  • spin current is the response to spin-connection variation in first-order bookkeeping
  • local Lorentz invariance and diffeomorphism invariance constrain the response coefficients
  • torsion-free GR removes the independent spin connection as a new field
  • no Pulse-specific connection dynamics, torsion law, nonmetricity law, or source-response coefficient has been derived

The resulting label for this task is known-spinor-GR-only unless later tasks isolate a residual not already fixed by the standard baseline.

12. 05S5.4 Spin Holonomy As H3 Frame-Holonomy Lift

05S5.4 connects operational spin or polarization transport to the accepted H3 frame-holonomy observable. The result is restrictive: in the torsion-free metric-compatible case, spin holonomy is a representation lift of the same local Lorentz holonomy already measured by H3.

12.1 H3 Small-Loop Input

H3 supplies the corrected local Lorentz frame holonomy:

HL=Λm1,0Λm2,m1Λ0,1\mathcal{H}_L=\Lambda_{m-1,0}\Lambda_{m-2,m-1}\cdots\Lambda_{0,1}

For a small loop based at pp, its generator is:

KL=logHL\mathcal{K}_L=\log\mathcal{H}_L

In a local orthonormal frame:

KLa^b^=Ra^b^c^d^ALc^d^+O(3)\mathcal{K}_L{}^{\hat a}{}_{\hat b}=R^{\hat a}{}_{\hat b\hat c\hat d}A_L^{\hat c\hat d}+O(\ell^3)

Reversing the loop orientation sends:

ALc^d^ALc^d^A_L^{\hat c\hat d}\mapsto-A_L^{\hat c\hat d}

and therefore:

KLKL+O(3)\mathcal{K}_L\mapsto-\mathcal{K}_L+O(\ell^3)

For the exact reversed path, the holonomy is inverted:

HL1=HL1\mathcal{H}_{L^{-1}}=\mathcal{H}_L^{-1}

12.2 Spinor Representation Lift

In the Dirac spinor representation, the torsion-free spin connection induces a spin holonomy:

U1/2,LC(L)=Pexp(LΩμdxμ)\mathcal{U}_{1/2,\mathrm{LC}}(L)=\mathcal{P}\exp\left(-\oint_L\Omega_\mu dx^\mu\right)

Using the convention from Section 5:

Ωμ=14ωμa^b^γa^γb^\Omega_\mu=\frac{1}{4}\omega_{\mu\hat a\hat b}\gamma^{\hat a}\gamma^{\hat b}

For a small loop, the spin-holonomy generator is the same H3 generator represented on spinors:

logU1/2,LC(L)=14KLa^b^γa^γb^+O(3)\log\mathcal{U}_{1/2,\mathrm{LC}}(L)=-\frac{1}{4}\mathcal{K}_{L\hat a\hat b}\gamma^{\hat a}\gamma^{\hat b}+O(\ell^3)

The overall sign follows the edge-transport convention. Changing that convention changes both the H3 baseline and the spin lift. It does not create independent physics.

The same logic applies to any finite-dimensional representation RR:

UR,LC(L)=R(HL)\mathcal{U}_{R,\mathrm{LC}}(L)=R(\mathcal{H}_L)

up to the declared representation convention and branch choice.

12.3 Gauge Covariance

Under a local Lorentz relabeling at the base event:

HLΛ(p)HLΛ(p)1\mathcal{H}_L\mapsto\Lambda(p)\mathcal{H}_L\Lambda(p)^{-1}

The spin lift transforms by conjugation:

U1/2,LC(L)S(p)U1/2,LC(L)S(p)1\mathcal{U}_{1/2,\mathrm{LC}}(L)\mapsto S(p)\mathcal{U}_{1/2,\mathrm{LC}}(L)S(p)^{-1}

where S(p)S(p) is a Spin lift of Λ(p)\Lambda(p). Therefore only conjugation-invariant quantities, or explicitly covariant comparisons in the same transported basis, can be used as physical observables.

Acceptable invariant summaries include:

  • eigenphases after the branch convention is fixed
  • trace or normalized trace in a declared representation
  • generator norm in a declared local-frame metric
  • comparison of observed and predicted holonomies after both are expressed in the same base frame

A raw component of U1/2\mathcal{U}_{1/2} in an arbitrary spin basis is not a physical residual.

12.4 Double-Cover Branch

The Lorentz holonomy may have two Spin lifts:

S(HL)S(\mathcal{H}_L)

and:

S(HL)-S(\mathcal{H}_L)

For infinitesimal loops connected continuously to the identity, 05S5 uses the identity-connected lift. For larger loops or protocols containing a 2π2\pi rotation, the observed interference reference must state the branch. Otherwise a sign mismatch is classified as gauge-artifact or frame-convention-artifact.

The double-cover sign can be physically visible in an interferometer, but it is standard spinor representation behavior. By itself it receives representation-lift-only.

12.5 Restricted Theorem

Under the following assumptions:

  • H2 supplies a smooth metric and local tetrad in the accepted domain
  • H3 supplies corrected local Lorentz frame holonomy HL\mathcal{H}_L
  • the connection is torsion-free and metric-compatible
  • the spin, polarization, or gyroscope channel is minimally coupled to that connection
  • preparation, magnetic, Berry, detector, finite-loop, and instrument ledgers are controlled
  • the representation and branch convention are fixed before comparison

then the predicted spin or polarization holonomy is completely fixed by HL\mathcal{H}_L through the chosen representation:

UR,LC(L)=R(HL)\mathcal{U}_{R,\mathrm{LC}}(L)=R(\mathcal{H}_L)

Consequently, matching the predicted holonomy is useful known-physics recovery, not independent connection evidence. The accepted label for this standard case is representation-lift-only, with known-spinor-GR-only for the underlying spinor matter coupling.

12.6 Independent Content Residual

The only residual that can pass beyond the representation-lift theorem is:

RR,conn(L)=UR,obs(L)R(HL)1UR,art(L)1\mathcal{R}_{R,\mathrm{conn}}(L)=\mathcal{U}_{R,\mathrm{obs}}(L)R(\mathcal{H}_L)^{-1}\mathcal{U}_{R,\mathrm{art}}(L)^{-1}

Here UR,art(L)\mathcal{U}_{R,\mathrm{art}}(L) is the ordered product of preparation, magnetic, Berry, detector, finite-loop, and instrument correction transports in the same representation. This convention treats the artifact correction as left-applied before the Levi-Civita representation lift, so an artifact-explained record has UR,obs(L)=UR,art(L)R(HL)\mathcal{U}_{R,\mathrm{obs}}(L)=\mathcal{U}_{R,\mathrm{art}}(L)R(\mathcal{H}_L). The order matters when artifact and baseline holonomies do not commute. If the correction is scalar-phase-only, this equation is replaced by the scalar phase ledger from Section 4.

For a residual close to identity:

ΔKR,conn(L)=logRR,conn(L)\Delta\mathcal{K}_{R,\mathrm{conn}}(L)=\log\mathcal{R}_{R,\mathrm{conn}}(L)

This residual is only a candidate diagnostic. It becomes independent connection evidence only if it is:

  • not removable by local Lorentz gauge or branch convention
  • not explained by H3 frame holonomy in another representation
  • not explained by spin preparation, magnetic, Berry, detector, finite-loop, or instrument ledgers
  • additive or composition-safe under independent loops
  • tied to a conserved source-response map or a predeclared falsifiable coefficient rule

Without the last item, the correct label is source-response-missing, not novelty.

12.7 05S5.4 Gate Decision

05S5.4 establishes a reduction result:

  • torsion-free spin, polarization, and gyroscope holonomy are fixed by H3 frame holonomy plus representation choice
  • loop reversal inverts the holonomy and flips the small-loop generator
  • local Lorentz gauge changes the displayed matrices by conjugation, not by physical content
  • Spin double-cover signs are standard representation behavior
  • independent content requires a residual against R(HL)R(\mathcal{H}_L) after all artifact ledgers are applied

The standard channel is therefore representation-lift-only. A nonzero residual remains a bounded diagnostic until 05S5.5 decides whether torsion, nonmetricity, or independent connection labels are supported.

13. 05S5.5 Independent Connection, Torsion, And Nonmetricity Diagnostics

05S5.5 asks whether any residual from Section 12 can honestly be interpreted as independent connection structure. The answer is strict: 05S5 may define bounded diagnostics, but it does not derive torsion physics, nonmetricity physics, or a source-response law.

13.1 Diagnostic Taxonomy

ChannelOperational recordTensor or representation contentDimensionDefault label
Lorentz-connection residualspin, polarization, or frame holonomy after H3 baseline and ledgersadjoint local Lorentz generator or representation generatordimensionless, or m2m^{-2} after area divisionsource-response-missing
Torsion-like closure residualtranslational endpoint, Burgers-vector, or loop-closure displacement not fixed by H2/H3local vector-valued two-form densitymm, or m1m^{-1} after area divisiontorsion-unsupported
Nonmetricity-like drift residuallength, angle, clock-rate, or inner-product drift under transportsymmetric local-frame metric-compatibility residualdimensionless, or m1m^{-1} by path lengthnonmetricity-unsupported

The diagnostics are intentionally not interchangeable. A spinor phase residual is not automatically torsion. A length drift is not automatically Lorentz curvature. A tetrad gauge change is not either.

13.2 Lorentz-Connection Residual

The retained Lorentz-connection diagnostic is the residual holonomy already defined in Section 12:

RR,conn(L)=UR,obs(L)R(HL)1UR,art(L)1\mathcal{R}_{R,\mathrm{conn}}(L)=\mathcal{U}_{R,\mathrm{obs}}(L)R(\mathcal{H}_L)^{-1}\mathcal{U}_{R,\mathrm{art}}(L)^{-1}

Near identity:

ΔKR,conn(L)=logRR,conn(L)\Delta\mathcal{K}_{R,\mathrm{conn}}(L)=\log\mathcal{R}_{R,\mathrm{conn}}(L)

If the representation map can be inverted on the measured subspace, this may be reported as a local Lorentz generator:

ΔKconna^b^(L)\Delta K_{\mathrm{conn}}{}^{\hat a}{}_{\hat b}(L)

The area-normalized diagnostic is:

ΔBconna^b^(L)=ΔKconna^b^(L)AL\Delta B_{\mathrm{conn}}{}^{\hat a}{}_{\hat b}(L)=\frac{\Delta K_{\mathrm{conn}}{}^{\hat a}{}_{\hat b}(L)}{A_L}

where ALA_L is the positive local loop area attached to the measured two-plane. The units of ΔBconn\Delta B_{\mathrm{conn}} are m2m^{-2}.

This channel is retained only as a bounded diagnostic. It vanishes when:

  • the observed holonomy equals the H3 Levi-Civita representation lift after ledgers
  • the residual changes by gauge convention or branch choice
  • the residual is explained by magnetic, Berry, detector, finite-loop, or instrument terms
  • the residual appears only in an unobservable spinor-basis component

It can become novelty only if a later theory supplies a conserved source-response map, such as a predeclared relation between spin current and ΔBconn\Delta B_{\mathrm{conn}}. 05S5 does not supply that map.

13.3 Torsion-Like Residual

Torsion is not a spin phase by definition. Operationally, 05S5 requires a translational closure record. A candidate loop displacement residual has the form:

bLa^=Δxobsa^(L)ΔxLCa^(L)Δxarta^(L)b_L^{\hat a}=\Delta x_{\mathrm{obs}}^{\hat a}(L)-\Delta x_{\mathrm{LC}}^{\hat a}(L)-\Delta x_{\mathrm{art}}^{\hat a}(L)

For a small loop, a torsion-like density would scale as:

bLa^=Ta^b^c^ALb^c^+O(3)b_L^{\hat a}=T^{\hat a}{}_{\hat b\hat c}A_L^{\hat b\hat c}+O(\ell^3)

The vector bLa^b_L^{\hat a} has units of length. The density Ta^b^c^T^{\hat a}{}_{\hat b\hat c} has units m1m^{-1}.

This channel requires a record that independently compares endpoint closure, lattice-like Burgers vector, pulse-marker translation, or equivalent displacement data. H3 frame rotation is not enough. H2 coordinate reconstruction is not enough if it already assumes a smooth torsion-free event manifold.

05S5 therefore gives torsion the default label torsion-unsupported. It may be upgraded only to a bounded diagnostic if all of the following are present:

  • an operational translational closure record independent of pure frame rotation
  • a loop-area and orientation convention from H2/H3
  • an artifact ledger for actuator, station motion, signal path, platform acceleration, and finite-loop effects
  • gauge-covariant reporting of bLa^b_L^{\hat a} in the base local frame
  • evidence that the residual cannot be removed by event-identification or frame-convention choices

Even then, novelty still requires a source-response law and coefficient rule.

13.4 Nonmetricity-Like Residual

Nonmetricity requires failure of metric compatibility, not merely spin precession. A candidate record must compare length, angle, clock-rate, or inner-product preservation under a closed transport protocol.

For a transported local vector va^v^{\hat a}, define the observed norm drift:

ΔqL(v)=ηa^b^vouta^voutb^ηa^b^vina^vinb^Δqart(v)\Delta q_L(v)=\eta_{\hat a\hat b}v_{\mathrm{out}}^{\hat a}v_{\mathrm{out}}^{\hat b}-\eta_{\hat a\hat b}v_{\mathrm{in}}^{\hat a}v_{\mathrm{in}}^{\hat b}-\Delta q_{\mathrm{art}}(v)

For two transported vectors ua^u^{\hat a} and va^v^{\hat a}, define the inner-product drift:

ΔqL(u,v)=ηa^b^uouta^voutb^ηa^b^uina^vinb^Δqart(u,v)\Delta q_L(u,v)=\eta_{\hat a\hat b}u_{\mathrm{out}}^{\hat a}v_{\mathrm{out}}^{\hat b}-\eta_{\hat a\hat b}u_{\mathrm{in}}^{\hat a}v_{\mathrm{in}}^{\hat b}-\Delta q_{\mathrm{art}}(u,v)

The nonmetricity one-form would be:

Qμa^b^=Dμηa^b^Q_{\mu\hat a\hat b}=-D_\mu\eta_{\hat a\hat b}

In the Levi-Civita baseline:

Qμa^b^=0Q_{\mu\hat a\hat b}=0

05S5 gives this channel the default label nonmetricity-unsupported. It may be retained as a bounded diagnostic only if an independent length, angle, frequency-ratio, or inner-product transport record survives detector-scale, clock-calibration, medium, and frame-convention ledgers.

13.5 Source-Response Requirements

A residual is not a theory. To become a Pulse-specific connection response, a retained channel must supply:

RequirementMeaningFailure label
Source variablea stress, spin-current, hypermomentum-like, or pulse-record source stated before comparisonsource-response-missing
Coefficient rulea fixed coefficient, normalization, or scaling law not fitted after seeing boundscoefficient-smuggling
Conservation identitycompatibility with local Lorentz and diffeomorphism response identitiesconservation-failure
Gauge behaviorinvariant or covariant residual under local Lorentz and branch changesgauge-artifact
Artifact closuremagnetic, Berry, detector, finite-loop, and instrument ledgers boundedcontamination or artifact labels
Known-framework comparisonstatement of equivalence or difference from Einstein-Cartan, teleparallel, metric-affine, or SME-style modelsknown-framework-equivalent

Spin current is the natural source candidate for a Lorentz-connection or torsion-like response, but 05S5.3 only recovered standard first-order response bookkeeping. It did not derive a Pulse-specific equation connecting spin current to residual connection holonomy.

13.6 Conditions For Vanishing

All independent-connection diagnostics vanish in the conservative baseline when:

UR,obs(L)=UR,art(L)R(HL)\mathcal{U}_{R,\mathrm{obs}}(L)=\mathcal{U}_{R,\mathrm{art}}(L)R(\mathcal{H}_L) bLa^=0b_L^{\hat a}=0 ΔqL(u,v)=0\Delta q_L(u,v)=0

These are the expected results for torsion-free, metric-compatible, artifact-controlled known physics.

13.7 05S5.5 Gate Decision

05S5.5 retains only one executable-ready diagnostic class:

  • Lorentz-connection holonomy residual: retained as a bounded diagnostic with label source-response-missing.

The other channels remain unsupported unless future records supply new operational data:

  • Torsion-like residual: torsion-unsupported without a translational closure record independent of H3 frame rotation.
  • Nonmetricity-like residual: nonmetricity-unsupported without an independent length, angle, or inner-product drift record.

No channel receives the novel connection-phase response label in 05S5.5. The best possible downstream status after this gate is a useful bounded torsion/connection diagnostic, unless later tasks add evidence that was not available here.

14. 05S5.6 Executable Spin-Connection Holonomy Helpers

05S5.6 adds a focused executable layer in src/pulse_model/spin_connection_holonomy.py with tests in tests/test_spin_connection_holonomy.py.

The code implements only the channels justified by Sections 12 and 13:

Helper areaWhat is checked05S5 status
Spatial H3 generator liftmaps a spatial H3 frame-holonomy generator into a spin-half holonomyuseful conservative recovery
Identity and flat holonomyzero H3 generator maps to identity spin holonomyrepresentation-lift-only
Loop reversalreversed loop uses inverse spin holonomyuseful sign and orientation check
Local-frame relabelingobserved and baseline holonomies transform by conjugation with invariant residual normgauge-covariant diagnostic
Spin double cover2π2\pi rotation gives spinor sign change and 4π4\pi returns to identityknown representation behavior
Scalar spin phase recordsubtracts preparation, magnetic, Berry, detector, instrument, and finite-loop ledgersartifact filter
Matrix holonomy residualcomputes residual against the H3 spin lift and artifact holonomybounded connection diagnostic
Input validationrejects nonfinite phases, invalid branches, unsupported boost generators, non-antisymmetric generators, singular matrices, and invalid areasguardrail

The retained executable residuals classify as:

ConditionCode classificationAppendix label
observed holonomy or phase equals the H3 representation lift after ledgersrepresentation-lift-onlyuseful conservative recovery
nonzero residual with no source-response lawsource-response-missinguseful bounded diagnostic only
nonzero residual with a supplied source-response flagbounded-connection-diagnosticdiagnostic, not accepted novelty by itself

The executable layer deliberately does not implement:

  • boost-sector spin holonomy
  • full Dirac equation evolution
  • Einstein-Cartan dynamics
  • torsion solving
  • nonmetricity solving
  • metric-affine field equations
  • external-constraint fitting

Those omissions are part of the 05S5.5 gate decision. Torsion-like diagnostics need translational closure records before code would be honest. Nonmetricity-like diagnostics need independent length, angle, or inner-product drift records before code would be honest. Neither record type is present in 05S5.

14.1 Verification For 05S5.6

Focused verification:

uv run python -m unittest tests.test_spin_connection_holonomy

Expected result:

Ran 9 tests
OK

The full suite remains a final epic-level check after downstream benchmark and verdict sections are complete.

15. 05S5.7 Benchmark And Constraint Matrix

05S5.7 benchmarks the retained spin/full-connection diagnostics against known physics and external constraint families. The central rule is conservative:

External bounds are not imported as Pulse bounds unless 05S5 supplies a parameter map from the measured residual to the external coefficient.

05S5 currently lacks that map. Therefore external constraint values below are dated context, not fitted limits on the Pulse Model.

15.1 Sources Checked

Sources checked on 2026-06-08:

  • Gravity Probe B final results: Everitt et al., 2011, arXiv:1105.3456 and Phys. Rev. Lett. 106, 221101, reports geodetic drift 6601.8±18.3-6601.8\pm18.3 mas/yr and frame-dragging drift 37.2±7.2-37.2\pm7.2 mas/yr versus GR predictions 6606.1-6606.1 mas/yr and 39.2-39.2 mas/yr. Link: arXiv:1105.3456
  • SME Data Tables: Kostelecky and Russell, arXiv:0801.0287, last revised 2026-02-05 as v19, 2026 edition. Link: arXiv:0801.0287
  • Torsion constraints from Lorentz-violation bounds: Kostelecky, Russell, and Tasson, arXiv:0712.4393, Phys. Rev. Lett. 100, 111102, reports constraints involving 19 of 24 torsion components down to order 103110^{-31} GeV. Link: arXiv:0712.4393
  • Nonmetricity constraints from Lorentz-violation bounds: Foster, Kostelecky, and Xu, arXiv:1612.08744, Phys. Rev. D 95, 084033, reports constraints involving 40 nonmetricity components down to order 104310^{-43} GeV. Link: arXiv:1612.08744
  • Gravitational Faraday holonomy: recent polarization-transport benchmark for known curved-spacetime parallel transport and projection effects. Link: EPJ C 2025 article

15.2 Internal Benchmark Matrix

BenchmarkObservableExpected sign or scalingArtifact ledgerProvenance05S5 status
Flat identity transportspinor holonomy from zero H3 generatoridentity holonomy, zero residualnone beyond numerical toleranceinternal executable testknown-physics recovery
Small spatial loopspin-half lift of H3 spatial generatorspin phase is half the local rotation angle by conventionbranch and representation conventionH3 plus 05S5 helperrepresentation-lift-only
Loop reversalreversed spin holonomyinverse holonomy; small-loop generator changes signsame branch and detector basisH3 theorem and executable testuseful diagnostic
Local-frame relabelingconjugated observed and baseline holonomiesresidual norm invariant under conjugationtetrad gauge and spin basis05S5 helpergauge-covariant diagnostic
Spin double coverspinor return under 2π2\pi and 4π4\pi rotations2π2\pi changes spinor sign, 4π4\pi returns identityinterference branch and analyzer basisstandard spin representation and executable testrepresentation-lift-only
Scalar spin phase ledgercorrected scalar phase residualobserved phase minus Levi-Civita, preparation, magnetic, Berry, detector, instrument, and finite-loop ledgersall scalar ledgers visible05S5 helperartifact filter
Matrix artifact holonomyobserved holonomy minus H3 lift and artifact holonomyidentity residual when artifact model explains the differenceordered artifact transport05S5 helperartifact filter
Nonzero Lorentz-connection residualresidual matrix against H3 liftresidual norm scales as generator mismatch; area density scales as residual divided by loop areaall spin, Berry, magnetic, detector, finite-loop, and instrument ledgers05S5 retained diagnosticsource-response-missing

15.3 Known-Physics Constraint Matrix

Constraint familyWhat it testsExpected 05S5 behaviorArtifact or scope guardExternal provenance05S5 use
Gyroscope geodetic and frame-dragging precessionmetric spin-axis transport in Earth orbitrecover GR precession as H3 frame transport or Fermi-Walker transportpatch potentials, gyro calibration, spacecraft roll, guide-star modelingGP-B final result, 2011benchmark only, no residual fit
Polarization parallel transport and gravitational Faraday holonomyphoton polarization transport around curved pathsclassify as known vector or spin-1 representation transport unless a residual survives medium and projection ledgersplasma, birefringence, source polarization, projection conventiongravitational Faraday holonomy literatureknown-physics recovery
Magnetic and electromagnetic spin phasesZeeman, Aharonov-Bohm, field-gradient, and shielding-sensitive spin phasessubtract or bound before connection residual is consideredlocal field monitors and shielding modelstandard spin Hamiltonian and SME tables for anomaly searchesartifact ledger
Berry and material phasesadiabatic basis phase, fiber or crystal birefringence, material polarization transportsubtract or label contaminationmedium, path, adiabaticity, analyzer conventionstandard geometric-phase physicsartifact ledger
Torsion searches through fermion couplingspossible torsion components mapped to spin couplingsno direct 05S5 torsion bound because translational closure and Pulse coefficient map are absentknown-framework equivalence and coefficient smugglingtorsion constraints down to order 103110^{-31} GeV for mapped componentscontext only
Nonmetricity searches through fermion and photon couplingspossible nonmetricity components mapped to matter/photon couplingsno direct 05S5 nonmetricity bound because length/angle drift record and Pulse map are absentknown-framework equivalence and coefficient smugglingnonmetricity constraints down to order 104310^{-43} GeV for mapped componentscontext only
SME Lorentz and CPT coefficient tablesbroad matter, photon, neutrino, and gravity-sector coefficientsno import until residual is mapped to a named coefficientcoefficient basis and frame convention2026 SME Data Tables v19future comparison index only

15.4 Constraint Import Rule

An external numerical bound can enter a future 05S5 successor only if all of the following are true:

  • the 05S5 residual is operationally measured or synthetically predeclared before comparison
  • the residual is mapped to a named external coefficient or source-response law
  • units and frame conventions match
  • magnetic, Berry, detector, material, finite-loop, and instrument ledgers are already bounded
  • the coefficient is not chosen after seeing the bound

Until then, external constraint families are guardrails. They prevent overclaiming, but they do not validate or falsify a Pulse-specific residual.

15.5 05S5.7 Gate Decision

The benchmark matrix supports a useful bounded diagnostic only:

  • the flat, loop-reversal, gauge-covariance, double-cover, scalar-ledger, and matrix-ledger checks pass internally
  • GP-B and polarization transport remain known metric transport benchmarks
  • torsion and nonmetricity external bounds cannot be imported without new operational records and coefficient maps
  • the 2026 SME Data Tables are relevant future comparison infrastructure, not current evidence

The retained 05S5 residual remains source-response-missing.

16. 05S5.8 Adversarial Novelty And Artifact Review

05S5.8 stress-tests every surviving claim. The review is intentionally severe. A claim is not Pulse-specific unless it survives gauge, artifact, known-framework, coefficient, conservation, scope, and source-response checks.

16.1 Review Key

CheckMeaning
Gauge and framelocal Lorentz gauge, tetrad convention, frame handedness, and detector-axis convention
Spin and branchSpin double-cover sign, spin basis, preparation, analyzer, and phase-wrap branch
EM and Berrymagnetic, electromagnetic, Berry, material, medium, and adiabatic contamination
Known GR or liftordinary Fermi-Walker, geodetic, frame-dragging, polarization parallel transport, or representation-lift explanation
Known frameworkEinstein-Cartan, teleparallel, metric-affine, SME, or other external framework equivalence
Coefficient and conservationcoefficient smuggling, local Lorentz identity, diffeomorphism identity, and source-response-map absence
ScopeH2, H3, H4, 05S4, H7, finite-loop, quantum-source, and external-deviation boundary

16.2 Claim Review Table

Claim or benchmarkGauge and frameSpin and branchEM and BerryKnown GR or liftKnown frameworkCoefficient and conservationScopeFinal label
Standard Dirac phase-response in tetrad variablesgauge covariant only after tetrad conventionspin basis is conventionalcharged fields need EM ledgerstandard curved-spacetime Dirac theoryno new framework neededconservation identities are standard; no new response lawinside H4 extensionuseful conservative recovery
Spin-current response to independent connection variationconvention dependent without first-order setupspin generator normalization must be declaredEM spin terms must be separatedstandard first-order matter responseEinstein-Cartan already covers a known versionno Pulse coefficient or connection equationformal target onlyknown-framework-equivalent
H3 frame holonomy lifted to spin-half holonomyconjugation only; invariants survivebranch must be fixedno EM/Berry content by itselfexactly representation liftno independent connectionno new source-responseinside H3/05S5useful conservative recovery
Flat identity transport testno preferred frame remainsno branch issue near identityno artifact presentflat known physicsno external frameworkno source neededsynthetic onlyuseful conservative recovery
Loop reversal and inverse holonomy testsame base-frame convention requiredbranch must be consistentno artifact presentordinary holonomy inversionno external frameworkno source neededsynthetic/internaluseful conservative recovery
Local-frame relabeling covariance testpasses by conjugation-invariant residual normspin basis relabeling handledno artifact presentstandard gauge covarianceno external frameworkno source neededsynthetic/internaluseful bounded diagnostic
Spin double-cover signsign can be branch conventionexactly Spin double-cover behaviorno artifact presentstandard spinor representationno external frameworkno source-responseinside known spin physicsuseful conservative recovery
Scalar spin phase artifact ledgerframe and detector axes must be recordedpreparation and branch are explicit ledgersmagnetic and Berry ledgers are explicitmay reduce to standard phase accountingno new frameworknonzero remainder lacks source lawinside 05S4 phase-ledger disciplineuseful bounded diagnostic
Matrix holonomy artifact ledgersame representation and base frame requiredspin branch must be fixedartifact holonomy must include EM/Berry termsknown lift subtracted firstno new frameworknonzero remainder lacks source lawinside 05S5 helper scopeuseful bounded diagnostic
Nonzero Lorentz-connection residualcan be gauge artifact unless conjugation-safecan be branch or preparation artifactcan be EM/Berry contaminationcan be missed representation liftmay map to SME or metric-affine coefficientsource-response map absentno external fit allowedblocked conditional bridge
GP-B geodetic and frame-dragging benchmarkguide-star and gyro-frame conventions matterspin axis is classical gyroscope, not spinor noveltypatch potentials and instrument effects dominate ledgerordinary GR precessionno torsion claimno Pulse coefficientknown-physics benchmark onlyuseful conservative recovery
Polarization gravitational Faraday holonomyprojection and tetrad convention centralpolarization basis and analyzer matterplasma, birefringence, and medium effects centralknown polarization transportno independent connectionno Pulse coefficientbenchmark onlyuseful conservative recovery
Torsion-like residualtranslational frame convention unresolvedspin phase alone is insufficientforce and actuator artifacts likelynot fixed by spin holonomy aloneEinstein-Cartan and torsion searches already knownno translational record, coefficient, or conservation lawoutside current recordsno-go
Nonmetricity-like residuallength and angle standards are calibration-heavyspin branch not decisivematerial and clock calibration likelynot fixed by spin holonomy alonemetric-affine and SME mappings already knownno inner-product drift record or source lawoutside current recordsno-go
SME, torsion, and nonmetricity external constraintscoefficient frame conventions dominatespin-sector mappings are basis dependentmany bounds are artifact-ledger sensitiveexternal frameworks, not Pulse derivationsknown-framework comparison onlyno Pulse map, so direct import is coefficient smugglingexternal comparison onlyblocked conditional bridge

16.3 Adversarial Gate Decision

No row receives pulse-specific. The surviving useful outputs are:

  • Useful conservative recovery: standard Dirac phase-response, H3-to-spin representation lift, flat identity, loop reversal, Spin double-cover behavior, GP-B-style gyroscope precession, and polarization transport benchmarks.
  • Useful bounded diagnostic: local-frame covariance checks, scalar phase ledgers, matrix holonomy residual ledgers, and residual norm checks.
  • Blocked conditional bridge: nonzero Lorentz-connection residuals and external-constraint comparisons, because both need a source-response map and coefficient rule.
  • No-go for current records: torsion-like and nonmetricity-like claims, because 05S5 has no translational closure or independent length/angle drift record.

The adversarial result downgrades 05S5 from possible novelty to a conservative recovery plus bounded diagnostic unless a future task adds a new operational residual and source-response law.

17. 05S5 Final Verdict

Primary verdict label: useful bounded torsion/connection diagnostic

Review-2 project-rule classification: diagnostic tool

The label is deliberately narrow. 05S5 produced a useful bounded connection-holonomy diagnostic and a conservative spin-connection recovery. It did not support torsion physics, nonmetricity physics, or a novel connection-phase response. The word torsion remains in the label only because the verdict category covers the whole torsion/connection frontier; the actual retained executable channel is the Lorentz-connection holonomy residual.

The project-rule classification is diagnostic tool rather than known-physics reformulation, conditional derivation, new prediction, controlled modification, or clean no-go. The reason is that 05S5 does more than rewrite standard spinor GR: it adds explicit record contracts, artifact ledgers, executable residual checks, and no-import rules. It still does not modify the theory or predict a new signal.

Review-2 suggested the artifact names pulse_model/appendix/spin_connection_pulse_holonomy.md, pulse_model/src/pulse_model/spin_connection.py, and pulse_model/tests/test_spin_connection.py. 05S5 keeps the epic-local canonical names aligned to the existing 05S geometry-action appendix sequence and the narrower holonomy-residual scope, while adding thin compatibility artifacts for discoverability.

Review-2 requested pathCompatibility artifactCanonical source
pulse_model/appendix/spin_connection_pulse_holonomy.mdpulse_model/appendix/spin_connection_pulse_holonomy.mdpulse_model/appendix/geometry_action/spin_connection_holonomy.md
pulse_model/src/pulse_model/spin_connection.pypulse_model/src/pulse_model/spin_connection.pypulse_model/src/pulse_model/spin_connection_holonomy.py
pulse_model/tests/test_spin_connection.pypulse_model/tests/test_spin_connection.pypulse_model/tests/test_spin_connection_holonomy.py

17.1 Accepted Inputs

05S5 accepts:

  • H2 local frames and tetrads inside the accepted H2 reconstruction domain
  • H3 corrected local Lorentz frame holonomy as the metric Levi-Civita baseline
  • H4 matter phase-response identities as conservative source-side bookkeeping
  • 05S4 artifact-ledger discipline for phase and holonomy records
  • synthetic records for algebraic sign, branch, gauge, and residual tests
  • external constraint families only as dated guardrails, not as fitted Pulse bounds

17.2 Accepted Outputs

05S5 adds:

  • a spin/full-connection record contract with observed, reconstructed, and inferred fields separated
  • a tetrad and spin-connection schema with local Lorentz gauge requirements
  • conservative Dirac spinor phase-response and spin-current bookkeeping
  • a restricted theorem that torsion-free spin and polarization holonomy are representation lifts of H3 frame holonomy
  • a bounded Lorentz-connection residual diagnostic against the H3 lift after artifact ledgers
  • executable checks for flat identity, small-loop spin lift, loop reversal, gauge covariance, Spin double-cover behavior, scalar phase ledgers, matrix artifact ledgers, and invalid records
  • benchmark and constraint matrices that prevent GP-B, gravitational Faraday rotation, SME, torsion, and nonmetricity constraints from being misused
  • an adversarial review that assigns no Pulse-specific novelty label

17.3 Rejected Overclaims

05S5 rejects:

  • novelty from rewriting standard Dirac theory in tetrad variables
  • novelty from the spin-half representation lift of H3 frame holonomy
  • novelty from the 2π2\pi spinor sign by itself
  • any torsion claim without an independent translational closure record
  • any nonmetricity claim without an independent length, angle, or inner-product drift record
  • importing Einstein-Cartan, metric-affine, teleparallel, SME, or other external-framework coefficients as Pulse predictions
  • fitting a connection coefficient after seeing external bounds
  • treating GP-B, geodetic precession, frame dragging, polarization transport, magnetic phases, or Berry phases as new Pulse effects

17.4 Downstream Allowed Uses

Downstream work may use 05S5 to:

  • test whether a spin, polarization, gyroscope, or internal-state record reduces to H3 Levi-Civita holonomy
  • subtract spin-preparation, magnetic, Berry, detector, instrument, and finite-loop ledgers before considering a residual
  • check local-frame covariance of a residual by conjugation-invariant norms
  • classify nonzero residuals as source-response-missing until a source-response law exists
  • use external constraint families as a checklist for future coefficient mappings
  • guide H6S1 quantum source-response or a future spin-current response proposal without treating either as already derived

17.5 Downstream Prohibited Uses

Downstream work must not use 05S5 to:

  • claim a novel connection-phase response
  • claim torsion or nonmetricity detection
  • derive Einstein-Hilbert dynamics, GG, Λ\Lambda, or metric quantization
  • bypass H2, H3, H4, or 05S4 assumptions
  • import SME, torsion, or nonmetricity numerical bounds without a Pulse coefficient map
  • treat a synthetic residual as an experimental signal
  • treat a spinor branch sign as an independent connection observable

17.6 Remaining Assumptions

The main blockers are:

  • no operational translational closure record for torsion-like diagnostics
  • no operational length, angle, or inner-product drift record for nonmetricity-like diagnostics
  • no Pulse-specific source-response law connecting spin current or another source to a connection residual
  • no predeclared coefficient or normalization rule for a nonzero residual
  • no external-constraint parameter map
  • no boost-sector or full Lorentz spin-holonomy executable helper
  • no full symbolic Dirac stress-energy proof in the project convention

17.7 Final Verification Commands

Focused Python verification:

uv run python -m unittest tests.test_spin_connection_holonomy tests.test_spin_connection

Full Python verification:

uv run python -m unittest discover -s tests

Docs and packaging verification for the final epic pass:

npm run typecheck
npm run build

Markdown math scan for touched docs: run the project forbidden-delimiter scan against this appendix, roadmap.md, and frontier_strategy.md.

17.8 Roadmap Result

05S5 is a useful level-up, not a breakthrough. It closes the spin/full-connection frontier as a disciplined diagnostic layer:

  • stronger than 05S4 for spin and frame-transport artifact handling
  • useful for future spin-sensitive or polarization-sensitive records
  • not sufficient to promote Step 5 to a novel geometry-action derivation
  • not sufficient to claim torsion, nonmetricity, or independent connection dynamics

The next frontier should move to quantum source-response, where the missing source-response law can be attacked directly rather than hidden inside spin-holonomy residuals.

18. Review-2 Follow-Up Acceptance Gates

05S5 was reopened after the final verdict for narrow review-2 closure checks. These checks improve discoverability and acceptance bookkeeping; they do not reopen the physics verdict unless a later dependency explicitly changes the source-response status.

18.1 Compatibility Artifact Crosswalk

Status: complete.

The compatibility paths requested by review-2 are present and mapped in the final-verdict crosswalk table. The compatibility appendix and Python module redirect to the canonical 05S5 artifacts without duplicating physics.

18.2 Torsion-Free Scalar-Clock Invariance Gate

Status: complete.

In the torsion-free, metric-compatible limit, scalar clock pulse accumulation remains:

dN=fdτdN=f\,d\tau

The spin connection affects spinor, polarization, gyroscope, or internal-frame transport through representation holonomy. It does not change scalar proper-time counting unless one of these additional structures is supplied:

  • a metric or proper-time change that changes dτd\tau
  • a nonmetricity-like length, angle, frequency-ratio, or inner-product drift record
  • a separate source-response law that modifies scalar clock accumulation

05S5 derives none of those structures. Therefore a representation-lift-only spin holonomy can coexist with unchanged scalar pulse count. This is checked in tests/test_spin_connection_holonomy.py by computing scalar proper time and pulse count, then computing a torsion-free spin lift with representation-lift-only classification and verifying the scalar pulse count is unchanged.

The accepted review-2 criterion is:

Criterion05S5 status
Scalar clock pulse accumulation remains dN=fdτdN=f\,d\tau in the torsion-free spin-connection limitPassed
Spin-connection holonomy affects spinor/internal-frame transport rather than scalar proper-time countingPassed
Changes to scalar pulse accumulation require metric/proper-time change, nonmetricity-like drift, or a separate source-response lawPassed
05S5 derives such a scalar-clock modificationNo

18.3 Post-H6S1 Source-Response Reconciliation

Status: complete.

H6S1 closed with the project-rule classification diagnostic tool. It supplies weak-field quantum source/probe discriminator gates, observable classes, and no-signaling and conservation guardrails. It does not supply a pulse-native source-response law.

For 05S5 specifically, H6S1 supplies a guardrail only. It does not add:

  • a spin-current-to-connection source-response map
  • a Lorentz-connection residual equation
  • a torsion or nonmetricity coefficient rule
  • a scalar-clock modification law
  • a conservation-closed independent-connection dynamics

Therefore H6S1 does not change any 05S5 label. The 05S5 final verdict remains useful bounded torsion/connection diagnostic. The retained Lorentz-connection residual remains source-response-missing, and torsion-like and nonmetricity-like claims remain unsupported until a future task supplies an operational residual plus a conserved, predeclared source-response law.

The refreshed roadmap files already match this boundary: roadmap.md keeps 05S5 as a diagnostic layer without accepted source-response, and frontier_strategy.md recommends a quantum source-response law successor using H6S1 gates rather than treating H6S1 as the law itself.

Dependency questionReconciliation
Does H6S1 supply a relevant spin-current or connection source-response law?No
Does H6S1 supply useful guardrails for future connection-response proposals?Yes
Does H6S1 change the 05S5 primary verdict?No
Does H6S1 remove the source-response-missing label from 05S5 residuals?No