@telora/daemon 0.22.137 → 0.22.146

package/dist/audit/audit-prompt.js

@@ -1,5 +1,6 @@
 // PINNED-BY-BEGIN (generated by gen:pinned-by -- do not hand-edit; checked by lint:pinned-by)
-// Pinned by: packages/daemon/src/prompt/decision-rule-replaces-escalation.test.ts
+// Pinned by: packages/daemon/src/audit/audit-phase.test.ts,
+//   packages/daemon/src/prompt/decision-rule-replaces-escalation.test.ts
 // PINNED-BY-END
 /**
  * Posture-independent intro. The first line is stable across postures (a spawn
@@ -171,7 +172,367 @@ 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.
+ */
+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. Where the unreviewed-work hold below also stands in the way, declare it through the recorded override that section names (`allowUnreviewedResidue=true` with `unreviewedResidueReason`): that makes the deviation visible and traceable, and it is not a freeze.',
+    ],
+    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: the unreviewed-residue hold.
+ *
+ * Deliberately OUTSIDE the SHARED-AUDIT-GUIDE sentinels. The shared block is
+ * the posture-neutral tree-authoring discipline the MCP handler mirrors
+ * byte-for-byte; this text is specific to a pass that has the daemon's
+ * `focus.review_coverage` section in front of it (the assembly recipe supplies
+ * it, the MCP guide's readers have no such section), so putting it in the
+ * shared block would state a precondition its other reader cannot satisfy.
+ *
+ * WHY IT EXISTS. Round 5 anchors one remediation delivery per injection. Left
+ * alone, a pass anchors residue of work a reviewer has not looked at yet as a
+ * fresh sibling, and the focus re-opens on new work while the pass that
+ * produced it is never judged -- an armed focus with no floor. The create path
+ * already refuses that mechanically (unreviewed_residue_hold); this tells the
+ * pass the rule BEFORE it spends a call on a create that will be refused, and
+ * names the escape so the hold stays a presume-and-escape rather than a freeze.
+ */
+const AUDIT_UNREVIEWED_RESIDUE = [
+    '',
+    '## Before you anchor (round 5): is this residue of UNREVIEWED work?',
+    '',
+    'The "Delivery review coverage" section of your context partitions this focus\'s deliveries by review state -- reviewed, unreviewed, no work yet -- and states the basis it partitioned on. READ IT BEFORE YOU CREATE ANY DELIVERY. It is how you tell a fact produced by work a reviewer has judged from a fact produced by work no reviewer has seen.',
+    '',
+    '- **Attribute the fact before you judge it.** That section\'s "Fact provenance" sub-section maps each commit on the focus branch -- and each file those commits touched -- to the delivery that produced it and that delivery\'s review state. Use it to decide which partition an observed fact belongs to. Do NOT infer the producing delivery from a file path, a commit subject, or which delivery sounds related: the mapping is read from each commit\'s `Telora-Delivery` trailer, and a guess is exactly the inference this section exists to remove. A file the mapping shows was touched by MORE THAN ONE delivery belongs to all of them -- do not pick one. A fact the mapping reports as UNATTRIBUTED has no known producing delivery: treat it as UNREVIEWED and apply the hold below. If the mapping says NOT AVAILABLE, no fact on the branch is attributable at all -- treat every one of them as unreviewed.',
+    '- **Residue of an UNREVIEWED delivery is HELD, not anchored.** A defect or gap in work an unreviewed delivery produced is not new information: it is the not-yet-judged tail of work already in flight, and the review that has not happened yet is exactly where it gets judged. Hold it: keep the UDE in the tree with `evidence` naming the unreviewed delivery it came from, do NOT anchor a remediation delivery for it, and say in your audit summary that it is held pending that review. Anchoring a sibling removes the floor the review gate provides -- the focus re-opens on new work while the pass that produced it is never judged.',
+    '- **A genuinely NEW root cause is still anchored.** The hold is a presumption, not a verdict on your judgement. While the focus carries unreviewed work-bearing deliveries, `telora_product_delivery` action=create is refused (`unreviewed_residue_hold`, no row) unless you DECLARE the deviation: pass `allowUnreviewedResidue=true` AND `unreviewedResidueReason="<why this is a new root cause and not residue of that work>"`. Both, every time -- a bare flag with no reason is refused (`override_reason_required`).',
+    '- **Declare it, never work around it.** The reason is recorded durably on the delivery with its attribution, so anchoring ahead of the review is a traced act rather than a silent one. Do not restate the same cause under a new name to slip past the hold, and do not treat the override as the default path: an escape declares ONE deviation, not all of them -- it does not relax the injection-anchoring contract.',
+    '- **If that section says READ FAILED, the review state is UNKNOWN.** Treat every delivery on the focus as unreviewed and apply the hold. An unreadable review state is not evidence that nothing is unreviewed.',
+];
 /**
  * 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)
@@ -183,6 +544,8 @@ export function buildAuditPrompt(posture) {
         ...auditPostureSection(posture),
         '',
         AUDIT_GUIDE_SHARED,
+        ...AUDIT_CRITERIA_FLOOR,
+        ...AUDIT_UNREVIEWED_RESIDUE,
         ...AUDIT_SUMMARY_TAIL,
     ].join('\n');
 }

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,kFAAkF;AAClF,gBAAgB;AA6BhB;;;;;GAKG;AACH,MAAM,WAAW,GAAsB;IACrC,uEAAuE;IACvE,EAAE;IACF,ujBAAujB;CACxjB,CAAC;AAEF;;;;;;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,whBAAwhB;KACzhB,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;;;;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,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,4DAA4D;AAC5D,yEAAyE;AACzE,gBAAgB;AA6BhB;;;;;GAKG;AACH,MAAM,WAAW,GAAsB;IACrC,uEAAuE;IACvE,EAAE;IACF,ujBAAujB;CACxjB,CAAC;AAEF;;;;;;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,whBAAwhB;KACzhB,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,wUAAwU;KACzU;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,qEAAqE;IACrE,EAAE;IACF,wVAAwV;IACxV,EAAE;IACF,g4BAAg4B;IACh4B,onBAAonB;IACpnB,8fAA8f;IAC9f,2ZAA2Z;IAC3Z,iNAAiN;CAClN,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/review-coverage-shas.d.ts

@@ -0,0 +1,49 @@
+/** Injectable IO seams; each defaults to the real implementation. */
+export interface ReviewCoverageShaDeps {
+    /** The focus's registered worktree path, or null when none is registered. */
+    worktreePathFor: (focusId: string) => string | null;
+    /** The focus's delivery merge commit shas (in any order). Throws when unreadable. */
+    listMergeShas: (focusId: string) => Promise<string[]>;
+    /** True iff `sha` is an ancestor of `tip` in `worktreePath`. False when unreadable. */
+    isAncestor: (worktreePath: string, sha: string, tip: string) => boolean;
+    /** True iff `sha` resolves to a commit in `worktreePath`. */
+    commitResolves: (worktreePath: string, sha: string) => boolean;
+    /** Persist the watermark and the covered set together. */
+    writeWatermark: (focusId: string, sha: string, coveredMergeShas?: readonly string[]) => Promise<void>;
+}
+/**
+ * The production wiring: the real worktree registry, the real delivery read,
+ * and REAL git for both ancestry questions.
+ *
+ * Exported so a seam test can spread it and replace only the parts that need
+ * a fixture (which focus, which deliveries, where the write lands) while the
+ * ancestry itself still runs through the same `git merge-base --is-ancestor`
+ * production uses. A test that re-implemented those two calls would pass
+ * whether or not production's ones work.
+ */
+export declare const defaultReviewCoverageShaDeps: ReviewCoverageShaDeps;
+/**
+ * The delivery merge commits `watermark` covers: each one git proves is an
+ * ANCESTOR of it in the focus worktree. Returns null when the question could
+ * not be asked at all (no worktree, an unresolvable watermark, an unreadable
+ * delivery list) -- null means "unknown", which the caller sends as "do not
+ * change the stored set", NOT as "nothing is covered".
+ *
+ * Ancestry per delivery rather than one walk of a range, for the same reason
+ * `resolvers/focus-review-coverage.ts` does it: the range's base is not a fact
+ * this module owns, and a delivery merged before that base moved would be
+ * missed by a range walk.
+ */
+export declare function resolveCoveredMergeShas(focusId: string, watermark: string, deps?: ReviewCoverageShaDeps): Promise<string[] | null>;
+/**
+ * Stamp the review coverage watermark AND the merge commits it covers.
+ *
+ * This is the production binding of the review exit's `setReviewedThroughSha`
+ * dependency: the exit phase still asks for one thing ("record that this
+ * review covered this commit"), and recording it honestly means recording the
+ * range, because a watermark alone is what held the earlier deliveries. A
+ * resolution failure degrades to the watermark-only write rather than failing
+ * the stamp.
+ */
+export declare function stampReviewCoverage(focusId: string, sha: string, deps?: ReviewCoverageShaDeps): Promise<void>;
+//# sourceMappingURL=review-coverage-shas.d.ts.map

package/dist/completion/review-coverage-shas.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"review-coverage-shas.d.ts","sourceRoot":"","sources":["../../src/completion/review-coverage-shas.ts"],"names":[],"mappings":"AA4CA,qEAAqE;AACrE,MAAM,WAAW,qBAAqB;IACpC,6EAA6E;IAC7E,eAAe,EAAE,CAAC,OAAO,EAAE,MAAM,KAAK,MAAM,GAAG,IAAI,CAAC;IACpD,qFAAqF;IACrF,aAAa,EAAE,CAAC,OAAO,EAAE,MAAM,KAAK,OAAO,CAAC,MAAM,EAAE,CAAC,CAAC;IACtD,uFAAuF;IACvF,UAAU,EAAE,CAAC,YAAY,EAAE,MAAM,EAAE,GAAG,EAAE,MAAM,EAAE,GAAG,EAAE,MAAM,KAAK,OAAO,CAAC;IACxE,6DAA6D;IAC7D,cAAc,EAAE,CAAC,YAAY,EAAE,MAAM,EAAE,GAAG,EAAE,MAAM,KAAK,OAAO,CAAC;IAC/D,0DAA0D;IAC1D,cAAc,EAAE,CAAC,OAAO,EAAE,MAAM,EAAE,GAAG,EAAE,MAAM,EAAE,gBAAgB,CAAC,EAAE,SAAS,MAAM,EAAE,KAAK,OAAO,CAAC,IAAI,CAAC,CAAC;CACvG;AAkBD;;;;;;;;;GASG;AACH,eAAO,MAAM,4BAA4B,EAAE,qBAU1C,CAAC;AAEF;;;;;;;;;;;GAWG;AACH,wBAAsB,uBAAuB,CAC3C,OAAO,EAAE,MAAM,EACf,SAAS,EAAE,MAAM,EACjB,IAAI,GAAE,qBAAoD,GACzD,OAAO,CAAC,MAAM,EAAE,GAAG,IAAI,CAAC,CAa1B;AAED;;;;;;;;;GASG;AACH,wBAAsB,mBAAmB,CACvC,OAAO,EAAE,MAAM,EACf,GAAG,EAAE,MAAM,EACX,IAAI,GAAE,qBAAoD,GACzD,OAAO,CAAC,IAAI,CAAC,CAYf"}

