looply-cli 0.0.0-stage → 0.2.0

package/dist/lane-claims.d.ts

@@ -0,0 +1,174 @@
+import type { DeliveredClaim, ItemServing } from '@looply/core';
+export declare const LANE_CLAIMS_SCHEMA = 1;
+/**
+ * WHAT A RUN TELLS THE LANE ABOUT THE WORK ON ITS BRANCH.
+ *
+ * Written by the RUN process the moment a plan is materialised — before any
+ * work — and read by whatever offers that branch to the lane. It is a CLAIM,
+ * never an acceptance: `LOOPLY-R3-LIVE-CLOSURE-02` §3 is explicit that a
+ * worker's own requirement associations are provenance, and that acceptance is
+ * regenerated at the integrated revision from the lane's own fresh gates.
+ *
+ * ## Why this is a local file and not `PUT …/items/:itemId/requirements`
+ *
+ * 🔴 THAT ROUTE 404s FOR EVERY ITEM THIS PRODUCT COMPILES, AND ADDING A CLIENT
+ * METHOD WOULD NOT CHANGE IT. `items.service.ts:141-147` throws
+ * `NotFoundException` for an item the server does not hold; the server learns
+ * item ids ONLY from `item.created` (`ingest.service.ts:183-216`); and the only
+ * emitter of that event is `scanFinishedEvents` (`scan-events.ts:99-109`),
+ * called from `scan-cmd.ts:280` and `:314` and nowhere else. A compiled plan's
+ * items go `planToItems` → `materialiseGoalPlan` (goal-ownership.ts:549-583) →
+ * the LOCAL `QueueStore` and reach the server never. The server's own
+ * `Item.goalId` says the same thing from the other side: *"Nullable forever …
+ * Phase 3 has no writer for it at all"* (schema.prisma:193-195), and
+ * `materialiseItems` never sets it. So a PUT would store nothing, and a 404 is
+ * indistinguishable downstream from a project that never claimed anything.
+ *
+ * ⚠️ NOTHING IS GIVEN UP BY WRITING IT HERE, and the route is untouched as the
+ * future home. Its authority is `servedRequirementTrouble`
+ * (requirement-receipt.ts:92-109), a PURE CORE function — the caller runs it on
+ * the machine with the same `{sources, goalLinks}` the server would use, and
+ * the lane re-asks the ownership half against the goal's CURRENT links at
+ * integration time, which is stricter than the route: the route checks once, at
+ * write time, against the goal as it was then.
+ *
+ * ⚠️ AND IT CANNOT TRAVEL IN A REPLAY. `projectStateDir` is under `STATE_DIR`
+ * (`.looply`), which `patchBetween` and `changedPathsBetween` exclude by name
+ * (`:!${STATE_DIR}`, git-driver.ts:672, :685) — so one run's claims can never be
+ * carried onto another's base inside an applied patch.
+ */
+export type LaneClaimRecord = {
+    readonly schema: number;
+    readonly kind: 'claims';
+    readonly at: string;
+    readonly branch: string;
+    readonly runId: string;
+    readonly goalId: string;
+    readonly goalVersion: number;
+    readonly planRevision: number;
+    /**
+     * What each item of this plan revision claims to serve.
+     *
+     * ⚠️ EMPTY IS THE ORDINARY ANSWER TODAY and the record is written anyway.
+     * Naming the branch's goal is the half that fixes the scheduling defect
+     * `goalOfBranch` documents, and it must not wait on a producer of claims.
+     */
+    readonly servings: readonly ItemServing[];
+    /**
+     * F28 (B13): the checkout whose `.looply/state` holds this plan — where the goal's later
+     * Starts must run. Absent on records written before it existed.
+     */
+    readonly workspace?: string;
+} | {
+    readonly schema: number;
+    readonly kind: 'delivery';
+    readonly at: string;
+    readonly branch: string;
+    readonly runId: string;
+    readonly goalId: string;
+    readonly goalVersion: number;
+    readonly planRevision: number;
+    /** The tip this delivery was confirmed at — KEY 2's own sha. */
+    readonly commitSha: string;
+    /**
+     * The commit the evaluator JUDGED, when it was not `commitSha` (F27): the lane's replay of
+     * this delivery. It is how the third key knows a carried candidate's owed verdict was taken,
+     * on exactly the commit the lane published. Absent everywhere else.
+     */
+    readonly judgedAt?: string;
+    /** Which items of this plan revision the delivery actually finished. */
+    readonly delivered: readonly string[];
+    /**
+     * The acceptance map in force when these claims were frozen.
+     *
+     * 🔴 WITHOUT IT A CLAIM CANNOT GO STALE. `provenBy` is a step NAME, so a
+     * claim saying "jest proves this" is about whatever `jest` ran then. The
+     * lane compares this against its own current digest and refuses the whole
+     * claim when they differ.
+     */
+    readonly acceptanceDigest: string;
+};
+export declare function laneClaimsPath(cwd: string): string;
+/**
+ * ⚠️ LED BY A NEWLINE, not terminated by one — the same shape as `recordAttempt`
+ * (integration-runtime.ts:124-136) and for its reason: a torn write costs the
+ * one record it tore, rather than joining two into a line that parses as
+ * neither.
+ *
+ * Best-effort. A run must not die because its bookkeeping could not be written;
+ * the caller logs, and `goalOfBranch` degrades to today's behaviour.
+ */
+export declare function recordLaneClaim(cwd: string, record: LaneClaimRecord): boolean;
+export declare function readLaneClaims(cwd: string): LaneClaimRecord[];
+/**
+ * WHICH GOAL A FINISHED BRANCH BELONGS TO, AND WHICH RUN PRODUCED IT.
+ *
+ * 🔴 THE FIX FOR A LIVE DEFECT: ON THE AUTONOMOUS PATH, EVERY DEPENDENT WAITED
+ * FOR EVER.
+ *
+ * `integrator.ts` offers `{ branch }` and `bin.ts`'s `looply integrate --goal`
+ * — a person, typing — was the ONLY writer of `goalId` on an attempt. But
+ * `coordinator-state.ts:341-347` derives its integrated set with
+ * `typeof a.goalId === 'string'` over PUBLISHED attempts, so on the daemon path
+ * that set was ALWAYS EMPTY: every `ScheduleGoal.integrated` was false, and
+ * with `integrationRequired` on (daemon-cmd.ts:1292) `schedule.ts:504-505` made
+ * `isSatisfied` false for every goal. Nothing with a `dependsOn` could ever
+ * start.
+ *
+ * ⚠️ AND IT WAS INVISIBLE, because the screen has a fallback the scheduler does
+ * not: `goal-view.ts:317` filters attempts with `a.goalId === goal.id ||
+ * known.has(a.branch)`, so a person read a healthy lane while the scheduler was
+ * blind. That is why this is a defect rather than an unfinished feature.
+ *
+ * ⚠️ ONE SOURCE, NOT TWO. A `claims` record is written the moment a plan is
+ * materialised, before any work, so every bound run that compiled anything is
+ * named here whatever it does next. Deriving the same answer a second way —
+ * from `RunRefusalMarks` joined to the grants, as `goal-view.ts:246-256` does
+ * for the screen — would be the second implementation this repository keeps
+ * finding in its own mutation batteries.
+ *
+ * Degradation is in the safe direction: no record → `null` → no `goalId` on the
+ * attempt → exactly today's behaviour. This can only ever ADD an integrated
+ * goal, never remove one.
+ */
+export declare function goalOfBranch(cwd: string, branch: string): {
+    goalId: string;
+    runId: string;
+} | null;
+/**
+ * THE CLAIM THIS BRANCH CARRIES AT THIS EXACT TIP, or null.
+ *
+ * ⚠️ MATCHED ON (branch, commitSha). A tip that moved is a different delivery,
+ * and crediting one delivery's requirements to another commit is the whole-tree
+ * mistake one size smaller.
+ *
+ * ⚠️ THE DELIVERED SET IS UNIONED ACROSS PLAN REVISIONS OF ONE GOAL VERSION, and
+ * only that. `confirmGoalExecutionEvidence` filters items to the CURRENT plan
+ * revision, so a goal that took three revisions has a `delivered` list per
+ * revision; without the union, every requirement claimed by revision 1's items
+ * would fold to `item-not-delivered` for ever and no multi-revision goal could
+ * be accepted. A record at a DIFFERENT goal version is excluded — that is what
+ * staleness is for, and the lane answers it.
+ */
+/**
+ * F33 (group B review — soun-4 at the LANE): the delivery records whose work the candidate's
+ * history CONTAINS, as `branch@commitSha` — the record's commit is an ancestor of (or is) the
+ * candidate, or the lane published that branch — as it stood, or carried as a replay — at a commit
+ * that is. `deliveredClaimFor` unions only these: a delivery on a branch the lane REFUSED, which
+ * the candidate was never cut from, credits nothing here. F31b filtered only the new record; the
+ * refused branch's own record came back through this union, and F27's re-cut makes that normal.
+ */
+export declare function deliveriesInHistory(cwd: string, candidate: string, isAncestor: (ancestor: string, of: string) => Promise<boolean>, attempts: readonly {
+    readonly branch: string;
+    readonly published?: {
+        readonly to: string;
+    };
+    readonly replayedAs?: string;
+}[]): Promise<Set<string>>;
+export declare function deliveredClaimFor(cwd: string, at: {
+    readonly branch: string;
+    readonly commitSha: string;
+}, 
+/** F33: `deliveriesInHistory` for this candidate. Absent: every delivery of the goal version counts, as before. */
+counted?: ReadonlySet<string>): DeliveredClaim | null;
+//# sourceMappingURL=lane-claims.d.ts.map

