@opengsd/gsd-core 1.12.0 → 1.14.0

package/gsd-core/bin/lib/verification.cjs

@@ -32,6 +32,8 @@ var __importDefault = (this && this.__importDefault) || function (mod) {
 };
 const node_fs_1 = __importDefault(require("node:fs"));
 const node_path_1 = __importDefault(require("node:path"));
+const node_crypto_1 = __importDefault(require("node:crypto"));
+const project_root_cjs_1 = require("./project-root.cjs");
 // eslint-disable-next-line @typescript-eslint/no-require-imports -- io.cjs is an export= CommonJS module
 const io = require("./io.cjs");
 // eslint-disable-next-line @typescript-eslint/no-require-imports -- phase-id.cjs is an export= CommonJS module
@@ -46,6 +48,7 @@ const coreUtilsMod = require("./core-utils.cjs");
 const planningScopeMod = require("./planning-scope.cjs");
 const shell_command_projection_cjs_1 = require("./shell-command-projection.cjs");
 const runtime_slash_cjs_1 = require("./runtime-slash.cjs");
+const security_cjs_1 = require("./security.cjs");
 const { output, error } = io;
 const { extractPhaseToken, scopeToPhase } = phaseId;
 const { extractFrontmatter } = frontmatterMod;
@@ -131,10 +134,183 @@ function projectNextCommand(bare, runtime, tail = '') {
         return '';
     return `${(0, runtime_slash_cjs_1.formatGsdSlash)(bare, runtime)}${tail}`;
 }
+/**
+ * Real `node:fs`-backed default satisfying FsLike. Every method wraps a call
+ * to `fs.<method>` rather than capturing the function reference — existing
+ * tests mock individual `fs` methods in place (`t.mock.method(fs, 'statSync', …)`),
+ * and a captured reference taken at module-load time would be invisible to
+ * that late mock, silently un-mocking this seam's "default" path.
+ */
+const defaultFsImpl = {
+    readdirSync: (dir) => node_fs_1.default.readdirSync(dir),
+    readFileSync: (filePath, encoding) => node_fs_1.default.readFileSync(filePath, encoding),
+    statSync: (filePath) => node_fs_1.default.statSync(filePath),
+};
 /** Normalize separators to posix (git emits `/`; callers may pass `\` on Windows). */
 function toPosix(p) {
     return p.replace(/\\/g, '/');
 }
