@warpgogol/forge 0.3.1

package/dist/os/rfc/handlers/shared.js

@@ -0,0 +1,99 @@
+/*
+<MODULE_CONTRACT>
+<purpose>Shared helpers for RFC handler commands — date utils, invariant ID loading, FS path checks, command bucket parsing.</purpose>
+<non-goals>
+  <item>Do not implement command handlers; those live in sibling files.</item>
+</non-goals>
+</MODULE_CONTRACT>
+<CHANGE_SUMMARY>
+  <item>RFC-0303: extracted shared helpers from handlers.ts into handlers/shared.ts.</item>
+</CHANGE_SUMMARY>
+*/
+import fs from "node:fs/promises";
+import { existsSync } from "node:fs";
+import path from "node:path";
+import { fileURLToPath } from "node:url";
+import { resolveForgeRoot } from "../../../src/config/forge-config.js";
+import { RFC_TEMPLATE_FILE } from "../types.js";
+export function toIsoDate(date) {
+    return date.toISOString().split("T")[0];
+}
+const DNA_DOC = "docs/architecture-dna.md";
+const AP_DOC = "packages/os/site-kernel/docs/anti-patterns.md";
+export const DNA_DOCS = [DNA_DOC];
+export const AP_DOCS = [AP_DOC];
+/** Parse `## <PREFIX>-N` headings from the given docs and return the set of N. */
+export async function loadInvariantIds(workspaceRoot, relPaths, prefix) {
+    const ids = new Set();
+    const re = new RegExp(`^##\\s+${prefix}-(\\d+)\\b`, "gm");
+    for (const rel of relPaths) {
+        try {
+            const src = await fs.readFile(path.join(workspaceRoot, rel), "utf-8");
+            for (const m of src.matchAll(re))
+                ids.add(parseInt(m[1], 10));
+        }
+        catch {
+            // Doc not present at this path — try the next candidate.
+        }
+    }
+    return ids;
+}
+/**
+ * Whether a "File system responsibilities" path is a concrete, checkable file.
+ * Skips glob/placeholder/prose entries that rfc.check must not `fs.access` verbatim:
+ * `apps/*`, `apps/<app>/…`, `{lang}`, `**`, or descriptive phrases with spaces.
+ */
+export function isLiteralFsPath(p) {
+    if (/[*<>{}]/.test(p))
+        return false; // globs / placeholders
+    if (/\s/.test(p))
+        return false; // prose ("Every generator module")
+    if (!p.includes("/") && !p.includes("."))
+        return false; // bare words
+    return true;
+}
+export function stringArray(value) {
+    return Array.isArray(value) ? value.map(String).filter(Boolean) : [];
+}
+export function commandBuckets(fm) {
+    const commands = fm["commands"];
+    if (!commands || typeof commands !== "object" || Array.isArray(commands)) {
+        return { proposed: [], added: [], changed: [], removed: [] };
+    }
+    const record = commands;
+    return {
+        proposed: stringArray(record["proposed"]),
+        added: stringArray(record["added"]),
+        changed: stringArray(record["changed"]),
+        removed: stringArray(record["removed"]),
+    };
+}
+// ---------------------------------------------------------------------------
+// RFC template resolver — finds rfc-0000-template.md from forge root or module location
+// ---------------------------------------------------------------------------
+export function resolveRfcTemplate(workspaceRoot) {
+    // 1. Try forge root (monorepo or npm-installed)
+    try {
+        const forgeRoot = resolveForgeRoot(workspaceRoot);
+        const p = path.join(forgeRoot, RFC_TEMPLATE_FILE);
+        if (existsSync(p))
+            return p;
+    }
+    catch {
+        // forge root not resolvable — fall through to module-relative search
+    }
+    // 2. Fallback: walk up from this module's location to find os/rfc/rfc-0000-template.md
+    const here = path.dirname(fileURLToPath(import.meta.url));
+    let dir = here;
+    for (let i = 0; i < 10; i++) {
+        const candidate = path.join(dir, "os", "rfc", "rfc-0000-template.md");
+        if (existsSync(candidate))
+            return candidate;
+        const parent = path.dirname(dir);
+        if (parent === dir)
+            break;
+        dir = parent;
+    }
+    throw new Error(`RFC template not found. Tried forge root relative to ${workspaceRoot} and module-relative search from ${here}.`);
+}
+//# sourceMappingURL=shared.js.map

