allaun/Research-Stack
1
0
Fork 0
mirror of https://github.com/allaunthefox/Research-Stack.git synced 2026-08-13 22:50:36 +00:00
Code Issues Projects Releases Packages Wiki Activity Actions
444 commits 18 branches 0 tags 425 MiB
Commit graph

86 commits

Author SHA1 Message Date
Brandon Schneider
beedfe6a9f docs(agents): project-wide AGENTS.md audit — cross-refs, baseline, contracts 
Actions taken from 5-agent audit sweep (audit date 2026-05-26):

AGENTS.md / docs sync:
- root AGENTS.md: add scripts/qc-flag and lean_expert_agent to Nested Contracts
- All 6 nested AGENTS.md files: append Cross-References section pointing to
  root for Post-Interaction Workflow, Programming Choice Flow, Do Not Sweep,
  Git Remote Hygiene (Lean, Infra, text-to-cad, docs, qc-flag, lean_expert_agent)
- 6-Documentation/docs/AGENTS.md: cross-ref also lists AVMIsa.Emit sole output
  boundary and Compiler surface blessing

Lean build baseline:
- 0-Core-Formalism/lean/Semantics/AGENTS.md: update blessed Compiler Surface
  header to commit 0ed30f76; correct job count to 3311 (lake build Compiler)

ARCHITECTURE.md:
- §7 repo table: add RRC.Emit, AVMIsa.Emit, RRC.Corpus278 to Lean/Semantics entry
- New §7.1 Compiler Surface: documents 3-root pipeline and sole output boundary
- §4 Data Flow: annotate output with AVMIsa.Emit sole-boundary note

TODO_MAP.md:
- Phase A6: add 3 new Lean deliverables (Corpus278, RRC.Emit, AVMIsa.Emit);
  update status/result with Compiler build baseline; refine next action

Build: Compiler 3311 jobs, 0 errors (no Lean changes).

