@telora/daemon 0.22.169 → 0.22.187

package/dist/audit/audit-prompt.d.ts

@@ -3,9 +3,10 @@
  *
  * Split out of audit-phase.ts (which owns the phase's orchestration: spawn,
  * session lineage, audit_runs persistence, summary parsing). This module is the
- * prompt half and is deliberately dependency-free -- pure string constants and
- * composition, no imports -- so the phase logic and the prompt text can be read
- * and changed independently.
+ * prompt half -- string constants and composition -- so the phase logic and the
+ * prompt text can be read and changed independently. Its ONE import is the
+ * rendered round-5 floor section (`audit-floor-policy.ts`), which carries the
+ * floor's normative content as typed data rather than as prose here.
  *
  * The posture-neutral discipline block below is kept BYTE-IDENTICAL to the MCP
  * package's copy and is gated by audit-guide-sync.test.ts (which reads THIS
@@ -26,180 +27,6 @@
  * (Bell CSN 2026-07-27).
  */
 export type AuditPosture = 'read_only' | 'live';
-/**
- * Round-5 pre-condition: the focus's own declared floor.
- *
- * Deliberately OUTSIDE the SHARED-AUDIT-GUIDE sentinels, for the same reason
- * the residue hold below is: it states a precondition that only a pass holding
- * the daemon's `focus.criteria_standing` section can satisfy, and the MCP
- * guide's readers have no such section.
- *
- * WHY IT EXISTS. Round 5 anchors one remediation delivery per injection, and
- * nothing in that loop ever asked what the focus SAID IT WAS FOR. An
- * elaboration loop with no stated stopping condition does not stop -- it runs
- * until someone gets tired -- so a focus grows deliveries while its declared
- * criteria sit close to met. The standing section is the stated condition; this
- * text is what makes the pass CONSULT it before it anchors, rather than after.
- *
- * The bases are given distinct instructions on purpose. The one that must not
- * collapse into the others is `no_criteria_declared`: an empty criteria set is
- * UNMEASURED, not arrived, and a pass that read it as a floor would stop
- * hardest on exactly the focuses that declared nothing to be measured against.
- *
- * WHAT THE FLOOR IS NOT (round-5 correction, 2026-09-18). An earlier wording
- * made CRITERION COVERAGE the test for whether a new root cause could be
- * anchored, which converts the floor into the freeze the request rules out: a
- * genuinely new root cause is perfectly capable of sitting inside an
- * already-addressed criterion, and suppressing it there loses real signal to a
- * bookkeeping fact about which criteria have deliveries pointing at them. The
- * floor turns on RESIDUE (or restatement) vs GENUINELY NEW ROOT CAUSE, which
- * is orthogonal to coverage: coverage answers "is there open declared work?",
- * never "is this cause new?".
- *
- * WHY THE FLOOR IS DATA (rounds 6-7, 2026-09-19). Two earlier guards READ the
- * hand-written floor prose looking for a restriction -- one sentence at a time,
- * then across a wider window -- and both lost the same way: the restriction
- * moved to a sentence the reading missed, or a wording its vocabulary lacked.
- * So the normative content became the structure below, the prose became its
- * rendering, and no rule carries a sentence of its own. The normative sentence
- * is COMPOSED from the rule's typed fields against a CLOSED lexicon
- * (`CANDIDATE_SUBJECT`, `DISPOSITION_VERB`, `UNCONDITIONAL_SCOPE`): subject
- * from `candidate`, verb from `disposition`, scope from `conditions`, where an
- * empty `conditions` renders an explicit "in every case this basis can present"
- * rather than a silence a reader fills with the old freeze. Keep that: it makes
- * a CONDITION countable instead of something to read prose for.
- *
- * WHY THE REMAINING PROSE IS PINNED BY EQUALITY (round-8 correction,
- * 2026-09-19). Round 7 left the context prose -- leads, situations, caveats,
- * obligations, and the two paragraphs `renderFloorSection` writes directly --
- * guarded by `findFloorProseViolations`, and the commit that shipped it called
- * that "a whitelist of CHANNEL, not an enumeration of wording". THAT CLAIM WAS
- * FALSE, and review demonstrated it. `CANDIDATE_NOUN` and
- * `DISPOSITION_VERB_IN_PROSE` are finite regex vocabularies, so the guard only
- * recognised a normative claim written in words it already knew: appending
- * "Fresh findings wait for review." or "A genuinely new root cause proceeds
- * after every existing delivery is reviewed." draws NO violation and renders a
- * contradictory restriction. Fourth iteration of one lesson, now unmistakable:
- * ANY guard asking "does this text MEAN something normative?" loses, because
- * meaning is open-ended.
- *
- * So the floor stops asking. This policy is a static constant, so the strings
- * it can put in front of an assessor are a fixed, finite set, and the PRIMARY
- * GUARANTEE is an equality pin on the whole rendered section:
- * `FLOOR_SECTION_PIN` in audit-phase.test.ts holds an independent copy and the
- * suite asserts `renderFloorSection()` equals it line for line. A synonym, an
- * unlisted vocabulary and a wording nobody imagined then fail identically --
- * not because a rule recognises them, but because none of them are the pinned
- * string. It covers EVERY string the assessor reads here, the two paragraphs
- * `renderFloorSection` writes among them, which no field-level guard ever saw.
- *
- * The cost is the intended one: editing floor prose is a TWO-PLACE, VISIBLE act
- * -- the author updates the pin in the same change and a reviewer reads both
- * halves. The pin is literal text rather than a checksum precisely so that
- * second half stays readable. Its LIMIT, plainly: the pin is scoped to this
- * floor section. It does not cover `AUDIT_UNREVIEWED_RESIDUE`, the posture
- * sections, or `AUDIT_GUIDE_SHARED` (which carries its own byte pin against the
- * MCP copy, in audit-guide-sync.test.ts).
- */
-/** A candidate for anchoring, in the floor's own terms. */
-export type AnchorCandidate = 'residue_or_restatement' | 'new_root_cause';
-/** What the floor does with a candidate. */
-export type AnchorDisposition = 'withhold' | 'anchor';
-/**
- * A fact a pass could mistake for the test. A factor named here is rendered as
- * explicitly NOT deciding; it may never appear as a condition (tests pin that).
- */
-export type NonDecidingFactor = 'criterion_coverage';
-/**
- * One normative rule of the floor: what happens to a candidate, and on what.
- *
- * Every field is a typed enum or a DECLARED list. There is deliberately no
- * sentence field: the rule's sentence is composed from these fields, because a
- * hand-written sentence is the one place a restriction can sit where no
- * structural channel sees it.
- */
-export interface AnchoringRule {
-    readonly candidate: AnchorCandidate;
-    readonly disposition: AnchorDisposition;
-    /**
-     * Conditions the disposition genuinely depends on. EMPTY means
-     * UNCONDITIONAL. This is the ONLY door through which a condition on
-     * anchoring can reach the rendered prompt.
-     */
-    readonly conditions: readonly string[];
-    /** Facts that never decide this disposition; rendered as "not the test". */
-    readonly nonDeciding: readonly NonDecidingFactor[];
-    /** What is OWED when the disposition is exercised. An obligation is not a gate. */
-    readonly obligations: readonly string[];
-}
-/** One basis the criteria-standing section can report, with its own rules. */
-export interface FloorBasis {
-    /** Machine token the standing section reports (or `read_failed`). */
-    readonly basis: string;
-    /** Whether this basis IS a floor. `no_criteria_declared` is NOT one. */
-    readonly isFloor: boolean;
-    /** Bolded opening of the rendered bullet. Context, never a disposition. */
-    readonly lead: string;
-    /** What the basis means, before any rule applies. Context, never a disposition. */
-    readonly situation: string;
-    readonly rules: readonly AnchoringRule[];
-    /** Closing clarification for the basis. Context, never a disposition. */
-    readonly caveat?: string;
-}
-/** The floor's whole normative content, in one declarable structure. */
-export interface FloorPolicy {
-    /** Bolded opening of the universal paragraph. */
-    readonly universalLead: string;
-    /** Rules that hold at EVERY basis. */
-    readonly universal: readonly AnchoringRule[];
-    /** Closing prose of the universal paragraph. Context, never a disposition. */
-    readonly universalClosing: readonly string[];
-    readonly bases: readonly FloorBasis[];
-}
-/**
- * The declared floor. Everything normative the floor says about what may be
- * anchored is in the TYPED fields here; the prose below is generated from
- * them, and the free-text fields carry context only.
- */
-export declare const AUDIT_FLOOR_POLICY: FloorPolicy;
-/** Where a rule is being stated: the universal paragraph, or one basis. */
-export type RuleScope = 'universal' | 'basis';
-/** A free-text field of the policy, with the path it sits at. */
-export interface ProseField {
-    readonly path: string;
-    readonly text: string;
-}
-/** A prose field that has strayed into stating the floor's normative content. */
-export interface FloorProseViolation {
-    readonly path: string;
-    readonly text: string;
-    readonly reason: string;
-}
-/**
- * Every free-text field of the policy. `conditions` is deliberately absent: it
- * IS the declared channel for a scope, and it is counted rather than banned.
- *
- * Exported so the suite can prove the equality pin COVERS this set (every
- * field's exact text appears verbatim inside the pinned render) rather than
- * trusting a hand-maintained field list that goes stale on the next addition.
- */
-export declare function floorProseFields(policy?: FloorPolicy): readonly ProseField[];
-/**
- * Prose fields that state normative content IN A WORDING THESE LISTS KNOW. An
- * empty result means "nothing recognised", NEVER "nothing normative" -- see the
- * BACKSTOP note above for why no wording list can mean the latter. The
- * completeness guarantee is the equality pin in audit-phase.test.ts; this only
- * makes the recognised cases fail earlier, at load, with a named path. Exported
- * so a test can demonstrate rejection on a mutated policy.
- */
-export declare function findFloorProseViolations(policy?: FloorPolicy): readonly FloorProseViolation[];
-/** Render the policy: the universal paragraph, then one bullet per basis. */
-export declare function renderFloorPolicy(policy?: FloorPolicy): readonly string[];
-/**
- * The composed floor section: the pointer at the standing section (which
- * states no rule about what may be anchored), then the rendered policy.
- */
-export declare function renderFloorSection(policy?: FloorPolicy): readonly string[];
 /**
  * Compose the audit assessor prompt for a given posture. The read-only and live
  * postures differ ONLY in the posture section; the discipline (AUDIT_GUIDE_SHARED)

package/dist/audit/audit-prompt.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"audit-prompt.d.ts","sourceRoot":"","sources":["../../src/audit/audit-prompt.ts"],"names":[],"mappings":"AAMA;;;;;;;;;;;;;;GAcG;AAEH;;;;;;;;;;;GAWG;AACH,MAAM,MAAM,YAAY,GAAG,WAAW,GAAG,MAAM,CAAC;AA4LhD;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA0EG;AAEH,2DAA2D;AAC3D,MAAM,MAAM,eAAe,GAAG,wBAAwB,GAAG,gBAAgB,CAAC;AAE1E,4CAA4C;AAC5C,MAAM,MAAM,iBAAiB,GAAG,UAAU,GAAG,QAAQ,CAAC;AAEtD;;;GAGG;AACH,MAAM,MAAM,iBAAiB,GAAG,oBAAoB,CAAC;AAErD;;;;;;;GAOG;AACH,MAAM,WAAW,aAAa;IAC5B,QAAQ,CAAC,SAAS,EAAE,eAAe,CAAC;IACpC,QAAQ,CAAC,WAAW,EAAE,iBAAiB,CAAC;IACxC;;;;OAIG;IACH,QAAQ,CAAC,UAAU,EAAE,SAAS,MAAM,EAAE,CAAC;IACvC,4EAA4E;IAC5E,QAAQ,CAAC,WAAW,EAAE,SAAS,iBAAiB,EAAE,CAAC;IACnD,mFAAmF;IACnF,QAAQ,CAAC,WAAW,EAAE,SAAS,MAAM,EAAE,CAAC;CACzC;AAED,8EAA8E;AAC9E,MAAM,WAAW,UAAU;IACzB,qEAAqE;IACrE,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;IACvB,wEAAwE;IACxE,QAAQ,CAAC,OAAO,EAAE,OAAO,CAAC;IAC1B,2EAA2E;IAC3E,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,mFAAmF;IACnF,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAC;IAC3B,QAAQ,CAAC,KAAK,EAAE,SAAS,aAAa,EAAE,CAAC;IACzC,yEAAyE;IACzE,QAAQ,CAAC,MAAM,CAAC,EAAE,MAAM,CAAC;CAC1B;AAED,wEAAwE;AACxE,MAAM,WAAW,WAAW;IAC1B,iDAAiD;IACjD,QAAQ,CAAC,aAAa,EAAE,MAAM,CAAC;IAC/B,sCAAsC;IACtC,QAAQ,CAAC,SAAS,EAAE,SAAS,aAAa,EAAE,CAAC;IAC7C,8EAA8E;IAC9E,QAAQ,CAAC,gBAAgB,EAAE,SAAS,MAAM,EAAE,CAAC;IAC7C,QAAQ,CAAC,KAAK,EAAE,SAAS,UAAU,EAAE,CAAC;CACvC;AAcD;;;;GAIG;AACH,eAAO,MAAM,kBAAkB,EAAE,WA+FhC,CAAC;AAEF,2EAA2E;AAC3E,MAAM,MAAM,SAAS,GAAG,WAAW,GAAG,OAAO,CAAC;AA6F9C,iEAAiE;AACjE,MAAM,WAAW,UAAU;IACzB,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;CACvB;AAED,iFAAiF;AACjF,MAAM,WAAW,mBAAmB;IAClC,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;CACzB;AAED;;;;;;;GAOG;AACH,wBAAgB,gBAAgB,CAAC,MAAM,GAAE,WAAgC,GAAG,SAAS,UAAU,EAAE,CAkBhG;AAED;;;;;;;GAOG;AACH,wBAAgB,wBAAwB,CACtC,MAAM,GAAE,WAAgC,GACvC,SAAS,mBAAmB,EAAE,CAwBhC;AA2ED,6EAA6E;AAC7E,wBAAgB,iBAAiB,CAAC,MAAM,GAAE,WAAgC,GAAG,SAAS,MAAM,EAAE,CAS7F;AAED;;;GAGG;AACH,wBAAgB,kBAAkB,CAAC,MAAM,GAAE,WAAgC,GAAG,SAAS,MAAM,EAAE,CAS9F;AAmCD;;;;GAIG;AACH,wBAAgB,gBAAgB,CAAC,OAAO,EAAE,YAAY,GAAG,MAAM,CAU9D;AAED;;;;;;;;;;GAUG;AACH,eAAO,MAAM,YAAY,QAAgC,CAAC"}
+{"version":3,"file":"audit-prompt.d.ts","sourceRoot":"","sources":["../../src/audit/audit-prompt.ts"],"names":[],"mappings":"AAOA;;;;;;;;;;;;;;;GAeG;AAEH;;;;;;;;;;;GAWG;AACH,MAAM,MAAM,YAAY,GAAG,WAAW,GAAG,MAAM,CAAC;AAmOhD;;;;GAIG;AACH,wBAAgB,gBAAgB,CAAC,OAAO,EAAE,YAAY,GAAG,MAAM,CAU9D;AAED;;;;;;;;;;GAUG;AACH,eAAO,MAAM,YAAY,QAAgC,CAAC"}

package/dist/audit/audit-prompt.js

@@ -1,8 +1,8 @@
 // PINNED-BY-BEGIN (generated by gen:pinned-by -- do not hand-edit; checked by lint:pinned-by)
 // Pinned by: packages/daemon/src/audit/audit-guide-sync.test.ts,
-//   packages/daemon/src/audit/audit-phase.test.ts,
 //   packages/daemon/src/prompt/decision-rule-replaces-escalation.test.ts
 // PINNED-BY-END
+import { renderFloorSection } from './audit-floor-policy.js';
 /**
  * Posture-independent intro. The first line is stable across postures (a spawn
  * test asserts the composed prompt begins with it). "READ-ONLY with respect to
@@ -183,336 +183,13 @@ injection-anchored plan inverts that: remediation is scoped one root cause at a
 time from an injection, with acceptance pinned to a desired effect, so there is
 nothing to over-complete. The structured CRT + FRT make a wrong root cause
 legible as a plan -- catchable up front rather than only after code has moved.`;
+// SHARED-AUDIT-GUIDE:END
 /**
- * The withhold half of the test, identical wherever it is stated: the same
- * candidate, the same disposition, no conditions anywhere.
+ * The round-5 floor section, rendered from the declared policy. The policy, its
+ * closed lexicon and its renderers live in `audit-floor-policy.ts`; this file
+ * only embeds the rendered lines, so the floor's normative content stays one
+ * structure with one pin.
  */
