allaun
c44a01df3b
feat(lean): InformationManifold + SLUQ; chentsov_fusion, tdoku_16d; docs reconciliation suite
...
- New: InformationManifold.lean — tensor integration module
- Update: SLUQ.lean — proof refinements
- New: chentsov_fusion.py — Chentsov fusion bridge
- New: tdoku_16d.py — 16-dimensional TDoku solver
- New: validate_docs.py — documentation validation script
- New: negative_tests.json + test_negative_suite.py — negative test fixtures
- Update: flac_dsp_node.py — DSP node refinements
- Update: CITATION.cff — citation metadata
- Docs: GEOMETRIC_SUBSTANCE_CANONICAL_RECONCILIATION, LITERATURE_MAPPING,
GROTHENDIECKIAN_ORGANIZATIONAL_ROTATION_PROPOSAL, formula extraction suite
- New: package/ — public-apis npm metadata
2026-06-28 10:38:13 -05:00
allaun
dc32aa6ce0
fix(encoder): Critical fixes for Erdős #336 test bench
2026-06-28 02:39:32 -05:00
d63f33fc93
docs(research): path forward for RRC unsolved-problems survey
...
- Strategic options and 3-stage roadmap
- Leverage-point analysis and top-10 ranked problems
- Lean stub plan for 7 formalizable problems, 4 deferred
2026-06-20 19:27:20 -05:00
514bf8da72
docs(research): RRC survey of 67 unsolved hard problems and alignment clusters
...
- 68 problem records (67 unsolved + 1 solved boundary marker)
- 10 alignment clusters spanning number theory, complexity, geometry,
topology, analysis, logic, physics, and cosmology
- 30×30 crossing matrix of known reductions, shared techniques, and analogies
- RRC shape/axis tags consistent with existing rrc_equation_classification.md
- JSON validated
2026-06-20 19:12:13 -05:00
0085136c31
docs: compiled Burgers equation set — Sidon + DualQuaternion with pluggable inputs
...
Shows the full architecture as a self-contained equation spec:
- DualQuaternion = 8 components (Sidon-labeled 2^0..2^7)
- BurgersState -> DualQuaternion mapping (pluggable per PDE variant)
- Viscosity = scalar multiplication, advection = group rotation
- 4 theorems all native_decide, kernel-verified
- How to add a new PDE variant in ~24 lines, inheriting all proofs
2026-06-16 20:15:19 -05:00
475f6319ea
chore(repo): push local 768-commit branch state onto clean remote baseline
...
This squashes all local history (768 commits) onto the scrubbed PR #90
baseline. Individual commits were lost during filter-repo corruption;
the working tree content is preserved intact.
Build: N/A (working tree state only)
2026-06-15 22:46:50 -05:00
Allaun Silverfox
99d3edfcb5
Add Talagrand convexity fold-in note
2026-05-23 02:53:19 -04:00
Allaun Silverfox
eeb7d217d0
Add Auro Zera modular-cover audit note
2026-05-23 02:47:25 -04:00
Brandon Schneider
546783faaf
docs: add external research import maps
2026-05-20 18:41:21 -05:00
Brandon Schneider
a6311ed940
chore: preserve working tree before secure wipe
...
- Update .gitignore with **/target/ for Rust build artifacts
- Add eval receipts to UniversalBridge.lean (compile-time verification comments)
- Add PCIe Idle-Cycle Compute Harvester to ROADMAP.md
- Clean up deprecated scripts, generated Verilog, and old tools (23 deletions)
- Stage new infrastructure: Xen/Alpine embedded surface, QFOX topology manager
- Stage new probes: boundary activation field, holographic carving
- Stage new applications: finance manager, script roots
- Stage new research spec: PCIe idle-cycle substrate
2026-05-13 17:36:02 -05:00
Brandon Schneider
a99e839bab
Track remaining source and documentation inventory
2026-05-11 22:18:31 -05:00
Brandon Schneider
0cf775c80e
collapse: prover orchestration layers, FAMM verilator harness, swarm topological prober, spec sheets, virtual FPGA system tests, merge conflict resolution
...
- Prover-Integrated Orchestration Layers (L0-L3): Goedel-Prover-V2 watchdog, BFS-Prover-V2 swarm consensus, bf4prover topology adaptation
- FAMM Verilator benchmark: uniform vs preshaped delay comparison (4.4x speedup)
- Swarm topological device prober: 11 agents probing traces, caps, delays, errors, vias, PDN
- Spec sheet puller: 10 components with key params and topological relevance
- Virtual FPGA system tests: 6/6 passed, 134K ops/s throughput
- Fixed merge conflicts in AI-Newton test_experiment.ipynb
2026-05-06 23:42:01 -05:00
Brandon Schneider
0709b298b3
Consolidate research stack updates
2026-05-05 21:09:48 -05:00
Brandon Schneider
5f88abf618
initial: sovereign research stack (consolidated, weightless, and lfs-optimized)
2026-05-04 18:11:36 -05:00