package/dist/os/rfc/handlers/shared.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"shared.js","sourceRoot":"","sources":["../../../../os/rfc/handlers/shared.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;EAUE;AAEF,OAAO,EAAE,MAAM,kBAAkB,CAAC;AAClC,OAAO,EAAE,UAAU,EAAE,MAAM,SAAS,CAAC;AACrC,OAAO,IAAI,MAAM,WAAW,CAAC;AAC7B,OAAO,EAAE,aAAa,EAAE,MAAM,UAAU,CAAC;AAEzC,OAAO,EAAE,gBAAgB,EAAE,MAAM,qCAAqC,CAAC;AACvE,OAAO,EAAE,iBAAiB,EAAE,MAAM,aAAa,CAAC;AAGhD,MAAM,UAAU,SAAS,CAAC,IAAU;IAClC,OAAO,IAAI,CAAC,WAAW,EAAE,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,CAAE,CAAC;AAC3C,CAAC;AAED,MAAM,OAAO,GAAG,0BAA0B,CAAC;AAC3C,MAAM,MAAM,GAAG,+CAA+C,CAAC;AAC/D,MAAM,CAAC,MAAM,QAAQ,GAAG,CAAC,OAAO,CAAC,CAAC;AAClC,MAAM,CAAC,MAAM,OAAO,GAAG,CAAC,MAAM,CAAC,CAAC;AAEhC,kFAAkF;AAClF,MAAM,CAAC,KAAK,UAAU,gBAAgB,CACpC,aAAqB,EACrB,QAAkB,EAClB,MAAc;IAEd,MAAM,GAAG,GAAG,IAAI,GAAG,EAAU,CAAC;IAC9B,MAAM,EAAE,GAAG,IAAI,MAAM,CAAC,UAAU,MAAM,YAAY,EAAE,IAAI,CAAC,CAAC;IAC1D,KAAK,MAAM,GAAG,IAAI,QAAQ,EAAE,CAAC;QAC3B,IAAI,CAAC;YACH,MAAM,GAAG,GAAG,MAAM,EAAE,CAAC,QAAQ,CAAC,IAAI,CAAC,IAAI,CAAC,aAAa,EAAE,GAAG,CAAC,EAAE,OAAO,CAAC,CAAC;YACtE,KAAK,MAAM,CAAC,IAAI,GAAG,CAAC,QAAQ,CAAC,EAAE,CAAC;gBAAE,GAAG,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAE,EAAE,EAAE,CAAC,CAAC,CAAC;QACjE,CAAC;QAAC,MAAM,CAAC;YACP,yDAAyD;QAC3D,CAAC;IACH,CAAC;IACD,OAAO,GAAG,CAAC;AACb,CAAC;AAED;;;;GAIG;AACH,MAAM,UAAU,eAAe,CAAC,CAAS;IACvC,IAAI,SAAS,CAAC,IAAI,CAAC,CAAC,CAAC;QAAE,OAAO,KAAK,CAAC,CAAC,uBAAuB;IAC5D,IAAI,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC;QAAE,OAAO,KAAK,CAAC,CAAC,mCAAmC;IACnE,IAAI,CAAC,CAAC,CAAC,QAAQ,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,QAAQ,CAAC,GAAG,CAAC;QAAE,OAAO,KAAK,CAAC,CAAC,aAAa;IACrE,OAAO,IAAI,CAAC;AACd,CAAC;AAED,MAAM,UAAU,WAAW,CAAC,KAAc;IACxC,OAAO,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;AACvE,CAAC;AAED,MAAM,UAAU,cAAc,CAAC,EAA2B;IAMxD,MAAM,QAAQ,GAAG,EAAE,CAAC,UAAU,CAAC,CAAC;IAChC,IAAI,CAAC,QAAQ,IAAI,OAAO,QAAQ,KAAK,QAAQ,IAAI,KAAK,CAAC,OAAO,CAAC,QAAQ,CAAC,EAAE,CAAC;QACzE,OAAO,EAAE,QAAQ,EAAE,EAAE,EAAE,KAAK,EAAE,EAAE,EAAE,OAAO,EAAE,EAAE,EAAE,OAAO,EAAE,EAAE,EAAE,CAAC;IAC/D,CAAC;IACD,MAAM,MAAM,GAAG,QAAmC,CAAC;IACnD,OAAO;QACL,QAAQ,EAAE,WAAW,CAAC,MAAM,CAAC,UAAU,CAAC,CAAC;QACzC,KAAK,EAAE,WAAW,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC;QACnC,OAAO,EAAE,WAAW,CAAC,MAAM,CAAC,SAAS,CAAC,CAAC;QACvC,OAAO,EAAE,WAAW,CAAC,MAAM,CAAC,SAAS,CAAC,CAAC;KACxC,CAAC;AACJ,CAAC;AAID,8EAA8E;AAC9E,wFAAwF;AACxF,8EAA8E;AAE9E,MAAM,UAAU,kBAAkB,CAAC,aAAqB;IACtD,gDAAgD;IAChD,IAAI,CAAC;QACH,MAAM,SAAS,GAAG,gBAAgB,CAAC,aAAa,CAAC,CAAC;QAClD,MAAM,CAAC,GAAG,IAAI,CAAC,IAAI,CAAC,SAAS,EAAE,iBAAiB,CAAC,CAAC;QAClD,IAAI,UAAU,CAAC,CAAC,CAAC;YAAE,OAAO,CAAC,CAAC;IAC9B,CAAC;IAAC,MAAM,CAAC;QACP,qEAAqE;IACvE,CAAC;IAED,uFAAuF;IACvF,MAAM,IAAI,GAAG,IAAI,CAAC,OAAO,CAAC,aAAa,CAAC,MAAM,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC;IAC1D,IAAI,GAAG,GAAG,IAAI,CAAC;IACf,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,EAAE,EAAE,CAAC,EAAE,EAAE,CAAC;QAC5B,MAAM,SAAS,GAAG,IAAI,CAAC,IAAI,CAAC,GAAG,EAAE,IAAI,EAAE,KAAK,EAAE,sBAAsB,CAAC,CAAC;QACtE,IAAI,UAAU,CAAC,SAAS,CAAC;YAAE,OAAO,SAAS,CAAC;QAC5C,MAAM,MAAM,GAAG,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC;QACjC,IAAI,MAAM,KAAK,GAAG;YAAE,MAAM;QAC1B,GAAG,GAAG,MAAM,CAAC;IACf,CAAC;IAED,MAAM,IAAI,KAAK,CACb,wDAAwD,aAAa,oCAAoC,IAAI,GAAG,CACjH,CAAC;AACJ,CAAC"}