package/dist/lane-claims.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"lane-claims.d.ts","sourceRoot":"","sources":["../src/lane-claims.ts"],"names":[],"mappings":"AAEA,OAAO,KAAK,EAAE,cAAc,EAAE,WAAW,EAAqB,MAAM,cAAc,CAAC;AAGnF,eAAO,MAAM,kBAAkB,IAAI,CAAC;AAEpC;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAoCG;AACH,MAAM,MAAM,eAAe,GACvB;IACE,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;IACxB,QAAQ,CAAC,IAAI,EAAE,QAAQ,CAAC;IACxB,QAAQ,CAAC,EAAE,EAAE,MAAM,CAAC;IACpB,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;IACxB,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;IACvB,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;IACxB,QAAQ,CAAC,WAAW,EAAE,MAAM,CAAC;IAC7B,QAAQ,CAAC,YAAY,EAAE,MAAM,CAAC;IAC9B;;;;;;OAMG;IACH,QAAQ,CAAC,QAAQ,EAAE,SAAS,WAAW,EAAE,CAAC;IAC1C;;;OAGG;IACH,QAAQ,CAAC,SAAS,CAAC,EAAE,MAAM,CAAC;CAC7B,GACD;IACE,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;IACxB,QAAQ,CAAC,IAAI,EAAE,UAAU,CAAC;IAC1B,QAAQ,CAAC,EAAE,EAAE,MAAM,CAAC;IACpB,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;IACxB,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;IACvB,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;IACxB,QAAQ,CAAC,WAAW,EAAE,MAAM,CAAC;IAC7B,QAAQ,CAAC,YAAY,EAAE,MAAM,CAAC;IAC9B,gEAAgE;IAChE,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAC;IAC3B;;;;OAIG;IACH,QAAQ,CAAC,QAAQ,CAAC,EAAE,MAAM,CAAC;IAC3B,wEAAwE;IACxE,QAAQ,CAAC,SAAS,EAAE,SAAS,MAAM,EAAE,CAAC;IACtC;;;;;;;OAOG;IACH,QAAQ,CAAC,gBAAgB,EAAE,MAAM,CAAC;CACnC,CAAC;AAEN,wBAAgB,cAAc,CAAC,GAAG,EAAE,MAAM,GAAG,MAAM,CAElD;AAED;;;;;;;;GAQG;AACH,wBAAgB,eAAe,CAAC,GAAG,EAAE,MAAM,EAAE,MAAM,EAAE,eAAe,GAAG,OAAO,CAS7E;AAED,wBAAgB,cAAc,CAAC,GAAG,EAAE,MAAM,GAAG,eAAe,EAAE,CA6B7D;AAED;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA8BG;AACH,wBAAgB,YAAY,CAAC,GAAG,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,GAAG;IAAE,MAAM,EAAE,MAAM,CAAC;IAAC,KAAK,EAAE,MAAM,CAAA;CAAE,GAAG,IAAI,CAOlG;AAED;;;;;;;;;;;;;;GAcG;AACH;;;;;;;GAOG;AACH,wBAAsB,mBAAmB,CACvC,GAAG,EAAE,MAAM,EACX,SAAS,EAAE,MAAM,EACjB,UAAU,EAAE,CAAC,QAAQ,EAAE,MAAM,EAAE,EAAE,EAAE,MAAM,KAAK,OAAO,CAAC,OAAO,CAAC,EAC9D,QAAQ,EAAE,SAAS;IAAE,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;IAAC,QAAQ,CAAC,SAAS,CAAC,EAAE;QAAE,QAAQ,CAAC,EAAE,EAAE,MAAM,CAAA;KAAE,CAAC;IAAC,QAAQ,CAAC,UAAU,CAAC,EAAE,MAAM,CAAA;CAAE,EAAE,GAC3H,OAAO,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC,CAqCtB;AAED,wBAAgB,iBAAiB,CAC/B,GAAG,EAAE,MAAM,EACX,EAAE,EAAE;IAAE,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;IAAC,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAA;CAAE;AAC3D,mHAAmH;AACnH,OAAO,CAAC,EAAE,WAAW,CAAC,MAAM,CAAC,GAC5B,cAAc,GAAG,IAAI,CAoCvB"}

package/dist/lane-claims.js

