8f1bd01ef0
docs: adversarial review of GAUGE_THEORY_GOAL.md — 12 CRITICAL, 7 MAJOR fixes
...
Applied hostile review from 3 perspectives (statistical, numerical, scientific):
- Downgraded all 'IS' claims to 'corresponds to' or 'conjectured'
- Acknowledged empirical claims not statistically significant (n=13, p>0.05)
- Fixed mathematical errors (Wilson loop type mismatch, instanton category error)
- Acknowledged dimensional mismatch (2D AT vs 4D gauge theory)
- Added falsification criteria to each Step
- Removed circular validation claims
- Added honest status indicators ([x] proven, [~] empirical, [ ] open)
Document now presents conjectures and analogies with honest acknowledgment
of what's proven, what's empirical, and what's open.
2026-07-05 15:18:18 -05:00
5f8ffd59b7
feat: copy ChiralClockModel + specs from experimental repo
...
Restored ChiralClockModel.lean (gauge theory stub, noncomputable defs,
4 sorries noted in GAUGE_THEORY_GOAL.md). Also copied
CHIRAL_CLOCK_REFORMULATION.md and LEAN_BAKER_ANALOGUE_SKELETON.md.
Fixed List.get!/Real.atan2 API issues, orphaned doc comment.
Build: 3297 jobs, 0 errors (SilverSightRRC)
2026-07-05 15:05:27 -05:00
bf3017b9db
fix: restore GAUGE_THEORY_GOAL.md from experimental repo (d0264e38)
...
My stub replaced the real document. Restoring original: 7-step
lattice gauge theory correspondence from Baker-Hopf coupling to
Bianchi identity, with validated empirical chain on the SilverSight
side and derivation targets on the gauge theory side.
2026-07-05 14:56:15 -05:00
dead6528de
docs: gauge theory goal — 5 specific goals with success criteria
...
Covers gauge group identification, DFT as gauge transformation, overhead
as gauge coupling, 8-mul from gauge invariance, CRT-Wilson loop link.
Prioritized testable criteria, references to Rollup, YangMillsPerformance,
and falsification tests.
2026-07-05 14:53:33 -05:00
6b26a9bc6e
fix: address adversarial review findings
...
Architecture fixes:
- Fixed phantom Semantics.* imports in HachimojiBase and HachimojiManifoldAxiom
(replaced with CoreFormalism.* and SilverSight.* imports)
- RRCLib.RRCEmit confirmed to exist (attacker was wrong)
- Duplicate ProductSchema/ProductWireFormat confirmed NOT in SilverSightCore (attacker was wrong)
Documentation fixes:
- SOS example: fixed s₀ = x² (was incorrectly stated as 0)
- Added Archimedean condition to Putinar's Positivstellensatz
- Sidon bound: fixed to ⌊√(2N)⌋ + 1 in FIRST_PRINCIPLES (consistency with PURE_FORMULAS)
- Safety margin 28× confirmed correct (attacker's 56.7× was wrong — they confused ppm with ×10^-6)
Lean proof status:
- repunit function: documented as 'repunit characteristic' (not mathematical repunit)
- chentsov_50: 7 sorries remain (type bridge + chentsov_theorem internal sorries)
- Fisher metric bridge: cross-term 1/p₀ correctly identified and documented
2026-06-23 08:28:30 -05:00
