Commit graph

5 commits

Author SHA1 Message Date
Brandon Schneider
5ea6c187ad chore: commit accumulated working tree changes
Lean: update Semantics modules, add new numerics/physics data files
Hardware: update FPGA bitstreams (tangnano9k_uart_loopback)
Infra: k3s-flake tests, netcup-vps configuration, VCN compute substrate
Docs: ARCHITECTURE, specs, citation updates
2026-05-30 00:10:02 -05:00
Allaun Silverfox
5744a1bfab chore(pending): quarantine python ENE ContextStream MCP surface (Lean-first unification) 2026-05-26 17:59:30 -05:00
Brandon Schneider
5a79a49be6 Wire ENE context into remote proof checks 2026-05-25 22:07:58 -05:00
Brandon Schneider
b7deceb36c Stabilize ENE API and context shim 2026-05-25 21:06:46 -05:00
Brandon Schneider
9bcc1c3dc9 WIP: accumulated changes 2026-05-25 16:24:21 -05:00