@encore-os/eos-spec 0.3.1

package/dist/lib/blockers.d.ts

@@ -0,0 +1,66 @@
+import type { SpecFile } from './specs.js';
+/**
+ * Extract a deduped, upper-cased list of spec ids from a possibly-dirty
+ * frontmatter value. Tolerates `null`, a scalar, or a list whose entries are
+ * polluted with prose fragments and status emoji (the real shape of today's
+ * `dependencies:` data). Anything that is not a spec-id token is dropped.
+ */
+export declare function collectSpecIds(value: unknown): string[];
+/**
+ * True when a status string indicates the spec is DONE (so it clears a blocker).
+ *
+ * Deliberately conservative and ANCHORED at the start: the repo's "done" signal is
+ * a leading ✅ or a leading `complete`/`implemented` word. Anchoring avoids clearing
+ * a blocker on statuses that merely CONTAIN "complete" partway through — real data
+ * includes `~95% Complete`, `📋 Analysis Complete`, `🚧 In Progress (60% Complete)`,
+ * none of which are done. For a blocker predicate a false-positive (wrongly clearing)
+ * is worse than a false-negative; the latter is softened because `next` still surfaces
+ * a blocked spec with an annotated note. `implemented` is included to match the
+ * completion model in archive.ts / coherence.ts.
+ */
+export declare function isCompleteStatus(status: string | undefined): boolean;
+/** True when a spec's textual status indicates completion. */
+export declare function isComplete(spec: SpecFile): boolean;
+/**
+ * True when a spec is in a TERMINAL org-lifecycle state and should be dropped from the
+ * navigator's core-pick candidate pool. Parallel to `isCompleteStatus` (also start-anchored)
+ * but for the deferred/archived/blocked/superseded family.
+ *
+ * Two terminal signals:
+ *  - `status` starts with deferred/archived/blocked/superseded (case-insensitive,
+ *    start-anchored — mirrors isCompleteStatus's anti-false-positive shape so a status that
+ *    merely CONTAINS a terminal word partway through, e.g. "needs unblocking", is not terminal).
+ *  - a `superseded_by` value is present (the spec points at its replacement).
+ *
+ * ⚠ Keys on `status` (the org-lifecycle axis) + `superseded_by`, NEVER on `pipeline_status`:
+ * HR-24 carries `status: archived` AND `pipeline_status: stub` simultaneously, so filtering on
+ * pipeline_status would leave every archived-but-stub spec in the candidate pool.
+ */
+export declare function isTerminalStatus(status: string | undefined, supersededBy?: string): boolean;
+/** True when a spec's org-lifecycle status (or a superseded_by pointer) marks it terminal. */
+export declare function isTerminal(spec: SpecFile): boolean;
+export type BlockerState = 'complete' | 'open' | 'unknown';
+export type BlockerRef = {
+    /** Upper-cased blocker spec id. */
+    id: string;
+    /** complete → cleared; open → still in progress; unknown → id resolves to no spec on disk. */
+    state: BlockerState;
+};
+export type Readiness = {
+    spec: SpecFile;
+    /** True when the spec has no blockers, or every blocker is complete. */
+    ready: boolean;
+    blockers: BlockerRef[];
+};
+/**
+ * Classify each candidate as ready or blocked by resolving its `blocked_by`
+ * ids against the full corpus (cross-core: a blocker may live in any core).
+ */
+export declare function computeReadiness(candidates: SpecFile[], corpus: SpecFile[]): Readiness[];
+/**
+ * Order candidates ready-first while preserving input order within each group
+ * (Array.prototype.sort is stable on Node 24). Feeds `next`'s candidate pick.
+ */
+export declare function orderByReadiness(candidates: SpecFile[], corpus: SpecFile[]): Readiness[];
+/** Blockers that are not yet cleared (open or unknown) — the ones worth surfacing in a note. */
+export declare function unclearedBlockers(readiness: Readiness): BlockerRef[];

package/dist/lib/blockers.js

@@ -0,0 +1,103 @@
+/**
+ * Cross-spec blocker awareness — the `bd ready` borrow from beads.
+ *
+ * Design (decided 2026-06-02):
+ *  - `blocked_by` frontmatter is the canonical machine field. The legacy
+ *    `dependencies` field stays human prose and is only read by the proposer.
+ *  - A blocker is "cleared" only when its spec reaches Complete (binary,
+ *    matches beads' closed/open model). No transitive recursion: readiness
+ *    looks one level deep at each blocker's *status*, so dependency cycles
+ *    can never loop — a cycle simply leaves both specs blocked until one
+ *    actually completes.
+ *  - An unknown/unresolvable blocker id is treated as blocking and flagged,
+ *    never silently cleared (accuracy over convenience).
+ */
+/** Matches an Encore spec id (e.g. `PF-96`, `HR-13-EN-08`, `CL-15-E2`, `LO-29`). */
+const SPEC_ID_RE = /\b[A-Z]{2,3}-(?:[A-Z]{1,4}-)?\d+(?:\.\d+)?(?:-(?:EN-\d+|E\d+|P\d+(?:\.\d+)?(?:-EN-\d+)?))?\b/g;
+/**
+ * Extract a deduped, upper-cased list of spec ids from a possibly-dirty
+ * frontmatter value. Tolerates `null`, a scalar, or a list whose entries are
+ * polluted with prose fragments and status emoji (the real shape of today's
+ * `dependencies:` data). Anything that is not a spec-id token is dropped.
+ */
+export function collectSpecIds(value) {
+    if (value == null)
+        return [];
+    const text = Array.isArray(value) ? value.map((v) => String(v)).join('\n') : String(value);
+    const ids = new Set();
+    for (const m of text.matchAll(SPEC_ID_RE))
+        ids.add(m[0].toUpperCase());
+    return [...ids];
+}
+/**
+ * True when a status string indicates the spec is DONE (so it clears a blocker).
+ *
+ * Deliberately conservative and ANCHORED at the start: the repo's "done" signal is
+ * a leading ✅ or a leading `complete`/`implemented` word. Anchoring avoids clearing
+ * a blocker on statuses that merely CONTAIN "complete" partway through — real data
+ * includes `~95% Complete`, `📋 Analysis Complete`, `🚧 In Progress (60% Complete)`,
+ * none of which are done. For a blocker predicate a false-positive (wrongly clearing)
+ * is worse than a false-negative; the latter is softened because `next` still surfaces
+ * a blocked spec with an annotated note. `implemented` is included to match the
+ * completion model in archive.ts / coherence.ts.
+ */
+export function isCompleteStatus(status) {
+    return Boolean(status && /^(?:✅|complete|implemented)/i.test(status.trim()));
+}
+/** True when a spec's textual status indicates completion. */
+export function isComplete(spec) {
+    return isCompleteStatus(spec.status);
+}
+/**
+ * True when a spec is in a TERMINAL org-lifecycle state and should be dropped from the
+ * navigator's core-pick candidate pool. Parallel to `isCompleteStatus` (also start-anchored)
+ * but for the deferred/archived/blocked/superseded family.
+ *
+ * Two terminal signals:
+ *  - `status` starts with deferred/archived/blocked/superseded (case-insensitive,
+ *    start-anchored — mirrors isCompleteStatus's anti-false-positive shape so a status that
+ *    merely CONTAINS a terminal word partway through, e.g. "needs unblocking", is not terminal).
+ *  - a `superseded_by` value is present (the spec points at its replacement).
+ *
+ * ⚠ Keys on `status` (the org-lifecycle axis) + `superseded_by`, NEVER on `pipeline_status`:
+ * HR-24 carries `status: archived` AND `pipeline_status: stub` simultaneously, so filtering on
+ * pipeline_status would leave every archived-but-stub spec in the candidate pool.
+ */
+export function isTerminalStatus(status, supersededBy) {
+    if (supersededBy && supersededBy.trim() !== '')
+        return true;
+    return Boolean(status && /^(?:deferred|archived|blocked|superseded)/i.test(status.trim()));
+}
+/** True when a spec's org-lifecycle status (or a superseded_by pointer) marks it terminal. */
+export function isTerminal(spec) {
+    return isTerminalStatus(spec.status, spec.supersededBy);
+}
+/**
+ * Classify each candidate as ready or blocked by resolving its `blocked_by`
+ * ids against the full corpus (cross-core: a blocker may live in any core).
+ */
+export function computeReadiness(candidates, corpus) {
+    const byId = new Map(corpus.map((s) => [s.id.toUpperCase(), s]));
+    return candidates.map((spec) => {
+        const blockers = spec.signals.blockedBy.map((rawId) => {
+            const id = rawId.toUpperCase();
+            const target = byId.get(id);
+            const state = !target ? 'unknown' : isComplete(target) ? 'complete' : 'open';
+            return { id, state };
+        });
+        const ready = blockers.every((b) => b.state === 'complete');
+        return { spec, ready, blockers };
+    });
+}
+/**
+ * Order candidates ready-first while preserving input order within each group
+ * (Array.prototype.sort is stable on Node 24). Feeds `next`'s candidate pick.
+ */
+export function orderByReadiness(candidates, corpus) {
+    return [...computeReadiness(candidates, corpus)].sort((a, b) => Number(b.ready) - Number(a.ready));
+}
+/** Blockers that are not yet cleared (open or unknown) — the ones worth surfacing in a note. */
+export function unclearedBlockers(readiness) {
+    return readiness.blockers.filter((b) => b.state !== 'complete');
+}
+//# sourceMappingURL=blockers.js.map