package/dist/completion/review-coverage-shas.js

@@ -0,0 +1,128 @@
+// PINNED-BY-BEGIN (generated by gen:pinned-by -- do not hand-edit; checked by lint:pinned-by)
+// Pinned by: packages/daemon/src/completion/review-coverage-seam.test.ts,
+//   packages/daemon/src/completion/review-coverage-shas.test.ts
+// PINNED-BY-END
+/**
+ * Resolve WHICH delivery merge commits a review pass covered, and stamp them
+ * with the watermark they belong to.
+ *
+ * WHY THIS EXISTS (Bug TEL-10). Coverage is a RANGE. The review-exit stamp
+ * records its tip (`product_focuses.reviewed_through_sha`), and the daemon can
+ * always re-derive the rest -- it owns the repo. The product-api create gate
+ * cannot: the edge runtime has no repository, so asked "is this delivery's
+ * merge commit inside the reviewed range?" it could only compare against the
+ * tip itself. Every delivery that merged EARLIER in that same range came back
+ * 'unreviewed' and held the create -- and no later event could ever clear it,
+ * because a subsequent review moves the watermark FORWARD, never onto the
+ * earlier merge commit. A hold nothing can discharge is a freeze.
+ *
+ * So the side that can answer writes the answer down. This module resolves the
+ * ancestry once, at the moment the watermark is stamped, and sends both in one
+ * write. It is the same relation `resolvers/focus-review-coverage.ts` resolves
+ * live for the audit prompt (`git merge-base --is-ancestor`), and deliberately
+ * the same one: the gate must enforce the state the scoping pass was shown.
+ *
+ * FAILS CLOSED IN EVERY DIRECTION. No worktree, an unresolvable watermark, an
+ * unreadable delivery list, a git failure -- each yields a SMALLER covered set
+ * (at worst an empty one), and a smaller set can only hold MORE deliveries.
+ * The watermark write itself is never blocked by a resolution failure: the
+ * coverage record is an improvement on the hold, not a precondition for
+ * recording that the review happened.
+ *
+ * @module completion/review-coverage-shas
+ */
+import { execFileSync } from 'node:child_process';
+import { getFocusWorktree } from '../focus/focus-worktree-state.js';
+import { getFocusDeliveries } from '../queries/focuses.js';
+import { setReviewedThroughSha } from '../queries/focus-review-watermark.js';
+import { createLogger } from '../shell/log.js';
+const log = createLogger({ module: 'focus-executor' });
+const GIT_OPTS = {
+    maxBuffer: 1024 * 1024,
+    encoding: 'utf-8',
+    stdio: ['ignore', 'pipe', 'pipe'],
+};
+/** Whether a git command exits 0 in `cwd`. A throw is a NO, never a yes. */
+function gitSucceeds(args, cwd) {
+    try {
+        execFileSync('git', args, { ...GIT_OPTS, cwd });
+        return true;
+    }
+    catch {
+        return false;
+    }
+}
+/**
+ * The production wiring: the real worktree registry, the real delivery read,
+ * and REAL git for both ancestry questions.
+ *
+ * Exported so a seam test can spread it and replace only the parts that need
+ * a fixture (which focus, which deliveries, where the write lands) while the
+ * ancestry itself still runs through the same `git merge-base --is-ancestor`
+ * production uses. A test that re-implemented those two calls would pass
+ * whether or not production's ones work.
+ */
+export const defaultReviewCoverageShaDeps = {
+    worktreePathFor: (focusId) => getFocusWorktree(focusId)?.worktreePath ?? null,
+    listMergeShas: async (focusId) => (await getFocusDeliveries(focusId))
+        .map((d) => (typeof d.mergeCommitSha === 'string' ? d.mergeCommitSha.trim() : ''))
+        .filter((sha) => sha !== ''),
+    isAncestor: (worktreePath, sha, tip) => gitSucceeds(['merge-base', '--is-ancestor', sha, tip], worktreePath),
+    commitResolves: (worktreePath, sha) => gitSucceeds(['rev-parse', '--verify', '--quiet', `${sha}^{commit}`], worktreePath),
+    writeWatermark: setReviewedThroughSha,
+};
+/**
+ * The delivery merge commits `watermark` covers: each one git proves is an
+ * ANCESTOR of it in the focus worktree. Returns null when the question could
+ * not be asked at all (no worktree, an unresolvable watermark, an unreadable
+ * delivery list) -- null means "unknown", which the caller sends as "do not
+ * change the stored set", NOT as "nothing is covered".
+ *
+ * Ancestry per delivery rather than one walk of a range, for the same reason
+ * `resolvers/focus-review-coverage.ts` does it: the range's base is not a fact
+ * this module owns, and a delivery merged before that base moved would be
+ * missed by a range walk.
+ */
+export async function resolveCoveredMergeShas(focusId, watermark, deps = defaultReviewCoverageShaDeps) {
+    const tip = watermark.trim();
+    if (tip === '')
+        return null;
+    const worktreePath = deps.worktreePathFor(focusId);
+    if (!worktreePath)
+        return null;
+    if (!deps.commitResolves(worktreePath, tip))
+        return null;
+    let mergeShas;
+    try {
+        mergeShas = await deps.listMergeShas(focusId);
+    }
+    catch {
+        return null;
+    }
+    return mergeShas.filter((sha) => deps.isAncestor(worktreePath, sha, tip));
+}
+/**
+ * Stamp the review coverage watermark AND the merge commits it covers.
+ *
+ * This is the production binding of the review exit's `setReviewedThroughSha`
+ * dependency: the exit phase still asks for one thing ("record that this
+ * review covered this commit"), and recording it honestly means recording the
+ * range, because a watermark alone is what held the earlier deliveries. A
+ * resolution failure degrades to the watermark-only write rather than failing
+ * the stamp.
+ */
+export async function stampReviewCoverage(focusId, sha, deps = defaultReviewCoverageShaDeps) {
+    let covered = null;
+    try {
+        covered = await resolveCoveredMergeShas(focusId, sha, deps);
+    }
+    catch (err) {
+        log.warn(`[focus-executor] Review coverage range unresolved for focus ${focusId}: ${err.message}`);
+    }
+    if (covered === null) {
+        await deps.writeWatermark(focusId, sha);
+        return;
+    }
+    await deps.writeWatermark(focusId, sha, covered);
+}
+//# sourceMappingURL=review-coverage-shas.js.map

