project-tiny-context-harness 0.11.0 → 0.12.0

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

@@ -1,53 +0,0 @@
-import { changedAuthoritySections } from "./long-task-authority.js";
-import { authorityMaterialHashes, compiledAuthorityMaterials, } from "./long-task-authority-materials.js";
-import { authorityRevisionDiff } from "./long-task-authority-revision.js";
-import { authorityRevisionUserDecisionReasons, classifyAuthorityRevision, summarizeAuthorityRevision, } from "./long-task-authority-revision-summary.js";
-import { authorityRevisionApproved, writePendingAuthorityRevision, } from "./long-task-state.js";
-import { canonicalValueJson, sha256Hex } from "./strict-codec.js";
-export function assertRiskNotDowngraded(previous, nextLevel, nextReasons) {
-    if (previous.effective_risk === "strict" && nextLevel !== "strict")
-        throw new Error("authority_risk_downgrade_rejected:strict_to_standard");
-    const next = new Set(nextReasons);
-    const removed = previous.risk_reasons.filter((reason) => !next.has(reason));
-    if (removed.length)
-        throw new Error(`authority_risk_downgrade_rejected:${removed.join(",")}`);
-}
-export function buildAuthorityRevisionProposal(previous, nextContract, nextHashes, nextMaterials, nextGlobalChecks, nextOutcomes, nextVerifier, riskFloor) {
-    const previousMaterials = compiledAuthorityMaterials(previous);
-    const diff = authorityRevisionDiff(previous, nextContract, nextHashes, nextMaterials, nextGlobalChecks, nextOutcomes, nextVerifier);
-    const changeClass = classifyAuthorityRevision(diff);
-    const userDecisionReasons = authorityRevisionUserDecisionReasons(diff);
-    const userDecisionRequired = userDecisionReasons.length > 0;
-    const approvalSummary = summarizeAuthorityRevision(diff, nextContract.outcomes.map((outcome) => outcome.key));
-    const unsignedRevision = {
-        previous_hashes: previous.authority_hashes,
-        next_hashes: nextHashes,
-        previous_materials: previousMaterials,
-        next_materials: nextMaterials,
-        previous_material_hashes: authorityMaterialHashes(previousMaterials),
-        next_material_hashes: authorityMaterialHashes(nextMaterials),
-        changed_authority_sections: changedAuthoritySections(previous.authority_hashes, nextHashes),
-        revision_diff: diff,
-        new_risk_floor: riskFloor,
-        affected_outcomes_or_contracts: approvalSummary.affected_outcomes,
-        change_class: changeClass,
-        user_decision_required: userDecisionRequired,
-        user_decision_reasons: userDecisionReasons,
-        approval_required: userDecisionRequired,
-        approval_summary: approvalSummary,
-    };
-    const revisionIdentity = sha256Hex(canonicalValueJson(unsignedRevision));
-    return { ...unsignedRevision, revision_identity: revisionIdentity };
-}
-export async function enforceAuthorityRevision(proposal, workdir) {
-    if (!proposal.user_decision_required)
-        return;
-    if (!(await authorityRevisionApproved(workdir, proposal.revision_identity))) {
-        await writePendingAuthorityRevision(workdir, {
-            schema_version: "long-task-authority-revision-pending-v2",
-            ...proposal,
-            created_at: new Date().toISOString(),
-        });
-        throw new Error(`authority_change_requires_user_decision:${proposal.revision_identity}`);
-    }
-}

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

@@ -1,14 +0,0 @@
-import type { AuthorityRevisionApprovalSummaryV2, AuthorityRevisionChangeClassV2, AuthorityRevisionDecisionV2, AuthorityRevisionDiffV2 } from "./long-task-authority-revision-types.js";
-export declare function classifyAuthorityRevision(diff: AuthorityRevisionDiffV2): AuthorityRevisionChangeClassV2;
-export declare function authorityRevisionUserDecisionReasons(diff: AuthorityRevisionDiffV2): string[];
-export declare function summarizeAuthorityRevision(diff: AuthorityRevisionDiffV2, outcomeKeys: string[]): AuthorityRevisionApprovalSummaryV2;
-export declare function projectAuthorityRevisionDecision(value: {
-    revision_identity: string;
-    revision_diff: AuthorityRevisionDiffV2;
-    affected_outcomes_or_contracts: string[];
-    change_class?: AuthorityRevisionChangeClassV2;
-    user_decision_required?: boolean;
-    user_decision_reasons?: string[];
-    approval_required?: boolean;
-    approval_summary?: AuthorityRevisionApprovalSummaryV2;
-}): AuthorityRevisionDecisionV2;

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