@@ -0,0 +1,218 @@
+"use strict";
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.LANE_CLAIMS_SCHEMA = void 0;
+exports.laneClaimsPath = laneClaimsPath;
+exports.recordLaneClaim = recordLaneClaim;
+exports.readLaneClaims = readLaneClaims;
+exports.goalOfBranch = goalOfBranch;
+exports.deliveriesInHistory = deliveriesInHistory;
+exports.deliveredClaimFor = deliveredClaimFor;
+const node_fs_1 = require("node:fs");
+const node_path_1 = require("node:path");
+const git_driver_1 = require("./git-driver");
+exports.LANE_CLAIMS_SCHEMA = 1;
+function laneClaimsPath(cwd) {
+    return (0, node_path_1.join)((0, git_driver_1.projectStateDir)(cwd), 'lane-claims.jsonl');
+}
+/**
+ * ⚠️ LED BY A NEWLINE, not terminated by one — the same shape as `recordAttempt`
+ * (integration-runtime.ts:124-136) and for its reason: a torn write costs the
+ * one record it tore, rather than joining two into a line that parses as
+ * neither.
+ *
+ * Best-effort. A run must not die because its bookkeeping could not be written;
+ * the caller logs, and `goalOfBranch` degrades to today's behaviour.
+ */
+function recordLaneClaim(cwd, record) {
+    const path = laneClaimsPath(cwd);
+    try {
+        (0, node_fs_1.mkdirSync)((0, node_path_1.dirname)(path), { recursive: true });
+        (0, node_fs_1.appendFileSync)(path, `\n${JSON.stringify(record)}\n`, 'utf8');
+        return true;
+    }
+    catch {
+        return false;
+    }
+}
+function readLaneClaims(cwd) {
+    let raw;
+    try {
+        raw = (0, node_fs_1.readFileSync)(laneClaimsPath(cwd), 'utf8');
+    }
+    catch {
+        return [];
+    }
+    const out = [];
+    for (const line of raw.split('\n')) {
+        const text = line.trim();
+        if (text === '')
+            continue;
+        try {
+            const parsed = JSON.parse(text);
+            // A record that cannot name its branch and goal answers no question this
+            // file is asked; dropping it is not the same as dropping a torn line, and
+            // both are silent on purpose — this is a projection, never the record.
+            const kind = parsed?.kind;
+            if ((kind === 'claims' || kind === 'delivery') &&
+                typeof parsed?.goalId === 'string' &&
+                typeof parsed?.branch === 'string') {
+                out.push(parsed);
+            }
+        }
+        catch {
+            /* a fragment from a torn write; the leading newline is what bounds it */
+        }
+    }
+    return out;
+}
+/**
+ * WHICH GOAL A FINISHED BRANCH BELONGS TO, AND WHICH RUN PRODUCED IT.
+ *
+ * 🔴 THE FIX FOR A LIVE DEFECT: ON THE AUTONOMOUS PATH, EVERY DEPENDENT WAITED
+ * FOR EVER.
+ *
+ * `integrator.ts` offers `{ branch }` and `bin.ts`'s `looply integrate --goal`
+ * — a person, typing — was the ONLY writer of `goalId` on an attempt. But
+ * `coordinator-state.ts:341-347` derives its integrated set with
+ * `typeof a.goalId === 'string'` over PUBLISHED attempts, so on the daemon path
+ * that set was ALWAYS EMPTY: every `ScheduleGoal.integrated` was false, and
+ * with `integrationRequired` on (daemon-cmd.ts:1292) `schedule.ts:504-505` made
+ * `isSatisfied` false for every goal. Nothing with a `dependsOn` could ever
+ * start.
+ *
+ * ⚠️ AND IT WAS INVISIBLE, because the screen has a fallback the scheduler does
+ * not: `goal-view.ts:317` filters attempts with `a.goalId === goal.id ||
+ * known.has(a.branch)`, so a person read a healthy lane while the scheduler was
+ * blind. That is why this is a defect rather than an unfinished feature.
+ *
+ * ⚠️ ONE SOURCE, NOT TWO. A `claims` record is written the moment a plan is
+ * materialised, before any work, so every bound run that compiled anything is
+ * named here whatever it does next. Deriving the same answer a second way —
+ * from `RunRefusalMarks` joined to the grants, as `goal-view.ts:246-256` does
+ * for the screen — would be the second implementation this repository keeps
+ * finding in its own mutation batteries.
+ *
+ * Degradation is in the safe direction: no record → `null` → no `goalId` on the
+ * attempt → exactly today's behaviour. This can only ever ADD an integrated
+ * goal, never remove one.
+ */
+function goalOfBranch(cwd, branch) {
+    const mine = readLaneClaims(cwd).filter((r) => r.branch === branch);
+    // The last record wins: a goal rebound onto the same branch is a later claim
+    // about it, and an older revision must not outvote the one that ran.
+    const last = mine[mine.length - 1];
+    if (last === undefined)
+        return null;
+    return { goalId: last.goalId, runId: last.runId };
+}
+/**
+ * THE CLAIM THIS BRANCH CARRIES AT THIS EXACT TIP, or null.
+ *
+ * ⚠️ MATCHED ON (branch, commitSha). A tip that moved is a different delivery,
+ * and crediting one delivery's requirements to another commit is the whole-tree
+ * mistake one size smaller.
+ *
+ * ⚠️ THE DELIVERED SET IS UNIONED ACROSS PLAN REVISIONS OF ONE GOAL VERSION, and
+ * only that. `confirmGoalExecutionEvidence` filters items to the CURRENT plan
+ * revision, so a goal that took three revisions has a `delivered` list per
+ * revision; without the union, every requirement claimed by revision 1's items
+ * would fold to `item-not-delivered` for ever and no multi-revision goal could
+ * be accepted. A record at a DIFFERENT goal version is excluded — that is what
+ * staleness is for, and the lane answers it.
+ */
+/**
+ * F33 (group B review — soun-4 at the LANE): the delivery records whose work the candidate's
+ * history CONTAINS, as `branch@commitSha` — the record's commit is an ancestor of (or is) the
+ * candidate, or the lane published that branch — as it stood, or carried as a replay — at a commit
+ * that is. `deliveredClaimFor` unions only these: a delivery on a branch the lane REFUSED, which
+ * the candidate was never cut from, credits nothing here. F31b filtered only the new record; the
+ * refused branch's own record came back through this union, and F27's re-cut makes that normal.
+ */
+async function deliveriesInHistory(cwd, candidate, isAncestor, attempts) {
+    // A replay's publication is its origin branch's publication too.
+    const originOf = new Map();
+    for (const a of attempts)
+        if (a.replayedAs !== undefined)
+            originOf.set(a.replayedAs, a.branch);
+    const publishedAt = new Map();
+    for (const a of attempts) {
+        if (a.published === undefined)
+            continue;
+        for (const b of new Set([a.branch, originOf.get(a.branch) ?? a.branch])) {
+            publishedAt.set(b, [...(publishedAt.get(b) ?? []), a.published.to]);
+        }
+    }
+    // A fault reading one commit (a pruned object) is "not contained", never a thrown claim.
+    const inside = async (sha) => {
+        if (sha === candidate)
+            return true;
+        try {
+            return await isAncestor(sha, candidate);
+        }
+        catch {
+            return false;
+        }
+    };
+    const out = new Set();
+    for (const r of readLaneClaims(cwd)) {
+        if (r.kind !== 'delivery')
+            continue;
+        const key = `${r.branch}@${r.commitSha}`;
+        if (out.has(key))
+            continue;
+        if (await inside(r.commitSha)) {
+            out.add(key);
+            continue;
+        }
+        for (const p of publishedAt.get(r.branch) ?? []) {
+            if (await inside(p)) {
+                out.add(key);
+                break;
+            }
+        }
+    }
+    return out;
+}
+function deliveredClaimFor(cwd, at, 
+/** F33: `deliveriesInHistory` for this candidate. Absent: every delivery of the goal version counts, as before. */
+counted) {
+    const all = readLaneClaims(cwd);
+    const head = all
+        .filter((r) => r.kind === 'delivery' && r.branch === at.branch && r.commitSha === at.commitSha)
+        .pop();
+    if (head === undefined || head.kind !== 'delivery')
+        return null;
+    const delivered = new Set();
+    const byItem = new Map();
+    for (const r of all) {
+        if (r.goalId !== head.goalId || r.goalVersion !== head.goalVersion)
+            continue;
+        if (r.kind === 'delivery') {
+            if (counted !== undefined && !counted.has(`${r.branch}@${r.commitSha}`))
+                continue;
+            for (const id of r.delivered)
+                delivered.add(id);
+            continue;
+        }
+        for (const serving of r.servings) {
+            const list = byItem.get(serving.itemId) ?? [];
+            for (const s of serving.serves) {
+                // A revision re-stating the same claim is one claim, not two.
+                if (!list.some((x) => x.sourceId === s.sourceId && x.ordinal === s.ordinal && x.row === s.row))
+                    list.push(s);
+            }
+            byItem.set(serving.itemId, list);
+        }
+    }
+    return {
+        goalId: head.goalId,
+        goalVersion: head.goalVersion,
+        runId: head.runId,
+        branch: head.branch,
+        commitSha: head.commitSha,
+        delivered: [...delivered],
+        servings: [...byItem].map(([itemId, serves]) => ({ itemId, serves })),
+        acceptanceDigest: head.acceptanceDigest,
+    };
+}
+//# sourceMappingURL=lane-claims.js.map

