Brandon Schneider
5a763468c9
integrate infrastructure config, axiom cleanup, and documentation updates
...
- cupfox-config.nix: add Open WebUI container with chat.researchstack.info proxy,
gather-metrics service/timer, rclone, and tmpfiles for persistent storage
- Lean semantics: reduce axiom count from 109 to 18 across 10 files;
FixedPoint now 0 axioms, 0 sorries with 12 theorems
- Documentation: update AGENTS.md with current axiom/sorry counts and
FixedPoint status; refine bind signature
- Add topology scripts, CGA/FAMM/GeneticOptimizer/MMRFAMM Lean modules,
devcontainer config, MEMORY.md, and Modelfile
2026-05-17 12:03:19 -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
d14d6b4b25
Refactor provenance sources for open witness backends
2026-05-12 05:57:04 -05:00
Brandon Schneider
a99e839bab
Track remaining source and documentation inventory
2026-05-11 22:18:31 -05:00
Brandon Schneider
1225404b72
Point ENE scripts at shared data
2026-05-11 22:10:55 -05:00
Brandon Schneider
cabf709253
Ignore generated run outputs and scrub API key scripts
2026-05-11 22:06:39 -05:00
Brandon Schneider
c8ba00190e
Add NUVMAP scan scheduling receipts
2026-05-11 14:49:17 -05:00
Brandon Schneider
7e3858d88d
ingest: Hypercube → Hyper-Rhomboid composition theory
...
Orthogonal tensor (hypercube) assumes independent axes.
Shear into parallelotope (hyper-rhomboid) models entangled dimensions.
The shear angle encodes correlation strength; the Gram matrix
of the shear IS the compression dictionary.
6 stack mappings:
- PIST n-D: Cartesian → Bundle → Radial = hypercube → rhomboid → collapsed
- Topological state machine: transition = shear on state tensor
- N-D Gene Hypothesis: gene = n-D rhomboid, 3D structure = projection shadow
- FAMM: preshaped delay = sheared time-domain rhomboid
- OAC: latent cavity in sheared rhomboid space
- Waveprobe: curvature = local shear angle of coordinate basis
3 compression interpretations + information gravity metric tensor
2026-05-07 02:04:03 -05:00
Brandon Schneider
bc940273b8
wiki: add Q-Fox primary development machine specifications
...
AMD Ryzen 5 9600X (6C/12T, AVX-512), 31GiB DDR5, 1.8TB NVMe,
Radeon iGPU, CachyOS 7.0.3. Mapped 8 capabilities to stack use.
2026-05-07 00:54:47 -05:00
Brandon Schneider
cfcdd5e7e7
ingest: Observer-Admissible Cavities theory — radius-ratio → Pidgen-hole → S3C/Spherion → OAC
...
6 key concepts formalized:
- Radius-ratio rule → admissible motif classifier (CN3-8 thresholds)
- Pidgen-hole theory → typed hole + residual codec
- S3C shell coordinates → n=k²+a with throat/mirror/mass
- Spherion shaping → pyramid protrusions/voids as compression teeth
- S_n(n^n) → Matryoshka shell with latent combinatorial interior
- Observer-Admissible Cavities → touch-manifesting lazy holes
7 cross-references to existing modules, 4 new primitives identified.
7 keeper phrases preserved.
2026-05-07 00:47:10 -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
