475f6319ea
chore(repo): push local 768-commit branch state onto clean remote baseline
...
This squashes all local history (768 commits) onto the scrubbed PR #90
baseline. Individual commits were lost during filter-repo corruption;
the working tree content is preserved intact.
Build: N/A (working tree state only)
2026-06-15 22:46:50 -05:00
Brandon Schneider
aba1fba7ad
fix(adversarial-review): resolve 35 critical coding bugs across 8 subsystems
...
Security & correctness fixes from full adversarial review:
Lean (7 fixes):
- FixedPoint.lean: guard false theorem with n > 0 precondition
- QFactor.lean: remove double-scaling error in energy decrease
- AVMIsa/Step.lean: implement addSatQ16/subSatQ16 primitives
- BraidEigensolid.lean: fix crossStep second output argument swap
- SSMS.lean: complete ACI preservation proof (with rounding caveat)
- HouseholderQR.lean: add n > 0 precondition to spectral theorem
Verilog (7 fixes):
- q16_lut_core.v: fix multiply shift (16 → 32 bits)
- q16_lut_top.v: fix valid bit (0 → 1)
- cff_accelerator.v: fix SHA-256 padding (len < 448 check)
- research_stack_top.v: fix trigger aliasing (unique counters)
- Blitter6502OISC_small.v: fix address width (15 → 16 bits)
- spatial_hash_bram.v: add OOB write guard
- tmr_oepi_safety_fsm.v: fix double-increment race
WGSL (6 fixes):
- shaders.wgsl: atomicAdd for concurrent writes
- frustration_qubo.wgsl: double-buffer + CAS loop
- braid_fft.wgsl: workgroupBarrier synchronization
- burgers_scar_filter.wgsl: atomic E_bins array
Rust (9 fixes):
- thermodynamic.rs: Arc::from_raw → Arc::clone (double-free)
- thermodynamic.rs: Box::into_raw → Box (leak)
- tools/src/lib.rs: shell injection → shlex.quote
- ene-node/src/lib.rs: LRU caps, constant-time HMAC, peer caps
Python (6 fixes):
- similarity/__init__.py: pickle.load → RestrictedUnpickler
- AI-Feynman: torch.load → weights_only=True (14 calls)
- fetch_arxiv.py, fetch_s2.py: eval → ast.literal_eval
- topology.py: os.system → shutil.copy2
- SSH pipe: os.system → base64 pipe
Build: lake build 3572 jobs, 0 errors
2026-05-31 23:38:03 -05:00
Allaun Silverfox
a5e010f12c
feat(mcp): route Lean-defined tools via external cmd map
2026-05-26 18:58:49 -05:00
Allaun Silverfox
342a7f475b
feat(runtime): register mcp_surface_router module
2026-05-26 18:26:44 -05:00
Allaun Silverfox
724c7a71ff
feat(runtime): add generic Lean surface tool command router (CLAW_MCP_TOOL_CMD_MAP)
2026-05-26 18:25:03 -05:00
Allaun Silverfox
f4ef3622c3
feat(runtime): register ene_context_tools shim module
2026-05-26 18:12:56 -05:00
Allaun Silverfox
78268478e2
feat(runtime): add ENE context tool dispatch shim (command-based)
2026-05-26 18:11:39 -05:00
Allaun Silverfox
2f6cc3aa88
docs(runtime): update Lean manifest cmd example to ENE surface toolsJson
2026-05-26 18:06:56 -05:00
Allaun Silverfox
c37a52bbb2
feat(runtime): register lean_mcp_manifest module
2026-05-26 17:50:05 -05:00
Allaun Silverfox
cbe66373cc
feat(runtime): source tools/list from Lean manifest env var when spec.tools empty
2026-05-26 17:49:55 -05:00
Allaun Silverfox
75c1f48768
feat(runtime): load MCP tools list from Lean manifest JSON (shim-only)
2026-05-26 17:42:33 -05:00
dependabot[bot]
f99015c5ad
Bump sha2 in /1-Distributed-Systems/agents/claw/rust
...
Bumps [sha2](https://github.com/RustCrypto/hashes ) from 0.10.9 to 0.11.0.
- [Commits](https://github.com/RustCrypto/hashes/compare/sha2-v0.10.9...sha2-v0.11.0 )
---
updated-dependencies:
- dependency-name: sha2
dependency-version: 0.11.0
dependency-type: direct:production
update-type: version-update:semver-minor
...
Signed-off-by: dependabot[bot] <support@github.com>
(cherry picked from commit 01389c38c76d42f311b1192b0965010b8761d378)
2026-05-20 23:02:44 -05:00
dependabot[bot]
eb2425aaa1
Bump crossterm in /1-Distributed-Systems/agents/claw/rust
...
Bumps [crossterm](https://github.com/crossterm-rs/crossterm ) from 0.28.1 to 0.29.0.
- [Release notes](https://github.com/crossterm-rs/crossterm/releases )
- [Changelog](https://github.com/crossterm-rs/crossterm/blob/master/CHANGELOG.md )
- [Commits](https://github.com/crossterm-rs/crossterm/commits/0.29 )
---
updated-dependencies:
- dependency-name: crossterm
dependency-version: 0.29.0
dependency-type: direct:production
update-type: version-update:semver-minor
...
Signed-off-by: dependabot[bot] <support@github.com>
(cherry picked from commit 34f19a92ddb59783f09b3f530061f8407a4c391b)
2026-05-20 23:01:47 -05:00
Brandon Schneider
d440fa3f47
Scrub tracked API key material
2026-05-11 22:25:43 -05:00
Brandon Schneider
5f88abf618
initial: sovereign research stack (consolidated, weightless, and lfs-optimized)
2026-05-04 18:11:36 -05:00
