project-tiny-context-harness 0.11.0 → 0.12.0

package/dist/lib/validators.js

@@ -1,415 +1,86 @@
-import path from "node:path";
-import { existsSync } from "node:fs";
-import { readConfig } from "./config.js";
-import { CONTEXT_READ_POLICY_SET, normalizeContextRole, } from "./context-catalog/catalog-portable-contract.js";
-import { catalogErrors, catalogWarnings, } from "./context-catalog/catalog-diagnostics.js";
+import { readFile } from "node:fs/promises";
 import { loadContextCatalog } from "./context-catalog/catalog-load.js";
-import { compareUtf8Paths, isPathWithin, normalizeContextPath, } from "./context-catalog/catalog-paths.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 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 { 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 ?? []),
-        ],
-        hygiene: [
-            ...(contextReport.hygiene ?? []),
-            ...(modularityReport.hygiene ?? []),
+        info: [
+            "Checked manifest paths and explicit ty-context-controlling-source declarations. Ordinary Markdown links, examples, external links and factual correctness are not validated.",
         ],
-        errors: [...contextReport.errors, ...modularityReport.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],
+        warnings,
+        errors,
     };
 }
-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");
-    let manifestRoles = new Map();
-    let manifestReadPolicies = new Map();
-    let manifestCatalogLoaded = false;
-    let catalogContextFiles;
-    let catalogFilesByPath = 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 catalog = await loadContextCatalog(projectRoot);
-        manifestCatalogLoaded = true;
-        catalogContextFiles = catalog.context_files
-            .map((entry) => entry.absolute_path)
-            .filter((file) => file !== globalPath && file !== architecturePath);
-        catalogFilesByPath = new Map(catalog.context_files.map((entry) => [entry.path, entry.absolute_path]));
-        errors.push(...catalogErrors(catalog.diagnostics));
-        warnings.push(...catalogWarnings(catalog.diagnostics));
-        manifestRoles = catalog.roles_by_path;
-        manifestReadPolicies = catalog.read_policies_by_path;
-        if (catalog.manifest) {
-            const manifest = catalog.manifest;
-            info.push(`loaded project_context/context.toml with ${manifest.areas.length} area(s) and ${manifest.contexts.length} context node(s)`);
+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));
         }
     }
-    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 = (catalogContextFiles ??
-        (await listFiles(projectContextRoot))
-            .filter((file) => file.endsWith(".md"))
-            .filter((file) => file !== globalPath && file !== architecturePath)).sort((left, right) => compareUtf8Paths(repoRelative(projectRoot, left), repoRelative(projectRoot, right)));
-    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 &&
-            !CONTEXT_READ_POLICY_SET.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 && !manifestCatalogLoaded) {
-            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 = catalogFilesByPath.get(relative);
-            if (absolute && (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);
-}
-export function validateContextContentForRole(projectRoot, file, content, role) {
-    const errors = [];
-    validateContextFile(projectRoot, file, content, role, errors);
-    return errors;
-}
-export function validateContextRegistrationContent(projectRoot, file, content, role, readPolicy) {
-    const errors = validateContextContentForRole(projectRoot, file, content, role);
-    const frontMatter = parseFrontMatter(content);
-    const frontMatterRole = frontMatterContextRole(frontMatter, file, errors);
-    if (frontMatterRole && frontMatterRole !== role)
-        errors.push(`${file} front matter context_role ${frontMatterRole} does not match requested manifest role ${role}`);
-    if (frontMatter.read_policy && frontMatter.read_policy !== readPolicy)
-        errors.push(`${file} front matter read_policy ${frontMatter.read_policy} does not match requested manifest read_policy ${readPolicy}`);
     return errors;
 }
-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 isPathWithin(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 normalizeContextPath(path.relative(root, file));
-}
-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 = normalizeContextRole(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 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));
-}

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

@@ -1,12 +1,15 @@
 export { commands } from "./commands/index.js";
-export { compileDeliveryContract, type CompileDeliveryOptionsV2, } from "./lib/long-task-delivery-compiler.js";
-export { DELIVERY_CONTRACT_FILE, parseDeliveryContract, parseDeliveryContractBundle, } from "./lib/long-task-delivery-parser.js";
-export { evaluateContractBoundary } from "./lib/long-task-boundary-check.js";
-export { publishDesignResourceHandoffBundle } from "./lib/design-resource-handoff-bundle.js";
-export { preflightDesignResourceHandoff } from "./lib/design-resource-handoff-validation.js";
-export { inspectDesignAuthorityClosure, loadCurrentDesignAuthorityClosure, } from "./lib/design-authority-closure.js";
-export { projectDesignAuthorityTokens, projectDesignAuthorityTokensFromEntry, } from "./lib/design-authority-tokens.js";
-export { parseDesignAuthorityDeltaAssessment } from "./lib/design-authority-delta-codec.js";
-export { validateDesignAuthorityDeltaAssessmentCurrent } from "./lib/design-authority-delta-validation.js";
-export { symbolicDenotation } from "./lib/symbolic-denotation-public.js";
-export { classifyLongTaskRisk, validateRiskProof, } from "./lib/long-task-risk.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