package/dist/lane-claims.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"lane-claims.js","sourceRoot":"","sources":["../src/lane-claims.ts"],"names":[],"mappings":";;;AAkGA,wCAEC;AAWD,0CASC;AAED,wCA6BC;AAiCD,oCAOC;AAyBD,kDA0CC;AAED,8CAyCC;AA7SD,qCAAkE;AAClE,yCAA0C;AAE1C,6CAA+C;AAElC,QAAA,kBAAkB,GAAG,CAAC,CAAC;AA6FpC,SAAgB,cAAc,CAAC,GAAW;IACxC,OAAO,IAAA,gBAAI,EAAC,IAAA,4BAAe,EAAC,GAAG,CAAC,EAAE,mBAAmB,CAAC,CAAC;AACzD,CAAC;AAED;;;;;;;;GAQG;AACH,SAAgB,eAAe,CAAC,GAAW,EAAE,MAAuB;IAClE,MAAM,IAAI,GAAG,cAAc,CAAC,GAAG,CAAC,CAAC;IACjC,IAAI,CAAC;QACH,IAAA,mBAAS,EAAC,IAAA,mBAAO,EAAC,IAAI,CAAC,EAAE,EAAE,SAAS,EAAE,IAAI,EAAE,CAAC,CAAC;QAC9C,IAAA,wBAAc,EAAC,IAAI,EAAE,KAAK,IAAI,CAAC,SAAS,CAAC,MAAM,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC;QAC9D,OAAO,IAAI,CAAC;IACd,CAAC;IAAC,MAAM,CAAC;QACP,OAAO,KAAK,CAAC;IACf,CAAC;AACH,CAAC;AAED,SAAgB,cAAc,CAAC,GAAW;IACxC,IAAI,GAAW,CAAC;IAChB,IAAI,CAAC;QACH,GAAG,GAAG,IAAA,sBAAY,EAAC,cAAc,CAAC,GAAG,CAAC,EAAE,MAAM,CAAC,CAAC;IAClD,CAAC;IAAC,MAAM,CAAC;QACP,OAAO,EAAE,CAAC;IACZ,CAAC;IACD,MAAM,GAAG,GAAsB,EAAE,CAAC;IAClC,KAAK,MAAM,IAAI,IAAI,GAAG,CAAC,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC;QACnC,MAAM,IAAI,GAAG,IAAI,CAAC,IAAI,EAAE,CAAC;QACzB,IAAI,IAAI,KAAK,EAAE;YAAE,SAAS;QAC1B,IAAI,CAAC;YACH,MAAM,MAAM,GAAG,IAAI,CAAC,KAAK,CAAC,IAAI,CAAoB,CAAC;YACnD,yEAAyE;YACzE,0EAA0E;YAC1E,uEAAuE;YACvE,MAAM,IAAI,GAAG,MAAM,EAAE,IAAI,CAAC;YAC1B,IACE,CAAC,IAAI,KAAK,QAAQ,IAAI,IAAI,KAAK,UAAU,CAAC;gBAC1C,OAAO,MAAM,EAAE,MAAM,KAAK,QAAQ;gBAClC,OAAO,MAAM,EAAE,MAAM,KAAK,QAAQ,EAClC,CAAC;gBACD,GAAG,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;YACnB,CAAC;QACH,CAAC;QAAC,MAAM,CAAC;YACP,yEAAyE;QAC3E,CAAC;IACH,CAAC;IACD,OAAO,GAAG,CAAC;AACb,CAAC;AAED;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA8BG;AACH,SAAgB,YAAY,CAAC,GAAW,EAAE,MAAc;IACtD,MAAM,IAAI,GAAG,cAAc,CAAC,GAAG,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,MAAM,KAAK,MAAM,CAAC,CAAC;IACpE,6EAA6E;IAC7E,qEAAqE;IACrE,MAAM,IAAI,GAAG,IAAI,CAAC,IAAI,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC;IACnC,IAAI,IAAI,KAAK,SAAS;QAAE,OAAO,IAAI,CAAC;IACpC,OAAO,EAAE,MAAM,EAAE,IAAI,CAAC,MAAM,EAAE,KAAK,EAAE,IAAI,CAAC,KAAK,EAAE,CAAC;AACpD,CAAC;AAED;;;;;;;;;;;;;;GAcG;AACH;;;;;;;GAOG;AACI,KAAK,UAAU,mBAAmB,CACvC,GAAW,EACX,SAAiB,EACjB,UAA8D,EAC9D,QAA4H;IAE5H,iEAAiE;IACjE,MAAM,QAAQ,GAAG,IAAI,GAAG,EAAkB,CAAC;IAC3C,KAAK,MAAM,CAAC,IAAI,QAAQ;QAAE,IAAI,CAAC,CAAC,UAAU,KAAK,SAAS;YAAE,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,UAAU,EAAE,CAAC,CAAC,MAAM,CAAC,CAAC;IAC/F,MAAM,WAAW,GAAG,IAAI,GAAG,EAAoB,CAAC;IAChD,KAAK,MAAM,CAAC,IAAI,QAAQ,EAAE,CAAC;QACzB,IAAI,CAAC,CAAC,SAAS,KAAK,SAAS;YAAE,SAAS;QACxC,KAAK,MAAM,CAAC,IAAI,IAAI,GAAG,CAAC,CAAC,CAAC,CAAC,MAAM,EAAE,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC;YACxE,WAAW,CAAC,GAAG,CAAC,CAAC,EAAE,CAAC,GAAG,CAAC,WAAW,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,EAAE,CAAC,CAAC,SAAS,CAAC,EAAE,CAAC,CAAC,CAAC;QACtE,CAAC;IACH,CAAC;IACD,yFAAyF;IACzF,MAAM,MAAM,GAAG,KAAK,EAAE,GAAW,EAAoB,EAAE;QACrD,IAAI,GAAG,KAAK,SAAS;YAAE,OAAO,IAAI,CAAC;QACnC,IAAI,CAAC;YACH,OAAO,MAAM,UAAU,CAAC,GAAG,EAAE,SAAS,CAAC,CAAC;QAC1C,CAAC;QAAC,MAAM,CAAC;YACP,OAAO,KAAK,CAAC;QACf,CAAC;IACH,CAAC,CAAC;IACF,MAAM,GAAG,GAAG,IAAI,GAAG,EAAU,CAAC;IAC9B,KAAK,MAAM,CAAC,IAAI,cAAc,CAAC,GAAG,CAAC,EAAE,CAAC;QACpC,IAAI,CAAC,CAAC,IAAI,KAAK,UAAU;YAAE,SAAS;QACpC,MAAM,GAAG,GAAG,GAAG,CAAC,CAAC,MAAM,IAAI,CAAC,CAAC,SAAS,EAAE,CAAC;QACzC,IAAI,GAAG,CAAC,GAAG,CAAC,GAAG,CAAC;YAAE,SAAS;QAC3B,IAAI,MAAM,MAAM,CAAC,CAAC,CAAC,SAAS,CAAC,EAAE,CAAC;YAC9B,GAAG,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;YACb,SAAS;QACX,CAAC;QACD,KAAK,MAAM,CAAC,IAAI,WAAW,CAAC,GAAG,CAAC,CAAC,CAAC,MAAM,CAAC,IAAI,EAAE,EAAE,CAAC;YAChD,IAAI,MAAM,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC;gBACpB,GAAG,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;gBACb,MAAM;YACR,CAAC;QACH,CAAC;IACH,CAAC;IACD,OAAO,GAAG,CAAC;AACb,CAAC;AAED,SAAgB,iBAAiB,CAC/B,GAAW,EACX,EAA2D;AAC3D,mHAAmH;AACnH,OAA6B;IAE7B,MAAM,GAAG,GAAG,cAAc,CAAC,GAAG,CAAC,CAAC;IAChC,MAAM,IAAI,GAAG,GAAG;SACb,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,UAAU,IAAI,CAAC,CAAC,MAAM,KAAK,EAAE,CAAC,MAAM,IAAI,CAAC,CAAC,SAAS,KAAK,EAAE,CAAC,SAAS,CAAC;SAC9F,GAAG,EAAE,CAAC;IACT,IAAI,IAAI,KAAK,SAAS,IAAI,IAAI,CAAC,IAAI,KAAK,UAAU;QAAE,OAAO,IAAI,CAAC;IAEhE,MAAM,SAAS,GAAG,IAAI,GAAG,EAAU,CAAC;IACpC,MAAM,MAAM,GAAG,IAAI,GAAG,EAA+B,CAAC;IACtD,KAAK,MAAM,CAAC,IAAI,GAAG,EAAE,CAAC;QACpB,IAAI,CAAC,CAAC,MAAM,KAAK,IAAI,CAAC,MAAM,IAAI,CAAC,CAAC,WAAW,KAAK,IAAI,CAAC,WAAW;YAAE,SAAS;QAC7E,IAAI,CAAC,CAAC,IAAI,KAAK,UAAU,EAAE,CAAC;YAC1B,IAAI,OAAO,KAAK,SAAS,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,MAAM,IAAI,CAAC,CAAC,SAAS,EAAE,CAAC;gBAAE,SAAS;YAClF,KAAK,MAAM,EAAE,IAAI,CAAC,CAAC,SAAS;gBAAE,SAAS,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;YAChD,SAAS;QACX,CAAC;QACD,KAAK,MAAM,OAAO,IAAI,CAAC,CAAC,QAAQ,EAAE,CAAC;YACjC,MAAM,IAAI,GAAG,MAAM,CAAC,GAAG,CAAC,OAAO,CAAC,MAAM,CAAC,IAAI,EAAE,CAAC;YAC9C,KAAK,MAAM,CAAC,IAAI,OAAO,CAAC,MAAM,EAAE,CAAC;gBAC/B,8DAA8D;gBAC9D,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,QAAQ,KAAK,CAAC,CAAC,QAAQ,IAAI,CAAC,CAAC,OAAO,KAAK,CAAC,CAAC,OAAO,IAAI,CAAC,CAAC,GAAG,KAAK,CAAC,CAAC,GAAG,CAAC;oBAAE,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;YAC/G,CAAC;YACD,MAAM,CAAC,GAAG,CAAC,OAAO,CAAC,MAAM,EAAE,IAAI,CAAC,CAAC;QACnC,CAAC;IACH,CAAC;IAED,OAAO;QACL,MAAM,EAAE,IAAI,CAAC,MAAM;QACnB,WAAW,EAAE,IAAI,CAAC,WAAW;QAC7B,KAAK,EAAE,IAAI,CAAC,KAAK;QACjB,MAAM,EAAE,IAAI,CAAC,MAAM;QACnB,SAAS,EAAE,IAAI,CAAC,SAAS;QACzB,SAAS,EAAE,CAAC,GAAG,SAAS,CAAC;QACzB,QAAQ,EAAE,CAAC,GAAG,MAAM,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,MAAM,EAAE,MAAM,CAAC,EAAE,EAAE,CAAC,CAAC,EAAE,MAAM,EAAE,MAAM,EAAE,CAAC,CAAC;QACrE,gBAAgB,EAAE,IAAI,CAAC,gBAAgB;KACxC,CAAC;AACJ,CAAC"}