@@ -1,246 +0,0 @@
-import { buildAuthorityRevisionDecisionBrief } from "./long-task-authority-revision-brief.js";
-const SCOPE_EXPANSION_REASONS = new Set([
-    "owner_path_expanded",
-    "expected_change_path_expanded",
-    "allowed_path_expanded",
-]);
-const MECHANICALLY_BOUNDED_REASONS = new Set([
-    "source_file_content_changed",
-    "context_authority_changed",
-    "verification_input_removed_or_replaced",
-    "environment_requirement_removed",
-    "risk_changed_requires_review",
-]);
-const USER_DECISION_REASONS = new Set([
-    "product_claim_added",
-    "product_claim_removed",
-    "product_claim_changed",
-    "global_semantics_changed",
-    "source_claim_removed_or_changed",
-    "source_claim_added",
-    "source_path_removed_or_replaced",
-    "check_removed",
-    "negative_assertion_removed",
-    "acceptance_semantics_reduced",
-    "proof_surface_changed",
-    "input_path_coverage_reduced",
-    "expected_output_requirement_weakened",
-    "artifact_removed",
-    "owner_context_ref_removed",
-    "forbidden_path_removed",
-    "obligation_removed_or_weakened",
-    "rollback_or_recovery_weakened",
-    "counterfactual_removed",
-    "population_weakened",
-    "verifier_content_changed",
-    "external_confirmation_changed",
-]);
-const AUTOMATIC_RUNNER_FIELDS = new Set([
-    "target",
-    "argv",
-    "cwd",
-    "timeout_ms",
-    "retry_policy",
-    "idempotent",
-    "resolved_target",
-    "resolved_cwd",
-    "package_script",
-]);
-const PROOF_REDUCTION_REASONS = new Set([
-    "check_removed",
-    "negative_assertion_removed",
-    "acceptance_semantics_reduced",
-    "proof_surface_changed",
-    "input_path_coverage_reduced",
-    "expected_output_requirement_weakened",
-    "artifact_removed",
-    "binding_removed_or_expanded",
-    "obligation_removed_or_weakened",
-    "rollback_or_recovery_weakened",
-    "counterfactual_removed",
-    "population_weakened",
-    "acceptance_not_monotonic",
-]);
-export function classifyAuthorityRevision(diff) {
-    if (!diff.reduction_reasons.length)
-        return "monotonic_evidence_strengthening";
-    const userDecisionReasons = authorityRevisionUserDecisionReasons(diff);
-    if (diff.reduction_reasons.every((reason) => SCOPE_EXPANSION_REASONS.has(reason)))
-        return "scope_only_expansion";
-    if (!userDecisionReasons.length)
-        return "mechanically_bounded_repair";
-    return "protected_semantic_or_proof_change";
-}
-export function authorityRevisionUserDecisionReasons(diff) {
-    const reasons = [];
-    for (const reason of diff.reduction_reasons) {
-        if (USER_DECISION_REASONS.has(reason)) {
-            reasons.push(reason);
-            continue;
-        }
-        if (SCOPE_EXPANSION_REASONS.has(reason) ||
-            MECHANICALLY_BOUNDED_REASONS.has(reason))
-            continue;
-        if (reason === "product_semantics_changed") {
-            if (diff.product_semantics_changed.some(isDecisionProductSemanticField))
-                reasons.push(reason);
-            continue;
-        }
-        if (reason === "runner_definition_changed") {
-            if (diff.runner_definitions_changed.some((entry) => !AUTOMATIC_RUNNER_FIELDS.has(lastAddressPart(entry))))
-                reasons.push(reason);
-            continue;
-        }
-        if (reason === "binding_removed_or_expanded") {
-            if (diff.bindings_removed_or_expanded.some((entry) => entry.endsWith(":removed") ||
-                entry.endsWith(":target_or_kind_changed")))
-                reasons.push(reason);
-            continue;
-        }
-        if (reason === "acceptance_not_monotonic") {
-            if (!hasMechanicallyExplainedAcceptanceChange(diff))
-                reasons.push(reason);
-            continue;
-        }
-        // New or unknown reason codes fail closed until this policy owner
-        // explicitly classifies them.
-        reasons.push(reason);
-    }
-    return uniqueSorted(reasons);
-}
-export function summarizeAuthorityRevision(diff, outcomeKeys) {
-    const affectedOutcomes = scopeAffectedOutcomes(diff);
-    const changeClass = classifyAuthorityRevision(diff);
-    const userDecisionReasons = authorityRevisionUserDecisionReasons(diff);
-    return {
-        product_semantics_changed: diff.product_claims_added.length > 0 ||
-            diff.product_claims_removed.length > 0 ||
-            diff.product_claims_changed.length > 0 ||
-            diff.product_semantics_changed.length > 0,
-        global_or_technical_semantics_changed: diff.global_semantics_changed.length > 0 ||
-            diff.technical_obligations_changed,
-        source_or_claims_changed: diff.source_claims_changed ||
-            diff.source_claims_added.length > 0 ||
-            diff.source_claims_removed_or_changed.length > 0 ||
-            diff.source_paths_removed_or_replaced.length > 0 ||
-            diff.source_files_added.length > 0 ||
-            diff.source_files_removed.length > 0 ||
-            diff.source_files_changed.length > 0,
-        context_authority_changed: diff.context_snapshot_mode_changed ||
-            diff.context_topology_changed ||
-            diff.context_files_added.length > 0 ||
-            diff.context_files_removed.length > 0 ||
-            diff.context_files_changed.length > 0,
-        acceptance_or_proof_weakened: userDecisionReasons.some((reason) => PROOF_REDUCTION_REASONS.has(reason)),
-        verifier_or_runner_changed: diff.verifier_content_changed ||
-            diff.verifier_runtime_locator_changed ||
-            diff.runner_definitions_changed.length > 0,
-        verifier_content_changed: diff.verifier_content_changed,
-        verifier_files_changed: uniqueSorted(diff.verifier_files_changed),
-        write_scope_expanded: diff.owner_or_path_boundary_changed,
-        risk_changed: diff.risk_changed,
-        external_confirmations_changed: diff.external_confirmations_changed,
-        semantic_fields_changed: uniqueSorted([
-            ...diff.product_semantics_changed,
-            ...diff.global_semantics_changed,
-        ]),
-        source_claim_changes: uniqueSorted([
-            ...diff.source_claims_added,
-            ...diff.source_claims_removed_or_changed,
-        ]),
-        product_claim_changes: uniqueSorted([
-            ...diff.product_claims_added.map((claim) => `${claim}:added`),
-            ...diff.product_claims_removed.map((claim) => `${claim}:removed`),
-            ...diff.product_claims_changed.map((claim) => `${claim}:changed`),
-        ]),
-        proof_reductions: uniqueSorted(diff.reduction_reasons.filter((reason) => PROOF_REDUCTION_REASONS.has(reason))),
-        external_confirmation_changes: uniqueSorted(diff.external_confirmation_changes),
-        added_verification_dependencies: uniqueSorted([
-            ...diff.verification_inputs_added,
-            ...diff.input_paths_added,
-        ]),
-        expanded_owner_paths: uniqueSorted(diff.owner_paths_expanded),
-        expanded_expected_change_paths: uniqueSorted(diff.expected_change_paths_expanded),
-        expanded_allowed_support_paths: uniqueSorted(diff.allowed_paths_expanded),
-        user_decision_reasons: userDecisionReasons,
-        mechanically_bounded_reasons: uniqueSorted(diff.reduction_reasons.filter((reason) => !userDecisionReasons.includes(reason))),
-        protected_reasons: uniqueSorted(diff.reduction_reasons),
-        affected_outcomes: changeClass === "scope_only_expansion" && affectedOutcomes.length > 0
-            ? affectedOutcomes
-            : uniqueSorted(outcomeKeys),
-    };
-}
-export function projectAuthorityRevisionDecision(value) {
-    const diff = {
-        ...value.revision_diff,
-        verification_inputs_added: value.revision_diff.verification_inputs_added ?? [],
-        input_paths_added: value.revision_diff.input_paths_added ?? [],
-        acceptance_semantics_reduced: value.revision_diff.acceptance_semantics_reduced ?? [],
-        external_confirmations_changed: value.revision_diff.external_confirmations_changed ?? false,
-        external_confirmation_changes: value.revision_diff.external_confirmation_changes ?? [],
-    };
-    const computedSummary = summarizeAuthorityRevision(diff, value.affected_outcomes_or_contracts);
-    const storedSummary = value.approval_summary;
-    const approvalSummary = storedSummary
-        ? {
-            ...computedSummary,
-            ...storedSummary,
-            acceptance_or_proof_weakened: computedSummary.acceptance_or_proof_weakened,
-            verifier_content_changed: computedSummary.verifier_content_changed,
-            verifier_files_changed: computedSummary.verifier_files_changed,
-            semantic_fields_changed: storedSummary.semantic_fields_changed ??
-                computedSummary.semantic_fields_changed,
-            source_claim_changes: storedSummary.source_claim_changes ??
-                computedSummary.source_claim_changes,
-            product_claim_changes: storedSummary.product_claim_changes ??
-                computedSummary.product_claim_changes,
-            proof_reductions: computedSummary.proof_reductions,
-            external_confirmation_changes: storedSummary.external_confirmation_changes ??
-                computedSummary.external_confirmation_changes,
-            user_decision_reasons: storedSummary.user_decision_reasons ??
-                computedSummary.user_decision_reasons,
-            mechanically_bounded_reasons: storedSummary.mechanically_bounded_reasons ??
-                computedSummary.mechanically_bounded_reasons,
-        }
-        : computedSummary;
-    const changeClass = value.change_class ?? classifyAuthorityRevision(diff);
-    const computedUserDecisionReasons = authorityRevisionUserDecisionReasons(diff);
-    const userDecisionRequired = value.user_decision_required ??
-        value.approval_required ??
-        computedUserDecisionReasons.length > 0;
-    const userDecisionReasons = value.user_decision_reasons ??
-        approvalSummary.user_decision_reasons ??
-        computedUserDecisionReasons;
-    return {
-        revision_identity: value.revision_identity,
-        change_class: changeClass,
-        user_decision_required: userDecisionRequired,
-        user_decision_reasons: userDecisionReasons,
-        approval_required: userDecisionRequired,
-        approval_summary: approvalSummary,
-        decision_brief: buildAuthorityRevisionDecisionBrief(approvalSummary, changeClass, userDecisionRequired),
-    };
-}
-function isDecisionProductSemanticField(field) {
-    return (!/^stages\.[^.]+\.title$/u.test(field) &&
-        !/^outcomes\.[^.]+\.title$/u.test(field));
-}
-function lastAddressPart(value) {
-    return value.slice(value.lastIndexOf(":") + 1);
-}
-function hasMechanicallyExplainedAcceptanceChange(diff) {
-    return (diff.verification_inputs_removed_or_replaced.length > 0 ||
-        diff.environment_requirements_removed.length > 0);
-}
-function scopeAffectedOutcomes(diff) {
-    return uniqueSorted([
-        ...diff.owner_paths_expanded,
-        ...diff.expected_change_paths_expanded,
-        ...diff.allowed_paths_expanded,
-    ]
-        .map((entry) => entry.split(":", 1)[0])
-        .filter((key) => key.length > 0 && key !== "GLOBAL"));
-}
-function uniqueSorted(values) {
-    return [...new Set(values)].sort((left, right) => left.localeCompare(right));
-}

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

