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

69 commits

Author SHA1 Message Date
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
Allaun Silverfox
8a59e92d27 Add bio-organoid signal field gate documentation 2026-05-16 14:49:05 -05:00
Allaun Silverfox
30668c6df7 Add 16D Chaos Game Field Shrinker documentation 2026-05-16 14:39:03 -05:00
Allaun Silverfox
aef8bed3f1 Document Semantic Mass route plow runner 2026-05-16 13:51:09 -05:00
Allaun Silverfox
b4c414f487 Add FAMM Semantic Mass math-forest plow documentation 2026-05-16 13:35:56 -05:00
Allaun Silverfox
881e9b5afe Add Semantic Mass Z-domain accelerator documentation 2026-05-16 13:24:06 -05:00
Allaun Silverfox
d249ef76a6 Document empirical Hessian receipt pass 2026-05-16 13:18:08 -05:00
Brandon Schneider
3302af8420 docs(system): separate FRT core from personal software inventory 
Provide two lists for clean system recovery:

- frt-core-packages.txt: 90 packages required to build, verify, and run
  the Research Stack (VITAL + NEEDED tiers). Install first on fresh system.

- personal-packages.txt: ~200 packages that are NOT required for FRT work.
  These are quality-of-life, niche domain, or redundant tools. Safe to remove
  for a clean research environment; reinstall on demand.

Total potential savings: ~3-5GB by removing personal tier.

Also includes the full 391-package master inventory with per-package
justifications in software_inventory_2026-05-13.md.
 2026-05-13 18:29:40 -05:00
Brandon Schneider
c33de94001 docs(system): inventory all 391 installed packages with FRT separation 
Categorize every explicitly installed package into:
- VITAL: system boot/connectivity/authentication/update backbone
- NEEDED: core Research Stack toolchain (Rust, Lean, Python, Ollama, etc.)
- USEFUL: quality-of-life and secondary workflows
- IF YOU MUST: heavy/duplicate/niche tools safe to remove

Purpose: enable clean separation between personal/cosmetic software
and Fractal Recursion Theory runtime dependencies. Provides
per-package removal commands for ~2-3GB quick savings.
 2026-05-13 18:28:08 -05:00
Brandon Schneider
442c08c4cd 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
Brandon Schneider
498d771d31 Track remaining Dependabot transitive exceptions 2026-05-11 23:45:53 -05:00
Brandon Schneider
df28de3754 Add verified Ollama DeepSeek review emitter 2026-05-11 23:13:54 -05:00
Brandon Schneider
5b5a3da383 Correct DeepSeek review receipt attribution 2026-05-11 23:06:57 -05:00
Brandon Schneider
6fdfb7a6d1 Document portable setup and review receipts 2026-05-11 23:01:51 -05:00
Brandon Schneider
fc4c11dd6a Update repository agent operating contracts 2026-05-11 22:48:54 -05:00
Brandon Schneider
9532cd7317 Track remaining source and documentation inventory 2026-05-11 22:18:31 -05:00
Brandon Schneider
3061dd02ca Stage JXL starfield replay slice 2026-05-11 22:08:44 -05:00
Brandon Schneider
28e71fb266 Stage stack solidification source slice 2026-05-11 22:08:10 -05:00