Extracted research from SuperInstance/forgemaster — 948 files of constraint theory research, proofs, experiments, and creative exploration.
This is the standalone research archive from the Forgemaster vessel. It contains deep investigations, formal proofs, GPU experiments, creative writing, and cross-disciplinary explorations across constraint theory, music, physics, and AI.
| Directory | Contents |
|---|---|
| RESEARCH/ | Core research documents |
| FORMAL/ | Formal proofs (Lean constraint theory) |
| PAPERS/ | Paper drafts and submissions |
| DOCS/ | Documentation |
| CODE/ | Research code |
| AI-WRITINGS/ | AI-generated creative works |
| AUDIO/ | Audio outputs and experiments |
| EDUCATION/ | Educational materials |
| experiments/ | Experimental data and results |
| gpu/ | GPU kernel experiments |
| music-theory/ | Music theory research |
| eisenstein-triples/ | Eisenstein integer computations |
| constraint-synth/ | Constraint synthesis research |
| voxel-engine/ | Voxel engine experiments |
| compiler-deep-dive/ | Compiler research |
| analog-spline-theory/ | Analog spline theory |
| fortran-constraint-checking/ | Fortran constraint verification |
| lean-constraint-theory/ | Lean formalization of constraint theory |
| hex-zhc/ | Hex ZHC research |
| flux-tensor-midi/ | Flux tensor MIDI experiments |
| PHYSICAL-INSTRUMENTS-CAD/ | Physical instrument CAD designs |
| agent-reviews/ | Agent review documents |
| audits/ | Research audits |
| validation_output/ | Validation experiment outputs |
| papers/ | Additional paper materials |
A selection of notable research documents among the 474 root-level markdown files:
Theory & Proofs:
FORMAL-SHELL-EIGENSTRUCTURE.md— Eigenstructure of formal shellsFORMAL-UNIFIED-THEOREM.md— Unified constraint theoremDEADBAND-MONAD-PROOF.md— Deadband monad formal proofCHIRALITY-FROM-CONSTRAINTS.md— Chirality from constraintsFINAL-SHELL-DIMENSIONAL-SCALING.md— Shell dimensional scalingFINAL-BMA-DEADBAND-SNAP.md— BMA deadband snap resultpipeline-composition-theorem-deepseek.md— Pipeline composition theorem
Experiments & Benchmarks:
gpu-50m-max.md— GPU 50M max benchmarkgpu-boolean-logic-verification.md— Boolean logic GPU verificationEXPERIMENT-SNAPSKIT-C.md— SnapKit C experimentHONEST-SCORECARD-AFTER-7-MODELS.md— Scorecard across 7 modelsBETA-TEST-ROUND6-RESEARCHER.md— Beta test round 6 results
Architecture & Systems:
AGENT-ON-METAL-ARCHITECTURE.md— Agent-on-metal architectureOPENARM-COCAPN-SYNERGY.md— OpenARM + Cocapn synergySELF-ASSEMBLING-LORA.md— Self-assembling LoRA designcompiler-strategy-qwen397b.md— Compiler strategy (Qwen 397B)SNAPS-AS-ATTENTION.md— Snaps as attention mechanism
Research Synthesis:
ORACLE1-FORGEMASTER-CONVERGENCE.md— Oracle1–Forgemaster convergenceFLEET-ALIGNMENT-THROUGH-NOISE.md— Fleet alignment via noiseFOREST-MUSIC-SYNERGY.md— Forest-music synergyTHE-KEEL.md— The keel (structural metaphor)THE-ENERGY-BETWEEN-US.md— Energy between agents
- Origin: forgemaster/research
- Fleet: Cocapn constraint-theory research fleet
- Maintainer: Casey Digennaro / Forgemaster ⚒️
| Repo | Description |
|---|---|
| forgemaster | Source monorepo — 2,592 files, 47+ projects |
| docs | Curated research documents and theory |
| wiki | Ecosystem catalog and overview |
| superinstance-wiki | Fleet wiki: lessons, protocols, scripts |
| constraint-toolkit | Published constraint theory packages |
Maintained by the Cocapn Fleet · Last updated 2026-05-25