+/**
+ * #4155: canonicalize a covered-input path before it becomes either a
+ * dedup/sort/hash key or a confinement-check subject. `path.posix.normalize`
+ * collapses `./`, redundant slashes, and internal `..` segments (`a/../../b`
+ * → `../b`) — without this, two spellings of the SAME file (`src/x.cts` vs
+ * `./src/x.cts`) hash as different covered inputs (spurious `stale`, or a
+ * file double-counted into the digest under two keys), and an escape
+ * disguised by an internal `..` segment slips past a check that only looks
+ * at the string's start.
+ */
+function normalizeRel(p) {
+    return node_path_1.default.posix.normalize(toPosix(p));
+}
+/** Canonicalize a covered-files list: normalize, de-duplicate, sort — the SAME
+ *  transform computeCoveredDigest and cmdVerificationFingerprint both need
+ *  (the digest's own key order; the CLI's own `covered_files` JSON output). */
+function canonicalizeCoveredFiles(files) {
+    return Array.from(new Set(files.map(normalizeRel))).sort();
+}
+// ─── #4155: covered-input fingerprint ──────────────────────────────────────────
+/**
+ * Bump on any change to the digest's input shape (path list, hashing order,
+ * per-file hash algorithm) so an old stored digest can never collide with a
+ * differently-computed new one — a version mismatch is just a mismatch.
+ */
+const FINGERPRINT_VERSION = 1;
+/**
+ * #4155: recompute the deterministic content fingerprint over a verifier's
+ * declared covered-input set (phase PLAN/SUMMARY, mapped requirements,
+ * implementation files in the change set) and return the versioned digest
+ * string, or `null` if the set cannot be resolved.
+ *
+ * Determinism: paths are de-duplicated and SORTED before hashing (directory
+ * enumeration order is irrelevant), each path is resolved relative to
+ * `projectRoot` (the absolute checkout path never enters the digest), and
+ * file BYTES are hashed (mtime never enters the digest).
+ *
+ * NOT normalized: line endings. Unlike the report-frontmatter read (which
+ * runs every VERIFICATION.md through `normalizeLineEndings`), covered-file
+ * bytes are hashed exactly as they sit on disk. A covered text file checked
+ * out with CRLF line endings (e.g. a Windows checkout without a `.gitattributes
+ * eol=lf` rule pinning it to LF) hashes differently than the same file on an
+ * LF checkout — a real cross-platform digest mismatch, not a bug, since GSD
+ * installs into arbitrary user projects with no guaranteed line-ending policy.
+ *
+
+ * Fail closed: a covered path that is empty, absolute, escapes
+ * `projectRoot` (`..` traversal), or cannot be read (missing, unreadable,
+ * not a regular file) makes the WHOLE fingerprint unresolvable — returns
+ * `null` — rather than silently hashing a partial set. Callers treat `null`
+ * as stale (#4155), the same fail-closed shape #3057 B3 established for the
+ * legacy mtime staleness check.
+ *
+ * Always reads through the REAL `node:fs`, never a caller-injected `FsLike`
+ * seam — same reasoning as the root canonicalization below, extended to
+ * every covered file: `covered_files` is expected to span the whole
+ * `projectRoot` (implementation files under `src/`, not just `.planning/`
+ * artifacts), so a caller-scoped containment wrapper narrower than
+ * `projectRoot` (e.g. `planning-inspect.cts`'s `containmentEnforcingVerificationFs`,
+ * confined to `.planning/`) would reject every implementation-file read and
+ * report EVERY fingerprinted phase permanently `stale` regardless of actual
+ * drift — the bug this comment now documents against regressing. The
+ * `realRel`-vs-`realRoot` re-check a few lines below already does the real
+ * confinement work (against `projectRoot`, the correct boundary for this
+ * data), so no security property is lost by bypassing a narrower seam here.
+ */
+function computeCoveredDigest(projectRoot, coveredFiles) {
+    const uniqueSorted = canonicalizeCoveredFiles(coveredFiles);
+    if (uniqueSorted.length === 0)
+        return null;
+    // Canonicalize the root ONCE — every candidate's realpath is checked against
+    // this, not the possibly-symlinked `projectRoot` argument itself. Always via
+    // the REAL fs, never fsImpl: `projectRoot` is a trusted anchor the CALLER
+    // derived (findProjectRoot), not attacker-influenced covered-input data —
+    // routing it through a caller-scoped containment seam (e.g. #4155's
+    // containmentEnforcingVerificationFs, confined to `.planning/`, a proper
+    // SUBSET of `projectRoot`) would reject the root itself and fail every
+    // lookup regardless of whether the covered files are legitimate.
+    let realRoot;
+    try {
+        realRoot = node_fs_1.default.realpathSync(projectRoot);
+    }
+    catch {
+        return null;
+    }
+    const parts = [];
+    for (const rel of uniqueSorted) {
+        // `normalizeRel` (already applied by `canonicalizeCoveredFiles` above)
+        // collapses internal `..` segments before `rel` ever reaches here
+        // (`a/../../b` → `../b`), so this start-of-string check is already the
+        // full lexical confinement test — no separate post-`path.resolve`
+        // re-check can observe a different answer.
+        if (rel === '' || rel === '..' || rel.startsWith('../') || node_path_1.default.isAbsolute(rel))
+            return null;
+        const resolved = node_path_1.default.resolve(projectRoot, rel);
+        let bytes;
+        try {
+            // A regular file INSIDE projectRoot can still be a symlink whose TARGET
+            // escapes it — statSync/readFileSync follow symlinks, so the lexical
+            // confinement check above is not enough. realpathSync resolves the
+            // actual target; re-confining against realRoot closes that gap.
+            const real = node_fs_1.default.realpathSync(resolved);
+            // Both operands are already realpath-resolved (this fn's own realpathSync calls
+            // above), so the shared containment comparison applies directly (ADR-4650) —
+            // no re-resolution through assertWithinRoot/tryWithinRoot, which would redo work
+            // this function already owns for its exists-vs-escaped tri-state.
+            if (!(0, security_cjs_1.isContainedIn)(real, realRoot)) {
+                return null;
+            }
+            const st = node_fs_1.default.statSync(real);
+            if (!st.isFile())
+                return null;
+            bytes = node_fs_1.default.readFileSync(real);
+        }
+        catch {
+            return null;
+        }
+        const fileHash = node_crypto_1.default.createHash('sha256').update(bytes).digest('hex');
+        parts.push(`${rel}\n${fileHash}\n`);
+    }
+    const aggregate = node_crypto_1.default
+        .createHash('sha256')
+        .update(`v${FINGERPRINT_VERSION}\n${parts.join('')}`, 'utf-8')
+        .digest('hex');
+    return `v${FINGERPRINT_VERSION}:sha256:${aggregate}`;
+}
+/**
+ * #4155: the content fingerprint only recomputes digests for paths the
+ * verifier actually DECLARED in `covered_files` — it has no way to notice a
+ * plan or summary added to the phase directory AFTER verification if that
+ * new file was never declared. This closes that gap the same way the
+ * legacy mtime check always did: by re-scanning the LIVE directory (not the
+ * declared list) for every current `*-PLAN.md`/`*-SUMMARY.md` and checking
+ * each is represented in `coveredFiles` — matched by suffix (mirrors
+ * `matchRequestedFile`'s convention) since `coveredFiles` holds
+ * project-root-relative paths while the scan returns phase-relative
+ * filenames. Returns `true` if every current plan/summary is covered,
+ * `false` otherwise — callers only ever branch on this pass/fail, so no
+ * caller needs which artifact was uncovered.
+ *
+ * Fails CLOSED on an incomplete scan: `scanPhasePlans` never throws on a
+ * readdir failure — it reports it via `scope` (`SCOPE.UNREADABLE` for the
+ * phase dir itself, `SCOPE.TRUNCATED` for an unreadable nested `plans/`)
+ * with whatever files it DID manage to enumerate, per `SCOPE`'s own
+ * contract (`planning-scope.cts`): zero items under a non-`COMPLETE` scope
+ * is a NON-answer, never "this phase has no plans." Branching on `scope`
+ * here (rather than a try/catch, which this scan never triggers) is what
+ * makes an unreadable `plans/` dir report `false` instead of silently
+ * treating its invisible contents as vacuously covered — the same
+ * fail-open regression #3057 B3 fixed for the legacy path.
+ */
+function allCurrentArtifactsCovered(phaseDir, coveredFiles) {
+    const scan = scanPhasePlans(phaseDir);
+    if (scan.scope !== SCOPE.COMPLETE)
+        return false;
+    const coveredPosix = canonicalizeCoveredFiles(coveredFiles);
+    return [...scan.allPlanFiles, ...scan.summaryFiles].every((artifact) => {
+        const artifactPosix = toPosix(artifact);
+        return coveredPosix.some((c) => c === artifactPosix || c.endsWith(`/${artifactPosix}`));
+    });
+}
 /**
  * Match a git-emitted (repo-root-relative) path back to the caller's
  * phaseDir-relative request by exact match or `/`-bounded suffix — precise
@@ -299,7 +475,7 @@ function resolvePhaseArtifactFile(entries, bareName, options = {}) {
         // filtered out, and if that leaves nothing the code falls through to
         // `allowBare`/`null` deliberately.
         const scoped = options.phaseDirName
-            ? scopeToPhase(candidates, options.phaseDirName)
+            ? scopeToPhase(candidates, options.phaseDirName, options.convention)
             : candidates;
         if (scoped.length > 0)
             return scoped[0];
@@ -356,7 +532,7 @@ function resolveVerificationFile(entries, options = {}) {
 function resolveUatFile(entries, options = {}) {
     return resolvePhaseArtifactFile(entries, 'UAT.md', options);
 }
-function findStaleVerificationSummary(phaseDir, fsImpl = node_fs_1.default, phaseCleanCommitTimesMs = defaultPhaseCleanCommitTimesMs) {
+function findStaleVerificationSummary(phaseDir, fsImpl = defaultFsImpl, phaseCleanCommitTimesMs = defaultPhaseCleanCommitTimesMs, convention) {
     // FS errors (TOCTOU: a SUMMARY listed by scanPhasePlans then removed before statSync;
     // unreadable dir; broken symlink; file->dir swap) must degrade rather than throw
     // uncaught into callers that are NOT under the planning lock (init.manager /
@@ -372,9 +548,20 @@ function findStaleVerificationSummary(phaseDir, fsImpl = node_fs_1.default, phas
         // or sentinel-numbered canonically-shaped file cannot outrank this
         // phase's own (possibly non-canonical) report. #3511: phaseDirName scopes
         // the fallback path to this same phase (see resolveVerificationFile docs).
+        // #4187: allowBare — this staleness seam must see the same report set the
+        // status reader sees, or a bare report could never read `stale` while its
+        // dashed twin could (two answers from one verb).
         const phaseDirName = node_path_1.default.basename(phaseDir);
-        const phaseToken = extractPhaseToken(phaseDirName);
-        const verificationFile = resolveVerificationFile(phaseFiles, { phaseToken, phaseDirName });
+        // #612: derive the token with the resolved convention so a bracket dir's
+        // own token is read behind its `{CODE}.{MM}-` prefix. #4187: keep the bare
+        // report tier aligned with the status reader.
+        const phaseToken = extractPhaseToken(phaseDirName, convention);
+        const verificationFile = resolveVerificationFile(phaseFiles, {
+            allowBare: true,
+            phaseToken,
+            phaseDirName,
+            convention,
+        });
         if (!verificationFile)
             return { determined: true, stale: false };
         const summaryFiles = scanPhasePlans(phaseDir).summaryFiles
@@ -415,7 +602,9 @@ function findStaleVerificationSummary(phaseDir, fsImpl = node_fs_1.default, phas
  * 1. Find the phase's verification report via `resolveVerificationFile`
  *    (canonical `<phase-token>-VERIFICATION.md` preferred; falls back to the
  *    alphabetically-first `*-VERIFICATION.md` that belongs to THIS phase when
- *    none is canonical — #3357/#3511). If none → status 'missing'.
+ *    none is canonical — #3357/#3511; and, when the directory's only report
+ *    is a bare `VERIFICATION.md`, that file — #4187, matching
+ *    `verification.resolve-file`). If none → status 'missing'.
  * 2. Extract `status` from FRONTMATTER ONLY via the shared extractFrontmatter
  *    parser (DEFECT.FRONTMATTER-SCALAR-BROAD-GREP fix — parser anchors at byte 0).
  *    If no frontmatter block or no `status` key → status 'missing'.
@@ -433,10 +622,15 @@ function findStaleVerificationSummary(phaseDir, fsImpl = node_fs_1.default, phas
  *                   projected into (#2617).
  */
 function readVerificationStatus(phaseDir, opts = {}) {
-    const fsImpl = opts.fs ?? node_fs_1.default;
+    const fsImpl = opts.fs ?? defaultFsImpl;
     const phaseCleanCommitTimesMs = opts.phaseCleanCommitTimesMs ?? defaultPhaseCleanCommitTimesMs;
     const runtime = opts.runtime ?? 'claude';
-    // Phase token for the gaps_found command
+    // Phase token for the gaps_found command — deliberately convention-LESS
+    // even when `opts.convention` is present: the token becomes a bare COMMAND
+    // ARGUMENT below, and a bare bracket phase number is milestone-ambiguous
+    // (`02` cannot tell GSD.01-02 from GSD.02-02), so the argument keeps its
+    // pre-#612 shape. The convention-aware token is derived separately for
+    // FILE RESOLUTION only (`resolutionToken`, at the readdir below).
     const baseName = node_path_1.default.basename(phaseDir);
     const phaseToken = extractPhaseToken(baseName);
     const derivedPhaseNumber = phaseToken.length > 0 ? phaseToken : baseName;
@@ -452,12 +646,21 @@ function readVerificationStatus(phaseDir, opts = {}) {
     let verificationFile = null;
     try {
         const entries = fsImpl.readdirSync(phaseDir);
-        // #3492: pin selection to THIS phase's own token (already derived above
-        // for the routed command argument) so a stray cross-phase or
-        // sentinel-numbered canonically-shaped file cannot outrank this phase's
-        // own (possibly non-canonical) report. #3511: baseName also scopes the
-        // fallback path to this same phase (see resolveVerificationFile docs).
-        verificationFile = resolveVerificationFile(entries, { phaseToken, phaseDirName: baseName });
+        // #3492: pin selection to THIS phase's own token so a stray cross-phase
+        // or sentinel-numbered canonically-shaped file cannot outrank this phase's
+        // own report. #612: derive a separate convention-aware RESOLUTION token
+        // for bracket directories while the routed command argument above stays
+        // convention-less and milestone-unambiguous. #4187: keep the bare report
+        // tier aligned with every other verification reader.
+        const resolutionToken = opts.convention === 'bracket'
+            ? extractPhaseToken(baseName, opts.convention)
+            : phaseToken;
+        verificationFile = resolveVerificationFile(entries, {
+            allowBare: true,
+            phaseToken: resolutionToken,
+            phaseDirName: baseName,
+            convention: opts.convention,
+        });
     }
     catch {
         // Directory unreadable → treat as missing
@@ -470,6 +673,7 @@ function readVerificationStatus(phaseDir, opts = {}) {
     // extractFrontmatter anchors at byte 0, so body `status:` lines are ignored.
     const filePath = node_path_1.default.join(phaseDir, verificationFile);
     let rawStatus = null;
+    let fm = {};
     try {
         // #3707-CR follow-up MINOR 1: normalize line endings at this read
         // boundary — this function's own `readFileSync` is the equivalent seam
@@ -482,7 +686,7 @@ function readVerificationStatus(phaseDir, opts = {}) {
         // verification as if the step never ran, the fail-safe direction but the
         // same root cause as the false-clean class fixed elsewhere in #3707-CR.
         const content = normalizeLineEndings(fsImpl.readFileSync(filePath, 'utf-8'));
-        const fm = extractFrontmatter(content, filePath);
+        fm = extractFrontmatter(content, filePath);
         const statusVal = fm['status'];
         // status is always a scalar string in a well-formed VERIFICATION.md frontmatter;
         // only accept string values — arrays and objects are not valid status values.
@@ -507,8 +711,52 @@ function readVerificationStatus(phaseDir, opts = {}) {
             next_command: projectNextCommand('plan-phase', runtime, `${phaseArg} --gaps`),
         };
     }
-    const staleCheck = findStaleVerificationSummary(phaseDir, fsImpl, phaseCleanCommitTimesMs);
-    if (staleCheck.determined && staleCheck.stale) {
+    // #4155: a report that declares a covered-input fingerprint is checked by
+    // RECOMPUTING that fingerprint over current file content — strictly
+    // content-grounded, and it REPLACES (not supplements) the legacy
+    // SUMMARY-mtime check below for that report. A report with no fingerprint
+    // metadata (every report written before #4155) keeps the exact legacy
+    // mtime-based behavior, unchanged.
+    const coveredFilesVal = fm['covered_files'];
+    const coveredDigestVal = fm['covered_digest'];
+    // A report OPTS IN to the fingerprint check by declaring EITHER field —
+    // once opted in, an incomplete or malformed pair (one field present but
+    // not the other, an empty array, a non-array, a blank digest) fails closed
+    // to `stale` rather than silently downgrading to the weaker legacy
+    // mtime-only check, which would only ever notice a newer SUMMARY.
+    const declaresFingerprint = coveredFilesVal !== undefined || coveredDigestVal !== undefined;
+    const hasWellFormedFingerprint = Array.isArray(coveredFilesVal) &&
+        coveredFilesVal.length > 0 &&
+        coveredFilesVal.every((f) => typeof f === 'string') &&
+        typeof coveredDigestVal === 'string' &&
+        coveredDigestVal.trim().length > 0;
+    let staleCheckIndeterminate = false;
+    let isStale;
+    if (declaresFingerprint) {
+        // Stated directly rather than relying on `null !== coveredDigestVal`
+        // being true whenever the pair is malformed: `!hasWellFormedFingerprint`
+        // fails closed explicitly, and its `||` short-circuit means
+        // computeCoveredDigest/allCurrentArtifactsCovered never run on a
+        // malformed (wrong-shaped) `coveredFilesVal`. The two `||`s after it
+        // short-circuit in turn: the live-directory re-scan (for a plan/summary
+        // added AFTER verification and never declared in covered_files) only
+        // runs once the digest itself has already matched.
+        isStale =
+            !hasWellFormedFingerprint ||
+                computeCoveredDigest((0, project_root_cjs_1.findProjectRoot)(phaseDir), coveredFilesVal) !== coveredDigestVal ||
+                !allCurrentArtifactsCovered(phaseDir, coveredFilesVal);
+    }
+    else {
+        const staleCheck = findStaleVerificationSummary(phaseDir, fsImpl, phaseCleanCommitTimesMs, opts.convention);
+        isStale = staleCheck.determined && staleCheck.stale;
+        // staleCheck is either {determined:true, stale:false} (checked; nothing
+        // stale) or {determined:false} (could not check — fs/scan/clock failure).
+        // Both fall through to normal routing below (the pre-existing no-throw
+        // fail-open contract is unchanged), but the indeterminate case is flagged
+        // on the returned result so a caller can tell the two apart (#3057 B3).
+        staleCheckIndeterminate = !staleCheck.determined;
+    }
+    if (isStale) {
         const entry = VERIFICATION_ROUTING_TABLE['stale'];
         return {
             status: entry.status,
@@ -516,12 +764,6 @@ function readVerificationStatus(phaseDir, opts = {}) {
             next_command: projectNextCommand('verify-work', runtime, phaseArg),
         };
     }
-    // staleCheck is either {determined:true, stale:false} (checked; nothing
-    // stale) or {determined:false} (could not check — fs/scan/clock failure).
-    // Both fall through to normal routing below (the pre-existing no-throw
-    // fail-open contract is unchanged), but the indeterminate case is flagged
-    // on the returned result so a caller can tell the two apart (#3057 B3).
-    const staleCheckIndeterminate = !staleCheck.determined;
     // 3. Route — exclude internal sentinels from raw-file lookup (they are
     // constructed internally above, never written by the verifier).
     if (rawStatus in VERIFICATION_ROUTING_TABLE &&
@@ -576,7 +818,7 @@ function readVerificationStatus(phaseDir, opts = {}) {
  * never re-derives or requires them itself.
  */
 function isPhaseComplete(phaseDir, deps = {}) {
-    const fsImpl = deps.fs ?? node_fs_1.default;
+    const fsImpl = deps.fs ?? defaultFsImpl;
     let readable = true;
     try {
         fsImpl.readdirSync(phaseDir);
@@ -589,6 +831,7 @@ function isPhaseComplete(phaseDir, deps = {}) {
         phaseCleanCommitTimesMs: deps.phaseCleanCommitTimesMs,
         runtime: deps.runtime,
         phaseNumber: deps.phaseNumber,
+        convention: deps.convention,
     });
     return {
         value: {
@@ -655,6 +898,54 @@ function cmdVerificationResolveFile(cwd, phaseDirArg, raw) {
     }
     output({ verification_file: verificationPath }, raw, verificationPath);
 }
+/**
+ * CLI command handler (#4155): compute the covered-input fingerprint the
+ * verifier embeds in VERIFICATION.md frontmatter (`covered_files`,
+ * `covered_digest`). The verifier is an LLM agent, not a hashing engine —
+ * this command does the deterministic math so the agent only has to name
+ * the covered paths and copy the result into frontmatter.
+ *
+ * Emits `{ covered_files: <sorted deduped paths>, covered_digest: <digest> }`
+ * on success. A covered path that is missing, unreadable, or escapes the
+ * project root fails the WHOLE command (fail closed — a partial fingerprint
+ * would be worse than none): `error()` is called and nothing is emitted.
+ *
+ * @param cwd         - Current working directory.
+ * @param phaseDirArg - Phase directory path (absolute or relative to cwd);
+ *                       its project root is the base covered paths resolve against.
+ * @param files       - Covered-input paths, relative to the project root.
+ * @param raw         - Whether to emit raw (non-JSON) output: just the
+ *                       `covered_digest` string, so `VAR=$(gsd_run query
+ *                       verification.fingerprint "$PHASE_DIR" ... --raw)` is
+ *                       directly assignable. `covered_files` is unambiguous
+ *                       from the caller's own input list in that mode, so
+ *                       only the computed digest needs a raw form.
+ */
+function cmdVerificationFingerprint(cwd, phaseDirArg, files, raw) {
+    if (!phaseDirArg) {
+        error('phase directory required for verification.fingerprint');
+        return;
+    }
+    if (files.length === 0) {
+        error('at least one covered file required for verification.fingerprint');
+        return;
+    }
+    const phaseDir = node_path_1.default.resolve(cwd, phaseDirArg);
+    const projectRoot = (0, project_root_cjs_1.findProjectRoot)(phaseDir);
+    // canonicalizeCoveredFiles here is for the emitted `covered_files` field —
+    // computeCoveredDigest canonicalizes its own `coveredFiles` argument
+    // internally too (it must, for callers like readVerificationStatus that
+    // pass raw, un-canonicalized frontmatter values), so passing an
+    // already-canonical list keeps that internal pass a cheap no-op rather
+    // than a second meaningfully different canonicalization.
+    const uniqueSorted = canonicalizeCoveredFiles(files);
+    const digest = computeCoveredDigest(projectRoot, uniqueSorted);
+    if (digest === null) {
+        error('could not compute fingerprint — a covered file is missing, unreadable, or escapes the project root');
+        return;
+    }
+    output({ covered_files: uniqueSorted, covered_digest: digest }, raw, digest);
+}
 module.exports = {
     VERIFIER_STATUSES,
     VERIFICATION_ROUTING_TABLE,
@@ -666,4 +957,6 @@ module.exports = {
     isPhaseComplete,
     cmdVerificationStatus,
     cmdVerificationResolveFile,
+    computeCoveredDigest,
+    cmdVerificationFingerprint,
 };

package/gsd-core/bin/lib/verify-command-grounding.cjs

@@ -453,7 +453,7 @@ function declaredPathCovers(declaredPaths, norm) {
         if (typeof p !== 'string')
             return false;
         const dp = stripLeadingDotSlash(toSlash(p));
-        return dp === target || dp.startsWith(target + '/');
+        return dp === target || dp.startsWith(target + '/'); // allow-handrolled-containment: declared-path coverage for pending-creation detection, not containment
     });
 }
 /**

package/gsd-core/bin/lib/verify-command-router.cjs

@@ -36,6 +36,7 @@ function routeVerifyCommand({ verify, args, cwd, raw, error }) {
             // per ADR/PRD 3524 §3 / L160 (CJS-only by design). Routing through
             // recursive dispatch would re-enter this router path.
             'codebase-drift': () => verify.cmdVerifyCodebaseDrift(cwd, raw),
+            'context-drift': () => verify.cmdVerifyContextDrift(cwd, args[2], raw),
         },
     });
 }