package/dist/lane-coverage.d.ts

@@ -0,0 +1,87 @@
+import { type Attestation, type Classification, type CoverageGateResult, type Disposition, type IntegratedReceipt, type RequirementLink, type SourceStatement } from '@looply/core';
+import type { Publication } from './completion';
+import type { GitDriver } from './git-driver';
+/**
+ * STRICT COVERAGE, JUDGED WHERE THE CHARTER PUTS ACCEPTANCE: ON THE INTEGRATED TREE (F25).
+ *
+ * 🔴 NO PROGRAMME GOAL COULD EVER CLOSE. The fourth key ran inside the WORKER, on
+ * its own checkout, reading receipts from a server table nothing writes and
+ * dispositions from a reconcile nothing runs — so every mandatory link blocked
+ * `unmeasured`, every goal ended `human_required`, and the scheduler never
+ * released a dependent (live2/CLOSURE-CHAIN-MAP.md B1/B2). The charter's rule is
+ * the opposite: "the integration lane is the acceptance authority", and strict
+ * coverage reads the lane's integrated receipts.
+ *
+ * So in programme mode the controller's third key judges it here, after the
+ * lane published the goal's work:
+ *   - on the tree of the CURRENT `looply/integration` tip — one tree for every
+ *     goal, so judging one never makes another's attestations stale, and the
+ *     lane's ratchet keeps every integrated goal's proven checks green on it;
+ *   - with dispositions measured AT that tree — the machine reconciles it when
+ *     the latest measurement is about another tree (a disposition must be about
+ *     the tree being judged; it used to be about whatever was measured last);
+ *   - with the lane's ACCEPTED claims as the per-requirement receipts, table rows
+ *     included (the gate keys rows by their own address);
+ *   - with a person's attestations (or the owner's bounded delegation) at that tree.
+ *
+ * ⚠️ IT DECIDES NOTHING ITSELF. It returns the gate's verdict as a fact on the
+ * publication; `decideThirdKey` holds the closure until it is ok. And anything it
+ * cannot establish is `unavailable`, which holds too — never an empty gate.
+ */
+export interface LaneSourceDetail {
+    readonly statements: readonly SourceStatement[];
+    readonly classifications: readonly Classification[];
+    readonly classifierVersion: number | null;
+    readonly dispositions: readonly Disposition[];
+    readonly attestations: readonly Attestation[];
+    readonly reconciledAt: {
+        readonly treeSha: string;
+    } | null;
+}
+export interface LaneCoverageDeps {
+    /** The goal as the server holds it now. */
+    readonly goal: (goalId: string) => Promise<{
+        version: number;
+        requirements: readonly RequirementLink[];
+    } | null>;
+    readonly sourceDetail: (sourceId: string) => Promise<LaneSourceDetail>;
+    /** The tree of the current integration tip — the tree every goal is judged on. */
+    readonly tipTree: () => Promise<string>;
+    /** Measure the source against `treeSha` and record it. The machine may; it can never write an attestation. */
+    readonly reconcile: (sourceId: string, treeSha: string, detail: LaneSourceDetail) => Promise<void>;
+}
+export type LaneCoverage = {
+    readonly kind: 'judged';
+    readonly tree: string;
+    readonly result: CoverageGateResult;
+} | {
+    readonly kind: 'unavailable';
+    readonly because: string;
+};
+export declare function laneCoverage(input: {
+    readonly goalId: string;
+    readonly receipt?: IntegratedReceipt;
+}, deps: LaneCoverageDeps): Promise<LaneCoverage>;
+/**
+ * STRICT COVERAGE OF `links` ON `tree` — the lane's judge (F25), shared with the source verdict (F32)
+ * so the two cannot disagree: each source measured AT that tree (reconciled when its latest
+ * measurement is about another), rows classified by the derivation that made them obligations,
+ * `receipted` as the per-requirement receipts. What it cannot establish is `unavailable`.
+ */
+export declare function judgeOnTree(links: readonly RequirementLink[], receipted: ReadonlySet<string>, tree: string, deps: Pick<LaneCoverageDeps, 'sourceDetail' | 'reconcile'>): Promise<LaneCoverage>;
+/**
+ * The third key with coverage attached: what the lane says about the branch, and — when it
+ * published — whether the pursuit's goal is covered on the integrated tree. Anything that
+ * throws becomes `unavailable`, which holds; it never reads as covered.
+ */
+export declare function withLaneCoverage(read: (branch: string | undefined) => Promise<Publication>, deps: LaneCoverageDeps): (branch: string | undefined, goalId?: string) => Promise<Publication>;
+/** The daemon's deps: the server it already talks to, and the project's own git for the tip. */
+export declare function nodeLaneCoverageDeps(cwd: string, git: GitDriver, client: {
+    sourceDetail(projectId: string, sourceId: string): Promise<LaneSourceDetail>;
+    reconcileSource(projectId: string, sourceId: string, input: {
+        treeSha: string;
+        reconcilerVersion: number;
+        dispositions: Disposition[];
+    }): Promise<unknown>;
+}, projectId: string, goal: LaneCoverageDeps['goal']): LaneCoverageDeps;
+//# sourceMappingURL=lane-coverage.d.ts.map

