project-tiny-context-harness 0.7.2 → 0.7.4

package/dist/lib/long-task-authoring-authority-preview.js

@@ -33,6 +33,7 @@ export function authoringRevisionPreview(contract, sourceHashes, sourceItems, co
         schema_version: "long-task-delivery-v2",
         task: active.authority_snapshot.task,
         source_claims: active.authority_snapshot.source_claims,
+        stages: active.authority_snapshot.stages,
         risk: active.authority_snapshot.risk,
         global: active.authority_snapshot.global,
         outcomes: active.authority_snapshot.outcomes,

package/dist/lib/long-task-authority-material-diff.js

@@ -89,13 +89,39 @@ function productClaimSemantics(contract) {
 function flattenProductSemantics(projection) {
     const fields = new Map([
         ["task.goal", projection.task_goal],
+        ["task.target_profile.key", projection.target_profile.key],
+        ["task.target_profile.description", projection.target_profile.description],
+        [
+            "task.target_profile.required_state",
+            projection.target_profile.required_state,
+        ],
+        [
+            "task.target_profile.required_target_refs",
+            [...projection.target_profile.required_target_refs].sort(),
+        ],
     ]);
+    for (const target of projection.execution_targets) {
+        const prefix = `task.execution_targets.${target.key}`;
+        fields.set(`${prefix}.description`, target.description);
+        fields.set(`${prefix}.role`, target.role);
+        fields.set(`${prefix}.runtime_family`, target.runtime_family);
+        fields.set(`${prefix}.root_entrypoint`, target.root_entrypoint);
+    }
+    for (const stage of projection.stages) {
+        const prefix = `stages.${stage.key}`;
+        fields.set(`${prefix}.title`, stage.title);
+        fields.set(`${prefix}.depends_on`, [...stage.depends_on].sort());
+        fields.set(`${prefix}.gate_outcome`, stage.gate_outcome);
+    }
     for (const item of projection.global_non_goals)
         fields.set(`global.product.non_goals.${item.key}`, item.statement);
     for (const outcome of projection.outcomes) {
         const prefix = `outcomes.${outcome.key}`;
         fields.set(`${prefix}.title`, outcome.title);
+        fields.set(`${prefix}.stage`, outcome.stage);
         fields.set(`${prefix}.observable_result`, outcome.observable_result);
+        fields.set(`${prefix}.success_path_required`, outcome.success_path_required);
+        fields.set(`${prefix}.degradation_path_required`, outcome.degradation_path_required);
         fields.set(`${prefix}.owner.label`, outcome.owner.label);
         fields.set(`${prefix}.owner.owner_surfaces`, outcome.owner.owner_surfaces);
         for (const requirement of outcome.requirements) {

package/dist/lib/long-task-authority-materials.d.ts

@@ -1,7 +1,7 @@
 import type { AuthorityMaterialHashesV2, CompiledDeliveryContractV2, CompiledSourceItemV2, ContextAuthoritySnapshotV2, DeliveryContractV2, GlobalSemanticProjectionV2, NextAuthorityMaterialsV2, ProductSemanticProjectionV2 } from "./long-task-delivery-types.js";
-export declare function computeAuthorityMaterials(contract: Pick<DeliveryContractV2, "task" | "global" | "outcomes">, sourceHashes: Record<string, string>, sourceItems: CompiledSourceItemV2[], contextSnapshot: ContextAuthoritySnapshotV2): NextAuthorityMaterialsV2;
+export declare function computeAuthorityMaterials(contract: Pick<DeliveryContractV2, "task" | "global" | "outcomes" | "stages">, sourceHashes: Record<string, string>, sourceItems: CompiledSourceItemV2[], contextSnapshot: ContextAuthoritySnapshotV2): NextAuthorityMaterialsV2;
 export declare function compiledAuthorityMaterials(compiled: CompiledDeliveryContractV2): NextAuthorityMaterialsV2;
 export declare function authorityMaterialHashes(materials: NextAuthorityMaterialsV2): AuthorityMaterialHashesV2;
 export declare function authorityMaterialsChanged(previous: NextAuthorityMaterialsV2, next: NextAuthorityMaterialsV2): boolean;
-export declare function projectProductSemantics(contract: Pick<DeliveryContractV2, "task" | "global" | "outcomes">): ProductSemanticProjectionV2;
+export declare function projectProductSemantics(contract: Pick<DeliveryContractV2, "task" | "global" | "outcomes" | "stages">): ProductSemanticProjectionV2;
 export declare function projectGlobalSemantics(contract: Pick<DeliveryContractV2, "global">): GlobalSemanticProjectionV2;

package/dist/lib/long-task-authority-materials.js

@@ -28,11 +28,17 @@ export function authorityMaterialsChanged(previous, next) {
 export function projectProductSemantics(contract) {
     return {
         task_goal: contract.task.goal,
+        target_profile: contract.task.target_profile,
+        execution_targets: [...contract.task.execution_targets].sort(keyOrder),
+        stages: [...contract.stages].sort(keyOrder),
         global_non_goals: keyedStatements(contract.global.product.non_goals),
         outcomes: [...contract.outcomes].sort(keyOrder).map((outcome) => ({
             key: outcome.key,
             title: outcome.title,
+            stage: outcome.stage,
             observable_result: outcome.product.observable_result,
+            success_path_required: outcome.product.success_path_required,
+            degradation_path_required: outcome.product.degradation_path_required,
             owner: {
                 label: outcome.product.owner.label,
                 owner_surfaces: [...outcome.product.owner_surfaces].sort(),

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

@@ -1,6 +1,9 @@
 export type AuthorityFieldPolicy = "identity" | "semantic_user_review" | "proof_additive" | "runner_authority" | "input_coverage" | "output_requirement" | "scope" | "readiness_only" | "descriptive_non_authoritative";
 export declare const CHECK_AUTHORITY_POLICY: {
     key: "identity";
+    journey_roles: "proof_additive";
+    execution_target: "semantic_user_review";
+    scenario: "proof_additive";
     proof_surface: "semantic_user_review";
     runner: "runner_authority";
     verification_inputs: "proof_additive";
@@ -19,6 +22,8 @@ export declare const AUTHORITY_FIELD_POLICY_REGISTRIES: {
         source_paths: "scope";
         context_refs: "scope";
         context_snapshot_mode: "scope";
+        target_profile: "semantic_user_review";
+        execution_targets: "semantic_user_review";
     };
     readonly source_claim: {
         key: "identity";
@@ -46,6 +51,7 @@ export declare const AUTHORITY_FIELD_POLICY_REGISTRIES: {
     readonly outcome: {
         key: "identity";
         title: "descriptive_non_authoritative";
+        stage: "semantic_user_review";
         depends_on: "readiness_only";
         product: "semantic_user_review";
         technical: "semantic_user_review";
@@ -53,6 +59,8 @@ export declare const AUTHORITY_FIELD_POLICY_REGISTRIES: {
     };
     readonly outcome_product: {
         observable_result: "semantic_user_review";
+        success_path_required: "semantic_user_review";
+        degradation_path_required: "semantic_user_review";
         owner: "semantic_user_review";
         requirements: "semantic_user_review";
         owner_surfaces: "semantic_user_review";
@@ -114,6 +122,9 @@ export declare const AUTHORITY_FIELD_POLICY_REGISTRIES: {
     };
     readonly check: {
         key: "identity";
+        journey_roles: "proof_additive";
+        execution_target: "semantic_user_review";
+        scenario: "proof_additive";
         proof_surface: "semantic_user_review";
         runner: "runner_authority";
         verification_inputs: "proof_additive";
@@ -129,6 +140,7 @@ export declare const AUTHORITY_FIELD_POLICY_REGISTRIES: {
         criterion: "semantic_user_review";
         claims: "proof_additive";
         observation: "proof_additive";
+        evidence_capabilities: "proof_additive";
         operator: "proof_additive";
         expected: "proof_additive";
     };

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

@@ -5,6 +5,8 @@ const TASK_AUTHORITY_POLICY = {
     source_paths: "scope",
     context_refs: "scope",
     context_snapshot_mode: "scope",
+    target_profile: "semantic_user_review",
+    execution_targets: "semantic_user_review",
 };
 const SOURCE_CLAIM_AUTHORITY_POLICY = {
     key: "identity",
@@ -32,6 +34,7 @@ const GLOBAL_ACCEPTANCE_AUTHORITY_POLICY = {
 const OUTCOME_AUTHORITY_POLICY = {
     key: "identity",
     title: "descriptive_non_authoritative",
+    stage: "semantic_user_review",
     depends_on: "readiness_only",
     product: "semantic_user_review",
     technical: "semantic_user_review",
@@ -39,6 +42,8 @@ const OUTCOME_AUTHORITY_POLICY = {
 };
 const OUTCOME_PRODUCT_AUTHORITY_POLICY = {
     observable_result: "semantic_user_review",
+    success_path_required: "semantic_user_review",
+    degradation_path_required: "semantic_user_review",
     owner: "semantic_user_review",
     requirements: "semantic_user_review",
     owner_surfaces: "semantic_user_review",
@@ -100,6 +105,9 @@ const OUTCOME_ACCEPTANCE_AUTHORITY_POLICY = {
 };
 export const CHECK_AUTHORITY_POLICY = {
     key: "identity",
+    journey_roles: "proof_additive",
+    execution_target: "semantic_user_review",
+    scenario: "proof_additive",
     proof_surface: "semantic_user_review",
     runner: "runner_authority",
     verification_inputs: "proof_additive",
@@ -115,6 +123,7 @@ const ASSERTION_AUTHORITY_POLICY = {
     criterion: "semantic_user_review",
     claims: "proof_additive",
     observation: "proof_additive",
+    evidence_capabilities: "proof_additive",
     operator: "proof_additive",
     expected: "proof_additive",
 };

package/dist/lib/long-task-authority-revision-analysis.d.ts

@@ -0,0 +1,33 @@
+import type { CompiledCheckV2, CompiledDeliveryContractV2, DeliveryContractV2 } from "./long-task-delivery-types.js";
+export interface CheckRevisionAnalysis {
+    negative_assertions_removed: string[];
+    proof_surfaces_changed: string[];
+    runner_definitions_changed: string[];
+    verification_inputs_added: string[];
+    verification_inputs_removed_or_replaced: string[];
+    input_paths_added: string[];
+    input_paths_removed_or_narrowed: string[];
+    expected_output_paths_removed_or_weakened: string[];
+    artifacts_removed: string[];
+    environment_requirements_removed: string[];
+}
+export declare function analyzeCheckRevisions(beforeChecks: Map<string, CompiledCheckV2>, afterChecks: Map<string, CompiledCheckV2>): CheckRevisionAnalysis;
+export interface OutcomeRevisionAnalysis {
+    owner_paths_expanded: string[];
+    owner_context_refs_removed: string[];
+    expected_change_paths_expanded: string[];
+    allowed_paths_expanded: string[];
+    forbidden_paths_removed: string[];
+    bindings_removed_or_expanded: string[];
+    obligations_removed_or_weakened: string[];
+    rollback_or_recovery_weakened: string[];
+    counterfactuals_removed: string[];
+    population_weakened: string[];
+}
+export declare function analyzeOutcomeRevisions(previous: CompiledDeliveryContractV2, next: DeliveryContractV2): OutcomeRevisionAnalysis;
+export declare function keyedAuthorityChanges(before: Array<{
+    key: string;
+}>, after: Array<{
+    key: string;
+}>): string[];
+export declare function selectedRevisionReasons(entries: Array<[reason: string, changed: boolean | unknown[]]>): string[];

package/dist/lib/long-task-authority-revision-analysis.js

@@ -0,0 +1,91 @@
+import { addedInputPaths, addedVerificationInputs, bindingReductions, changedRunnerFields, counterfactualReductions, expandedPatterns, globalCounterfactualReductions, obligationReductions, removedExactValues, removedGlobalForbiddenPaths, removedOrNarrowedInputPaths, removedOrReplacedVerificationInputs, removedOrWeakenedExpectedOutputPaths, removedStructuredValues, rollbackReductions, same, } from "./long-task-authority-revision-details.js";
+export function analyzeCheckRevisions(beforeChecks, afterChecks) {
+    const result = {
+        negative_assertions_removed: [],
+        proof_surfaces_changed: [],
+        runner_definitions_changed: [],
+        verification_inputs_added: [],
+        verification_inputs_removed_or_replaced: [],
+        input_paths_added: [],
+        input_paths_removed_or_narrowed: [],
+        expected_output_paths_removed_or_weakened: [],
+        artifacts_removed: [],
+        environment_requirements_removed: [],
+    };
+    for (const [identity, before] of beforeChecks) {
+        const after = afterChecks.get(identity);
+        if (!after)
+            continue;
+        for (const assertion of before.negative_assertions)
+            if (!after.negative_assertions.some((item) => same(item, assertion)))
+                result.negative_assertions_removed.push(`${identity}:${assertion.key}`);
+        if (before.proof_surface !== after.proof_surface)
+            result.proof_surfaces_changed.push(`${identity}:${before.proof_surface}->${after.proof_surface}`);
+        result.runner_definitions_changed.push(...changedRunnerFields(identity, before, after));
+        result.verification_inputs_added.push(...addedVerificationInputs(identity, before, after));
+        result.verification_inputs_removed_or_replaced.push(...removedOrReplacedVerificationInputs(identity, before, after));
+        result.input_paths_added.push(...addedInputPaths(identity, before, after));
+        result.input_paths_removed_or_narrowed.push(...removedOrNarrowedInputPaths(identity, before, after));
+        result.expected_output_paths_removed_or_weakened.push(...removedOrWeakenedExpectedOutputPaths(identity, before, after));
+        result.artifacts_removed.push(...removedExactValues(identity, before.artifact_globs, after.artifact_globs));
+        result.environment_requirements_removed.push(...removedStructuredValues(identity, before.environment_requirements, after.environment_requirements));
+    }
+    return result;
+}
+export function analyzeOutcomeRevisions(previous, next) {
+    const result = {
+        owner_paths_expanded: [],
+        owner_context_refs_removed: [],
+        expected_change_paths_expanded: [],
+        allowed_paths_expanded: [],
+        forbidden_paths_removed: removedGlobalForbiddenPaths(previous, next),
+        bindings_removed_or_expanded: [],
+        obligations_removed_or_weakened: [],
+        rollback_or_recovery_weakened: [],
+        counterfactuals_removed: globalCounterfactualReductions(previous, next),
+        population_weakened: [],
+    };
+    const previousOutcomes = new Map(previous.outcomes.map((outcome) => [outcome.key, outcome]));
+    for (const after of next.outcomes) {
+        const before = previousOutcomes.get(after.key);
+        if (!before)
+            continue;
+        result.owner_paths_expanded.push(...expandedPatterns(after.key, before.product.owner.path_globs, after.product.owner.path_globs));
+        result.owner_context_refs_removed.push(...removedExactValues(after.key, before.product.owner.context_refs, after.product.owner.context_refs));
+        result.expected_change_paths_expanded.push(...expandedPatterns(after.key, before.technical.expected_change_paths, after.technical.expected_change_paths));
+        result.allowed_paths_expanded.push(...expandedPatterns(after.key, before.technical.allowed_support_paths, after.technical.allowed_support_paths));
+        result.forbidden_paths_removed.push(...removedExactValues(after.key, before.technical.forbidden_paths, after.technical.forbidden_paths));
+        result.bindings_removed_or_expanded.push(...bindingReductions(before, after));
+        result.obligations_removed_or_weakened.push(...obligationReductions(before, after));
+        result.rollback_or_recovery_weakened.push(...rollbackReductions(before, after));
+        result.counterfactuals_removed.push(...counterfactualReductions(before, after));
+        if (before.acceptance.population &&
+            (!after.acceptance.population ||
+                !same(before.acceptance.population, after.acceptance.population)))
+            result.population_weakened.push(after.key);
+    }
+    return result;
+}
+export function keyedAuthorityChanges(before, after) {
+    const beforeByKey = new Map(before.map((item) => [item.key, item]));
+    const afterByKey = new Map(after.map((item) => [item.key, item]));
+    return [
+        ...before
+            .filter((item) => !afterByKey.has(item.key))
+            .map((item) => `${item.key}:removed`),
+        ...after
+            .filter((item) => !beforeByKey.has(item.key))
+            .map((item) => `${item.key}:added`),
+        ...before
+            .filter((item) => {
+            const candidate = afterByKey.get(item.key);
+            return candidate !== undefined && !same(item, candidate);
+        })
+            .map((item) => `${item.key}:changed`),
+    ].sort();
+}
+export function selectedRevisionReasons(entries) {
+    return entries
+        .filter(([, changed]) => Array.isArray(changed) ? changed.length > 0 : changed)
+        .map(([reason]) => reason);
+}

package/dist/lib/long-task-authority-revision.js

@@ -1,7 +1,8 @@
 import { acceptanceSemanticsChanged, isMonotonicAcceptanceStrengthening, } from "./long-task-authority.js";
 import { authorityMaterialRevisionDiff, changedProductClaimSemantics, sourceClaimAdditions, } from "./long-task-authority-material-diff.js";
+import { analyzeCheckRevisions, analyzeOutcomeRevisions, keyedAuthorityChanges, selectedRevisionReasons, } from "./long-task-authority-revision-analysis.js";
+import { addedValues, checkIndex, removedExactValues, removedValues, sourceClaimReductions, } from "./long-task-authority-revision-details.js";
 import { compileProductClaimCoverage } from "./long-task-claims.js";
-import { addedInputPaths, addedVerificationInputs, addedValues, bindingReductions, changedRunnerFields, checkIndex, counterfactualReductions, expandedPatterns, globalCounterfactualReductions, obligationReductions, removedExactValues, removedGlobalForbiddenPaths, removedOrNarrowedInputPaths, removedOrReplacedVerificationInputs, removedOrWeakenedExpectedOutputPaths, removedStructuredValues, removedValues, rollbackReductions, same, sourceClaimReductions, } from "./long-task-authority-revision-details.js";
 import { verifierAuthorityDiff } from "./long-task-verifier-authority.js";
 export function authorityRevisionDiff(previous, next, nextHashes, nextMaterials, nextGlobalChecks, nextOutcomes, nextVerifier) {
     const materialDiff = authorityMaterialRevisionDiff(previous, nextMaterials);
@@ -16,67 +17,12 @@ export function authorityRevisionDiff(previous, next, nextHashes, nextMaterials,
     const productClaimsAdded = addedValues(beforeClaimIds, afterClaimIds);
     const productClaimsChanged = changedProductClaimSemantics(previous, next);
     const checksRemoved = removedValues(new Set(beforeChecks.keys()), new Set(afterChecks.keys()));
-    const negativeAssertionsRemoved = [];
-    const proofSurfacesChanged = [];
-    const runnerDefinitionsChanged = [];
-    const verificationInputsAdded = [];
-    const verificationInputsRemovedOrReplaced = [];
-    const inputPathsAdded = [];
-    const inputPathsRemovedOrNarrowed = [];
-    const expectedOutputPathsRemovedOrWeakened = [];
-    const artifactsRemoved = [];
-    const environmentRequirementsRemoved = [];
-    for (const [identity, before] of beforeChecks) {
-        const after = afterChecks.get(identity);
-        if (!after)
-            continue;
-        for (const assertion of before.negative_assertions)
-            if (!after.negative_assertions.some((item) => same(item, assertion)))
-                negativeAssertionsRemoved.push(`${identity}:${assertion.key}`);
-        if (before.proof_surface !== after.proof_surface)
-            proofSurfacesChanged.push(`${identity}:${before.proof_surface}->${after.proof_surface}`);
-        runnerDefinitionsChanged.push(...changedRunnerFields(identity, before, after));
-        verificationInputsAdded.push(...addedVerificationInputs(identity, before, after));
-        verificationInputsRemovedOrReplaced.push(...removedOrReplacedVerificationInputs(identity, before, after));
-        inputPathsAdded.push(...addedInputPaths(identity, before, after));
-        inputPathsRemovedOrNarrowed.push(...removedOrNarrowedInputPaths(identity, before, after));
-        expectedOutputPathsRemovedOrWeakened.push(...removedOrWeakenedExpectedOutputPaths(identity, before, after));
-        artifactsRemoved.push(...removedExactValues(identity, before.artifact_globs, after.artifact_globs));
-        environmentRequirementsRemoved.push(...removedStructuredValues(identity, before.environment_requirements, after.environment_requirements));
-    }
+    const checkChanges = analyzeCheckRevisions(beforeChecks, afterChecks);
     const sourceClaimsRemovedOrChanged = sourceClaimReductions(previous.source_claims, next.source_claims);
     const sourceClaimsAdded = sourceClaimAdditions(previous.source_claims, next.source_claims);
     const sourcePathsRemovedOrReplaced = removedExactValues("task", previous.task.source_paths, next.task.source_paths);
-    const ownerPathsExpanded = [];
-    const ownerContextRefsRemoved = [];
-    const expectedChangePathsExpanded = [];
-    const allowedPathsExpanded = [];
-    const forbiddenPathsRemoved = removedGlobalForbiddenPaths(previous, next);
-    const bindingsRemovedOrExpanded = [];
-    const obligationsRemovedOrWeakened = [];
-    const rollbackOrRecoveryWeakened = [];
-    const counterfactualsRemoved = globalCounterfactualReductions(previous, next);
-    const populationWeakened = [];
+    const outcomeChanges = analyzeOutcomeRevisions(previous, next);
     const verifierDiff = verifierAuthorityDiff(previous.verifier_identity, nextVerifier);
-    const previousOutcomes = new Map(previous.outcomes.map((outcome) => [outcome.key, outcome]));
-    for (const after of next.outcomes) {
-        const before = previousOutcomes.get(after.key);
-        if (!before)
-            continue;
-        ownerPathsExpanded.push(...expandedPatterns(after.key, before.product.owner.path_globs, after.product.owner.path_globs));
-        ownerContextRefsRemoved.push(...removedExactValues(after.key, before.product.owner.context_refs, after.product.owner.context_refs));
-        expectedChangePathsExpanded.push(...expandedPatterns(after.key, before.technical.expected_change_paths, after.technical.expected_change_paths));
-        allowedPathsExpanded.push(...expandedPatterns(after.key, before.technical.allowed_support_paths, after.technical.allowed_support_paths));
-        forbiddenPathsRemoved.push(...removedExactValues(after.key, before.technical.forbidden_paths, after.technical.forbidden_paths));
-        bindingsRemovedOrExpanded.push(...bindingReductions(before, after));
-        obligationsRemovedOrWeakened.push(...obligationReductions(before, after));
-        rollbackOrRecoveryWeakened.push(...rollbackReductions(before, after));
-        counterfactualsRemoved.push(...counterfactualReductions(before, after));
-        if (before.acceptance.population &&
-            (!after.acceptance.population ||
-                !same(before.acceptance.population, after.acceptance.population)))
-            populationWeakened.push(after.key);
-    }
     const riskChanged = previous.authority_hashes.risk_authority_hash !==
         nextHashes.risk_authority_hash;
     const acceptanceChanged = acceptanceSemanticsChanged(previous, next);
@@ -84,57 +30,64 @@ export function authorityRevisionDiff(previous, next, nextHashes, nextMaterials,
     const externalConfirmationsChanged = externalConfirmationChanges.length > 0;
     const monotonic = isMonotonicAcceptanceStrengthening(previous, next);
     const reductionReasons = [
-        ...(productClaimsAdded.length ? ["product_claim_added"] : []),
-        ...(productClaimsRemoved.length ? ["product_claim_removed"] : []),
-        ...(productClaimsChanged.length ? ["product_claim_changed"] : []),
+        ...selectedRevisionReasons([
+            ["product_claim_added", productClaimsAdded],
+            ["product_claim_removed", productClaimsRemoved],
+            ["product_claim_changed", productClaimsChanged],
+        ]),
         ...materialDiff.reduction_reasons,
-        ...(checksRemoved.length ? ["check_removed"] : []),
-        ...(negativeAssertionsRemoved.length ? ["negative_assertion_removed"] : []),
-        ...(proofSurfacesChanged.length ? ["proof_surface_changed"] : []),
-        ...(sourceClaimsRemovedOrChanged.length
-            ? ["source_claim_removed_or_changed"]
-            : []),
-        ...(sourceClaimsAdded.length ? ["source_claim_added"] : []),
-        ...(sourcePathsRemovedOrReplaced.length
-            ? ["source_path_removed_or_replaced"]
-            : []),
-        ...(ownerPathsExpanded.length ? ["owner_path_expanded"] : []),
-        ...(ownerContextRefsRemoved.length ? ["owner_context_ref_removed"] : []),
-        ...(expectedChangePathsExpanded.length
-            ? ["expected_change_path_expanded"]
-            : []),
-        ...(allowedPathsExpanded.length ? ["allowed_path_expanded"] : []),
-        ...(forbiddenPathsRemoved.length ? ["forbidden_path_removed"] : []),
-        ...(runnerDefinitionsChanged.length ? ["runner_definition_changed"] : []),
-        ...(verificationInputsRemovedOrReplaced.length
-            ? ["verification_input_removed_or_replaced"]
-            : []),
-        ...(inputPathsRemovedOrNarrowed.length
-            ? ["input_path_coverage_reduced"]
-            : []),
-        ...(expectedOutputPathsRemovedOrWeakened.length
-            ? ["expected_output_requirement_weakened"]
-            : []),
-        ...(artifactsRemoved.length ? ["artifact_removed"] : []),
-        ...(environmentRequirementsRemoved.length
-            ? ["environment_requirement_removed"]
-            : []),
-        ...(bindingsRemovedOrExpanded.length
-            ? ["binding_removed_or_expanded"]
-            : []),
-        ...(obligationsRemovedOrWeakened.length
-            ? ["obligation_removed_or_weakened"]
-            : []),
-        ...(rollbackOrRecoveryWeakened.length
-            ? ["rollback_or_recovery_weakened"]
-            : []),
-        ...(counterfactualsRemoved.length ? ["counterfactual_removed"] : []),
-        ...(populationWeakened.length ? ["population_weakened"] : []),
-        ...(verifierDiff.verifier_content_changed
-            ? ["verifier_content_changed"]
-            : []),
-        ...(riskChanged ? ["risk_changed_requires_review"] : []),
-        ...(acceptanceChanged && !monotonic ? ["acceptance_not_monotonic"] : []),
+        ...selectedRevisionReasons([
+            ["check_removed", checksRemoved],
+            ["negative_assertion_removed", checkChanges.negative_assertions_removed],
+            ["proof_surface_changed", checkChanges.proof_surfaces_changed],
+            ["source_claim_removed_or_changed", sourceClaimsRemovedOrChanged],
+            ["source_claim_added", sourceClaimsAdded],
+            ["source_path_removed_or_replaced", sourcePathsRemovedOrReplaced],
+            ["owner_path_expanded", outcomeChanges.owner_paths_expanded],
+            ["owner_context_ref_removed", outcomeChanges.owner_context_refs_removed],
+            [
+                "expected_change_path_expanded",
+                outcomeChanges.expected_change_paths_expanded,
+            ],
+            ["allowed_path_expanded", outcomeChanges.allowed_paths_expanded],
+            ["forbidden_path_removed", outcomeChanges.forbidden_paths_removed],
+            ["runner_definition_changed", checkChanges.runner_definitions_changed],
+            [
+                "verification_input_removed_or_replaced",
+                checkChanges.verification_inputs_removed_or_replaced,
+            ],
+            [
+                "input_path_coverage_reduced",
+                checkChanges.input_paths_removed_or_narrowed,
+            ],
+            [
+                "expected_output_requirement_weakened",
+                checkChanges.expected_output_paths_removed_or_weakened,
+            ],
+            ["artifact_removed", checkChanges.artifacts_removed],
+            [
+                "environment_requirement_removed",
+                checkChanges.environment_requirements_removed,
+            ],
+            [
+                "binding_removed_or_expanded",
+                outcomeChanges.bindings_removed_or_expanded,
+            ],
+            [
+                "obligation_removed_or_weakened",
+                outcomeChanges.obligations_removed_or_weakened,
+            ],
+            [
+                "rollback_or_recovery_weakened",
+                outcomeChanges.rollback_or_recovery_weakened,
+            ],
+            ["counterfactual_removed", outcomeChanges.counterfactuals_removed],
+            ["population_weakened", outcomeChanges.population_weakened],
+            ["verifier_content_changed", verifierDiff.verifier_content_changed],
+            ["risk_changed_requires_review", riskChanged],
+            ["external_confirmation_changed", externalConfirmationsChanged],
+            ["acceptance_not_monotonic", acceptanceChanged && !monotonic],
+        ]),
     ];
     return {
         product_claims_added: productClaimsAdded,
@@ -144,8 +97,8 @@ export function authorityRevisionDiff(previous, next, nextHashes, nextMaterials,
         global_semantics_changed: materialDiff.global_semantics_changed,
         checks_added: addedValues(new Set(beforeChecks.keys()), new Set(afterChecks.keys())),
         checks_removed: checksRemoved,
-        negative_assertions_removed: negativeAssertionsRemoved,
-        proof_surfaces_changed: proofSurfacesChanged,
+        negative_assertions_removed: checkChanges.negative_assertions_removed,
+        proof_surfaces_changed: checkChanges.proof_surfaces_changed,
         source_claims_added: sourceClaimsAdded,
         source_claims_removed_or_changed: sourceClaimsRemovedOrChanged,
         source_paths_removed_or_replaced: sourcePathsRemovedOrReplaced,
@@ -157,60 +110,42 @@ export function authorityRevisionDiff(previous, next, nextHashes, nextMaterials,
         context_files_added: materialDiff.context_files_added,
         context_files_removed: materialDiff.context_files_removed,
         context_files_changed: materialDiff.context_files_changed,
-        owner_paths_expanded: ownerPathsExpanded,
-        owner_context_refs_removed: ownerContextRefsRemoved,
-        expected_change_paths_expanded: expectedChangePathsExpanded,
-        allowed_paths_expanded: allowedPathsExpanded,
-        forbidden_paths_removed: forbiddenPathsRemoved,
-        runner_definitions_changed: runnerDefinitionsChanged,
-        verification_inputs_added: verificationInputsAdded,
-        verification_inputs_removed_or_replaced: verificationInputsRemovedOrReplaced,
-        input_paths_added: inputPathsAdded,
-        input_paths_removed_or_narrowed: inputPathsRemovedOrNarrowed,
-        expected_output_paths_removed_or_weakened: expectedOutputPathsRemovedOrWeakened,
-        artifacts_removed: artifactsRemoved,
-        environment_requirements_removed: environmentRequirementsRemoved,
-        bindings_removed_or_expanded: bindingsRemovedOrExpanded,
-        obligations_removed_or_weakened: obligationsRemovedOrWeakened,
-        rollback_or_recovery_weakened: rollbackOrRecoveryWeakened,
-        counterfactuals_removed: counterfactualsRemoved,
-        population_weakened: populationWeakened,
+        owner_paths_expanded: outcomeChanges.owner_paths_expanded,
+        owner_context_refs_removed: outcomeChanges.owner_context_refs_removed,
+        expected_change_paths_expanded: outcomeChanges.expected_change_paths_expanded,
+        allowed_paths_expanded: outcomeChanges.allowed_paths_expanded,
+        forbidden_paths_removed: outcomeChanges.forbidden_paths_removed,
+        runner_definitions_changed: checkChanges.runner_definitions_changed,
+        verification_inputs_added: checkChanges.verification_inputs_added,
+        verification_inputs_removed_or_replaced: checkChanges.verification_inputs_removed_or_replaced,
+        input_paths_added: checkChanges.input_paths_added,
+        input_paths_removed_or_narrowed: checkChanges.input_paths_removed_or_narrowed,
+        expected_output_paths_removed_or_weakened: checkChanges.expected_output_paths_removed_or_weakened,
+        artifacts_removed: checkChanges.artifacts_removed,
+        environment_requirements_removed: checkChanges.environment_requirements_removed,
+        bindings_removed_or_expanded: outcomeChanges.bindings_removed_or_expanded,
+        obligations_removed_or_weakened: outcomeChanges.obligations_removed_or_weakened,
+        rollback_or_recovery_weakened: outcomeChanges.rollback_or_recovery_weakened,
+        counterfactuals_removed: outcomeChanges.counterfactuals_removed,
+        population_weakened: outcomeChanges.population_weakened,
         external_confirmations_changed: externalConfirmationsChanged,
         external_confirmation_changes: externalConfirmationChanges,
         ...verifierDiff,
         source_claims_changed: previous.authority_hashes.source_authority_hash !==
             nextHashes.source_authority_hash,
         risk_changed: riskChanged,
-        owner_or_path_boundary_changed: ownerPathsExpanded.length > 0 ||
-            ownerContextRefsRemoved.length > 0 ||
-            expectedChangePathsExpanded.length > 0 ||
-            allowedPathsExpanded.length > 0 ||
-            forbiddenPathsRemoved.length > 0 ||
-            bindingsRemovedOrExpanded.length > 0,
-        runner_or_verification_inputs_changed: runnerDefinitionsChanged.length > 0 ||
-            verificationInputsRemovedOrReplaced.length > 0 ||
-            inputPathsRemovedOrNarrowed.length > 0 ||
-            expectedOutputPathsRemovedOrWeakened.length > 0,
-        technical_obligations_changed: obligationsRemovedOrWeakened.length > 0 ||
-            rollbackOrRecoveryWeakened.length > 0,
+        owner_or_path_boundary_changed: outcomeChanges.owner_paths_expanded.length > 0 ||
+            outcomeChanges.owner_context_refs_removed.length > 0 ||
+            outcomeChanges.expected_change_paths_expanded.length > 0 ||
+            outcomeChanges.allowed_paths_expanded.length > 0 ||
+            outcomeChanges.forbidden_paths_removed.length > 0 ||
+            outcomeChanges.bindings_removed_or_expanded.length > 0,
+        runner_or_verification_inputs_changed: checkChanges.runner_definitions_changed.length > 0 ||
+            checkChanges.verification_inputs_removed_or_replaced.length > 0 ||
+            checkChanges.input_paths_removed_or_narrowed.length > 0 ||
+            checkChanges.expected_output_paths_removed_or_weakened.length > 0,
+        technical_obligations_changed: outcomeChanges.obligations_removed_or_weakened.length > 0 ||
+            outcomeChanges.rollback_or_recovery_weakened.length > 0,
         reduction_reasons: [...new Set(reductionReasons)],
     };
 }
-function keyedAuthorityChanges(before, after) {
-    const beforeByKey = new Map(before.map((item) => [item.key, item]));
-    const afterByKey = new Map(after.map((item) => [item.key, item]));
-    return [
-        ...before
-            .filter((item) => !afterByKey.has(item.key))
-            .map((item) => `${item.key}:removed`),
-        ...after
-            .filter((item) => !beforeByKey.has(item.key))
-            .map((item) => `${item.key}:added`),
-        ...before
-            .filter((item) => {
-            const candidate = afterByKey.get(item.key);
-            return candidate !== undefined && !same(item, candidate);
-        })
-            .map((item) => `${item.key}:changed`),
-    ].sort();
-}

package/dist/lib/long-task-authority-types.d.ts

@@ -1,4 +1,5 @@
 import type { ProofSurface } from "./long-task-contract-types.js";
+import type { DeliveryStageV2, ExecutionTargetV2, TargetProfileV2 } from "./long-task-semantic-contract-types.js";
 import type { CompiledSourceItemV2 } from "./long-task-source-authority-types.js";
 import type { WorkspaceManifestV2 } from "./long-task-workspace-runtime-types.js";
 export interface AuthorityHashesV2 {
@@ -10,6 +11,9 @@ export interface AuthorityHashesV2 {
 }
 export interface ProductSemanticProjectionV2 {
     task_goal: string;
+    target_profile: TargetProfileV2;
+    execution_targets: ExecutionTargetV2[];
+    stages: DeliveryStageV2[];
     global_non_goals: Array<{
         key: string;
         statement: string;
@@ -17,7 +21,10 @@ export interface ProductSemanticProjectionV2 {
     outcomes: Array<{
         key: string;
         title: string;
+        stage: string;
         observable_result: string;
+        success_path_required: boolean;
+        degradation_path_required: boolean;
         owner: {
             label: string;
             owner_surfaces: string[];