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#
e7He (2026-03-29): 24 statements extracted (14 axioms, 7 theorems, 3 structural properties). Plus models.rst, logics.rst, aa.rst, llog.rst. See PROMY LLog: e7He Extraction — 2026-03-29.