package/dist/lib/blockers.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"blockers.js","sourceRoot":"","sources":["../../src/lib/blockers.ts"],"names":[],"mappings":"AAEA;;;;;;;;;;;;;GAaG;AAEH,oFAAoF;AACpF,MAAM,UAAU,GAAG,+FAA+F,CAAC;AAEnH;;;;;GAKG;AACH,MAAM,UAAU,cAAc,CAAC,KAAc;IAC3C,IAAI,KAAK,IAAI,IAAI;QAAE,OAAO,EAAE,CAAC;IAC7B,MAAM,IAAI,GAAG,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC;IAC3F,MAAM,GAAG,GAAG,IAAI,GAAG,EAAU,CAAC;IAC9B,KAAK,MAAM,CAAC,IAAI,IAAI,CAAC,QAAQ,CAAC,UAAU,CAAC;QAAE,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,WAAW,EAAE,CAAC,CAAC;IACvE,OAAO,CAAC,GAAG,GAAG,CAAC,CAAC;AAClB,CAAC;AAED;;;;;;;;;;;GAWG;AACH,MAAM,UAAU,gBAAgB,CAAC,MAA0B;IACzD,OAAO,OAAO,CAAC,MAAM,IAAI,8BAA8B,CAAC,IAAI,CAAC,MAAM,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC;AAC/E,CAAC;AAED,8DAA8D;AAC9D,MAAM,UAAU,UAAU,CAAC,IAAc;IACvC,OAAO,gBAAgB,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;AACvC,CAAC;AAED;;;;;;;;;;;;;;GAcG;AACH,MAAM,UAAU,gBAAgB,CAAC,MAA0B,EAAE,YAAqB;IAChF,IAAI,YAAY,IAAI,YAAY,CAAC,IAAI,EAAE,KAAK,EAAE;QAAE,OAAO,IAAI,CAAC;IAC5D,OAAO,OAAO,CAAC,MAAM,IAAI,4CAA4C,CAAC,IAAI,CAAC,MAAM,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC;AAC7F,CAAC;AAED,8FAA8F;AAC9F,MAAM,UAAU,UAAU,CAAC,IAAc;IACvC,OAAO,gBAAgB,CAAC,IAAI,CAAC,MAAM,EAAE,IAAI,CAAC,YAAY,CAAC,CAAC;AAC1D,CAAC;AAkBD;;;GAGG;AACH,MAAM,UAAU,gBAAgB,CAAC,UAAsB,EAAE,MAAkB;IACzE,MAAM,IAAI,GAAG,IAAI,GAAG,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,WAAW,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC;IACjE,OAAO,UAAU,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE;QAC7B,MAAM,QAAQ,GAAiB,IAAI,CAAC,OAAO,CAAC,SAAS,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE;YAClE,MAAM,EAAE,GAAG,KAAK,CAAC,WAAW,EAAE,CAAC;YAC/B,MAAM,MAAM,GAAG,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;YAC5B,MAAM,KAAK,GAAiB,CAAC,MAAM,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,UAAU,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC,CAAC,MAAM,CAAC;YAC3F,OAAO,EAAE,EAAE,EAAE,KAAK,EAAE,CAAC;QACvB,CAAC,CAAC,CAAC;QACH,MAAM,KAAK,GAAG,QAAQ,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,KAAK,KAAK,UAAU,CAAC,CAAC;QAC5D,OAAO,EAAE,IAAI,EAAE,KAAK,EAAE,QAAQ,EAAE,CAAC;IACnC,CAAC,CAAC,CAAC;AACL,CAAC;AAED;;;GAGG;AACH,MAAM,UAAU,gBAAgB,CAAC,UAAsB,EAAE,MAAkB;IACzE,OAAO,CAAC,GAAG,gBAAgB,CAAC,UAAU,EAAE,MAAM,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,MAAM,CAAC,CAAC,CAAC,KAAK,CAAC,GAAG,MAAM,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC;AACrG,CAAC;AAED,gGAAgG;AAChG,MAAM,UAAU,iBAAiB,CAAC,SAAoB;IACpD,OAAO,SAAS,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,KAAK,KAAK,UAAU,CAAC,CAAC;AAClE,CAAC"}

package/dist/lib/claims.d.ts