-const WITHHOLD_RESIDUE = {
-    candidate: 'residue_or_restatement',
-    disposition: 'withhold',
-    conditions: [],
-    nonDeciding: [],
-    obligations: [],
-};
-/**
- * The declared floor. Everything normative the floor says about what may be
- * anchored is in the TYPED fields here; the prose below is generated from
- * them, and the free-text fields carry context only.
- */
-export const AUDIT_FLOOR_POLICY = {
-    universalLead: 'The floor stops ELABORATION, not new work.',
-    universal: [
-        WITHHOLD_RESIDUE,
-        {
-            candidate: 'new_root_cause',
-            disposition: 'anchor',
-            conditions: [],
-            nonDeciding: ['criterion_coverage'],
-            obligations: ['why the cause is new rather than residue or a restatement'],
-        },
-    ],
-    universalClosing: [
-        'Anchoring past a reached floor is a DECLARED act, never a silent one -- but it is declared by what you DRAW, not by what you write. On an armed focus a delivery that serves no effect the arm covers is recorded and waits for the next arm; to have it run now, draw the causal edge that makes it means. There is no reason field that substitutes for the edge.',
-    ],
-    bases: [
-        {
-            basis: 'all_criteria_addressed',
-            isFloor: true,
-            lead: 'Basis `all_criteria_addressed` -- the floor is REACHED.',
-            situation: 'Every criterion the focus declared already has a delivery pointing at it, so there is no OPEN declared work to elaborate against.',
-            rules: [
-                WITHHOLD_RESIDUE,
-                {
-                    candidate: 'new_root_cause',
-                    disposition: 'anchor',
-                    conditions: [],
-                    nonDeciding: ['criterion_coverage'],
-                    obligations: [
-                        'why the cause is new rather than residue or a restatement',
-                        'which criterion it touches',
-                    ],
-                },
-            ],
-            caveat: 'Note what the basis does NOT mean: addressed is not MET. Whether the work satisfies a criterion is the focus review\'s judgement, not yours, so "the floor is reached" is never "the focus is done" -- it is "there is nothing further for THIS pass to ELABORATE".',
-        },
-        {
-            basis: 'open_criteria_remain',
-            isFloor: false,
-            lead: 'Basis `open_criteria_remain` -- the open criteria ARE the remaining work.',
-            situation: 'Work against them by name: each injection you author should trace to an OPEN criterion, and your audit summary should say which.',
-            rules: [
-                {
-                    candidate: 'new_root_cause',
-                    disposition: 'anchor',
-                    conditions: [],
-                    nonDeciding: [],
-                    obligations: [],
-                },
-            ],
-            caveat: 'A new delivery that addresses no open criterion needs an explicit reason for existing, stated in the summary.',
-        },
-        {
-            basis: 'no_criteria_declared',
-            isFloor: false,
-            lead: 'Basis `no_criteria_declared` -- this is NOT a floor.',
-            situation: 'A focus that declared no acceptance criteria has gone UNMEASURED, not arrived.',
-            rules: [
-                WITHHOLD_RESIDUE,
-                {
-                    candidate: 'new_root_cause',
-                    disposition: 'anchor',
-                    conditions: [],
-                    nonDeciding: [],
-                    obligations: [
-                        'that this focus declares no criteria, so no floor could be computed for it',
-                    ],
-                },
-            ],
-            caveat: 'Do not read the empty set as "everything is addressed", and do not read it as licence to elaborate without limit: judge each candidate on the tree\'s own evidence.',
-        },
-        {
-            basis: 'read_failed',
-            isFloor: false,
-            lead: 'If that section says READ FAILED, you have NO floor.',
-            situation: 'An unreadable standing is not evidence that every criterion is addressed.',
-            rules: [
-                WITHHOLD_RESIDUE,
-                {
-                    candidate: 'new_root_cause',
-                    disposition: 'anchor',
-                    conditions: [],
-                    nonDeciding: [],
-                    obligations: ['that the standing was unreadable on this pass'],
-                },
-            ],
-        },
-    ],
-};
-/**
- * CLOSED LEXICON (1/4): the subject of the normative sentence, chosen by the
- * rule's `candidate`. Stated in full where the test is introduced, and short
- * at each basis so the definition is given once rather than four times.
- */
-const CANDIDATE_SUBJECT = {
-    universal: {
-        new_root_cause: 'A GENUINELY NEW ROOT CAUSE -- one no existing delivery already covers --',
-        residue_or_restatement: 'RESIDUE of work still in flight -- or a RESTATEMENT or refinement of a cause an existing delivery already covers --',
-    },
-    basis: {
-        new_root_cause: 'A genuinely new root cause',
-        residue_or_restatement: 'Residue, or a restatement or refinement of a cause already covered,',
-    },
-};
-/** CLOSED LEXICON (2/4): the same candidate named as the side of the test. */
-const CANDIDATE_LABEL = {
-    new_root_cause: 'NEW ROOT CAUSE',
-    residue_or_restatement: 'RESIDUE OR RESTATEMENT',
-};
-/** CLOSED LEXICON (3/4): what the floor DOES, chosen by `disposition`. */
-const DISPOSITION_VERB = {
-    anchor: 'is ANCHORED',
-    withhold: 'is WITHHELD',
-};
-/**
- * CLOSED LEXICON (4/4): how a disposition with NO declared conditions states
- * its own scope. An unconditional rule must SAY it is unconditional: a
- * sentence that merely omits the scope is one a reader fills with the last
- * rule they were taught.
- */
-const UNCONDITIONAL_SCOPE = {
-    universal: {
-        anchor: 'at every basis below, in every case those bases can present, with nothing further to satisfy first',
-        withhold: 'at every basis below, in every case those bases can present',
-    },
-    basis: {
-        anchor: 'here, in every case this basis can present, with nothing further to satisfy first',
-        withhold: 'here, in every case this basis can present',
-    },
-};
-/**
- * Prose for each non-deciding factor. One sentence per factor, stated once
- * here, so "coverage is not the test" cannot drift from rule to rule.
- */
-const NON_DECIDING_PROSE = {
-    criterion_coverage: 'Whether a declared criterion already covers the ground a cause sits on is NOT the test and never decides it: coverage tells you whether declared work remains OPEN, it cannot tell you whether a cause is NEW.',
-};
-/** How an obligation sentence opens, per disposition. */
-const OBLIGATION_LEAD = {
-    anchor: 'When you anchor, say in your audit summary',
-    withhold: 'When you withhold, say in your audit summary',
-};
-// ---- BACKSTOP: a fast, INCOMPLETE check on the policy's remaining prose ----
-//
-// Read this before trusting the rules below. They are an ENUMERATION of
-// wordings, NOT the guarantee that context prose carries no restriction -- the
-// equality pin on the rendered section is (round-8 note above). What they buy
-// is EARLINESS and a NAMED reason: a claim in vocabulary they happen to know
-// fails at module load with the offending path, instead of surfacing later as
-// an unexplained diff against the pin. Stated limits:
-//   - the lists are finite, and no list can be complete. The two escapes review
-//     filed -- "Fresh findings wait for review." and "A genuinely new root
-//     cause proceeds after every existing delivery is reviewed." -- carry no
-//     listed noun/verb pair and no scope marker, so these rules PASS them. The
-//     pin rejects them.
-//   - they can only ADD rejections. Nothing reads a green result as evidence
-//     that prose is clean: a green backstop over a changed render is still RED.
-// Widening the lists is allowed and harmless. It is not progress, and it must
-// never be written up as closing the class.
-/** Nouns that name one of the floor's candidates. Finite; not exhaustive. */
-const CANDIDATE_NOUN = /\b(root causes?|residue|restatements?|refinements?)\b/i;
-/** Verbs that state what the floor DOES with a candidate. Finite; not exhaustive. */
-const DISPOSITION_VERB_IN_PROSE = /\b(anchors?|anchored|anchoring|withholds?|withheld|suppress(?:es|ed)?|defers?|deferred|skips?|skipped|omits?|omitted|excludes?|excluded)\b/i;
-/** Markers that narrow a claim's scope. A scope is declared, never written. */
-const SCOPE_MARKER = /\b(only|unless|except|solely|provided that|so long as|as long as|conditional on|contingent on)\b/i;
-/**
- * Every free-text field of the policy. `conditions` is deliberately absent: it
- * IS the declared channel for a scope, and it is counted rather than banned.
- *
- * Exported so the suite can prove the equality pin COVERS this set (every
- * field's exact text appears verbatim inside the pinned render) rather than
- * trusting a hand-maintained field list that goes stale on the next addition.
- */
-export function floorProseFields(policy = AUDIT_FLOOR_POLICY) {
-    const obligationsOf = (at, rules) => rules.flatMap((rule, j) => rule.obligations.map((text, k) => ({ path: `${at}.rules[${j}].obligations[${k}]`, text })));
-    const fields = [
-        { path: 'universalLead', text: policy.universalLead },
-        ...policy.universalClosing.map((text, i) => ({ path: `universalClosing[${i}]`, text })),
-        ...obligationsOf('universal', policy.universal),
-    ];
-    policy.bases.forEach((basis, i) => {
-        const at = `bases[${i}]`;
-        fields.push({ path: `${at}.lead`, text: basis.lead });
-        fields.push({ path: `${at}.situation`, text: basis.situation });
-        if (basis.caveat !== undefined)
-            fields.push({ path: `${at}.caveat`, text: basis.caveat });
-        fields.push(...obligationsOf(at, basis.rules));
-    });
-    return fields;
-}
-/**
- * Prose fields that state normative content IN A WORDING THESE LISTS KNOW. An
- * empty result means "nothing recognised", NEVER "nothing normative" -- see the
- * BACKSTOP note above for why no wording list can mean the latter. The
- * completeness guarantee is the equality pin in audit-phase.test.ts; this only
- * makes the recognised cases fail earlier, at load, with a named path. Exported
- * so a test can demonstrate rejection on a mutated policy.
- */
-export function findFloorProseViolations(policy = AUDIT_FLOOR_POLICY) {
-    const violations = [];
-    for (const field of floorProseFields(policy)) {
-        if (CANDIDATE_NOUN.test(field.text) && DISPOSITION_VERB_IN_PROSE.test(field.text)) {
-            violations.push({
-                path: field.path,
-                text: field.text,
-                reason: 'states a DISPOSITION for a CANDIDATE in prose. That claim is composed from '
-                    + '`candidate` + `disposition` + `conditions`; written by hand it is the one place a '
-                    + 'restriction sits where no structural channel sees it.',
-            });
-        }
-        if (SCOPE_MARKER.test(field.text)) {
-            violations.push({
-                path: field.path,
-                text: field.text,
-                reason: 'narrows a claim with a scope marker. A scope on the floor is declared in a rule\'s '
-                    + '`conditions`, where it is rendered as one clause and counted; context prose states none.',
-            });
-        }
-    }
-    return violations;
-}
-/**
- * Fail LOUDLY rather than compose a prompt that contradicts its own structure.
- * The policy is a static constant, so a green test run is proof this can never
- * throw at runtime; it throws at module load if someone edits prose into a
- * normative claim THE BACKSTOP RECOGNISES. Prose it does not recognise composes
- * fine here and is caught by the equality pin instead.
- */
-function assertFloorProseIsContextOnly(policy) {
-    const violations = findFloorProseViolations(policy);
-    if (violations.length === 0)
-        return;
-    const detail = violations
-        .map((v) => `  ${v.path}: ${v.reason}\n    text: ${v.text}`)
-        .join('\n');
-    throw new Error('audit floor policy: free-text field(s) carry normative content. The floor\'s normative '
-        + 'claims are composed from the typed fields (candidate, disposition, conditions, '
-        + 'nonDeciding); prose carries context only.\n' + detail);
-}
-/** Join clauses into one readable list ("a, b, and c"). */
-function joinClauses(items) {
-    if (items.length < 2)
-        return items[0] ?? '';
-    return `${items.slice(0, -1).join(', ')}, and ${items[items.length - 1] ?? ''}`;
-}
-/**
- * Render one rule as prose, entirely from its typed fields. A CONDITIONAL
- * clause is emitted if and only if the rule declares conditions -- that
- * one-to-one correspondence is what the tests count, so a freeze cannot be
- * smuggled in as an extra sentence, and there is no sentence to write it in.
- */
-function renderRule(rule, scope) {
-    const dispositionScope = rule.conditions.length > 0
-        ? `only where ${joinClauses(rule.conditions)}`
-        : UNCONDITIONAL_SCOPE[scope][rule.disposition];
-    const parts = [
-        `${CANDIDATE_SUBJECT[scope][rule.candidate]} ${DISPOSITION_VERB[rule.disposition]} ${dispositionScope}.`,
-    ];
-    for (const factor of rule.nonDeciding)
-        parts.push(NON_DECIDING_PROSE[factor]);
-    if (rule.obligations.length > 0) {
-        parts.push(`${OBLIGATION_LEAD[rule.disposition]} ${joinClauses(rule.obligations)}.`);
-    }
-    return parts.join(' ');
-}
-/**
- * Name the test, and state whether it holds everywhere. The "same test at
- * every basis" half is COMPUTED against the bases rather than asserted, so a
- * basis that departed from the universal rule would change this sentence
- * instead of being contradicted by it.
- */
-function renderTestSentence(policy) {
-    const universalDisposition = new Map(policy.universal.map((rule) => [rule.candidate, rule.disposition]));
-    const uniform = policy.bases.every((basis) => basis.rules.every((rule) => {
-        const declared = universalDisposition.get(rule.candidate);
-        return declared === undefined || (declared === rule.disposition && rule.conditions.length === 0);
-    }));
-    const sameness = uniform
-        ? 'and it is the SAME test at every basis below'
-        : 'and the bases below depart from it -- read each one on its own terms';
-    return `The test is ${CANDIDATE_LABEL.residue_or_restatement} vs ${CANDIDATE_LABEL.new_root_cause}, ${sameness}.`;
-}
-/** Render one basis as a markdown bullet. */
-function renderBasis(basis) {
-    const body = [basis.situation, ...basis.rules.map((rule) => renderRule(rule, 'basis'))];
-    if (basis.caveat !== undefined)
-        body.push(basis.caveat);
-    return `- **${basis.lead}** ${body.join(' ')}`;
-}
-/** Render the policy: the universal paragraph, then one bullet per basis. */
-export function renderFloorPolicy(policy = AUDIT_FLOOR_POLICY) {
-    assertFloorProseIsContextOnly(policy);
-    const universal = [
-        `**${policy.universalLead}**`,
-        renderTestSentence(policy),
-        ...policy.universal.map((rule) => renderRule(rule, 'universal')),
-        ...policy.universalClosing,
-    ].join(' ');
-    return [universal, '', ...policy.bases.map(renderBasis)];
-}
-/**
- * The composed floor section: the pointer at the standing section (which
- * states no rule about what may be anchored), then the rendered policy.
- */
-export function renderFloorSection(policy = AUDIT_FLOOR_POLICY) {
-    return [
-        '',
-        '## Before you anchor (round 5): has this focus reached its declared floor?',
-        '',
-        'The "Focus acceptance criteria standing" section of your context lists this focus\'s OWN declared acceptance criteria, states for each whether a current delivery addresses it, and states the FLOOR with the basis it rests on. READ IT BEFORE YOU ANCHOR ANYTHING. It is the only thing in your context that says what this focus was for, and therefore the only thing that can tell you there is nothing left to anchor.',
-        '',
-        ...renderFloorPolicy(policy),
-    ];
-}
 const AUDIT_CRITERIA_FLOOR = renderFloorSection();
 /**
  * Round-5 pre-condition: attribute the fact, then let the structure decide.

package/dist/audit/audit-prompt.js.map

@@ -1 +1 @@
-{"version":3,"file":"audit-prompt.js","sourceRoot":"","sources":["../../src/audit/audit-prompt.ts"],"names":[],"mappings":"AAAA,8FAA8F;AAC9F,iEAAiE;AACjE,mDAAmD;AACnD,yEAAyE;AACzE,gBAAgB;AAgChB;;;;;GAKG;AACH,MAAM,WAAW,GAAsB;IACrC,uEAAuE;IACvE,EAAE;IACF,ujBAAujB;CACxjB,CAAC;AAEF,6EAA6E;AAC7E,2EAA2E;AAC3E,8EAA8E;AAC9E,8EAA8E;AAC9E,8EAA8E;AAC9E,4EAA4E;AAC5E,6CAA6C;AAC7C,kCAAkC;AAClC,MAAM,yBAAyB,GAAG,0/BAA0/B,CAAC;AAC7hC,gCAAgC;AAEhC;;;;;;GAMG;AACH,SAAS,mBAAmB,CAAC,OAAqB;IAChD,IAAI,OAAO,KAAK,WAAW,EAAE,CAAC;QAC5B,OAAO;YACL,EAAE;YACF,6RAA6R;SAC9R,CAAC;IACJ,CAAC;IACD,OAAO;QACL,EAAE;QACF,6DAA6D,GAAG,yBAAyB,GAAG,2TAA2T;KACxZ,CAAC;AACJ,CAAC;AAED;;;GAGG;AACH,MAAM,kBAAkB,GAAsB;IAC5C,EAAE;IACF,yIAAyI;IACzI,EAAE;IACF,kBAAkB;IAClB,0BAA0B;IAC1B,0BAA0B;IAC1B,YAAY;IACZ,4IAA4I;IAC5I,KAAK;IACL,EAAE;IACF,6LAA6L;CAC9L,CAAC;AAEF,+EAA+E;AAC/E,uEAAuE;AACvE,4EAA4E;AAC5E,8EAA8E;AAC9E,6EAA6E;AAC7E,8EAA8E;AAC9E,8EAA8E;AAC9E,+EAA+E;AAC/E,oCAAoC;AACpC,2BAA2B;AAC3B,MAAM,kBAAkB,GAAG;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;+EAgHoD,CAAC;AA4IhF;;;GAGG;AACH,MAAM,gBAAgB,GAAkB;IACtC,SAAS,EAAE,wBAAwB;IACnC,WAAW,EAAE,UAAU;IACvB,UAAU,EAAE,EAAE;IACd,WAAW,EAAE,EAAE;IACf,WAAW,EAAE,EAAE;CAChB,CAAC;AAEF;;;;GAIG;AACH,MAAM,CAAC,MAAM,kBAAkB,GAAgB;IAC7C,aAAa,EAAE,4CAA4C;IAC3D,SAAS,EAAE;QACT,gBAAgB;QAChB;YACE,SAAS,EAAE,gBAAgB;YAC3B,WAAW,EAAE,QAAQ;YACrB,UAAU,EAAE,EAAE;YACd,WAAW,EAAE,CAAC,oBAAoB,CAAC;YACnC,WAAW,EAAE,CAAC,2DAA2D,CAAC;SAC3E;KACF;IACD,gBAAgB,EAAE;QAChB,qWAAqW;KACtW;IACD,KAAK,EAAE;QACL;YACE,KAAK,EAAE,wBAAwB;YAC/B,OAAO,EAAE,IAAI;YACb,IAAI,EAAE,yDAAyD;YAC/D,SAAS,EACP,mIAAmI;YACrI,KAAK,EAAE;gBACL,gBAAgB;gBAChB;oBACE,SAAS,EAAE,gBAAgB;oBAC3B,WAAW,EAAE,QAAQ;oBACrB,UAAU,EAAE,EAAE;oBACd,WAAW,EAAE,CAAC,oBAAoB,CAAC;oBACnC,WAAW,EAAE;wBACX,2DAA2D;wBAC3D,4BAA4B;qBAC7B;iBACF;aACF;YACD,MAAM,EACJ,qQAAqQ;SACxQ;QACD;YACE,KAAK,EAAE,sBAAsB;YAC7B,OAAO,EAAE,KAAK;YACd,IAAI,EAAE,2EAA2E;YACjF,SAAS,EACP,kIAAkI;YACpI,KAAK,EAAE;gBACL;oBACE,SAAS,EAAE,gBAAgB;oBAC3B,WAAW,EAAE,QAAQ;oBACrB,UAAU,EAAE,EAAE;oBACd,WAAW,EAAE,EAAE;oBACf,WAAW,EAAE,EAAE;iBAChB;aACF;YACD,MAAM,EACJ,+GAA+G;SAClH;QACD;YACE,KAAK,EAAE,sBAAsB;YAC7B,OAAO,EAAE,KAAK;YACd,IAAI,EAAE,sDAAsD;YAC5D,SAAS,EACP,gFAAgF;YAClF,KAAK,EAAE;gBACL,gBAAgB;gBAChB;oBACE,SAAS,EAAE,gBAAgB;oBAC3B,WAAW,EAAE,QAAQ;oBACrB,UAAU,EAAE,EAAE;oBACd,WAAW,EAAE,EAAE;oBACf,WAAW,EAAE;wBACX,4EAA4E;qBAC7E;iBACF;aACF;YACD,MAAM,EACJ,qKAAqK;SACxK;QACD;YACE,KAAK,EAAE,aAAa;YACpB,OAAO,EAAE,KAAK;YACd,IAAI,EAAE,sDAAsD;YAC5D,SAAS,EACP,2EAA2E;YAC7E,KAAK,EAAE;gBACL,gBAAgB;gBAChB;oBACE,SAAS,EAAE,gBAAgB;oBAC3B,WAAW,EAAE,QAAQ;oBACrB,UAAU,EAAE,EAAE;oBACd,WAAW,EAAE,EAAE;oBACf,WAAW,EAAE,CAAC,+CAA+C,CAAC;iBAC/D;aACF;SACF;KACF;CACF,CAAC;AAKF;;;;GAIG;AACH,MAAM,iBAAiB,GAAuD;IAC5E,SAAS,EAAE;QACT,cAAc,EACZ,0EAA0E;QAC5E,sBAAsB,EACpB,qHAAqH;KACxH;IACD,KAAK,EAAE;QACL,cAAc,EAAE,4BAA4B;QAC5C,sBAAsB,EAAE,qEAAqE;KAC9F;CACF,CAAC;AAEF,8EAA8E;AAC9E,MAAM,eAAe,GAAoC;IACvD,cAAc,EAAE,gBAAgB;IAChC,sBAAsB,EAAE,wBAAwB;CACjD,CAAC;AAEF,0EAA0E;AAC1E,MAAM,gBAAgB,GAAsC;IAC1D,MAAM,EAAE,aAAa;IACrB,QAAQ,EAAE,aAAa;CACxB,CAAC;AAEF;;;;;GAKG;AACH,MAAM,mBAAmB,GAAyD;IAChF,SAAS,EAAE;QACT,MAAM,EAAE,oGAAoG;QAC5G,QAAQ,EAAE,6DAA6D;KACxE;IACD,KAAK,EAAE;QACL,MAAM,EAAE,mFAAmF;QAC3F,QAAQ,EAAE,4CAA4C;KACvD;CACF,CAAC;AAEF;;;GAGG;AACH,MAAM,kBAAkB,GAAsC;IAC5D,kBAAkB,EAChB,gNAAgN;CACnN,CAAC;AAEF,yDAAyD;AACzD,MAAM,eAAe,GAAsC;IACzD,MAAM,EAAE,4CAA4C;IACpD,QAAQ,EAAE,8CAA8C;CACzD,CAAC;AAEF,+EAA+E;AAC/E,EAAE;AACF,wEAAwE;AACxE,+EAA+E;AAC/E,8EAA8E;AAC9E,6EAA6E;AAC7E,8EAA8E;AAC9E,sDAAsD;AACtD,gFAAgF;AAChF,2EAA2E;AAC3E,6EAA6E;AAC7E,+EAA+E;AAC/E,wBAAwB;AACxB,6EAA6E;AAC7E,gFAAgF;AAChF,8EAA8E;AAC9E,4CAA4C;AAE5C,6EAA6E;AAC7E,MAAM,cAAc,GAAG,wDAAwD,CAAC;AAEhF,qFAAqF;AACrF,MAAM,yBAAyB,GAC7B,6IAA6I,CAAC;AAEhJ,+EAA+E;AAC/E,MAAM,YAAY,GAChB,mGAAmG,CAAC;AAetG;;;;;;;GAOG;AACH,MAAM,UAAU,gBAAgB,CAAC,SAAsB,kBAAkB;IACvE,MAAM,aAAa,GAAG,CAAC,EAAU,EAAE,KAA+B,EAAgB,EAAE,CAClF,KAAK,CAAC,OAAO,CAAC,CAAC,IAAI,EAAE,CAAC,EAAE,EAAE,CACxB,IAAI,CAAC,WAAW,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,GAAG,EAAE,UAAU,CAAC,iBAAiB,CAAC,GAAG,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC,CAAC;IAEhG,MAAM,MAAM,GAAiB;QAC3B,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,MAAM,CAAC,aAAa,EAAE;QACrD,GAAG,MAAM,CAAC,gBAAgB,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,oBAAoB,CAAC,GAAG,EAAE,IAAI,EAAE,CAAC,CAAC;QACvF,GAAG,aAAa,CAAC,WAAW,EAAE,MAAM,CAAC,SAAS,CAAC;KAChD,CAAC;IACF,MAAM,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,KAAK,EAAE,CAAC,EAAE,EAAE;QAChC,MAAM,EAAE,GAAG,SAAS,CAAC,GAAG,CAAC;QACzB,MAAM,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,GAAG,EAAE,OAAO,EAAE,IAAI,EAAE,KAAK,CAAC,IAAI,EAAE,CAAC,CAAC;QACtD,MAAM,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,GAAG,EAAE,YAAY,EAAE,IAAI,EAAE,KAAK,CAAC,SAAS,EAAE,CAAC,CAAC;QAChE,IAAI,KAAK,CAAC,MAAM,KAAK,SAAS;YAAE,MAAM,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,GAAG,EAAE,SAAS,EAAE,IAAI,EAAE,KAAK,CAAC,MAAM,EAAE,CAAC,CAAC;QAC1F,MAAM,CAAC,IAAI,CAAC,GAAG,aAAa,CAAC,EAAE,EAAE,KAAK,CAAC,KAAK,CAAC,CAAC,CAAC;IACjD,CAAC,CAAC,CAAC;IACH,OAAO,MAAM,CAAC;AAChB,CAAC;AAED;;;;;;;GAOG;AACH,MAAM,UAAU,wBAAwB,CACtC,SAAsB,kBAAkB;IAExC,MAAM,UAAU,GAA0B,EAAE,CAAC;IAC7C,KAAK,MAAM,KAAK,IAAI,gBAAgB,CAAC,MAAM,CAAC,EAAE,CAAC;QAC7C,IAAI,cAAc,CAAC,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,IAAI,yBAAyB,CAAC,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC;YAClF,UAAU,CAAC,IAAI,CAAC;gBACd,IAAI,EAAE,KAAK,CAAC,IAAI;gBAChB,IAAI,EAAE,KAAK,CAAC,IAAI;gBAChB,MAAM,EACJ,6EAA6E;sBAC3E,oFAAoF;sBACpF,uDAAuD;aAC5D,CAAC,CAAC;QACL,CAAC;QACD,IAAI,YAAY,CAAC,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC;YAClC,UAAU,CAAC,IAAI,CAAC;gBACd,IAAI,EAAE,KAAK,CAAC,IAAI;gBAChB,IAAI,EAAE,KAAK,CAAC,IAAI;gBAChB,MAAM,EACJ,qFAAqF;sBACnF,0FAA0F;aAC/F,CAAC,CAAC;QACL,CAAC;IACH,CAAC;IACD,OAAO,UAAU,CAAC;AACpB,CAAC;AAED;;;;;;GAMG;AACH,SAAS,6BAA6B,CAAC,MAAmB;IACxD,MAAM,UAAU,GAAG,wBAAwB,CAAC,MAAM,CAAC,CAAC;IACpD,IAAI,UAAU,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO;IACpC,MAAM,MAAM,GAAG,UAAU;SACtB,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,KAAK,CAAC,CAAC,IAAI,KAAK,CAAC,CAAC,MAAM,eAAe,CAAC,CAAC,IAAI,EAAE,CAAC;SAC3D,IAAI,CAAC,IAAI,CAAC,CAAC;IACd,MAAM,IAAI,KAAK,CACb,yFAAyF;UACvF,iFAAiF;UACjF,6CAA6C,GAAG,MAAM,CACzD,CAAC;AACJ,CAAC;AAED,2DAA2D;AAC3D,SAAS,WAAW,CAAC,KAAwB;IAC3C,IAAI,KAAK,CAAC,MAAM,GAAG,CAAC;QAAE,OAAO,KAAK,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC;IAC5C,OAAO,GAAG,KAAK,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,SAAS,KAAK,CAAC,KAAK,CAAC,MAAM,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC;AAClF,CAAC;AAED;;;;;GAKG;AACH,SAAS,UAAU,CAAC,IAAmB,EAAE,KAAgB;IACvD,MAAM,gBAAgB,GAAG,IAAI,CAAC,UAAU,CAAC,MAAM,GAAG,CAAC;QACjD,CAAC,CAAC,cAAc,WAAW,CAAC,IAAI,CAAC,UAAU,CAAC,EAAE;QAC9C,CAAC,CAAC,mBAAmB,CAAC,KAAK,CAAC,CAAC,IAAI,CAAC,WAAW,CAAC,CAAC;IACjD,MAAM,KAAK,GAAa;QACtB,GAAG,iBAAiB,CAAC,KAAK,CAAC,CAAC,IAAI,CAAC,SAAS,CAAC,IAAI,gBAAgB,CAAC,IAAI,CAAC,WAAW,CAAC,IAAI,gBAAgB,GAAG;KACzG,CAAC;IACF,KAAK,MAAM,MAAM,IAAI,IAAI,CAAC,WAAW;QAAE,KAAK,CAAC,IAAI,CAAC,kBAAkB,CAAC,MAAM,CAAC,CAAC,CAAC;IAC9E,IAAI,IAAI,CAAC,WAAW,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QAChC,KAAK,CAAC,IAAI,CAAC,GAAG,eAAe,CAAC,IAAI,CAAC,WAAW,CAAC,IAAI,WAAW,CAAC,IAAI,CAAC,WAAW,CAAC,GAAG,CAAC,CAAC;IACvF,CAAC;IACD,OAAO,KAAK,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;AACzB,CAAC;AAED;;;;;GAKG;AACH,SAAS,kBAAkB,CAAC,MAAmB;IAC7C,MAAM,oBAAoB,GAAG,IAAI,GAAG,CAClC,MAAM,CAAC,SAAS,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC,IAAI,CAAC,SAAS,EAAE,IAAI,CAAC,WAAW,CAAC,CAAC,CACnE,CAAC;IACF,MAAM,OAAO,GAAG,MAAM,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,IAAI,EAAE,EAAE;QACvE,MAAM,QAAQ,GAAG,oBAAoB,CAAC,GAAG,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC;QAC1D,OAAO,QAAQ,KAAK,SAAS,IAAI,CAAC,QAAQ,KAAK,IAAI,CAAC,WAAW,IAAI,IAAI,CAAC,UAAU,CAAC,MAAM,KAAK,CAAC,CAAC,CAAC;IACnG,CAAC,CAAC,CAAC,CAAC;IACJ,MAAM,QAAQ,GAAG,OAAO;QACtB,CAAC,CAAC,8CAA8C;QAChD,CAAC,CAAC,sEAAsE,CAAC;IAC3E,OAAO,eAAe,eAAe,CAAC,sBAAsB,OAAO,eAAe,CAAC,cAAc,KAAK,QAAQ,GAAG,CAAC;AACpH,CAAC;AAED,6CAA6C;AAC7C,SAAS,WAAW,CAAC,KAAiB;IACpC,MAAM,IAAI,GAAG,CAAC,KAAK,CAAC,SAAS,EAAE,GAAG,KAAK,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,UAAU,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC,CAAC,CAAC;IACxF,IAAI,KAAK,CAAC,MAAM,KAAK,SAAS;QAAE,IAAI,CAAC,IAAI,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC;IACxD,OAAO,OAAO,KAAK,CAAC,IAAI,MAAM,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC;AACjD,CAAC;AAED,6EAA6E;AAC7E,MAAM,UAAU,iBAAiB,CAAC,SAAsB,kBAAkB;IACxE,6BAA6B,CAAC,MAAM,CAAC,CAAC;IACtC,MAAM,SAAS,GAAG;QAChB,KAAK,MAAM,CAAC,aAAa,IAAI;QAC7B,kBAAkB,CAAC,MAAM,CAAC;QAC1B,GAAG,MAAM,CAAC,SAAS,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,UAAU,CAAC,IAAI,EAAE,WAAW,CAAC,CAAC;QAChE,GAAG,MAAM,CAAC,gBAAgB;KAC3B,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;IACZ,OAAO,CAAC,SAAS,EAAE,EAAE,EAAE,GAAG,MAAM,CAAC,KAAK,CAAC,GAAG,CAAC,WAAW,CAAC,CAAC,CAAC;AAC3D,CAAC;AAED;;;GAGG;AACH,MAAM,UAAU,kBAAkB,CAAC,SAAsB,kBAAkB;IACzE,OAAO;QACL,EAAE;QACF,4EAA4E;QAC5E,EAAE;QACF,8ZAA8Z;QAC9Z,EAAE;QACF,GAAG,iBAAiB,CAAC,MAAM,CAAC;KAC7B,CAAC;AACJ,CAAC;AAED,MAAM,oBAAoB,GAAsB,kBAAkB,EAAE,CAAC;AAErE;;;;;;;;;;;;;;;;;GAiBG;AACH,MAAM,wBAAwB,GAAsB;IAClD,EAAE;IACF,qFAAqF;IACrF,EAAE;IACF,wVAAwV;IACxV,EAAE;IACF,qyBAAqyB;IACryB,wjBAAwjB;IACxjB,4oBAA4oB;IAC5oB,gMAAgM;IAChM,+MAA+M;CAChN,CAAC;AAEF;;;;GAIG;AACH,MAAM,UAAU,gBAAgB,CAAC,OAAqB;IACpD,OAAO;QACL,GAAG,WAAW;QACd,GAAG,mBAAmB,CAAC,OAAO,CAAC;QAC/B,EAAE;QACF,kBAAkB;QAClB,GAAG,oBAAoB;QACvB,GAAG,wBAAwB;QAC3B,GAAG,kBAAkB;KACtB,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;AACf,CAAC;AAED;;;;;;;;;;GAUG;AACH,MAAM,CAAC,MAAM,YAAY,GAAG,gBAAgB,CAAC,WAAW,CAAC,CAAC"}
+{"version":3,"file":"audit-prompt.js","sourceRoot":"","sources":["../../src/audit/audit-prompt.ts"],"names":[],"mappings":"AAAA,8FAA8F;AAC9F,iEAAiE;AACjE,yEAAyE;AACzE,gBAAgB;AAEhB,OAAO,EAAE,kBAAkB,EAAE,MAAM,yBAAyB,CAAC;AAiC7D;;;;;GAKG;AACH,MAAM,WAAW,GAAsB;IACrC,uEAAuE;IACvE,EAAE;IACF,ujBAAujB;CACxjB,CAAC;AAEF,6EAA6E;AAC7E,2EAA2E;AAC3E,8EAA8E;AAC9E,8EAA8E;AAC9E,8EAA8E;AAC9E,4EAA4E;AAC5E,6CAA6C;AAC7C,kCAAkC;AAClC,MAAM,yBAAyB,GAAG,0/BAA0/B,CAAC;AAC7hC,gCAAgC;AAEhC;;;;;;GAMG;AACH,SAAS,mBAAmB,CAAC,OAAqB;IAChD,IAAI,OAAO,KAAK,WAAW,EAAE,CAAC;QAC5B,OAAO;YACL,EAAE;YACF,6RAA6R;SAC9R,CAAC;IACJ,CAAC;IACD,OAAO;QACL,EAAE;QACF,6DAA6D,GAAG,yBAAyB,GAAG,2TAA2T;KACxZ,CAAC;AACJ,CAAC;AAED;;;GAGG;AACH,MAAM,kBAAkB,GAAsB;IAC5C,EAAE;IACF,yIAAyI;IACzI,EAAE;IACF,kBAAkB;IAClB,0BAA0B;IAC1B,0BAA0B;IAC1B,YAAY;IACZ,4IAA4I;IAC5I,KAAK;IACL,EAAE;IACF,6LAA6L;CAC9L,CAAC;AAEF,+EAA+E;AAC/E,uEAAuE;AACvE,4EAA4E;AAC5E,8EAA8E;AAC9E,6EAA6E;AAC7E,8EAA8E;AAC9E,8EAA8E;AAC9E,+EAA+E;AAC/E,oCAAoC;AACpC,2BAA2B;AAC3B,MAAM,kBAAkB,GAAG;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;+EAgHoD,CAAC;AAChF,yBAAyB;AAEzB;;;;;GAKG;AACH,MAAM,oBAAoB,GAAsB,kBAAkB,EAAE,CAAC;AAErE;;;;;;;;;;;;;;;;;GAiBG;AACH,MAAM,wBAAwB,GAAsB;IAClD,EAAE;IACF,qFAAqF;IACrF,EAAE;IACF,wVAAwV;IACxV,EAAE;IACF,qyBAAqyB;IACryB,wjBAAwjB;IACxjB,4oBAA4oB;IAC5oB,gMAAgM;IAChM,+MAA+M;CAChN,CAAC;AAEF;;;;GAIG;AACH,MAAM,UAAU,gBAAgB,CAAC,OAAqB;IACpD,OAAO;QACL,GAAG,WAAW;QACd,GAAG,mBAAmB,CAAC,OAAO,CAAC;QAC/B,EAAE;QACF,kBAAkB;QAClB,GAAG,oBAAoB;QACvB,GAAG,wBAAwB;QAC3B,GAAG,kBAAkB;KACtB,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;AACf,CAAC;AAED;;;;;;;;;;GAUG;AACH,MAAM,CAAC,MAAM,YAAY,GAAG,gBAAgB,CAAC,WAAW,CAAC,CAAC"}

package/dist/completion/commit-verdict-release.d.ts

@@ -28,22 +28,58 @@ export interface CommitVerdictReleaseDeps extends Required<Pick<CommitVerdictGat
     createEscalation: typeof createEscalation;
     hasOpenFocusEscalation: (focusId: string, escalationKind: string) => Promise<boolean>;
     now: () => number;
+    /**
+     * Whether `head` adds nothing of the focus's OWN work on top of the held commit
+     * `anchor` (git/focus-own-delta.ts isForeignOnlyExtension) -- the one advance a
+     * held review survives (module doc). Every unreadable input answers false, so the
+     * review re-fires; a deps object omitting it carries nothing forward.
+     */
+    headAddsNoOwnWork?: (args: CarryForwardQuestion) => boolean;
 }
