@telora/daemon 0.22.137 → 0.22.146

package/dist/resolvers/focus-criteria-standing.js

@@ -0,0 +1,234 @@
+// PINNED-BY-BEGIN (generated by gen:pinned-by -- do not hand-edit; checked by lint:pinned-by)
+// Pinned by: packages/daemon/src/resolvers/focus-criteria-standing.test.ts
+// PINNED-BY-END
+/**
+ * focus.criteria_standing
+ *
+ * The focus's OWN declared acceptance criteria, each stated with whether a
+ * current delivery addresses it (and which), plus the STATED FLOOR and the
+ * basis that floor rests on.
+ *
+ * WHY A SCOPING PASS NEEDS THIS. An audit pass reads the branch, finds facts,
+ * and anchors remediation deliveries. Nothing in that loop ever asks what the
+ * focus SAID IT WAS FOR, so the elaboration has no condition under which it
+ * stops: a focus can triple its delivery count while its declared criteria sit
+ * close to met, because no step measures them. `acceptance_criteria` had a
+ * single reader in the whole repo, and only at the instant a review lands
+ * approved -- which is to say, never at the moment scoping decides to cut
+ * another delivery. This section is that measurement, in front of the pass,
+ * between reviews, with no review having to run.
+ *
+ * WHAT THE FLOOR IS AND IS NOT. `floorReached` says every declared criterion
+ * has at least one delivery pointing at it. It does NOT say the work is
+ * correct, complete or good -- satisfaction is a REVIEW act under separation of
+ * duties. The distinction is carried into the rendered prose, because a pass
+ * that reads "floor reached" as "the focus is done" has been handed the wrong
+ * instrument.
+ *
+ * `no_criteria_declared` IS NOT A FLOOR. A focus that declared nothing has gone
+ * UNMEASURED, not arrived; the rendering says so in those words. Treating an
+ * empty criteria set as satisfied would hand a perfect score to exactly the
+ * focuses that declared nothing to be measured against.
+ *
+ * FAILS SOFT, NEVER SILENT. Every failure path renders an EXPLICIT failure
+ * line. An absent or empty section reads to the pass as "there is nothing left
+ * to address", i.e. as a floor -- the precise inversion this section exists to
+ * prevent -- so "returns ''" is a FAILING outcome for this resolver.
+ *
+ * NO MATCHING LOGIC LIVES HERE. The standing is computed by the shared composer
+ * `supabase/functions/_shared/focus-criteria-standing.ts` behind the `focus_criteria_standing`
+ * product-api action and read through `queries/focus-criteria-standing.ts`.
+ * This module renders it. A second matcher in the daemon would drift from the
+ * one a review verdicts with.
+ */
+import { registerSourceResolver } from './assembly-engine.js';
+import { createLogger } from '../shell/log.js';
+const log = createLogger({ module: 'assembly-engine' });
+/** Section heading, shared by the rendered standing and the failure line. */
+export const CRITERIA_STANDING_HEADING = '## Focus acceptance criteria standing (what did THIS focus declare it was for?)';
+/** The one-line disclaimer that keeps "addressed" from being read as "met". */
+const ADDRESSED_IS_NOT_MET = '**"Addressed" is not "met".** A criterion is addressed when a current delivery POINTS AT it; ' +
+    'whether the work satisfies it is a REVIEW judgement, not a computed one.';
+// ── Pure rendering ───────────────────────────────────────────────────
+/** The floor line: the verdict, the count behind it, and the basis it rests on. */
+function renderFloorLine(standing) {
+    const total = standing.criteria.length;
+    const open = standing.openCriteria.length;
+    if (standing.floorBasis === 'no_criteria_declared') {
+        return [
+            '**Floor: NOT REACHED -- this focus DECLARED NO acceptance criteria.** ' +
+                'Basis: `no_criteria_declared`.',
+            'An absent criteria set is UNMEASURED, not arrived. It is NOT a floor and must not be read ' +
+                'as one: nothing here states what this focus is for, so nothing here can tell you to stop.',
+        ];
+    }
+    if (standing.floorBasis === 'all_criteria_addressed') {
+        return [
+            `**Floor: REACHED -- all ${total} declared criteria are addressed by a current delivery.** ` +
+                'Basis: `all_criteria_addressed`.',
+        ];
+    }
+    return [
+        `**Floor: NOT REACHED -- ${open} of ${total} declared criteria are still OPEN.** ` +
+            'Basis: `open_criteria_remain`.',
+    ];
+}
+/** One criterion: its state, its verbatim text, and every delivery claiming it. */
+function renderCriterion(entry, index) {
+    const state = entry.status === 'addressed' ? 'ADDRESSED' : 'OPEN';
+    const lines = [`${index + 1}. **${state}** -- "${entry.criterion}"`];
+    for (const match of entry.addressedBy) {
+        lines.push(`   - addressed by **${match.deliveryName}** (\`${match.deliveryId}\`) -- ` +
+            `basis \`${match.matchBasis}\`, overlap ${match.overlap} ` +
+            `(${match.matchedTokens.length}/${match.significantTokenCount} significant tokens)`);
+    }
+    return lines;
+}
+/** The open set, echoed verbatim: this is the work the focus still owes. */
+function renderOpenPartition(openCriteria) {
+    const lines = [`### Still OPEN (${openCriteria.length}) -- the work that remains`, ''];
+    if (openCriteria.length === 0) {
+        lines.push('_None -- every declared criterion is addressed by a current delivery._');
+        return lines;
+    }
+    for (const criterion of openCriteria)
+        lines.push(`- "${criterion}"`);
+    return lines;
+}
+/** The scan bounds. An unreported or truncated scan is STATED, never assumed away. */
+function renderScanBasis(standing) {
+    const scan = standing.deliveryScan;
+    if (!scan) {
+        return [
+            '- The read did NOT report its delivery-scan bounds, so it is unknown whether every ' +
+                'delivery on this focus was considered. Treat an ADDRESSED criterion as the weaker claim.',
+        ];
+    }
+    if (scan.truncated) {
+        return [
+            `- The delivery scan was TRUNCATED at its bound of ${scan.limit} (${scan.evaluated} ` +
+                'deliveries evaluated). Unseen deliveries can only ADD matches, so an OPEN criterion ' +
+                'here may be a false open -- but a REACHED floor is still sound.',
+        ];
+    }
+    return [
+        `- Measured against ${scan.evaluated} current non-cancelled deliveries ` +
+            `(scan bound ${scan.limit}, not reached).`,
+    ];
+}
+/** The closing reading rule. The full instruction lives in the audit prompt. */
+const READING_RULE = [
+    '**How to read this.** Before you anchor anything, ask what is left to address. An OPEN',
+    'criterion IS the work that remains -- anchor against it by name. When every criterion is',
+    'addressed, the focus has reached its STATED FLOOR: anchor nothing further unless you have a',
+    'genuinely new root cause, and say in your audit summary that the floor is reached.',
+];
+/** Render the standing. Never returns an empty string. */
+export function renderFocusCriteriaStanding(standing) {
+    const lines = [
+        CRITERIA_STANDING_HEADING,
+        '',
+        ...renderFloorLine(standing),
+        '',
+        ADDRESSED_IS_NOT_MET,
+        '',
+        ...renderScanBasis(standing),
+        '',
+    ];
+    if (standing.criteria.length === 0) {
+        lines.push('_This focus declared no acceptance criteria, so there are none to list._');
+        return lines.join('\n');
+    }
+    lines.push(`### Declared criteria (${standing.criteria.length})`, '');
+    standing.criteria.forEach((entry, i) => lines.push(...renderCriterion(entry, i)));
+    lines.push('', ...renderOpenPartition(standing.openCriteria), '', ...READING_RULE);
+    return lines.join('\n');
+}
+/**
+ * Render the EXPLICIT failure line. Rendered instead of nothing on every read
+ * failure, because an absent section reads as "there is nothing left to
+ * address" -- a floor nobody measured.
+ */
+export function renderFocusCriteriaStandingFailure(reason) {
+    return [
+        CRITERIA_STANDING_HEADING,
+        '',
+        '**READ FAILED -- this focus\'s criteria standing is UNKNOWN.**',
+        `Reason: ${reason}`,
+        '',
+        'This section could not be computed, which is NOT the same as "every declared criterion is',
+        'addressed". You have NO floor here: do not conclude the focus has reached one, and do not',
+        'treat the silence as licence to anchor freely either. Judge each candidate on the tree\'s',
+        'own evidence, anchor only a genuinely new root cause, and record in your audit summary that',
+        'the criteria standing was unreadable on this pass.',
+    ].join('\n');
+}
+/**
+ * The real read.
+ *
+ * `queries/focus-criteria-standing.js` is reached through a DEFERRED dynamic
+ * import, not a static one (the type import above erases). A static import
+ * would put it -- and its `queries/shared.js` + zod chain -- in the module
+ * graph of `resolvers/index.js`, which several resolver tests load while
+ * holding a PARTIAL `mock.module` over `queries/shared.js`; under the tsx mock
+ * loader a partial namespace makes every unlisted export (here
+ * `callApiValidated`) a load-time SyntaxError for anything importing it, and
+ * ten unrelated resolver test files go red. Deferring keeps that chain out of
+ * every test that does not actually run this resolver -- the documented escape
+ * (packages/daemon/CLAUDE.md on the mock-loader quirk; same move in
+ * `focus-review-coverage.ts` and `listener-auto-advance.ts`).
+ */
+async function readCriteriaStanding(focusId) {
+    const { getFocusCriteriaStanding } = await import('../queries/focus-criteria-standing.js');
+    return getFocusCriteriaStanding(focusId);
+}
+const defaultDeps = {
+    getStanding: readCriteriaStanding,
+};
+/**
+ * A standing whose own fields disagree is not a reading, and the direction that
+ * matters is one-way: a `floorReached: true` that arrives alongside open
+ * criteria (or no criteria at all) would render a FALSE FLOOR, which is silent
+ * and unrecoverable for the pass. Returns the contradiction to report, or null.
+ */
+function describeContradiction(standing) {
+    const floorClaimed = standing.floorReached || standing.floorBasis === 'all_criteria_addressed';
+    if (!floorClaimed)
+        return null;
+    if (standing.floorReached !== (standing.floorBasis === 'all_criteria_addressed')) {
+        return `floorReached=${standing.floorReached} contradicts floorBasis='${standing.floorBasis}'`;
+    }
+    if (standing.openCriteria.length > 0) {
+        return `the floor is reported as reached while ${standing.openCriteria.length} criteria are open`;
+    }
+    if (standing.criteria.length === 0) {
+        return 'the floor is reported as reached over an EMPTY criteria set';
+    }
+    return null;
+}
+/**
+ * Resolve the section. Exported (with an injectable deps seam) so tests drive
+ * it without registering a module mock.
+ */
+export async function resolveFocusCriteriaStanding(context, deps = defaultDeps) {
+    let standing;
+    try {
+        standing = await deps.getStanding(context.focusId);
+    }
+    catch (err) {
+        const message = err.message;
+        log.warn(`focus.criteria_standing: read failed: ${message}`);
+        return renderFocusCriteriaStandingFailure(`the criteria-standing read failed (${message})`);
+    }
+    const contradiction = describeContradiction(standing);
+    if (contradiction !== null) {
+        log.warn(`focus.criteria_standing: inconsistent standing: ${contradiction}`);
+        return renderFocusCriteriaStandingFailure(`the read contradicted itself (${contradiction}), so no floor can be stated from it`);
+    }
+    return renderFocusCriteriaStanding(standing);
+}
+/** Register this module's resolver(s). Called from initResolvers() -- not an import side effect. */
+export function registerFocusCriteriaStandingResolver() {
+    registerSourceResolver('focus.criteria_standing', async (context) => resolveFocusCriteriaStanding(context));
+}
+//# sourceMappingURL=focus-criteria-standing.js.map

