@warpgogol/forge 4.1.6 → 4.2.1

package/dist/os/rfc/handlers/supersede-propose.js

@@ -0,0 +1,203 @@
+/*
+<MODULE_CONTRACT>
+<purpose>
+RFC-0334: rfc.supersede.propose — escalation command for blocked implementations.
+Scaffolds a new draft RFC with supersedes pre-linked, conflict context, and TODO sections.
+</purpose>
+<non-goals>
+  <item>Does not modify the blocked RFC — supersededBy is set only by humans.</item>
+  <item>No automatic conflict detection — agent judgment triggers escalation.</item>
+</non-goals>
+</MODULE_CONTRACT>
+<CHANGE_SUMMARY>
+  <item>RFC-0334: initial implementation.</item>
+  <item>Post-refactor hardening: supersede proposals resolve archived RFC files by basename id.</item>
+</CHANGE_SUMMARY>
+*/
+import { readFile } from "node:fs/promises";
+import { join, basename } from "node:path";
+import { toKebabCase } from "../../../src/utils/string-utils.js";
+import { writeFileAtomic } from "../../../src/utils/fs-atomic.js";
+import { listRfcFiles, readAndParseRfc, rfcFileMatchesId } from "../frontmatter-io.js";
+import { collectDecisionLog, scoreDecisions } from "../decision-log.js";
+import { RFC_DIR } from "../types.js";
+import { resolveRfcTemplate } from "./shared.js";
+import { toIsoDate } from "./shared.js";
+const DNA_REGISTRY_PATH = "docs/architecture-dna.md";
+const DNA_HEADING_RE = /^##\s+DNA-(\d+)\b/gm;
+async function validateDnaIds(workspaceRoot, ids) {
+    const errors = [];
+    const registrySrc = await readFile(join(workspaceRoot, DNA_REGISTRY_PATH), "utf-8");
+    const knownDna = new Set();
+    for (const m of registrySrc.matchAll(DNA_HEADING_RE)) {
+        knownDna.add(`DNA-${m[1]}`);
+    }
+    for (const id of ids) {
+        if (id.startsWith("DNA-")) {
+            if (!knownDna.has(id)) {
+                errors.push(`Unknown DNA invariant: ${id} (not found in ${DNA_REGISTRY_PATH}).`);
+            }
+        }
+        else if (id.startsWith("RFC-")) {
+            const rfcDirPath = join(workspaceRoot, RFC_DIR);
+            const files = await listRfcFiles(rfcDirPath);
+            const targetFile = files.find((f) => rfcFileMatchesId(f, id));
+            if (!targetFile) {
+                errors.push(`Unknown RFC reference: ${id} (not found in ${RFC_DIR}).`);
+            }
+        }
+    }
+    return errors;
+}
+export async function runRfcSupersedePropose(input, context) {
+    const { workspaceRoot, logger, outputFormat } = context;
+    const rfcDirPath = join(workspaceRoot, RFC_DIR);
+    const targetId = input.flags["id"];
+    const reason = input.flags["reason"];
+    const invariantStr = input.flags["invariant"];
+    const customTitle = input.flags["title"];
+    if (!targetId)
+        throw new Error("rfc.supersede.propose requires --id flag (e.g. --id RFC-0322).");
+    if (!reason)
+        throw new Error("rfc.supersede.propose requires --reason flag.");
+    if (!invariantStr)
+        throw new Error("rfc.supersede.propose requires --invariant flag (comma-separated DNA-N or RFC-XXXX).");
+    // Parse and validate invariant ids
+    const invariantIds = invariantStr
+        .split(",")
+        .map((s) => s.trim())
+        .filter(Boolean);
+    const idRe = /^(DNA-\d+|RFC-\d{4})$/;
+    for (const id of invariantIds) {
+        if (!idRe.test(id)) {
+            throw new Error(`Malformed invariant id: "${id}". Must match DNA-N or RFC-XXXX.`);
+        }
+    }
+    // Validate invariants exist
+    const invariantErrors = await validateDnaIds(workspaceRoot, invariantIds);
+    if (invariantErrors.length > 0) {
+        throw new Error(invariantErrors.join(" "));
+    }
+    // Find and validate target RFC
+    const files = await listRfcFiles(rfcDirPath);
+    const targetFile = files.find((f) => rfcFileMatchesId(f, targetId));
+    if (!targetFile) {
+        throw new Error(`Target RFC ${targetId} not found. Use rfc.list to see available RFCs.`);
+    }
+    const targetParsed = await readAndParseRfc(rfcDirPath, targetFile);
+    if (!targetParsed) {
+        throw new Error(`Could not parse target RFC ${targetId}.`);
+    }
+    if ("error" in targetParsed) {
+        throw new Error(`Could not parse target RFC ${targetId}: ${targetParsed.error}`);
+    }
+    const targetFm = targetParsed.parsed.frontmatter;
+    const targetStatus = String(targetFm["status"] ?? "");
+    const targetTitle = String(targetFm["title"] ?? "");
+    if (targetStatus !== "accepted" && targetStatus !== "implemented") {
+        if (targetStatus === "draft" || targetStatus === "reviewing") {
+            throw new Error(`Target ${targetId} has status "${targetStatus}" — it is not decided yet. Record the concern in review, not via supersession.`);
+        }
+        throw new Error(`Target ${targetId} has status "${targetStatus}" — it is already closed.`);
+    }
+    // Determine next RFC id
+    let maxId = 0;
+    for (const f of files) {
+        const bn = basename(f);
+        const match = bn.match(/^rfc-(\d{4})/);
+        if (match) {
+            const num = parseInt(match[1], 10);
+            if (num > maxId)
+                maxId = num;
+        }
+    }
+    const nextNum = maxId + 1;
+    const paddedNum = String(nextNum).padStart(4, "0");
+    const nextSlug = `rfc-${paddedNum}`;
+    const nextId = `RFC-${paddedNum}`;
+    // Read template
+    const templatePath = resolveRfcTemplate(workspaceRoot);
+    let templateContent;
+    try {
+        templateContent = await readFile(templatePath, "utf-8");
+    }
+    catch {
+        throw new Error(`RFC template not found at ${templatePath}.`);
+    }
+    const today = toIsoDate(new Date());
+    const title = customTitle ?? `Supersede ${targetId}: ${targetTitle}`;
+    const kebabTitle = toKebabCase(title);
+    const fileName = `${nextSlug}-${kebabTitle}.md`;
+    // Decision-log consultation (RFC-0329)
+    let consultedDecisions = [];
+    try {
+        const logEntries = await collectDecisionLog(rfcDirPath);
+        consultedDecisions = scoreDecisions(title, logEntries);
+    }
+    catch {
+        // graceful degradation
+    }
+    // Build consultation block
+    const invariantList = invariantIds.join(", ");
+    const targetFileRel = join(RFC_DIR, targetFile);
+    const consultationBlock = `## Context
+
+> **Consultation request (generated by rfc.supersede.propose, ${today})**
+>
+> - **Blocked RFC:** ${targetId} — "${targetTitle}" (status: ${targetStatus}, ${targetFileRel})
+> - **Violated invariant(s):** ${invariantList}
+> - **Reason:** ${reason}
+> - **Requested decision:** accept this replacement, reject it with clarification, or amend ${targetId}.
+
+TODO(agent): expand — what was attempted, where exactly the conflict surfaces (file paths, contract clauses), and why no conforming implementation exists.`;
+    // Build frontmatter seeds
+    const supersedesYaml = `supersedes:\n  - ${targetId}`;
+    const relatedYaml = `related:\n${invariantIds.map((id) => `  - ${id}`).join("\n")}`;
+    // Apply replacements
+    let content = templateContent;
+    content = content.replace(/^id: RFC-0000$/m, `id: ${nextId}`);
+    content = content.replace(/^title: ".*"$/m, `title: "${title}"`);
+    content = content.replace(/^kind: \w+$/m, `kind: architecture`);
+    content = content.replace(/^scope: \w+$/m, `scope: workspace`);
+    content = content.replace(/^createdAt: YYYY-MM-DD$/m, `createdAt: ${today}`);
+    content = content.replace(/^updatedAt: YYYY-MM-DD$/m, `updatedAt: ${today}`);
+    content = content.replace(/^# RFC-0000: .+$/m, `# ${nextId}: ${title}`);
+    // Replace supersedes
+    content = content.replace(/^supersedes: \[\]$/m, supersedesYaml);
+    // Replace related
+    content = content.replace(/^related:\n(  # .*\n)*$/m, relatedYaml);
+    // Replace Context section with consultation block
+    content = content.replace(/## Context\n[\s\S]*?(?=\n## )/, consultationBlock);
+    // Replace Decision section with TODO
+    content = content.replace(/## Decision\n[\s\S]*?(?=\n## )/, `## Decision\n\nTODO(agent): describe the replacement decision that resolves the conflict without violating ${invariantList}.`);
+    // Write the file
+    const targetPath = join(rfcDirPath, fileName);
+    await writeFileAtomic(targetPath, content);
+    const relativeFile = join(RFC_DIR, fileName);
+    if (outputFormat === "pretty") {
+        logger.success(`Created ${nextId}: ${title}`);
+        logger.info(`File: ${relativeFile}`);
+        logger.info("");
+        logger.warn(`ESCALATION: human decision required — ${targetId} conflicts with ${invariantList}. ` +
+            `Draft created: ${relativeFile}. Implementation of ${targetId} is halted until a human accepts, rejects, or clarifies.`);
+        if (consultedDecisions.length > 0) {
+            logger.info("Prior decisions to consult:");
+            for (const d of consultedDecisions) {
+                logger.info(`  ${d.rfcId} [${d.kind}] (score ${d.score}): ${d.title}`);
+            }
+        }
+    }
+    return {
+        data: {
+            command: "rfc.supersede.propose",
+            status: "ok",
+            file: relativeFile,
+            id: nextId,
+            supersedesTarget: targetId,
+            invariants: invariantIds,
+            consultedDecisions,
+        },
+        summary: `Created ${nextId} proposing to supersede ${targetId} (conflict: ${invariantList})`,
+    };
+}
+//# sourceMappingURL=supersede-propose.js.map

package/dist/os/rfc/handlers/supersede-propose.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"supersede-propose.js","sourceRoot":"","sources":["../../../../os/rfc/handlers/supersede-propose.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;EAeE;AAEF,OAAO,EAAE,QAAQ,EAAE,MAAM,kBAAkB,CAAC;AAC5C,OAAO,EAAE,IAAI,EAAE,QAAQ,EAAE,MAAM,WAAW,CAAC;AAE3C,OAAO,EAAE,WAAW,EAAE,MAAM,oCAAoC,CAAC;AACjE,OAAO,EAAE,eAAe,EAAE,MAAM,iCAAiC,CAAC;AAClE,OAAO,EAAE,YAAY,EAAE,eAAe,EAAE,gBAAgB,EAAE,MAAM,sBAAsB,CAAC;AACvF,OAAO,EAAE,kBAAkB,EAAE,cAAc,EAAE,MAAM,oBAAoB,CAAC;AACxE,OAAO,EAAE,OAAO,EAAE,MAAM,aAAa,CAAC;AACtC,OAAO,EAAE,kBAAkB,EAAE,MAAM,aAAa,CAAC;AAOjD,OAAO,EAAE,SAAS,EAAE,MAAM,aAAa,CAAC;AAExC,MAAM,iBAAiB,GAAG,0BAA0B,CAAC;AACrD,MAAM,cAAc,GAAG,qBAAqB,CAAC;AAE7C,KAAK,UAAU,cAAc,CAAC,aAAqB,EAAE,GAAa;IAChE,MAAM,MAAM,GAAa,EAAE,CAAC;IAC5B,MAAM,WAAW,GAAG,MAAM,QAAQ,CAAC,IAAI,CAAC,aAAa,EAAE,iBAAiB,CAAC,EAAE,OAAO,CAAC,CAAC;IACpF,MAAM,QAAQ,GAAG,IAAI,GAAG,EAAU,CAAC;IACnC,KAAK,MAAM,CAAC,IAAI,WAAW,CAAC,QAAQ,CAAC,cAAc,CAAC,EAAE,CAAC;QACrD,QAAQ,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;IAC9B,CAAC;IACD,KAAK,MAAM,EAAE,IAAI,GAAG,EAAE,CAAC;QACrB,IAAI,EAAE,CAAC,UAAU,CAAC,MAAM,CAAC,EAAE,CAAC;YAC1B,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,EAAE,CAAC,EAAE,CAAC;gBACtB,MAAM,CAAC,IAAI,CAAC,0BAA0B,EAAE,kBAAkB,iBAAiB,IAAI,CAAC,CAAC;YACnF,CAAC;QACH,CAAC;aAAM,IAAI,EAAE,CAAC,UAAU,CAAC,MAAM,CAAC,EAAE,CAAC;YACjC,MAAM,UAAU,GAAG,IAAI,CAAC,aAAa,EAAE,OAAO,CAAC,CAAC;YAChD,MAAM,KAAK,GAAG,MAAM,YAAY,CAAC,UAAU,CAAC,CAAC;YAC7C,MAAM,UAAU,GAAG,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,gBAAgB,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC;YAC9D,IAAI,CAAC,UAAU,EAAE,CAAC;gBAChB,MAAM,CAAC,IAAI,CAAC,0BAA0B,EAAE,kBAAkB,OAAO,IAAI,CAAC,CAAC;YACzE,CAAC;QACH,CAAC;IACH,CAAC;IACD,OAAO,MAAM,CAAC;AAChB,CAAC;AAED,MAAM,CAAC,KAAK,UAAU,sBAAsB,CAC1C,KAAwB,EACxB,OAA4B;IAE5B,MAAM,EAAE,aAAa,EAAE,MAAM,EAAE,YAAY,EAAE,GAAG,OAAO,CAAC;IACxD,MAAM,UAAU,GAAG,IAAI,CAAC,aAAa,EAAE,OAAO,CAAC,CAAC;IAEhD,MAAM,QAAQ,GAAG,KAAK,CAAC,KAAK,CAAC,IAAI,CAAuB,CAAC;IACzD,MAAM,MAAM,GAAG,KAAK,CAAC,KAAK,CAAC,QAAQ,CAAuB,CAAC;IAC3D,MAAM,YAAY,GAAG,KAAK,CAAC,KAAK,CAAC,WAAW,CAAuB,CAAC;IACpE,MAAM,WAAW,GAAG,KAAK,CAAC,KAAK,CAAC,OAAO,CAAuB,CAAC;IAE/D,IAAI,CAAC,QAAQ;QAAE,MAAM,IAAI,KAAK,CAAC,gEAAgE,CAAC,CAAC;IACjG,IAAI,CAAC,MAAM;QAAE,MAAM,IAAI,KAAK,CAAC,+CAA+C,CAAC,CAAC;IAC9E,IAAI,CAAC,YAAY;QACf,MAAM,IAAI,KAAK,CACb,sFAAsF,CACvF,CAAC;IAEJ,mCAAmC;IACnC,MAAM,YAAY,GAAG,YAAY;SAC9B,KAAK,CAAC,GAAG,CAAC;SACV,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC;SACpB,MAAM,CAAC,OAAO,CAAC,CAAC;IACnB,MAAM,IAAI,GAAG,uBAAuB,CAAC;IACrC,KAAK,MAAM,EAAE,IAAI,YAAY,EAAE,CAAC;QAC9B,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,EAAE,CAAC;YACnB,MAAM,IAAI,KAAK,CAAC,4BAA4B,EAAE,kCAAkC,CAAC,CAAC;QACpF,CAAC;IACH,CAAC;IAED,4BAA4B;IAC5B,MAAM,eAAe,GAAG,MAAM,cAAc,CAAC,aAAa,EAAE,YAAY,CAAC,CAAC;IAC1E,IAAI,eAAe,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QAC/B,MAAM,IAAI,KAAK,CAAC,eAAe,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC;IAC7C,CAAC;IAED,+BAA+B;IAC/B,MAAM,KAAK,GAAG,MAAM,YAAY,CAAC,UAAU,CAAC,CAAC;IAC7C,MAAM,UAAU,GAAG,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,gBAAgB,CAAC,CAAC,EAAE,QAAQ,CAAC,CAAC,CAAC;IACpE,IAAI,CAAC,UAAU,EAAE,CAAC;QAChB,MAAM,IAAI,KAAK,CAAC,cAAc,QAAQ,iDAAiD,CAAC,CAAC;IAC3F,CAAC;IAED,MAAM,YAAY,GAAG,MAAM,eAAe,CAAC,UAAU,EAAE,UAAU,CAAC,CAAC;IACnE,IAAI,CAAC,YAAY,EAAE,CAAC;QAClB,MAAM,IAAI,KAAK,CAAC,8BAA8B,QAAQ,GAAG,CAAC,CAAC;IAC7D,CAAC;IACD,IAAI,OAAO,IAAI,YAAY,EAAE,CAAC;QAC5B,MAAM,IAAI,KAAK,CAAC,8BAA8B,QAAQ,KAAK,YAAY,CAAC,KAAK,EAAE,CAAC,CAAC;IACnF,CAAC;IACD,MAAM,QAAQ,GAAG,YAAY,CAAC,MAAM,CAAC,WAAW,CAAC;IACjD,MAAM,YAAY,GAAG,MAAM,CAAC,QAAQ,CAAC,QAAQ,CAAC,IAAI,EAAE,CAAC,CAAC;IACtD,MAAM,WAAW,GAAG,MAAM,CAAC,QAAQ,CAAC,OAAO,CAAC,IAAI,EAAE,CAAC,CAAC;IAEpD,IAAI,YAAY,KAAK,UAAU,IAAI,YAAY,KAAK,aAAa,EAAE,CAAC;QAClE,IAAI,YAAY,KAAK,OAAO,IAAI,YAAY,KAAK,WAAW,EAAE,CAAC;YAC7D,MAAM,IAAI,KAAK,CACb,UAAU,QAAQ,gBAAgB,YAAY,gFAAgF,CAC/H,CAAC;QACJ,CAAC;QACD,MAAM,IAAI,KAAK,CAAC,UAAU,QAAQ,gBAAgB,YAAY,2BAA2B,CAAC,CAAC;IAC7F,CAAC;IAED,wBAAwB;IACxB,IAAI,KAAK,GAAG,CAAC,CAAC;IACd,KAAK,MAAM,CAAC,IAAI,KAAK,EAAE,CAAC;QACtB,MAAM,EAAE,GAAG,QAAQ,CAAC,CAAC,CAAC,CAAC;QACvB,MAAM,KAAK,GAAG,EAAE,CAAC,KAAK,CAAC,cAAc,CAAC,CAAC;QACvC,IAAI,KAAK,EAAE,CAAC;YACV,MAAM,GAAG,GAAG,QAAQ,CAAC,KAAK,CAAC,CAAC,CAAE,EAAE,EAAE,CAAC,CAAC;YACpC,IAAI,GAAG,GAAG,KAAK;gBAAE,KAAK,GAAG,GAAG,CAAC;QAC/B,CAAC;IACH,CAAC;IACD,MAAM,OAAO,GAAG,KAAK,GAAG,CAAC,CAAC;IAC1B,MAAM,SAAS,GAAG,MAAM,CAAC,OAAO,CAAC,CAAC,QAAQ,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC;IACnD,MAAM,QAAQ,GAAG,OAAO,SAAS,EAAE,CAAC;IACpC,MAAM,MAAM,GAAG,OAAO,SAAS,EAAE,CAAC;IAElC,gBAAgB;IAChB,MAAM,YAAY,GAAG,kBAAkB,CAAC,aAAa,CAAC,CAAC;IACvD,IAAI,eAAuB,CAAC;IAC5B,IAAI,CAAC;QACH,eAAe,GAAG,MAAM,QAAQ,CAAC,YAAY,EAAE,OAAO,CAAC,CAAC;IAC1D,CAAC;IAAC,MAAM,CAAC;QACP,MAAM,IAAI,KAAK,CAAC,6BAA6B,YAAY,GAAG,CAAC,CAAC;IAChE,CAAC;IAED,MAAM,KAAK,GAAG,SAAS,CAAC,IAAI,IAAI,EAAE,CAAC,CAAC;IACpC,MAAM,KAAK,GAAG,WAAW,IAAI,aAAa,QAAQ,KAAK,WAAW,EAAE,CAAC;IACrE,MAAM,UAAU,GAAG,WAAW,CAAC,KAAK,CAAC,CAAC;IACtC,MAAM,QAAQ,GAAG,GAAG,QAAQ,IAAI,UAAU,KAAK,CAAC;IAEhD,uCAAuC;IACvC,IAAI,kBAAkB,GAAwB,EAAE,CAAC;IACjD,IAAI,CAAC;QACH,MAAM,UAAU,GAAG,MAAM,kBAAkB,CAAC,UAAU,CAAC,CAAC;QACxD,kBAAkB,GAAG,cAAc,CAAC,KAAK,EAAE,UAAU,CAAC,CAAC;IACzD,CAAC;IAAC,MAAM,CAAC;QACP,uBAAuB;IACzB,CAAC;IAED,2BAA2B;IAC3B,MAAM,aAAa,GAAG,YAAY,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC9C,MAAM,aAAa,GAAG,IAAI,CAAC,OAAO,EAAE,UAAU,CAAC,CAAC;IAChD,MAAM,iBAAiB,GAAG;;gEAEoC,KAAK;;uBAE9C,QAAQ,OAAO,WAAW,cAAc,YAAY,KAAK,aAAa;iCAC5D,aAAa;kBAC5B,MAAM;8FACsE,QAAQ;;2JAEqD,CAAC;IAE1J,0BAA0B;IAC1B,MAAM,cAAc,GAAG,oBAAoB,QAAQ,EAAE,CAAC;IACtD,MAAM,WAAW,GAAG,aAAa,YAAY,CAAC,GAAG,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,OAAO,EAAE,EAAE,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC;IAEpF,qBAAqB;IACrB,IAAI,OAAO,GAAG,eAAe,CAAC;IAC9B,OAAO,GAAG,OAAO,CAAC,OAAO,CAAC,iBAAiB,EAAE,OAAO,MAAM,EAAE,CAAC,CAAC;IAC9D,OAAO,GAAG,OAAO,CAAC,OAAO,CAAC,gBAAgB,EAAE,WAAW,KAAK,GAAG,CAAC,CAAC;IACjE,OAAO,GAAG,OAAO,CAAC,OAAO,CAAC,cAAc,EAAE,oBAAoB,CAAC,CAAC;IAChE,OAAO,GAAG,OAAO,CAAC,OAAO,CAAC,eAAe,EAAE,kBAAkB,CAAC,CAAC;IAC/D,OAAO,GAAG,OAAO,CAAC,OAAO,CAAC,0BAA0B,EAAE,cAAc,KAAK,EAAE,CAAC,CAAC;IAC7E,OAAO,GAAG,OAAO,CAAC,OAAO,CAAC,0BAA0B,EAAE,cAAc,KAAK,EAAE,CAAC,CAAC;IAC7E,OAAO,GAAG,OAAO,CAAC,OAAO,CAAC,mBAAmB,EAAE,KAAK,MAAM,KAAK,KAAK,EAAE,CAAC,CAAC;IAExE,qBAAqB;IACrB,OAAO,GAAG,OAAO,CAAC,OAAO,CAAC,qBAAqB,EAAE,cAAc,CAAC,CAAC;IAEjE,kBAAkB;IAClB,OAAO,GAAG,OAAO,CAAC,OAAO,CAAC,0BAA0B,EAAE,WAAW,CAAC,CAAC;IAEnE,kDAAkD;IAClD,OAAO,GAAG,OAAO,CAAC,OAAO,CAAC,+BAA+B,EAAE,iBAAiB,CAAC,CAAC;IAE9E,qCAAqC;IACrC,OAAO,GAAG,OAAO,CAAC,OAAO,CACvB,gCAAgC,EAChC,8GAA8G,aAAa,GAAG,CAC/H,CAAC;IAEF,iBAAiB;IACjB,MAAM,UAAU,GAAG,IAAI,CAAC,UAAU,EAAE,QAAQ,CAAC,CAAC;IAC9C,MAAM,eAAe,CAAC,UAAU,EAAE,OAAO,CAAC,CAAC;IAE3C,MAAM,YAAY,GAAG,IAAI,CAAC,OAAO,EAAE,QAAQ,CAAC,CAAC;IAE7C,IAAI,YAAY,KAAK,QAAQ,EAAE,CAAC;QAC9B,MAAM,CAAC,OAAO,CAAC,WAAW,MAAM,KAAK,KAAK,EAAE,CAAC,CAAC;QAC9C,MAAM,CAAC,IAAI,CAAC,SAAS,YAAY,EAAE,CAAC,CAAC;QACrC,MAAM,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;QAChB,MAAM,CAAC,IAAI,CACT,yCAAyC,QAAQ,mBAAmB,aAAa,IAAI;YACnF,kBAAkB,YAAY,uBAAuB,QAAQ,0DAA0D,CAC1H,CAAC;QACF,IAAI,kBAAkB,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YAClC,MAAM,CAAC,IAAI,CAAC,6BAA6B,CAAC,CAAC;YAC3C,KAAK,MAAM,CAAC,IAAI,kBAAkB,EAAE,CAAC;gBACnC,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,KAAK,KAAK,CAAC,CAAC,IAAI,YAAY,CAAC,CAAC,KAAK,MAAM,CAAC,CAAC,KAAK,EAAE,CAAC,CAAC;YACzE,CAAC;QACH,CAAC;IACH,CAAC;IAED,OAAO;QACL,IAAI,EAAE;YACJ,OAAO,EAAE,uBAAuB;YAChC,MAAM,EAAE,IAAI;YACZ,IAAI,EAAE,YAAY;YAClB,EAAE,EAAE,MAAM;YACV,gBAAgB,EAAE,QAAQ;YAC1B,UAAU,EAAE,YAAY;YACxB,kBAAkB;SACnB;QACD,OAAO,EAAE,WAAW,MAAM,2BAA2B,QAAQ,eAAe,aAAa,GAAG;KAC7F,CAAC;AACJ,CAAC"}

package/dist/os/rfc/handlers/validate-rules.d.ts

@@ -0,0 +1,80 @@
+import type { ParsedRfc } from "../frontmatter-io.ts";
+import type { ReadAndParseRfcResult } from "../frontmatter-io.ts";
+import type { Marker } from "../types.ts";
+import type { ProbeCoverageReport } from "../types.ts";
+export type AddViolationFn = (rfcId: string, file: string, rule: string, message: string, severity?: "error" | "warning") => void;
+export interface AcceptanceCriteriaEvaluation {
+    totalChecked: number;
+    totalUnchecked: number;
+    uncheckedLines: string[];
+    checkedWithoutEvidence: string[];
+    criterionIds: string[];
+    duplicateCriterionIds: string[];
+    linesWithoutId: string[];
+    supersededIds: string[];
+    nonAtomicViolations: {
+        line: string;
+        acId: string;
+    }[];
+    unboundedQuantityViolations: {
+        line: string;
+        acId: string;
+        trigger: string;
+    }[];
+    weaselVerbViolations: {
+        line: string;
+        acId: string;
+        trigger: string;
+    }[];
+    malformedSupersessionAnnotations: string[];
+}
+export interface DocumentReadinessEvaluation {
+    totalChecked: number;
+    totalUnchecked: number;
+    uncheckedLines: string[];
+    criterionIds: string[];
+    linesWithoutId: string[];
+}
+/**
+ * Strip fenced code blocks (``` ... ```) from a markdown body.
+ * Prevents section extractors from matching headings inside code block examples.
+ * Pure function — no I/O, no side effects.
+ */
+export declare function stripFencedCodeBlocks(body: string): string;
+/**
+ * Extract the raw document-readiness section text from an RFC body.
+ * Pure function — no I/O, no side effects.
+ */
+export declare function extractDocumentReadinessSection(body: string): string | null;
+/**
+ * Evaluate document-readiness checkboxes (RFC-1006).
+ * Pure function — no I/O, no side effects.
+ */
+export declare function evaluateDocumentReadiness(body: string): DocumentReadinessEvaluation;
+/**
+ * Extract the raw acceptance-criteria section text from an RFC body.
+ * Returns `undefined` when the section is absent.
+ */
+export declare function extractAcceptanceCriteriaSection(body: string): string | undefined;
+/**
+ * Evaluate acceptance criteria checkboxes and inline evidence annotations.
+ * Pure function — no I/O, no side effects. Used by both V-26/V-27 validation
+ * and the `rfc.implement.stamp` precondition checks (RFC-0476).
+ */
+export declare function evaluateAcceptanceCriteria(body: string): AcceptanceCriteriaEvaluation;
+/**
+ * Compute a non-blocking probe coverage report for an RFC.
+ * Pure function — no I/O, no side effects.
+ */
+export declare function computeProbeCoverage(criterionIds: string[], acceptance: unknown): ProbeCoverageReport;
+/**
+ * Collect NEEDS CLARIFICATION markers from an RFC body.
+ * Skips lines inside fenced code blocks. Pure function — no I/O.
+ */
+export declare function collectMarkers(body: string, status: string, createdAt: string): Marker[];
+export declare function validateSingleRfc(fileName: string, parsed: ParsedRfc, allParsed: Map<string, {
+    fileName: string;
+    parsed: ParsedRfc;
+}>, seenIds: Map<string, string>, validDnaIds: Set<number>, validApIds: Set<number>, knownKeys: Set<string>, workspaceRoot: string, addViolation: AddViolationFn, seenFilenameNumbers?: Map<number, string>): Promise<Marker[]>;
+export declare function checkFrontmatterYamlParse(fileName: string, result: ReadAndParseRfcResult | undefined, addViolation: AddViolationFn): void;
+//# sourceMappingURL=validate-rules.d.ts.map

package/dist/os/rfc/handlers/validate-rules.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"validate-rules.d.ts","sourceRoot":"","sources":["../../../../os/rfc/handlers/validate-rules.ts"],"names":[],"mappings":"AAuBA,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,sBAAsB,CAAC;AACtD,OAAO,KAAK,EAAE,qBAAqB,EAAE,MAAM,sBAAsB,CAAC;AAClE,OAAO,KAAK,EAAgC,MAAM,EAAE,MAAM,aAAa,CAAC;AAaxE,OAAO,KAAK,EAAE,mBAAmB,EAAmB,MAAM,aAAa,CAAC;AAexE,MAAM,MAAM,cAAc,GAAG,CAC3B,KAAK,EAAE,MAAM,EACb,IAAI,EAAE,MAAM,EACZ,IAAI,EAAE,MAAM,EACZ,OAAO,EAAE,MAAM,EACf,QAAQ,CAAC,EAAE,OAAO,GAAG,SAAS,KAC3B,IAAI,CAAC;AAMV,MAAM,WAAW,4BAA4B;IAC3C,YAAY,EAAE,MAAM,CAAC;IACrB,cAAc,EAAE,MAAM,CAAC;IACvB,cAAc,EAAE,MAAM,EAAE,CAAC;IACzB,sBAAsB,EAAE,MAAM,EAAE,CAAC;IACjC,YAAY,EAAE,MAAM,EAAE,CAAC;IACvB,qBAAqB,EAAE,MAAM,EAAE,CAAC;IAChC,cAAc,EAAE,MAAM,EAAE,CAAC;IACzB,aAAa,EAAE,MAAM,EAAE,CAAC;IACxB,mBAAmB,EAAE;QAAE,IAAI,EAAE,MAAM,CAAC;QAAC,IAAI,EAAE,MAAM,CAAA;KAAE,EAAE,CAAC;IACtD,2BAA2B,EAAE;QAAE,IAAI,EAAE,MAAM,CAAC;QAAC,IAAI,EAAE,MAAM,CAAC;QAAC,OAAO,EAAE,MAAM,CAAA;KAAE,EAAE,CAAC;IAC/E,oBAAoB,EAAE;QAAE,IAAI,EAAE,MAAM,CAAC;QAAC,IAAI,EAAE,MAAM,CAAC;QAAC,OAAO,EAAE,MAAM,CAAA;KAAE,EAAE,CAAC;IACxE,gCAAgC,EAAE,MAAM,EAAE,CAAC;CAC5C;AAED,MAAM,WAAW,2BAA2B;IAC1C,YAAY,EAAE,MAAM,CAAC;IACrB,cAAc,EAAE,MAAM,CAAC;IACvB,cAAc,EAAE,MAAM,EAAE,CAAC;IACzB,YAAY,EAAE,MAAM,EAAE,CAAC;IACvB,cAAc,EAAE,MAAM,EAAE,CAAC;CAC1B;AAuCD;;;;GAIG;AACH,wBAAgB,qBAAqB,CAAC,IAAI,EAAE,MAAM,GAAG,MAAM,CAE1D;AAED;;;GAGG;AACH,wBAAgB,+BAA+B,CAAC,IAAI,EAAE,MAAM,GAAG,MAAM,GAAG,IAAI,CAI3E;AAED;;;GAGG;AACH,wBAAgB,yBAAyB,CAAC,IAAI,EAAE,MAAM,GAAG,2BAA2B,CAuCnF;AAED;;;GAGG;AACH,wBAAgB,gCAAgC,CAAC,IAAI,EAAE,MAAM,GAAG,MAAM,GAAG,SAAS,CAIjF;AAED;;;;GAIG;AACH,wBAAgB,0BAA0B,CAAC,IAAI,EAAE,MAAM,GAAG,4BAA4B,CAwIrF;AAID;;;GAGG;AACH,wBAAgB,oBAAoB,CAClC,YAAY,EAAE,MAAM,EAAE,EACtB,UAAU,EAAE,OAAO,GAClB,mBAAmB,CA6BrB;AAgDD;;;GAGG;AACH,wBAAgB,cAAc,CAAC,IAAI,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,EAAE,SAAS,EAAE,MAAM,GAAG,MAAM,EAAE,CA0BxF;AAED,wBAAsB,iBAAiB,CACrC,QAAQ,EAAE,MAAM,EAChB,MAAM,EAAE,SAAS,EACjB,SAAS,EAAE,GAAG,CAAC,MAAM,EAAE;IAAE,QAAQ,EAAE,MAAM,CAAC;IAAC,MAAM,EAAE,SAAS,CAAA;CAAE,CAAC,EAC/D,OAAO,EAAE,GAAG,CAAC,MAAM,EAAE,MAAM,CAAC,EAC5B,WAAW,EAAE,GAAG,CAAC,MAAM,CAAC,EACxB,UAAU,EAAE,GAAG,CAAC,MAAM,CAAC,EACvB,SAAS,EAAE,GAAG,CAAC,MAAM,CAAC,EACtB,aAAa,EAAE,MAAM,EACrB,YAAY,EAAE,cAAc,EAC5B,mBAAmB,CAAC,EAAE,GAAG,CAAC,MAAM,EAAE,MAAM,CAAC,GACxC,OAAO,CAAC,MAAM,EAAE,CAAC,CAs6BnB;AAID,wBAAgB,yBAAyB,CACvC,QAAQ,EAAE,MAAM,EAChB,MAAM,EAAE,qBAAqB,GAAG,SAAS,EACzC,YAAY,EAAE,cAAc,GAC3B,IAAI,CAUN"}