+/** What the carry-forward proof is asked about. */
+export interface CarryForwardQuestion {
+    focusId: string;
+    /** Pinned focus branch identity (product_focuses.branch_name), or null. */
+    branchName: string | null;
+    integrationBranch: string;
+    /** The commit the held review judged. */
+    anchor: string;
+    /** The focus worktree HEAD now. */
+    head: string;
+    /** The focus's delivery ids: what "the focus's own work" means to the trailer read. */
+    ownDeliveryIds: ReadonlySet<string>;
+}
+/**
+ * The production proof: provenance is read from the focus WORKTREE, where the focus
+ * branch is checked out and the gate ran. A focus with no live worktree entry
+ * (a restart before the focus was spawned) answers false -- carry nothing.
+ */
+export declare function headAddsNoOwnWork(q: CarryForwardQuestion): boolean;
 /** What one pass did. */
 export interface CommitVerdictReleaseCounts {
     /** Held deliveries whose review exit was replayed. */
     released: number;
     /** Held deliveries whose held commit is no longer the focus HEAD (evidence dropped). */
     superseded: number;
+    /** Held deliveries whose held review was carried to a HEAD that added no work of the focus's own. */
+    carried: number;
     /** Held deliveries still waiting (no verdict yet, or a failed verdict being routed by feedback). */
     waiting: number;
 }
 /** Test seam: forget reported overdue waits. */
 export declare function __resetCommitVerdictReleaseForTests(): void;