package/dist/completion/review-coverage-shas.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"review-coverage-shas.js","sourceRoot":"","sources":["../../src/completion/review-coverage-shas.ts"],"names":[],"mappings":"AAAA,8FAA8F;AAC9F,0EAA0E;AAC1E,gEAAgE;AAChE,gBAAgB;AAEhB;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA4BG;AAEH,OAAO,EAAE,YAAY,EAAE,MAAM,oBAAoB,CAAC;AAElD,OAAO,EAAE,gBAAgB,EAAE,MAAM,kCAAkC,CAAC;AACpE,OAAO,EAAE,kBAAkB,EAAE,MAAM,uBAAuB,CAAC;AAC3D,OAAO,EAAE,qBAAqB,EAAE,MAAM,sCAAsC,CAAC;AAC7E,OAAO,EAAE,YAAY,EAAE,MAAM,iBAAiB,CAAC;AAE/C,MAAM,GAAG,GAAG,YAAY,CAAC,EAAE,MAAM,EAAE,gBAAgB,EAAE,CAAC,CAAC;AAgBvD,MAAM,QAAQ,GAAG;IACf,SAAS,EAAE,IAAI,GAAG,IAAI;IACtB,QAAQ,EAAE,OAAgB;IAC1B,KAAK,EAAE,CAAC,QAAQ,EAAE,MAAM,EAAE,MAAM,CAA+B;CAChE,CAAC;AAEF,4EAA4E;AAC5E,SAAS,WAAW,CAAC,IAAc,EAAE,GAAW;IAC9C,IAAI,CAAC;QACH,YAAY,CAAC,KAAK,EAAE,IAAI,EAAE,EAAE,GAAG,QAAQ,EAAE,GAAG,EAAE,CAAC,CAAC;QAChD,OAAO,IAAI,CAAC;IACd,CAAC;IAAC,MAAM,CAAC;QACP,OAAO,KAAK,CAAC;IACf,CAAC;AACH,CAAC;AAED;;;;;;;;;GASG;AACH,MAAM,CAAC,MAAM,4BAA4B,GAA0B;IACjE,eAAe,EAAE,CAAC,OAAO,EAAE,EAAE,CAAC,gBAAgB,CAAC,OAAO,CAAC,EAAE,YAAY,IAAI,IAAI;IAC7E,aAAa,EAAE,KAAK,EAAE,OAAO,EAAE,EAAE,CAAC,CAAC,MAAM,kBAAkB,CAAC,OAAO,CAAC,CAAC;SAClE,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,OAAO,CAAC,CAAC,cAAc,KAAK,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC,cAAc,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;SACjF,MAAM,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,GAAG,KAAK,EAAE,CAAC;IAC9B,UAAU,EAAE,CAAC,YAAY,EAAE,GAAG,EAAE,GAAG,EAAE,EAAE,CACrC,WAAW,CAAC,CAAC,YAAY,EAAE,eAAe,EAAE,GAAG,EAAE,GAAG,CAAC,EAAE,YAAY,CAAC;IACtE,cAAc,EAAE,CAAC,YAAY,EAAE,GAAG,EAAE,EAAE,CACpC,WAAW,CAAC,CAAC,WAAW,EAAE,UAAU,EAAE,SAAS,EAAE,GAAG,GAAG,WAAW,CAAC,EAAE,YAAY,CAAC;IACpF,cAAc,EAAE,qBAAqB;CACtC,CAAC;AAEF;;;;;;;;;;;GAWG;AACH,MAAM,CAAC,KAAK,UAAU,uBAAuB,CAC3C,OAAe,EACf,SAAiB,EACjB,OAA8B,4BAA4B;IAE1D,MAAM,GAAG,GAAG,SAAS,CAAC,IAAI,EAAE,CAAC;IAC7B,IAAI,GAAG,KAAK,EAAE;QAAE,OAAO,IAAI,CAAC;IAC5B,MAAM,YAAY,GAAG,IAAI,CAAC,eAAe,CAAC,OAAO,CAAC,CAAC;IACnD,IAAI,CAAC,YAAY;QAAE,OAAO,IAAI,CAAC;IAC/B,IAAI,CAAC,IAAI,CAAC,cAAc,CAAC,YAAY,EAAE,GAAG,CAAC;QAAE,OAAO,IAAI,CAAC;IACzD,IAAI,SAAmB,CAAC;IACxB,IAAI,CAAC;QACH,SAAS,GAAG,MAAM,IAAI,CAAC,aAAa,CAAC,OAAO,CAAC,CAAC;IAChD,CAAC;IAAC,MAAM,CAAC;QACP,OAAO,IAAI,CAAC;IACd,CAAC;IACD,OAAO,SAAS,CAAC,MAAM,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,IAAI,CAAC,UAAU,CAAC,YAAY,EAAE,GAAG,EAAE,GAAG,CAAC,CAAC,CAAC;AAC5E,CAAC;AAED;;;;;;;;;GASG;AACH,MAAM,CAAC,KAAK,UAAU,mBAAmB,CACvC,OAAe,EACf,GAAW,EACX,OAA8B,4BAA4B;IAE1D,IAAI,OAAO,GAAoB,IAAI,CAAC;IACpC,IAAI,CAAC;QACH,OAAO,GAAG,MAAM,uBAAuB,CAAC,OAAO,EAAE,GAAG,EAAE,IAAI,CAAC,CAAC;IAC9D,CAAC;IAAC,OAAO,GAAG,EAAE,CAAC;QACb,GAAG,CAAC,IAAI,CAAC,+DAA+D,OAAO,KAAM,GAAa,CAAC,OAAO,EAAE,CAAC,CAAC;IAChH,CAAC;IACD,IAAI,OAAO,KAAK,IAAI,EAAE,CAAC;QACrB,MAAM,IAAI,CAAC,cAAc,CAAC,OAAO,EAAE,GAAG,CAAC,CAAC;QACxC,OAAO;IACT,CAAC;IACD,MAAM,IAAI,CAAC,cAAc,CAAC,OAAO,EAAE,GAAG,EAAE,OAAO,CAAC,CAAC;AACnD,CAAC"}