package/dist/lane-coverage.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"lane-coverage.d.ts","sourceRoot":"","sources":["../src/lane-coverage.ts"],"names":[],"mappings":"AAAA,OAAO,EAOL,KAAK,WAAW,EAChB,KAAK,cAAc,EACnB,KAAK,kBAAkB,EACvB,KAAK,WAAW,EAChB,KAAK,iBAAiB,EACtB,KAAK,eAAe,EACpB,KAAK,eAAe,EACrB,MAAM,cAAc,CAAC;AACtB,OAAO,KAAK,EAAE,WAAW,EAAE,MAAM,cAAc,CAAC;AAChD,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,cAAc,CAAC;AAI9C;;;;;;;;;;;;;;;;;;;;;;;;;;GA0BG;AAEH,MAAM,WAAW,gBAAgB;IAC/B,QAAQ,CAAC,UAAU,EAAE,SAAS,eAAe,EAAE,CAAC;IAChD,QAAQ,CAAC,eAAe,EAAE,SAAS,cAAc,EAAE,CAAC;IACpD,QAAQ,CAAC,iBAAiB,EAAE,MAAM,GAAG,IAAI,CAAC;IAC1C,QAAQ,CAAC,YAAY,EAAE,SAAS,WAAW,EAAE,CAAC;IAC9C,QAAQ,CAAC,YAAY,EAAE,SAAS,WAAW,EAAE,CAAC;IAC9C,QAAQ,CAAC,YAAY,EAAE;QAAE,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAA;KAAE,GAAG,IAAI,CAAC;CAC5D;AAED,MAAM,WAAW,gBAAgB;IAC/B,2CAA2C;IAC3C,QAAQ,CAAC,IAAI,EAAE,CAAC,MAAM,EAAE,MAAM,KAAK,OAAO,CAAC;QAAE,OAAO,EAAE,MAAM,CAAC;QAAC,YAAY,EAAE,SAAS,eAAe,EAAE,CAAA;KAAE,GAAG,IAAI,CAAC,CAAC;IACjH,QAAQ,CAAC,YAAY,EAAE,CAAC,QAAQ,EAAE,MAAM,KAAK,OAAO,CAAC,gBAAgB,CAAC,CAAC;IACvE,kFAAkF;IAClF,QAAQ,CAAC,OAAO,EAAE,MAAM,OAAO,CAAC,MAAM,CAAC,CAAC;IACxC,8GAA8G;IAC9G,QAAQ,CAAC,SAAS,EAAE,CAAC,QAAQ,EAAE,MAAM,EAAE,OAAO,EAAE,MAAM,EAAE,MAAM,EAAE,gBAAgB,KAAK,OAAO,CAAC,IAAI,CAAC,CAAC;CACpG;AAED,MAAM,MAAM,YAAY,GACpB;IAAE,QAAQ,CAAC,IAAI,EAAE,QAAQ,CAAC;IAAC,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IAAC,QAAQ,CAAC,MAAM,EAAE,kBAAkB,CAAA;CAAE,GACvF;IAAE,QAAQ,CAAC,IAAI,EAAE,aAAa,CAAC;IAAC,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAA;CAAE,CAAC;AAE/D,wBAAsB,YAAY,CAChC,KAAK,EAAE;IAAE,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;IAAC,QAAQ,CAAC,OAAO,CAAC,EAAE,iBAAiB,CAAA;CAAE,EACxE,IAAI,EAAE,gBAAgB,GACrB,OAAO,CAAC,YAAY,CAAC,CAOvB;AAED;;;;;GAKG;AACH,wBAAsB,WAAW,CAC/B,KAAK,EAAE,SAAS,eAAe,EAAE,EACjC,SAAS,EAAE,WAAW,CAAC,MAAM,CAAC,EAC9B,IAAI,EAAE,MAAM,EACZ,IAAI,EAAE,IAAI,CAAC,gBAAgB,EAAE,cAAc,GAAG,WAAW,CAAC,GACzD,OAAO,CAAC,YAAY,CAAC,CA+CvB;AAED;;;;GAIG;AACH,wBAAgB,gBAAgB,CAC9B,IAAI,EAAE,CAAC,MAAM,EAAE,MAAM,GAAG,SAAS,KAAK,OAAO,CAAC,WAAW,CAAC,EAC1D,IAAI,EAAE,gBAAgB,GACrB,CAAC,MAAM,EAAE,MAAM,GAAG,SAAS,EAAE,MAAM,CAAC,EAAE,MAAM,KAAK,OAAO,CAAC,WAAW,CAAC,CA8BvE;AAED,gGAAgG;AAChG,wBAAgB,oBAAoB,CAClC,GAAG,EAAE,MAAM,EACX,GAAG,EAAE,SAAS,EACd,MAAM,EAAE;IACN,YAAY,CAAC,SAAS,EAAE,MAAM,EAAE,QAAQ,EAAE,MAAM,GAAG,OAAO,CAAC,gBAAgB,CAAC,CAAC;IAC7E,eAAe,CACb,SAAS,EAAE,MAAM,EACjB,QAAQ,EAAE,MAAM,EAChB,KAAK,EAAE;QAAE,OAAO,EAAE,MAAM,CAAC;QAAC,iBAAiB,EAAE,MAAM,CAAC;QAAC,YAAY,EAAE,WAAW,EAAE,CAAA;KAAE,GACjF,OAAO,CAAC,OAAO,CAAC,CAAC;CACrB,EACD,SAAS,EAAE,MAAM,EACjB,IAAI,EAAE,gBAAgB,CAAC,MAAM,CAAC,GAC7B,gBAAgB,CAgBlB"}

package/dist/lane-coverage.js

