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: PROMY:FEED

Completed SEED Runs#