@spec-engine/spec-engine 0.7.2 → 0.8.0

package/dist/impl.js

@@ -20,7 +20,7 @@ var package_default;
 var init_package = __esm(() => {
   package_default = {
     name: "@spec-engine/spec-engine",
-    version: "0.7.2",
+    version: "0.8.0",
     description: "Cross-repo spec engine \u2014 durable requirements with permanent IDs, bound to code via @spec tags, checked in CI. Ships the spec CLI, the local coverage webapp (spec serve), and offline docs (spec docs).",
     license: "MIT",
     type: "module",
@@ -59,11 +59,11 @@ var init_package = __esm(() => {
       prepack: "bun run build:npm"
     },
     dependencies: {
-      "@modelcontextprotocol/sdk": "1.29.0",
+      "@modelcontextprotocol/sdk": "1.32.0",
       "@spec-engine/platform-map": "0.5.0",
       citty: "0.2.2",
       hono: "4.13.11",
-      zod: "3.25.76"
+      zod: "4.4.3"
     },
     devDependencies: {
       "@spec-engine/shared": "workspace:*",
@@ -91,6 +91,8 @@ var init_diagnostics = __esm(() => {
     DRIFT: "DRIFT",
     NO_SPEC_CONFIG: "NO_SPEC_CONFIG",
     BROKEN_FILE_REF: "BROKEN_FILE_REF",
+    UNIMPLEMENTED_IN_FILE: "UNIMPLEMENTED_IN_FILE",
+    UNVERIFIED_IN_FILE: "UNVERIFIED_IN_FILE",
     BROKEN_RELATES: "BROKEN_RELATES",
     RELATES_SUPERSEDED: "RELATES_SUPERSEDED",
     CYCLIC_SUPERSEDE: "CYCLIC_SUPERSEDE",
@@ -213,6 +215,7 @@ function orderDomain(d) {
       supersededBy: r.supersededBy ?? null,
       relates: r.relates,
       livesIn: r.livesIn,
+      verifiedIn: r.verifiedIn,
       issues: r.issues.map((iss) => ({ role: iss.role, id: iss.id })),
       changedAtVersion: r.changedAtVersion,
       supersededAtVersion: r.supersededAtVersion,
@@ -351,6 +354,7 @@ var init_domain = __esm(() => {
     supersededBy: z.string().nullable().optional(),
     relates: z.array(z.string()).optional().default([]),
     livesIn: z.array(z.string()).optional().default([]),
+    verifiedIn: z.array(z.string()).optional().default([]),
     issues: z.array(SpecIssueSchema).optional().default([]),
     changedAtVersion: z.number().int().optional(),
     supersededAtVersion: z.number().int().optional(),
@@ -1106,6 +1110,12 @@ function isPathIgnored(path, extra = []) {
   const anchored = `/${path}`;
   return IGNORE_SUBSTR.some((t) => anchored.includes(`/${t}`)) || extra.some((t) => path.startsWith(t.endsWith("/") ? t : `${t}/`));
 }
+function isHiddenEntry(name) {
+  return name.startsWith(".") && name !== ".github";
+}
+function isHiddenPath(rel) {
+  return rel.split("/").some(isHiddenEntry);
+}
 async function walkInto(rootDir, relDir, keep, extraIgnore, out) {
   const absDir = relDir ? join2(rootDir, relDir) : rootDir;
   let entries;
@@ -1115,7 +1125,7 @@ async function walkInto(rootDir, relDir, keep, extraIgnore, out) {
     return;
   }
   for (const ent of entries) {
-    if (ent.name.startsWith("."))
+    if (isHiddenEntry(ent.name))
       continue;
     const rel = relDir ? `${relDir}/${ent.name}` : ent.name;
     if (ent.isDirectory()) {
@@ -1147,8 +1157,11 @@ async function findDomainJsonFiles(canonicalDir) {
 async function findCodeFiles(repoDir, exts = DEFAULT_EXTS, extraIgnore = []) {
   return walkFiles(repoDir, (rel) => isTagSource(rel, exts), extraIgnore);
 }
+function isDocSource(rel) {
+  return rel.endsWith(".md") && rel !== "SPEC.md" && !rel.endsWith("/SPEC.md");
+}
 async function findDocFiles(repoDir, extraIgnore = []) {
-  return walkFiles(repoDir, (rel) => rel.endsWith(".md") && rel !== "SPEC.md" && !rel.endsWith("/SPEC.md"), extraIgnore);
+  return walkFiles(repoDir, isDocSource, extraIgnore);
 }
 var IGNORE_SUBSTR, DEFAULT_EXTS;
 var init_fs = __esm(() => {
@@ -1179,7 +1192,10 @@ var init_fs = __esm(() => {
     "tf",
     "toml",
     "sql",
-    "css"
+    "css",
+    "yml",
+    "yaml",
+    "astro"
   ];
 });
 
@@ -1405,8 +1421,9 @@ function toRepos(columns) {
   return columns.map((c) => ({ ...c.repo, dependency_depth: depth.get(c.repo.name) ?? 0 })).sort(byName);
 }
 function selfMember(absPlatform, platformVersion) {
+  const dir = basename(absPlatform);
   return {
-    name: basename(absPlatform),
+    name: dir === CANONICAL_SPECS_DIR ? "root" : dir,
     path: absPlatform,
     pinned_spec_version: platformVersion,
     dependency_depth: 0,
@@ -1446,7 +1463,7 @@ function packageDirs(repo) {
 function loneRootColumn(absPlatform, repo, platformVersion) {
   const dirs = packageDirs(repo);
   const { dependency_depth: _depth, ...self } = selfMember(absPlatform, platformVersion);
-  if (dirs === null || self.name === CANONICAL_SPECS_DIR)
+  if (dirs === null)
     return [];
   return [{ repo: { ...self, ignore: dirs }, node: repo }];
 }
@@ -1525,14 +1542,15 @@ async function membersOf(reading, absPlatform, platformVersion) {
   const undeclared = mapped.diagnostics.filter((d) => d.code === "UNLISTED_REPO").map((d) => ({ name: d.subject, path: join3(absPlatform, d.subject) }));
   return { mode: "multi-repo", members: toRepos(columns), unpinned, undeclared, diagnostics: diagnostics2 };
 }
-async function discoverRepos(platformDir) {
+async function discoverRepos(platformDir, opts = {}) {
   const absPlatform = resolve2(platformDir);
   const canonicalPath = join3(absPlatform, CANONICAL_SPECS_DIR);
   if (!isExistingDir(canonicalPath)) {
     throw new NotASpecPlatformError(absPlatform);
   }
   const platformVersion = await derivePlatformVersion(absPlatform);
-  warnIfRetiredManifest(absPlatform, platformVersion);
+  if (!opts.quiet)
+    warnIfRetiredManifest(absPlatform, platformVersion);
   const canonical = {
     name: CANONICAL_SPECS_DIR,
     path: canonicalPath,
@@ -1862,7 +1880,14 @@ ORDER BY tc.source_file, tc.line, tc.req_id
 `;
 
 // src/storage/sql/fts.ts
-var FTS_SEARCH_SQL = `SELECT r.id AS req_id, r.key AS key, r.text AS text, r.why AS why, r.source_file AS source_file, r.line AS line, bm25(requirements_fts, 1.0, 0.5) AS rank FROM requirements_fts JOIN requirements r ON r.rowid = requirements_fts.rowid WHERE requirements_fts MATCH $query AND r.status NOT IN ('Superseded', 'Deprecated') ORDER BY rank ASC LIMIT $limit`, RESOLVE_BY_FILES_SQL_PREFIX = "SELECT DISTINCT r.id, r.key, r.seq, r.status, r.superseded_by, r.text, r.why, r.source_file, r.line, r.spec_version, r.changed_at_version, r.superseded_at_version FROM tags t JOIN requirements r ON r.id = t.req_id WHERE t.file IN (", RESOLVE_BY_FILES_SQL_SUFFIX = ") ORDER BY r.key, r.seq";
+function quoteBareWords(text) {
+  return text.split(/\s+/).map((token) => token === "" || FTS_OPERATORS.has(token) || FTS_SYNTAX.test(token) || /^[\p{L}\p{N}_]+$/u.test(token) ? token : `"${token}"`).join(" ");
+}
+var FTS_OPERATORS, FTS_SYNTAX, FTS_SEARCH_SQL = `SELECT r.id AS req_id, r.key AS key, r.text AS text, r.why AS why, r.source_file AS source_file, r.line AS line, bm25(requirements_fts, 1.0, 0.5) AS rank FROM requirements_fts JOIN requirements r ON r.rowid = requirements_fts.rowid WHERE requirements_fts MATCH $query AND r.status NOT IN ('Superseded', 'Deprecated') ORDER BY rank ASC LIMIT $limit`, RESOLVE_BY_FILES_SQL_PREFIX = "SELECT DISTINCT r.id, r.key, r.seq, r.status, r.superseded_by, r.text, r.why, r.source_file, r.line, r.spec_version, r.changed_at_version, r.superseded_at_version FROM tags t JOIN requirements r ON r.id = t.req_id WHERE t.file IN (", RESOLVE_BY_FILES_SQL_SUFFIX = ") ORDER BY r.key, r.seq";
+var init_fts = __esm(() => {
+  FTS_OPERATORS = new Set(["AND", "OR", "NOT", "NEAR"]);
+  FTS_SYNTAX = /["()*:^]/;
+});
 
 // src/storage/sql/propagation.ts
 var PROP_REPO_STATES_SQL = `
@@ -2139,7 +2164,7 @@ class SqliteStorage {
   }
   searchFts(text, limit = 10) {
     try {
-      return this.#db.query(FTS_SEARCH_SQL).all({ query: text, limit });
+      return this.#db.query(FTS_SEARCH_SQL).all({ query: quoteBareWords(text), limit });
     } catch (e) {
       const msg = e instanceof Error ? e.message : String(e);
       if (/fts5:|syntax error/i.test(msg)) {
@@ -2433,6 +2458,7 @@ var BUSY_TIMEOUT_MS = 2000;
 var init_sqlite = __esm(() => {
   init_src();
   init_constants();
+  init_fts();
   init_reads();
 });
 
@@ -2599,7 +2625,7 @@ var init_diagnostics2 = __esm(() => {
 });
 
 // src/indexer/pipeline.ts
-import { basename as basename2, dirname as dirname3, join as join4, resolve as resolve3 } from "path";
+import { basename as basename2, dirname as dirname3, isAbsolute, join as join4, relative, resolve as resolve3, sep as sep2 } from "path";
 async function runIndex(opts) {
   const platformDir = resolve3(opts.platformDir);
   const {
@@ -2659,6 +2685,25 @@ function repoExtraIgnore(member) {
   const repoIgnore = (member.ignore ?? []).map((e) => e.endsWith("/") ? e : `${e}/`);
   return [...member.selfMember ? ["spec-engine/"] : [], ...repoIgnore];
 }
+function scannedTagFile(members, platformDir, platformRel) {
+  const abs = resolve3(platformDir, platformRel);
+  let owner = null;
+  for (const member2 of members) {
+    const rel2 = relative(member2.path, abs).split(sep2).join("/");
+    if (rel2 === "" || rel2 === ".." || rel2.startsWith("../") || isAbsolute(rel2))
+      continue;
+    if (owner === null || member2.path.length > owner.member.path.length)
+      owner = { member: member2, rel: rel2 };
+  }
+  if (owner === null)
+    return null;
+  const { member, rel } = owner;
+  if (isHiddenPath(rel) || isPathIgnored(rel, repoExtraIgnore(member)))
+    return null;
+  if (!isTagSource(rel) && !isDocSource(rel))
+    return null;
+  return `${member.name}/${rel}`;
+}
 async function scanMemberCode(member, extraIgnore) {
   const hitsOut = [];
   const codePaths = await findCodeFiles(member.path, DEFAULT_EXTS, extraIgnore);
@@ -2892,7 +2937,7 @@ var init__result = __esm(() => {
 
 // src/operations/init.ts
 import { existsSync as existsSync3, realpathSync, statSync as statSync2 } from "fs";
-import { basename as basename3, join as join5, relative, resolve as resolve4, sep as sep2 } from "path";
+import { basename as basename3, join as join5, relative as relative2, resolve as resolve4, sep as sep3 } from "path";
 import {
   applyInit,
   applyLink,
@@ -2905,7 +2950,7 @@ function errMessage(err) {
   return err instanceof Error ? err.message : String(err);
 }
 function hasSpecEngineSegment(path) {
-  return path.split(sep2).filter((s) => s.length > 0).includes(CANONICAL_SPECS_DIR);
+  return path.split(sep3).filter((s) => s.length > 0).includes(CANONICAL_SPECS_DIR);
 }
 function canonicalize(repoDir) {
   let repoStat;
@@ -2926,7 +2971,7 @@ function canonicalize(repoDir) {
 function judgeSpecTree(repoDir, canonical, root) {
   if (!hasSpecEngineSegment(canonical))
     return { ok: true };
-  const judged = root !== null && isEnginePlatform(root, ENGINE_PACKAGE_NAME) ? relative(root, canonical) : canonical;
+  const judged = root !== null && isEnginePlatform(root, ENGINE_PACKAGE_NAME) ? relative2(root, canonical) : canonical;
   if (hasSpecEngineSegment(judged)) {
     return fail("usage", `${repoDir} resolves to ${canonical}, which is inside a spec-engine/ tree \u2014 refusing to scaffold there.`);
   }
@@ -3567,7 +3612,7 @@ function listFlag(rawArgs, name, parsed) {
   }
   return raw.flatMap((v) => v.split(",")).map((v) => v.trim()).filter((v) => v !== "");
 }
-var platformDirArg, outArg, jsonArg, freshArg, noPromptArg, livesArg, relatesArg;
+var platformDirArg, outArg, jsonArg, freshArg, noPromptArg, livesArg, testsArg, relatesArg;
 var init__args = __esm(() => {
   init_constants();
   platformDirArg = {
@@ -3592,6 +3637,10 @@ var init__args = __esm(() => {
     type: "string",
     description: "Lives in (livesIn) paths: repeat the flag or comma-separate; an empty value clears the list"
   };
+  testsArg = {
+    type: "string",
+    description: "Verified in (verifiedIn) test paths: repeat the flag or comma-separate; an empty value clears the list"
+  };
   relatesArg = {
     type: "string",
     description: "Related requirement ids (relates): repeat the flag or comma-separate; an empty value clears the list"
@@ -4049,67 +4098,117 @@ var init_filerefs = __esm(() => {
 });
 
 // src/check/filerefs.ts
-async function readDomain(platformDir, key) {
-  const { abs, rel } = specPaths(platformDir, key);
-  let raw;
-  try {
-    raw = await Bun.file(abs).text();
-  } catch {
-    return null;
-  }
-  const parsed = parseDomainText(raw, rel);
-  return parsed.ok ? { raw, requirements: parsed.data.requirements } : null;
-}
-function rowsForRequirement(platformDir, key, reqId, livesIn, line) {
-  const rows = [];
-  for (const entry of livesIn) {
-    const ref = entry.startsWith("@") ? entry.slice(1) : entry;
-    if (ref.length === 0 || resolveFileRef(platformDir, ref))
-      continue;
-    rows.push({
-      code: DiagnosticCode.BROKEN_FILE_REF,
-      severity: "error",
-      repo: null,
-      source_file: specPaths(platformDir, key).rel,
-      line,
-      req_id: reqId,
-      detail: `livesIn entry ${entry} does not resolve to a file under the platform root`
-    });
-  }
-  return rows;
-}
-function rowsForDomain(platformDir, key, domain2) {
-  const rows = [];
-  const rawLines = domain2.raw.split(`
+function locateInDomain(raw, sourceFile, requirements, statuses) {
+  const out = [];
+  const rawLines = raw.split(`
 `);
   let lineCursor = 0;
-  for (const req of domain2.requirements) {
+  for (const req of requirements) {
     const found = findRequirementIdLine(rawLines, req.id, lineCursor);
     if (found >= 0)
       lineCursor = found + 1;
-    if (!CHECKED_STATUSES.has(req.status.toLowerCase()))
+    if (statuses.has(req.status.toLowerCase())) {
+      out.push({ sourceFile, line: found >= 0 ? found + 1 : 0, req });
+    }
+  }
+  return out;
+}
+async function locatedEntries(platformDir, statuses) {
+  const out = [];
+  for (const key of listDomainKeys(platformDir)) {
+    const { abs, rel } = specPaths(platformDir, key);
+    let raw;
+    try {
+      raw = await Bun.file(abs).text();
+    } catch {
       continue;
-    rows.push(...rowsForRequirement(platformDir, key, req.id, req.livesIn, found >= 0 ? found + 1 : 0));
+    }
+    const parsed = parseDomainText(raw, rel);
+    if (parsed.ok)
+      out.push(...locateInDomain(raw, rel, parsed.data.requirements, statuses));
   }
-  return rows;
+  return out;
+}
+function sortRows(rows) {
+  return rows.sort((a, b) => (a.source_file ?? "").localeCompare(b.source_file ?? "") || (a.line ?? 0) - (b.line ?? 0) || (a.req_id ?? "").localeCompare(b.req_id ?? "") || a.code.localeCompare(b.code) || a.detail.localeCompare(b.detail));
+}
+function row(at, code, severity, detail) {
+  return {
+    code,
+    severity,
+    repo: null,
+    source_file: at.sourceFile,
+    line: at.line,
+    req_id: at.req.id,
+    detail
+  };
 }
 async function brokenFileRefDiagnostics(platformDir) {
   const rows = [];
-  for (const key of listDomainKeys(platformDir)) {
-    const domain2 = await readDomain(platformDir, key);
-    if (domain2 !== null)
-      rows.push(...rowsForDomain(platformDir, key, domain2));
+  for (const at of await locatedEntries(platformDir, FILE_REF_STATUSES)) {
+    for (const [field, entries] of [
+      ["livesIn", at.req.livesIn],
+      ["verifiedIn", at.req.verifiedIn]
+    ]) {
+      for (const entry of entries) {
+        const ref = refOf(entry);
+        if (ref.length === 0 || resolveFileRef(platformDir, ref))
+          continue;
+        rows.push(row(at, DiagnosticCode.BROKEN_FILE_REF, "error", `${field} entry ${entry} does not resolve to a file under the platform root`));
+      }
+    }
+  }
+  return sortRows(rows);
+}
+function tagKeys(tags, kinds) {
+  return new Set(tags.filter((t) => kinds.includes(t.kind)).map((t) => `${t.req_id}	${t.file}`));
+}
+function inFileRows(platformDir, members, at, check) {
+  const rows = [];
+  for (const entry of at.req[check.field]) {
+    const ref = refOf(entry);
+    if (ref.length === 0 || !resolveFileRef(platformDir, ref))
+      continue;
+    const file = scannedTagFile(members, platformDir, ref);
+    if (file === null || check.keys.has(`${at.req.id}	${file}`))
+      continue;
+    rows.push(row(at, check.code, "warning", `${check.field} entry ${entry} holds no ${check.missing} tag for ${at.req.id}`));
   }
-  rows.sort((a, b) => (a.source_file ?? "").localeCompare(b.source_file ?? "") || (a.line ?? 0) - (b.line ?? 0) || (a.req_id ?? "").localeCompare(b.req_id ?? "") || a.detail.localeCompare(b.detail));
   return rows;
 }
-var CHECKED_STATUSES;
+async function inFileTagDiagnostics(platformDir, tags) {
+  const { members } = await discoverRepos(platformDir, { quiet: true });
+  const checks = [
+    {
+      field: "livesIn",
+      code: DiagnosticCode.UNIMPLEMENTED_IN_FILE,
+      keys: tagKeys(tags, ["implements", "documents"]),
+      missing: "implementing or documenting"
+    },
+    {
+      field: "verifiedIn",
+      code: DiagnosticCode.UNVERIFIED_IN_FILE,
+      keys: tagKeys(tags, ["verifies"]),
+      missing: "verifying"
+    }
+  ];
+  const rows = [];
+  for (const at of await locatedEntries(platformDir, IN_FILE_STATUSES)) {
+    for (const check of checks)
+      rows.push(...inFileRows(platformDir, members, at, check));
+  }
+  return sortRows(rows);
+}
+var FILE_REF_STATUSES, IN_FILE_STATUSES, refOf = (entry) => entry.startsWith("@") ? entry.slice(1) : entry;
 var init_filerefs2 = __esm(() => {
   init_src();
   init_domains();
   init_filerefs();
   init_constants();
-  CHECKED_STATUSES = new Set(["active", "draft"]);
+  init_discover();
+  init_pipeline();
+  FILE_REF_STATUSES = new Set(["active", "draft"]);
+  IN_FILE_STATUSES = new Set(["active"]);
 });
 
 // src/check/grammar.ts
@@ -4130,7 +4229,7 @@ async function readDeclaredDomain(platformDir, key) {
     requirements: parsed.data.requirements
   };
 }
-function rowsForDomain2(key, domain2) {
+function rowsForDomain(key, domain2) {
   const rows = [];
   const rawLines = domain2.raw.split(`
 `);
@@ -4139,7 +4238,7 @@ function rowsForDomain2(key, domain2) {
     const found = findRequirementIdLine(rawLines, req.id, lineCursor);
     if (found >= 0)
       lineCursor = found + 1;
-    if (!CHECKED_STATUSES2.has(req.status.toLowerCase()))
+    if (!CHECKED_STATUSES.has(req.status.toLowerCase()))
       continue;
     const result = parseEarsStatement(req.statement);
     if (result.ok)
@@ -4163,17 +4262,17 @@ async function statementGrammarDiagnostics(platformDir) {
       continue;
     const domain2 = await readDeclaredDomain(platformDir, key);
     if (domain2 !== null)
-      rows.push(...rowsForDomain2(key, domain2));
+      rows.push(...rowsForDomain(key, domain2));
   }
   rows.sort((a, b) => (a.source_file ?? "").localeCompare(b.source_file ?? "") || (a.line ?? 0) - (b.line ?? 0) || (a.req_id ?? "").localeCompare(b.req_id ?? ""));
   return rows;
 }
-var CHECKED_STATUSES2;
+var CHECKED_STATUSES;
 var init_grammar = __esm(() => {
   init_src();
   init_domains();
   init_constants();
-  CHECKED_STATUSES2 = new Set(["active", "draft"]);
+  CHECKED_STATUSES = new Set(["active", "draft"]);
 });
 
 // src/check/propagation-teeth.ts
@@ -4250,12 +4349,12 @@ function readCheckConfig(platformDir) {
     return { ok: true, config: { severity: [] } };
   return parseCheckConfigText(readFileSync(path, "utf-8"), CHECK_CONFIG_REL);
 }
-function specificity(rule, row) {
-  if (rule.code !== row.code)
+function specificity(rule, row2) {
+  if (rule.code !== row2.code)
     return Specificity.none;
   if (rule.match === undefined)
     return Specificity.code;
-  const id = row.req_id;
+  const id = row2.req_id;
   if (id === null)
     return Specificity.none;
   if (rule.match.includes(id))
@@ -4265,20 +4364,20 @@ function specificity(rule, row) {
 }
 function applySeverity(rows, rules) {
   const out = [];
-  for (const row of rows) {
+  for (const row2 of rows) {
     let best;
     let bestScore = Specificity.none;
     for (const rule of rules) {
-      const score = specificity(rule, row);
+      const score = specificity(rule, row2);
       if (score !== Specificity.none && score >= bestScore) {
         best = rule;
         bestScore = score;
       }
     }
     if (best === undefined)
-      out.push(row);
+      out.push(row2);
     else if (best.severity !== "off")
-      out.push({ ...row, severity: best.severity });
+      out.push({ ...row2, severity: best.severity });
   }
   return out;
 }
@@ -4797,6 +4896,7 @@ function successorEntry(id, pred, fields) {
     supersededBy: null,
     relates: fields.relates,
     livesIn: fields.livesIn,
+    verifiedIn: fields.verifiedIn,
     issues: fields.issue ? [{ role: "created", id: fields.issue }] : [],
     aliases: [...pred.aliases],
     cites: pred.cites.map((c) => ({ ...c }))
@@ -4884,7 +4984,8 @@ async function mint(input) {
   const warnings = unresolvableRefWarnings(platformDir, [
     input.statement,
     input.why,
-    ...input.livesIn
+    ...input.livesIn,
+    ...input.verifiedIn ?? []
   ]);
   const verdict = await judgeStatementGrammar(platformDir, key, input.statement);
   if (!verdict.ok) {
@@ -4908,6 +5009,7 @@ async function mint(input) {
     supersededBy: null,
     relates: splitList(input.relates ?? []),
     livesIn: input.livesIn,
+    verifiedIn: input.verifiedIn ?? [],
     issues: input.issue ? [{ role: "created", id: input.issue }] : [],
     aliases: [],
     cites: input.cites ?? []
@@ -4965,6 +5067,7 @@ async function mintTerm(input) {
     supersededBy: null,
     relates: [],
     livesIn: [],
+    verifiedIn: [],
     issues: [],
     aliases: input.aliases,
     cites: [],
@@ -5151,6 +5254,7 @@ async function migrateGlossary(platformDir) {
     supersededBy: null,
     relates: [],
     livesIn: [],
+    verifiedIn: [],
     issues: [],
     aliases: [],
     cites: [],
@@ -5508,6 +5612,7 @@ async function check(input, storage2) {
   }
   diagnostics2.push(...await statementGrammarDiagnostics(platformDir));
   diagnostics2.push(...await brokenFileRefDiagnostics(platformDir));
+  diagnostics2.push(...await inFileTagDiagnostics(platformDir, storage2.listTags()));
   diagnostics2.push(...await supersedesPointerDiagnostics(platformDir));
   const glossaryDrift = glossaryDriftDiagnostic(platformDir);
   if (glossaryDrift !== null)
@@ -5935,12 +6040,12 @@ function sortMatrix(rows) {
     return a.repo.localeCompare(b.repo);
   });
 }
-function cellStatus(row) {
-  if (row.implemented === 1 && row.verified === 1)
+function cellStatus(row2) {
+  if (row2.implemented === 1 && row2.verified === 1)
     return "src+test";
-  if (row.implemented === 1)
+  if (row2.implemented === 1)
     return "src";
-  if (row.verified === 1)
+  if (row2.verified === 1)
     return "test";
   return EMPTY_CELL;
 }
@@ -5953,18 +6058,18 @@ function renderMatrix(rows, mode) {
     return "";
   const repos = Array.from(new Set(sorted.map((r) => r.repo))).sort((a, b) => a.localeCompare(b));
   const byReq = new Map;
-  for (const row of sorted) {
-    let entry = byReq.get(row.req_id);
+  for (const row2 of sorted) {
+    let entry = byReq.get(row2.req_id);
     if (!entry) {
       entry = {
-        domain_key: row.domain_key,
-        req_id: row.req_id,
-        req_status: row.req_status,
+        domain_key: row2.domain_key,
+        req_id: row2.req_id,
+        req_status: row2.req_status,
         cells: new Map
       };
-      byReq.set(row.req_id, entry);
+      byReq.set(row2.req_id, entry);
     }
-    entry.cells.set(row.repo, cellStatus(row));
+    entry.cells.set(row2.repo, cellStatus(row2));
   }
   const header = ["DOMAIN", "REQUIREMENT", "STATUS", ...repos];
   const lines = [header];
@@ -5972,8 +6077,8 @@ function renderMatrix(rows, mode) {
     const cells = repos.map((r) => entry.cells.get(r) ?? EMPTY_CELL);
     lines.push([entry.domain_key, entry.req_id, entry.req_status, ...cells]);
   }
-  const widths = header.map((_, col) => Math.max(...lines.map((row) => row[col]?.length ?? 0)));
-  return lines.map((row) => row.map((c, i) => c.padEnd(widths[i] ?? 0)).join("  ")).join(`
+  const widths = header.map((_, col) => Math.max(...lines.map((row2) => row2[col]?.length ?? 0)));
+  return lines.map((row2) => row2.map((c, i) => c.padEnd(widths[i] ?? 0)).join("  ")).join(`
 `);
 }
 var EMPTY_CELL = "\u2014";
@@ -6109,11 +6214,11 @@ var init_map = __esm(() => {
 
 // src/operations/records.ts
 function getRecord(storage2, id) {
-  const row = storage2.getRequirement(id);
+  const row2 = storage2.getRequirement(id);
   return {
     ok: true,
-    row,
-    platformEmpty: row === null && storage2.listRequirements().length === 0
+    row: row2,
+    platformEmpty: row2 === null && storage2.listRequirements().length === 0
   };
 }
 function listRecords(storage2, filter = {}) {
@@ -6150,8 +6255,8 @@ function renderRecords(rows, mode) {
     lines.push([r.id, r.status, r.key, String(r.seq), String(r.changed_at_version), r.text]);
   }
   const fixed = HEADER.length - 1;
-  const widths = HEADER.slice(0, fixed).map((_, col) => Math.max(...lines.map((row) => row[col]?.length ?? 0)));
-  return lines.map((row) => row.map((cell, i) => i < fixed ? cell.padEnd(widths[i] ?? 0) : cell).join("  ").trimEnd()).join(`
+  const widths = HEADER.slice(0, fixed).map((_, col) => Math.max(...lines.map((row2) => row2[col]?.length ?? 0)));
+  return lines.map((row2) => row2.map((cell, i) => i < fixed ? cell.padEnd(widths[i] ?? 0) : cell).join("  ").trimEnd()).join(`
 `);
 }
 var HEADER;
@@ -6303,11 +6408,11 @@ function renderPropagation(rows, mode) {
     return "";
   const header = ["REPO", "STATE", "VIA", "DRIFT?"];
   const lines = [header];
-  for (const row of rows) {
-    lines.push([row.repo, row.state, row.via_req_id ?? EMPTY_CELL2, row.drifted ? "yes" : "no"]);
+  for (const row2 of rows) {
+    lines.push([row2.repo, row2.state, row2.via_req_id ?? EMPTY_CELL2, row2.drifted ? "yes" : "no"]);
   }
-  const widths = header.map((_, col) => Math.max(...lines.map((row) => row[col]?.length ?? 0)));
-  return lines.map((row) => row.map((c, i) => c.padEnd(widths[i] ?? 0)).join("  ")).join(`
+  const widths = header.map((_, col) => Math.max(...lines.map((row2) => row2[col]?.length ?? 0)));
+  return lines.map((row2) => row2.map((c, i) => c.padEnd(widths[i] ?? 0)).join("  ")).join(`
 `);
 }
 var EMPTY_CELL2 = "\u2014";
@@ -6381,8 +6486,8 @@ function excerptOf(raw) {
 }
 function renderTable(header, rows) {
   const lines = [header, ...rows];
-  const widths = header.map((_, col) => Math.max(...lines.map((row) => row[col]?.length ?? 0)));
-  return lines.map((row) => row.map((c, i) => c.padEnd(widths[i] ?? 0)).join("  ")).join(`
+  const widths = header.map((_, col) => Math.max(...lines.map((row2) => row2[col]?.length ?? 0)));
+  return lines.map((row2) => row2.map((c, i) => c.padEnd(widths[i] ?? 0)).join("  ")).join(`
 `);
 }
 function renderQuery(hits, mode) {
@@ -6637,17 +6742,17 @@ function compareReqIds2(a, b) {
 function sortProvenance(rows) {
   return [...rows].sort((a, b) => compareReqIds2(a.req_id, b.req_id) || a.role.localeCompare(b.role) || a.issue_id.localeCompare(b.issue_id) || a.source_file.localeCompare(b.source_file) || a.line - b.line);
 }
-function backingTests(row) {
+function backingTests(row2) {
   let base;
-  if (row.implemented === 1 && row.verified === 1)
+  if (row2.implemented === 1 && row2.verified === 1)
     base = "src+test";
-  else if (row.implemented === 1)
+  else if (row2.implemented === 1)
     base = "src";
-  else if (row.verified === 1)
+  else if (row2.verified === 1)
     base = "test";
   else
     base = "\u2014";
-  return row.test_levels ? `${base} (${row.test_levels})` : base;
+  return row2.test_levels ? `${base} (${row2.test_levels})` : base;
 }
 function renderProvenance(rows, mode) {
   const sorted = sortProvenance(rows);
@@ -6657,12 +6762,12 @@ function renderProvenance(rows, mode) {
   if (sorted.length === 0)
     return "";
   const byReq = new Map;
-  for (const row of sorted) {
-    const bucket = byReq.get(row.req_id);
+  for (const row2 of sorted) {
+    const bucket = byReq.get(row2.req_id);
     if (bucket)
-      bucket.push(row);
+      bucket.push(row2);
     else
-      byReq.set(row.req_id, [row]);
+      byReq.set(row2.req_id, [row2]);
   }
   const lines = [];
   for (const [reqId, links] of byReq) {
@@ -6677,8 +6782,8 @@ function renderProvenance(rows, mode) {
   return lines.join(`
 `);
 }
-function decorateRow(row, resolved) {
-  const prefix = `  ${row.role}  ${row.issue_id}  ${row.source_file}:${row.line}`;
+function decorateRow(row2, resolved) {
+  const prefix = `  ${row2.role}  ${row2.issue_id}  ${row2.source_file}:${row2.line}`;
   if (resolved?.ok && resolved.title && resolved.url) {
     const staleMark = resolved.stale ? " (cached \u2014 refresh failed)" : "";
     return `${prefix}  ${resolved.title} [${resolved.status ?? ""}] ${resolved.url}${staleMark}`;
@@ -6702,12 +6807,12 @@ function renderProvenanceDecorated(rows, resolved, mode) {
   if (sorted.length === 0)
     return "";
   const byReq = new Map;
-  for (const row of sorted) {
-    const bucket = byReq.get(row.req_id);
+  for (const row2 of sorted) {
+    const bucket = byReq.get(row2.req_id);
     if (bucket)
-      bucket.push(row);
+      bucket.push(row2);
     else
-      byReq.set(row.req_id, [row]);
+      byReq.set(row2.req_id, [row2]);
   }
   const lines = [];
   for (const [reqId, links] of byReq) {
@@ -7074,6 +7179,7 @@ async function mintFromFlags(platformDir, key, textFlag, args, rawArgs) {
     statement,
     why: (args.why ?? "").trim(),
     livesIn: listFlag(rawArgs, "lives", args.lives) ?? [],
+    verifiedIn: listFlag(rawArgs, "tests", args.tests) ?? [],
     relates: listFlag(rawArgs, "relates", args.relates) ?? [],
     issue: (args.issue ?? "").trim() || undefined,
     status: statusOf(args),
@@ -7153,6 +7259,7 @@ var init_req = __esm(() => {
     },
     why: { type: "string", description: "Why it matters field (only with --text)" },
     lives: livesArg,
+    tests: testsArg,
     relates: relatesArg,
     issue: {
       type: "string",
@@ -7186,9 +7293,9 @@ var init_req = __esm(() => {
         await mintFromFlags(platformDir, key, textFlag, args, rawArgs);
         return;
       }
-      const hasFieldFlags = typeof args.why === "string" || typeof args.lives === "string" || typeof args.relates === "string" || typeof args.issue === "string";
+      const hasFieldFlags = typeof args.why === "string" || typeof args.lives === "string" || typeof args.tests === "string" || typeof args.relates === "string" || typeof args.issue === "string";
       if (hasFieldFlags) {
-        console.error("spec req: --why/--lives/--relates/--issue require --text (the Requirement field is mandatory)");
+        console.error("spec req: --why/--lives/--tests/--relates/--issue require --text (the Requirement field is mandatory)");
         process.exit(EXIT.USAGE);
         return;
       }
@@ -7276,8 +7383,8 @@ async function listTermsCommand(platformDirRaw, json) {
     console.log(JSON.stringify(result.rows));
     return;
   }
-  for (const row of result.rows) {
-    console.log(`${row.id}  ${row.term}  ${row.status}`);
+  for (const row2 of result.rows) {
+    console.log(`${row2.id}  ${row2.term}  ${row2.status}`);
   }
 }
 async function reviseTermCommand(opts) {
@@ -7602,6 +7709,7 @@ function successorFields(input, req) {
   return {
     why: (input.why ?? req.why ?? "").trim(),
     livesIn: input.livesIn ?? [...req.livesIn],
+    verifiedIn: input.verifiedIn ?? [...req.verifiedIn],
     relates: input.relates === undefined ? [...req.relates] : splitList(input.relates)
   };
 }
@@ -7646,14 +7754,15 @@ async function supersede(input, freshTags) {
     }
     warnings.push({ kind: "grammar", text: grammarWarningText("", verdict).slice(2) });
   }
-  const { why, livesIn, relates } = successorFields(input, req);
-  warnings.push(...unresolvableRefWarnings(platformDir, [input.statement, why, ...livesIn]));
+  const { why, livesIn, verifiedIn, relates } = successorFields(input, req);
+  warnings.push(...unresolvableRefWarnings(platformDir, [input.statement, why, ...livesIn, ...verifiedIn]));
   const newId = await nextRequirementId(platformDir, key);
   const issue = input.issue?.trim() || undefined;
   const successor = successorEntry(newId, req, {
     statement: input.statement,
     why,
     livesIn,
+    verifiedIn,
     relates,
     issue
   });
@@ -7697,14 +7806,14 @@ function renderResolve(rows, mode) {
     return "";
   const header = ["REQ_ID", "STATUS", "TEXT"];
   const lines = [header];
-  for (const row of sorted) {
-    const raw = row.text ?? "";
+  for (const row2 of sorted) {
+    const raw = row2.text ?? "";
     const truncated = raw.length > TEXT_MAX ? raw.slice(0, TEXT_MAX) + ELLIPSIS2 : raw;
     const text = truncated.replace(/\s+/g, " ").trim();
-    lines.push([row.id, row.status, text || EMPTY_CELL4]);
+    lines.push([row2.id, row2.status, text || EMPTY_CELL4]);
   }
-  const widths = header.map((_, col) => Math.max(...lines.map((row) => row[col]?.length ?? 0)));
-  return lines.map((row) => row.map((c, i) => c.padEnd(widths[i] ?? 0)).join("  ")).join(`
+  const widths = header.map((_, col) => Math.max(...lines.map((row2) => row2[col]?.length ?? 0)));
+  return lines.map((row2) => row2.map((c, i) => c.padEnd(widths[i] ?? 0)).join("  ")).join(`
 `);
 }
 function sortReqTags(rows) {
@@ -7719,8 +7828,8 @@ function renderReqTags(rows, mode) {
     return "";
   const header = ["REPO", "FILE", "LINE", "KIND", "LEVEL"];
   const lines = [header];
-  for (const row of sorted) {
-    lines.push([row.repo, row.file, String(row.line), row.kind, row.level ?? EMPTY_CELL4]);
+  for (const row2 of sorted) {
+    lines.push([row2.repo, row2.file, String(row2.line), row2.kind, row2.level ?? EMPTY_CELL4]);
   }
   const widths = header.map((_, col) => Math.max(...lines.map((l) => (l[col] ?? "").length)));
   return lines.map((l) => l.map((cell, col) => cell.padEnd(widths[col])).join("  ").trimEnd()).join(`
@@ -7767,6 +7876,9 @@ function inputFromArgs(args, rawArgs, platformDir, id, statement) {
   const livesIn = listFlag(rawArgs, "lives", args.lives);
   if (livesIn !== undefined)
     input.livesIn = livesIn;
+  const verifiedIn = listFlag(rawArgs, "tests", args.tests);
+  if (verifiedIn !== undefined)
+    input.verifiedIn = verifiedIn;
   const relates = listFlag(rawArgs, "relates", args.relates);
   if (relates !== undefined)
     input.relates = relates;
@@ -7807,6 +7919,10 @@ var init_supersede2 = __esm(() => {
       type: "string",
       description: "Successor's Lives in: repeat or comma-separate; empty clears (default: copied from the old entry)"
     },
+    tests: {
+      type: "string",
+      description: "Successor's Verified in (verifiedIn): repeat or comma-separate; empty clears (default: copied from the old entry)"
+    },
     relates: {
       type: "string",
       description: "Successor's related ids: repeat or comma-separate; empty clears (default: copied from the old entry)"
@@ -8000,6 +8116,7 @@ function successorFields2(input, req) {
     statement: (input.statement ?? req.statement).trim(),
     why: (input.why ?? req.why ?? "").trim(),
     livesIn: input.livesIn ?? [...req.livesIn],
+    verifiedIn: input.verifiedIn ?? [...req.verifiedIn],
     relates: [...req.relates]
   };
 }
@@ -8044,7 +8161,12 @@ async function move(input, freshTags) {
       warnings.push({ kind: "grammar", text: grammarWarningText("", verdict).slice(2) });
     }
   }
-  warnings.push(...unresolvableRefWarnings(platformDir, [fields.statement, fields.why, ...fields.livesIn]));
+  warnings.push(...unresolvableRefWarnings(platformDir, [
+    fields.statement,
+    fields.why,
+    ...fields.livesIn,
+    ...fields.verifiedIn
+  ]));
   const newId = await nextRequirementId(platformDir, targetKey);
   const sourceCurrent = source.domain.specVersion ?? 1;
   req.status = "superseded";
@@ -8103,6 +8225,9 @@ function inputFromArgs2(args, rawArgs, platformDir, id, targetKey) {
   const livesIn = listFlag(rawArgs, "lives", args.lives);
   if (livesIn !== undefined)
     input.livesIn = livesIn;
+  const verifiedIn = listFlag(rawArgs, "tests", args.tests);
+  if (verifiedIn !== undefined)
+    input.verifiedIn = verifiedIn;
   return input;
 }
 var moveArgs, moveCommand;
@@ -8138,6 +8263,10 @@ var init_move2 = __esm(() => {
       type: "string",
       description: "Rewrite the successor's Lives in: repeat or comma-separate; empty clears (default: copied from the source)"
     },
+    tests: {
+      type: "string",
+      description: "Rewrite the successor's Verified in (verifiedIn): repeat or comma-separate; empty clears (default: copied from the source)"
+    },
     noBump: {
       type: "boolean",
       description: "Do not bump either envelope's specVersion"
@@ -8228,7 +8357,7 @@ function gateRejection(platformDir, relFile, req, fields) {
   const tag = releaseHolding(platformDir, relFile, id);
   if (tag === null)
     return null;
-  return fail("conflict", `${id} is released in ${tag} \u2014 its promise is immutable. ` + `Run \`spec supersede ${id}\` to change the statement or why; ` + "pass only --lives or --relates to amend its metadata in place.");
+  return fail("conflict", `${id} is released in ${tag} \u2014 its promise is immutable. ` + `Run \`spec supersede ${id}\` to change the statement or why; ` + "pass only --lives, --tests, or --relates to amend its metadata in place.");
 }
 function applyFields(req, fields) {
   const fieldsChanged = [];
@@ -8248,6 +8377,11 @@ function applyFields(req, fields) {
     fieldsChanged.push("lives");
     refValues.push(...fields.livesIn);
   }
+  if (fields.verifiedIn !== undefined) {
+    req.verifiedIn = fields.verifiedIn;
+    fieldsChanged.push("tests");
+    refValues.push(...fields.verifiedIn);
+  }
   if (fields.relates !== undefined) {
     req.relates = splitList(fields.relates);
     fieldsChanged.push("relates");
@@ -8317,9 +8451,9 @@ __export(exports_amend, {
 import { defineCommand as defineCommand18 } from "citty";
 function assertAmendFlags(args) {
   const hasIssue = args.issue !== undefined && args.issue.trim() !== "";
-  const hasField = args.text !== undefined || args.why !== undefined || args.lives !== undefined || args.relates !== undefined || args.term !== undefined || args.aliases !== undefined;
+  const hasField = args.text !== undefined || args.why !== undefined || args.lives !== undefined || args.tests !== undefined || args.relates !== undefined || args.term !== undefined || args.aliases !== undefined;
   if (!hasField && !hasIssue) {
-    console.error("spec amend: nothing to amend \u2014 pass at least one of --text / --why / --lives / --relates / --term / --aliases");
+    console.error("spec amend: nothing to amend \u2014 pass at least one of --text / --why / --lives / --tests / --relates / --term / --aliases");
     process.exit(EXIT.USAGE);
   }
   if (args.text !== undefined && args.text.trim() === "") {
@@ -8346,6 +8480,9 @@ function fieldsFromArgs(args, rawArgs) {
   const livesIn = listFlag(rawArgs, "lives", args.lives);
   if (livesIn !== undefined)
     fields.livesIn = livesIn;
+  const verifiedIn = listFlag(rawArgs, "tests", args.tests);
+  if (verifiedIn !== undefined)
+    fields.verifiedIn = verifiedIn;
   const relates = listFlag(rawArgs, "relates", args.relates);
   if (relates !== undefined)
     fields.relates = relates;
@@ -8375,6 +8512,7 @@ var init_amend2 = __esm(() => {
     text: { type: "string", description: "New Requirement (statement) field value" },
     why: { type: "string", description: "New Why it matters field value" },
     lives: livesArg,
+    tests: testsArg,
     relates: relatesArg,
     issue: {
       type: "string",
@@ -8390,7 +8528,7 @@ var init_amend2 = __esm(() => {
   amendCommand = defineCommand18({
     meta: {
       name: "amend",
-      description: "Revise a requirement's fields in place (same id, no version bump). A released requirement's statement and why are superseded instead; --lives and --relates still amend."
+      description: "Revise a requirement's fields in place (same id, no version bump). A released requirement's statement and why are superseded instead; --lives, --tests, and --relates still amend."
     },
     args: amendArgs,
     async run({ args, rawArgs }) {
@@ -8544,6 +8682,8 @@ function amendFieldsOf(args) {
     fields.why = args.why || null;
   if (args.lives !== undefined)
     fields.livesIn = args.lives;
+  if (args.verified_in !== undefined)
+    fields.verifiedIn = args.verified_in;
   if (args.relates !== undefined)
     fields.relates = args.relates;
   if (args.issue)
@@ -8621,8 +8761,8 @@ function buildMcpServer(platformDir) {
       return errorResult(`req_id must be a requirement id (KEY-NNN); got ${req_id}`);
     }
     return fresh((s) => {
-      const { row } = getRecord(s, req_id);
-      return jsonResult(row ?? []);
+      const { row: row2 } = getRecord(s, req_id);
+      return jsonResult(row2 ?? []);
     });
   });
   server.registerTool("spec_list", {
@@ -8653,14 +8793,24 @@ function buildMcpServer(platformDir) {
       statement: z4.string().min(1).describe("The successor's statement"),
       why: z4.string().optional().describe("Successor's why (default: copied from the predecessor)"),
       lives_in: z4.array(z4.string()).optional().describe("Successor's livesIn paths (default: copied from the predecessor)"),
+      verified_in: z4.array(z4.string()).optional().describe("Successor's verifiedIn paths (default: copied from the predecessor)"),
       relates: z4.array(z4.string()).optional().describe("Successor's related ids, each comma-split; an empty list clears (default: copied from the predecessor)"),
       issue: z4.string().optional().describe("Ticket recorded as supersedes-via on the predecessor and created on the successor")
     }
-  }, async ({ req_id, statement, why, lives_in, relates, issue }) => {
+  }, async ({ req_id, statement, why, lives_in, verified_in, relates, issue }) => {
     if (!ID_RE.test(req_id)) {
       return errorResult(`req_id must be a requirement id (KEY-NNN); got ${req_id}`);
     }
-    const r = await supersede({ platformDir, id: req_id, statement, why, livesIn: lives_in, relates, issue }, coldFreshTags(platformDir));
+    const r = await supersede({
+      platformDir,
+      id: req_id,
+      statement,
+      why,
+      livesIn: lives_in,
+      verifiedIn: verified_in,
+      relates,
+      issue
+    }, coldFreshTags(platformDir));
     if (!r.ok)
       return errorResult(r.detail);
     for (const w of r.warnings)
@@ -8711,11 +8861,12 @@ function buildMcpServer(platformDir) {
       text: z4.string().trim().min(1).describe("The requirement statement"),
       why: z4.string().trim().default("").describe("What breaks without it"),
       lives: z4.array(z4.string()).default([]).describe("livesIn paths"),
+      verified_in: z4.array(z4.string()).default([]).describe("verifiedIn test paths"),
       relates: z4.array(z4.string()).default([]).describe("Related requirement ids, each comma-split"),
       issue: z4.string().trim().optional().describe("Originating ticket, recorded as created"),
       draft: z4.boolean().default(false).describe("Author as Draft instead of Active")
     }
-  }, async ({ domain: domain2, text, why, lives, relates, issue, draft }) => {
+  }, async ({ domain: domain2, text, why, lives, verified_in, relates, issue, draft }) => {
     const allocated = await nextId(platformDir, domain2);
     if (!allocated.ok)
       return errorResult(allocated.detail);
@@ -8725,6 +8876,7 @@ function buildMcpServer(platformDir) {
       statement: text,
       why,
       livesIn: lives,
+      verifiedIn: verified_in,
       relates,
       issue: issue || undefined,
       status: draft ? "draft" : "active"
@@ -8743,15 +8895,16 @@ function buildMcpServer(platformDir) {
       text: z4.string().trim().min(1).optional().describe("New statement"),
       why: z4.string().trim().optional().describe("New why; empty clears it"),
       lives: z4.array(z4.string()).optional().describe("Replacement livesIn list; empty clears"),
+      verified_in: z4.array(z4.string()).optional().describe("Replacement verifiedIn list; empty clears"),
       relates: z4.array(z4.string()).optional().describe("Replacement related ids, each comma-split; empty clears"),
       issue: z4.string().trim().optional().describe("Ticket recorded as amends-via")
     }
-  }, async ({ id, text, why, lives, relates, issue }) => {
+  }, async ({ id, text, why, lives, verified_in, relates, issue }) => {
     if (!ID_RE.test(id))
       return errorResult(`id must be a requirement id (KEY-NNN); got ${id}`);
-    const fields = amendFieldsOf({ text, why, lives, relates, issue });
+    const fields = amendFieldsOf({ text, why, lives, verified_in, relates, issue });
     if (Object.keys(fields).length === 0) {
-      return errorResult("nothing to amend \u2014 pass at least one of text, why, lives, relates");
+      return errorResult("nothing to amend \u2014 pass at least one of text, why, lives, verified_in, relates");
     }
     const r = await amend({ platformDir, id, fields });
     if (!r.ok)
@@ -8768,15 +8921,24 @@ function buildMcpServer(platformDir) {
       newDomain: z4.string().min(1).describe("The existing target domain key"),
       text: z4.string().optional().describe("Successor statement (default: copied)"),
       why: z4.string().optional().describe("Successor why (default: copied)"),
-      lives: z4.array(z4.string()).optional().describe("Successor livesIn list; empty clears (default: copied)")
+      lives: z4.array(z4.string()).optional().describe("Successor livesIn list; empty clears (default: copied)"),
+      verified_in: z4.array(z4.string()).optional().describe("Successor verifiedIn list; empty clears (default: copied)")
     }
-  }, async ({ id, newDomain: newDomain2, text, why, lives }) => {
+  }, async ({ id, newDomain: newDomain2, text, why, lives, verified_in }) => {
     if (!ID_RE.test(id))
       return errorResult(`id must be a requirement id (KEY-NNN); got ${id}`);
     const targetKey = normalizeDomainKey(newDomain2);
     if (targetKey === "")
       return errorResult(`newDomain must be a domain key; got ${newDomain2}`);
-    const r = await move({ platformDir, id, targetKey, statement: text, why, livesIn: lives }, coldFreshTags(platformDir));
+    const r = await move({
+      platformDir,
+      id,
+      targetKey,
+      statement: text,
+      why,
+      livesIn: lives,
+      verifiedIn: verified_in
+    }, coldFreshTags(platformDir));
     if (!r.ok)
       return errorResult(r.detail);
     for (const w of r.warnings)
@@ -8880,7 +9042,7 @@ __export(exports_resolve, {
   resolveCommand: () => resolveCommand
 });
 import { statSync as statSync5 } from "fs";
-import { join as join14, relative as relative2, resolve as resolve13, sep as sep3 } from "path";
+import { join as join14, relative as relative3, resolve as resolve13, sep as sep4 } from "path";
 import { defineCommand as defineCommand21 } from "citty";
 function classifyArg(a) {
   if (a.startsWith("--")) {
@@ -9016,8 +9178,8 @@ async function dispatchReverseQuery(reqArg, resolved, args) {
 function normalizeFileInputs(files, platformDir) {
   const normalized = [];
   for (const input of files) {
-    const rel = relative2(platformDir, resolve13(platformDir, input));
-    const segments = rel.split(sep3);
+    const rel = relative3(platformDir, resolve13(platformDir, input));
+    const segments = rel.split(sep4);
     if (rel === "" || rel === "." || segments[0] === "..") {
       console.error(`spec resolve: file path must be inside platformDir: ${input}`);
       process.exit(EXIT.USAGE);
@@ -11058,9 +11220,9 @@ function requirementStatusBadge(status) {
   const variant = status === "Active" ? "active" : status === "Superseded" ? "superseded" : status === "Draft" ? "draft" : "retired";
   return badge(variant, STATUS_LABEL[status]);
 }
-function propagationStateBadge(row) {
+function propagationStateBadge(row2) {
   let variant;
-  switch (row.state) {
+  switch (row2.state) {
     case "MIGRATED_VERIFIED":
       variant = "verified";
       break;
@@ -11073,7 +11235,7 @@ function propagationStateBadge(row) {
     default:
       variant = "unbound";
   }
-  return badge(variant, row.state);
+  return badge(variant, row2.state);
 }
 function coverageGlyph(impl, verif) {
   const [variant, char, title] = impl && verif ? ["both", "\u2713", "src + test"] : impl ? ["impl", "S", "src only"] : verif ? ["test", "T", "test only"] : ["none", "", "none"];
@@ -11207,18 +11369,18 @@ import { html as html4, raw as raw3 } from "hono/html";
 function pivot(rows) {
   const repos = [...new Set(rows.map((r) => r.repo))].sort();
   const byDomain = new Map;
-  for (const row of rows) {
-    let dom = byDomain.get(row.domain_key);
+  for (const row2 of rows) {
+    let dom = byDomain.get(row2.domain_key);
     if (!dom) {
       dom = new Map;
-      byDomain.set(row.domain_key, dom);
+      byDomain.set(row2.domain_key, dom);
     }
-    let req = dom.get(row.req_id);
+    let req = dom.get(row2.req_id);
     if (!req) {
-      req = { id: row.req_id, status: row.req_status, cells: new Map };
-      dom.set(row.req_id, req);
+      req = { id: row2.req_id, status: row2.req_status, cells: new Map };
+      dom.set(row2.req_id, req);
     }
-    req.cells.set(row.repo, { impl: row.implemented, verif: row.verified });
+    req.cells.set(row2.repo, { impl: row2.implemented, verif: row2.verified });
   }
   const domains = [...byDomain.entries()].sort(([a], [b]) => a.localeCompare(b)).map(([key, reqMap]) => ({
     key,
@@ -11469,6 +11631,10 @@ function mountEditor(app, bindHost = DEFAULT_BIND_HOST) {
             Lives in (optional, single path)
             <input type="text" name="livesIn" placeholder="path/to/impl.ts" />
           </label>
+          <label>
+            Verified in (optional, single path)
+            <input type="text" name="verifiedIn" placeholder="path/to/impl.test.ts" />
+          </label>
           <label>
             Relates to (optional, comma-separated ids)
             <input type="text" name="relates" placeholder="BILLING-001, BILLING-002" />
@@ -11507,6 +11673,7 @@ function mountEditor(app, bindHost = DEFAULT_BIND_HOST) {
     const statement = field(form, "statement");
     const why = field(form, "why");
     const livesIn = field(form, "livesIn");
+    const verifiedIn = field(form, "verifiedIn");
     const relates = field(form, "relates");
     const payload = {
       key: field(form, "key"),
@@ -11516,6 +11683,8 @@ function mountEditor(app, bindHost = DEFAULT_BIND_HOST) {
       payload.why = why;
     if (livesIn.length > 0)
       payload.livesIn = livesIn;
+    if (verifiedIn.length > 0)
+      payload.verifiedIn = verifiedIn;
     if (relates.length > 0)
       payload.relates = relates;
     const res = await app.request("/api/requirements", {
@@ -11832,15 +12001,15 @@ var init_relations2 = __esm(() => {
 import { html as html10, raw as raw9 } from "hono/html";
 function coverageRollups(coverage) {
   const cov = new Map;
-  for (const row of coverage) {
-    if (row.req_status !== "Active")
+  for (const row2 of coverage) {
+    if (row2.req_status !== "Active")
       continue;
-    const c = cov.get(row.req_id) ?? { impl: 0, verif: 0 };
-    if (row.implemented)
+    const c = cov.get(row2.req_id) ?? { impl: 0, verif: 0 };
+    if (row2.implemented)
       c.impl += 1;
-    if (row.verified)
+    if (row2.verified)
       c.verif += 1;
-    cov.set(row.req_id, c);
+    cov.set(row2.req_id, c);
   }
   return cov;
 }
@@ -12187,15 +12356,15 @@ function mountSetup(app) {
     const memberCount = members.length;
     const note = readingNote(mode, memberCount);
     const boundByRepo = new Map;
-    for (const row of cov) {
-      if (!row.implemented)
+    for (const row2 of cov) {
+      if (!row2.implemented)
         continue;
-      let set = boundByRepo.get(row.repo);
+      let set = boundByRepo.get(row2.repo);
       if (!set) {
         set = new Set;
-        boundByRepo.set(row.repo, set);
+        boundByRepo.set(row2.repo, set);
       }
-      set.add(row.req_id);
+      set.add(row2.req_id);
     }
     const body = html11`
       ${navBar("setup")}
@@ -12433,6 +12602,7 @@ function mintFieldsFromBody(body) {
     statement: typeof body.statement === "string" ? body.statement : "",
     why: typeof body.why === "string" ? body.why : "",
     livesIn: toStringList(body.livesIn),
+    verifiedIn: toStringList(body.verifiedIn),
     relates: toStringList(body.relates),
     issue: typeof body.issue === "string" && body.issue.trim() !== "" ? body.issue.trim() : undefined,
     status: body.status === "draft" ? "draft" : "active"
@@ -12442,6 +12612,7 @@ function successorFieldsFromBody(body) {
   return {
     why: typeof body.why === "string" ? body.why : undefined,
     livesIn: "livesIn" in body ? toStringList(body.livesIn) : undefined,
+    verifiedIn: "verifiedIn" in body ? toStringList(body.verifiedIn) : undefined,
     relates: "relates" in body ? toStringList(body.relates) : undefined,
     issue: typeof body.issue === "string" && body.issue.trim() !== "" ? body.issue.trim() : undefined
   };
@@ -12454,6 +12625,8 @@ function amendFieldsFromBody(body) {
     fields.why = typeof body.why === "string" ? body.why : null;
   if ("livesIn" in body)
     fields.livesIn = toStringList(body.livesIn);
+  if ("verifiedIn" in body)
+    fields.verifiedIn = toStringList(body.verifiedIn);
   if ("relates" in body)
     fields.relates = toStringList(body.relates);
   return Object.keys(fields).length === 0 ? null : fields;
@@ -12515,8 +12688,8 @@ function mountApi(app, storage2, platformDir = process.cwd(), bindHost = DEFAULT
   }));
   app.get("/api/requirements/:id", guarded((c) => {
     const id = c.req.param("id") ?? "";
-    const { row } = getRecord(storage2, id);
-    return row ? c.json(row) : c.json({ error: "not found" }, 404);
+    const { row: row2 } = getRecord(storage2, id);
+    return row2 ? c.json(row2) : c.json({ error: "not found" }, 404);
   }));
   app.post("/api/requirements", guarded(async function createRequirement(c) {
     if (!featureEnabled("editor")) {
@@ -12562,7 +12735,7 @@ function mountApi(app, storage2, platformDir = process.cwd(), bindHost = DEFAULT
     return withWriteLock(async () => {
       const fields = amendFieldsFromBody(body);
       if (fields === null) {
-        return c.json({ error: "nothing to amend \u2014 provide statement, why, livesIn, or relates" }, 400);
+        return c.json({ error: "nothing to amend \u2014 provide statement, why, livesIn, verifiedIn, or relates" }, 400);
       }
       const r = await amend({ platformDir, id, fields });
       if (!r.ok)
@@ -12635,7 +12808,8 @@ function mountApi(app, storage2, platformDir = process.cwd(), bindHost = DEFAULT
         targetKey,
         statement: typeof body.text === "string" ? body.text : undefined,
         why: typeof body.why === "string" ? body.why : undefined,
-        livesIn: "lives" in body ? toStringList(body.lives) : undefined
+        livesIn: "lives" in body ? toStringList(body.lives) : undefined,
+        verifiedIn: "verifiedIn" in body ? toStringList(body.verifiedIn) : undefined
       }, async (reqId) => {
         await runIndex({ platformDir, storage: storage2 });
         return storage2.listTags({ req_id: reqId });
@@ -13124,7 +13298,7 @@ __export(exports_docs, {
   createDocsFetchHandler: () => createDocsFetchHandler
 });
 import { existsSync as existsSync15, statSync as statSync6 } from "fs";
-import { join as join16, normalize, sep as sep4 } from "path";
+import { join as join16, normalize, sep as sep5 } from "path";
 import { fileURLToPath } from "url";
 import { defineCommand as defineCommand25 } from "citty";
 function resolveDocsRootFrom(candidates) {
@@ -13142,7 +13316,7 @@ function resolveDocsRoot() {
 }
 function createDocsFetchHandler(root) {
   const normalRoot = normalize(root);
-  const rootPrefix = normalRoot.endsWith(sep4) ? normalRoot : normalRoot + sep4;
+  const rootPrefix = normalRoot.endsWith(sep5) ? normalRoot : normalRoot + sep5;
   return (req) => {
     let pathname;
     try {