/**
 * Analyse post-emit verify — types.
 *
 * The analyse-side analog of `realize/post-emit-verify/types.ts`. Where realize
 * verifies emitted FILES (tsc, stub-completeness), analyse verifies the emitted
 * per-action BODIES in memory (steps / requires / ensures / publishes) for
 * QUALITY defects the schema validator can't see — transcribed code as steps
 * (`ANL-STEP-CODE`) and non-domain events as publishes (`ANL-EVENT-NONDOMAIN`).
 *
 * Each verifier flags `VerifyFinding`s localised to one action stub (`stubPath`
 * = the skeleton-provenance yamlPath). The feedback runner groups findings by
 * stub and surgically re-fires just that action body with the per-finding
 * `correction` injected into the `analyse-action` prompt's `{{correction}}`
 * slot. Residuals are recorded in an `analyse-quality.json` sidecar — never
 * dropped (an action body is content; a bad paraphrase beats losing a step).
 *
 * See `specverse-self/docs/proposals/in-progress/2026-05-28-ANALYSE-POST-EMIT-VERIFY.md`.
 */
export {};
//# sourceMappingURL=types.js.map