allaun/SilverSight
1
0
Fork 0
mirror of https://github.com/allaunthefox/SilverSight.git synced 2026-07-31 01:25:21 +00:00
Code Issues Projects Releases Packages Wiki Activity Actions
182 commits 7 branches 0 tags 461 MiB
Commit graph

4 commits

Author SHA1 Message Date
allaun
df60316925 feat(lean): add PhiPipelineReceipt, HachimojiManifoldAxiom; quarantine PVGS 
- PhiPipelineReceipt.lean: decidePipeline formal gate for BioSight
  phi.consistency dynamic verification (6-rule pipeline receipt)
- HachimojiManifoldAxiom.lean: axiom structure for hachimoji
  manifold encoding with Q16_16 fixed-point arithmetic
- lakefile.lean: comment out SilverSightPVGS library (sorry-containing
  PVGS_DQ_Bridge modules quarantined from build graph)

Build: 3307 jobs, 0 errors (lake build SilverSight)
Build: 3348 jobs, 0 errors (lake build SilverSightRRC)
 2026-06-30 04:54:14 -05:00
allaun
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
allaun
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
SilverSight Agent
3c35fe50c2 Initial SilverSight: deterministic equation search via Fisher geometry 
Core components:
- ChentsovFinite.lean (883 lines, 0 sorry): Fisher metric uniqueness on 8-state simplex
- HachimojiCodec.lean: Deterministic E=mc^2 -> Hachimoji state pipeline
- PVGS_DQ_Bridge (8 sections, ~6,150 lines): Photon-Varied Gaussian to Dual Quaternion
- UniversalMathEncoding.lean: 50-token math address space (~10^15 addresses)
- ChiralitySpace.lean: 4D descriptor (phase x chirality x direction x regime) ~2x10^25
- BindingSite (3 files): Amino acid vocabulary, entropy-based bindability
- Python: chaos game, Sidon addressing, Q16.16 canonical, Finsler metric, QUBO/QAOA
- CI: Lean check, Python check, Q16 roundtrip workflows

Papers: Giani-Win-Conti 2025, Chabaud-Mehraban 2022, Pizzimenti 2024, Wassner 2025
 2026-06-21 18:02:05 +08:00