.. meta::
   :description: Placeholder for the PROMY user guide. Will cover invocation, safety checklists, audit trails, and how PROMY differs from read-only SISYF compilation.
   :keywords: PROMY guide, user guide, AHA, placeholder, safety checklist, audit trail, read-write compiler, HELL integration, Phase 2I, recovery strategy
   :author: Yah, Yas, everyone, LLoL as Laurence Loewe of Laodicea, ClaudeOp46Max, Anthropic, and Spirit of Boolean Truth
   :og:card:title: PROMY User Guide —<br>Placeholder for Formal Spec
   :og:card:description: This guide will document PROMY invocation, safety checklists, audit trails, and recovery strategies once the formal specification is written.

.. SOCIAL-CARD-QUALITY-COMPARE --- OO (default effort) vs PP (max effort), 2026-03-26
   OO :description: Placeholder for the PROMY user guide, which will document invocation, safety checklists, audit trails, and recovery strategies.
   OO :keywords: PROMY, user guide, AHA, placeholder, safety, audit trail, read-write, compiler, matheology, HELL integration
   OO :og:card:title: PROMY User Guide —<br>AHA Documentation
   OO :og:card:description: Placeholder for the PROMY guide covering invocation, safety checklists, audit trails, and source modification recovery.
   PP :description: Placeholder for the PROMY user guide. Will cover invocation, safety checklists, audit trails, and how PROMY differs from read-only SISYF compilation.
   PP :keywords: PROMY guide, user guide, AHA, placeholder, safety checklist, audit trail, read-write compiler, HELL integration, Phase 2I, recovery strategy
   PP :og:card:title: PROMY User Guide —<br>Placeholder for Formal Spec
   PP :og:card:description: This guide will document PROMY invocation, safety checklists, audit trails, and recovery strategies once the formal specification is written.

.. SOCIAL-CARD-REVIEW --- generated by Claude Opus 4.6, 2026-03-26
   dv_ClaOp46_PP_2026m03d26 --- max-effort rewrite, read full page.
   :description: 150 chars | :og:card:title: 44 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

.. _promy-compiler-guide:

*********************************************************************
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
:ref:`SISYF Guide <sisyf-compiler-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)