package/dist/resolvers/focus-criteria-standing.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"focus-criteria-standing.js","sourceRoot":"","sources":["../../src/resolvers/focus-criteria-standing.ts"],"names":[],"mappings":"AAAA,8FAA8F;AAC9F,2EAA2E;AAC3E,gBAAgB;AAEhB;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAuCG;AAEH,OAAO,EAAE,sBAAsB,EAAE,MAAM,sBAAsB,CAAC;AAM9D,OAAO,EAAE,YAAY,EAAE,MAAM,iBAAiB,CAAC;AAE/C,MAAM,GAAG,GAAG,YAAY,CAAC,EAAE,MAAM,EAAE,iBAAiB,EAAE,CAAC,CAAC;AAExD,6EAA6E;AAC7E,MAAM,CAAC,MAAM,yBAAyB,GACpC,iFAAiF,CAAC;AAEpF,+EAA+E;AAC/E,MAAM,oBAAoB,GACxB,+FAA+F;IAC/F,0EAA0E,CAAC;AAE7E,wEAAwE;AAExE,mFAAmF;AACnF,SAAS,eAAe,CAAC,QAA+B;IACtD,MAAM,KAAK,GAAG,QAAQ,CAAC,QAAQ,CAAC,MAAM,CAAC;IACvC,MAAM,IAAI,GAAG,QAAQ,CAAC,YAAY,CAAC,MAAM,CAAC;IAC1C,IAAI,QAAQ,CAAC,UAAU,KAAK,sBAAsB,EAAE,CAAC;QACnD,OAAO;YACL,wEAAwE;gBACtE,gCAAgC;YAClC,4FAA4F;gBAC1F,2FAA2F;SAC9F,CAAC;IACJ,CAAC;IACD,IAAI,QAAQ,CAAC,UAAU,KAAK,wBAAwB,EAAE,CAAC;QACrD,OAAO;YACL,2BAA2B,KAAK,4DAA4D;gBAC1F,kCAAkC;SACrC,CAAC;IACJ,CAAC;IACD,OAAO;QACL,2BAA2B,IAAI,OAAO,KAAK,uCAAuC;YAChF,gCAAgC;KACnC,CAAC;AACJ,CAAC;AAED,mFAAmF;AACnF,SAAS,eAAe,CAAC,KAAwB,EAAE,KAAa;IAC9D,MAAM,KAAK,GAAG,KAAK,CAAC,MAAM,KAAK,WAAW,CAAC,CAAC,CAAC,WAAW,CAAC,CAAC,CAAC,MAAM,CAAC;IAClE,MAAM,KAAK,GAAG,CAAC,GAAG,KAAK,GAAG,CAAC,OAAO,KAAK,UAAU,KAAK,CAAC,SAAS,GAAG,CAAC,CAAC;IACrE,KAAK,MAAM,KAAK,IAAI,KAAK,CAAC,WAAW,EAAE,CAAC;QACtC,KAAK,CAAC,IAAI,CACR,uBAAuB,KAAK,CAAC,YAAY,SAAS,KAAK,CAAC,UAAU,SAAS;YACzE,WAAW,KAAK,CAAC,UAAU,eAAe,KAAK,CAAC,OAAO,GAAG;YAC1D,IAAI,KAAK,CAAC,aAAa,CAAC,MAAM,IAAI,KAAK,CAAC,qBAAqB,sBAAsB,CACtF,CAAC;IACJ,CAAC;IACD,OAAO,KAAK,CAAC;AACf,CAAC;AAED,4EAA4E;AAC5E,SAAS,mBAAmB,CAAC,YAA+B;IAC1D,MAAM,KAAK,GAAG,CAAC,mBAAmB,YAAY,CAAC,MAAM,4BAA4B,EAAE,EAAE,CAAC,CAAC;IACvF,IAAI,YAAY,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QAC9B,KAAK,CAAC,IAAI,CAAC,wEAAwE,CAAC,CAAC;QACrF,OAAO,KAAK,CAAC;IACf,CAAC;IACD,KAAK,MAAM,SAAS,IAAI,YAAY;QAAE,KAAK,CAAC,IAAI,CAAC,MAAM,SAAS,GAAG,CAAC,CAAC;IACrE,OAAO,KAAK,CAAC;AACf,CAAC;AAED,sFAAsF;AACtF,SAAS,eAAe,CAAC,QAA+B;IACtD,MAAM,IAAI,GAAG,QAAQ,CAAC,YAAY,CAAC;IACnC,IAAI,CAAC,IAAI,EAAE,CAAC;QACV,OAAO;YACL,qFAAqF;gBACnF,0FAA0F;SAC7F,CAAC;IACJ,CAAC;IACD,IAAI,IAAI,CAAC,SAAS,EAAE,CAAC;QACnB,OAAO;YACL,qDAAqD,IAAI,CAAC,KAAK,KAAK,IAAI,CAAC,SAAS,GAAG;gBACnF,sFAAsF;gBACtF,iEAAiE;SACpE,CAAC;IACJ,CAAC;IACD,OAAO;QACL,sBAAsB,IAAI,CAAC,SAAS,oCAAoC;YACtE,eAAe,IAAI,CAAC,KAAK,iBAAiB;KAC7C,CAAC;AACJ,CAAC;AAED,gFAAgF;AAChF,MAAM,YAAY,GAAsB;IACtC,wFAAwF;IACxF,0FAA0F;IAC1F,6FAA6F;IAC7F,oFAAoF;CACrF,CAAC;AAEF,0DAA0D;AAC1D,MAAM,UAAU,2BAA2B,CAAC,QAA+B;IACzE,MAAM,KAAK,GAAa;QACtB,yBAAyB;QACzB,EAAE;QACF,GAAG,eAAe,CAAC,QAAQ,CAAC;QAC5B,EAAE;QACF,oBAAoB;QACpB,EAAE;QACF,GAAG,eAAe,CAAC,QAAQ,CAAC;QAC5B,EAAE;KACH,CAAC;IACF,IAAI,QAAQ,CAAC,QAAQ,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QACnC,KAAK,CAAC,IAAI,CAAC,0EAA0E,CAAC,CAAC;QACvF,OAAO,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC1B,CAAC;IACD,KAAK,CAAC,IAAI,CAAC,0BAA0B,QAAQ,CAAC,QAAQ,CAAC,MAAM,GAAG,EAAE,EAAE,CAAC,CAAC;IACtE,QAAQ,CAAC,QAAQ,CAAC,OAAO,CAAC,CAAC,KAAK,EAAE,CAAC,EAAE,EAAE,CAAC,KAAK,CAAC,IAAI,CAAC,GAAG,eAAe,CAAC,KAAK,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC;IAClF,KAAK,CAAC,IAAI,CAAC,EAAE,EAAE,GAAG,mBAAmB,CAAC,QAAQ,CAAC,YAAY,CAAC,EAAE,EAAE,EAAE,GAAG,YAAY,CAAC,CAAC;IACnF,OAAO,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;AAC1B,CAAC;AAED;;;;GAIG;AACH,MAAM,UAAU,kCAAkC,CAAC,MAAc;IAC/D,OAAO;QACL,yBAAyB;QACzB,EAAE;QACF,gEAAgE;QAChE,WAAW,MAAM,EAAE;QACnB,EAAE;QACF,2FAA2F;QAC3F,2FAA2F;QAC3F,2FAA2F;QAC3F,6FAA6F;QAC7F,oDAAoD;KACrD,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;AACf,CAAC;AASD;;;;;;;;;;;;;;GAcG;AACH,KAAK,UAAU,oBAAoB,CAAC,OAAe;IACjD,MAAM,EAAE,wBAAwB,EAAE,GAAG,MAAM,MAAM,CAAC,uCAAuC,CAAC,CAAC;IAC3F,OAAO,wBAAwB,CAAC,OAAO,CAAC,CAAC;AAC3C,CAAC;AAED,MAAM,WAAW,GAAsC;IACrD,WAAW,EAAE,oBAAoB;CAClC,CAAC;AAEF;;;;;GAKG;AACH,SAAS,qBAAqB,CAAC,QAA+B;IAC5D,MAAM,YAAY,GAAG,QAAQ,CAAC,YAAY,IAAI,QAAQ,CAAC,UAAU,KAAK,wBAAwB,CAAC;IAC/F,IAAI,CAAC,YAAY;QAAE,OAAO,IAAI,CAAC;IAC/B,IAAI,QAAQ,CAAC,YAAY,KAAK,CAAC,QAAQ,CAAC,UAAU,KAAK,wBAAwB,CAAC,EAAE,CAAC;QACjF,OAAO,gBAAgB,QAAQ,CAAC,YAAY,4BAA4B,QAAQ,CAAC,UAAU,GAAG,CAAC;IACjG,CAAC;IACD,IAAI,QAAQ,CAAC,YAAY,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACrC,OAAO,0CAA0C,QAAQ,CAAC,YAAY,CAAC,MAAM,oBAAoB,CAAC;IACpG,CAAC;IACD,IAAI,QAAQ,CAAC,QAAQ,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QACnC,OAAO,6DAA6D,CAAC;IACvE,CAAC;IACD,OAAO,IAAI,CAAC;AACd,CAAC;AAED;;;GAGG;AACH,MAAM,CAAC,KAAK,UAAU,4BAA4B,CAChD,OAAwB,EACxB,OAA0C,WAAW;IAErD,IAAI,QAA+B,CAAC;IACpC,IAAI,CAAC;QACH,QAAQ,GAAG,MAAM,IAAI,CAAC,WAAW,CAAC,OAAO,CAAC,OAAO,CAAC,CAAC;IACrD,CAAC;IAAC,OAAO,GAAG,EAAE,CAAC;QACb,MAAM,OAAO,GAAI,GAAa,CAAC,OAAO,CAAC;QACvC,GAAG,CAAC,IAAI,CAAC,yCAAyC,OAAO,EAAE,CAAC,CAAC;QAC7D,OAAO,kCAAkC,CAAC,sCAAsC,OAAO,GAAG,CAAC,CAAC;IAC9F,CAAC;IAED,MAAM,aAAa,GAAG,qBAAqB,CAAC,QAAQ,CAAC,CAAC;IACtD,IAAI,aAAa,KAAK,IAAI,EAAE,CAAC;QAC3B,GAAG,CAAC,IAAI,CAAC,mDAAmD,aAAa,EAAE,CAAC,CAAC;QAC7E,OAAO,kCAAkC,CACvC,iCAAiC,aAAa,sCAAsC,CACrF,CAAC;IACJ,CAAC;IACD,OAAO,2BAA2B,CAAC,QAAQ,CAAC,CAAC;AAC/C,CAAC;AAED,oGAAoG;AACpG,MAAM,UAAU,qCAAqC;IACnD,sBAAsB,CAAC,yBAAyB,EAAE,KAAK,EAAE,OAAwB,EAAmB,EAAE,CACpG,4BAA4B,CAAC,OAAO,CAAC,CAAC,CAAC;AAC3C,CAAC"}

