Commit graph

3 commits

Author SHA1 Message Date
6f27ee7b47 feat(ingest): Rust equation ingestion pipeline — Markdown → Parse → Classify → Compute
rust/src/bin/ingest.rs:
  - Parses $\LaTeX$ equations from .md files (block 602556 and inline $)
  - Classifies as spectral/braid/cartan/unknown via keyword detection
  - Density check: pauses at >20 equations or >5 unknowns
  - Computes spectral fingerprint (σ, τ, ∆, λ_min, λ_max) via character transform
  - Emits receipt.json with full results
  - Writes .decision.md for user review when too dense

Rust CLI, zero-float spectral computation, serde JSON output.

Cargo.toml: added regex + serde dependencies.
2026-06-30 20:48:20 -05:00
1e20691cb1 docs: Hopf Portability Criterion + Ingest Bridge — 4-agent synthesis
Hopf Portability Criterion:
- 6 necessary conditions for problem portability (A-F)
- 28 = 4×7 = 2²×(2³−1) factorization theorem
- n=8 is the maximal group-theoretic Hopf encoding
- 15 annotated domain templates

Hopf Ingest Bridge:
- Input schema: problem metadata → 6 conditions → fingerprint
- 15 pre-classified templates (physics, optimization, NT, geometry)
- Output receipt: schema hopf_ingest_receipt_v1
- Architecture: JSON → Checker → Computer → Matcher → Receipt

Cross-agent consensus:
- Topological insulators: strongest physics port
- Anyons/TQC: π⁷(S⁴)=ℤ₂₈ exact match (deepest theory)
- QUBO: strongest optimization port
- Crystalline cohomology: strongest arithmetic port
2026-06-30 19:53:58 -05:00
ae56141a9f feat(wolfram): add Wolfram Alpha MCP server + SOPS-encrypted API key 2026-06-30 17:28:22 -05:00