allaun/Research-Stack
1
0
Fork 0
mirror of https://github.com/allaunthefox/Research-Stack.git synced 2026-07-31 03:05:21 +00:00
Code Issues Projects Releases Packages Wiki Activity Actions
805 commits 18 branches 0 tags 425 MiB
Commit graph

19 commits

Author SHA1 Message Date
allaun
ea34d8a38b chore(gitignore): ignore local opencode config file 2026-06-22 03:26:34 -05:00
allaun
779f4fe413 feat(data): add DB sync scripts and infra tracking 
Add concept extraction/orchestration scripts under scripts/ and infra
metadata in infra.json. Generated extraction outputs live under extraction/
and are regenerated from scripts; add extraction/ to .gitignore.
 2026-06-22 03:14:09 -05:00
allaun
e370f83eb8 feat(infra): parallel Gremlin edge loader; graph load complete 
- Optimize load_dependency_graph.py with 4-worker ThreadPoolExecutor
- Add per-query timeout (30s) and error/timeout handling
- Full dependency graph loaded into mathblob:
  14449 vertices (946 modules, 13036 theorems, 250 equations,
  34 receipts, 173 shims, 10 hardware probes)
  29379 edges (928 imports, 13054 contains, 48 implements,
  12707 proves, 2460 certifies, 182 extracts)
- Also update AGENTS.md docs and NBody/ErdosRenyiPipeline/
  HachimojiManifoldAxiom/ImaginarySemanticTime lean WIP
 2026-06-20 19:57:29 -05:00
allaun
b038778361 feat(lean): SDPVerify, GoormaghtighCert, Hachimoji modules; Gremlin mathblob graph loader; branch cleanup 
- SDPVerify.lean: certificate verification engine (714 lines, compiles cleanly)
- GoormaghtighCert.lean: Goormaghtigh conjecture SDP certificate
- HachimojiManifoldAxiom/HachimojiSubstitution: Hachimoji DNA encoding
- GeneticBraidBridge.lean: genetic algorithm braid bridge
- load_dependency_graph/load_module_graph: Gremlin Cosmos DB graph loaders
- test_graph_queries/rrc_math_xref: graph verification queries
- Gremlin mathblob DB provisioned and accessible
- Branch cleanup: deleted 11 stale remote branches

Build: 3297 jobs, 0 errors (lake build Semantics.SDPVerify)
 2026-06-19 23:06:16 -05:00
allaun
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
1e4a7fd6d5 archive: remove dated receipts, experimental probes, and uncompiled prototypes 
- Move 2026-05-13 dated receipt dirs to archive/
- Move 62 experimental Lean Probe/Metaprobe files to archive/lean-probes/
- Move uncompiled rust-conversions/ prototype to archive/
- Move uncompiled gpu/ prototype to archive/ (including wasmgpu submodule)
- Delete one-shot infra scripts with hardcoded secrets
- Remove stray git bare-repo internals at root (config, HEAD, hooks/, info/, description)
- Remove stale root-level artifacts (re, changes.zip, etc.)
- Update .gitignore for venvs, scratch tests, ai-math-discovery-systems
 2026-05-25 16:51:58 -05:00
Brandon Schneider
9d450756c1 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
c957fac96e 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
c5b6a31a8b 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
Brandon Schneider
a6311ed940 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
40fbab8aac Add optional science toolbelt probe 2026-05-12 00:21:34 -05:00
Brandon Schneider
a99e839bab Track remaining source and documentation inventory 2026-05-11 22:18:31 -05:00
Brandon Schneider
cabf709253 Ignore generated run outputs and scrub API key scripts 2026-05-11 22:06:39 -05:00
Brandon Schneider
75bbb80209 Track HCMMR sources and ignore generated mirrors 2026-05-11 21:53:32 -05:00
Brandon Schneider
9f8649e00b Ignore generated VCD waveform dumps 2026-05-11 14:56:11 -05:00
Brandon Schneider
38ddec024d Add RRC projection receipts and roadmap mirrors 2026-05-08 14:50:03 -05:00
Brandon Schneider
0709b298b3 Consolidate research stack updates 2026-05-05 21:09:48 -05:00
Brandon Schneider
45ef542eed Add placeholder icons for Tauri builds 2026-05-04 19:24:38 -05:00
Brandon Schneider
5f88abf618 initial: sovereign research stack (consolidated, weightless, and lfs-optimized) 2026-05-04 18:11:36 -05:00