package/dist/resolvers/focus-review-coverage.d.ts

@@ -0,0 +1,189 @@
+import type { AssemblyContext } from './assembly-engine.js';
+import { type BlameRange, type RawCommitFact } from './shared/branch-fact-provenance.js';
+import { type DeliveryReviewCoverage, type DeliveryReviewCoverageReason } from '../delivery/delivery-review-coverage.js';
+import type { FocusDeliveryInfo } from '../types/focus.js';
+/**
+ * focus.review_coverage
+ *
+ * The focus's deliveries PARTITIONED BY REVIEW STATE -- reviewed, unreviewed,
+ * no-work-yet -- each named with its injection anchor, and the whole reading
+ * carrying the basis it stands on (the coverage watermark and the last
+ * completed review's completion time).
+ *
+ * WHY A SCOPING PASS NEEDS THIS. An audit pass reads the focus branch and sees
+ * FACTS: files, behaviours, commits. Round 5 of its prompt then anchors one
+ * remediation delivery per injection. Without this section the pass cannot tell
+ * whether a fact it just observed came from a delivery a reviewer has looked at
+ * or from one still in flight -- so residue of unreviewed work gets anchored as
+ * a fresh sibling and the focus grows a backlog with no floor: it re-opens on
+ * new work while the pass that produced the work is never judged.
+ *
+ * AND THE JOIN, NOT JUST THE PARTITION. A partition of DELIVERIES sitting beside
+ * a diff of CHANGES leaves the pass to work out which delivery produced which
+ * hunk -- the very inference this section exists to remove. So the reading also
+ * carries a FACT-LEVEL provenance mapping (commit -> delivery -> review state,
+ * and file -> the delivery or deliveries that touched it), built from the
+ * durable `Telora-Delivery` trailer by
+ * `resolvers/shared/branch-fact-provenance.ts`. A fact it cannot tie to one of
+ * this focus's deliveries is rendered UNATTRIBUTED and counted UNREVIEWED; it
+ * is never attributed on a guess.
+ *
+ * READ FROM THE REPOSITORY, NOT FROM A CHECKOUT. The branch reads resolve
+ * against `context.worktreePath` when the assembly has one and against
+ * `config.repoPath` otherwise. `git log <ref>` reads refs, not the working
+ * tree, so a focus with no live worktree -- the audit pass, which assembles
+ * with `worktreePath: null` -- still gets a real reading instead of a
+ * uniformly-pessimistic one that carries no information at all.
+ *
+ * FAILS SOFT, NEVER SILENT. Every failure path renders an EXPLICIT failure
+ * line. A silently absent section reads to the pass as "there is no unreviewed
+ * work here", which is the exact inversion this resolver exists to prevent.
+ *
+ * The classification rules are NOT re-derived here: they are
+ * `delivery/delivery-review-coverage.ts`, the Node mirror of the Deno module
+ * the product-api create gate runs, held in agreement by
+ * `delivery-review-coverage-parity.test.ts`. So the state this section reports
+ * is the same state that gate will enforce.
+ */
+/** Section heading, shared by the rendered reading and the failure line. */
+export declare const REVIEW_COVERAGE_HEADING = "## Delivery review coverage (has a reviewer seen this delivery's work?)";
+/** How the merge-commit half of the basis was resolved (or why it was not). */
+export type ShaCoverageResolution = 
+/** No completed review on the focus, so there is no range to resolve against. */
+'no_review_yet'
+/** Resolved against the watermark commit in the focus's repository. */
+ | 'resolved'
+/** Neither a worktree nor a repo path is available -- no repository to ask. */
+ | 'no_repo'
+/** The watermark commit does not resolve in the repository (unfetched, rewritten). */
+ | 'watermark_unresolvable';
+/** The stated basis a partition rests on. A partition without one is an assertion. */
+export interface ReviewCoverageBasis {
+    /** product_focuses.reviewed_through_sha, verbatim (null: no completed review). */
+    reviewedThroughSha: string | null;
+    /** completed_at of the most recent COMPLETED focus review (null: none). */
+    latestCompletedReviewAt: string | null;
+    /** How merge-commit coverage was resolved. */
+    shaResolution: ShaCoverageResolution;
+}
+/** One delivery, classified and labelled for rendering. */
+export interface ClassifiedDeliveryRow {
+    id: string;
+    name: string;
+    executionStatus: string | null;
+    coverage: DeliveryReviewCoverage;
+    reason: DeliveryReviewCoverageReason;
+    /** "injection #4 -- <statement>", the raw injection id, or null when unanchored. */
+    anchor: string | null;
+}
+/**
+ * Render the partitioned reading, with the fact-level provenance mapping
+ * appended. `provenance` is ALWAYS a rendered block -- the reading or the
+ * explicit NOT AVAILABLE line -- never an empty string, so the partition is
+ * never presented without saying how to join a fact to it.
+ */
+export declare function renderFocusReviewCoverage(rows: readonly ClassifiedDeliveryRow[], basis: ReviewCoverageBasis, provenance: string): string;
+/**
+ * Render the EXPLICIT failure line. Rendered instead of nothing on every read
+ * failure, because an absent section reads as "no unreviewed work".
+ */
+export declare function renderFocusReviewCoverageFailure(reason: string): string;
+/** Injected seams; the defaults are the real queries and a real git process. */
+export interface FocusReviewCoverageDeps {
+    getFocusDeliveries: (focusId: string) => Promise<FocusDeliveryInfo[]>;
+    /**
+     * The focus's coverage watermark AND its pinned git branch identity
+     * (`product_focuses.branch_name`). Both come off the same active-focus row,
+     * so they are read together rather than paid for twice. `branchName` is what
+     * lets the branch reads resolve without a checkout.
+     */
+    getReviewedThroughSha: (context: AssemblyContext) => Promise<{
+        found: boolean;
+        sha: string | null;
+        branchName: string | null;
+    }>;
+    getLatestCompletedReviewAt: (focusId: string) => Promise<string | null>;
+    getAnchorLabels: (injectionIds: string[]) => Promise<Map<string, string>>;
+    /** True iff `sha` is an ancestor of `tip` in `repoPath`. False when unreadable. */
+    isAncestor: (repoPath: string, sha: string, tip: string) => boolean;
+    /** True iff `sha` resolves to a commit in `repoPath`. */
+    commitResolves: (repoPath: string, sha: string) => boolean;
+    /**
+     * Does `ref` carry commits bearing this delivery's `Telora-Delivery`
+     * trailer? The BRANCH-DERIVED committed-work evidence the delivery row
+     * cannot carry: a fast-forward merge-back stamps no `merge_commit_sha`, and
+     * a cancelled delivery's commits sit on the branch with nothing on the row
+     * naming them. Without it a delivery holding real residue reads as
+     * `no_work_yet` and its residue escapes the hold entirely.
+     *
+     * Asked ONLY once the ref has been proved to resolve (`makeBranchWorkEvidence`),
+     * because the underlying trailer search swallows git errors as an empty set:
+     * a `false` from it against an unreadable ref would be indistinguishable
+     * from a real "searched, found none" -- and while neither answer releases
+     * anything any more, an unreadable ref must not be recorded as a SEARCHED
+     * branch either: the reading the daemon persists is the gate's only source
+     * of positive evidence, and overwriting real ids with an empty list because
+     * git could not be asked drops holds.
+     */
+    hasBranchCommits: (repoPath: string, ref: string, deliveryId: string) => boolean;
+    /**
+     * Every commit in `<base>..<ref>` with its trailer and touched paths -- the
+     * raw material of the fact-level provenance mapping. Null when git cannot
+     * read the window, which renders the explicit NOT AVAILABLE block rather
+     * than a silently absent mapping.
+     */
+    readBranchFacts: (repoPath: string, base: string, ref: string) => RawCommitFact[] | null;
+    /**
+     * One path's blame runs at the branch tip -- the LINE-grain read. Spent only
+     * on files more than one contributor touched, where the file row cannot say
+     * which produced a given line. Null when git cannot answer, which renders a
+     * DECLARED gap for that file rather than an absent one.
+     */
+    readBlameRanges: (repoPath: string, tip: string, path: string) => BlameRange[] | null;
+    /**
+     * Persist the delivery ids the branch search found commits for
+     * (`product_focuses.branch_work_delivery_ids`), so the product-api
+     * delivery-create residue gate -- which has no repository and cannot run
+     * this search -- enforces on the same evidence this reading shows the
+     * scoping pass. Called ONLY when the branch was actually read; see
+     * `makeBranchWorkEvidence`.
+     *
+     * The write is ADDITIVE at the gate: an id in the set makes a delivery
+     * work-bearing and therefore holdable, and an id NOT in the set releases
+     * nothing there. So a write that never lands costs holds, never grants
+     * them -- which is why there is no compensating retraction to pair with it
+     * (there used to be, and its unavailability in the one failure that needed
+     * it was the defect).
+     */
+    persistBranchWork: (focusId: string, deliveryIds: readonly string[]) => Promise<void>;
+}
+/**
+ * The PRODUCTION wiring: the real queries, a real git process, and the real
+ * evidence writes. Exported because the binding itself is a failure mode --
+ * swap `persistBranchWork` for a no-op and every behavioural test below stays
+ * green while the create gate goes blind -- so the cross-runtime seam test
+ * (`completion/review-coverage-seam.test.ts`) drives THESE, replacing only the
+ * DB reads and the transport under the production write.
+ */
+export declare const defaultFocusReviewCoverageDeps: FocusReviewCoverageDeps;
+/**
+ * WHERE the branch reads run and WHICH ref they read.
+ *
+ * `git log <ref>` / `merge-base --is-ancestor` read REFS, not a working tree,
+ * so an assembly with no worktree (the audit pass) can still read the focus's
+ * branch out of the daemon's main repository. The ref is the focus's pinned
+ * `branch_name` when it has one; with a worktree and no pinned name, that
+ * worktree's `HEAD` is the branch by construction. Null ref = nothing to read.
+ */
+export declare function resolveBranchReadTarget(context: AssemblyContext, branchName: string | null): {
+    repoPath: string | null;
+    ref: string | null;
+};
+/**
+ * Resolve the section. Exported (with an injectable deps seam) so tests drive
+ * it without registering a module mock.
+ */
+export declare function resolveFocusReviewCoverage(context: AssemblyContext, deps?: FocusReviewCoverageDeps): Promise<string>;
+/** Register this module's resolver(s). Called from initResolvers() -- not an import side effect. */
+export declare function registerFocusReviewCoverageResolver(): void;
+//# sourceMappingURL=focus-review-coverage.d.ts.map