+/**
+ * The product-scoped config a release pass reads. `integrationBranch` is what the
+ * carry-forward proof compares against; without it (a partial test config) no held
+ * review is carried and every HEAD advance discards, as it did before.
+ */
+export type ReleaseConfig = Pick<DaemonConfig, 'organizationId' | 'productId'> & {
+    integrationBranch?: string;
+};
 /**
  * One release pass over a product's active focuses. `config` must be
  * product-scoped. Best-effort: a failure on one focus is logged and the next
  * focus still runs; nothing throws.
  */
-export declare function releaseCommitVerdictHolds(config: Pick<DaemonConfig, 'organizationId' | 'productId'>, overrides?: Partial<CommitVerdictReleaseDeps>): Promise<CommitVerdictReleaseCounts>;
+export declare function releaseCommitVerdictHolds(config: ReleaseConfig, overrides?: Partial<CommitVerdictReleaseDeps>): Promise<CommitVerdictReleaseCounts>;
 //# sourceMappingURL=commit-verdict-release.d.ts.map

package/dist/completion/commit-verdict-release.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"commit-verdict-release.d.ts","sourceRoot":"","sources":["../../src/completion/commit-verdict-release.ts"],"names":[],"mappings":"AAoEA,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,mBAAmB,CAAC;AACtD,OAAO,EAAE,gBAAgB,EAAE,MAAM,+BAA+B,CAAC;AACjE,OAAO,EAAE,kBAAkB,EAAE,MAAM,uBAAuB,CAAC;AAC3D,OAAO,EAAE,oBAAoB,EAAE,MAAM,0BAA0B,CAAC;AAEhE,OAAO,EAAE,gBAAgB,EAA0B,MAAM,2BAA2B,CAAC;AAKrF,OAAO,EAAwB,KAAK,qBAAqB,EAAyB,MAAM,+BAA+B,CAAC;AACxH,OAAO,EAAwB,KAAK,gBAAgB,EAAE,MAAM,wBAAwB,CAAC;AAQrF,uDAAuD;AACvD,eAAO,MAAM,2BAA2B,2BAA2B,CAAC;AAEpE;;;;;GAKG;AACH,eAAO,MAAM,yBAAyB,QAAqB,CAAC;AAE5D,kEAAkE;AAClE,MAAM,WAAW,wBAAyB,SAAQ,QAAQ,CAAC,IAAI,CAC7D,qBAAqB,EACrB,qBAAqB,GAAG,mBAAmB,GAAG,yBAAyB,GAAG,mBAAmB,CAC9F,CAAC;IACA,6EAA6E;IAC7E,iBAAiB,CAAC,EAAE,qBAAqB,CAAC,mBAAmB,CAAC,CAAC;IAC/D,oHAAoH;IACpH,sBAAsB,CAAC,EAAE,qBAAqB,CAAC,wBAAwB,CAAC,CAAC;IACzE,gBAAgB,EAAE,OAAO,gBAAgB,CAAC;IAC1C,kBAAkB,EAAE,OAAO,kBAAkB,CAAC;IAC9C,oBAAoB,EAAE,OAAO,oBAAoB,CAAC;IAClD,qBAAqB,EAAE,CAAC,OAAO,EAAE,MAAM,KAAK,OAAO,CAAC;IACpD,oBAAoB,EAAE,CAAC,MAAM,EAAE,gBAAgB,KAAK,OAAO,CAAC,IAAI,CAAC,CAAC;IAClE,gBAAgB,EAAE,OAAO,gBAAgB,CAAC;IAC1C,sBAAsB,EAAE,CAAC,OAAO,EAAE,MAAM,EAAE,cAAc,EAAE,MAAM,KAAK,OAAO,CAAC,OAAO,CAAC,CAAC;IACtF,GAAG,EAAE,MAAM,MAAM,CAAC;CACnB;AAcD,yBAAyB;AACzB,MAAM,WAAW,0BAA0B;IACzC,sDAAsD;IACtD,QAAQ,EAAE,MAAM,CAAC;IACjB,wFAAwF;IACxF,UAAU,EAAE,MAAM,CAAC;IACnB,oGAAoG;IACpG,OAAO,EAAE,MAAM,CAAC;CACjB;AAKD,gDAAgD;AAChD,wBAAgB,mCAAmC,IAAI,IAAI,CAE1D;AASD;;;;GAIG;AACH,wBAAsB,yBAAyB,CAC7C,MAAM,EAAE,IAAI,CAAC,YAAY,EAAE,gBAAgB,GAAG,WAAW,CAAC,EAC1D,SAAS,GAAE,OAAO,CAAC,wBAAwB,CAAM,GAChD,OAAO,CAAC,0BAA0B,CAAC,CAoBrC"}
+{"version":3,"file":"commit-verdict-release.d.ts","sourceRoot":"","sources":["../../src/completion/commit-verdict-release.ts"],"names":[],"mappings":"AA+FA,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,mBAAmB,CAAC;AACtD,OAAO,EAAE,gBAAgB,EAAE,MAAM,+BAA+B,CAAC;AACjE,OAAO,EAAE,kBAAkB,EAAE,MAAM,uBAAuB,CAAC;AAC3D,OAAO,EAAE,oBAAoB,EAAE,MAAM,0BAA0B,CAAC;AAEhE,OAAO,EAAE,gBAAgB,EAA0B,MAAM,2BAA2B,CAAC;AAOrF,OAAO,EAAwB,KAAK,qBAAqB,EAAyB,MAAM,+BAA+B,CAAC;AACxH,OAAO,EAAwB,KAAK,gBAAgB,EAAE,MAAM,wBAAwB,CAAC;AAQrF,uDAAuD;AACvD,eAAO,MAAM,2BAA2B,2BAA2B,CAAC;AAEpE;;;;;GAKG;AACH,eAAO,MAAM,yBAAyB,QAAqB,CAAC;AAE5D,kEAAkE;AAClE,MAAM,WAAW,wBAAyB,SAAQ,QAAQ,CAAC,IAAI,CAC7D,qBAAqB,EACrB,qBAAqB,GAAG,mBAAmB,GAAG,yBAAyB,GAAG,mBAAmB,CAC9F,CAAC;IACA,6EAA6E;IAC7E,iBAAiB,CAAC,EAAE,qBAAqB,CAAC,mBAAmB,CAAC,CAAC;IAC/D,oHAAoH;IACpH,sBAAsB,CAAC,EAAE,qBAAqB,CAAC,wBAAwB,CAAC,CAAC;IACzE,gBAAgB,EAAE,OAAO,gBAAgB,CAAC;IAC1C,kBAAkB,EAAE,OAAO,kBAAkB,CAAC;IAC9C,oBAAoB,EAAE,OAAO,oBAAoB,CAAC;IAClD,qBAAqB,EAAE,CAAC,OAAO,EAAE,MAAM,KAAK,OAAO,CAAC;IACpD,oBAAoB,EAAE,CAAC,MAAM,EAAE,gBAAgB,KAAK,OAAO,CAAC,IAAI,CAAC,CAAC;IAClE,gBAAgB,EAAE,OAAO,gBAAgB,CAAC;IAC1C,sBAAsB,EAAE,CAAC,OAAO,EAAE,MAAM,EAAE,cAAc,EAAE,MAAM,KAAK,OAAO,CAAC,OAAO,CAAC,CAAC;IACtF,GAAG,EAAE,MAAM,MAAM,CAAC;IAClB;;;;;OAKG;IACH,iBAAiB,CAAC,EAAE,CAAC,IAAI,EAAE,oBAAoB,KAAK,OAAO,CAAC;CAC7D;AAED,mDAAmD;AACnD,MAAM,WAAW,oBAAoB;IACnC,OAAO,EAAE,MAAM,CAAC;IAChB,2EAA2E;IAC3E,UAAU,EAAE,MAAM,GAAG,IAAI,CAAC;IAC1B,iBAAiB,EAAE,MAAM,CAAC;IAC1B,yCAAyC;IACzC,MAAM,EAAE,MAAM,CAAC;IACf,mCAAmC;IACnC,IAAI,EAAE,MAAM,CAAC;IACb,uFAAuF;IACvF,cAAc,EAAE,WAAW,CAAC,MAAM,CAAC,CAAC;CACrC;AAED;;;;GAIG;AACH,wBAAgB,iBAAiB,CAAC,CAAC,EAAE,oBAAoB,GAAG,OAAO,CAOlE;AAeD,yBAAyB;AACzB,MAAM,WAAW,0BAA0B;IACzC,sDAAsD;IACtD,QAAQ,EAAE,MAAM,CAAC;IACjB,wFAAwF;IACxF,UAAU,EAAE,MAAM,CAAC;IACnB,qGAAqG;IACrG,OAAO,EAAE,MAAM,CAAC;IAChB,oGAAoG;IACpG,OAAO,EAAE,MAAM,CAAC;CACjB;AAKD,gDAAgD;AAChD,wBAAgB,mCAAmC,IAAI,IAAI,CAE1D;AAED;;;;GAIG;AACH,MAAM,MAAM,aAAa,GAAG,IAAI,CAAC,YAAY,EAAE,gBAAgB,GAAG,WAAW,CAAC,GAAG;IAAE,iBAAiB,CAAC,EAAE,MAAM,CAAA;CAAE,CAAC;AAShH;;;;GAIG;AACH,wBAAsB,yBAAyB,CAC7C,MAAM,EAAE,aAAa,EACrB,SAAS,GAAE,OAAO,CAAC,wBAAwB,CAAM,GAChD,OAAO,CAAC,0BAA0B,CAAC,CAoBrC"}