project-tiny-context-harness 0.7.3 → 0.7.4

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": [] },
@@ -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

@@ -6,3 +6,10 @@ 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.4",
   "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",