@@ -0,0 +1,39 @@
+/** One in-flight reservation of a spec by a parallel worktree agent (C1). */
+export type Claim = {
+    id: string;
+    claimedBy: string;
+    /** ISO-8601 timestamp the claim was taken. */
+    claimedAt: string;
+    ttlMinutes: number;
+};
+export type ClaimStore = {
+    claims: Claim[];
+};
+/** Default lease window when --ttl is not given. */
+export declare const DEFAULT_TTL_MINUTES = 90;
+/** Absolute path of the claim store (C1). */
+export declare function claimsPath(repoRoot: string): string;
+/** Read the store; `{claims:[]}` when the file is absent or unparseable (never throws). */
+export declare function readClaims(repoRoot: string): ClaimStore;
+/** Atomic write: serialize to a unique temp file in the same dir, then rename over the target. */
+export declare function writeClaims(repoRoot: string, store: ClaimStore): void;
+/** Claims still within their TTL window relative to `nowMs`. */
+export declare function activeClaims(store: ClaimStore, nowMs: number): Claim[];
+/**
+ * Exclusive lockfile mutex around a read-modify-write. The lock is created with
+ * the `wx` flag (fails if it already exists); on contention we retry with a
+ * short bounded backoff, then break a clearly-stale lock so a crashed agent
+ * cannot wedge the store forever. Always released in `finally`.
+ */
+export declare function withClaimLock<T>(repoRoot: string, fn: () => T): T;
+/**
+ * Reserve a spec id (upper-cased). Lock-guarded read-modify-write: drops any
+ * existing claim for the same id (re-claim refreshes the lease), appends the
+ * new one, and persists atomically. Returns the stored claim.
+ */
+export declare function addClaim(repoRoot: string, id: string, opts: {
+    by: string;
+    ttlMinutes: number;
+}): Claim;
+/** Release a claim by id (no-op if absent). Lock-guarded. */
+export declare function releaseClaim(repoRoot: string, id: string): void;

package/dist/lib/claims.js

@@ -0,0 +1,133 @@
+import { mkdirSync, readFileSync, renameSync, rmSync, writeFileSync } from 'node:fs';
+import { isAbsolute, join } from 'node:path';
+import { runScript } from './exec.js';
+const STORE_FILENAME = 'eos-spec-claims.json';
+const LOCK_FILENAME = 'eos-spec-claims.lock';
+/** Default lease window when --ttl is not given. */
+export const DEFAULT_TTL_MINUTES = 90;
+/**
+ * Directory shared across every worktree of one repo: the common git dir. A
+ * worktree's `.git` is a FILE, so we MUST ask git, never path-join `.git`.
+ * Falls back to `<repoRoot>/.git` only when the git call fails (e.g. a temp
+ * dir with no repo), so unit tests stay deterministic.
+ */
+function commonGitDir(repoRoot) {
+    const r = runScript(['git', 'rev-parse', '--git-common-dir'], repoRoot);
+    const out = r.stdout.trim();
+    if (r.exitCode === 0 && out)
+        return isAbsolute(out) ? out : join(repoRoot, out);
+    return join(repoRoot, '.git');
+}
+/** Absolute path of the claim store (C1). */
+export function claimsPath(repoRoot) {
+    return join(commonGitDir(repoRoot), STORE_FILENAME);
+}
+function lockPath(repoRoot) {
+    return join(commonGitDir(repoRoot), LOCK_FILENAME);
+}
+/** Read the store; `{claims:[]}` when the file is absent or unparseable (never throws). */
+export function readClaims(repoRoot) {
+    let raw;
+    try {
+        raw = readFileSync(claimsPath(repoRoot), 'utf8');
+    }
+    catch {
+        return { claims: [] };
+    }
+    try {
+        const parsed = JSON.parse(raw);
+        const claims = parsed?.claims;
+        return Array.isArray(claims) ? { claims } : { claims: [] };
+    }
+    catch {
+        return { claims: [] };
+    }
+}
+/** Atomic write: serialize to a unique temp file in the same dir, then rename over the target. */
+export function writeClaims(repoRoot, store) {
+    const target = claimsPath(repoRoot);
+    mkdirSync(commonGitDir(repoRoot), { recursive: true });
+    const tmp = `${target}.${process.pid}.${Date.now()}.tmp`;
+    writeFileSync(tmp, `${JSON.stringify(store, null, 2)}\n`, 'utf8');
+    renameSync(tmp, target);
+}
+/** Claims still within their TTL window relative to `nowMs`. */
+export function activeClaims(store, nowMs) {
+    return store.claims.filter((c) => {
+        const startMs = Date.parse(c.claimedAt);
+        if (Number.isNaN(startMs))
+            return false; // unparseable timestamp → treat as stale
+        return startMs + c.ttlMinutes * 60_000 >= nowMs;
+    });
+}
+/**
+ * Exclusive lockfile mutex around a read-modify-write. The lock is created with
+ * the `wx` flag (fails if it already exists); on contention we retry with a
+ * short bounded backoff, then break a clearly-stale lock so a crashed agent
+ * cannot wedge the store forever. Always released in `finally`.
+ */
+export function withClaimLock(repoRoot, fn) {
+    const lock = lockPath(repoRoot);
+    mkdirSync(commonGitDir(repoRoot), { recursive: true });
+    const maxAttempts = 50;
+    const backoffMs = 20;
+    const staleLockMs = 30_000;
+    let acquired = false;
+    for (let attempt = 0; attempt < maxAttempts && !acquired; attempt++) {
+        try {
+            writeFileSync(lock, `${process.pid}@${new Date().toISOString()}\n`, { flag: 'wx' });
+            acquired = true;
+        }
+        catch {
+            // Lock held — break it if it is clearly stale, else spin-wait briefly.
+            try {
+                const heldAt = Date.parse(readFileSync(lock, 'utf8').split('@')[1]?.trim() ?? '');
+                if (!Number.isNaN(heldAt) && Date.now() - heldAt > staleLockMs)
+                    rmSync(lock, { force: true });
+            }
+            catch {
+                // unreadable lock — fall through to the busy-wait
+            }
+            const until = Date.now() + backoffMs;
+            while (Date.now() < until) {
+                /* bounded busy-wait — claim ops are sub-ms, so this never spins long */
+            }
+        }
+    }
+    try {
+        return fn();
+    }
+    finally {
+        if (acquired)
+            rmSync(lock, { force: true });
+    }
+}
+/**
+ * Reserve a spec id (upper-cased). Lock-guarded read-modify-write: drops any
+ * existing claim for the same id (re-claim refreshes the lease), appends the
+ * new one, and persists atomically. Returns the stored claim.
+ */
+export function addClaim(repoRoot, id, opts) {
+    const claim = {
+        id: id.toUpperCase(),
+        claimedBy: opts.by,
+        claimedAt: new Date().toISOString(),
+        ttlMinutes: opts.ttlMinutes,
+    };
+    return withClaimLock(repoRoot, () => {
+        const store = readClaims(repoRoot);
+        const claims = store.claims.filter((c) => c.id !== claim.id);
+        claims.push(claim);
+        writeClaims(repoRoot, { claims });
+        return claim;
+    });
+}
+/** Release a claim by id (no-op if absent). Lock-guarded. */
+export function releaseClaim(repoRoot, id) {
+    const upper = id.toUpperCase();
+    withClaimLock(repoRoot, () => {
+        const store = readClaims(repoRoot);
+        writeClaims(repoRoot, { claims: store.claims.filter((c) => c.id !== upper) });
+    });
+}
+//# sourceMappingURL=claims.js.map