Generated with Devin (https://cli.devin.ai/docs)

Co-Authored-By: Devin <158243242+devin-ai-integration[bot]@users.noreply.github.com>
 2026-05-26 22:34:46 -05:00
Allaun Silverfox
c7aeb93aaa docs: add Lean-first boundary contract (Lean vs shims, receipts, float ban) 2026-05-26 17:31:54 -05:00
Allaun Silverfox
e08b25c92c docs(avm): strengthen float prohibition and documentation requirement 2026-05-26 16:02:05 -05:00
Allaun Silverfox
51d1fc56d8 docs(avm): add stripping policy and bad-code elimination rules 2026-05-26 15:59:41 -05:00
Allaun Silverfox
a8b3435c93 docs(avm): redefine AVM as Lean-only ISA with adapter shims/backends 2026-05-26 15:58:25 -05:00
Allaun Silverfox
5133216e85 docs: add RRC PIST shape-alignment phase 2026-05-26 15:47:19 -05:00
Allaun Silverfox
467190b048 docs: add receipt-density verification sequence 2026-05-26 15:19:07 -05:00
Allaun Silverfox
61c0091213 docs: add PIST receipt-density backfill guide 2026-05-26 14:46:55 -05:00
Allaun Silverfox
10d566c565 wiki: link PIST route-repair receipt update from home 2026-05-26 14:38:39 -05:00
Allaun Silverfox
d97b3a8606 wiki: add PIST route-repair receipt update tiddler 2026-05-26 14:36:34 -05:00
Allaun Silverfox
5c77485a6b docs: add PIST route-repair and receipt update 2026-05-26 14:36:15 -05:00
Brandon Schneider
9bcc1c3dc9 WIP: accumulated changes 2026-05-25 16:24:21 -05:00
Allaun Silverfox
2db3b9637b Add Talagrand convexity fold-in note 2026-05-23 02:53:19 -04:00
Allaun Silverfox
385aabcd19 Add Auro Zera modular-cover audit note 2026-05-23 02:47:25 -04:00
Brandon Schneider
a8bfddae2a docs: add external research import maps 2026-05-20 18:41:21 -05:00
Brandon Schneider
3779794a3e Merge github/main turbulence atlas documentation 2026-05-20 18:40:26 -05:00
Brandon Schneider
a388db9632 ROADMAP.md: correct 9 phantom/stale claims flagged by review agents 
**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>
 2026-05-19 17:04:45 +00:00
Allaun Silverfox
4f274645af Add turbulence model atlas gate documentation 2026-05-19 10:24:36 -05:00
Brandon Schneider
e7ce655ba4 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
69d007e46e Expand ene-rds Rust workspace and refine devcontainer 
- 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>
 2026-05-19 07:52:39 +00:00
Brandon Schneider
6f2019459a Expand devcontainer with full Python stack, add MCP servers (Notion/AWS), strengthen Lean theorems 
- .devcontainer/Dockerfile: add PostgreSQL client libs, OpenSSL/libffi headers, gfortran/BLAS for scipy, rclone; install full Python dependency set (boto3, psycopg2-binary, fastapi, uvicorn, notion-client, httpx, pytest, numpy, scipy, etc.) in uv-managed venv; add rclone S3 gateway init script as ENTRYPOINT
- .devcontainer/devcontainer.json: switch from build to pre-built image (localhost/research
 2026-05-19 01:52:14 -05:00
Brandon Schneider
f6250ee5df 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
Allaun Silverfox
9103d67110 Add OR-Tools WASM constraint solver gate documentation 2026-05-18 18:45:52 -05:00
Allaun Silverfox
4267fed832 Add deep-dive possible constrained-agent approaches addendum 2026-05-18 15:47:29 -05:00
Allaun Silverfox
f3f8bd2ee4 Add possible constrained-agent approaches document with GLIA 2026-05-18 12:02:08 -05:00
Allaun Silverfox
0a79522060 Add SmallCode constrained agent execution gate documentation 2026-05-18 11:42:44 -05:00
Allaun Silverfox
56a92a341b Add citations to Möbius-Apollonius gate 2026-05-18 00:05:53 -05:00
Allaun Silverfox
a32ec684ab Add Möbius-Apollonius chord partition gate documentation 2026-05-18 00:02:43 -05:00
Allaun Silverfox
23222513e7 Add Chromatic Homotopy Height Spectral Gate documentation 2026-05-17 16:22:06 -05:00
Allaun Silverfox
72afa82495 Add Ahmed Integral scalar witness gate documentation 2026-05-17 16:18:43 -05:00
Allaun Silverfox
1e77f88426 Add adversarial duals combined documentation 2026-05-17 14:38:12 -05:00
Allaun Silverfox
91889062db Add Anti-BraidStorm hostile crossing gate documentation 2026-05-17 14:37:19 -05:00
Allaun Silverfox
1a64e86156 Add Anti-FAMM shadow adversary documentation 2026-05-17 14:33:24 -05:00
devin-ai-integration[bot]
5341f1c1ba docs(wiki): disambiguate continuation receipt instructions 
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.
 2026-05-17 12:20:57 -05:00
Brandon Schneider
6f0ab8b3f9 integrate infrastructure config, axiom cleanup, and documentation updates 
- 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
 2026-05-17 12:03:19 -05:00
Allaun Silverfox
041e8c5600 Add Feynman path-integral shadow witness note 2026-05-17 10:39:59 -05:00
Allaun Silverfox
92d1cc2af0 Add Navier-Stokes shadow control gap map note 2026-05-17 10:32:14 -05:00
Allaun Silverfox
15d953e2bb Add Navier-Stokes/MHD chiral drag witness note 2026-05-17 10:18:42 -05:00
Allaun Silverfox
bc87a95676 Add Plasma Chiral Drag Witness Gate documentation 2026-05-17 10:10:15 -05:00
Allaun Silverfox
11f6997079 Add Universal Shortcut Center Manifold documentation 2026-05-16 21:10:29 -05:00
Allaun Silverfox
1ec5739f2e Add BraidStorm Sidon Crossing Anti-Alias Gate documentation 2026-05-16 20:47:57 -05:00
Allaun Silverfox
cda06d7e95 Add Golden Braid Centering Gate documentation 2026-05-16 19:45:02 -05:00
Allaun Silverfox
e4d68e101e Add autonomous speedrun harness gate documentation 2026-05-16 19:08:34 -05:00
Allaun Silverfox
03a7519175 Add MarkovJunior 16D PIST rewrite shim documentation 2026-05-16 18:40:29 -05:00
Allaun Silverfox
118661906b Add Sidon FAMM map documentation 2026-05-16 17:17:26 -05:00
Allaun Silverfox
e8ab9b812c Add Builder-Judge-Warden geodesic cleanup filter documentation 2026-05-16 16:57:56 -05:00
Allaun Silverfox
f495ff55d6 Add logogram chirality route gate documentation 2026-05-16 16:30:15 -05:00
Allaun Silverfox
ac109d817e Add NUVMAP Delta-DAG sharding spec 2026-05-16 16:12:10 -05:00
Allaun Silverfox
6f914fc3ba Add NUVMAP Delta-DAG search compressor documentation 2026-05-16 16:05:53 -05:00
Allaun Silverfox
0925264f3f Add common-noise MFG Riccati gate documentation 2026-05-16 15:04:56 -05:00