Brandon Schneider
|
4ee5b52342
|
ingest: dair-ai Agentic Engineering Wiki (51 tips, 7 categories)
Cross-referenced against our prover orchestration layers:
- Plan-Execute-Verify-Replan ↔ L0-L3 pipeline
- Agents as specialists ↔ 11-agent swarm
- Guardrails ↔ ProverWatchdog
- Sandbox testing ↔ Virtual FPGA tests
- Trajectory-aware eval ↔ BFS audit trail
5 gaps identified, 4 strengths confirmed
|
2026-05-07 00:27:02 -05:00 |
|
Brandon Schneider
|
2cb0b71d87
|
ingest: MS myelin glucose signaling article (2026-05-04)
Brain glucose levels regulate OPC fate: high glucose → proliferation,
low glucose → maturation. Acetyl-CoA from glucose drives histone
acetylation for OPC division; ketone bodies substitute for myelin
synthesis. Ketogenic diet rescues myelin in ACLY-deficient mice.
Connects to: N-Dimensional Gene Hypothesis, PIST polymorphic shifter,
topological state machine, FAMM delay lines, waveprobe manifolds
|
2026-05-06 23:53:20 -05:00 |
|
Brandon Schneider
|
f64d419a1e
|
chore: update AI-Newton submodule (merge conflict fix)
|
2026-05-06 23:44:25 -05:00 |
|
Brandon Schneider
|
41192c25ca
|
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
|
85cc7ffa71
|
Prove fixed-point algebra lemmas
|
2026-05-05 21:44:15 -05:00 |
|
Brandon Schneider
|
72cc145cb3
|
Address fixed-point review findings
|
2026-05-05 21:26:18 -05:00 |
|
Brandon Schneider
|
961a59d35c
|
Fix external repository references
|
2026-05-05 21:15:26 -05:00 |
|
Brandon Schneider
|
6f72872e29
|
Consolidate research stack updates
|
2026-05-05 21:09:48 -05:00 |
|
Allaun Silverfox
|
d7657c49a2
|
Add selection metrics receipt emitter
|
2026-05-05 13:23:10 -05:00 |
|
Allaun Silverfox
|
a0f26130cb
|
Add selection metrics synthetic fixture
|
2026-05-05 13:22:32 -05:00 |
|
Allaun Silverfox
|
f3b7faa024
|
Add plant-stress ultrasound to BioPhonon translation equations
|
2026-05-05 12:37:39 -05:00 |
|
Allaun Silverfox
|
c6d86b01f4
|
Add q-desic wormhole throat equation update
|
2026-05-05 08:39:39 -05:00 |
|
Allaun Silverfox
|
92d348cc1a
|
Add q-desic and van der Waals gap DOIs to Consensus collection
|
2026-05-05 07:39:43 -05:00 |
|
Allaun Silverfox
|
3d9a9aa085
|
Add frozen-in gravitational fields DOI to Consensus collection
|
2026-05-05 02:22:12 -05:00 |
|
Allaun Silverfox
|
fbfca7294c
|
Add genetics selection metrics scaffold
|
2026-05-05 02:07:28 -05:00 |
|
Allaun Silverfox
|
9d7d69889b
|
Add genetics information substrate boundary
|
2026-05-05 02:01:27 -05:00 |
|
Allaun Silverfox
|
e707489d49
|
Add de-anthropocentric Mass Number revision
|
2026-05-04 21:17:45 -05:00 |
|
Brandon Schneider
|
ccc30f7fbc
|
Remove reqwest to fix ring linking errors; simplify dependencies
|
2026-05-04 19:27:44 -05:00 |
|
Brandon Schneider
|
bf3149af56
|
Add placeholder icons for Tauri builds
|
2026-05-04 19:24:38 -05:00 |
|
Brandon Schneider
|
a23aa8a279
|
Fix Tauri builds: navigate API, unused imports, build config
|
2026-05-04 19:22:01 -05:00 |
|
Allaun Silverfox
|
c2ab254104
|
Register visual primitive witness entry points
|
2026-05-04 19:10:11 -05:00 |
|
Allaun Silverfox
|
7aba3985dd
|
Add visual primitives goxel witness research note
|
2026-05-04 19:08:47 -05:00 |
|
Brandon Schneider
|
28f1a5cb4d
|
Add ENE research topic candidates, compression-core, notion-native-tauri, linear-native-tauri
|
2026-05-04 19:08:20 -05:00 |
|
Allaun Silverfox
|
dea15bb804
|
Wire visual primitive formalism into constitution
|
2026-05-04 19:08:12 -05:00 |
|
Allaun Silverfox
|
9f7c6c989a
|
Add visual primitive witness formalism
|
2026-05-04 19:07:01 -05:00 |
|
Brandon Schneider
|
e8989c4ccd
|
initial: sovereign research stack (consolidated, weightless, and lfs-optimized)
|
2026-05-04 18:11:36 -05:00 |
|