package/dist/resolvers/focus-review-coverage.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"focus-review-coverage.d.ts","sourceRoot":"","sources":["../../src/resolvers/focus-review-coverage.ts"],"names":[],"mappings":"AAQA,OAAO,KAAK,EAAE,eAAe,EAAE,MAAM,sBAAsB,CAAC;AAS5D,OAAO,EAQL,KAAK,UAAU,EACf,KAAK,aAAa,EACnB,MAAM,oCAAoC,CAAC;AAC5C,OAAO,EAEL,KAAK,sBAAsB,EAC3B,KAAK,4BAA4B,EAElC,MAAM,yCAAyC,CAAC;AACjD,OAAO,KAAK,EAAE,iBAAiB,EAAE,MAAM,mBAAmB,CAAC;AAK3D;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA0CG;AAEH,4EAA4E;AAC5E,eAAO,MAAM,uBAAuB,4EACwC,CAAC;AAK7E,+EAA+E;AAC/E,MAAM,MAAM,qBAAqB;AAC/B,iFAAiF;AAC/E,eAAe;AACjB,uEAAuE;GACrE,UAAU;AACZ,+EAA+E;GAC7E,SAAS;AACX,sFAAsF;GACpF,wBAAwB,CAAC;AAE7B,sFAAsF;AACtF,MAAM,WAAW,mBAAmB;IAClC,kFAAkF;IAClF,kBAAkB,EAAE,MAAM,GAAG,IAAI,CAAC;IAClC,2EAA2E;IAC3E,uBAAuB,EAAE,MAAM,GAAG,IAAI,CAAC;IACvC,8CAA8C;IAC9C,aAAa,EAAE,qBAAqB,CAAC;CACtC;AAED,2DAA2D;AAC3D,MAAM,WAAW,qBAAqB;IACpC,EAAE,EAAE,MAAM,CAAC;IACX,IAAI,EAAE,MAAM,CAAC;IACb,eAAe,EAAE,MAAM,GAAG,IAAI,CAAC;IAC/B,QAAQ,EAAE,sBAAsB,CAAC;IACjC,MAAM,EAAE,4BAA4B,CAAC;IACrC,oFAAoF;IACpF,MAAM,EAAE,MAAM,GAAG,IAAI,CAAC;CACvB;AAyDD;;;;;GAKG;AACH,wBAAgB,yBAAyB,CACvC,IAAI,EAAE,SAAS,qBAAqB,EAAE,EACtC,KAAK,EAAE,mBAAmB,EAC1B,UAAU,EAAE,MAAM,GACjB,MAAM,CAuBR;AAED;;;GAGG;AACH,wBAAgB,gCAAgC,CAAC,MAAM,EAAE,MAAM,GAAG,MAAM,CAWvE;AAID,gFAAgF;AAChF,MAAM,WAAW,uBAAuB;IACtC,kBAAkB,EAAE,CAAC,OAAO,EAAE,MAAM,KAAK,OAAO,CAAC,iBAAiB,EAAE,CAAC,CAAC;IACtE;;;;;OAKG;IACH,qBAAqB,EAAE,CACrB,OAAO,EAAE,eAAe,KACrB,OAAO,CAAC;QAAE,KAAK,EAAE,OAAO,CAAC;QAAC,GAAG,EAAE,MAAM,GAAG,IAAI,CAAC;QAAC,UAAU,EAAE,MAAM,GAAG,IAAI,CAAA;KAAE,CAAC,CAAC;IAChF,0BAA0B,EAAE,CAAC,OAAO,EAAE,MAAM,KAAK,OAAO,CAAC,MAAM,GAAG,IAAI,CAAC,CAAC;IACxE,eAAe,EAAE,CAAC,YAAY,EAAE,MAAM,EAAE,KAAK,OAAO,CAAC,GAAG,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC,CAAC;IAC1E,mFAAmF;IACnF,UAAU,EAAE,CAAC,QAAQ,EAAE,MAAM,EAAE,GAAG,EAAE,MAAM,EAAE,GAAG,EAAE,MAAM,KAAK,OAAO,CAAC;IACpE,yDAAyD;IACzD,cAAc,EAAE,CAAC,QAAQ,EAAE,MAAM,EAAE,GAAG,EAAE,MAAM,KAAK,OAAO,CAAC;IAC3D;;;;;;;;;;;;;;;;OAgBG;IACH,gBAAgB,EAAE,CAAC,QAAQ,EAAE,MAAM,EAAE,GAAG,EAAE,MAAM,EAAE,UAAU,EAAE,MAAM,KAAK,OAAO,CAAC;IACjF;;;;;OAKG;IACH,eAAe,EAAE,CAAC,QAAQ,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,EAAE,GAAG,EAAE,MAAM,KAAK,aAAa,EAAE,GAAG,IAAI,CAAC;IACzF;;;;;OAKG;IACH,eAAe,EAAE,CAAC,QAAQ,EAAE,MAAM,EAAE,GAAG,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,KAAK,UAAU,EAAE,GAAG,IAAI,CAAC;IACtF;;;;;;;;;;;;;;OAcG;IACH,iBAAiB,EAAE,CAAC,OAAO,EAAE,MAAM,EAAE,WAAW,EAAE,SAAS,MAAM,EAAE,KAAK,OAAO,CAAC,IAAI,CAAC,CAAC;CACvF;AAuDD;;;;;;;GAOG;AACH,eAAO,MAAM,8BAA8B,EAAE,uBAgB5C,CAAC;AAyBF;;;;;;;;GAQG;AACH,wBAAgB,uBAAuB,CACrC,OAAO,EAAE,eAAe,EACxB,UAAU,EAAE,MAAM,GAAG,IAAI,GACxB;IAAE,QAAQ,EAAE,MAAM,GAAG,IAAI,CAAC;IAAC,GAAG,EAAE,MAAM,GAAG,IAAI,CAAA;CAAE,CAKjD;AAiOD;;;GAGG;AACH,wBAAsB,0BAA0B,CAC9C,OAAO,EAAE,eAAe,EACxB,IAAI,GAAE,uBAAwD,GAC7D,OAAO,CAAC,MAAM,CAAC,CA4EjB;AA2DD,oGAAoG;AACpG,wBAAgB,mCAAmC,IAAI,IAAI,CAG1D"}