| Gate | Main preprint location | Mirror note | Registry/artifact key(s) |
|---|---|---|---|
S4P_G1 |
Section 4, Appendix A |
notes/EG1_public.md |
kappa_smoothing |
S4P_G2 |
Section 5, Appendix B |
notes/EG2_public.md |
sigma_handle |
S4P_G3 |
Section 5, Appendix C |
notes/EG3_public.md |
kappa_compact |
S4P_G4 |
Section 6.1, Appendix D |
notes/EG4_public.md |
rho_rigidity |
S4P_G5 |
Section 6.2, Appendix E.4 |
notes/EG4_public.md |
sphere_transfer |
S4P_G6 |
Section 6.3, Appendix E.6 |
notes/IDENTIFICATION_BRIDGE.md |
eps_coh |
S4P_GM |
Section 8, Appendix E.5 |
derived | all above keys |
- Runner:
repro/run_repro.sh - Guard:
scripts/s4p_closure_guard.py - Runtime certificate:
repro/certificate_runtime.json - Baseline certificate:
repro/certificate_baseline.json - Registry:
artifacts/constants_registry.json - Stitch constants:
artifacts/stitch_constants.json