@@ -1,119 +0,0 @@
-import type { AuthorityHashesV2, AuthorityMaterialHashesV2, NextAuthorityMaterialsV2, VerifierIdentityV2 } from "./long-task-authority-types.js";
-export type AuthorityRevisionChangeClassV2 = "monotonic_evidence_strengthening" | "mechanically_bounded_repair" | "scope_only_expansion" | "protected_semantic_or_proof_change";
-export interface AuthorityRevisionApprovalSummaryV2 {
-    product_semantics_changed: boolean;
-    global_or_technical_semantics_changed: boolean;
-    source_or_claims_changed: boolean;
-    context_authority_changed: boolean;
-    acceptance_or_proof_weakened: boolean;
-    verifier_or_runner_changed: boolean;
-    verifier_content_changed: boolean;
-    verifier_files_changed: string[];
-    write_scope_expanded: boolean;
-    risk_changed: boolean;
-    external_confirmations_changed: boolean;
-    semantic_fields_changed: string[];
-    source_claim_changes: string[];
-    product_claim_changes: string[];
-    proof_reductions: string[];
-    external_confirmation_changes: string[];
-    added_verification_dependencies: string[];
-    expanded_owner_paths: string[];
-    expanded_expected_change_paths: string[];
-    expanded_allowed_support_paths: string[];
-    user_decision_reasons: string[];
-    mechanically_bounded_reasons: string[];
-    protected_reasons: string[];
-    affected_outcomes: string[];
-}
-export interface AuthorityRevisionProposalV2 {
-    previous_hashes: AuthorityHashesV2;
-    next_hashes: AuthorityHashesV2;
-    previous_materials: NextAuthorityMaterialsV2;
-    next_materials: NextAuthorityMaterialsV2;
-    previous_material_hashes: AuthorityMaterialHashesV2;
-    next_material_hashes: AuthorityMaterialHashesV2;
-    changed_authority_sections: string[];
-    revision_diff: AuthorityRevisionDiffV2;
-    new_risk_floor: "standard" | "strict";
-    affected_outcomes_or_contracts: string[];
-    change_class: AuthorityRevisionChangeClassV2;
-    user_decision_required: boolean;
-    user_decision_reasons: string[];
-    /** Compatibility alias for user_decision_required. */
-    approval_required: boolean;
-    approval_summary: AuthorityRevisionApprovalSummaryV2;
-    revision_identity: string;
-}
-export interface AuthorityRevisionDecisionBriefV2 {
-    overview: string;
-    headline: string;
-    approval_reason: string;
-    material_changes: string[];
-    affected_outcomes: string[];
-    if_approved: string[];
-}
-export interface AuthorityRevisionDecisionV2 {
-    revision_identity: string;
-    change_class: AuthorityRevisionChangeClassV2;
-    user_decision_required: boolean;
-    user_decision_reasons: string[];
-    /** Compatibility alias for user_decision_required. */
-    approval_required: boolean;
-    approval_summary: AuthorityRevisionApprovalSummaryV2;
-    decision_brief: AuthorityRevisionDecisionBriefV2;
-}
-export interface AuthorityRevisionDiffV2 {
-    product_claims_added: string[];
-    product_claims_removed: string[];
-    product_claims_changed: string[];
-    product_semantics_changed: string[];
-    global_semantics_changed: string[];
-    checks_added: string[];
-    checks_removed: string[];
-    negative_assertions_removed: string[];
-    acceptance_semantics_reduced: string[];
-    proof_surfaces_changed: string[];
-    source_claims_added: string[];
-    source_claims_removed_or_changed: string[];
-    source_paths_removed_or_replaced: string[];
-    source_files_added: string[];
-    source_files_removed: string[];
-    source_files_changed: string[];
-    context_snapshot_mode_changed: boolean;
-    context_topology_changed: boolean;
-    context_files_added: string[];
-    context_files_removed: string[];
-    context_files_changed: string[];
-    owner_paths_expanded: string[];
-    owner_context_refs_removed: string[];
-    expected_change_paths_expanded: string[];
-    allowed_paths_expanded: string[];
-    forbidden_paths_removed: 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[];
-    bindings_removed_or_expanded: string[];
-    obligations_removed_or_weakened: string[];
-    rollback_or_recovery_weakened: string[];
-    counterfactuals_removed: string[];
-    population_weakened: string[];
-    external_confirmations_changed: boolean;
-    external_confirmation_changes: string[];
-    verifier_content_changed: boolean;
-    verifier_runtime_locator_changed: boolean;
-    verifier_files_changed: string[];
-    previous_verifier: VerifierIdentityV2;
-    next_verifier: VerifierIdentityV2;
-    source_claims_changed: boolean;
-    risk_changed: boolean;
-    owner_or_path_boundary_changed: boolean;
-    runner_or_verification_inputs_changed: boolean;
-    technical_obligations_changed: boolean;
-    reduction_reasons: string[];
-}

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

