FORGE — Formally Organized Research Growing Extensibly#
FORGE is the background knowledge compiler for matheology. Where SISYF assembles existing content into audience-depth views and PROMY purifies reasoning flaws exposed by HELL, FORGE prepares the ground before new theory is written.
The name is both an acronym and a metaphor: a forge is where raw material is heated, shaped, and tempered into something strong. FORGE heats raw mathematical theory, shapes it for matheology application, and tempers it against the demands of formal rigor — producing WisdomBase sheets that the model developer brings into forge sessions where new theories are hammered out.
FORGE (background knowledge)
↓
Model development (forge sessions: sketch, formalize, test)
↓
HELL (adversarial critique)
↓
PROMY (purify flaws exposed by HELL)
↓
SISYF (compile into audience-depth views)
What FORGE Produces#
WisdomBase sheets (WisdomBase — 12 Reference Sheets) — 12 concise reference guides distilling formal mathematical disciplines for applied use.
Forge session prompts — adversarial prompts for developing new models (200K for quick iteration, 1M for deep work).
Session LLogs (FORGE Session Documentation Protocol) — append-only audit trails recording every prompt and response from forge sessions.
Getting Started#
First time? Read the AHA Quickstart: Your First FORGE Session — a step-by-step walkthrough of a complete FORGE session using an imaginary Model X.
Need WB sheets? See the WisdomBase — 12 Reference Sheets for all 12 sheets organized by cluster, with a dependency map and loading guide.
Understand the commands? The LLog protocol defines 8 lifecycle commands — from
FORGE:IGNITE(start) toFORGE:BANK(end):Command
What it does
FORGE:IGNITEStart session. Declare scope, question, zone.
FORGE:HEATExplore: gather ideas, survey the problem space.
FORGE:STRIKEFormalize: write axioms, definitions, formal statements.
FORGE:TEMPERStress-test: Iron Maiden, adversarial critique, edge cases.
FORGE:QUENCHConsolidate: record findings, verdicts, open questions.
FORGE:ROUNDStart another HEAT→QUENCH cycle within the same session.
FORGE:BANKEnd session: write summary, proposed HELL entries, next steps.
FORGE:EMBERResume an interrupted session from its LLog.
Typical Workflow#
First-time setup (once):
Run Pre-Forge: Reference Sheet Generator → produces Sheets 1–4
Run Pre-Forge 2: Reference Sheet Generator — Dynamical & Structural Gaps → produces Sheets 5–8
Run Pre-Forge 3: Reference Sheet Generator — Foundations & Formalization → produces Sheets 9–12
Review all 12 sheets for accuracy
New theory development (per session):
Identify which sheets your work needs (see WisdomBase — 12 Reference Sheets)
Open a forge session (200K for quick sketch, 1M for deep work)
FORGE:IGNITE→FORGE:HEAT→FORGE:STRIKE→FORGE:TEMPER→FORGE:QUENCH→FORGE:BANKForged models enter HELL → PROMY → SISYF
FORGE Documentation
- AHA Quickstart: Your First FORGE Session
- WisdomBase — 12 Reference Sheets
- FORGE Session Documentation Protocol
- FORGE Session Registry
- DD: Model Forge Design Decisions
- DD-1: Symbol table redundancy is intentional (2026m03d27)
- DD-2: Anti-echo-chamber firewall via phased loading (2026m03d27)
- DD-3: StayC lifecycle replaces ad-hoc verdict scales (2026m03d27)
- DD-4: Reference sheets produced in separate session (2026m03d27)
- DD-5: OKScale replaces HELD/BREACH/N/A ternary (2026m03d27)
- DD-6: 2-track VVN and human advancement authority (2026m03d27)
- DD-7: Iteration cycles generalized across all stages (2026m03d27)
- DD-8: Feed nurtures, Grow tests — never the reverse (2026m03d27)
- DD-9: Pre-seeding HELL with development-phase insights (2026m03d27)
- DD-10: Structural documentation enforcement via LLog protocol (2026m03d27)
- DD-11: WisdomBase (wb/) replaces ref/ for reference sheets (2026m03d27)
- DD-12: Delayed counting and underscores for LLog numbering (2026m03d27)
- FORGE — Any Aims (AA)