.. meta::
   :description: Two matheology compilers: SISYF assembles views faithfully like Sisyphus, PROMY purifies reasoning flaws like Prometheus. Both use 5D link naming.
   :keywords: SISYF, PROMY, matheology compiler, cross-model, audience depth, 5D link naming, Sisyphus, Prometheus, read-only, read-write, PoR, HELL
   :author: Yah, Yas, everyone, LLoL as Laurence Loewe of Laodicea, ClaudeOp46Max, Anthropic, and Spirit of Boolean Truth
   :og:card:title: SISYF and PROMY —<br>Matheology's Two Compilers
   :og:card:description: SISYF assembles audience-depth views read-only. PROMY purifies reasoning flaws read-write. Both operate across a 5D label space for matheology.

.. SOCIAL-CARD-QUALITY-COMPARE --- OO (default effort) vs PP (max effort), 2026-03-26
   OO :description: Two compilers for matheology: SISYF assembles views from source (read-only), PROMY purifies reasoning flaws (read-write).
   OO :keywords: compiler, SISYF, PROMY, matheology, cross-model, audience depth, PoR, compilation
   OO :og:card:title: Matheology Compilers —<br>SISYF and PROMY
   OO :og:card:description: Two compilers: SISYF faithfully assembles audience-depth views, PROMY purifies reasoning flaws exposed by HELL.
   PP :description: Two matheology compilers: SISYF assembles views faithfully like Sisyphus, PROMY purifies reasoning flaws like Prometheus. Both use 5D link naming.
   PP :keywords: SISYF, PROMY, matheology compiler, cross-model, audience depth, 5D link naming, Sisyphus, Prometheus, read-only, read-write, PoR, HELL
   PP :og:card:title: SISYF and PROMY —<br>Matheology's Two Compilers
   PP :og:card:description: SISYF assembles audience-depth views read-only. PROMY purifies reasoning flaws read-write. Both operate across a 5D label space for matheology.

.. SOCIAL-CARD-REVIEW --- generated by Claude Opus 4.6, 2026-03-26
   dv_ClaOp46_PP_2026m03d26 --- max-effort rewrite, read full page.
   :description: 148 chars | :og:card:title: 45 chars (excl <br>)
   - [ ] PP title more compelling than OO title
   - [ ] PP description more accurate than OO description
   - [ ] Description hooks without misleading
   - [ ] Keywords specific to this page's actual content
   - [ ] No language rule violations
   - [ ] Character counts verified

.. _compiler-index:

*********************************************************************
Matheology Compilers
*********************************************************************

The matheology project uses four compilers. Each is named with an
acronym that describes what it does, and a metaphor that reflects its
safety profile and character.


The Compiler Pipeline
=======================

.. list-table::
   :header-rows: 1
   :widths: 12 30 15 25 10

   * - Compiler
     - Does what
     - Input
     - Output
     - Status
   * - **FORGE**
     - Explores and develops new models from scratch through structured
       sessions (IGNITE/HEAT/STRIKE/TEMPER/QUENCH/BANK/EMBER)
     - Mission context + formal math reference sheets
     - Raw model content in llogs (axioms, theorems, proofs, tests)
     - Working
   * - **PROMY**
     - Compiles raw materials from FORGE rounds of review into fully
       integrated, cleaned-up models ready for SISYF to present
     - FORGE llogs + HELL evidence
     - Clean model source files (axioms.rst, theorems.rst, symbols.rst,
       overview.rst, aa.rst, llog.rst, etc.)
     - Implicit
   * - **SISYF**
     - Assembles audience-depth views across models for different
       readers (expert, easy, producer, math, machine)
     - Clean model source files
     - Downstream audience-specific pages
     - Working
   * - **TELES**
     - Fixes RST formatting errors in LLogs without touching content
       (headings, indentation, directives, blank lines)
     - LLog files with RST errors
     - Same files with formatting fixed + error report appended
     - Designed

.. note::

   PROMY has been partially formalized. The SEED/FEED/GROW/REAP
   pipeline is drafted and SEED has been tested on e7He (2026-03-29).
   FEED, GROW, and REAP are untested. Full formal specification is
   tracked in :ref:`AA-PROMY-Build-a1 <aa-promy-build-a1>`. Remove
   this note once all four stages have prompt templates and have been
   tested on at least one model.


Compiler Descriptions
=======================

- **FORGE** (Formally Organized Research Growing Extensibly) ---
  the background knowledge compiler. Like a forge where raw material
  is heated, shaped, and tempered into something strong, FORGE compiles
  mission-critical reference material from formal mathematics into
  concise, applied sheets that equip the model developer before new
  theory is written. FORGE feeds the forge sessions where models are
  developed, which then enter HELL for critique, PROMY for repair,
  and SISYF for presentation. **Read-only** --- produces reference
  sheets, does not modify model content.

- |PROMY| (Purifying Rewriting Orchestrating Matheological Yields) ---
  the intra-model reasoning compiler, named after Prometheus. Like
  Prometheus, whose liver is torn out by the eagle and regrows
  overnight, PROMY purifies and rewrites flaws exposed by HELL
  evidence --- and the cycle repeats as the model grows.
  **Read-write** with respect to source data. See
  :doc:`PROMY design doc <promy/dd-promy-pipeline>` for the pipeline
  specification.

- |SISYF| (Systems Integrating System Yielding Formalisms) ---
  the cross-model compiler, named after Sisyphus. Like Sisyphus, who
  pushes his boulder up the hill again and again but never changes it,
  SISYF assembles PoR sources into audience-depth views repeatedly
  and faithfully. **Read-only** with respect to source data.

All compilers operate across the 5-dimensional link names label space
defined by (Model, ElementTypes, Version, Depth, View).


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

New to the system? Start here:

- :ref:`Introduction to 5D Link Naming <link-5d-naming-intro>` ---
  a plain-English walkthrough of how labels work and what the five
  dimensions are.
- :ref:`SISYF Guide <sisyf-compiler-guide>` ---
  quickstart examples, option reference, stub templates, and
  troubleshooting for the cross-model compiler.
- :ref:`PROMY Guide <promy-compiler-guide>` ---
  user guide for the intra-model reasoning compiler (placeholder).
- :ref:`FORGE Guide <compiler-forge>` ---
  background knowledge compiler: reference sheets, pre-forge prompts,
  forge session prompts, and the 12-sheet formal toolkit.

For the full technical specifications, see the
:ref:`SISYF Skill Spec <sisyf-compiler-skill>` and the
:ref:`5D Link Naming Architecture <compiler-5d-link-naming>`.


.. toctree::
   :maxdepth: 2
   :caption: Compilers

   aha/index
   sisyf/index
   promy/index
   forge/index
   teles/index


.. toctree::
   :maxdepth: 2
   :caption: 5D Space

   space/index


.. toctree::
   :maxdepth: 2
   :caption: StayVS (Versioning & Maturity)

   stayvs/index

.. toctree::
   :maxdepth: 2
   :caption: POST (Shared Infrastructure)

   post/index