package/dist/completion/review-exit-deps.d.ts

@@ -15,7 +15,7 @@ import { type ReviewWindowCommit } from '../resolvers/shared/review-window-commi
 import { getActiveFocuses } from '../queries/focus-discovery.js';
 import { hasPendingSpawnDirective } from '../directive/directive-queue.js';
 import { emitLoopTrigger } from '../loops/index.js';
-import { getFocusDeliveries, getFocusIssues, clearReviewRequestedAt, setReviewedThroughSha, setReviewCycleCount, setReviewHandoffCount, getFocusReviewReportForSession, getFocusReviewFiledIssueIds } from '../queries/focuses.js';
+import { getFocusDeliveries, getFocusIssues, clearReviewRequestedAt, setReviewCycleCount, setReviewHandoffCount, getFocusReviewReportForSession, getFocusReviewFiledIssueIds } from '../queries/focuses.js';
 import { resolveReviewCycleCap, resolveReviewHandoffCap } from '../verify/stall-detector-config.js';
 import { getDeliveryIssues, rehomeIssueToDelivery } from '../queries/issues.js';
 import { createEscalation, hasOpenFocusEscalation, hasOpenEscalationForDelivery } from '../queries/escalations.js';
@@ -41,7 +41,20 @@ export interface ReviewExitDeps {
     clearReviewRequestedAt: typeof clearReviewRequestedAt;
     fileReworkForFailedVerdict?: (focusId: string, verdict: FailedGateVerdict) => Promise<number>;
     clearPendingReviewDirective?: (focusId: string) => boolean;
-    setReviewedThroughSha: typeof setReviewedThroughSha;
+    /**
+     * Record that this review pass covered a commit. The PRODUCTION binding is
+     * `stampReviewCoverage` (review-coverage-shas.ts), not the bare query: it
+     * writes the watermark AND the delivery merge commits git proves that commit
+     * covers, in one call.
+     *
+     * Declared at the ARITY THE PHASE USES (focusId, sha) rather than as
+     * `typeof setReviewedThroughSha`: what the exit knows is "this review covered
+     * this commit", and how much of the range the binding manages to record with
+     * it is the binding's business, not a decision the routing tree makes. Both
+     * the bare query and the coverage stamp satisfy it, as does a two-argument
+     * test stub.
+     */
+    setReviewedThroughSha: (focusId: string, sha: string) => Promise<void>;
     setReviewCycleCount?: typeof setReviewCycleCount;
     resolveReviewCycleCap?: typeof resolveReviewCycleCap;
     setReviewHandoffCount?: typeof setReviewHandoffCount;

package/dist/completion/review-exit-deps.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"review-exit-deps.d.ts","sourceRoot":"","sources":["../../src/completion/review-exit-deps.ts"],"names":[],"mappings":"AAIA;;;;;;;;;;GAUG;AAEH,OAAO,EAAE,sBAAsB,EAAE,MAAM,yBAAyB,CAAC;AACjE,OAAO,EAAE,oBAAoB,EAAE,wBAAwB,EAAsB,gBAAgB,EAAE,MAAM,0BAA0B,CAAC;AAEhI,OAAO,EAA6C,KAAK,kBAAkB,EAAE,MAAM,8CAA8C,CAAC;AAClI,OAAO,EAAE,gBAAgB,EAAE,MAAM,+BAA+B,CAAC;AACjE,OAAO,EAA+B,wBAAwB,EAAE,MAAM,iCAAiC,CAAC;AACxG,OAAO,EAAE,eAAe,EAAE,MAAM,mBAAmB,CAAC;AACpD,OAAO,EACL,kBAAkB,EAClB,cAAc,EACd,sBAAsB,EACtB,qBAAqB,EACrB,mBAAmB,EACnB,qBAAqB,EACrB,8BAA8B,EAC9B,2BAA2B,EAC5B,MAAM,uBAAuB,CAAC;AAC/B,OAAO,EAAE,qBAAqB,EAAE,uBAAuB,EAAE,MAAM,oCAAoC,CAAC;AACpG,OAAO,EAAE,iBAAiB,EAAE,qBAAqB,EAAE,MAAM,sBAAsB,CAAC;AAChF,OAAO,EAAE,gBAAgB,EAAE,sBAAsB,EAAE,4BAA4B,EAAuE,MAAM,2BAA2B,CAAC;AACxL,OAAO,EAAE,+BAA+B,EAAE,MAAM,qBAAqB,CAAC;AACtE,OAAO,EAAE,4BAA4B,EAAE,MAAM,4BAA4B,CAAC;AAE1E,OAAO,KAAK,EAAE,qBAAqB,EAAE,iBAAiB,EAAE,MAAM,+BAA+B,CAAC;AAC9F,OAAO,EAA2B,KAAK,kBAAkB,EAAE,MAAM,kCAAkC,CAAC;AACpG,OAAO,EAAqB,KAAK,YAAY,EAAE,MAAM,2BAA2B,CAAC;AAGjF;;;GAGG;AACH,MAAM,WAAW,cAAc;IAC7B,gBAAgB,EAAE,OAAO,gBAAgB,CAAC;IAC1C,kBAAkB,EAAE,OAAO,kBAAkB,CAAC;IAC9C,cAAc,EAAE,OAAO,cAAc,CAAC;IACtC,iBAAiB,EAAE,OAAO,iBAAiB,CAAC;IAC5C,sBAAsB,EAAE,OAAO,sBAAsB,CAAC;IACtD,oBAAoB,EAAE,OAAO,oBAAoB,CAAC;IAClD,wBAAwB,EAAE,OAAO,wBAAwB,CAAC;IAO1D,wBAAwB,CAAC,EAAE,CAAC,QAAQ,EAAE,kBAAkB,KAAK,OAAO,CAAC;IAIrE,kBAAkB,CAAC,EAAE,CAAC,MAAM,EAAE,YAAY,KAAK,OAAO,CAAC;IACvD,sBAAsB,EAAE,OAAO,sBAAsB,CAAC;IAGtD,0BAA0B,CAAC,EAAE,CAAC,OAAO,EAAE,MAAM,EAAE,OAAO,EAAE,iBAAiB,KAAK,OAAO,CAAC,MAAM,CAAC,CAAC;IAE9F,2BAA2B,CAAC,EAAE,CAAC,OAAO,EAAE,MAAM,KAAK,OAAO,CAAC;IAC3D,qBAAqB,EAAE,OAAO,qBAAqB,CAAC;IAIpD,mBAAmB,CAAC,EAAE,OAAO,mBAAmB,CAAC;IACjD,qBAAqB,CAAC,EAAE,OAAO,qBAAqB,CAAC;IAKrD,qBAAqB,CAAC,EAAE,OAAO,qBAAqB,CAAC;IACrD,uBAAuB,CAAC,EAAE,OAAO,uBAAuB,CAAC;IAKzD,2BAA2B,CAAC,EAAE,CAAC,OAAO,EAAE,MAAM,EAAE,KAAK,EAAE,MAAM,KAAK,OAAO,CAAC,MAAM,CAAC,CAAC;IAKlF,gCAAgC,CAAC,EAAE,CAAC,OAAO,EAAE,MAAM,EAAE,KAAK,EAAE,MAAM,KAAK,OAAO,CAAC,MAAM,CAAC,CAAC;IAGvF,sBAAsB,CAAC,EAAE,OAAO,sBAAsB,CAAC;IAKvD,4BAA4B,CAAC,EAAE,OAAO,4BAA4B,CAAC;IAMnE,+BAA+B,CAAC,EAAE,OAAO,+BAA+B,CAAC;IAOzE,sBAAsB,CAAC,EAAE,qBAAqB,CAAC,wBAAwB,CAAC,CAAC;IACzE,iBAAiB,CAAC,EAAE,qBAAqB,CAAC,mBAAmB,CAAC,CAAC;IAC/D,mBAAmB,CAAC,EAAE,qBAAqB,CAAC,qBAAqB,CAAC,CAAC;IACnE,iBAAiB,CAAC,EAAE,qBAAqB,CAAC,mBAAmB,CAAC,CAAC;IAE/D,uBAAuB,CAAC,EAAE,qBAAqB,CAAC,yBAAyB,CAAC,CAAC;IAG3E,iBAAiB,CAAC,EAAE,qBAAqB,CAAC,mBAAmB,CAAC,CAAC;IAK/D,qBAAqB,CAAC,EAAE,OAAO,qBAAqB,CAAC;IAQrD,uBAAuB,CAAC,EAAE,CAAC,OAAO,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,EAAE,GAAG,EAAE,MAAM,KAAK,SAAS,kBAAkB,EAAE,GAAG,IAAI,CAAC;IAC/G,UAAU,CAAC,EAAE,CAAC,OAAO,EAAE,MAAM,EAAE,GAAG,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,EAAE,KAAK,EAAE,MAAM,EAAE,GAAG,EAAE,MAAM,KAAK,SAAS,MAAM,EAAE,GAAG,IAAI,CAAC;IAClH,sBAAsB,CAAC,EAAE,CAAC,UAAU,EAAE,MAAM,KAAK,OAAO,CAAC,MAAM,GAAG,IAAI,CAAC,CAAC;IACxE,gBAAgB,CAAC,EAAE,OAAO,gBAAgB,CAAC;IAC3C,4BAA4B,CAAC,EAAE,OAAO,4BAA4B,CAAC;IACnE,wBAAwB,EAAE,OAAO,wBAAwB,CAAC;IAC1D,eAAe,EAAE,OAAO,eAAe,CAAC;IACxC,8BAA8B,EAAE,OAAO,8BAA8B,CAAC;IAMtE,2BAA2B,CAAC,EAAE,OAAO,2BAA2B,CAAC;IACjE,gBAAgB,EAAE,OAAO,gBAAgB,CAAC;CAC3C;AAED,eAAO,MAAM,qBAAqB,EAAE,cA0CnC,CAAC"}
+{"version":3,"file":"review-exit-deps.d.ts","sourceRoot":"","sources":["../../src/completion/review-exit-deps.ts"],"names":[],"mappings":"AAKA;;;;;;;;;;GAUG;AAEH,OAAO,EAAE,sBAAsB,EAAE,MAAM,yBAAyB,CAAC;AACjE,OAAO,EAAE,oBAAoB,EAAE,wBAAwB,EAAsB,gBAAgB,EAAE,MAAM,0BAA0B,CAAC;AAEhI,OAAO,EAA6C,KAAK,kBAAkB,EAAE,MAAM,8CAA8C,CAAC;AAClI,OAAO,EAAE,gBAAgB,EAAE,MAAM,+BAA+B,CAAC;AACjE,OAAO,EAA+B,wBAAwB,EAAE,MAAM,iCAAiC,CAAC;AACxG,OAAO,EAAE,eAAe,EAAE,MAAM,mBAAmB,CAAC;AACpD,OAAO,EACL,kBAAkB,EAClB,cAAc,EACd,sBAAsB,EACtB,mBAAmB,EACnB,qBAAqB,EACrB,8BAA8B,EAC9B,2BAA2B,EAC5B,MAAM,uBAAuB,CAAC;AAC/B,OAAO,EAAE,qBAAqB,EAAE,uBAAuB,EAAE,MAAM,oCAAoC,CAAC;AACpG,OAAO,EAAE,iBAAiB,EAAE,qBAAqB,EAAE,MAAM,sBAAsB,CAAC;AAChF,OAAO,EAAE,gBAAgB,EAAE,sBAAsB,EAAE,4BAA4B,EAAuE,MAAM,2BAA2B,CAAC;AACxL,OAAO,EAAE,+BAA+B,EAAE,MAAM,qBAAqB,CAAC;AACtE,OAAO,EAAE,4BAA4B,EAAE,MAAM,4BAA4B,CAAC;AAE1E,OAAO,KAAK,EAAE,qBAAqB,EAAE,iBAAiB,EAAE,MAAM,+BAA+B,CAAC;AAE9F,OAAO,EAA2B,KAAK,kBAAkB,EAAE,MAAM,kCAAkC,CAAC;AACpG,OAAO,EAAqB,KAAK,YAAY,EAAE,MAAM,2BAA2B,CAAC;AAGjF;;;GAGG;AACH,MAAM,WAAW,cAAc;IAC7B,gBAAgB,EAAE,OAAO,gBAAgB,CAAC;IAC1C,kBAAkB,EAAE,OAAO,kBAAkB,CAAC;IAC9C,cAAc,EAAE,OAAO,cAAc,CAAC;IACtC,iBAAiB,EAAE,OAAO,iBAAiB,CAAC;IAC5C,sBAAsB,EAAE,OAAO,sBAAsB,CAAC;IACtD,oBAAoB,EAAE,OAAO,oBAAoB,CAAC;IAClD,wBAAwB,EAAE,OAAO,wBAAwB,CAAC;IAO1D,wBAAwB,CAAC,EAAE,CAAC,QAAQ,EAAE,kBAAkB,KAAK,OAAO,CAAC;IAIrE,kBAAkB,CAAC,EAAE,CAAC,MAAM,EAAE,YAAY,KAAK,OAAO,CAAC;IACvD,sBAAsB,EAAE,OAAO,sBAAsB,CAAC;IAGtD,0BAA0B,CAAC,EAAE,CAAC,OAAO,EAAE,MAAM,EAAE,OAAO,EAAE,iBAAiB,KAAK,OAAO,CAAC,MAAM,CAAC,CAAC;IAE9F,2BAA2B,CAAC,EAAE,CAAC,OAAO,EAAE,MAAM,KAAK,OAAO,CAAC;IAC3D;;;;;;;;;;;;OAYG;IACH,qBAAqB,EAAE,CAAC,OAAO,EAAE,MAAM,EAAE,GAAG,EAAE,MAAM,KAAK,OAAO,CAAC,IAAI,CAAC,CAAC;IAIvE,mBAAmB,CAAC,EAAE,OAAO,mBAAmB,CAAC;IACjD,qBAAqB,CAAC,EAAE,OAAO,qBAAqB,CAAC;IAKrD,qBAAqB,CAAC,EAAE,OAAO,qBAAqB,CAAC;IACrD,uBAAuB,CAAC,EAAE,OAAO,uBAAuB,CAAC;IAKzD,2BAA2B,CAAC,EAAE,CAAC,OAAO,EAAE,MAAM,EAAE,KAAK,EAAE,MAAM,KAAK,OAAO,CAAC,MAAM,CAAC,CAAC;IAKlF,gCAAgC,CAAC,EAAE,CAAC,OAAO,EAAE,MAAM,EAAE,KAAK,EAAE,MAAM,KAAK,OAAO,CAAC,MAAM,CAAC,CAAC;IAGvF,sBAAsB,CAAC,EAAE,OAAO,sBAAsB,CAAC;IAKvD,4BAA4B,CAAC,EAAE,OAAO,4BAA4B,CAAC;IAMnE,+BAA+B,CAAC,EAAE,OAAO,+BAA+B,CAAC;IAOzE,sBAAsB,CAAC,EAAE,qBAAqB,CAAC,wBAAwB,CAAC,CAAC;IACzE,iBAAiB,CAAC,EAAE,qBAAqB,CAAC,mBAAmB,CAAC,CAAC;IAC/D,mBAAmB,CAAC,EAAE,qBAAqB,CAAC,qBAAqB,CAAC,CAAC;IACnE,iBAAiB,CAAC,EAAE,qBAAqB,CAAC,mBAAmB,CAAC,CAAC;IAE/D,uBAAuB,CAAC,EAAE,qBAAqB,CAAC,yBAAyB,CAAC,CAAC;IAG3E,iBAAiB,CAAC,EAAE,qBAAqB,CAAC,mBAAmB,CAAC,CAAC;IAK/D,qBAAqB,CAAC,EAAE,OAAO,qBAAqB,CAAC;IAQrD,uBAAuB,CAAC,EAAE,CAAC,OAAO,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,EAAE,GAAG,EAAE,MAAM,KAAK,SAAS,kBAAkB,EAAE,GAAG,IAAI,CAAC;IAC/G,UAAU,CAAC,EAAE,CAAC,OAAO,EAAE,MAAM,EAAE,GAAG,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,EAAE,KAAK,EAAE,MAAM,EAAE,GAAG,EAAE,MAAM,KAAK,SAAS,MAAM,EAAE,GAAG,IAAI,CAAC;IAClH,sBAAsB,CAAC,EAAE,CAAC,UAAU,EAAE,MAAM,KAAK,OAAO,CAAC,MAAM,GAAG,IAAI,CAAC,CAAC;IACxE,gBAAgB,CAAC,EAAE,OAAO,gBAAgB,CAAC;IAC3C,4BAA4B,CAAC,EAAE,OAAO,4BAA4B,CAAC;IACnE,wBAAwB,EAAE,OAAO,wBAAwB,CAAC;IAC1D,eAAe,EAAE,OAAO,eAAe,CAAC;IACxC,8BAA8B,EAAE,OAAO,8BAA8B,CAAC;IAMtE,2BAA2B,CAAC,EAAE,OAAO,2BAA2B,CAAC;IACjE,gBAAgB,EAAE,OAAO,gBAAgB,CAAC;CAC3C;AAED,eAAO,MAAM,qBAAqB,EAAE,cA8CnC,CAAC"}