package/dist/os/rfc/handlers/supersede-propose.d.ts

@@ -0,0 +1,4 @@
+import type { RfcSupersedeProposeResult } from "../types.ts";
+import type { ForgeCommandInput, ForgeCommandResult, ForgeRuntimeContext } from "../../../src/types.ts";
+export declare function runRfcSupersedePropose(input: ForgeCommandInput, context: ForgeRuntimeContext): Promise<ForgeCommandResult<RfcSupersedeProposeResult>>;
+//# sourceMappingURL=supersede-propose.d.ts.map

package/dist/os/rfc/handlers/supersede-propose.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"supersede-propose.d.ts","sourceRoot":"","sources":["../../../../os/rfc/handlers/supersede-propose.ts"],"names":[],"mappings":"AA0BA,OAAO,KAAK,EAAqB,yBAAyB,EAAE,MAAM,aAAa,CAAC;AAChF,OAAO,KAAK,EACV,iBAAiB,EACjB,kBAAkB,EAClB,mBAAmB,EACpB,MAAM,uBAAuB,CAAC;AA8B/B,wBAAsB,sBAAsB,CAC1C,KAAK,EAAE,iBAAiB,EACxB,OAAO,EAAE,mBAAmB,GAC3B,OAAO,CAAC,kBAAkB,CAAC,yBAAyB,CAAC,CAAC,CA6KxD"}

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

@@ -0,0 +1,200 @@
+/*
+<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}.`);
+    }
+    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,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,29 @@
+import type { ParsedRfc } from "../frontmatter-io.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[];
+}
+/**
+ * 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;
+/**
+ * Validate a single parsed RFC file for V-01..V-31 frontmatter, section, and
+ * referential integrity violations. Mutates the `seenIds` map for V-02
+ * uniqueness tracking and `seenFilenameNumbers` for V-31 across the batch.
+ */
+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<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":"AAiBA,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,sBAAsB,CAAC;AA2BtD,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;CAClC;AAED;;;GAGG;AACH,wBAAgB,gCAAgC,CAAC,IAAI,EAAE,MAAM,GAAG,MAAM,GAAG,SAAS,CAGjF;AAED;;;;GAIG;AACH,wBAAgB,0BAA0B,CAAC,IAAI,EAAE,MAAM,GAAG,4BAA4B,CA+BrF;AAED;;;;GAIG;AACH,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,IAAI,CAAC,CA+oBf"}