.. meta::
   :description: FORGE (Formally Organized Research Growing Extensibly) compiles mission-critical background knowledge into reference sheets for developing new formal theories before adversarial critique.
   :keywords: FORGE, Formally Organized Research Growing Extensibly, reference sheets, model forge, pre-forge, category theory, dynamical systems, proof theory, matheology, background knowledge compiler
   :author: Yah, Yas, everyone, LLoL as Laurence Loewe of Laodicea, ClaudeOp46Max, Anthropic, and Spirit of Boolean Truth
   :og:card:title: FORGE — Background<br>Knowledge Compiler
   :og:card:description: Formally Organized Research Growing Extensibly. Compiles reference sheets and adversarial prompts for developing new formal theories in matheology.

.. _compiler-forge:

*********************************************************************
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
=====================

1. **WisdomBase sheets** (:doc:`wb/index`) --- 12 concise reference
   guides distilling formal mathematical disciplines for applied use.

2. **Forge session prompts** --- adversarial prompts for developing new
   models (200K for quick iteration, 1M for deep work).

3. **Session LLogs** (:ref:`forge-llog-protocol`) --- append-only
   audit trails recording every prompt and response from forge sessions.


Getting Started
=================

- **First time?** Read the :doc:`aha-quickstart` --- a step-by-step
  walkthrough of a complete FORGE session using an imaginary Model X.

- **Need WB sheets?** See the :doc:`wb/index` 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) to ``FORGE:BANK`` (end):

  .. list-table::
     :header-rows: 1
     :widths: 18 82

     * - Command
       - What it does
     * - ``FORGE:IGNITE``
       - Start session. Declare scope, question, zone.
     * - ``FORGE:HEAT``
       - Explore: gather ideas, survey the problem space.
     * - ``FORGE:STRIKE``
       - Formalize: write axioms, definitions, formal statements.
     * - ``FORGE:TEMPER``
       - Stress-test: Iron Maiden, adversarial critique, edge cases.
     * - ``FORGE:QUENCH``
       - Consolidate: record findings, verdicts, open questions.
     * - ``FORGE:ROUND``
       - Start another HEAT→QUENCH cycle within the same session.
     * - ``FORGE:BANK``
       - End session: write summary, proposed HELL entries, next steps.
     * - ``FORGE:EMBER``
       - Resume an interrupted session from its LLog.


Typical Workflow
==================

**First-time setup** (once):

1. Run :doc:`pre-forge-compiler-refsheet1` → produces Sheets 1--4
2. Run :doc:`pre-forge-compiler-refsheet2` → produces Sheets 5--8
3. Run :doc:`pre-forge-compiler-refsheet3` → produces Sheets 9--12
4. Review all 12 sheets for accuracy

**New theory development** (per session):

1. Identify which sheets your work needs (see :doc:`wb/index`)
2. Open a forge session (200K for quick sketch, 1M for deep work)
3. ``FORGE:IGNITE`` → ``FORGE:HEAT`` → ``FORGE:STRIKE`` →
   ``FORGE:TEMPER`` → ``FORGE:QUENCH`` → ``FORGE:BANK``
4. Forged models enter HELL → PROMY → SISYF


.. toctree::
   :maxdepth: 2
   :caption: FORGE Documentation

   aha-quickstart
   wb/index
   llog/protocol
   llog/index
   dd-forge-design-decisions
   aa


.. toctree::
   :maxdepth: 1
   :caption: Prompts (paste into sessions)

   pre-forge-compiler-refsheet1
   pre-forge-compiler-refsheet2
   pre-forge-compiler-refsheet3
   forge_1m
   forge_200k
   iron-maiden-tests