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

44 commits

Author SHA1 Message Date
dependabot[bot]
ff0c8c3877
Bump the cargo group across 3 directories with 1 update 
Bumps the cargo group with 1 update in the /2-Search-Space/search/stract directory: [openssl](https://github.com/rust-openssl/rust-openssl).
Bumps the cargo group with 1 update in the /2-Search-Space/search/stract/crates/leechy-py directory: [openssl](https://github.com/rust-openssl/rust-openssl).
Bumps the cargo group with 1 update in the /5-Applications/teleport-kanban directory: [openssl](https://github.com/rust-openssl/rust-openssl).


Updates `openssl` from 0.10.79 to 0.10.80
- [Release notes](https://github.com/rust-openssl/rust-openssl/releases)
- [Commits](https://github.com/rust-openssl/rust-openssl/compare/openssl-v0.10.79...openssl-v0.10.80)

Updates `openssl` from 0.10.79 to 0.10.80
- [Release notes](https://github.com/rust-openssl/rust-openssl/releases)
- [Commits](https://github.com/rust-openssl/rust-openssl/compare/openssl-v0.10.79...openssl-v0.10.80)

Updates `openssl` from 0.10.79 to 0.10.80
- [Release notes](https://github.com/rust-openssl/rust-openssl/releases)
- [Commits](https://github.com/rust-openssl/rust-openssl/compare/openssl-v0.10.79...openssl-v0.10.80)

---
updated-dependencies:
- dependency-name: openssl
  dependency-version: 0.10.80
  dependency-type: indirect
  dependency-group: cargo
- dependency-name: openssl
  dependency-version: 0.10.80
  dependency-type: indirect
  dependency-group: cargo
- dependency-name: openssl
  dependency-version: 0.10.80
  dependency-type: indirect
  dependency-group: cargo
...

Signed-off-by: dependabot[bot] <support@github.com>
 2026-05-20 05:30:01 +00:00
Brandon Schneider
6bcf0f4bf3 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
130cb73106 Add EC2 recovery backup: NixOS config, AppFlowy compose/env template, credential server bootstrap, recovery guide 
- ec2-configuration.nix: full NixOS config for aws-nixos-node-1
- docker-compose.minimal.yml: AppFlowy Cloud compose with search_path fix
- .env.example: sanitized AppFlowy env template
- nixos-setup-cred-server.sh: credential server bootstrap
- RECOVERY.md: step-by-step rebuild instructions
- .gitignore: secrets dir excluded
- credential_provider.py reverted to repo HEAD (EC2 had hardcoded AWS creds)
- racknerd_root.txt removed from working tree
 2026-05-18 10:44:23 -05:00
Brandon Schneider
312c0acfcc feat: add RDS probe tool, credential server, and Notion/Linear ingestion pipeline 
New infrastructure components:
- rds_probe: Rust database inspection tool with IAM auth
- credential_server.py: REST credential provider server
- credential_provider.py: credential resolution chain
- ene_rds_fractal_fold.py / ene_rds_wiki_layer.py: RDS-backed ENE layers
- import_dumps_to_rds.py / export_linear_from_rds.py: ingestion pipeline
- recover_credential_server.sh: deployment script (sanitized)

Sanitize hardcoded secrets across codebase:
- Strip API keys from recover_credential_server.sh → env var lookups
- Replace hardcoded Wolfram appid (HYJE3R3R63) → env var in 5 scripts
- Strip fallback key values from config/index.js
- Add .claude/ and optimized_basis_v3.bin to .gitignore

Ingested 2,685 records into RDS: 2,421 Linear issues + 264 wiki pages
 2026-05-18 00:31:44 -05:00
Allaun Silverfox
18ecc48b7d Add Anti-FAMM/Anti-BraidStorm adversary runner 2026-05-17 15:10:31 -05:00
Brandon Schneider
f6a552cd80 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
3f9b8222c5 Add Plasma Chiral Drag Witness runner 2026-05-17 10:11:38 -05:00
Allaun Silverfox
4b8eb2bf8c Add BraidStorm Sidon Crossing Anti-Alias runner 2026-05-16 20:54:30 -05:00
Allaun Silverfox
f1ca417cdf Add Golden Braid Centering Gate runner 2026-05-16 19:46:13 -05:00
Allaun Silverfox
1b11f1822c Add autonomous speedrun harness gate runner 2026-05-16 19:09:42 -05:00
Allaun Silverfox
f18d57d9e9 Add MarkovJunior 16D shim runner 2026-05-16 18:42:25 -05:00
Allaun Silverfox
1385dbbc05 Add Sidon FAMM map runner 2026-05-16 17:18:49 -05:00
Allaun Silverfox
ac2deb0628 Add Builder-Judge-Warden geodesic cleanup runner 2026-05-16 16:59:26 -05:00
Allaun Silverfox
84e8e38ca9 Add logogram chirality route gate runner 2026-05-16 16:31:01 -05:00
Allaun Silverfox
4a430a7606 Add NUVMAP Delta-DAG graph coloring compressor 2026-05-16 16:13:58 -05:00
Allaun Silverfox
5762e731b1 Add 16D Chaos Game field shrinker runner 2026-05-16 14:39:56 -05:00
Allaun Silverfox
6820c5357d Add Semantic Mass route plow runner 2026-05-16 13:41:51 -05:00
Allaun Silverfox
fac21b84d8 Add Semantic Mass Z-domain accelerator runner 2026-05-16 13:24:51 -05:00
Allaun Silverfox
4f7f8f5880 Add FAMM empirical Hessian receipt runner 2026-05-16 13:14:33 -05:00
Brandon Schneider
7bddd21a1e 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
95a4a09e6a Refactor provenance sources for open witness backends 2026-05-12 05:57:04 -05:00
Brandon Schneider
da2f876852 Quiet parquet compressor warnings 2026-05-11 23:48:42 -05:00
Brandon Schneider
8766fa2196 Track remaining Dependabot transitive exceptions 2026-05-11 23:45:53 -05:00
Brandon Schneider
efb7882db5 Remediate dependency alert residue 2026-05-11 23:26:12 -05:00
Brandon Schneider
913a6fcec6 Add verified Ollama DeepSeek review emitter 2026-05-11 23:13:54 -05:00
Brandon Schneider
de830f9e1c Update repository agent operating contracts 2026-05-11 22:48:54 -05:00
Brandon Schneider
580068f5c9 Scrub tracked API key material 2026-05-11 22:25:43 -05:00
Brandon Schneider
a3112de74a Track remaining source and documentation inventory 2026-05-11 22:18:31 -05:00
Brandon Schneider
8ea67d19ea Point ENE scripts at shared data 2026-05-11 22:10:55 -05:00
Brandon Schneider
419ae21523 Stage stack solidification source slice 2026-05-11 22:08:10 -05:00
Brandon Schneider
abb363600b Ignore generated run outputs and scrub API key scripts 2026-05-11 22:06:39 -05:00
Brandon Schneider
bec4b86a38 Add NUVMAP scan scheduling receipts 2026-05-11 14:49:17 -05:00
Brandon Schneider
94f6990683 Fix Dependabot dependency alerts 2026-05-08 15:04:30 -05:00
Brandon Schneider
34779c9e4d ingest: Hypercube → Hyper-Rhomboid composition theory 
Orthogonal tensor (hypercube) assumes independent axes.
Shear into parallelotope (hyper-rhomboid) models entangled dimensions.
The shear angle encodes correlation strength; the Gram matrix
of the shear IS the compression dictionary.

6 stack mappings:
- PIST n-D: Cartesian → Bundle → Radial = hypercube → rhomboid → collapsed
- Topological state machine: transition = shear on state tensor
- N-D Gene Hypothesis: gene = n-D rhomboid, 3D structure = projection shadow
- FAMM: preshaped delay = sheared time-domain rhomboid
- OAC: latent cavity in sheared rhomboid space
- Waveprobe: curvature = local shear angle of coordinate basis

3 compression interpretations + information gravity metric tensor
 2026-05-07 02:04:03 -05:00
Brandon Schneider
00e72d08e8 wiki: add Q-Fox primary development machine specifications 
AMD Ryzen 5 9600X (6C/12T, AVX-512), 31GiB DDR5, 1.8TB NVMe,
Radeon iGPU, CachyOS 7.0.3. Mapped 8 capabilities to stack use.
 2026-05-07 00:54:47 -05:00
Brandon Schneider
161995521e ingest: Observer-Admissible Cavities theory — radius-ratio → Pidgen-hole → S3C/Spherion → OAC 
6 key concepts formalized:
- Radius-ratio rule → admissible motif classifier (CN3-8 thresholds)
- Pidgen-hole theory → typed hole + residual codec
- S3C shell coordinates → n=k²+a with throat/mirror/mass
- Spherion shaping → pyramid protrusions/voids as compression teeth
- S_n(n^n) → Matryoshka shell with latent combinatorial interior
- Observer-Admissible Cavities → touch-manifesting lazy holes

7 cross-references to existing modules, 4 new primitives identified.
7 keeper phrases preserved.
 2026-05-07 00:47:10 -05:00
Brandon Schneider
01723f9379 collapse: prover orchestration layers, FAMM verilator harness, swarm topological prober, spec sheets, virtual FPGA system tests, merge conflict resolution 
- Prover-Integrated Orchestration Layers (L0-L3): Goedel-Prover-V2 watchdog, BFS-Prover-V2 swarm consensus, bf4prover topology adaptation
- FAMM Verilator benchmark: uniform vs preshaped delay comparison (4.4x speedup)
- Swarm topological device prober: 11 agents probing traces, caps, delays, errors, vias, PDN
- Spec sheet puller: 10 components with key params and topological relevance
- Virtual FPGA system tests: 6/6 passed, 134K ops/s throughput
- Fixed merge conflicts in AI-Newton test_experiment.ipynb
 2026-05-06 23:42:01 -05:00
Brandon Schneider
4463693c60 Fix external repository references 2026-05-05 21:15:26 -05:00
Brandon Schneider
58536bc3a3 Consolidate research stack updates 2026-05-05 21:09:48 -05:00
Brandon Schneider
702a821bba Remove reqwest to fix ring linking errors; simplify dependencies 2026-05-04 19:27:44 -05:00
Brandon Schneider
1267fe8fac Add placeholder icons for Tauri builds 2026-05-04 19:24:38 -05:00
Brandon Schneider
862a89257e Fix Tauri builds: navigate API, unused imports, build config 2026-05-04 19:22:01 -05:00
Brandon Schneider
d2cb67ae58 Add ENE research topic candidates, compression-core, notion-native-tauri, linear-native-tauri 2026-05-04 19:08:20 -05:00
Brandon Schneider
8fbeb4e9ba initial: sovereign research stack (consolidated, weightless, and lfs-optimized) 2026-05-04 18:11:36 -05:00