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

61 commits

Author SHA1 Message Date
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
Brandon Schneider
8fde940d72 Add EntropyCollapseDetector kernel and arithmetic spec 
- Add EntropyCollapseDetector.lean: executable checks for triple condition
  (braid crossings, σ_q/Hurst, D_q/Rényi D_2) with dense_rank tie handling
- Add Manifest.lean: imports EntropyCollapseDetector into HCMMR
- Add ArithmeticSpec_Corrected_2026-05-11.md: verified arithmetic constants
  K=21 for W=8 (~5% FPR), σ_c=0.4, D_c=0.7 (heuristic)

Arithmetic self-verified in Python:
- Braid crossings: 12 (K=7 non-selective, K=21 selective)
- σ_q = H = 0.032 (anti-persistent oscillating series)
- D_2 = 0.514 (moderate concentration)
- D_c=1.2 invalid for 1D Rényi D_2; corrected to 0.7

Prime gap re-test with K=21 shows signal mostly dies:
- 1M primes: 86,565 fires at K=7 (artifact) vs 38 at K>21 (genuine)
- Detector now selective but potentially too conservative

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

Co-Authored-By: Devin <158243242+devin-ai-integration[bot]@users.noreply.github.com>
 2026-05-11 21:44:47 -05:00
Brandon Schneider
8246ed1ca0 Document legacy recovery trigger 2026-05-11 15:11:18 -05:00
Brandon Schneider
6aaca5af0b Add NUVMAP scan scheduling receipts 2026-05-11 14:49:17 -05:00
Brandon Schneider
f10fd21817 Add RRC projection receipts and roadmap mirrors 2026-05-08 14:50:03 -05:00
Brandon Schneider
3f04d82fc8 wip: refined investigation script for Erdős–Gyárfás conjecture 
Created refined investigation script for Erdős–Gyárfás conjecture
where previous test found no power-of-two cycles (conjecture holds: False).

Refinements:
- Regular graph construction (all vertices same degree)
- Exhaustive DFS cycle detection
- More samples per n (5 instead of 3)
- Extended n values [8, 10, 12, 14, 16]

Goal: Determine if previous negative result was due to random graph construction
or if regular graphs with exhaustive cycle detection find power-of-two cycles.

Script created: investigate_erdos_gyarfas_refined.py
Execution canceled by user - awaiting further instructions.
 2026-05-08 14:50:03 -05:00
Brandon Schneider
d491fde677 docs: Update wiki with session 2026-05-07 master compression architecture synthesis 
Session summary:
1. Ingested Hippocampus Tabula Plena Combined Approach (Live Science 2024)
   - Hippocampus starts tabula plena (full slate) and prunes to sparse structured
   - Compression analogue: maximum math density = full slate, pruning = pipeline
   - 13 keeper phrases

2. Synthesized Master Synthesis (Complete Compression Architecture)
   - Combined 12 theoretical foundations into unified architecture
   - 14 encoding stages, 19 decode stages
   - Archive format MCA1 with 17 sections
   - Estimated 18-28% reduction vs current Hutter best
   - 18 keeper phrases

3. Evolved erans to Field Effect Spectrum
   - Extended erans to spectral decomposition of residual field
   - Spectral energy compaction: 90% energy in 10% coefficients = 10-20% gain
   - Updated estimated gain: 20-35% reduction
   - 6 spectral keeper phrases

4. Ran 12 Core Equations Analysis
   - 109/120 equation-theory matches (90.8% coverage)
   - 7 equations with full coverage, 5 with partial coverage
   - Theories highly interconnected
   - Analysis saved to core_equations_analysis.json

5. Compactified Core Equations (12 → 4 primitives, 67% reduction)
   - 4 primitives: field, shear, packet, spectral
   - Topological compactification: 10 theories = projections of 4D manifold
   - 67% reduction with 90.8% coverage maintained
   - 12 keeper phrases

Database: 13 research entries, 47 documents total.
5 commits this session.
 2026-05-08 14:50:02 -05:00
Allaun Silverfox
d3eb39aa73 docs: add LLM refinement protocol 2026-05-07 08:21:35 -05:00
Brandon Schneider
b1d4ea76a6 ingest: erans enumerative rANS reference + AGENTS.md rules 1.10, 1.11 
erans (izabera): streamable single-pass rANS, enumerative coding bound.
NO LICENSE — algorithmic ideas captured as reference only, zero code copied.
5 key ideas: single-pass adaptive, enumerative bound, shrub DS,
streaming renorm, histogram rice coding.

AGENTS.md additions:
- 1.10: Never assume any instruction set (SIMD opportunistic, not structural)
- 1.11: Never incorporate unlicensed code (reference notes only, write from scratch)
 2026-05-07 02:18:29 -05:00