allaun/SilverSight
1
0
Fork 0
mirror of https://github.com/allaunthefox/SilverSight.git synced 2026-07-30 17:16:16 +00:00
Code Issues Projects Releases Packages Wiki Activity Actions
SilverSight/experiments/bosonic_continuous
History
Exact
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
..
kernel exp(bosonic): continuous interpolation experiment for regime transition 2026-06-22 01:19:10 -05:00
tests exp(bosonic): continuous interpolation experiment for regime transition 2026-06-22 01:19:10 -05:00
bmcte_eigensolid_threshold_receipt.json fix: address adversarial review findings 2026-06-23 08:28:30 -05:00
bmcte_extension_v1.sql exp(bosonic): extension v1 experiment with DAG + DB ingestion 2026-06-22 02:31:23 -05:00
bmcte_spectral_witness_receipt.json fix: address adversarial review findings 2026-06-23 08:28:30 -05:00
BMCTE_v2_PAPER.md docs(bosonic): finalize BMCTE v2 trilogy 2026-06-22 01:49:46 -05:00
extension_v1.py feat(bmcte): N=20000 sweep on neon-64gb + Hachimoji bridge theorem 2026-06-22 14:17:31 -05:00
extension_v1_receipt.json feat(bmcte): N=20000 sweep on neon-64gb + Hachimoji bridge theorem 2026-06-22 14:17:31 -05:00
extension_v2_chunked.py fix: address adversarial review findings 2026-06-23 08:28:30 -05:00
neon_spectral_result.json fix: address adversarial review findings 2026-06-23 08:28:30 -05:00
nuvmap_spectral_driver.py fix: address adversarial review findings 2026-06-23 08:28:30 -05:00
README.md exp(bosonic): continuous interpolation experiment for regime transition 2026-06-22 01:19:10 -05:00
SYSTEM_SPEC.md docs(bosonic): finalize BMCTE v2 trilogy 2026-06-22 01:49:46 -05:00
THEORY_CLOSURE.md docs(bosonic): finalize BMCTE v2 trilogy 2026-06-22 01:49:46 -05:00

README.md

Bosonic Continuous Interpolation Experiment

Testing a unified Monte Carlo estimator without regime switching.

Goal

Replace hard p≥5 cutoff with continuous λ(p) interpolation:

λ(p) = exp(-p²/N)
Q(p) = λ(p) Q_bos + (1-λ(p)) Q_fact

Structure

  • kernel/ryser_continuous.py — Unified permanent estimator
  • kernel/mode_sampler.py — Mode sampling kernel
  • tests/test_lambda_interpolation.py — Verify continuity

Key Change

Remove:

if p >= 5: distinguishable_k()

Replace with single estimator using Ryser permanent for all p ≤ 6.