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
SilverSight/python
History
Exact
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
..
phi chore(quality): native_decide migration, docs, and phi pipeline cleanup 2026-06-27 01:56:54 -05:00
build_corpus250.py feat(rrc): generate full 250-equation Corpus250 and wire into AVM emit 2026-06-21 10:03:02 -05:00
build_pist_matrices_250.py feat(pist): port minimal PIST classifier surface to SilverSight 2026-06-21 09:46:09 -05:00
chaos_game.py Initial SilverSight: deterministic equation search via Fisher geometry 2026-06-21 18:02:05 +08:00
dna_braid.wgsl feat(dna): unified theory — DNA encoding, epigenetic computation, logarithmic vector spaces 2026-06-23 02:18:16 +00:00
dna_codec.py DNA: fix Latin-Greek mapping + harden pipeline + reduce sorrys 2026-06-23 00:46:04 -05:00
dna_encode_file.py feat(dna): unified theory — DNA encoding, epigenetic computation, logarithmic vector spaces 2026-06-23 02:18:16 +00:00
dna_gpu.py feat(dna): unified theory — DNA encoding, epigenetic computation, logarithmic vector spaces 2026-06-23 02:18:16 +00:00
dna_lut.py feat(dna): unified theory — DNA encoding, epigenetic computation, logarithmic vector spaces 2026-06-23 02:18:16 +00:00
dna_qubo_nn.py fix(dna): resolve nearest-neighbor sorting and correlation limits 2026-06-24 03:12:29 -05:00
dna_qubo_sort.py fix(dna): resolve nearest-neighbor sorting and correlation limits 2026-06-24 03:12:29 -05:00
dna_radix_gpu.py feat(dna): unified theory — DNA encoding, epigenetic computation, logarithmic vector spaces 2026-06-23 02:18:16 +00:00
dna_surface.html feat(dna): unified theory — DNA encoding, epigenetic computation, logarithmic vector spaces 2026-06-23 02:18:16 +00:00
dna_surface.wgsl feat(dna): unified theory — DNA encoding, epigenetic computation, logarithmic vector spaces 2026-06-23 02:18:16 +00:00
dna_surface_gpu.py fix: address adversarial review findings 2026-06-23 08:28:30 -05:00
dna_webgpu.html feat(dna): add remaining source files and surface images 2026-06-23 02:27:40 +00:00
dna_webgpu.js feat(dna): unified theory — DNA encoding, epigenetic computation, logarithmic vector spaces 2026-06-23 02:18:16 +00:00
equation_dna_encoder.py chore(quality): native_decide migration, docs, and phi pipeline cleanup 2026-06-27 01:56:54 -05:00
eridos_renyi_quimb.py feat(final-sprint): Erdős-Rényi critical + quimb + 4-mode engine 2026-06-23 03:11:40 -05:00
expr_tree.py feat(silversight): symbolic regression core + Kepler test PASSED 2026-06-22 03:29:13 -05:00
gemma4_mcp.py chore(quality): native_decide migration, docs, and phi pipeline cleanup 2026-06-27 01:56:54 -05:00
hachimoji_citation.py fix(python): parse empty trigram/vector ranks in hachimoji_citation 2026-06-21 23:51:28 -05:00
integration_sprint.py feat(integration): full sprint integration test with real quimb TN backend 2026-06-23 03:54:34 -05:00
linear_scaling.py feat(silversight): symbolic regression core + Kepler test PASSED 2026-06-22 03:29:13 -05:00
log_prescreen.py feat(silversight): log prescreen + finite-infinity duality 2026-06-22 03:41:53 -05:00
multimode_engine.py feat(final-sprint): Erdős-Rényi critical + quimb + 4-mode engine 2026-06-23 03:11:40 -05:00
nr_bracket_validation.py chore(quality): native_decide migration, docs, and phi pipeline cleanup 2026-06-27 01:56:54 -05:00
nr_bracket_validation_receipt.json chore(quality): native_decide migration, docs, and phi pipeline cleanup 2026-06-27 01:56:54 -05:00
pist_braid_bridge.py feat(bridge): PIST + Braid bridge — sprint results to Lean formalism 2026-06-23 04:16:43 -05:00
pist_matrix_builder.py feat(rrc): bare-minimum RRC refactor into SilverSight 2026-06-21 09:08:48 -05:00
q16_canonical.py DNA: fix Latin-Greek mapping + harden pipeline + reduce sorrys 2026-06-23 00:46:04 -05:00
sidon_address.py Initial SilverSight: deterministic equation search via Fisher geometry 2026-06-21 18:02:05 +08:00
silversight_engine.py feat(engine): R2 hierarchical tau with depth weighting — 3-agent verified 2026-06-23 06:40:12 -05:00
spectral_profile.py Initial SilverSight: deterministic equation search via Fisher geometry 2026-06-21 18:02:05 +08:00
sprint_receipt.json feat(integration): add sprint receipt JSON 2026-06-23 03:54:45 -05:00
test_search.py Initial SilverSight: deterministic equation search via Fisher geometry 2026-06-21 18:02:05 +08:00
validate_rrc_predictions.py feat(rrc): bare-minimum RRC refactor into SilverSight 2026-06-21 09:08:48 -05:00