@aiwg/cli 2026.10.11 → 2026.10.12

package/dist/src/mission-protocol/codecs.js

@@ -1,3 +1,6 @@
+// Mission worker payload validation, negotiation and immutable snapshots.
+import { stableJson } from './worker-contract-json.js';
+import { prepareWorkerAcceptance, workerReviewEvidenceErrors, assertWorkerReviewSuccessor } from './worker-review-gate.js';
 import { workerSemanticErrors, contractValidationPointer } from './worker-contract-diagnostics.js';
 import { createHash } from 'node:crypto';
 import { readFileSync } from 'node:fs';
@@ -5,273 +8,9 @@ import { dirname, join, resolve } from 'node:path';
 import { fileURLToPath } from 'node:url';
 import Ajv2020 from 'ajv/dist/2020.js';
 import addFormats from 'ajv-formats';
-import { HEALTH_ACTIVITY_SUMMARY_MAX_UTF8_BYTES, HEALTH_KNOWN_REASON_CODES, MISSION_API_VERSION, WORKER_BASELINE_FEATURES, WORKER_CONTRACT_REVISION, WORKER_DEFINITIONS, WORKER_DEFINITION_PRODUCERS, WORKER_KNOWN_FEATURES, WorkerContractError, } from './types.js';
-const TERMINAL = new Set(['completed', 'failed', 'incomplete', 'cancelled']);
-function object(value, label = 'Mission input') {
-    if (!value || typeof value !== 'object' || Array.isArray(value))
-        throw new Error(`${label} must be an object.`);
-    return value;
-}
-function string(value) {
-    return typeof value === 'string' && value.length ? value : undefined;
-}
-function requiredId(record) {
-    const metadata = record.metadata && typeof record.metadata === 'object' ? record.metadata : {};
-    const id = string(record.missionId) ?? string(record.mission_id) ?? string(record.id)
-        ?? string(record.taskId) ?? string(record.task_id) ?? string(record.responseId) ?? string(metadata.id);
-    if (!id)
-        throw new Error('Mission source is missing a stable identifier.');
-    return id;
-}
-export function normalizeMissionState(nativeState) {
-    const state = String(nativeState ?? 'unknown').toLowerCase().replace(/_/g, '-');
-    if (['done', 'completed', 'succeeded', 'success'].includes(state))
-        return 'completed';
-    if (['aborted', 'cancelled', 'canceled'].includes(state))
-        return 'cancelled';
-    if (['failed', 'error', 'rejected', 'timed-out'].includes(state))
-        return 'failed';
-    if (['incomplete', 'budget-exhausted', 'max-iterations', 'max-tokens'].includes(state))
-        return 'incomplete';
-    if (['running', 'in-progress', 'working', 'started', 'assigned', 'admitted', 'starting'].includes(state))
-        return 'running';
-    if (['pending', 'submitted', 'queued', 'runnable', 'scheduled'].includes(state))
-        return 'pending';
-    if (['blocked', 'blocked-hitl', 'input-required', 'auth-required', 'paused', 'suspended'].includes(state))
-        return 'blocked';
-    if (['operator-review', 'operator-review-required', 'manual-review'].includes(state))
-        return 'operator-review';
-    if (['unknown', 'disconnected', 'detached', 'unreachable'].includes(state))
-        return 'unknown';
-    return 'unknown';
-}
-function knownKeysFor(source) {
-    const common = ['id', 'missionId', 'mission_id', 'taskId', 'task_id', 'responseId', 'title', 'goal', 'objective', 'prompt', 'completion', 'completionCriterion', 'completion_criterion', 'status', 'state', 'nativeState', 'createdAt', 'created_at', 'updatedAt', 'updated_at', 'metadata', 'spec', 'provenance', 'extensions', 'artifacts', 'output', 'partialOutput', 'error', 'checkpoint', 'cycles', 'activityLog', 'totalCost', 'runtimesUsed', 'apiVersion', 'api_version', 'schemaVersion', 'schema_version', 'kind', 'session_id', 'previous_response_id'];
-    if (source === 'uhp-2026-08-11')
-        common.push('object', 'model', 'incomplete_details', 'store', 'usage');
-    return new Set(common);
-}
-function extensions(record, source) {
-    const explicit = record.extensions && typeof record.extensions === 'object' ? structuredClone(record.extensions) : {};
-    if (record.metadata && typeof record.metadata === 'object')
-        explicit.metadata = structuredClone(record.metadata);
-    if (record.status && typeof record.status === 'object')
-        explicit.nativeStatus = structuredClone(record.status);
-    for (const [key, value] of Object.entries(record))
-        if (!knownKeysFor(source).has(key))
-            explicit[key] = structuredClone(value);
-    return explicit;
-}
-function artifacts(record) {
-    const values = Array.isArray(record.artifacts) ? record.artifacts : [];
-    return values.flatMap((item, index) => {
-        if (!item || typeof item !== 'object')
-            return [];
-        const artifact = item;
-        const id = string(artifact.id) ?? string(artifact.fileId) ?? string(artifact.file_id) ?? string(artifact.uri) ?? `artifact-${index}`;
-        return [{
-                id,
-                kind: string(artifact.kind) ?? 'other',
-                ...(string(artifact.uri) ? { uri: string(artifact.uri) } : {}),
-                ...(string(artifact.sha256) ? { sha256: string(artifact.sha256) } : {}),
-                ...(string(artifact.mediaType) ?? string(artifact.media_type) ? { mediaType: string(artifact.mediaType) ?? string(artifact.media_type) } : {}),
-                extensions: structuredClone(artifact),
-            }];
-    });
-}
-function uhpOutputArtifacts(record) {
-    const found = new Map();
-    function visit(value) {
-        if (Array.isArray(value)) {
-            value.forEach(visit);
-            return;
-        }
-        if (!value || typeof value !== 'object')
-            return;
-        const item = value;
-        const id = string(item.file_id);
-        if (id)
-            found.set(id, { id, kind: 'uhp-file', ...(string(item.media_type) ? { mediaType: string(item.media_type) } : {}), extensions: { 'uhp.file': structuredClone(item) } });
-        Object.values(item).forEach(visit);
-    }
-    visit(record.output);
-    return [...found.values()];
-}
-function nativeStateFor(source, record, statusRecord) {
-    const explicit = string(statusRecord.state) ?? string(record.nativeState) ?? string(record.status)
-        ?? string(record.state) ?? string(record.observed_state) ?? string(record.observedState) ?? string(record.nodeState);
-    if (explicit)
-        return explicit;
-    if (source === 'mission-ledger' && record.checkpoint && typeof record.checkpoint === 'object') {
-        const checkpoint = record.checkpoint;
-        if (Array.isArray(checkpoint.pending) && checkpoint.pending.length)
-            return 'running';
-        if (Array.isArray(checkpoint.failed) && checkpoint.failed.length)
-            return 'failed';
-        if (Array.isArray(checkpoint.completed) && checkpoint.completed.length)
-            return 'completed';
-    }
-    return 'unknown';
-}
-function sourceVersion(source, record) {
-    if (source === 'canonical')
-        return string(record.apiVersion) ?? 'unknown';
-    if (source === 'uhp-2026-08-11')
-        return '2026-08-11';
-    if (source === 'executor-v1')
-        return 'executor.aiwg.io/v1';
-    if (source === 'fleet-workload-v1')
-        return 'fleet-workload/v1';
-    if (source === 'graph-flow-v1')
-        return 'graph.flow.aiwg.io/v1';
-    if (source === 'activity-v1')
-        return 'activity.aiwg.io/v1';
-    return string(record.apiVersion) ?? string(record.api_version) ?? string(record.schemaVersion) ?? string(record.schema_version) ?? 'unversioned';
-}
-function assertSupported(version) {
-    const supported = new Set(['unversioned', MISSION_API_VERSION, '2026-08-11', 'executor.aiwg.io/v1', 'fleet-workload/v1', 'graph.flow.aiwg.io/v1', 'activity.aiwg.io/v1']);
-    if (supported.has(version))
-        return;
-    const major = version.match(/(?:^|\/)v(\d+)(?:$|[.-])/)?.[1];
-    if (major && major !== '1')
-        throw new Error(`Unsupported Mission source major version '${version}'; supported major is v1.`);
-    throw new Error(`Unsupported Mission source version '${version}'.`);
-}
-export function validateCanonicalMission(value) {
-    const record = object(value, 'Canonical Mission');
-    assertMissionWorkerHandoff(record, 'canonical');
-    if (record.apiVersion !== MISSION_API_VERSION)
-        throw new Error(`Unsupported canonical Mission version '${String(record.apiVersion)}'.`);
-    if (record.kind !== 'Mission')
-        throw new Error("Canonical Mission kind must be 'Mission'.");
-    const metadata = object(record.metadata, 'Mission metadata');
-    const spec = object(record.spec, 'Mission spec');
-    const status = object(record.status, 'Mission status');
-    const provenance = object(record.provenance, 'Mission provenance');
-    if (!string(metadata.id) || !string(spec.objective) || !string(provenance.sourceContract) || !string(provenance.sourceVersion))
-        throw new Error('Canonical Mission is missing required identity, objective, or provenance.');
-    const state = normalizeMissionState(status.state);
-    if (status.state !== state)
-        throw new Error(`Canonical Mission state '${String(status.state)}' is not normalized.`);
-    if (status.terminal !== TERMINAL.has(state))
-        throw new Error(`Canonical Mission terminal flag contradicts state '${state}'.`);
-    if (!Array.isArray(status.artifacts))
-        throw new Error('Canonical Mission artifacts must be an array.');
-    return structuredClone(value);
-}
-export function decodeMission(input, source, workerConsumer) {
-    const record = object(input);
-    assertMissionWorkerHandoff(record, source, workerConsumer);
-    if (source === 'canonical') {
-        const value = validateCanonicalMission(record);
-        return { value, sourceVersion: MISSION_API_VERSION, warnings: [], preservedExtensions: structuredClone(value.extensions ?? {}), lossReport: [] };
-    }
-    const version = sourceVersion(source, record);
-    assertSupported(version);
-    const statusRecord = record.status && typeof record.status === 'object' ? record.status : {};
-    const nativeState = nativeStateFor(source, record, statusRecord);
-    const state = normalizeMissionState(nativeState);
-    const objective = string(record.goal) ?? string(record.objective) ?? string(record.title) ?? string(record.prompt) ?? '(legacy mission objective unavailable)';
-    const completionCriterion = string(record.completionCriterion) ?? string(record.completion_criterion) ?? string(record.completion);
-    const preserved = extensions(record, source);
-    const warnings = [];
-    const lossReport = [];
-    if (objective.startsWith('(legacy'))
-        warnings.push('Source did not contain a mission objective; placeholder retained.');
-    if (state === 'unknown' && nativeState !== 'unknown')
-        warnings.push(`Unknown native state '${nativeState}' preserved beside normalized unknown state.`);
-    const sourceArtifacts = artifacts(record);
-    if (source === 'uhp-2026-08-11') {
-        const ids = new Set(sourceArtifacts.map(artifact => artifact.id));
-        for (const artifact of uhpOutputArtifacts(record))
-            if (!ids.has(artifact.id))
-                sourceArtifacts.push(artifact);
-    }
-    const budgets = record.budgets && typeof record.budgets === 'object' ? record.budgets : undefined;
-    const lineage = Array.isArray(record.lineage) ? record.lineage.flatMap(item => {
-        if (!item || typeof item !== 'object')
-            return [];
-        const entry = item;
-        return string(entry.relation) && string(entry.id) ? [{ relation: string(entry.relation), id: string(entry.id) }] : [];
-    }) : undefined;
-    const value = {
-        apiVersion: MISSION_API_VERSION,
-        kind: 'Mission',
-        metadata: {
-            id: requiredId(record),
-            ...(string(record.createdAt) ?? string(record.created_at) ? { createdAt: string(record.createdAt) ?? string(record.created_at) } : {}),
-            ...(string(record.updatedAt) ?? string(record.updated_at) ? { updatedAt: string(record.updatedAt) ?? string(record.updated_at) } : {}),
-            ...(string(record.previous_response_id) ? { previousId: string(record.previous_response_id) } : {}),
-            ...(lineage?.length ? { lineage } : {}),
-        },
-        spec: { objective, ...(completionCriterion ? { completionCriterion } : {}), ...(budgets ? { budgets: structuredClone(budgets) } : {}) },
-        status: {
-            state,
-            terminal: TERMINAL.has(state),
-            nativeState,
-            artifacts: sourceArtifacts,
-            ...(record.output !== undefined || record.partialOutput !== undefined || record.partial_output !== undefined ? { partialOutput: structuredClone(record.partialOutput ?? record.partial_output ?? record.output) } : {}),
-        },
-        provenance: { sourceContract: source, sourceVersion: version, ...(source === 'a2a' || source.startsWith('uhp') ? { transport: source.split('-')[0] } : {}), sourceId: requiredId(record) },
-        ...(Object.keys(preserved).length ? { extensions: { [`aiwg.source.${source}`]: preserved } } : {}),
-    };
-    return { value, sourceVersion: version, warnings, preservedExtensions: preserved, lossReport };
-}
-function projectionLosses(value, target) {
-    const losses = [];
-    if (value.status.verification?.length)
-        losses.push({ path: '/status/verification', reason: `${target} has no native verification ledger`, severity: 'warning' });
-    if (value.metadata.lineage?.length && !['mission-ledger', 'fleet-workload-v1', 'canonical'].includes(target))
-        losses.push({ path: '/metadata/lineage', reason: `${target} cannot represent full lineage`, severity: 'required' });
-    if (value.spec.budgets && !['fleet-workload-v1', 'canonical'].includes(target))
-        losses.push({ path: '/spec/budgets', reason: `${target} cannot represent every canonical budget`, severity: 'warning' });
-    return losses;
-}
-export function encodeMission(value, target, options = {}) {
-    assertMissionWorkerHandoff(value, target, options.workerConsumer);
-    const mission = validateCanonicalMission(value);
-    if (target === 'canonical')
-        return { value: mission, targetVersion: MISSION_API_VERSION, warnings: [], lossReport: [] };
-    const lossReport = projectionLosses(mission, target);
-    const required = lossReport.filter(loss => loss.severity === 'required');
-    if (required.length && !options.allowLoss)
-        throw new Error(`Projection to ${target} would silently lose required semantics: ${required.map(loss => loss.path).join(', ')}.`);
-    const base = {
-        missionId: mission.metadata.id,
-        goal: mission.spec.objective,
-        completionCriterion: mission.spec.completionCriterion,
-        status: mission.status.nativeState ?? mission.status.state,
-        artifacts: structuredClone(mission.status.artifacts),
-        partialOutput: structuredClone(mission.status.partialOutput),
-        lineage: structuredClone(mission.metadata.lineage ?? []),
-        extensions: {
-            'aiwg.mission.canonical': { apiVersion: mission.apiVersion, state: mission.status.state, lossReport },
-            ...(mission.extensions ?? {}),
-        },
-    };
-    let projected = base;
-    if (target === 'mission-plan')
-        projected = { missionId: base.missionId, goal: base.goal, completionCriterion: base.completionCriterion ?? '', cycles: [], extensions: base.extensions };
-    else if (target === 'mission-ledger')
-        projected = { ...base, activityLog: [], cycles: [], totalCost: 0, checkpoint: { completed: [], pending: [], failed: [] }, runtimesUsed: [] };
-    else if (target === 'uhp-2026-08-11')
-        projected = { id: mission.provenance.sourceId ?? mission.metadata.id, object: 'response', created_at: 0, status: base.status, model: '', output: mission.status.partialOutput ?? [], metadata: base.extensions };
-    else if (target === 'a2a')
-        projected = { id: mission.provenance.sourceId ?? mission.metadata.id, status: { state: base.status }, artifacts: base.artifacts, partialOutput: base.partialOutput, metadata: base.extensions };
-    else if (target === 'graph-flow-v1')
-        projected = { schemaVersion: 'graph.flow.aiwg.io/v1', runId: mission.metadata.id, nodeState: mission.status.state, metadata: base.extensions };
-    else if (target === 'cockpit')
-        projected = { id: mission.metadata.id, session_id: mission.metadata.id, source: mission.provenance.transport ?? mission.provenance.sourceContract, title: mission.spec.objective, completion: mission.spec.completionCriterion, status: mission.status.state, artifacts: base.artifacts, partialOutput: base.partialOutput, extensions: base.extensions };
-    else if (target === 'activity-v1')
-        projected = { event: 'mission.projected', missionId: mission.metadata.id, objective: mission.spec.objective, state: mission.status.state, metadata: base.extensions };
-    else if (target === 'executor-v1')
-        projected = { mission_id: mission.metadata.id, objective: mission.spec.objective, completion_criterion: mission.spec.completionCriterion, state: base.status, artifacts: base.artifacts, partial_output: base.partialOutput, metadata: base.extensions };
-    else if (target === 'fleet-workload-v1')
-        projected = { mission_id: mission.metadata.id, objective: mission.spec.objective, completion_criterion: mission.spec.completionCriterion, observed_state: base.status, budgets: mission.spec.budgets, artifacts: base.artifacts, partial_output: base.partialOutput, lineage: base.lineage, metadata: base.extensions };
-    else if (target === 'mission-control-session')
-        projected = { id: mission.metadata.id, objective: mission.spec.objective, status: mission.status.state, completion: mission.spec.completionCriterion, artifacts: base.artifacts, partialOutput: base.partialOutput, extensions: base.extensions };
-    return { value: projected, targetVersion: target, warnings: lossReport.map(loss => `${loss.path}: ${loss.reason}`), lossReport };
-}
+import { WORKER_BASELINE_FEATURES, WORKER_CONTRACT_REVISION, WORKER_DEFINITIONS, WORKER_DEFINITION_PRODUCERS, WORKER_KNOWN_FEATURES, WorkerContractError, } from './types.js';
+export * from './canonical-codecs.js';
+export * from './health-trace-codecs.js';
 let cachedWorkerValidators;
 function missionPackageRoot(start) {
     let current = resolve(start);
@@ -296,7 +35,7 @@ function loadWorkerValidators() {
         const schema = JSON.parse(readFileSync(schemaPath, 'utf8'));
         if (typeof schema.$id !== 'string')
             throw new WorkerContractError('OG_CONTRACT_INVALID', 'Worker contract owner has no schema $id.');
-        const ajv = addFormats(new Ajv2020({ strict: false, allErrors: true }));
+        const ajv = addFormats(new Ajv2020({ strict: true, strictRequired: false, allErrors: true }));
         ajv.addSchema(schema);
         const validators = new Map();
         for (const definition of WORKER_DEFINITIONS)
@@ -305,14 +44,6 @@ function loadWorkerValidators() {
     }
     return cachedWorkerValidators;
 }
-function stableJson(value) {
-    if (Array.isArray(value))
-        return `[${value.map(stableJson).join(',')}]`;
-    if (value && typeof value === 'object') {
-        return `{${Object.keys(value).sort().map(key => `${JSON.stringify(key)}:${stableJson(value[key])}`).join(',')}}`;
-    }
-    return JSON.stringify(value) ?? 'null';
-}
 function workerBundleDigestFor(schema) {
     const defs = schema.$defs;
     const workerDefs = Object.fromEntries(WORKER_DEFINITIONS.filter(definition => definition in defs).map(definition => [definition, defs[definition]]));
@@ -345,6 +76,10 @@ export function validateWorkerPayload(definition, value) {
             if (health.quietSeconds >= health.stallSeconds)
                 errors.push('Health quietSeconds must be less than stallSeconds');
         };
+        if (definition === 'workerVerification' || definition === 'workerDirectVerification')
+            errors.push(...workerReviewEvidenceErrors(value));
+        if (definition === 'workerResult' || definition === 'workerDirectResult')
+            errors.push(...workerReviewEvidenceErrors(value.verification));
         if (definition === 'workerEffectiveHealth')
             checkHealth(value);
         if (definition === 'workerResolvedInvocation') {
@@ -410,7 +145,14 @@ export function assembleWorkerResult(input, previous) {
     const brief = decodeWorkerProducedPayload(briefDefinition, 'conductor', input.brief);
     const execution = decodeWorkerProducedPayload('workerExecution', 'adapter', input.execution);
     const worker = input.worker === null ? null : decodeWorkerProducedPayload('workerClaims', 'worker', input.worker);
-    const verification = decodeWorkerProducedPayload(direct ? 'workerDirectVerification' : 'workerVerification', 'verifier', input.verification);
+    // Shape-check before relational checks; telemetry is derived only by trusted assembly.
+    const verificationInput = structuredClone(input.verification);
+    if (verificationInput.status === 'accepted' && verificationInput.reviewRounds?.length) {
+        verificationInput.roundsToClean ??= verificationInput.reviewRounds.length;
+        verificationInput.headSha ??= input.headSha;
+    }
+    const shapedVerification = decodeWorkerProducedPayload(direct ? 'workerDirectVerification' : 'workerVerification', 'verifier', verificationInput);
+    const verification = prepareWorkerAcceptance(brief, execution, shapedVerification, input);
     if (stableJson(execution.requested) !== stableJson(brief.selected)) {
         throw new WorkerContractError('OG_CONTRACT_INVALID', 'Adapter requested identity differs from the bound brief.');
     }
@@ -604,6 +346,9 @@ export function encodeWorkerPayloadSnapshot(definition, value, previous) {
             if (prior[identity] !== next[identity])
                 throw new WorkerContractError('OG_CONTRACT_INVALID', `Worker successor changes ${identity}.`);
         }
+        if (definition === 'workerResult' || definition === 'workerDirectResult') {
+            assertWorkerReviewSuccessor(prior.verification, next.verification);
+        }
         if (definition === 'workerDispatch') {
             const link = next.previousRecord;
             if (link?.digest !== previous.artifact.digest || link?.ref !== previous.artifact.ref) {
@@ -615,277 +360,4 @@ export function encodeWorkerPayloadSnapshot(definition, value, previous) {
     const digest = `sha256:${createHash('sha256').update(bytes, 'utf8').digest('hex')}`;
     return Object.freeze({ definition, bytes, artifact: Object.freeze({ ref: `artifact:${digest}`, digest }), previousRecord: previous ? Object.freeze({ ...previous.artifact }) : null });
 }
-// S1 health-to-lease and Mission reconciliation mapping (B-OG-54 / #2916,
-// 05 §8, ADR-OG-10/13). Pure functions over validated shapes: no scheduler,
-// store, Mission runtime or managed import. S2 owners (B-OG-12/16) wire these
-// verdicts into actual renew/fence/stop/settle/release runtime.
-const HEALTH_TERMINAL_LIKE = new Set(['completed', 'failed', 'cancelled', 'crashed', 'failed-to-start']);
-/**
- * Classify supervision evidence into a distinct shared-trace kind. Quiet,
- * stalled and uncertain map distinctly. Heartbeat/lease-only observation
- * yields activity-only, never productive work. A crashed or failed-to-start
- * worker without confirmed termination is terminal-unconfirmed: fail-stop is
- * claimed but a live descendant may survive, so it is never stop proof
- * (ADR-OG-10). Precondition: schema-valid workerHealthSummary.
- */
-export function classifyHealthTrace(health) {
-    if (health.termination === 'confirmed' && HEALTH_TERMINAL_LIKE.has(health.state))
-        return 'terminal-proof';
-    if (HEALTH_TERMINAL_LIKE.has(health.state))
-        return 'terminal-unconfirmed';
-    // Confirmed termination with a non-terminal state is contradictory owner
-    // evidence (finish() never produces it): downgrade, never productive.
-    if (health.termination === 'confirmed')
-        return 'uncertain';
-    if (health.termination === 'uncertain')
-        return 'uncertain';
-    switch (health.state) {
-        case 'launching':
-        case 'started':
-            return 'setup';
-        case 'active':
-            return health.lastProgressAt === null ? 'activity-only' : 'productive';
-        case 'quiet':
-            return 'quiet';
-        case 'stalled':
-        case 'hung':
-            return 'stalled';
-        default:
-            return 'uncertain';
-    }
-}
-const TRACE_TRUNCATION_MARKER = '…[truncated]';
-/** Strip control/format characters and cap at maxUtf8Bytes (marker included). */
-export function boundTraceText(text, maxUtf8Bytes) {
-    const clean = String(text).replace(/[\u0000-\u001F\u007F-\u009F\u2028\u2029]/g, '');
-    if (maxUtf8Bytes <= 0)
-        return '';
-    if (Buffer.byteLength(clean, 'utf8') <= maxUtf8Bytes)
-        return clean;
-    const markerBytes = Buffer.byteLength(TRACE_TRUNCATION_MARKER, 'utf8');
-    if (maxUtf8Bytes < markerBytes) {
-        // The budget cannot hold even the marker: return the longest
-        // character-boundary prefix of the marker that fits, so the output
-        // never exceeds the budget.
-        let bytes = 0;
-        let end = 0;
-        for (const char of TRACE_TRUNCATION_MARKER) {
-            const size = Buffer.byteLength(char, 'utf8');
-            if (bytes + size > maxUtf8Bytes)
-                break;
-            bytes += size;
-            end += char.length;
-        }
-        return TRACE_TRUNCATION_MARKER.slice(0, end);
-    }
-    let bytes = 0;
-    let end = 0;
-    for (const char of clean) {
-        const size = Buffer.byteLength(char, 'utf8');
-        if (bytes + size > maxUtf8Bytes - markerBytes)
-            break;
-        bytes += size;
-        end += char.length;
-    }
-    return clean.slice(0, end) + TRACE_TRUNCATION_MARKER;
-}
-/**
- * Allowlisted reason label for the shared trace. Unlisted codes (including
- * any free text carrying secret material) project as UNCLASSIFIED#digest:
- * stable and bounded, never verbatim.
- */
-export function healthReasonLabel(reasonCode) {
-    if (HEALTH_KNOWN_REASON_CODES.includes(reasonCode))
-        return reasonCode;
-    const digest = createHash('sha256').update(reasonCode, 'utf8').digest('hex').slice(0, 12);
-    return `UNCLASSIFIED#${digest}`;
-}
-/**
- * Digest-only lifecycle reference for the effect ledger. Only enum, counter,
- * digest and timestamp fields enter the digest; no payload content crosses.
- */
-export function healthLifecycleDigest(health) {
-    assertValidWorkerPayload('workerHealthSummary', health);
-    const lifecycle = {
-        version: health.version,
-        state: health.state,
-        coverage: health.coverage,
-        handshake: health.handshake,
-        termination: health.termination,
-        confidence: health.confidence,
-        observerGeneration: health.observerGeneration,
-        transitionCount: health.transitionCount,
-        restartCount: health.restartCount,
-        lastObservedAt: health.lastObservedAt,
-        lastActivityAt: health.lastActivityAt,
-        lastProgressAt: health.lastProgressAt,
-    };
-    const digest = `sha256:${createHash('sha256').update(stableJson(lifecycle), 'utf8').digest('hex')}`;
-    return { ref: `artifact:${digest}`, digest };
-}
-/**
- * Closed observed-state vocabulary for the previous-state channel. Free
- * text (including leaked bearer material) never interpolates into the
- * shared trace.
- */
-const HEALTH_OBSERVED_STATES = new Set([
-    'launching', 'started', 'active', 'quiet', 'stalled', 'hung',
-    'crashed', 'failed-to-start', 'completed', 'failed', 'cancelled',
-]);
-/**
- * Parse an ISO timestamp into epoch milliseconds for chronological
- * comparison. Comparison must never fall back to string ordering: distinct
- * representations of the same instant (e.g. '.000Z' vs 'Z') must compare
- * equal, not greater/lesser. Unparseable values reject as having no
- * timestamp evidence (null), never throw.
- */
-function parseProgressTimestampMs(value) {
-    if (value === null)
-        return null;
-    const ms = Date.parse(value);
-    return Number.isFinite(ms) ? ms : null;
-}
-/**
- * Fresh-progress gate: credit requires genuinely new progress evidence.
- * The health shape carries no progress sequence/key, so freshness is a
- * NONDECREASING credit watermark: `previousWatermark` is not merely "the
- * last observation" but the highest-ever CREDITED lastProgressAt, compared
- * by parsed epoch milliseconds (never raw strings). Out-of-order or
- * replayed snapshots (older than, or equal to, the watermark) earn no
- * credit and never move the watermark backward; heartbeats (which advance
- * activity/observed timestamps while the watermark is frozen) never
- * re-credit historical progress. Unparseable timestamps earn no credit.
- * Callers thread the watermark forward with `advanceProgressWatermark`.
- */
-function isFreshProgressEvidence(health, previousWatermark) {
-    const currentMs = parseProgressTimestampMs(health.lastProgressAt);
-    if (currentMs === null)
-        return false;
-    if (previousWatermark === null || previousWatermark.lastProgressAt === null)
-        return true;
-    const watermarkMs = parseProgressTimestampMs(previousWatermark.lastProgressAt);
-    if (watermarkMs === null)
-        return false;
-    return currentMs > watermarkMs;
-}
-/**
- * Pure watermark reducer (no store): callers thread the returned value into
- * the next observation's `previousHealth`/watermark argument instead of
- * re-passing the raw last observation. The watermark advances ONLY when the
- * current observation was actually credited; a non-credited observation
- * (replay, heartbeat, or an out-of-order/older snapshot) leaves the
- * watermark exactly where it was. This is what makes real A -> B -> A -> B
- * delivery sequences credit true,true,false,false instead of re-crediting
- * B the second time it arrives: a naive caller that re-threads "the last
- * observation" (rather than this reducer's output) regresses to that bug.
- */
-export function advanceProgressWatermark(previousWatermark, credited, health) {
-    if (credited)
-        return { lastProgressAt: health.lastProgressAt };
-    return previousWatermark ?? { lastProgressAt: null };
-}
-/**
- * Project one health observation into the shared trace. The activity summary
- * is built only from enum/counter/generation fields plus the allowlisted
- * reason label; completionCredit is always false because Mission/Flow
- * completion gates stay authoritative. previousState must be a closed
- * observed state (or null); anything else is rejected, never interpolated.
- * progressCredit requires fresh progress evidence relative to
- * previousHealth, which callers must maintain as the nondecreasing credit
- * watermark (see advanceProgressWatermark) rather than the raw last
- * observation (null for a first observation / no watermark yet).
- */
-export function projectHealthTrace(health, previousState = null, previousHealth = null) {
-    assertValidWorkerPayload('workerHealthSummary', health);
-    if (previousState !== null && !HEALTH_OBSERVED_STATES.has(previousState)) {
-        throw new WorkerContractError('OG_CONTRACT_INVALID', 'Invalid previous health state.');
-    }
-    const kind = classifyHealthTrace(health);
-    const summary = `health.${health.state}:${health.termination}`
-        + ` gen=${health.observerGeneration ?? 'none'} transitions=${health.transitionCount}`
-        + ` prev=${previousState ?? 'none'} reason=${healthReasonLabel(health.reasonCode)}`;
-    return {
-        kind,
-        progressCredit: kind === 'productive' && isFreshProgressEvidence(health, previousHealth),
-        completionCredit: false,
-        activitySummary: boundTraceText(summary, HEALTH_ACTIVITY_SUMMARY_MAX_UTF8_BYTES),
-        effectRef: healthLifecycleDigest(health),
-    };
-}
-/**
- * Derive stop proof from owner-observed supervision evidence (ADR-OG-10).
- * Only a terminal state with owner-confirmed termination is stop proof;
- * terminal-unconfirmed and uncertain observations stay uncertain, and the
- * absence of evidence is none. There is no free-form proof parameter:
- * callers pass the health summary (or null) and the proof is derived.
- * A late final after cancel-disconnect therefore never releases while
- * termination is uncertain (ADR-OG-13: late results stay unaccepted
- * evidence).
- */
-export function stopProofFromHealth(health) {
-    if (health === null)
-        return 'none';
-    assertValidWorkerPayload('workerHealthSummary', health);
-    if (health.termination === 'confirmed') {
-        return HEALTH_TERMINAL_LIKE.has(health.state) ? 'confirmed' : 'uncertain';
-    }
-    if (HEALTH_TERMINAL_LIKE.has(health.state) || health.termination === 'uncertain')
-        return 'uncertain';
-    return 'none';
-}
-/**
- * The generation the stop-proof evidence actually belongs to, bridging a
- * missing observerGeneration to 0 (the bootstrap generation) for fencing —
- * mirroring the same bridge decideLeaseMapping already applies to the
- * caller-supplied leaseGeneration/observedGeneration fields. This is bound
- * to the health summary's OWN observerGeneration field, which the caller
- * cannot set independently of the evidence: a caller cannot claim generation
- * 3 while attaching generation-2 evidence and have it treated as current.
- */
-function stopProofGeneration(health) {
-    if (health === null)
-        return null;
-    return health.observerGeneration ?? 0;
-}
-/**
- * Pure renewal/reconcile/release verdict over a mocked scheduler boundary.
- * Fencing binds every action to the current generation: a stale observation
- * denies renew, cancel, settle and accept alike. Expiry or cancel-disconnect
- * without derived confirmed stop proof retains the uncertain reservation
- * and releases nothing. Confirmed stop proof settles exactly once — and only
- * when that proof's OWN generation (not merely the caller-asserted
- * observedGeneration) matches the current leaseGeneration; a confirmed
- * proof carried over from a stale generation never releases.
- */
-export function decideLeaseMapping(input) {
-    let record;
-    try {
-        record = object(input, 'Lease mapping input');
-    }
-    catch {
-        throw new WorkerContractError('OG_CONTRACT_INVALID', 'Invalid lease mapping input.');
-    }
-    const leaseStates = ['admitted', 'expired', 'cancelled-disconnected'];
-    if (typeof record.leaseState !== 'string' || !leaseStates.includes(record.leaseState)
-        || !Number.isSafeInteger(record.leaseGeneration) || record.leaseGeneration < 0
-        || !Number.isSafeInteger(record.observedGeneration) || record.observedGeneration < 0
-        || typeof record.settled !== 'boolean'
-        || !('health' in record)
-        || (record.health !== null && !validateWorkerPayload('workerHealthSummary', record.health).valid)) {
-        throw new WorkerContractError('OG_CONTRACT_INVALID', 'Invalid lease mapping input.');
-    }
-    const mapping = input;
-    if (mapping.observedGeneration !== mapping.leaseGeneration)
-        return 'deny-stale';
-    if (mapping.settled)
-        return 'deny-already-settled';
-    const stopProof = stopProofFromHealth(mapping.health);
-    const proofIsCurrent = stopProofGeneration(mapping.health) === mapping.leaseGeneration;
-    if (stopProof === 'confirmed' && proofIsCurrent)
-        return 'release-once';
-    if (stopProof === 'uncertain' || (stopProof === 'confirmed' && !proofIsCurrent) || mapping.leaseState !== 'admitted') {
-        return 'retain-uncertain';
-    }
-    return 'renew';
-}
 //# sourceMappingURL=codecs.js.map