package/dist/lib/claims.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"claims.js","sourceRoot":"","sources":["../../src/lib/claims.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,SAAS,EAAE,YAAY,EAAE,UAAU,EAAE,MAAM,EAAE,aAAa,EAAE,MAAM,SAAS,CAAC;AACrF,OAAO,EAAE,UAAU,EAAE,IAAI,EAAE,MAAM,WAAW,CAAC;AAC7C,OAAO,EAAE,SAAS,EAAE,MAAM,WAAW,CAAC;AAatC,MAAM,cAAc,GAAG,sBAAsB,CAAC;AAC9C,MAAM,aAAa,GAAG,sBAAsB,CAAC;AAC7C,oDAAoD;AACpD,MAAM,CAAC,MAAM,mBAAmB,GAAG,EAAE,CAAC;AAEtC;;;;;GAKG;AACH,SAAS,YAAY,CAAC,QAAgB;IACpC,MAAM,CAAC,GAAG,SAAS,CAAC,CAAC,KAAK,EAAE,WAAW,EAAE,kBAAkB,CAAC,EAAE,QAAQ,CAAC,CAAC;IACxE,MAAM,GAAG,GAAG,CAAC,CAAC,MAAM,CAAC,IAAI,EAAE,CAAC;IAC5B,IAAI,CAAC,CAAC,QAAQ,KAAK,CAAC,IAAI,GAAG;QAAE,OAAO,UAAU,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,QAAQ,EAAE,GAAG,CAAC,CAAC;IAChF,OAAO,IAAI,CAAC,QAAQ,EAAE,MAAM,CAAC,CAAC;AAChC,CAAC;AAED,6CAA6C;AAC7C,MAAM,UAAU,UAAU,CAAC,QAAgB;IACzC,OAAO,IAAI,CAAC,YAAY,CAAC,QAAQ,CAAC,EAAE,cAAc,CAAC,CAAC;AACtD,CAAC;AAED,SAAS,QAAQ,CAAC,QAAgB;IAChC,OAAO,IAAI,CAAC,YAAY,CAAC,QAAQ,CAAC,EAAE,aAAa,CAAC,CAAC;AACrD,CAAC;AAED,2FAA2F;AAC3F,MAAM,UAAU,UAAU,CAAC,QAAgB;IACzC,IAAI,GAAW,CAAC;IAChB,IAAI,CAAC;QACH,GAAG,GAAG,YAAY,CAAC,UAAU,CAAC,QAAQ,CAAC,EAAE,MAAM,CAAC,CAAC;IACnD,CAAC;IAAC,MAAM,CAAC;QACP,OAAO,EAAE,MAAM,EAAE,EAAE,EAAE,CAAC;IACxB,CAAC;IACD,IAAI,CAAC;QACH,MAAM,MAAM,GAAG,IAAI,CAAC,KAAK,CAAC,GAAG,CAAY,CAAC;QAC1C,MAAM,MAAM,GAAI,MAAqB,EAAE,MAAM,CAAC;QAC9C,OAAO,KAAK,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,EAAE,MAAM,EAAE,CAAC,CAAC,CAAC,EAAE,MAAM,EAAE,EAAE,EAAE,CAAC;IAC7D,CAAC;IAAC,MAAM,CAAC;QACP,OAAO,EAAE,MAAM,EAAE,EAAE,EAAE,CAAC;IACxB,CAAC;AACH,CAAC;AAED,kGAAkG;AAClG,MAAM,UAAU,WAAW,CAAC,QAAgB,EAAE,KAAiB;IAC7D,MAAM,MAAM,GAAG,UAAU,CAAC,QAAQ,CAAC,CAAC;IACpC,SAAS,CAAC,YAAY,CAAC,QAAQ,CAAC,EAAE,EAAE,SAAS,EAAE,IAAI,EAAE,CAAC,CAAC;IACvD,MAAM,GAAG,GAAG,GAAG,MAAM,IAAI,OAAO,CAAC,GAAG,IAAI,IAAI,CAAC,GAAG,EAAE,MAAM,CAAC;IACzD,aAAa,CAAC,GAAG,EAAE,GAAG,IAAI,CAAC,SAAS,CAAC,KAAK,EAAE,IAAI,EAAE,CAAC,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC;IAClE,UAAU,CAAC,GAAG,EAAE,MAAM,CAAC,CAAC;AAC1B,CAAC;AAED,gEAAgE;AAChE,MAAM,UAAU,YAAY,CAAC,KAAiB,EAAE,KAAa;IAC3D,OAAO,KAAK,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE;QAC/B,MAAM,OAAO,GAAG,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC;QACxC,IAAI,MAAM,CAAC,KAAK,CAAC,OAAO,CAAC;YAAE,OAAO,KAAK,CAAC,CAAC,yCAAyC;QAClF,OAAO,OAAO,GAAG,CAAC,CAAC,UAAU,GAAG,MAAM,IAAI,KAAK,CAAC;IAClD,CAAC,CAAC,CAAC;AACL,CAAC;AAED;;;;;GAKG;AACH,MAAM,UAAU,aAAa,CAAI,QAAgB,EAAE,EAAW;IAC5D,MAAM,IAAI,GAAG,QAAQ,CAAC,QAAQ,CAAC,CAAC;IAChC,SAAS,CAAC,YAAY,CAAC,QAAQ,CAAC,EAAE,EAAE,SAAS,EAAE,IAAI,EAAE,CAAC,CAAC;IACvD,MAAM,WAAW,GAAG,EAAE,CAAC;IACvB,MAAM,SAAS,GAAG,EAAE,CAAC;IACrB,MAAM,WAAW,GAAG,MAAM,CAAC;IAC3B,IAAI,QAAQ,GAAG,KAAK,CAAC;IACrB,KAAK,IAAI,OAAO,GAAG,CAAC,EAAE,OAAO,GAAG,WAAW,IAAI,CAAC,QAAQ,EAAE,OAAO,EAAE,EAAE,CAAC;QACpE,IAAI,CAAC;YACH,aAAa,CAAC,IAAI,EAAE,GAAG,OAAO,CAAC,GAAG,IAAI,IAAI,IAAI,EAAE,CAAC,WAAW,EAAE,IAAI,EAAE,EAAE,IAAI,EAAE,IAAI,EAAE,CAAC,CAAC;YACpF,QAAQ,GAAG,IAAI,CAAC;QAClB,CAAC;QAAC,MAAM,CAAC;YACP,uEAAuE;YACvE,IAAI,CAAC;gBACH,MAAM,MAAM,GAAG,IAAI,CAAC,KAAK,CAAC,YAAY,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,IAAI,EAAE,CAAC,CAAC;gBAClF,IAAI,CAAC,MAAM,CAAC,KAAK,CAAC,MAAM,CAAC,IAAI,IAAI,CAAC,GAAG,EAAE,GAAG,MAAM,GAAG,WAAW;oBAAE,MAAM,CAAC,IAAI,EAAE,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC,CAAC;YAChG,CAAC;YAAC,MAAM,CAAC;gBACP,kDAAkD;YACpD,CAAC;YACD,MAAM,KAAK,GAAG,IAAI,CAAC,GAAG,EAAE,GAAG,SAAS,CAAC;YACrC,OAAO,IAAI,CAAC,GAAG,EAAE,GAAG,KAAK,EAAE,CAAC;gBAC1B,wEAAwE;YAC1E,CAAC;QACH,CAAC;IACH,CAAC;IACD,IAAI,CAAC;QACH,OAAO,EAAE,EAAE,CAAC;IACd,CAAC;YAAS,CAAC;QACT,IAAI,QAAQ;YAAE,MAAM,CAAC,IAAI,EAAE,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC,CAAC;IAC9C,CAAC;AACH,CAAC;AAED;;;;GAIG;AACH,MAAM,UAAU,QAAQ,CAAC,QAAgB,EAAE,EAAU,EAAE,IAAwC;IAC7F,MAAM,KAAK,GAAU;QACnB,EAAE,EAAE,EAAE,CAAC,WAAW,EAAE;QACpB,SAAS,EAAE,IAAI,CAAC,EAAE;QAClB,SAAS,EAAE,IAAI,IAAI,EAAE,CAAC,WAAW,EAAE;QACnC,UAAU,EAAE,IAAI,CAAC,UAAU;KAC5B,CAAC;IACF,OAAO,aAAa,CAAC,QAAQ,EAAE,GAAG,EAAE;QAClC,MAAM,KAAK,GAAG,UAAU,CAAC,QAAQ,CAAC,CAAC;QACnC,MAAM,MAAM,GAAG,KAAK,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,KAAK,KAAK,CAAC,EAAE,CAAC,CAAC;QAC7D,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QACnB,WAAW,CAAC,QAAQ,EAAE,EAAE,MAAM,EAAE,CAAC,CAAC;QAClC,OAAO,KAAK,CAAC;IACf,CAAC,CAAC,CAAC;AACL,CAAC;AAED,6DAA6D;AAC7D,MAAM,UAAU,YAAY,CAAC,QAAgB,EAAE,EAAU;IACvD,MAAM,KAAK,GAAG,EAAE,CAAC,WAAW,EAAE,CAAC;IAC/B,aAAa,CAAC,QAAQ,EAAE,GAAG,EAAE;QAC3B,MAAM,KAAK,GAAG,UAAU,CAAC,QAAQ,CAAC,CAAC;QACnC,WAAW,CAAC,QAAQ,EAAE,EAAE,MAAM,EAAE,KAAK,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,KAAK,KAAK,CAAC,EAAE,CAAC,CAAC;IAChF,CAAC,CAAC,CAAC;AACL,CAAC"}

