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
Research-Stack/5-Applications
History
Brandon Schneider 3044f36df7 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 49f0dfb3; 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
..
AppFlowy-Cloud Add EC2 recovery backup: NixOS config, AppFlowy compose/env template, credential server bootstrap, recovery guide 2026-05-18 10:44:23 -05:00
audio-dsp Track remaining source and documentation inventory 2026-05-11 22:18:31 -05:00
audit initial: sovereign research stack (consolidated, weightless, and lfs-optimized) 2026-05-04 18:11:36 -05:00
cff Track remaining source and documentation inventory 2026-05-11 22:18:31 -05:00
compression-core Track remaining source and documentation inventory 2026-05-11 22:18:31 -05:00
hutter_prize initial: sovereign research stack (consolidated, weightless, and lfs-optimized) 2026-05-04 18:11:36 -05:00
linear-native-tauri Bump the linear-tauri-cargo-minor-patch group 2026-05-20 23:03:27 -05:00
nodupe Patch NoDupe qs vulnerability 2026-05-25 20:52:25 -05:00
notion-native-tauri Bump the notion-tauri-cargo-minor-patch group 2026-05-20 23:03:27 -05:00
parquet_compressor Bump dashmap 2026-05-20 23:03:27 -05:00
pist-scripts initial: sovereign research stack (consolidated, weightless, and lfs-optimized) 2026-05-04 18:11:36 -05:00
plugins/substack-connector Track remaining source and documentation inventory 2026-05-11 22:18:31 -05:00
scripts chore(pending): quarantine python Notion+Linear MCP server (Lean-first unification) 2026-05-26 17:59:19 -05:00
teleport-kanban Bump the cargo group across 3 directories with 1 update 2026-05-20 23:02:48 -05:00
tests initial: sovereign research stack (consolidated, weightless, and lfs-optimized) 2026-05-04 18:11:36 -05:00
text-to-cad docs(agents): project-wide AGENTS.md audit — cross-refs, baseline, contracts 2026-05-26 22:34:46 -05:00
tools-scripts archive: remove experimental tools-scripts, scripts, and shim probes 2026-05-25 18:14:31 -05:00
finance_manager.py chore: preserve working tree before secure wipe 2026-05-13 17:36:02 -05:00
README.md initial: sovereign research stack (consolidated, weightless, and lfs-optimized) 2026-05-04 18:11:36 -05:00
requirements_swarm_api.txt initial: sovereign research stack (consolidated, weightless, and lfs-optimized) 2026-05-04 18:11:36 -05:00
visualizer_service.py initial: sovereign research stack (consolidated, weightless, and lfs-optimized) 2026-05-04 18:11:36 -05:00

README.md

5-Applications

Purpose: End-to-end pipelines, integration tests, automation scripts, benchmarks, audit.

Depends on: 0 through 4

Contents (Target)

Source Destination
5-Applications/scripts/ 5-Applications/scripts/
5-Applications/tests/ 5-Applications/tests/
5-Applications/out/ 5-Applications/out/
5-Applications/audit/ 5-Applications/audit/

Scripts

  • build_manifold_graphml.py
  • export_manifold_to_obsidian.py
  • hot_swap_daemon.py
  • hot_swap_manager.py

Pipeline

  1. Generate provably hard question (Builder: ADD clock)
  2. Route via OmnidirectionalInterface (Lean)
  3. Execute via DomainModelIntegration (Lean → Python shim)
  4. Store in Google Drive topological storage (Warden: SUBTRACT clock)
  5. Hardware triumvirate integration (Judge: PAUSE clock)