@@ -1 +0,0 @@
-export {};

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

@@ -1,4 +0,0 @@
-import type { AuthorityHashesV2, CompiledCheckV2, CompiledDeliveryContractV2, CompiledOutcomeV2, DeliveryContractV2, NextAuthorityMaterialsV2, VerifierIdentityV2 } from "./long-task-delivery-types.js";
-import type { AuthorityRevisionDiffV2 } from "./long-task-authority-revision-types.js";
-export type { AuthorityRevisionDiffV2 } from "./long-task-authority-revision-types.js";
-export declare function authorityRevisionDiff(previous: CompiledDeliveryContractV2, next: DeliveryContractV2, nextHashes: AuthorityHashesV2, nextMaterials: NextAuthorityMaterialsV2, nextGlobalChecks: CompiledCheckV2[], nextOutcomes: CompiledOutcomeV2[], nextVerifier: VerifierIdentityV2): AuthorityRevisionDiffV2;

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

@@ -1,156 +0,0 @@
-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 { verifierAuthorityDiff } from "./long-task-verifier-authority.js";
-export function authorityRevisionDiff(previous, next, nextHashes, nextMaterials, nextGlobalChecks, nextOutcomes, nextVerifier) {
-    const materialDiff = authorityMaterialRevisionDiff(previous, nextMaterials);
-    const nextClaims = compileProductClaimCoverage(next).by_outcome;
-    const beforeClaimIds = new Set(previous.outcomes.flatMap((outcome) => outcome.generated_claims.map((claim) => claim.id)));
-    const afterClaimIds = new Set(Object.values(nextClaims)
-        .flat()
-        .map((claim) => claim.id));
-    const beforeChecks = checkIndex(previous.global.acceptance.checks, previous.outcomes);
-    const afterChecks = checkIndex(nextGlobalChecks, nextOutcomes);
-    const productClaimsRemoved = removedValues(beforeClaimIds, afterClaimIds);
-    const productClaimsAdded = addedValues(beforeClaimIds, afterClaimIds);
-    const productClaimsChanged = changedProductClaimSemantics(previous, next);
-    const checksRemoved = removedValues(new Set(beforeChecks.keys()), new Set(afterChecks.keys()));
-    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 outcomeChanges = analyzeOutcomeRevisions(previous, next);
-    const verifierDiff = verifierAuthorityDiff(previous.verifier_identity, nextVerifier);
-    const riskChanged = previous.authority_hashes.risk_authority_hash !==
-        nextHashes.risk_authority_hash;
-    const acceptanceChanged = acceptanceSemanticsChanged(previous, next);
-    const externalConfirmationChanges = keyedAuthorityChanges(previous.global.acceptance.external_confirmations, next.global.acceptance.external_confirmations);
-    const externalConfirmationsChanged = externalConfirmationChanges.length > 0;
-    const monotonic = isMonotonicAcceptanceStrengthening(previous, next);
-    const reductionReasons = [
-        ...selectedRevisionReasons([
-            ["product_claim_added", productClaimsAdded],
-            ["product_claim_removed", productClaimsRemoved],
-            ["product_claim_changed", productClaimsChanged],
-        ]),
-        ...materialDiff.reduction_reasons,
-        ...selectedRevisionReasons([
-            ["check_removed", checksRemoved],
-            ["negative_assertion_removed", checkChanges.negative_assertions_removed],
-            [
-                "acceptance_semantics_reduced",
-                checkChanges.acceptance_semantics_reduced,
-            ],
-            ["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,
-        product_claims_removed: productClaimsRemoved,
-        product_claims_changed: productClaimsChanged,
-        product_semantics_changed: materialDiff.product_semantics_changed,
-        global_semantics_changed: materialDiff.global_semantics_changed,
-        checks_added: addedValues(new Set(beforeChecks.keys()), new Set(afterChecks.keys())),
-        checks_removed: checksRemoved,
-        negative_assertions_removed: checkChanges.negative_assertions_removed,
-        acceptance_semantics_reduced: checkChanges.acceptance_semantics_reduced,
-        proof_surfaces_changed: checkChanges.proof_surfaces_changed,
-        source_claims_added: sourceClaimsAdded,
-        source_claims_removed_or_changed: sourceClaimsRemovedOrChanged,
-        source_paths_removed_or_replaced: sourcePathsRemovedOrReplaced,
-        source_files_added: materialDiff.source_files_added,
-        source_files_removed: materialDiff.source_files_removed,
-        source_files_changed: materialDiff.source_files_changed,
-        context_snapshot_mode_changed: materialDiff.context_snapshot_mode_changed,
-        context_topology_changed: materialDiff.context_topology_changed,
-        context_files_added: materialDiff.context_files_added,
-        context_files_removed: materialDiff.context_files_removed,
-        context_files_changed: materialDiff.context_files_changed,
-        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: 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)],
-    };
-}

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

@@ -1,62 +0,0 @@
-export declare const ACTIVE_AUTHORITY_TRANSITION_POLICY: {
-    readonly compile_first: {
-        readonly reads_authority: "none";
-        readonly modifies_authority: true;
-        readonly requires_lock: true;
-        readonly cas: "expected_null";
-    };
-    readonly compile_revise: {
-        readonly reads_authority: "active_snapshot";
-        readonly modifies_authority: true;
-        readonly requires_lock: true;
-        readonly cas: "expected_identity";
-    };
-    readonly verify: {
-        readonly reads_authority: "active_snapshot";
-        readonly modifies_authority: false;
-        readonly requires_lock: false;
-        readonly cas: "recheck_before_progress_write";
-    };
-    readonly final_gate: {
-        readonly reads_authority: "active_snapshot";
-        readonly modifies_authority: false;
-        readonly requires_lock: false;
-        readonly cas: "recheck_before_acceptance";
-    };
-    readonly stop_accepted_clear: {
-        readonly reads_authority: "accepted_identity";
-        readonly modifies_authority: true;
-        readonly requires_lock: true;
-        readonly cas: "expected_identity";
-    };
-    readonly close_accepted_clear: {
-        readonly reads_authority: "accepted_identity";
-        readonly modifies_authority: true;
-        readonly requires_lock: true;
-        readonly cas: "expected_identity";
-    };
-    readonly abandon_valid: {
-        readonly reads_authority: "active_snapshot";
-        readonly modifies_authority: true;
-        readonly requires_lock: true;
-        readonly cas: "expected_identity";
-    };
-    readonly abandon_corrupt: {
-        readonly reads_authority: "deterministic_local_paths";
-        readonly modifies_authority: true;
-        readonly requires_lock: true;
-        readonly cas: "explicit_force";
-    };
-    readonly legacy_migration: {
-        readonly reads_authority: "legacy_plus_matching_cache";
-        readonly modifies_authority: true;
-        readonly requires_lock: true;
-        readonly cas: "expected_legacy_identity";
-    };
-    readonly verifier_migration: {
-        readonly reads_authority: "active_snapshot";
-        readonly modifies_authority: true;
-        readonly requires_lock: true;
-        readonly cas: "expected_identity";
-    };
-};