Brandon Schneider
|
a078e265ef
|
docs: full documentation + roadmap refresh (2026-05-19)
- CHANGELOG: add 2026-05-09 through 2026-05-19 entry covering Lean
hardening, storage stack, 20+ new gates, physics RG suite
- ROADMAP: update layer model (746 modules, 3529 jobs, 0 errors);
mark eigensolid_convergence proven; add section 12 (Infrastructure
& Data Layer) covering ENE RDS, Garage S3, storage agent, devcontainer
- TODO_MAP: add B11 (eigensolid convergence, DONE), Phase I (infra),
Phase J (adversarial gates); rename old Phase I to Phase K
- README: update Lean module/build counts; add Infrastructure table
- ARCHITECTURE: update L0 row; add repository structure rows for
ene-rds, storage, devcontainer; add sections 11-13 (Storage &
Persistence Layer, ENE RDS Workspace, Braid Eigensolid Compressor)
- CONCEPTS: add Braid Eigensolid Compressor, Constrained Agent
Framework, and Garage S3 Storage Stack concept entries
- 4-Infrastructure/README: rewrite to reflect ENE RDS Rust workspace,
restic/Garage/rclone storage stack, storage agent, GPU dispatch,
adversarial harnesses
Generated with [Devin](https://cli.devin.ai/docs)
Co-Authored-By: Devin <158243242+devin-ai-integration[bot]@users.noreply.github.com>
|
2026-05-19 09:12:16 +00:00 |
|
Brandon Schneider
|
cb11e4ac27
|
Quarantine sorry blocks, fix RcloneIntegration proof, add ENE wiki re-ingest and ZFS setup.
Lean sorry audit (lake build passes, 3539 jobs):
- FixedPointBridge: 10 sorrys quarantined with TODO(lean-port) — all blocked on
Float→Q bridge lemmas (Q0_16/Q16_16 round-trip error bounds)
- HyperbolicStateSurface: 3 sorrys quarantined — need Q16_16.sqrt error-bound
and Q16_16.add_pos_of_pos lemmas
- CostEffectiveVerification: 1 sorry quarantined; also fixed pre-existing
struct/structure typo, Array.Repr, Real.abs syntax, and Bool/Prop mismatch
- MMRFAMMUnification: 1 sorry quarantined — Array.foldl induction lemma missing
- WaveformTeleport: constantWaveformAtFixedPoint_base native_decide was
numerically false; replaced with sorry + TODO(lean-port)
- RcloneIntegration: startTask_pending_non_increasing PROVED — only sorry fully
closed, using List.partition_eq_filter_filter + List.filter_sublist
- DiffusionSNRBias, GPUVerificationMetaprobe, QFactor, SSMS: already properly
quarantined; verified build passes
Infrastructure additions:
- ene_wiki_body_reingest.py: 5-source priority resolver for ene.wiki_revisions
text="" gap (TiddlyWiki → filesystem → Notion → package description → stub)
- zfs-pool-setup.sh: stackcache pool (500G sparse vdev) with hot/warm/cold
thermal-zone dataset hierarchy; requires reboot to 7.0.9-1-cachyos kernel
Docs:
- ROADMAP.md: mark Lean→Verilog/FPGA targets as LONG-TERM in Phase 6
- UNIFIED_SIGNAL_ARCHITECTURE.md: add FPGA-column deferral notice
Generated with [Devin](https://cli.devin.ai/docs)
Co-Authored-By: Devin <158243242+devin-ai-integration[bot]@users.noreply.github.com>
|
2026-05-18 23:01:44 -05:00 |
|
Brandon Schneider
|
382277ec28
|
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 |
|