**CRITICAL fixes**
- Header: note UNIVERSAL_SUBSTRATE_ROADMAP.md no longer exists on disk;
add note that TODO_MAP.md may lag this file
- §11: replace dead cross-reference with accurate statement; mark full
census reconstruction as Phase 0 deliverable
- Phase 0: split into completed infrastructure vs pending Lean work;
explicitly note `USTSM_State` does not yet exist in any Lean file
**ERROR fixes**
- §1: retract unverified "2,634 models" figure; replace with measured
1,126 ingested equation rows (source: equations.csv 2026-05-18)
- §6 Invariant 7: clarify Q0_64 universality is a Phase 0-1 design
goal, not a current enforced fact; note Bind.lean uses Q16_16
exclusively by design ("all values require integer component for
gradient computation") — no contradiction, different scopes
- §8: expand Semantics/Semantics description to reflect 946+ entries
(not a handful of named modules); update §4-Infrastructure/infra/
description to reflect Rust-only state (Python shims removed)
- §12 Credential Gateway: remove reference to deleted credential_server.py;
credit rs-surface binary and credential.rs module
**WARNING fixes**
- §10 FPGA Hardware: change ✅ Synthesized → 🔄 Bitstream ready; add
"live hardware receipt pending" caveat
- Phase 4 heading: rename to clarify concurrent-with-Phases-2-3; add
explanatory note
**BLOCKED annotation**
- Immediate action #8 (Flash Tang Nano 9K): mark as blocked on physical
board + USB programmer
Generated with [Devin](https://cli.devin.ai/docs)
Co-Authored-By: Devin <158243242+devin-ai-integration[bot]@users.noreply.github.com>
- Add ene-node, ene-rds-chat, ene-rds-ephemeral, ene-rds-wiki,
ene-storage, ene-sync crates to the ene-rds workspace
- Extend ene-rds-core with shared types and cluster messaging
- Add review doc and wiki page for the RDS Rust workspace
- Fix devcontainer: custom /etc/passwd with researcher user,
add gcc/glibc/binutils for VS Code server compatibility,
include util-linux, gnutar, gzip; add LD_LIBRARY_PATH
- Ignore Nix build output (`result`) and Rust artifacts
Generated with [Devin](https://cli.devin.ai/docs)
Co-Authored-By: Devin <158243242+devin-ai-integration[bot]@users.noreply.github.com>
Split the run-on sentence that read 'Continuation receipts omit
context_files and message_keys records the alternate shape...' into
two distinct clauses so agents following the 'Adding a New Review'
checklist don't misread it as 'omit [context_files and message_keys]'.
Explicitly state that continuation receipts MUST populate message_keys
to record the alternate response shape.
- 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