@@ -0,0 +1,129 @@
+"use strict";
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.laneCoverage = laneCoverage;
+exports.judgeOnTree = judgeOnTree;
+exports.withLaneCoverage = withLaneCoverage;
+exports.nodeLaneCoverageDeps = nodeLaneCoverageDeps;
+const core_1 = require("@looply/core");
+const index_for_head_1 = require("./index-for-head");
+const integration_1 = require("./integration");
+async function laneCoverage(input, deps) {
+    const goal = await deps.goal(input.goalId);
+    if (goal === null)
+        return { kind: 'unavailable', because: `the server does not name goal ${input.goalId}` };
+    const tree = await deps.tipTree();
+    // A claim the lane marked STALE speaks for nothing here; `decideThirdKey` has already held on it.
+    const receipted = input.receipt !== undefined && input.receipt.stale === null ? (0, core_1.acceptedKeys)(input.receipt) : new Set();
+    return judgeOnTree(goal.requirements, receipted, tree, deps);
+}
+/**
+ * STRICT COVERAGE OF `links` ON `tree` — the lane's judge (F25), shared with the source verdict (F32)
+ * so the two cannot disagree: each source measured AT that tree (reconciled when its latest
+ * measurement is about another), rows classified by the derivation that made them obligations,
+ * `receipted` as the per-requirement receipts. What it cannot establish is `unavailable`.
+ */
+async function judgeOnTree(links, receipted, tree, deps) {
+    const classifications = new Map();
+    const dispositions = new Map();
+    const attestations = new Map();
+    for (const sourceId of [...new Set(links.map((l) => l.sourceId))].sort()) {
+        let detail = await deps.sourceDetail(sourceId);
+        if (detail.classifierVersion === null) {
+            return { kind: 'unavailable', because: `source ${sourceId} was never classified, so nothing says which statements are requirements` };
+        }
+        if (detail.reconciledAt?.treeSha !== tree) {
+            await deps.reconcile(sourceId, tree, detail);
+            detail = await deps.sourceDetail(sourceId);
+            if (detail.reconciledAt?.treeSha !== tree) {
+                return { kind: 'unavailable', because: `source ${sourceId} could not be measured at the integrated tree ${tree.slice(0, 12)}` };
+            }
+        }
+        const key = (ordinal) => `${sourceId}#${ordinal}`;
+        for (const c of detail.classifications)
+            classifications.set(key(c.ordinal), c);
+        for (const d of detail.dispositions)
+            dispositions.set(key(d.ordinal), d);
+        for (const a of detail.attestations)
+            attestations.set(key(a.ordinal), a);
+        // A table row is classified by the derivation that made it an obligation, under its own address.
+        for (const d of (0, core_1.deriveAllTableRequirements)(detail.statements).derived) {
+            classifications.set((0, core_1.criterionKey)({ sourceId, ordinal: d.sourceOrdinal, row: d.row }), {
+                ordinal: d.sourceOrdinal,
+                class: d.class,
+                polarity: d.polarity,
+                rule: d.rule,
+                classifierVersion: d.classifierVersion,
+            });
+        }
+    }
+    return {
+        kind: 'judged',
+        tree,
+        result: (0, core_1.coverageGate)({
+            links,
+            classifications,
+            dispositions,
+            attestations,
+            measuredTree: tree,
+            // The tip was produced by lane publications, each re-gated on the full acceptance pass.
+            deliveredUnderReceipt: true,
+            receiptedRequirements: receipted,
+            mode: 'strict',
+        }),
+    };
+}
+/**
+ * The third key with coverage attached: what the lane says about the branch, and — when it
+ * published — whether the pursuit's goal is covered on the integrated tree. Anything that
+ * throws becomes `unavailable`, which holds; it never reads as covered.
+ */
+function withLaneCoverage(read, deps) {
+    return async (branch, goalId) => {
+        const publication = await read(branch);
+        if (publication.kind !== 'published')
+            return publication;
+        if (goalId === undefined) {
+            return { ...publication, coverage: { kind: 'unavailable', because: 'the pursuit named no goal, so its coverage cannot be judged' } };
+        }
+        // F31 (soun-12): what the lane published, and the receipt it wrote, must be about THIS goal.
+        if (publication.goalId !== undefined && publication.goalId !== goalId) {
+            return {
+                ...publication,
+                coverage: { kind: 'unavailable', because: `the lane published ${publication.branch} for goal ${publication.goalId}, not ${goalId}` },
+            };
+        }
+        if (publication.requirements !== undefined && publication.requirements.goalId !== goalId) {
+            return {
+                ...publication,
+                coverage: { kind: 'unavailable', because: `the lane's receipt at ${publication.sha} is for goal ${publication.requirements.goalId}, not ${goalId}` },
+            };
+        }
+        try {
+            const coverage = await laneCoverage({ goalId, ...(publication.requirements === undefined ? {} : { receipt: publication.requirements }) }, deps);
+            return { ...publication, coverage };
+        }
+        catch (e) {
+            return { ...publication, coverage: { kind: 'unavailable', because: e.message } };
+        }
+    };
+}
+/** The daemon's deps: the server it already talks to, and the project's own git for the tip. */
+function nodeLaneCoverageDeps(cwd, git, client, projectId, goal) {
+    return {
+        goal,
+        sourceDetail: (sourceId) => client.sourceDetail(projectId, sourceId),
+        tipTree: () => git.treeOf(integration_1.INTEGRATION_BRANCH),
+        reconcile: async (sourceId, treeSha, detail) => {
+            const index = await (0, index_for_head_1.indexForTree)(cwd, treeSha);
+            if (!index.ok)
+                throw new Error(index.because);
+            const dispositions = (0, core_1.reconcileStatements)({
+                statements: [...detail.statements],
+                classifications: [...detail.classifications],
+                index: index.snapshot,
+            });
+            await client.reconcileSource(projectId, sourceId, { treeSha, reconcilerVersion: core_1.RECONCILER_VERSION, dispositions });
+        },
+    };
+}
+//# sourceMappingURL=lane-coverage.js.map

