project-tiny-context-harness 0.7.3 → 0.7.5

package/dist/lib/long-task-status-projection.js

@@ -1,13 +1,21 @@
 import { progressRecordFresh } from "./long-task-progress.js";
 export function projectDeliveryStatus(input) {
     const outcomes = projectOutcomes(input);
+    const stages = projectStages(input.compiled, outcomes);
     return {
         finalResult: projectFinalResult(input),
         finalWorkflowStatus: receiptFresh(input)
             ? input.receipt.workflow_status
             : null,
+        targetState: receiptFresh(input)
+            ? (input.receipt.target_state ?? legacyTargetState(input.receipt))
+            : "not_accepted",
         outcomes,
-        readyOutcomes: readyOutcomes(input.compiled, outcomes),
+        stages,
+        readyStages: Object.entries(stages)
+            .filter(([, status]) => status === "ready")
+            .map(([key]) => key),
+        readyOutcomes: readyOutcomes(input.compiled, outcomes, stages),
         needsReverify: Object.entries(outcomes)
             .filter(([, status]) => ["unverified", "progress_stale", "progress_failing"].includes(status))
             .map(([key]) => key),
@@ -88,12 +96,64 @@ function projectFindings(input) {
     }
     return findings;
 }
-function readyOutcomes(compiled, outcomes) {
+function readyOutcomes(compiled, outcomes, stages) {
     return compiled.outcomes
-        .filter((outcome) => outcomes[outcome.key] !== "progress_passing" &&
+        .filter((outcome) => stages[outcome.stage] !== "locked" &&
+        stages[outcome.stage] !== "progress_passing" &&
+        outcomes[outcome.key] !== "progress_passing" &&
         outcome.depends_on.every((dependency) => outcomes[dependency] === "progress_passing"))
         .map((outcome) => outcome.key);
 }
+function legacyTargetState(receipt) {
+    if (receipt.workflow_status === "machine_accepted" ||
+        receipt.workflow_status === "machine_accepted_external_pending")
+        return receipt.target_profile.required_state;
+    return receipt.workflow_status === "blocked_external"
+        ? "blocked_external"
+        : "not_accepted";
+}
+function projectStages(compiled, outcomes) {
+    const result = {};
+    const remaining = new Set(compiled.stages.map((stage) => stage.key));
+    while (remaining.size) {
+        let advanced = false;
+        for (const stage of compiled.stages) {
+            if (!remaining.has(stage.key))
+                continue;
+            if (stage.depends_on.some((dependency) => remaining.has(dependency)))
+                continue;
+            const prerequisitesPassing = stage.depends_on.every((dependency) => result[dependency] === "progress_passing");
+            if (!prerequisitesPassing)
+                result[stage.key] = "locked";
+            else {
+                const owned = compiled.outcomes
+                    .filter((outcome) => outcome.stage === stage.key)
+                    .map((outcome) => outcomes[outcome.key]);
+                const gate = outcomes[stage.gate_outcome];
+                result[stage.key] = owned.includes("progress_failing")
+                    ? "progress_failing"
+                    : owned.includes("blocked_external")
+                        ? "blocked_external"
+                        : owned.includes("progress_stale")
+                            ? "progress_stale"
+                            : gate === "progress_passing" &&
+                                owned.every((status) => status === "progress_passing")
+                                ? "progress_passing"
+                                : owned.every((status) => status === "unverified")
+                                    ? "ready"
+                                    : "unverified";
+            }
+            remaining.delete(stage.key);
+            advanced = true;
+        }
+        if (!advanced) {
+            for (const stage of remaining)
+                result[stage] = "locked";
+            break;
+        }
+    }
+    return result;
+}
 function projectFinalResult(input) {
     if (!input.receipt)
         return "no_final_gate";

package/dist/lib/long-task-status-v2.d.ts

@@ -1,5 +1,5 @@
 import type { AuthorityRevisionDecisionV2 } from "./long-task-authority-revision-types.js";
-import type { ExternalConfirmationV2, FinalReceiptV2, LongTaskFindingV2, OutcomeStatusV2 } from "./long-task-delivery-types.js";
+import type { ExternalConfirmationV2, FinalReceiptV2, LongTaskFindingV2, OutcomeStatusV2, StageStatusV2, TargetProfileV2 } from "./long-task-delivery-types.js";
 import { type AuditGateStatusV2 } from "./long-task-status-projection.js";
 export interface DeliveryStatusV2 {
     schema_version: "long-task-status-v2";
@@ -13,7 +13,11 @@ export interface DeliveryStatusV2 {
     final_result: AuditGateStatusV2;
     final_workflow_status: FinalReceiptV2["workflow_status"] | null;
     external_confirmations: ExternalConfirmationV2[];
+    target_profile: TargetProfileV2;
+    target_state: FinalReceiptV2["target_state"];
     outcomes: Record<string, OutcomeStatusV2>;
+    stages: Record<string, StageStatusV2>;
+    ready_stages: string[];
     ready_outcomes: string[];
     ready_for_implementation: string[];
     needs_reverify: string[];
@@ -31,6 +35,9 @@ export interface StopCheckDeliveryResultV2 {
     reason: string;
     workflow_status?: FinalReceiptV2["workflow_status"];
     external_confirmations?: ExternalConfirmationV2[];
+    target_profile?: TargetProfileV2;
+    target_state?: FinalReceiptV2["target_state"];
+    stage_results?: FinalReceiptV2["stage_results"];
     acceptance_scope?: "declared_machine_authority";
     native_goal_effect?: "none";
     message?: string;
@@ -39,6 +46,9 @@ export interface CloseDeliveryResultV2 {
     status: "closed";
     workflow_status: Extract<FinalReceiptV2["workflow_status"], "machine_accepted" | "machine_accepted_external_pending">;
     external_confirmations: ExternalConfirmationV2[];
+    target_profile: TargetProfileV2;
+    target_state: FinalReceiptV2["target_state"];
+    stage_results: FinalReceiptV2["stage_results"];
     acceptance_scope: "declared_machine_authority";
     closed_scope: "machine_authority";
     native_goal_effect: "none";

package/dist/lib/long-task-status-v2.js

@@ -53,7 +53,11 @@ async function readDeliveryStatusForAuthority(active) {
         final_result: projection.finalResult,
         final_workflow_status: projection.finalWorkflowStatus,
         external_confirmations: compiled.global.acceptance.external_confirmations,
+        target_profile: compiled.task.target_profile,
+        target_state: projection.targetState,
         outcomes: projection.outcomes,
+        stages: projection.stages,
+        ready_stages: projection.readyStages,
         ready_outcomes: projection.readyOutcomes,
         ready_for_implementation: projection.readyOutcomes,
         needs_reverify: projection.needsReverify,
@@ -89,6 +93,8 @@ export async function resumeDeliveryTask(workdir) {
             id: compiled.task.id,
             title: compiled.task.title,
             goal: compiled.task.goal,
+            target_profile: compiled.task.target_profile,
+            execution_targets: compiled.task.execution_targets,
         },
         contract_identity: compiled.compiled_identity,
         authority_revision: compiled.authority_revision,
@@ -101,7 +107,11 @@ export async function resumeDeliveryTask(workdir) {
         last_gate: status.final_result,
         final_workflow_status: status.final_workflow_status,
         external_confirmations: status.external_confirmations,
+        target_profile: status.target_profile,
+        target_state: status.target_state,
         outcomes: status.outcomes,
+        stages: status.stages,
+        ready_stages: status.ready_stages,
         ready_outcomes: status.ready_outcomes,
         ready_for_implementation: status.ready_for_implementation,
         needs_reverify: status.needs_reverify,
@@ -216,6 +226,9 @@ export async function stopCheckDeliveryTask(workdirInput, messageText = "") {
                         reason: "active_authority_changed_after_final_gate",
                         workflow_status: result.workflow_status,
                         external_confirmations: result.external_confirmations,
+                        target_profile: result.target_profile,
+                        target_state: result.target_state,
+                        stage_results: result.stage_results,
                         message: "Active Authority changed after the Live Final Gate; the accepted identity was not cleared.",
                     };
                 throw error;
@@ -225,9 +238,12 @@ export async function stopCheckDeliveryTask(workdirInput, messageText = "") {
                 reason: result.workflow_status,
                 workflow_status: result.workflow_status,
                 external_confirmations: result.external_confirmations,
+                target_profile: result.target_profile,
+                target_state: result.target_state,
+                stage_results: result.stage_results,
                 acceptance_scope: "declared_machine_authority",
                 native_goal_effect: "none",
-                message: acceptedScopeMessage(result.workflow_status, result.external_confirmations),
+                message: acceptedScopeMessage(result.workflow_status, result.external_confirmations, result.target_profile),
             };
         }
         return {
@@ -235,6 +251,9 @@ export async function stopCheckDeliveryTask(workdirInput, messageText = "") {
             reason: `live_final_gate_${result.workflow_status}`,
             workflow_status: result.workflow_status,
             external_confirmations: result.external_confirmations,
+            target_profile: result.target_profile,
+            target_state: result.target_state,
+            stage_results: result.stage_results,
             message: messageText ||
                 result.findings.at(-1)?.next_action ||
                 "Repair the failing Check and rerun Stop.",
@@ -274,13 +293,16 @@ export async function closeDeliveryTask(workdir) {
         status: "closed",
         workflow_status: result.workflow_status,
         external_confirmations: result.external_confirmations,
+        target_profile: result.target_profile,
+        target_state: result.target_state,
+        stage_results: result.stage_results,
         acceptance_scope: "declared_machine_authority",
         closed_scope: "machine_authority",
         native_goal_effect: "none",
     };
 }
-function acceptedScopeMessage(workflowStatus, confirmations) {
-    const scope = "Declared machine Authority accepted and cleared. This result has no direct effect on the platform-native Goal; before completing it, confirm current Goal/user meaning is fully represented by accepted Source and no revision, blocker, or omitted requirement remains.";
+function acceptedScopeMessage(workflowStatus, confirmations, targetProfile) {
+    const scope = `Declared machine Authority accepted for target ${targetProfile.key}:${targetProfile.required_state} and cleared. This result has no direct effect on the platform-native Goal; before completing it, confirm current Goal/user meaning is fully represented by accepted Source and no revision, blocker, or omitted requirement remains.`;
     if (workflowStatus === "machine_accepted")
         return scope;
     const pending = confirmations

package/dist/lib/long-task-target-policy.d.ts

@@ -0,0 +1,6 @@
+import type { CompiledClaimsV2 } from "./long-task-claims.js";
+import type { DeliveryContractV2 } from "./long-task-delivery-types.js";
+type Reporter = (message: string) => void;
+export declare function validateExecutionTargets(contract: DeliveryContractV2, report?: Reporter): void;
+export declare function validateExternalConfirmationImpacts(contract: DeliveryContractV2, claims: CompiledClaimsV2, report?: Reporter): void;
+export {};

package/dist/lib/long-task-target-policy.js

@@ -0,0 +1,127 @@
+export function validateExecutionTargets(contract, report) {
+    const targets = indexExecutionTargets(contract, report);
+    const requiredTargetRefs = contract.task.target_profile.required_target_refs;
+    validateRequiredTargetRefs(contract, targets, report);
+    for (const [outcomeKey, check] of allChecks(contract))
+        validateCheckTarget(outcomeKey, check, targets, report);
+    validateCriticalPathTargets(contract, requiredTargetRefs, report);
+}
+function indexExecutionTargets(contract, report) {
+    const targets = new Map();
+    for (const target of contract.task.execution_targets) {
+        if (targets.has(target.key))
+            issue(report, "execution_target_key_duplicate", target.key);
+        targets.set(target.key, target);
+    }
+    if (![...targets.values()].some((target) => target.role === "product"))
+        issue(report, "product_execution_target_required", contract.task.id);
+    return targets;
+}
+function validateRequiredTargetRefs(contract, targets, report) {
+    const required = contract.task.target_profile.required_target_refs;
+    if (!required.length)
+        issue(report, "target_profile_required_target_refs_required", contract.task.id);
+    if (new Set(required).size !== required.length)
+        issue(report, "target_profile_required_target_refs_duplicate", contract.task.id);
+    for (const targetRef of required) {
+        const target = targets.get(targetRef);
+        if (!target)
+            issue(report, "target_profile_required_target_ref_unknown", targetRef);
+        else if (target.role !== "product")
+            issue(report, "target_profile_required_target_must_be_product", targetRef);
+    }
+}
+function validateCheckTarget(outcomeKey, check, targets, report) {
+    const target = targets.get(check.execution_target.target_ref);
+    const label = `${outcomeKey ?? "GLOBAL"}:${check.key}`;
+    if (!target) {
+        issue(report, "check_execution_target_unknown", `${label}:${check.execution_target.target_ref}`);
+        return;
+    }
+    if ((check.runner.type === "playwright_test" ||
+        check.proof_surface === "ui_browser") &&
+        target.runtime_family !== "browser")
+        issue(report, "browser_check_target_mismatch", `${label}:${target.key}`);
+    if (provesTargetRuntime(check) &&
+        target.runtime_family === "browser" &&
+        check.runner.type !== "playwright_test")
+        issue(report, "browser_target_runtime_requires_playwright", `${label}:${target.key}`);
+    if (provesTargetRuntime(check) &&
+        ["native", "desktop"].includes(target.runtime_family) &&
+        check.runner.type !== "project_binary")
+        issue(report, "native_target_runtime_requires_project_binary", `${label}:${target.key}`);
+    validateStageGateTarget(label, check, target, report);
+    validateConformanceTarget(outcomeKey, check, target, report);
+}
+function validateStageGateTarget(label, check, target, report) {
+    if (!check.journey_roles.includes("stage_gate"))
+        return;
+    if (target.role !== "product")
+        issue(report, "stage_gate_product_target_required", `${label}:${target.key}`);
+    if (check.execution_target.entrypoint !== "root")
+        issue(report, "stage_gate_root_entrypoint_required", label);
+}
+function validateConformanceTarget(outcomeKey, check, target, report) {
+    if (!check.journey_roles.includes("conformance"))
+        return;
+    if (outcomeKey !== null)
+        issue(report, "conformance_check_must_be_global", `${outcomeKey}:${check.key}`);
+    if (target.role !== "product" || check.execution_target.entrypoint !== "root")
+        issue(report, "conformance_root_product_target_required", check.key);
+}
+function validateCriticalPathTargets(contract, requiredTargetRefs, report) {
+    for (const outcomeKey of contract.risk.facts.critical_user_path) {
+        const outcome = contract.outcomes.find((candidate) => candidate.key === outcomeKey);
+        if (!outcome)
+            continue;
+        for (const targetRef of requiredTargetRefs)
+            if (!outcome.acceptance.checks.some((check) => provesSuccess(check, targetRef)))
+                issue(report, "critical_path_required_target_proof_missing", `${outcome.key}:${targetRef}`);
+    }
+}
+function provesSuccess(check, targetRef) {
+    return (check.execution_target.target_ref === targetRef &&
+        check.journey_roles.includes("success") &&
+        check.execution_target.entrypoint === "root" &&
+        provesTargetRuntime(check));
+}
+function provesTargetRuntime(check) {
+    return [...check.positive_assertions, ...check.negative_assertions].some((assertion) => assertion.evidence_capabilities.includes("target_runtime"));
+}
+export function validateExternalConfirmationImpacts(contract, claims, report) {
+    const claimRefs = new Set();
+    for (const [outcomeKey, values] of Object.entries(claims.by_outcome))
+        for (const claim of values)
+            claimRefs.add(`${outcomeKey}.${claim.local_key}`);
+    for (const claim of claims.by_global)
+        claimRefs.add(`GLOBAL.${claim.local_key}`);
+    for (const confirmation of contract.global.acceptance
+        .external_confirmations) {
+        if (!confirmation.impact_claims.length)
+            issue(report, "external_confirmation_impact_required", confirmation.key);
+        for (const claim of confirmation.impact_claims)
+            if (!claimRefs.has(claim))
+                issue(report, "external_confirmation_impact_unknown", `${confirmation.key}:${claim}`);
+        if (confirmation.kind === "functional_prerequisite" &&
+            !confirmation.blocks_target)
+            issue(report, "functional_prerequisite_must_block_target", confirmation.key);
+        if (confirmation.kind === "production_release_gate" &&
+            contract.task.target_profile.required_state ===
+                "production_release_ready" &&
+            !confirmation.blocks_target)
+            issue(report, "production_gate_must_block_release_target", confirmation.key);
+    }
+}
+function allChecks(contract) {
+    return [
+        ...contract.global.acceptance.checks.map((check) => [null, check]),
+        ...contract.outcomes.flatMap((outcome) => outcome.acceptance.checks.map((check) => [outcome.key, check])),
+    ];
+}
+function issue(report, code, detail) {
+    const message = `delivery_contract_invalid:${code}:${detail}`;
+    if (report)
+        report(message);
+    else
+        throw new Error(message);
+}

package/dist/lib/migrations.js

@@ -9,11 +9,22 @@ import { ensureDir, listFiles, pathExists, readText, writeTextIfChanged, } from
 import { harnessConfigPath, harnessRoot } from "./harness-root.js";
 import { legacySdlcHarnessMigration } from "./legacy-sdlc-migration.js";
 import { parseYaml, stringifyYaml } from "./yaml.js";
+import { semanticDriftMigrationFields } from "./long-task-semantic-drift-migration.js";
 async function verifyNoop() {
     return;
 }
 export const migrations = [
     legacySdlcHarnessMigration,
+    {
+        id: "long-task-v2-semantic-drift-authority",
+        introducedIn: "0.7.2",
+        description: "Require explicit Stage, target profile/root runtime, journey scenario and evidence-capability authority in V2 Long-Task Contracts.",
+        scope: ".long-task/delivery-contract.yaml",
+        risk: "manual",
+        manualMessage: "These product and proof semantics cannot be inferred safely. Preserve Source, then explicitly author stages, vertical Outcome membership, target profile and execution targets, success/degradation requirements, Given/When scenarios, evidence capabilities and typed external-confirmation impact before recompiling. Historical Progress and Receipts remain audit-only and must not be imported as acceptance.",
+        detect: detectLongTaskSemanticDriftAuthority,
+        verify: verifyNoop,
+    },
     {
         id: "long-task-v1-retirement",
         introducedIn: "0.6.0",
@@ -102,6 +113,24 @@ export const migrations = [
         verify: verifyNoop,
     },
 ];
+async function detectLongTaskSemanticDriftAuthority(projectRoot, _root, migration) {
+    const contract = path.join(projectRoot, ".long-task", "delivery-contract.yaml");
+    if (!(await pathExists(contract)))
+        return [];
+    let decoded;
+    try {
+        decoded = parseYaml(await readText(contract));
+    }
+    catch {
+        return [];
+    }
+    const fields = semanticDriftMigrationFields(decoded);
+    if (!fields.length)
+        return [];
+    return [
+        item(migration, "manual_required", ".long-task/delivery-contract.yaml", `The active/draft V2 Contract predates semantic-drift authority and is missing: ${fields.slice(0, 12).join(", ")}${fields.length > 12 ? `, +${fields.length - 12} more` : ""}. Re-author these meanings from Source; do not synthesize them from old passing evidence.`),
+    ];
+}
 async function detectLongTaskV1Retirement(projectRoot, root, migration) {
     const items = [];
     const hook = path.join(projectRoot, root, "hooks", "long-task-hook.mjs");

package/dist/schemas/long-task-delivery-v2/long-task-delivery-v2.schema.json

@@ -4,17 +4,19 @@
     "title": "Single-Goal Delivery Contract V2",
     "type": "object",
     "additionalProperties": false,
-    "required": ["schema_version", "task", "source_claims", "risk", "global"],
+    "required": ["schema_version", "task", "source_claims", "stages", "risk", "global"],
     "properties": {
         "schema_version": { "const": "long-task-delivery-v2" },
         "task": {
             "type": "object",
             "additionalProperties": false,
-            "required": ["id", "title", "goal", "source_paths", "context_refs"],
+            "required": ["id", "title", "goal", "target_profile", "execution_targets", "source_paths", "context_refs"],
             "properties": {
                 "id": { "$ref": "#/$defs/key" },
                 "title": { "$ref": "#/$defs/nonEmpty" },
                 "goal": { "$ref": "#/$defs/nonEmpty" },
+                "target_profile": { "$ref": "#/$defs/targetProfile" },
+                "execution_targets": { "type": "array", "minItems": 1, "items": { "$ref": "#/$defs/executionTarget" } },
                 "source_paths": { "type": "array", "minItems": 1, "items": { "$ref": "#/$defs/nonEmpty" } },
                 "context_refs": { "$ref": "#/$defs/nonEmptyStrings" },
                 "context_snapshot_mode": { "enum": ["referenced", "full"], "default": "referenced" }
@@ -25,6 +27,7 @@
             "minItems": 1,
             "items": { "$ref": "#/$defs/sourceClaim" }
         },
+        "stages": { "type": "array", "minItems": 1, "items": { "$ref": "#/$defs/stage" } },
         "risk": { "$ref": "#/$defs/risk" },
         "global": { "$ref": "#/$defs/global" },
         "outcomes": { "type": "array", "items": { "$ref": "#/$defs/outcome" }, "minItems": 1 },
@@ -38,6 +41,40 @@
         "key": { "type": "string", "pattern": "^[a-z0-9][a-z0-9-]*$" },
         "nonEmpty": { "type": "string", "minLength": 1 },
         "nonEmptyStrings": { "type": "array", "items": { "$ref": "#/$defs/nonEmpty" } },
+        "targetProfile": {
+            "type": "object",
+            "additionalProperties": false,
+            "required": ["key", "description", "required_state", "required_target_refs"],
+            "properties": {
+                "key": { "$ref": "#/$defs/key" },
+                "description": { "$ref": "#/$defs/nonEmpty" },
+                "required_state": { "enum": ["implementation_complete", "target_profile_usable", "production_release_ready"] },
+                "required_target_refs": { "$ref": "#/$defs/keys" }
+            }
+        },
+        "executionTarget": {
+            "type": "object",
+            "additionalProperties": false,
+            "required": ["key", "description", "role", "runtime_family", "root_entrypoint"],
+            "properties": {
+                "key": { "$ref": "#/$defs/key" },
+                "description": { "$ref": "#/$defs/nonEmpty" },
+                "role": { "enum": ["product", "support", "observer"] },
+                "runtime_family": { "enum": ["browser", "native", "desktop", "service", "process", "external"] },
+                "root_entrypoint": { "$ref": "#/$defs/nonEmpty" }
+            }
+        },
+        "stage": {
+            "type": "object",
+            "additionalProperties": false,
+            "required": ["key", "title", "depends_on", "gate_outcome"],
+            "properties": {
+                "key": { "$ref": "#/$defs/key" },
+                "title": { "$ref": "#/$defs/nonEmpty" },
+                "depends_on": { "$ref": "#/$defs/keys" },
+                "gate_outcome": { "$ref": "#/$defs/key" }
+            }
+        },
         "keyedStatement": {
             "type": "object",
             "additionalProperties": false,
@@ -114,7 +151,7 @@
                     "properties": {
                         "checks": { "type": "array", "items": { "$ref": "#/$defs/check" }, "default": [] },
                         "counterfactual_controls": { "type": "array", "items": { "$ref": "#/$defs/globalCounterfactual" }, "default": [] },
-                        "external_confirmations": { "type": "array", "items": { "type": "object", "additionalProperties": false, "required": ["key", "description", "owner"], "properties": { "key": { "$ref": "#/$defs/key" }, "description": { "$ref": "#/$defs/nonEmpty" }, "owner": { "$ref": "#/$defs/nonEmpty" } } }, "default": [] }
+                        "external_confirmations": { "type": "array", "items": { "type": "object", "additionalProperties": false, "required": ["key", "description", "owner", "kind", "impact_claims", "blocks_target"], "properties": { "key": { "$ref": "#/$defs/key" }, "description": { "$ref": "#/$defs/nonEmpty" }, "owner": { "$ref": "#/$defs/nonEmpty" }, "kind": { "enum": ["functional_prerequisite", "field_validation", "production_release_gate", "commercial_activation", "expert_authority"] }, "impact_claims": { "type": "array", "minItems": 1, "uniqueItems": true, "items": { "$ref": "#/$defs/nonEmpty" } }, "blocks_target": { "type": "boolean" } } }, "default": [] }
                     },
                     "default": {}
                 }
@@ -123,10 +160,11 @@
         "outcome": {
             "type": "object",
             "additionalProperties": false,
-            "required": ["key", "title", "product", "technical", "acceptance"],
+            "required": ["key", "title", "stage", "product", "technical", "acceptance"],
             "properties": {
                 "key": { "$ref": "#/$defs/key" },
                 "title": { "$ref": "#/$defs/nonEmpty" },
+                "stage": { "$ref": "#/$defs/key" },
                 "depends_on": { "$ref": "#/$defs/keys", "default": [] },
                 "product": { "$ref": "#/$defs/product" },
                 "technical": { "$ref": "#/$defs/technical" },
@@ -136,9 +174,11 @@
         "product": {
             "type": "object",
             "additionalProperties": false,
-            "required": ["observable_result", "owner"],
+            "required": ["observable_result", "success_path_required", "degradation_path_required", "owner"],
             "properties": {
                 "observable_result": { "$ref": "#/$defs/nonEmpty" },
+                "success_path_required": { "type": "boolean" },
+                "degradation_path_required": { "type": "boolean" },
                 "owner": { "type": "object", "additionalProperties": false, "required": ["label", "context_refs", "path_globs"], "properties": { "label": { "$ref": "#/$defs/nonEmpty" }, "context_refs": { "$ref": "#/$defs/nonEmptyStrings" }, "path_globs": { "$ref": "#/$defs/nonEmptyStrings" } } },
                 "requirements": { "type": "array", "items": { "$ref": "#/$defs/requirement" }, "default": [] },
                 "owner_surfaces": { "$ref": "#/$defs/nonEmptyStrings", "default": [] },
@@ -156,7 +196,7 @@
             "type": "object",
             "additionalProperties": false,
             "required": ["key", "location"],
-            "properties": { "key": { "$ref": "#/$defs/key" }, "location": { "$ref": "#/$defs/nonEmpty" }, "trigger": { "type": "string", "default": "" }, "input": { "type": "string", "default": "" }, "loading_state": { "type": "string", "default": "" }, "empty_state": { "type": "string", "default": "" }, "success_state": { "type": "string", "default": "" }, "failure_state": { "type": "string", "default": "" }, "feedback": { "type": "string", "default": "" } }
+            "properties": { "key": { "$ref": "#/$defs/key" }, "surface": { "type": "string", "default": "" }, "region": { "type": "string", "default": "" }, "location": { "$ref": "#/$defs/nonEmpty" }, "control_type": { "type": "string", "default": "" }, "label_content": { "type": "string", "default": "" }, "user_task": { "type": "string", "default": "" }, "visibility": { "type": "string", "default": "" }, "availability": { "type": "string", "default": "" }, "trigger": { "type": "string", "default": "" }, "input": { "type": "string", "default": "" }, "validation": { "type": "string", "default": "" }, "default_value": { "type": "string", "default": "" }, "interaction": { "type": "string", "default": "" }, "navigation_result": { "type": "string", "default": "" }, "loading_state": { "type": "string", "default": "" }, "empty_state": { "type": "string", "default": "" }, "success_state": { "type": "string", "default": "" }, "failure_state": { "type": "string", "default": "" }, "recovery": { "type": "string", "default": "" }, "permission": { "type": "string", "default": "" }, "feedback": { "type": "string", "default": "" }, "accessibility": { "type": "string", "default": "" } }
         },
         "technical": {
             "type": "object",
@@ -204,9 +244,12 @@
         "check": {
             "type": "object",
             "additionalProperties": false,
-            "required": ["key", "proof_surface", "runner", "verification_inputs"],
+            "required": ["key", "journey_roles", "execution_target", "scenario", "proof_surface", "runner", "verification_inputs"],
             "properties": {
                 "key": { "$ref": "#/$defs/key" },
+                "journey_roles": { "type": "array", "minItems": 1, "uniqueItems": true, "items": { "enum": ["success", "degradation", "recovery", "stage_gate", "conformance"] } },
+                "execution_target": { "type": "object", "additionalProperties": false, "required": ["target_ref", "entrypoint"], "properties": { "target_ref": { "$ref": "#/$defs/key" }, "entrypoint": { "enum": ["root", "internal"] } } },
+                "scenario": { "$ref": "#/$defs/scenario" },
                 "proof_surface": { "$ref": "#/$defs/proofSurface" },
                 "runner": { "$ref": "#/$defs/runner" },
                 "verification_inputs": { "$ref": "#/$defs/nonEmptyStrings" },
@@ -236,12 +279,13 @@
         "assertion": {
             "type": "object",
             "additionalProperties": false,
-            "required": ["key", "claims", "observation", "operator"],
+            "required": ["key", "claims", "observation", "operator", "evidence_capabilities"],
             "properties": {
                 "key": { "$ref": "#/$defs/key" },
                 "criterion": { "$ref": "#/$defs/nonEmpty" },
                 "claims": { "$ref": "#/$defs/nonEmptyStrings" },
                 "observation": { "$ref": "#/$defs/nonEmpty" },
+                "evidence_capabilities": { "type": "array", "minItems": 1, "uniqueItems": true, "items": { "$ref": "#/$defs/evidenceCapability" } },
                 "operator": { "enum": ["equals", "not_equals", "contains", "not_contains", "matches", "not_matches", "greater_than", "greater_or_equal", "less_than", "less_or_equal", "truthy", "falsy", "exists", "set_equals", "subset_of", "superset_of"] },
                 "expected": true
             },
@@ -268,6 +312,16 @@
                 }
             ]
         },
+        "scenario": {
+            "type": "object",
+            "additionalProperties": false,
+            "required": ["given", "when"],
+            "properties": {
+                "given": { "type": "array", "minItems": 1, "items": { "$ref": "#/$defs/keyedStatement" } },
+                "when": { "type": "array", "minItems": 1, "items": { "$ref": "#/$defs/keyedStatement" } }
+            }
+        },
+        "evidenceCapability": { "enum": ["presence", "interaction_trace", "state_delta", "cross_surface_consistency", "durable_readback", "boundary_invocation", "external_side_effect", "failure_injection", "visual_render", "target_runtime", "input_variation"] },
         "environment": {
             "oneOf": [
                 {

package/migrations/README.md

@@ -1,8 +1,15 @@
-# Migrations
-
-Schema migrations for Harness config and managed file layout belong here.
-
-Version 0.6.0 includes `long-task-v1-retirement`. It safely removes the
-retired repo-local Hook, reports a legacy active projection as
-`manual_required`, and deliberately does not import V1 progress or receipts
-into the V2 Claim/Evidence authority.
+# Migrations
+
+Schema migrations for Harness config and managed file layout belong here.
+
+Version 0.6.0 includes `long-task-v1-retirement`. It safely removes the
+retired repo-local Hook, reports a legacy active projection as
+`manual_required`, and deliberately does not import V1 progress or receipts
+into the V2 Claim/Evidence authority.
+
+Version 0.7.2 includes `long-task-v2-semantic-drift-authority`. It reports a
+conventional `.long-task/delivery-contract.yaml` as `manual_required` when the
+V2 file predates explicit Stage, target-profile/root-runtime, journey-scenario,
+success/degradation, evidence-capability or external-impact authority. Those
+meanings must be re-authored from Source; migration never infers them from old
+Progress or Receipts.

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "project-tiny-context-harness",
-  "version": "0.7.3",
+  "version": "0.7.5",
   "description": "Minimal project memory and validation harness for AI coding agents.",
   "license": "MIT",
   "author": "Seven128",
@@ -58,7 +58,7 @@
     "pretest": "npm run build",
     "test": "npm run test:built",
     "test:workflow-default:built": "node --test --test-concurrency=1 ../../tests/ty-context/workflow-contract-routing.test.mjs",
-    "test:delivery-contract:built": "node --test --test-concurrency=1 ../../tests/ty-context/long-task-compact-authoring.test.mjs ../../tests/ty-context/long-task-authoring-claims.test.mjs ../../tests/ty-context/long-task-authoring-preflight.test.mjs ../../tests/ty-context/long-task-authority-authoring-fields.test.mjs ../../tests/ty-context/long-task-playwright-ac-evidence.test.mjs ../../tests/ty-context/long-task-delivery-parser.test.mjs ../../tests/ty-context/long-task-delivery-compiler.test.mjs ../../tests/ty-context/long-task-delivery-risk.test.mjs ../../tests/ty-context/long-task-claim-coverage.test.mjs ../../tests/ty-context/long-task-closure-invariants.test.mjs ../../tests/ty-context/long-task-source-authority-closure.test.mjs ../../tests/ty-context/long-task-evidence-sensitivity-policy.test.mjs ../../tests/ty-context/long-task-global-evidence-sensitivity.test.mjs ../../tests/ty-context/long-task-source-risk-binding.test.mjs ../../tests/ty-context/long-task-non-completing-source.test.mjs ../../tests/ty-context/long-task-playwright-trust-boundary.test.mjs ../../tests/ty-context/long-task-planned-counterfactual.test.mjs ../../tests/ty-context/long-task-public-contract-example.test.mjs ../../tests/ty-context/long-task-release-tarball-contract.test.mjs",
+    "test:delivery-contract:built": "node --test --test-concurrency=1 ../../tests/ty-context/long-task-compact-authoring.test.mjs ../../tests/ty-context/long-task-authoring-claims.test.mjs ../../tests/ty-context/long-task-authoring-preflight.test.mjs ../../tests/ty-context/long-task-authority-authoring-fields.test.mjs ../../tests/ty-context/long-task-playwright-ac-evidence.test.mjs ../../tests/ty-context/long-task-delivery-parser.test.mjs ../../tests/ty-context/long-task-delivery-compiler.test.mjs ../../tests/ty-context/long-task-delivery-risk.test.mjs ../../tests/ty-context/long-task-claim-coverage.test.mjs ../../tests/ty-context/long-task-closure-invariants.test.mjs ../../tests/ty-context/long-task-source-authority-closure.test.mjs ../../tests/ty-context/long-task-evidence-sensitivity-policy.test.mjs ../../tests/ty-context/long-task-global-evidence-sensitivity.test.mjs ../../tests/ty-context/long-task-source-risk-binding.test.mjs ../../tests/ty-context/long-task-non-completing-source.test.mjs ../../tests/ty-context/long-task-playwright-trust-boundary.test.mjs ../../tests/ty-context/long-task-planned-counterfactual.test.mjs ../../tests/ty-context/long-task-public-contract-example.test.mjs ../../tests/ty-context/long-task-release-tarball-contract.test.mjs ../../tests/ty-context/long-task-semantic-drift-closure.test.mjs ../../tests/ty-context/long-task-semantic-drift-lifecycle.test.mjs",
     "test:delivery-contract": "npm run build && npm run test:delivery-contract:built",
     "test:long-task-workflow:built": "node ../../tests/ty-context/run-package-suite.mjs long-task",
     "test:long-task-workflow": "npm run build && npm run test:long-task-workflow:built",