SilverSight

allaun/SilverSight

Fork 0

mirror of https://github.com/allaunthefox/SilverSight.git synced 2026-07-31 01:25:21 +00:00

Commit graph

Author	SHA1	Message	Date
allaun	8bf8781e49	feat(semisym): modular fast path + scar-map ingest skeleton - modp.rs: order-3 jet AD over 𝔽_p (multi-prime, robust exact-escalation, named edge receipts, Miller–Rabin modulus guard); 272× at Δ₇ centroid, gate-preserving (≢0 mod p is a proof; PROPER via division-free certificate) - main.rs: --mod flag, validate-modp cross-check, and collision-fixed survey filenames (numer-denom; reduced numerators silently folded ~6435 pts onto 330) - ingest_semisym_scar.rs: receipt → ene.rrc_classifications dry-run mapper, float-free exact JSONB metrics (no Q16/IEEE), --apply gated behind explicit --dsn - CITATION.cff: credit Kritchevsky "Everything Is Logarithms" for the exact / log-in-prime-basis scar-map encoding Co-Authored-By: Claude Opus 4.8 <noreply@anthropic.com>	2026-07-03 05:04:23 -05:00
allaun	72425716e3	feat(semisym): exact-rational Rust discriminator — jet AD, checkpointed survey, Δ₇ verdict Order-3 BigRational jet AD (no symbolic algebra): Fisher–Rao + drift-flip metric, Γ/R/∇R/R·R/Q(g,R) at rational points. Validated against the sympy Δ₃ ground truth (exact match incl. (∇R)_(0,0,1,0,1)=1987584/1500625 and the drift obstruction scalar). Signature via congruence elimination (Sylvester's law of inertia) — fixes a row-aliasing bug that reported (4,3) at the Δ₇ centroid; truth is (6,1), numpy-confirmed. Δ₇ centroid results (31s single-core): baseline constant curvature 1/4 holds; g' signature (6,1) with drift time-like (g'(β,β)=−35); verdict PROPER (11076/16807 nonzero ∇R, 591 inconsistent L ratios) — matches Δ₃. survey subcommand = resumable DAG: one receipt JSON per lattice point (skip-if-exists), rayon-parallel, --max-points deterministic stride cap; receipts are ingestable scar-map events (obstruction ⇒ scar candidate). Co-Authored-By: Claude Fable 5 <noreply@anthropic.com>	2026-07-03 04:53:45 -05:00

Author

SHA1

Message

Date

allaun

8bf8781e49

feat(semisym): modular fast path + scar-map ingest skeleton

- modp.rs: order-3 jet AD over 𝔽_p (multi-prime, robust exact-escalation,
  named edge receipts, Miller–Rabin modulus guard); 272× at Δ₇ centroid,
  gate-preserving (≢0 mod p is a proof; PROPER via division-free certificate)
- main.rs: --mod flag, validate-modp cross-check, and collision-fixed survey
  filenames (numer-denom; reduced numerators silently folded ~6435 pts onto 330)
- ingest_semisym_scar.rs: receipt → ene.rrc_classifications dry-run mapper,
  float-free exact JSONB metrics (no Q16/IEEE), --apply gated behind explicit --dsn
- CITATION.cff: credit Kritchevsky "Everything Is Logarithms" for the exact /
  log-in-prime-basis scar-map encoding

Co-Authored-By: Claude Opus 4.8 <noreply@anthropic.com>

2026-07-03 05:04:23 -05:00

allaun

72425716e3

feat(semisym): exact-rational Rust discriminator — jet AD, checkpointed survey, Δ₇ verdict

Order-3 BigRational jet AD (no symbolic algebra): Fisher–Rao + drift-flip
metric, Γ/R/∇R/R·R/Q(g,R) at rational points. Validated against the sympy
Δ₃ ground truth (exact match incl. (∇R)_(0,0,1,0,1)=1987584/1500625 and
the drift obstruction scalar). Signature via congruence elimination
(Sylvester's law of inertia) — fixes a row-aliasing bug that reported
(4,3) at the Δ₇ centroid; truth is (6,1), numpy-confirmed.

Δ₇ centroid results (31s single-core): baseline constant curvature 1/4
holds; g' signature (6,1) with drift time-like (g'(β,β)=−35); verdict
PROPER (11076/16807 nonzero ∇R, 591 inconsistent L ratios) — matches Δ₃.

survey subcommand = resumable DAG: one receipt JSON per lattice point
(skip-if-exists), rayon-parallel, --max-points deterministic stride cap;
receipts are ingestable scar-map events (obstruction ⇒ scar candidate).

Co-Authored-By: Claude Fable 5 <noreply@anthropic.com>

2026-07-03 04:53:45 -05:00

2 commits