Commit graph

14 commits

Author SHA1 Message Date
c19b8da9d1 feat(semisym): §0 discriminator — Δ₃ verdict PROPER (∇R≠0, R·R≠L·Q); roadmap §0 active
0a: static Fisher–Rao on Δ₃ proven constant-curvature 1/4, ∇R≡0 (symbolic).
0b: rossbyDriftFromChirality drift-flip metric has signature (2,1), drift
direction time-like at 3 exact rational points.
0c: drift-flipped metric is PROPER — not locally symmetric (108 nonzero
∇R components at centroid, exact), not semisymmetric, not Deszcz-
pseudosymmetric (inconsistent L ratios at two points).
0d: obstruction is carried by the drift direction.
Refutes the semi-symmetry hypothesis for the drift-FLIP geometrization at
m=4; Randers/torsion geometrizations and the m=8 Sidon-block case remain
open (Δ₇ run pending).

Co-Authored-By: Claude Fable 5 <noreply@anthropic.com>
2026-07-03 04:53:45 -05:00
Allaun Silverfox
138b3b97f6 Remove avmisa_audit_report.md 2026-07-02 03:37:23 +02:00
Allaun Silverfox
f04430079f Remove BREAKGLASS_NR_BRACKET_PROPOSAL.md 2026-07-02 03:37:11 +02:00
Allaun Silverfox
5767e9b3ab Remove BOSONIC_MONTE_CARLO_PIPELINE_REVIEW.md 2026-07-02 03:36:58 +02:00
cd0860e3ae feat(phi): Hachimoji N=8 foundation, Phi pipeline, AVMIsa audit report
New files:
  - docs/reviews/avmisa_audit_report.md: Full AVMIsa rigidity & vulnerability audit
    (8 surfaces found, 5 mitigated, 2 open)
  - formal/BindingSite/BindingSiteTypes.lean: Binding site type definitions
  - formal/CoreFormalism/GoormaghtighEnumeration.lean: Goormaghtigh conjecture enumeration
  - formal/SilverSight/HachimojiCharClass.lean: Hachimoji character classification
  - formal/SilverSight/HachimojiN8.lean: N=8 minimal alphabet theorem
  - formal/SilverSight/HachimojiN8Bridge.lean: Bridge between HachimojiCharClass and N8
  - formal/SilverSight/PhiConsistency.lean: Phi pipeline consistency checks
  - formal/SilverSight/PhiDNALayout.lean: DNA layout for Phi-encoded equations
  - formal/SilverSight/PhiPipelineReceipt.lean: Receipt format for Phi pipeline
2026-06-28 00:11:39 -05:00
1794299a6c chore(quality): native_decide migration, docs, and phi pipeline cleanup
Systematic native_decide → dec_trivial/rfl migration across all Lean modules
to comply with AGENTS.md rule 5 (no native_decide unless only option):
- CoreFormalism: BraidEigensolid, BraidField, ChentsovFinite, HachimojiBase,
  HachimojiBridging, HachimojiCodec, HachimojiLUT, HachimojiManifoldAxiom,
  Q16_16Numerics
- BindingSite: BindingSiteCodec, BindingSiteEntropy, BindingSiteHachimoji
- SilverSight: ProductSchema, ProductWireFormat, PolyFactorIdentity, Schema, WireFormat
- PVGS_DQ_Bridge: all three files (native_decide->dec_trivial)
- UniversalEncoding/ChiralitySpace

Additional changes:
- gemma4_mcp.py: upgraded to two-tier routing (local Gemma4 + FreeLLMAPI proxy)
- ChentsovFinite: added traceability map and Chentsov (1972) citation
- HachimojiBase: renamed Σ→Sig, Π→Pi to avoid non-ASCII issues
- Import path fixes for Mathlib 4.30.0-rc2 compatibility
- Doc updates: PURE_FORMULAS, SOS_CERTIFICATE, fundamental math derivations
- Build log: 2026-06-26 session findings
- BRKGLASS_NR_BRACKET_PROPOSAL: updated to REAL-DATA VALIDATED status
- New docs: FOUNDATIONAL_GUIDANCE, PURE_EQUATION_MAP, CHENTSOV_FINITE_MATH,
  BREAKGLASS_FUSION_REVIEW_SPEC, COLD_REVIEWER_FORMULA
- New python: phi pipeline (equation_dna_encoder, ast_parse, charclass,
  consistency, embed, output), nr_bracket_validation with receipt

Build: lake build SilverSightRRC — passes on all committed modules.
  Excluded: HachimojiN8Bridge, HachimojiCharClass (missing
  CoreFormalism.HachimojiManifoldAxiom olean — WIP)
