project-tiny-context-harness 0.8.17 → 0.12.0

package/dist/lib/validators.js

@@ -1,527 +1,86 @@
-import path from "node:path";
-import { existsSync } from "node:fs";
-import { realpath } from "node:fs/promises";
-import { readConfig } from "./config.js";
-import { parseContextManifest, } from "./context-manifest-schema.js";
-import { harnessPath, harnessRoot } from "./harness-root.js";
-import { listFiles, pathExists, readText } from "./fs.js";
-import { runModularityCheck } from "./modularity.js";
-import { unsupportedSchemaMessage } from "./schema-guard.js";
-const VALIDATORS = {
-    "validate-context": validateContext,
-    "validate-code-modularity": validateCodeModularity,
-    "validate-harness": validateHarness,
-};
-const GLOBAL_REQUIRED_SECTIONS = [
-    ...sectionSpecs([
-        "Project Goal",
-        "Non-goals / Boundaries",
-        "Background",
-        "Design Rationale",
-        "Architecture Context",
-        "Verification Entry Points",
-        "Current State",
-        "Next Safe Action",
-    ]),
-    sectionSpec("Context Index", ["Context Index", "Module Index"]),
-];
-const ARCHITECTURE_REQUIRED_SECTIONS = sectionSpecs([
-    "System Boundary",
-    "Component Map",
-    "Data / Control Flow",
-    "Design Rationale",
-    "Constraints And Tradeoffs",
-    "Verification Implications",
-    "Open Risks",
-]);
-const ROLE_ALIASES = {
-    global: "global",
-    architecture: "architecture",
-    area: "area",
-    domain: "domain",
-    subdomain: "subdomain",
-    foundation: "foundation",
-    archive: "archive",
-    contract: "contract",
-    verification: "verification",
-    deployment: "deployment",
-    "implementation-index": "implementation-index",
-    implementation_index: "implementation-index",
-    "decision-rationale": "decision-rationale",
-    decision_rationale: "decision-rationale",
-};
-const VALID_READ_POLICIES = new Set([
-    "default",
-    "always",
-    "optional",
-    "on-demand",
-    "never-default",
-]);
-const EXPORT_ARTIFACT_NAME_PATTERNS = [
-    /full-project-context/i,
-    /当前项目context/i,
-    /当前项目代码实现(?:context)?/i,
-    /code-level-implementation/i,
-    /project-overview/i,
-    /context-bundle/i,
-    /context-summary/i,
-    /context-export/i,
-];
-const FAKE_VERIFICATION_PATTERNS = [
-    /\btests?\s+(?:pass(?:ed|es)?|green)\b/i,
-    /\bverified\b/i,
-    /\bdeployed\s+successfully\b/i,
-    /\bvalidation\s+passed\b/i,
-    /测试(?:已)?通过/,
-    /验证(?:已)?通过/,
-    /部署(?:已)?成功/,
-];
-export async function runValidator(projectRoot, gate, args = []) {
-    const validator = VALIDATORS[gate];
-    if (!validator) {
+import { readFile } from "node:fs/promises";
+import { loadContextCatalog } from "./context-catalog/catalog-load.js";
+import { catalogErrors, catalogWarnings, } from "./context-catalog/catalog-diagnostics.js";
+import { analyzeContextMarkdownCatalog } from "./context-markdown/context-markdown-analysis.js";
+import { extractContextMarkdown } from "./context-markdown/context-markdown-extract.js";
+import { parseYaml } from "./yaml.js";
+export async function runValidator(projectRoot, name, _args = []) {
+    if (name !== "validate-context")
         return {
             info: [],
             errors: [
-                `unknown validator: ${gate}. Minimal Context Harness supports validate-context, validate-code-modularity and validate-harness only.`,
+                name +
+                    " is retired or unknown. Use validate-context for structural checks; project tests own engineering verification.",
             ],
         };
-    }
-    return validator(projectRoot, args);
-}
-async function validateHarness(projectRoot) {
-    const contextReport = await validateContext(projectRoot);
-    const modularityReport = await validateCodeModularity(projectRoot);
+    const catalog = await loadContextCatalog(projectRoot);
+    const errors = catalogErrors(catalog.diagnostics);
+    const warnings = catalogWarnings(catalog.diagnostics);
+    for (const file of catalog.context_files) {
+        try {
+            const content = await readFile(file.absolute_path, "utf8");
+            const registered = catalog.registered_contexts.find((entry) => entry.path === file.path);
+            errors.push(...(registered
+                ? validateContextRegistrationContent(projectRoot, file.path, content, registered.role, registered.read_policy)
+                : validateContextContentForRole(projectRoot, file.path, content, catalog.roles_by_path.get(file.path) ?? "domain")));
+        }
+        catch (error) {
+            errors.push(file.path + ": " + String(error));
+        }
+    }
+    const markdown = await analyzeContextMarkdownCatalog({
+        project_root: catalog.project_root,
+        files: catalog.context_files,
+        long_line_threshold: 1000,
+    });
+    for (const declaration of markdown.controlling_sources)
+        if (declaration.status !== "valid")
+            errors.push(declaration.source_path +
+                ":" +
+                declaration.line +
+                " declared local dependency " +
+                declaration.declared_path +
+                ": " +
+                declaration.status);
+    for (const conflict of markdown.controlling_source_conflicts)
+        errors.push(`${conflict.target_path}: ${conflict.kind} controlling-source declarations at ${conflict.owners.map((owner) => `${owner.source_path}:${owner.line}`).join(", ")}`);
     return {
-        info: [...contextReport.info, ...modularityReport.info],
-        warnings: [
-            ...(contextReport.warnings ?? []),
-            ...(modularityReport.warnings ?? []),
+        info: [
+            "Checked manifest paths and explicit ty-context-controlling-source declarations. Ordinary Markdown links, examples, external links and factual correctness are not validated.",
         ],
-        hygiene: [
-            ...(contextReport.hygiene ?? []),
-            ...(modularityReport.hygiene ?? []),
-        ],
-        errors: [...contextReport.errors, ...modularityReport.errors],
+        warnings,
+        errors,
     };
 }
-async function validateCodeModularity(projectRoot) {
-    const report = await runModularityCheck(projectRoot, { touched: true });
-    const info = [
-        `code modularity audited=${report.files.length} warning=${report.warnings.length} waived=${report.waivedWarnings.length} limit=${report.limit}`,
-    ];
-    if (report.files.length === 0) {
-        info.push("No handwritten source files matched the selected scope.");
-    }
-    for (const file of report.files) {
-        const prefix = file.regressed && file.waived
-            ? "waived"
-            : file.regressed
-                ? "over-limit"
-                : file.overLimit
-                    ? "observed-risk"
-                    : "ok";
-        info.push(`${prefix}: ${file.relativePath} ${file.lines} lines`);
-    }
-    for (const waiver of report.waivedWarnings) {
-        info.push(`waived: ${waiver}`);
-    }
-    if (report.errors.length === 0 && report.warnings.length === 0) {
-        info.push("Code modularity validation passed");
-    }
-    return {
-        info,
-        errors: [...report.errors, ...report.warnings],
-    };
-}
-async function validateContext(projectRoot) {
-    const info = [];
-    const warnings = [];
-    const errors = [];
-    const root = await harnessRoot(projectRoot);
-    const globalPath = path.join(projectRoot, "project_context", "global.md");
-    const architecturePath = path.join(projectRoot, "project_context", "architecture.md");
-    const projectContextRoot = path.join(projectRoot, "project_context");
-    const configPath = path.join(projectRoot, harnessPath(root, "config.yaml"));
-    const manifestPath = path.join(projectRoot, "project_context", "context.toml");
-    const manifestRoles = new Map();
-    const manifestReadPolicies = new Map();
-    let schemaVersion = "4";
-    if (!(await pathExists(configPath))) {
-        errors.push(`${harnessPath(root, "config.yaml")} is missing`);
-    }
-    else {
-        schemaVersion = (await readConfig(projectRoot)).core.schema_version;
-        const unsupportedSchema = unsupportedSchemaMessage(schemaVersion, "validate-context");
-        if (unsupportedSchema) {
-            errors.push(unsupportedSchema);
-            return { info, warnings, errors };
-        }
-    }
-    if (!(await pathExists(globalPath))) {
-        errors.push("project_context/global.md is missing");
-    }
-    else {
-        const global = await readText(globalPath);
-        assertSections("project_context/global.md", global, GLOBAL_REQUIRED_SECTIONS, errors);
-        assertSectionHasContent("project_context/global.md", global, sectionSpec("Verification Entry Points"), errors);
-        assertSectionHasContent("project_context/global.md", global, sectionSpec("Next Safe Action"), errors);
-        assertNoFakeVerification("project_context/global.md", global, errors);
-        validateContextFile(projectRoot, "project_context/global.md", global, "global", errors);
-    }
-    if (!(await pathExists(architecturePath))) {
-        errors.push("project_context/architecture.md is missing");
-    }
-    else {
-        const architecture = await readText(architecturePath);
-        assertSections("project_context/architecture.md", architecture, ARCHITECTURE_REQUIRED_SECTIONS, errors);
-        assertSectionHasContent("project_context/architecture.md", architecture, sectionSpec("System Boundary"), errors);
-        assertSectionHasContent("project_context/architecture.md", architecture, sectionSpec("Component Map"), errors);
-        assertNoFakeVerification("project_context/architecture.md", architecture, errors);
-        validateContextFile(projectRoot, "project_context/architecture.md", architecture, "architecture", errors);
-    }
-    if (await pathExists(manifestPath)) {
-        const parsed = parseContextManifest(await readText(manifestPath));
-        errors.push(...parsed.errors);
-        if (parsed.manifest) {
-            await validateContextManifest(projectRoot, parsed.manifest, manifestRoles, manifestReadPolicies, errors);
-            const manifest = parsed.manifest;
-            info.push(`loaded project_context/context.toml with ${manifest.areas.length} area(s) and ${manifest.contexts.length} context node(s)`);
-        }
-    }
-    else if (schemaRequiresContextManifest(schemaVersion)) {
-        errors.push("project_context/context.toml is missing; run ty-context upgrade to create the Schema v4 Context graph manifest");
-    }
-    const contextFiles = (await listFiles(projectContextRoot))
-        .filter((file) => file.endsWith(".md"))
-        .filter((file) => file !== globalPath && file !== architecturePath)
-        .sort();
-    const validatedContextFiles = new Map();
-    for (const file of contextFiles) {
-        const relative = repoRelative(projectRoot, file);
-        const content = await readText(file);
-        const frontMatter = parseFrontMatter(content);
-        const frontMatterRole = frontMatterContextRole(frontMatter, relative, errors);
-        if (frontMatter.read_policy &&
-            !VALID_READ_POLICIES.has(frontMatter.read_policy)) {
-            errors.push(`${relative} has unsupported read_policy: ${frontMatter.read_policy}`);
-        }
-        const manifestRole = manifestRoles.get(relative);
-        const manifestReadPolicy = manifestReadPolicies.get(relative);
-        if (manifestRole && frontMatterRole && manifestRole !== frontMatterRole) {
-            errors.push(`${relative} front matter context_role ${frontMatterRole} does not match manifest role ${manifestRole}`);
-        }
-        if (manifestReadPolicy &&
-            frontMatter.read_policy &&
-            manifestReadPolicy !== frontMatter.read_policy) {
-            errors.push(`${relative} front matter read_policy ${frontMatter.read_policy} does not match manifest read_policy ${manifestReadPolicy}`);
-        }
-        if (!manifestRole) {
-            warnings.push(`${relative} is an unregistered Context Markdown file; add it to project_context/context.toml or move it out of project_context/**`);
-        }
-        const role = manifestRole ?? frontMatterRole;
-        if (!role) {
-            continue;
-        }
-        validateContextFile(projectRoot, relative, content, role, errors);
-        validatedContextFiles.set(relative, role);
-    }
-    for (const [relative, role] of manifestRoles.entries()) {
-        if (!validatedContextFiles.has(relative)) {
-            const absolute = path.join(projectRoot, ...relative.split("/"));
-            if (await pathExists(absolute)) {
-                validateContextFile(projectRoot, relative, await readText(absolute), role, errors);
-                validatedContextFiles.set(relative, role);
-            }
-        }
-    }
-    info.push(`checked project_context/global.md, project_context/architecture.md and ${validatedContextFiles.size} context graph file(s)`);
-    if (errors.length === 0) {
-        info.push("Minimal Context validation passed");
-    }
-    return { info, warnings, errors };
-}
-function validateContextFile(projectRoot, file, content, role, errors) {
-    assertNoFakeVerification(file, content, errors);
-    assertMinimumRecoverability(file, content, errors);
-    assertRoleRecoverability(projectRoot, file, content, role, errors);
-}
-async function validateContextManifest(projectRoot, manifest, manifestRoles, manifestReadPolicies, errors) {
-    if (manifest.areas.length === 0) {
-        errors.push("project_context/context.toml must declare at least one [[areas]] entry");
-    }
-    const areaIds = new Set();
-    const registeredPaths = new Set();
-    const defaultAreas = manifest.areas.filter((area) => area.default);
-    if (manifest.areas.length > 0 && defaultAreas.length !== 1) {
-        errors.push(`project_context/context.toml must mark exactly one [[areas]] entry with default = true; found ${defaultAreas.length}`);
-    }
-    for (const area of manifest.areas) {
-        if (areaIds.has(area.id)) {
-            errors.push(`project_context/context.toml has duplicate area id: ${area.id}`);
-        }
-        areaIds.add(area.id);
-        await validateManifestPath(projectRoot, area.root, projectRoot, `area ${area.id} root`, false, errors);
-        const relative = normalizeContextPath(area.context);
-        if (registeredPaths.has(relative)) {
-            errors.push(`project_context/context.toml has duplicate Context path: ${relative}`);
-        }
-        registeredPaths.add(relative);
-        await addManifestRole(projectRoot, manifestRoles, manifestReadPolicies, area.context, "area", undefined, `area ${area.id}`, errors);
-    }
-    for (const context of manifest.contexts) {
-        const relative = normalizeContextPath(context.path);
-        if (registeredPaths.has(relative)) {
-            errors.push(`project_context/context.toml has duplicate Context path: ${relative}`);
-        }
-        registeredPaths.add(relative);
-        if (context.read_policy && !VALID_READ_POLICIES.has(context.read_policy)) {
-            errors.push(`project_context/context.toml line ${context.line} has unsupported read_policy: ${context.read_policy}`);
-        }
-        const role = normalizeRole(context.role);
-        if (!role) {
-            errors.push(`project_context/context.toml line ${context.line} has unsupported context role: ${context.role}`);
-            continue;
-        }
-        await addManifestRole(projectRoot, manifestRoles, manifestReadPolicies, context.path, role, context.read_policy, `context ${context.path}`, errors);
-    }
-    for (const context of manifest.contexts) {
-        for (const child of context.default_children) {
-            const normalizedChild = normalizeContextPath(child);
-            if (!registeredPaths.has(normalizedChild)) {
-                errors.push(`project_context/context.toml line ${context.line} default_children references unregistered Context path: ${child}`);
-            }
-        }
-    }
-}
-async function addManifestRole(projectRoot, roles, readPolicies, rawPath, role, readPolicy, source, errors) {
-    const relative = normalizeContextPath(rawPath);
-    if (looksLikeExportArtifact(relative)) {
-        errors.push(`project_context/context.toml ${source} must not reference temporary export artifact ${rawPath}; export artifacts belong in tmp/ty-context/context-exports/** and must not be registered as Context graph nodes or implementation-index`);
-        return;
-    }
-    if (!relative.startsWith("project_context/") || !relative.endsWith(".md")) {
-        errors.push(`project_context/context.toml ${source} must reference a markdown file under project_context/: ${rawPath}`);
-        return;
-    }
-    if (!(await validateManifestPath(projectRoot, rawPath, path.join(projectRoot, "project_context"), source, true, errors))) {
-        return;
-    }
-    roles.set(relative, role);
-    if (readPolicy) {
-        readPolicies.set(relative, readPolicy);
-    }
-}
-async function validateManifestPath(projectRoot, rawPath, allowedRoot, source, allowFile, errors) {
-    if (path.isAbsolute(rawPath) ||
-        rawPath.replace(/\\/g, "/").split("/").includes("..")) {
-        errors.push(`project_context/context.toml ${source} path must be relative and must not contain '..': ${rawPath}`);
-        return false;
-    }
-    const target = path.resolve(projectRoot, rawPath);
-    if (!isWithin(allowedRoot, target)) {
-        errors.push(`project_context/context.toml ${source} escapes its allowed root: ${rawPath}`);
-        return false;
-    }
-    if (!(await pathExists(target))) {
-        errors.push(`project_context/context.toml references missing ${allowFile ? "context file" : "area root"}: ${normalizeContextPath(rawPath)}`);
-        return false;
-    }
-    const realAllowedRoot = await realpath(allowedRoot);
-    const realTarget = await realpath(target);
-    if (!isWithin(realAllowedRoot, realTarget)) {
-        errors.push(`project_context/context.toml ${source} resolves through a symbolic link outside its allowed root: ${rawPath}`);
-        return false;
-    }
-    return true;
-}
-function isWithin(root, target) {
-    const relative = path.relative(root, target);
-    return (relative === "" ||
-        (!relative.startsWith(`..${path.sep}`) &&
-            relative !== ".." &&
-            !path.isAbsolute(relative)));
-}
-function assertSections(file, content, sections, errors) {
-    for (const section of sections) {
-        if (!hasAnyHeading(content, section)) {
-            errors.push(`${file} is missing section: ${section.label}`);
-        }
-    }
-}
-function assertSectionHasContent(file, content, section, errors) {
-    const body = sectionBodyForSpec(content, section);
-    if (!body || body.replace(/[-*`\s]/g, "").length === 0) {
-        errors.push(`${file} section ${section.label} must describe concrete project facts`);
-    }
-}
-function assertNoFakeVerification(file, content, errors) {
-    const verificationSections = sectionBodiesByHeading(content, /(?:verification|tests?|deployment|验证|测试|部署)/i);
-    if (verificationSections.length === 0) {
-        return;
-    }
-    for (const verification of verificationSections) {
-        for (const pattern of FAKE_VERIFICATION_PATTERNS) {
-            if (pattern.test(verification)) {
-                errors.push(`${file} must list verification entry points, not claim tests were already executed`);
-                return;
-            }
-        }
-    }
-}
-function assertMinimumRecoverability(file, content, errors) {
-    if (!/^#\s+\S.+$/m.test(content)) {
-        errors.push(`${file} must contain a non-empty level-one title`);
-    }
-    const withoutFrontMatter = content.replace(/^---\s*\r?\n[\s\S]*?\r?\n---\s*\r?\n?/, "");
-    const facts = withoutFrontMatter
-        .split(/\r?\n/)
-        .map((line) => line.trim())
-        .filter((line) => line &&
-        !line.startsWith("#") &&
-        !line.startsWith("```") &&
-        !line.startsWith("<!--"))
-        .map((line) => line.replace(/^[-*+>]\s*/, "").trim())
-        .filter((line) => line.length >= 8)
-        .filter((line) => !/^(?:todo|tbd|placeholder|coming soon|待补充|占位|暂无)[.!。…\s-]*$/i.test(line));
-    if (facts.length === 0) {
-        errors.push(`${file} must contain at least one concrete fact paragraph and cannot be only TODO or placeholder text`);
-    }
-}
-function assertRoleRecoverability(projectRoot, file, content, role, errors) {
-    if (role === "verification") {
-        const hasRepeatableEntry = /`[^`\r\n]+`|\b(?:npm|pnpm|yarn|make|node|python|pytest|cargo|go)\s+[^\r\n]+|(?:^|\s)(?:\.\/|[\w.-]+\/)[\w./-]+/im.test(content);
-        if (!hasRepeatableEntry) {
-            errors.push(`${file} verification Context must contain a command, repository path or repeatable entry point`);
-        }
-    }
-    if (role === "implementation-index") {
-        const candidates = [...content.matchAll(/`([^`]+)`/g)]
-            .map((match) => match[1])
-            .filter((value) => /[\\/]/.test(value) && !value.includes(" "));
-        const hasRepositoryPath = candidates.some((candidate) => {
-            const clean = candidate.replace(/[.:,;]+$/, "").replace(/\\/g, "/");
-            if (path.isAbsolute(clean) || clean.split("/").includes("..")) {
-                return false;
-            }
-            const target = path.resolve(projectRoot, clean);
-            return isWithin(projectRoot, target) && existsSync(target);
-        });
-        if (!hasRepositoryPath) {
-            errors.push(`${file} implementation-index Context must contain at least one existing repository path`);
-        }
-    }
-    if (role === "contract" &&
-        !/(?:producer|consumer|input|output|schema|compatibility|constraint|must|shall|禁止|必须|输入|输出|兼容)/i.test(content)) {
-        errors.push(`${file} contract Context must state at least one constraint or input/output semantic`);
-    }
-    if (role === "decision-rationale") {
-        const hasDecision = /^##\s+(?:(?:Decision|Current Design Choice|Design Choice)(?:\b|\s|$)|决定(?:\s|$)|当前设计选择(?:\s|$))/im.test(content);
-        const hasReason = /^##\s+(?:(?:Reason|Rationale|Why)(?:\b|\s|$)|原因(?:\s|$)|理由(?:\s|$)|为什么(?:\s|$))/im.test(content);
-        if (!hasDecision || !hasReason) {
-            errors.push(`${file} decision-rationale Context must contain both a Decision and a Reason`);
-        }
-    }
-}
-function sectionBodiesByHeading(content, headingPattern) {
-    const matches = [...content.matchAll(/^(#{2,6})\s+(.+?)\s*$/gm)];
-    const bodies = [];
-    for (const [index, match] of matches.entries()) {
-        if (!headingPattern.test(match[2])) {
-            continue;
-        }
-        const start = (match.index ?? 0) + match[0].length;
-        const next = matches[index + 1];
-        const end = next?.index ?? content.length;
-        bodies.push(content.slice(start, end).trim());
-    }
-    return bodies;
-}
-function hasAnyHeading(content, section) {
-    return section.headings.some((heading) => hasHeading(content, heading));
-}
-function hasHeading(content, heading) {
-    const escaped = escapeRegExp(heading);
-    return new RegExp(`^##\\s+${escaped}\\s*$`, "im").test(content);
-}
-function sectionBodyForSpec(content, section) {
-    for (const heading of section.headings) {
-        const body = sectionBody(content, heading);
-        if (body !== undefined) {
-            return body;
-        }
-    }
-    return undefined;
-}
-function sectionBody(content, heading) {
-    const escaped = escapeRegExp(heading);
-    const match = new RegExp(`^##\\s+${escaped}\\s*$`, "im").exec(content);
-    if (!match) {
-        return undefined;
-    }
-    const start = match.index + match[0].length;
-    const rest = content.slice(start);
-    const next = /^##\s+/m.exec(rest);
-    return (next ? rest.slice(0, next.index) : rest).trim();
-}
-function escapeRegExp(value) {
-    return value.replace(/[.*+?^${}()|[\]\\]/g, "\\$&");
-}
-function repoRelative(root, file) {
-    return path.relative(root, file).split(path.sep).join("/");
-}
-function schemaRequiresContextManifest(schemaVersion) {
-    const major = Number.parseInt(schemaVersion, 10);
-    return Number.isNaN(major) || major >= 4;
-}
-function frontMatterContextRole(frontMatter, file, errors) {
-    const role = frontMatter.context_role;
-    if (!role) {
-        return undefined;
-    }
-    const normalized = normalizeRole(role);
-    if (!normalized) {
-        errors.push(`${file} has unsupported context_role: ${role}`);
-    }
-    return normalized;
-}
-function parseFrontMatter(content) {
-    const lines = content.split(/\r?\n/);
-    if (lines[0]?.trim() !== "---") {
-        return {};
-    }
-    const values = {};
-    for (let index = 1; index < lines.length; index += 1) {
-        const line = lines[index].trim();
-        if (line === "---") {
-            return values;
-        }
-        const match = /^([A-Za-z0-9_-]+):\s*(.+?)\s*$/.exec(line);
-        if (match) {
-            values[match[1]] = stripQuotes(match[2]);
-        }
-    }
-    return {};
-}
-function normalizeRole(value) {
-    return ROLE_ALIASES[value.trim().toLowerCase()];
-}
-function normalizeContextPath(value) {
-    return value.replace(/\\/g, "/").replace(/^\.\//, "");
-}
-function looksLikeExportArtifact(value) {
-    const normalized = value.replace(/\\/g, "/");
-    return EXPORT_ARTIFACT_NAME_PATTERNS.some((pattern) => pattern.test(normalized));
-}
-function stripQuotes(value) {
-    if ((value.startsWith('"') && value.endsWith('"')) ||
-        (value.startsWith("'") && value.endsWith("'"))) {
-        return value.slice(1, -1);
-    }
-    return value;
-}
-function sectionSpec(label, headings = [label]) {
-    return { label, headings };
-}
-function sectionSpecs(labels) {
-    return labels.map((label) => sectionSpec(label));
+export function validateContextContentForRole(_root, file, content, _role) {
+    return extractContextMarkdown(content, file)
+        .invalid_declarations.filter((entry) => entry.raw.includes("ty-context-controlling-source"))
+        .map((entry) => file +
+        ":" +
+        entry.line +
+        " invalid declared dependency: " +
+        entry.reason);
+}
+export function validateContextRegistrationContent(root, file, content, role, readPolicy) {
+    const errors = validateContextContentForRole(root, file, content, role);
+    const front = /^---\s*\r?\n([\s\S]*?)\r?\n---(?:\r?\n|$)/.exec(content);
+    if (front) {
+        try {
+            const value = parseYaml(front[1]);
+            if (value?.context_role && value.context_role !== role)
+                errors.push(file +
+                    " front matter context_role does not match requested manifest role " +
+                    role);
+            if (readPolicy !== undefined &&
+                value?.read_policy &&
+                value.read_policy !== readPolicy)
+                errors.push(file +
+                    " front matter read_policy does not match requested manifest read_policy " +
+                    readPolicy);
+        }
+        catch (error) {
+            errors.push(file + " invalid front matter: " + String(error));
+        }
+    }
+    return errors;
 }

package/dist/public-api-core.d.ts

@@ -0,0 +1,15 @@
+export { commands } from "./commands/index.js";
+export { runInit } from "./lib/init.js";
+export { runSync } from "./lib/sync-engine.js";
+export { runUpgrade, runUpgradeReport } from "./lib/upgrade.js";
+export { runDoctor } from "./lib/doctor.js";
+export { runValidator } from "./lib/validators.js";
+export { loadContextCatalog } from "./lib/context-catalog/catalog-load.js";
+export { selectDefaultContextPaths } from "./lib/context-catalog/catalog-default-footprint.js";
+export { inspectContext } from "./lib/context-inspect/context-inspect.js";
+export { createContextScaffold } from "./lib/context-create/context-create.js";
+export { registerContext } from "./lib/context-register/context-register.js";
+export { moveContext } from "./lib/context-move/context-move.js";
+export { contextMutationStatus, completeContextMutation, rollbackContextMutation, } from "./lib/context-mutation/mutation-recovery.js";
+export { runExportContext } from "./lib/context-export.js";
+export { runSourcePackExport } from "./lib/source-pack-export.js";

package/dist/public-api-core.js

@@ -0,0 +1,15 @@
+export { commands } from "./commands/index.js";
+export { runInit } from "./lib/init.js";
+export { runSync } from "./lib/sync-engine.js";
+export { runUpgrade, runUpgradeReport } from "./lib/upgrade.js";
+export { runDoctor } from "./lib/doctor.js";
+export { runValidator } from "./lib/validators.js";
+export { loadContextCatalog } from "./lib/context-catalog/catalog-load.js";
+export { selectDefaultContextPaths } from "./lib/context-catalog/catalog-default-footprint.js";
+export { inspectContext } from "./lib/context-inspect/context-inspect.js";
+export { createContextScaffold } from "./lib/context-create/context-create.js";
+export { registerContext } from "./lib/context-register/context-register.js";
+export { moveContext } from "./lib/context-move/context-move.js";
+export { contextMutationStatus, completeContextMutation, rollbackContextMutation, } from "./lib/context-mutation/mutation-recovery.js";
+export { runExportContext } from "./lib/context-export.js";
+export { runSourcePackExport } from "./lib/source-pack-export.js";

package/dist/public-types.d.ts

@@ -1,9 +1,7 @@
-export type { HarnessConfig, HarnessProfile, ManagedFile, SourceMapping, } from "./lib/types.js";
-export type { CheckExecutionResultV2, CompiledDeliveryContractV2, DeliveryAssertionV2, DeliveryCheckV2, DeliveryContractV2, DeliveryOutcomeV2, EffectiveRiskLevel, ExternalConfirmationV2, FinalReceiptV2, LongTaskFindingV2, LongTaskRiskFacts, ProofSurface, ProgressRecordV2, RequestedRiskLevel, RunnerType, SourceClaimV2, TargetedVerificationResultV2, } from "./lib/long-task-delivery-types.js";
-export type { BoundaryCheckDecisionV2, BoundaryCheckInputV2, } from "./lib/long-task-boundary-check.js";
-export type { DesignResourceHandoffBundleOptions, DesignResourceHandoffBundleResult, } from "./lib/design-resource-handoff-bundle.js";
-export type { DesignResourceHandoffPreflightV1, DesignResourceHandoffV1, } from "./lib/design-resource-handoff-types.js";
-export type { DesignResourceImplementationFeasibilityIdentityV1, DesignResourceImplementationFeasibilityV1, DesignResourceTechnicalFeasibilityInputV1, } from "./lib/design-resource-implementation-feasibility-types.js";
-export type { DesignResourceHandoffPreflightV2, DesignResourceHandoffV2, DesignResourceObservableRuleManifestV2, DesignResourceSymbolicFactRuleV2, DesignResourceSymbolicNoninterferenceCertificateV2, DesignResourceSymbolicNoninterferenceArtifactV2, DesignResourceSymbolicNoninterferenceDerivedResultV2, DesignResourceSymbolicNoninterferenceFailureWitnessV1, DesignResourceSymbolicNoninterferenceInputBindingV2, DesignResourceSymbolicNoninterferenceProofV2, DesignResourceSymbolicProofObligationV2, } from "./lib/design-resource-symbolic-fact-types.js";
-export type { DesignResourceSymbolicSourceIrCertificateScopeV1, DesignResourceSymbolicSourceIrRegionV1, DesignResourceSymbolicSourceIrV1, } from "./lib/design-resource-symbolic-source-ir-types.js";
-export type { CompiledSymbolicDenotationV1, SymbolicDenotationAxisDomain, SymbolicDenotationComplexityLimits, SymbolicDenotationPredicate, SymbolicExtensionalPointV1, SymbolicPointDenotationV1, } from "./lib/symbolic-denotation-types.js";
+export type { HarnessConfig, ManagedFile, SourceMapping } from "./lib/types.js";
+export type { ContextCatalog, CatalogDiagnostic, } from "./lib/context-catalog/catalog-types.js";
+export type { ContextManifest, ContextRole, } from "./lib/context-manifest-schema.js";
+export type { ContextInspectInput, ContextInspectResult, } from "./lib/context-inspect/context-inspect-types.js";
+export type { ContextCreateInput, ContextCreateResult, } from "./lib/context-create/context-create-types.js";
+export type { ContextRegisterInput, ContextRegisterResult, } from "./lib/context-register/context-register-types.js";
+export type { ContextMoveInput, ContextMoveResult, } from "./lib/context-move/context-move-types.js";