package/dist/lane-coverage.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"lane-coverage.js","sourceRoot":"","sources":["../src/lane-coverage.ts"],"names":[],"mappings":";;AAuEA,oCAUC;AAQD,kCAoDC;AAOD,4CAiCC;AAGD,oDA6BC;AArND,uCAcsB;AAGtB,qDAAgD;AAChD,+CAAmD;AAqD5C,KAAK,UAAU,YAAY,CAChC,KAAwE,EACxE,IAAsB;IAEtB,MAAM,IAAI,GAAG,MAAM,IAAI,CAAC,IAAI,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC;IAC3C,IAAI,IAAI,KAAK,IAAI;QAAE,OAAO,EAAE,IAAI,EAAE,aAAa,EAAE,OAAO,EAAE,iCAAiC,KAAK,CAAC,MAAM,EAAE,EAAE,CAAC;IAC5G,MAAM,IAAI,GAAG,MAAM,IAAI,CAAC,OAAO,EAAE,CAAC;IAClC,kGAAkG;IAClG,MAAM,SAAS,GAAG,KAAK,CAAC,OAAO,KAAK,SAAS,IAAI,KAAK,CAAC,OAAO,CAAC,KAAK,KAAK,IAAI,CAAC,CAAC,CAAC,IAAA,mBAAY,EAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,IAAI,GAAG,EAAU,CAAC;IAChI,OAAO,WAAW,CAAC,IAAI,CAAC,YAAY,EAAE,SAAS,EAAE,IAAI,EAAE,IAAI,CAAC,CAAC;AAC/D,CAAC;AAED;;;;;GAKG;AACI,KAAK,UAAU,WAAW,CAC/B,KAAiC,EACjC,SAA8B,EAC9B,IAAY,EACZ,IAA0D;IAE1D,MAAM,eAAe,GAAG,IAAI,GAAG,EAA0B,CAAC;IAC1D,MAAM,YAAY,GAAG,IAAI,GAAG,EAAuB,CAAC;IACpD,MAAM,YAAY,GAAG,IAAI,GAAG,EAAuB,CAAC;IACpD,KAAK,MAAM,QAAQ,IAAI,CAAC,GAAG,IAAI,GAAG,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC;QACzE,IAAI,MAAM,GAAG,MAAM,IAAI,CAAC,YAAY,CAAC,QAAQ,CAAC,CAAC;QAC/C,IAAI,MAAM,CAAC,iBAAiB,KAAK,IAAI,EAAE,CAAC;YACtC,OAAO,EAAE,IAAI,EAAE,aAAa,EAAE,OAAO,EAAE,UAAU,QAAQ,0EAA0E,EAAE,CAAC;QACxI,CAAC;QACD,IAAI,MAAM,CAAC,YAAY,EAAE,OAAO,KAAK,IAAI,EAAE,CAAC;YAC1C,MAAM,IAAI,CAAC,SAAS,CAAC,QAAQ,EAAE,IAAI,EAAE,MAAM,CAAC,CAAC;YAC7C,MAAM,GAAG,MAAM,IAAI,CAAC,YAAY,CAAC,QAAQ,CAAC,CAAC;YAC3C,IAAI,MAAM,CAAC,YAAY,EAAE,OAAO,KAAK,IAAI,EAAE,CAAC;gBAC1C,OAAO,EAAE,IAAI,EAAE,aAAa,EAAE,OAAO,EAAE,UAAU,QAAQ,iDAAiD,IAAI,CAAC,KAAK,CAAC,CAAC,EAAE,EAAE,CAAC,EAAE,EAAE,CAAC;YAClI,CAAC;QACH,CAAC;QACD,MAAM,GAAG,GAAG,CAAC,OAAe,EAAU,EAAE,CAAC,GAAG,QAAQ,IAAI,OAAO,EAAE,CAAC;QAClE,KAAK,MAAM,CAAC,IAAI,MAAM,CAAC,eAAe;YAAE,eAAe,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC,CAAC;QAC/E,KAAK,MAAM,CAAC,IAAI,MAAM,CAAC,YAAY;YAAE,YAAY,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC,CAAC;QACzE,KAAK,MAAM,CAAC,IAAI,MAAM,CAAC,YAAY;YAAE,YAAY,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC,CAAC;QACzE,iGAAiG;QACjG,KAAK,MAAM,CAAC,IAAI,IAAA,iCAA0B,EAAC,MAAM,CAAC,UAAU,CAAC,CAAC,OAAO,EAAE,CAAC;YACtE,eAAe,CAAC,GAAG,CAAC,IAAA,mBAAY,EAAC,EAAE,QAAQ,EAAE,OAAO,EAAE,CAAC,CAAC,aAAa,EAAE,GAAG,EAAE,CAAC,CAAC,GAAG,EAAE,CAAC,EAAE;gBACpF,OAAO,EAAE,CAAC,CAAC,aAAa;gBACxB,KAAK,EAAE,CAAC,CAAC,KAAK;gBACd,QAAQ,EAAE,CAAC,CAAC,QAAQ;gBACpB,IAAI,EAAE,CAAC,CAAC,IAAI;gBACZ,iBAAiB,EAAE,CAAC,CAAC,iBAAiB;aACvC,CAAC,CAAC;QACL,CAAC;IACH,CAAC;IAED,OAAO;QACL,IAAI,EAAE,QAAQ;QACd,IAAI;QACJ,MAAM,EAAE,IAAA,mBAAY,EAAC;YACnB,KAAK;YACL,eAAe;YACf,YAAY;YACZ,YAAY;YACZ,YAAY,EAAE,IAAI;YAClB,wFAAwF;YACxF,qBAAqB,EAAE,IAAI;YAC3B,qBAAqB,EAAE,SAAS;YAChC,IAAI,EAAE,QAAQ;SACf,CAAC;KACH,CAAC;AACJ,CAAC;AAED;;;;GAIG;AACH,SAAgB,gBAAgB,CAC9B,IAA0D,EAC1D,IAAsB;IAEtB,OAAO,KAAK,EAAE,MAAM,EAAE,MAAM,EAAE,EAAE;QAC9B,MAAM,WAAW,GAAG,MAAM,IAAI,CAAC,MAAM,CAAC,CAAC;QACvC,IAAI,WAAW,CAAC,IAAI,KAAK,WAAW;YAAE,OAAO,WAAW,CAAC;QACzD,IAAI,MAAM,KAAK,SAAS,EAAE,CAAC;YACzB,OAAO,EAAE,GAAG,WAAW,EAAE,QAAQ,EAAE,EAAE,IAAI,EAAE,aAAa,EAAE,OAAO,EAAE,6DAA6D,EAAE,EAAE,CAAC;QACvI,CAAC;QACD,6FAA6F;QAC7F,IAAI,WAAW,CAAC,MAAM,KAAK,SAAS,IAAI,WAAW,CAAC,MAAM,KAAK,MAAM,EAAE,CAAC;YACtE,OAAO;gBACL,GAAG,WAAW;gBACd,QAAQ,EAAE,EAAE,IAAI,EAAE,aAAa,EAAE,OAAO,EAAE,sBAAsB,WAAW,CAAC,MAAM,aAAa,WAAW,CAAC,MAAM,SAAS,MAAM,EAAE,EAAE;aACrI,CAAC;QACJ,CAAC;QACD,IAAI,WAAW,CAAC,YAAY,KAAK,SAAS,IAAI,WAAW,CAAC,YAAY,CAAC,MAAM,KAAK,MAAM,EAAE,CAAC;YACzF,OAAO;gBACL,GAAG,WAAW;gBACd,QAAQ,EAAE,EAAE,IAAI,EAAE,aAAa,EAAE,OAAO,EAAE,yBAAyB,WAAW,CAAC,GAAG,gBAAgB,WAAW,CAAC,YAAY,CAAC,MAAM,SAAS,MAAM,EAAE,EAAE;aACrJ,CAAC;QACJ,CAAC;QACD,IAAI,CAAC;YACH,MAAM,QAAQ,GAAG,MAAM,YAAY,CACjC,EAAE,MAAM,EAAE,GAAG,CAAC,WAAW,CAAC,YAAY,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,OAAO,EAAE,WAAW,CAAC,YAAY,EAAE,CAAC,EAAE,EACpG,IAAI,CACL,CAAC;YACF,OAAO,EAAE,GAAG,WAAW,EAAE,QAAQ,EAAE,CAAC;QACtC,CAAC;QAAC,OAAO,CAAC,EAAE,CAAC;YACX,OAAO,EAAE,GAAG,WAAW,EAAE,QAAQ,EAAE,EAAE,IAAI,EAAE,aAAa,EAAE,OAAO,EAAG,CAAW,CAAC,OAAO,EAAE,EAAE,CAAC;QAC9F,CAAC;IACH,CAAC,CAAC;AACJ,CAAC;AAED,gGAAgG;AAChG,SAAgB,oBAAoB,CAClC,GAAW,EACX,GAAc,EACd,MAOC,EACD,SAAiB,EACjB,IAA8B;IAE9B,OAAO;QACL,IAAI;QACJ,YAAY,EAAE,CAAC,QAAQ,EAAE,EAAE,CAAC,MAAM,CAAC,YAAY,CAAC,SAAS,EAAE,QAAQ,CAAC;QACpE,OAAO,EAAE,GAAG,EAAE,CAAC,GAAG,CAAC,MAAM,CAAC,gCAAkB,CAAC;QAC7C,SAAS,EAAE,KAAK,EAAE,QAAQ,EAAE,OAAO,EAAE,MAAM,EAAE,EAAE;YAC7C,MAAM,KAAK,GAAG,MAAM,IAAA,6BAAY,EAAC,GAAG,EAAE,OAAO,CAAC,CAAC;YAC/C,IAAI,CAAC,KAAK,CAAC,EAAE;gBAAE,MAAM,IAAI,KAAK,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC;YAC9C,MAAM,YAAY,GAAG,IAAA,0BAAmB,EAAC;gBACvC,UAAU,EAAE,CAAC,GAAG,MAAM,CAAC,UAAU,CAAC;gBAClC,eAAe,EAAE,CAAC,GAAG,MAAM,CAAC,eAAe,CAAC;gBAC5C,KAAK,EAAE,KAAK,CAAC,QAAQ;aACtB,CAAC,CAAC;YACH,MAAM,MAAM,CAAC,eAAe,CAAC,SAAS,EAAE,QAAQ,EAAE,EAAE,OAAO,EAAE,iBAAiB,EAAE,yBAAkB,EAAE,YAAY,EAAE,CAAC,CAAC;QACtH,CAAC;KACF,CAAC;AACJ,CAAC"}