package/dist/lib/classify-debt.d.ts

@@ -0,0 +1,17 @@
+export type DebtTier = 'T0' | 'T1' | 'T2' | 'T3' | 'T4';
+export interface ScorecardLite {
+    claimsComplete: boolean;
+    requirementsTotal: number;
+    requirementsVerified: number;
+}
+export interface CodeEvidence {
+    hasTestsPass: boolean;
+    hasCode: boolean;
+    hasScaffold?: boolean;
+}
+export interface TierResult {
+    tier: DebtTier;
+    honestStatus: 'complete' | 'partial' | 'scaffolded' | 'draft';
+    action: 'keep' | 'relink' | 'downgrade';
+}
+export declare function classifyTier(s: ScorecardLite, e: CodeEvidence): TierResult;

package/dist/lib/classify-debt.js

@@ -0,0 +1,13 @@
+export function classifyTier(s, e) {
+    if (s.claimsComplete && s.requirementsVerified > 0) {
+        return { tier: 'T0', honestStatus: 'complete', action: 'keep' };
+    }
+    if (e.hasTestsPass)
+        return { tier: 'T1', honestStatus: 'complete', action: 'relink' };
+    if (e.hasCode)
+        return { tier: 'T2', honestStatus: 'partial', action: 'downgrade' };
+    if (e.hasScaffold)
+        return { tier: 'T3', honestStatus: 'scaffolded', action: 'downgrade' };
+    return { tier: 'T4', honestStatus: 'draft', action: 'downgrade' };
+}
+//# sourceMappingURL=classify-debt.js.map

package/dist/lib/classify-debt.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"classify-debt.js","sourceRoot":"","sources":["../../src/lib/classify-debt.ts"],"names":[],"mappings":"AAmBA,MAAM,UAAU,YAAY,CAAC,CAAgB,EAAE,CAAe;IAC5D,IAAI,CAAC,CAAC,cAAc,IAAI,CAAC,CAAC,oBAAoB,GAAG,CAAC,EAAE,CAAC;QACnD,OAAO,EAAE,IAAI,EAAE,IAAI,EAAE,YAAY,EAAE,UAAU,EAAE,MAAM,EAAE,MAAM,EAAE,CAAC;IAClE,CAAC;IACD,IAAI,CAAC,CAAC,YAAY;QAAE,OAAO,EAAE,IAAI,EAAE,IAAI,EAAE,YAAY,EAAE,UAAU,EAAE,MAAM,EAAE,QAAQ,EAAE,CAAC;IACtF,IAAI,CAAC,CAAC,OAAO;QAAE,OAAO,EAAE,IAAI,EAAE,IAAI,EAAE,YAAY,EAAE,SAAS,EAAE,MAAM,EAAE,WAAW,EAAE,CAAC;IACnF,IAAI,CAAC,CAAC,WAAW;QAAE,OAAO,EAAE,IAAI,EAAE,IAAI,EAAE,YAAY,EAAE,YAAY,EAAE,MAAM,EAAE,WAAW,EAAE,CAAC;IAC1F,OAAO,EAAE,IAAI,EAAE,IAAI,EAAE,YAAY,EAAE,OAAO,EAAE,MAAM,EAAE,WAAW,EAAE,CAAC;AACpE,CAAC"}

package/dist/lib/code-evidence.d.ts

@@ -0,0 +1,35 @@
+import type { CodeEvidence } from './classify-debt.js';
+import type { ScorecardRow } from './scorecard.js';
+import type { SpecFile } from './specs.js';
+/**
+ * Code-evidence probe result. Extends classify-debt's CodeEvidence (the exact shape classifyTier
+ * consumes) with a human-readable `reason` for the debt dashboard — composed here so the
+ * classify-debt interface stays a pure tier input and is never polluted with prose.
+ */
+export interface CodeEvidenceResult extends CodeEvidence {
+    /** Short justification of how hasCode / hasTestsPass / hasScaffold were decided. */
+    reason: string;
+}
+/**
+ * Extract candidate table/entity tokens (`<core>_<name>`) a spec declares. We read the Data Model
+ * `#### \`hr_xxx\`` headers and any `CREATE TABLE hr_xxx` / bare `hr_xxx` identifiers in the body.
+ * These tokens are the concrete strings we grep for in src + migrations to prove implementation.
+ * Conservative: when a spec declares no such token we return an empty set and the caller will NOT
+ * guess hasCode from the id alone unless the id itself is referenced in source.
+ */
+export declare function extractTableTokens(specText: string, core: string): Set<string>;
+/**
+ * Derive code/test evidence for one spec, CONSERVATIVELY (prefer surfacing uncertainty over an
+ * aggressive downgrade). Signals:
+ *  - hasTestsPass: TRUE iff row.verifiedUndeclared > 0 — a genuine `@verifies` backlink exists for
+ *    this spec but points at an undeclared/typo'd id (tests exist, linkage broken → T1/relink). This
+ *    is the ONLY legitimate T1/relink case: when row.requirementsVerified > 0 classifyTier already
+ *    returns T0, so a real declared backlink never reaches here. An incidental id-mention in a
+ *    `tests/` file (a comment, fixture string, unrelated reference) is NOT proof of a passing test —
+ *    it is surfaced as an informational hint in the reason only, and never sets hasTestsPass.
+ *  - hasCode: a migration or `src/cores/<core>/` source file mentions one of the spec's declared
+ *    table tokens, or references the spec id directly. When no reliable token can be extracted and
+ *    the id is unreferenced, hasCode stays FALSE (never guessed true).
+ *  - hasScaffold: the only source reference to the id sits beside a TODO/STUB/placeholder marker.
+ */
+export declare function deriveCodeEvidence(repoRoot: string, spec: SpecFile, row: ScorecardRow): CodeEvidenceResult;

