AHA: PROMY User Guide#

Status: Placeholder — to be written when PROMY is formally specified.

PROMY is the intra-model reasoning compiler. Unlike SISYF (which is read-only and assembles cross-model views), PROMY modifies source data by integrating HELL evidence into a model’s axioms, theorems, and other elements.

A user guide parallel to the SISYF Guide will appear here once the formal specification is written.

What will be covered#

  • How to invoke PROMY (trigger model, permissions)

  • Safety checklist (commit before, review after)

  • Audit trail format (llog entries for each modification)

  • Examples from Phase 2I sessions that performed PROMY-like work

  • Differences from SISYF (read-write vs. read-only, recovery strategy)