@@ -1,12 +1,15 @@
 export { commands } from "./commands/index.js";
-export { compileDeliveryContract, } from "./lib/long-task-delivery-compiler.js";
-export { DELIVERY_CONTRACT_FILE, parseDeliveryContract, parseDeliveryContractBundle, } from "./lib/long-task-delivery-parser.js";
-export { evaluateContractBoundary } from "./lib/long-task-boundary-check.js";
-export { publishDesignResourceHandoffBundle } from "./lib/design-resource-handoff-bundle.js";
-export { preflightDesignResourceHandoff } from "./lib/design-resource-handoff-validation.js";
-export { inspectDesignAuthorityClosure, loadCurrentDesignAuthorityClosure, } from "./lib/design-authority-closure.js";
-export { projectDesignAuthorityTokens, projectDesignAuthorityTokensFromEntry, } from "./lib/design-authority-tokens.js";
-export { parseDesignAuthorityDeltaAssessment } from "./lib/design-authority-delta-codec.js";
-export { validateDesignAuthorityDeltaAssessmentCurrent } from "./lib/design-authority-delta-validation.js";
-export { symbolicDenotation } from "./lib/symbolic-denotation-public.js";
-export { classifyLongTaskRisk, validateRiskProof, } from "./lib/long-task-risk.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,13 +1,7 @@
-export type { HarnessConfig, HarnessProfile, ManagedFile, SourceMapping, } from "./lib/types.js";
-export type { CheckExecutionResultV2, CompiledDeliveryContractV2, DeliveryAssertionV2, DeliveryCheckV2, DeliveryContractV2, DeliveryOutcomeV2, EffectiveRiskLevel, ExternalConfirmationV2, ExternalConfirmationActorV1, ExternalConfirmationCandidateV1, ExternalConfirmationEvaluationV1, ExternalConfirmationExpectedV1, ExternalConfirmationFulfillmentStateV1, ExternalConfirmationObligationResultV1, ExternalConfirmationPreparationConfirmationV1, ExternalConfirmationPreparationObligationV1, ExternalConfirmationPreparationSessionV1, ExternalConfirmationPreparationV1, ExternalConfirmationRecordV1, ExternalConfirmationResultV1, ExternalConfirmationSessionV1, FinalReceiptV2, FinalReceiptV3, LongTaskFindingV2, LongTaskRiskFacts, ProofSurface, ProgressRecordV2, RepairFrontierCheckV1, RepairFrontierGroupV1, RepairFrontierSessionV1, RepairFrontierV1, RequestedRiskLevel, RelevantExternalInputIdentityV1, RunnerType, SourceClaimV2, TargetedVerificationResultV2, } from "./lib/long-task-delivery-types.js";
-export type { AcceptanceObligationReachabilityV1, AcceptanceReachabilityStatusV1, AcceptanceReachabilityV1, EffectiveExternalObligationV1, } from "./lib/long-task-acceptance-reachability.js";
-export type { RepairFrontierInputV1 } from "./lib/long-task-repair-frontier.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 { DesignAuthorityClosureMember, DesignAuthorityClosureSnapshot, DesignAuthorityDiagnostic, DesignAuthorityGeneratedFile, DesignAuthorityIdentityV1, DesignAuthorityInspection, DesignAuthorityKind, DesignAuthorityManifestFile, DesignAuthorityManifestV1, } from "./lib/design-authority-types.js";
-export type { DesignAuthorityConsistentAssessmentV1, DesignAuthorityCrossTaskVarianceV1, DesignAuthorityDeltaAssessmentKind, DesignAuthorityDeltaAssessmentV1, DesignAuthorityDeltaCandidateV1, DesignAuthorityDeltaChangeV1, DesignAuthorityDeltaChangesV1, DesignAuthorityDeltaEvidenceV1, DesignAuthorityDeltaValidationV1, DesignAuthorityTaskOnlyVarianceV1, } from "./lib/design-authority-delta-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";