2026-06-27 01:56:54 -05:00
4f07129b0d docs: fusion-of-fusions breakglass proposal for NR bracket
Expands the NR bracket from a pure Cartan-connection lemma to a unified
proposal covering six formerly separate layers:

  Core:     [mu,mu]_NR = 0 (Layer 2c, new code)
  YB:       Yang-Baxter integrability via Sidon-disjoint blocks
  TL:       Temperley-Lieb quotient factorization
  Analytic: Eigensolid convergence as the analytic dual
  PIST:     Same Sidon support separation drives classification gates
  VCN:      Zero-gap encoding = vanishing NR terms as structural signal

Each connection shows independent work — the specific argument, the
Layer-1 invariant that powers it, and what fails if the mechanism
breaks.
2026-06-27 00:09:24 -05:00
2532318808 docs: CE/NR formula upgraded to split-suboperad Maurer–Cartan interpretation
Two key refinements from the fusion panel:

1. 'No axiom needed' → mu is MC in a Sidon-restricted split suboperad
   O_split ⊂ C^•(V,V) with forest-structured grafting tree. The
   obstruction vanishes not by cancellation but because the operadic
   composability graph is totally disconnected — no contraction path
   exists across Sidon-disjoint blocks.

2. Theorem renamed to 'Disjoint-operad MC flatness'. Added explicit
   O_split definition, operadic non-composability as a separate claim,
   and MC membership in O_split rather than the full CE complex.

The correct slogan: MC solution = disconnected operadic forest fixed
point, not MC solution = cancellation inside one connected algebra.
2026-06-27 00:05:07 -05:00
a11188cb59 docs: precise CE/NR formalism for Cartan connection formula
Replaced ad-hoc three-criteria analysis with proper Chevalley-Eilenberg
complex + Nijenhuis-Richardson bracket treatment.  Key upgrades:
- Corrected abelian-in-eigenbasis -> weight-graded pre-Lie with vanishing Jacobiator
- Support separation from Sidon uniqueness kills cross NR brackets
- Full Maurer-Cartan equation in NR form: dCE mu + 1/2[mu,mu]_NR = 0
- Obstruction class Ob(mu) = 0 in H^3(V,V) by finite computation
- Counterexample appendix replaced with structural comparison table
2026-06-27 00:02:46 -05:00
831c88d787 docs: precise three-criterion integrability analysis for Cartan connection
Replaced the hand-wavy 'block structure implies MC' claim with the
explicit three criteria - block invariance, spectral separation, and
Sidon non-resonance - each independently verified in Layer 1.  Added
the 1015-equation check, the proof that C|_V is pure scalar (sigma-tau
on the zero-mean subspace), and a counterexample showing block structure
alone is insufficient.
2026-06-27 00:00:46 -05:00
fa54100791 docs: Cartan connection on J^1(Delta_7) standalone formula
Covers the Klein geometry model (G = SO^0(1,6) <-> R^7, H = SO^0(1,6)),
the jet bundle description, soldering/connection decomposition, Sidon
curvature pinning, and the algebraic (synthetic) implementation path.
2026-06-26 23:56:10 -05:00
89b8f4b243 docs: standalone Cold Reviewer Protocol document
Explicit two-gate protocol (Arithmetic + Structural) with step-by-step
calculator verification for each invariant.  Covers goals, methodology,
extension rules, and decision procedure.
2026-06-26 23:41:14 -05:00
8ac5ce0c6f feat(lean): Sidon-orthogonality bypass closes operator-norm gap
Replaces the spectral-radius operator norm bound (left as
TODO(lean-port: operator_norm_bound)) with a computable L_infinity
row-sum norm over Fin 8, discharged by dec_trivial.

Key changes:
- crossingMatrix: Matrix (Fin 8) (Fin 8) Q with explicit Sidon entries
- maxRowSum: L_infinity row-sum norm, computed by Finset.sup
- crossing_matrix_norm_bound: maxRowSum <= 1775/1792 (dec_trivial)
- braid_operator_contractive: ||C*s||_oo <= r * ||s||_oo for r=1775/1792
- Removes deprecated EigensolidConvergenceHypothesis (now a theorem)
- Standalone formula doc: docs/reviews/SIDON_ORTHOGONALITY_BYPASS_FORMULA.md
- CONJECTURE_UPGRADE_ROADMAP.md updated (conjecture 1 resolved)
- BREAKGLASS_LOG.md: entry 2 logged

Sidon uniqueness (I4) guarantees at most 2 non-zero entries per row,
making the row-sum a concrete rational — no spectral theory required.

Build: 3307 jobs, 0 errors (lake build SilverSight)
2026-06-26 23:36:55 -05:00
5d248d7702 docs(silversight): bosonic monte carlo pipeline review
Parsed ChatGPT analysis into actionable engineering review. Key findings:
- Regime switch at p≥5 is algorithmic, not physical
- Entropy plateau from mixture collapse
- Proposed fix: continuous λ(p) interpolation
- Kernel pipeline: sampler → gather → ryser → reduce

Build: 2987 jobs, 0 errors
2026-06-22 01:05:06 -05:00