project-tiny-context-harness 0.8.16 → 0.11.0

package/dist/lib/semantic-fact-proof-shape.d.ts

@@ -31,7 +31,7 @@ export declare function parseSemanticFactProofObligations(value: unknown, label:
     method: string;
     authority: "external_confirmation" | "machine";
     proof_surface: "api_contract" | "data_state" | "implementation_structure" | "population_coverage" | "runtime_behavior" | "security_boundary" | "ui_browser";
-    evidence_capabilities: ("boundary_invocation" | "cross_surface_consistency" | "design_conformance" | "design_method" | "design_symbolic_certificate" | "durable_readback" | "external_side_effect" | "failure_injection" | "input_variation" | "interaction_trace" | "presence" | "semantic_fact" | "state_delta" | "target_runtime" | "visual_render")[];
+    evidence_capabilities: ("actual_provenance" | "boundary_invocation" | "cross_surface_consistency" | "data_state" | "design_conformance" | "design_method" | "design_symbolic_certificate" | "distinct_identity" | "durable_readback" | "external_side_effect" | "failure_injection" | "input_variation" | "interaction_trace" | "population_coverage" | "presence" | "recovery" | "semantic_fact" | "state_delta" | "target_runtime" | "visual_render")[];
     comparison: {
         comparator: string;
         mode: "exact" | "tolerance";

package/dist/lib/semantic-fact-property-shape.d.ts

@@ -5,7 +5,7 @@ export declare function parseSemanticFactPropertyDispositions(value: unknown, la
     standard: boolean;
     value_kind: "boolean" | "custom" | "decision_table" | "digest" | "duration" | "enum" | "formula" | "number" | "object" | "ordered_list" | "range" | "rate" | "ratio" | "relation" | "schema" | "set" | "string" | "timestamp" | "trace";
     required_methods: string[];
-    required_evidence_capabilities: ("boundary_invocation" | "cross_surface_consistency" | "design_conformance" | "design_method" | "design_symbolic_certificate" | "durable_readback" | "external_side_effect" | "failure_injection" | "input_variation" | "interaction_trace" | "presence" | "semantic_fact" | "state_delta" | "target_runtime" | "visual_render")[];
+    required_evidence_capabilities: ("actual_provenance" | "boundary_invocation" | "cross_surface_consistency" | "data_state" | "design_conformance" | "design_method" | "design_symbolic_certificate" | "distinct_identity" | "durable_readback" | "external_side_effect" | "failure_injection" | "input_variation" | "interaction_trace" | "population_coverage" | "presence" | "recovery" | "semantic_fact" | "state_delta" | "target_runtime" | "visual_render")[];
     applicable_unit_refs: string[];
     not_applicable_unit_refs: string[];
     decision_required_unit_refs: string[];

package/dist/lib/validators.d.ts

@@ -1,3 +1,4 @@
+import type { ContextRole } from "./context-manifest-schema.js";
 export interface ValidatorReport {
     info: string[];
     warnings?: string[];
@@ -5,3 +6,5 @@ export interface ValidatorReport {
     errors: string[];
 }
 export declare function runValidator(projectRoot: string, gate: string, args?: string[]): Promise<ValidatorReport>;
+export declare function validateContextContentForRole(projectRoot: string, file: string, content: string, role: ContextRole): string[];
+export declare function validateContextRegistrationContent(projectRoot: string, file: string, content: string, role: ContextRole, readPolicy: string): string[];

package/dist/lib/validators.js

@@ -1,8 +1,10 @@
 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 { CONTEXT_READ_POLICY_SET, normalizeContextRole, } from "./context-catalog/catalog-portable-contract.js";
+import { catalogErrors, catalogWarnings, } from "./context-catalog/catalog-diagnostics.js";
+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";
@@ -34,39 +36,6 @@ const ARCHITECTURE_REQUIRED_SECTIONS = sectionSpecs([
     "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,
@@ -143,8 +112,11 @@ async function validateContext(projectRoot) {
     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 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`);
@@ -180,21 +152,28 @@ async function validateContext(projectRoot) {
         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;
+        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)`);
         }
     }
     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 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);
@@ -202,7 +181,7 @@ async function validateContext(projectRoot) {
         const frontMatter = parseFrontMatter(content);
         const frontMatterRole = frontMatterContextRole(frontMatter, relative, errors);
         if (frontMatter.read_policy &&
-            !VALID_READ_POLICIES.has(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);
@@ -215,7 +194,7 @@ async function validateContext(projectRoot) {
             manifestReadPolicy !== frontMatter.read_policy) {
             errors.push(`${relative} front matter read_policy ${frontMatter.read_policy} does not match manifest read_policy ${manifestReadPolicy}`);
         }
-        if (!manifestRole) {
+        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;
@@ -227,8 +206,8 @@ async function validateContext(projectRoot) {
     }
     for (const [relative, role] of manifestRoles.entries()) {
         if (!validatedContextFiles.has(relative)) {
-            const absolute = path.join(projectRoot, ...relative.split("/"));
-            if (await pathExists(absolute)) {
+            const absolute = catalogFilesByPath.get(relative);
+            if (absolute && (await pathExists(absolute))) {
                 validateContextFile(projectRoot, relative, await readText(absolute), role, errors);
                 validatedContextFiles.set(relative, role);
             }
@@ -245,101 +224,20 @@ function validateContextFile(projectRoot, file, content, role, 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;
+export function validateContextContentForRole(projectRoot, file, content, role) {
+    const errors = [];
+    validateContextFile(projectRoot, file, content, role, errors);
+    return errors;
 }
-function isWithin(root, target) {
-    const relative = path.relative(root, target);
-    return (relative === "" ||
-        (!relative.startsWith(`..${path.sep}`) &&
-            relative !== ".." &&
-            !path.isAbsolute(relative)));
+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) {
@@ -404,7 +302,7 @@ function assertRoleRecoverability(projectRoot, file, content, role, errors) {
                 return false;
             }
             const target = path.resolve(projectRoot, clean);
-            return isWithin(projectRoot, target) && existsSync(target);
+            return isPathWithin(projectRoot, target) && existsSync(target);
         });
         if (!hasRepositoryPath) {
             errors.push(`${file} implementation-index Context must contain at least one existing repository path`);
@@ -467,7 +365,7 @@ function escapeRegExp(value) {
     return value.replace(/[.*+?^${}()|[\]\\]/g, "\\$&");
 }
 function repoRelative(root, file) {
-    return path.relative(root, file).split(path.sep).join("/");
+    return normalizeContextPath(path.relative(root, file));
 }
 function schemaRequiresContextManifest(schemaVersion) {
     const major = Number.parseInt(schemaVersion, 10);
@@ -478,7 +376,7 @@ function frontMatterContextRole(frontMatter, file, errors) {
     if (!role) {
         return undefined;
     }
-    const normalized = normalizeRole(role);
+    const normalized = normalizeContextRole(role);
     if (!normalized) {
         errors.push(`${file} has unsupported context_role: ${role}`);
     }
@@ -502,16 +400,6 @@ function parseFrontMatter(content) {
     }
     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("'"))) {

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

@@ -0,0 +1,12 @@
+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";

package/dist/public-api-core.js

@@ -0,0 +1,12 @@
+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";

package/dist/public-api-long-task.d.ts

@@ -0,0 +1,10 @@
+export { verifyDeliveryContract } from "./lib/long-task-verifier-v2.js";
+export { runDeliveryFinalGate } from "./lib/long-task-final-v2.js";
+export { captureFinalizationIdentity, finalizationIdentityDigest, type FinalizationIdentityV1, } from "./lib/long-task-finalization-identity.js";
+export { finalizeDeliveryGateCas } from "./lib/long-task-terminal-finalization.js";
+export { externalConfirmationStatus, prepareExternalConfirmations, revokeExternalConfirmation, rotateExternalConfirmation, submitExternalConfirmation, } from "./lib/long-task-external-confirmation-plan.js";
+export { externalConfirmationRecordHash, externalConfirmationRecordV2Hash, externalConfirmationV2SignablePayload, parseExternalConfirmationRecord, parseExternalConfirmationRecordV1, parseExternalConfirmationRecordV2, signExternalConfirmationRecordV1, } from "./lib/long-task-external-confirmation-shape.js";
+export { verifyExternalConfirmationAttestation } from "./lib/long-task-external-confirmation-attestation.js";
+export { deriveRepairFrontier } from "./lib/long-task-repair-frontier.js";
+export { closeDeliveryTask, type DeliveryStatusV2, doctorDeliveryTask, readDeliveryStatus, resumeDeliveryTask, stopCheckDeliveryTask, } from "./lib/long-task-status-v2.js";
+export { readActiveLongTaskBinding, readCompiledDeliveryContract, readFinalReceipt, } from "./lib/long-task-state.js";

package/dist/public-api-long-task.js

@@ -0,0 +1,10 @@
+export { verifyDeliveryContract } from "./lib/long-task-verifier-v2.js";
+export { runDeliveryFinalGate } from "./lib/long-task-final-v2.js";
+export { captureFinalizationIdentity, finalizationIdentityDigest, } from "./lib/long-task-finalization-identity.js";
+export { finalizeDeliveryGateCas } from "./lib/long-task-terminal-finalization.js";
+export { externalConfirmationStatus, prepareExternalConfirmations, revokeExternalConfirmation, rotateExternalConfirmation, submitExternalConfirmation, } from "./lib/long-task-external-confirmation-plan.js";
+export { externalConfirmationRecordHash, externalConfirmationRecordV2Hash, externalConfirmationV2SignablePayload, parseExternalConfirmationRecord, parseExternalConfirmationRecordV1, parseExternalConfirmationRecordV2, signExternalConfirmationRecordV1, } from "./lib/long-task-external-confirmation-shape.js";
+export { verifyExternalConfirmationAttestation } from "./lib/long-task-external-confirmation-attestation.js";
+export { deriveRepairFrontier } from "./lib/long-task-repair-frontier.js";
+export { closeDeliveryTask, doctorDeliveryTask, readDeliveryStatus, resumeDeliveryTask, stopCheckDeliveryTask, } from "./lib/long-task-status-v2.js";
+export { readActiveLongTaskBinding, readCompiledDeliveryContract, readFinalReceipt, } from "./lib/long-task-state.js";

package/dist/public-types.d.ts

@@ -1,8 +1,13 @@
 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 { 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";

package/dist/schemas/design-authority-delta-assessment-v1.schema.json

@@ -0,0 +1,191 @@
+{
+    "$schema": "https://json-schema.org/draft/2020-12/schema",
+    "$id": "https://tiny-context.dev/schemas/design-authority-delta-assessment-v1.schema.json",
+    "title": "Design Authority Delta Assessment V1",
+    "oneOf": [
+        { "$ref": "#/$defs/consistent" },
+        { "$ref": "#/$defs/taskOnly" },
+        { "$ref": "#/$defs/crossTask" },
+        { "$ref": "#/$defs/candidate" }
+    ],
+    "$defs": {
+        "identity": {
+            "type": "object",
+            "additionalProperties": false,
+            "required": ["format_version", "entry_path", "manifest_path", "closure_digest", "revision"],
+            "properties": {
+                "format_version": { "const": 1 },
+                "entry_path": { "const": "DESIGN.md" },
+                "manifest_path": {
+                    "oneOf": [
+                        { "type": "null" },
+                        { "const": "design_system/authority.manifest.json" }
+                    ]
+                },
+                "closure_digest": { "type": "string", "pattern": "^sha256:[0-9a-f]{64}$" },
+                "revision": {
+                    "oneOf": [
+                        { "type": "null" },
+                        { "type": "string", "minLength": 1 }
+                    ]
+                }
+            }
+        },
+        "base": {
+            "type": "object",
+            "required": ["schema_version", "assessment", "based_on"],
+            "properties": {
+                "schema_version": { "const": "design-authority-delta-assessment-v1" },
+                "assessment": {
+                    "enum": [
+                        "consistent_with_current_authority",
+                        "task_local_variance",
+                        "authority_delta_candidate"
+                    ]
+                },
+                "based_on": { "$ref": "#/$defs/identity" }
+            }
+        },
+        "stringSet": {
+            "type": "array",
+            "items": { "type": "string", "minLength": 1 },
+            "uniqueItems": true
+        },
+        "sourceRefSet": {
+            "type": "array",
+            "items": {
+                "type": "string",
+                "minLength": 1,
+                "pattern": "^[^\\\\#]+(?:#[^#]+)?$"
+            },
+            "uniqueItems": true
+        },
+        "change": {
+            "type": "object",
+            "additionalProperties": false,
+            "required": ["key", "proposal", "rationale"],
+            "properties": {
+                "key": { "type": "string", "minLength": 1 },
+                "proposal": { "type": "string", "minLength": 1 },
+                "rationale": { "type": "string", "minLength": 1 }
+            }
+        },
+        "changes": {
+            "type": "object",
+            "additionalProperties": false,
+            "required": ["tokens", "components", "patterns", "motion", "platforms"],
+            "properties": {
+                "tokens": { "type": "array", "items": { "$ref": "#/$defs/change" } },
+                "components": { "type": "array", "items": { "$ref": "#/$defs/change" } },
+                "patterns": { "type": "array", "items": { "$ref": "#/$defs/change" } },
+                "motion": { "type": "array", "items": { "$ref": "#/$defs/change" } },
+                "platforms": { "type": "array", "items": { "$ref": "#/$defs/change" } }
+            }
+        },
+        "consistent": {
+            "allOf": [
+                { "$ref": "#/$defs/base" },
+                {
+                    "type": "object",
+                    "additionalProperties": false,
+                    "required": ["schema_version", "assessment", "based_on", "evidence", "observed_variances"],
+                    "properties": {
+                        "schema_version": { "const": "design-authority-delta-assessment-v1" },
+                        "assessment": { "const": "consistent_with_current_authority" },
+                        "based_on": { "$ref": "#/$defs/identity" },
+                        "evidence": {
+                            "type": "object",
+                            "additionalProperties": false,
+                            "required": ["tokens", "components", "rules"],
+                            "properties": {
+                                "tokens": { "$ref": "#/$defs/stringSet" },
+                                "components": { "$ref": "#/$defs/stringSet" },
+                                "rules": { "$ref": "#/$defs/sourceRefSet" }
+                            }
+                        },
+                        "observed_variances": { "type": "array", "maxItems": 0 }
+                    }
+                }
+            ]
+        },
+        "varianceBase": {
+            "type": "object",
+            "required": ["schema_version", "assessment", "based_on", "scope", "reason", "affected_rules", "durability"],
+            "properties": {
+                "schema_version": { "const": "design-authority-delta-assessment-v1" },
+                "assessment": { "const": "task_local_variance" },
+                "based_on": { "$ref": "#/$defs/identity" },
+                "scope": { "allOf": [{ "$ref": "#/$defs/stringSet" }, { "minItems": 1 }] },
+                "reason": { "type": "string", "minLength": 1 },
+                "affected_rules": { "allOf": [{ "$ref": "#/$defs/sourceRefSet" }, { "minItems": 1 }] },
+                "durability": { "enum": ["task_only", "cross_task_candidate"] }
+            }
+        },
+        "taskOnly": {
+            "allOf": [
+                { "$ref": "#/$defs/varianceBase" },
+                {
+                    "type": "object",
+                    "additionalProperties": false,
+                    "required": ["schema_version", "assessment", "based_on", "scope", "reason", "affected_rules", "durability", "precedent"],
+                    "properties": {
+                        "schema_version": { "const": "design-authority-delta-assessment-v1" },
+                        "assessment": { "const": "task_local_variance" },
+                        "based_on": { "$ref": "#/$defs/identity" },
+                        "scope": { "$ref": "#/$defs/stringSet" },
+                        "reason": { "type": "string", "minLength": 1 },
+                        "affected_rules": { "$ref": "#/$defs/sourceRefSet" },
+                        "durability": { "const": "task_only" },
+                        "precedent": { "const": "forbidden" }
+                    }
+                }
+            ]
+        },
+        "crossTask": {
+            "allOf": [
+                { "$ref": "#/$defs/varianceBase" },
+                {
+                    "type": "object",
+                    "additionalProperties": false,
+                    "required": ["schema_version", "assessment", "based_on", "scope", "reason", "affected_rules", "durability", "required_owner"],
+                    "properties": {
+                        "schema_version": { "const": "design-authority-delta-assessment-v1" },
+                        "assessment": { "const": "task_local_variance" },
+                        "based_on": { "$ref": "#/$defs/identity" },
+                        "scope": { "$ref": "#/$defs/stringSet" },
+                        "reason": { "type": "string", "minLength": 1 },
+                        "affected_rules": { "$ref": "#/$defs/sourceRefSet" },
+                        "durability": { "const": "cross_task_candidate" },
+                        "required_owner": {
+                            "type": "object",
+                            "additionalProperties": false,
+                            "required": ["type", "path"],
+                            "properties": {
+                                "type": { "const": "screen_contract" },
+                                "path": { "type": "string", "pattern": "^project_context/.+\\.md$" }
+                            }
+                        }
+                    }
+                }
+            ]
+        },
+        "candidate": {
+            "allOf": [
+                { "$ref": "#/$defs/base" },
+                {
+                    "type": "object",
+                    "additionalProperties": false,
+                    "required": ["schema_version", "assessment", "based_on", "proposed_changes", "supporting_resources", "representative_scenarios"],
+                    "properties": {
+                        "schema_version": { "const": "design-authority-delta-assessment-v1" },
+                        "assessment": { "const": "authority_delta_candidate" },
+                        "based_on": { "$ref": "#/$defs/identity" },
+                        "proposed_changes": { "$ref": "#/$defs/changes" },
+                        "supporting_resources": { "$ref": "#/$defs/sourceRefSet" },
+                        "representative_scenarios": { "allOf": [{ "$ref": "#/$defs/stringSet" }, { "minItems": 1 }] }
+                    }
+                }
+            ]
+        }
+    }
+}