.. _promy-seed:

****************************************************
PROMY:SEED --- Zone the Territory
****************************************************

**Growth cycle:** Plant |  **ZION:** Zoning

SEED is the first stage of the PROMY pipeline. It identifies and
extracts axioms, theorems, properties, submodels, and logics
verbatim from FORGE llogs into standalone files. It also creates
the initial AA (Any Aims) and llog pointer files.

SEED is **read-only** with respect to the llog (extracting, not
modifying). Low risk.

**Input:** FORGE llog

**Output:** ``axioms.rst``, ``theorems.rst``, ``models.rst``,
``logics.rst``, ``aa.rst``, ``llog.rst`` + PROMY llog in HELL

**Transition:** Human reviews extracted content for completeness.
When satisfied: :ref:`PROMY:FEED <promy-feed>`


.. toctree::
   :maxdepth: 1

   prompt


Completed SEED Runs
======================

- **e7He** (2026-03-29): 24 statements extracted (14 axioms,
  7 theorems, 3 structural properties). Plus models.rst, logics.rst,
  aa.rst, llog.rst. See
  :doc:`/matheology/hell/ll/promy/b/11/promy_ll_2026m03d29_e7he-pipeline-test`.