package/dist/lib/code-evidence.js

@@ -0,0 +1,171 @@
+import { existsSync, readdirSync, readFileSync } from 'node:fs';
+import { join } from 'node:path';
+const SKIP_DIRS = new Set(['node_modules', '.git', 'dist', 'build', 'coverage', '.turbo']);
+const SOURCE_FILE = /\.(ts|tsx|sql)$/;
+const TEST_FILE = /\.(test|spec)\.tsx?$/;
+/** Placeholder/stub markers — a file that only references the spec id near one of these is scaffold, not code. */
+const SCAFFOLD_RE = /\b(TODO|FIXME|STUB|PLACEHOLDER|not[\s-]?implemented|coming soon)\b/i;
+/**
+ * Extract candidate table/entity tokens (`<core>_<name>`) a spec declares. We read the Data Model
+ * `#### \`hr_xxx\`` headers and any `CREATE TABLE hr_xxx` / bare `hr_xxx` identifiers in the body.
+ * These tokens are the concrete strings we grep for in src + migrations to prove implementation.
+ * Conservative: when a spec declares no such token we return an empty set and the caller will NOT
+ * guess hasCode from the id alone unless the id itself is referenced in source.
+ */
+export function extractTableTokens(specText, core) {
+    const prefix = `${core.toLowerCase()}_`;
+    const tokens = new Set();
+    // Match identifiers that start with the core prefix and a letter, e.g. hr_employees, pm_encounters.
+    const re = new RegExp(`\\b${prefix}[a-z][a-z0-9_]*\\b`, 'g');
+    for (const m of specText.match(re) ?? []) {
+        // Drop trivially short / obviously non-table tokens (e.g. a bare prefix).
+        if (m.length > prefix.length + 1)
+            tokens.add(m);
+    }
+    return tokens;
+}
+/** Bounded recursive walk: invoke `onFile(text)` for every file under `dir` matching `fileFilter`.
+ *  Stops early and returns true the first time `onFile` returns true. */
+function walkSourceFiles(dir, fileFilter, onFile) {
+    if (!existsSync(dir))
+        return false;
+    const stack = [dir];
+    while (stack.length > 0) {
+        const cur = stack.pop();
+        if (cur === undefined)
+            continue;
+        let entries;
+        try {
+            entries = readdirSync(cur, { withFileTypes: true });
+        }
+        catch {
+            continue;
+        }
+        for (const e of entries) {
+            if (e.isDirectory()) {
+                if (!SKIP_DIRS.has(e.name))
+                    stack.push(join(cur, e.name));
+                continue;
+            }
+            if (!fileFilter.test(e.name))
+                continue;
+            let text;
+            try {
+                text = readFileSync(join(cur, e.name), 'utf8');
+            }
+            catch {
+                continue;
+            }
+            if (onFile(text))
+                return true;
+        }
+    }
+    return false;
+}
+/** Recursively test whether any source file under `dir` contains one of `needles`. */
+function dirContainsAny(dir, needles, fileFilter) {
+    if (needles.length === 0)
+        return false;
+    return walkSourceFiles(dir, fileFilter, (text) => needles.some((n) => text.includes(n)));
+}
+/** Count files under `dir` (matching `fileFilter`) that mention `needle`. Informational only — used
+ *  to surface an "id mentioned in N test files (unverified)" hint, never to decide a tier. */
+function countFilesMentioning(dir, needle, fileFilter) {
+    let count = 0;
+    walkSourceFiles(dir, fileFilter, (text) => {
+        if (text.includes(needle))
+            count++;
+        return false; // never stop early — we want the full count
+    });
+    return count;
+}
+/**
+ * Classify how a `dir` references `needle`:
+ *  - 'real'     → at least one matching file references it WITHOUT being a scaffold/placeholder.
+ *  - 'scaffold' → it is referenced, but every matching file is scaffold-only (TODO/STUB/placeholder).
+ *  - 'none'     → no matching file references it.
+ * Real wins over scaffold: a single non-stub reference is enough to call it real code.
+ */
+function classifyReference(dir, needle, fileFilter) {
+    let sawScaffold = false;
+    const foundReal = walkSourceFiles(dir, fileFilter, (text) => {
+        if (!text.includes(needle))
+            return false;
+        if (SCAFFOLD_RE.test(text)) {
+            sawScaffold = true;
+            return false; // keep scanning — a later file may be real code
+        }
+        return true; // non-scaffold reference → real
+    });
+    if (foundReal)
+        return 'real';
+    return sawScaffold ? 'scaffold' : 'none';
+}
+/**
+ * Derive code/test evidence for one spec, CONSERVATIVELY (prefer surfacing uncertainty over an
+ * aggressive downgrade). Signals:
+ *  - hasTestsPass: TRUE iff row.verifiedUndeclared > 0 — a genuine `@verifies` backlink exists for
+ *    this spec but points at an undeclared/typo'd id (tests exist, linkage broken → T1/relink). This
+ *    is the ONLY legitimate T1/relink case: when row.requirementsVerified > 0 classifyTier already
+ *    returns T0, so a real declared backlink never reaches here. An incidental id-mention in a
+ *    `tests/` file (a comment, fixture string, unrelated reference) is NOT proof of a passing test —
+ *    it is surfaced as an informational hint in the reason only, and never sets hasTestsPass.
+ *  - hasCode: a migration or `src/cores/<core>/` source file mentions one of the spec's declared
+ *    table tokens, or references the spec id directly. When no reliable token can be extracted and
+ *    the id is unreferenced, hasCode stays FALSE (never guessed true).
+ *  - hasScaffold: the only source reference to the id sits beside a TODO/STUB/placeholder marker.
+ */
+export function deriveCodeEvidence(repoRoot, spec, row) {
+    const core = spec.core.toLowerCase();
+    let specText = '';
+    try {
+        specText = readFileSync(spec.path, 'utf8');
+    }
+    catch {
+        // unreadable spec → no tokens; hasCode falls back to id-reference only
+    }
+    const tokens = extractTableTokens(specText, core);
+    const coreDir = join(repoRoot, 'src', 'cores', core);
+    const migDir = join(repoRoot, 'supabase', 'migrations');
+    // hasTestsPass — TRUE only for a genuine @verifies backlink that's mis-targeted (verifiedUndeclared>0).
+    // An incidental id-mention in a tests/ file is recorded as a HINT only; it never sets hasTestsPass.
+    const reasons = [];
+    let hasTestsPass = false;
+    if (row.verifiedUndeclared > 0) {
+        hasTestsPass = true;
+        reasons.push(`${row.verifiedUndeclared} @verifies backlink(s) to undeclared ids (tests exist, linkage broken)`);
+    }
+    else {
+        const mentions = countFilesMentioning(join(repoRoot, 'tests'), spec.id, TEST_FILE);
+        if (mentions > 0) {
+            reasons.push(`id mentioned in ${mentions} test file(s) (unverified — confirm in dogfood)`);
+        }
+    }
+    // hasCode: declared table tokens in source/migrations, OR the spec id referenced (non-scaffold) in core source.
+    const needles = [...tokens];
+    let hasCode = false;
+    const idRef = classifyReference(coreDir, spec.id, SOURCE_FILE);
+    if (needles.length > 0 &&
+        (dirContainsAny(coreDir, needles, SOURCE_FILE) || dirContainsAny(migDir, needles, SOURCE_FILE))) {
+        hasCode = true;
+        reasons.push(`table token(s) [${needles.join(', ')}] found in src/cores/${core} or migrations`);
+    }
+    else if (idRef === 'real') {
+        hasCode = true;
+        reasons.push(`spec id ${spec.id} referenced in src/cores/${core}`);
+    }
+    else if (needles.length === 0) {
+        reasons.push('no reliable table token extracted and id unreferenced in core source → hasCode=false (conservative)');
+    }
+    else {
+        reasons.push(`no match for table token(s) [${needles.join(', ')}] or id in core source/migrations`);
+    }
+    // hasScaffold: only meaningful when we did NOT find real code. A TODO-adjacent id reference.
+    let hasScaffold = false;
+    if (!hasCode && idRef === 'scaffold') {
+        hasScaffold = true;
+        reasons.push(`scaffold/placeholder reference to ${spec.id} in src/cores/${core}`);
+    }
+    return { hasTestsPass, hasCode, hasScaffold, reason: reasons.join('; ') };
+}
+//# sourceMappingURL=code-evidence.js.map

package/dist/lib/code-evidence.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"code-evidence.js","sourceRoot":"","sources":["../../src/lib/code-evidence.ts"],"names":[],"mappings":"AAAA,OAAO,EAAe,UAAU,EAAE,WAAW,EAAE,YAAY,EAAE,MAAM,SAAS,CAAC;AAC7E,OAAO,EAAE,IAAI,EAAE,MAAM,WAAW,CAAC;AAKjC,MAAM,SAAS,GAAG,IAAI,GAAG,CAAC,CAAC,cAAc,EAAE,MAAM,EAAE,MAAM,EAAE,OAAO,EAAE,UAAU,EAAE,QAAQ,CAAC,CAAC,CAAC;AAC3F,MAAM,WAAW,GAAG,iBAAiB,CAAC;AACtC,MAAM,SAAS,GAAG,sBAAsB,CAAC;AACzC,kHAAkH;AAClH,MAAM,WAAW,GAAG,qEAAqE,CAAC;AAY1F;;;;;;GAMG;AACH,MAAM,UAAU,kBAAkB,CAAC,QAAgB,EAAE,IAAY;IAC/D,MAAM,MAAM,GAAG,GAAG,IAAI,CAAC,WAAW,EAAE,GAAG,CAAC;IACxC,MAAM,MAAM,GAAG,IAAI,GAAG,EAAU,CAAC;IACjC,oGAAoG;IACpG,MAAM,EAAE,GAAG,IAAI,MAAM,CAAC,MAAM,MAAM,oBAAoB,EAAE,GAAG,CAAC,CAAC;IAC7D,KAAK,MAAM,CAAC,IAAI,QAAQ,CAAC,KAAK,CAAC,EAAE,CAAC,IAAI,EAAE,EAAE,CAAC;QACzC,0EAA0E;QAC1E,IAAI,CAAC,CAAC,MAAM,GAAG,MAAM,CAAC,MAAM,GAAG,CAAC;YAAE,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;IAClD,CAAC;IACD,OAAO,MAAM,CAAC;AAChB,CAAC;AAED;yEACyE;AACzE,SAAS,eAAe,CAAC,GAAW,EAAE,UAAkB,EAAE,MAAiC;IACzF,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC;QAAE,OAAO,KAAK,CAAC;IACnC,MAAM,KAAK,GAAG,CAAC,GAAG,CAAC,CAAC;IACpB,OAAO,KAAK,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACxB,MAAM,GAAG,GAAG,KAAK,CAAC,GAAG,EAAE,CAAC;QACxB,IAAI,GAAG,KAAK,SAAS;YAAE,SAAS;QAChC,IAAI,OAAiB,CAAC;QACtB,IAAI,CAAC;YACH,OAAO,GAAG,WAAW,CAAC,GAAG,EAAE,EAAE,aAAa,EAAE,IAAI,EAAE,CAAC,CAAC;QACtD,CAAC;QAAC,MAAM,CAAC;YACP,SAAS;QACX,CAAC;QACD,KAAK,MAAM,CAAC,IAAI,OAAO,EAAE,CAAC;YACxB,IAAI,CAAC,CAAC,WAAW,EAAE,EAAE,CAAC;gBACpB,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC;oBAAE,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC;gBAC1D,SAAS;YACX,CAAC;YACD,IAAI,CAAC,UAAU,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC;gBAAE,SAAS;YACvC,IAAI,IAAY,CAAC;YACjB,IAAI,CAAC;gBACH,IAAI,GAAG,YAAY,CAAC,IAAI,CAAC,GAAG,EAAE,CAAC,CAAC,IAAI,CAAC,EAAE,MAAM,CAAC,CAAC;YACjD,CAAC;YAAC,MAAM,CAAC;gBACP,SAAS;YACX,CAAC;YACD,IAAI,MAAM,CAAC,IAAI,CAAC;gBAAE,OAAO,IAAI,CAAC;QAChC,CAAC;IACH,CAAC;IACD,OAAO,KAAK,CAAC;AACf,CAAC;AAED,sFAAsF;AACtF,SAAS,cAAc,CAAC,GAAW,EAAE,OAAiB,EAAE,UAAkB;IACxE,IAAI,OAAO,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,KAAK,CAAC;IACvC,OAAO,eAAe,CAAC,GAAG,EAAE,UAAU,EAAE,CAAC,IAAI,EAAE,EAAE,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;AAC3F,CAAC;AAED;8FAC8F;AAC9F,SAAS,oBAAoB,CAAC,GAAW,EAAE,MAAc,EAAE,UAAkB;IAC3E,IAAI,KAAK,GAAG,CAAC,CAAC;IACd,eAAe,CAAC,GAAG,EAAE,UAAU,EAAE,CAAC,IAAI,EAAE,EAAE;QACxC,IAAI,IAAI,CAAC,QAAQ,CAAC,MAAM,CAAC;YAAE,KAAK,EAAE,CAAC;QACnC,OAAO,KAAK,CAAC,CAAC,4CAA4C;IAC5D,CAAC,CAAC,CAAC;IACH,OAAO,KAAK,CAAC;AACf,CAAC;AAED;;;;;;GAMG;AACH,SAAS,iBAAiB,CAAC,GAAW,EAAE,MAAc,EAAE,UAAkB;IACxE,IAAI,WAAW,GAAG,KAAK,CAAC;IACxB,MAAM,SAAS,GAAG,eAAe,CAAC,GAAG,EAAE,UAAU,EAAE,CAAC,IAAI,EAAE,EAAE;QAC1D,IAAI,CAAC,IAAI,CAAC,QAAQ,CAAC,MAAM,CAAC;YAAE,OAAO,KAAK,CAAC;QACzC,IAAI,WAAW,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC;YAC3B,WAAW,GAAG,IAAI,CAAC;YACnB,OAAO,KAAK,CAAC,CAAC,gDAAgD;QAChE,CAAC;QACD,OAAO,IAAI,CAAC,CAAC,gCAAgC;IAC/C,CAAC,CAAC,CAAC;IACH,IAAI,SAAS;QAAE,OAAO,MAAM,CAAC;IAC7B,OAAO,WAAW,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC,CAAC,MAAM,CAAC;AAC3C,CAAC;AAED;;;;;;;;;;;;;GAaG;AACH,MAAM,UAAU,kBAAkB,CAAC,QAAgB,EAAE,IAAc,EAAE,GAAiB;IACpF,MAAM,IAAI,GAAG,IAAI,CAAC,IAAI,CAAC,WAAW,EAAE,CAAC;IACrC,IAAI,QAAQ,GAAG,EAAE,CAAC;IAClB,IAAI,CAAC;QACH,QAAQ,GAAG,YAAY,CAAC,IAAI,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC;IAC7C,CAAC;IAAC,MAAM,CAAC;QACP,uEAAuE;IACzE,CAAC;IACD,MAAM,MAAM,GAAG,kBAAkB,CAAC,QAAQ,EAAE,IAAI,CAAC,CAAC;IAClD,MAAM,OAAO,GAAG,IAAI,CAAC,QAAQ,EAAE,KAAK,EAAE,OAAO,EAAE,IAAI,CAAC,CAAC;IACrD,MAAM,MAAM,GAAG,IAAI,CAAC,QAAQ,EAAE,UAAU,EAAE,YAAY,CAAC,CAAC;IAExD,wGAAwG;IACxG,oGAAoG;IACpG,MAAM,OAAO,GAAa,EAAE,CAAC;IAC7B,IAAI,YAAY,GAAG,KAAK,CAAC;IACzB,IAAI,GAAG,CAAC,kBAAkB,GAAG,CAAC,EAAE,CAAC;QAC/B,YAAY,GAAG,IAAI,CAAC;QACpB,OAAO,CAAC,IAAI,CAAC,GAAG,GAAG,CAAC,kBAAkB,wEAAwE,CAAC,CAAC;IAClH,CAAC;SAAM,CAAC;QACN,MAAM,QAAQ,GAAG,oBAAoB,CAAC,IAAI,CAAC,QAAQ,EAAE,OAAO,CAAC,EAAE,IAAI,CAAC,EAAE,EAAE,SAAS,CAAC,CAAC;QACnF,IAAI,QAAQ,GAAG,CAAC,EAAE,CAAC;YACjB,OAAO,CAAC,IAAI,CAAC,mBAAmB,QAAQ,iDAAiD,CAAC,CAAC;QAC7F,CAAC;IACH,CAAC;IAED,gHAAgH;IAChH,MAAM,OAAO,GAAG,CAAC,GAAG,MAAM,CAAC,CAAC;IAC5B,IAAI,OAAO,GAAG,KAAK,CAAC;IACpB,MAAM,KAAK,GAAG,iBAAiB,CAAC,OAAO,EAAE,IAAI,CAAC,EAAE,EAAE,WAAW,CAAC,CAAC;IAC/D,IACE,OAAO,CAAC,MAAM,GAAG,CAAC;QAClB,CAAC,cAAc,CAAC,OAAO,EAAE,OAAO,EAAE,WAAW,CAAC,IAAI,cAAc,CAAC,MAAM,EAAE,OAAO,EAAE,WAAW,CAAC,CAAC,EAC/F,CAAC;QACD,OAAO,GAAG,IAAI,CAAC;QACf,OAAO,CAAC,IAAI,CAAC,mBAAmB,OAAO,CAAC,IAAI,CAAC,IAAI,CAAC,wBAAwB,IAAI,gBAAgB,CAAC,CAAC;IAClG,CAAC;SAAM,IAAI,KAAK,KAAK,MAAM,EAAE,CAAC;QAC5B,OAAO,GAAG,IAAI,CAAC;QACf,OAAO,CAAC,IAAI,CAAC,WAAW,IAAI,CAAC,EAAE,4BAA4B,IAAI,EAAE,CAAC,CAAC;IACrE,CAAC;SAAM,IAAI,OAAO,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QAChC,OAAO,CAAC,IAAI,CAAC,qGAAqG,CAAC,CAAC;IACtH,CAAC;SAAM,CAAC;QACN,OAAO,CAAC,IAAI,CAAC,gCAAgC,OAAO,CAAC,IAAI,CAAC,IAAI,CAAC,mCAAmC,CAAC,CAAC;IACtG,CAAC;IAED,6FAA6F;IAC7F,IAAI,WAAW,GAAG,KAAK,CAAC;IACxB,IAAI,CAAC,OAAO,IAAI,KAAK,KAAK,UAAU,EAAE,CAAC;QACrC,WAAW,GAAG,IAAI,CAAC;QACnB,OAAO,CAAC,IAAI,CAAC,qCAAqC,IAAI,CAAC,EAAE,iBAAiB,IAAI,EAAE,CAAC,CAAC;IACpF,CAAC;IAED,OAAO,EAAE,YAAY,EAAE,OAAO,EAAE,WAAW,EAAE,MAAM,EAAE,OAAO,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC;AAC5E,CAAC"}

package/dist/lib/coherence.d.ts

@@ -0,0 +1,14 @@
+export type CoherenceWarning = {
+    type: 'missing-table-migration' | 'missing-task-path' | 'missing-test-pattern';
+    message: string;
+};
+export type CoherenceReport = {
+    warnings: CoherenceWarning[];
+};
+/** A spec-referenced table that already exists in a committed migration. */
+export type ExistingTableRef = {
+    table: string;
+    migration: string;
+};
+export declare function findExistingTableReferences(repoRoot: string, specId: string, core: string): ExistingTableRef[];
+export declare function evaluateCoherence(repoRoot: string, specId: string, core: string): CoherenceReport;