codex-workflow-v2 2.0.0-beta.1 → 2.0.0-beta.11

package/dist/src/transition-core.js

@@ -0,0 +1,318 @@
+import { WorkflowService } from './workflow.js';
+import { CoreTaskOperationLockManager } from './state/lock.js';
+import { correctiveReplanTerminalReadback, driveCorrectiveReplanTransaction } from './state/corrective-replan-executor.js';
+import { CorrectiveReplanTaskTransactionStore } from './state/corrective-replan-transaction.js';
+import { GuardedTransitionCatalog, validateTransitionDefinitionSemantics } from './lifecycle/catalog.js';
+import { installedAuthoritySemanticBindings, projectAuthoritySemanticBundle } from './lifecycle/corrective-replan-authority.js';
+import { correctiveReplanCredentialFunctionBindings } from './lifecycle/corrective-replan-credential-core.js';
+import { correctiveReplanCredentialSchemaArtifacts, correctiveReplanCredentialSchemaValidators } from './lifecycle/corrective-replan-credential-schema.js';
+import { diagnoseCorrectiveReplanCredentialClosure } from './lifecycle/corrective-replan-credentials.js';
+import { hashCorrectivePlanBytes, taskCorrectiveReplanDefinition } from './lifecycle/corrective-replan.js';
+import { evaluateTransition } from './lifecycle/evaluator.js';
+import { evaluateInstalledReleaseRulesForCore, installedCoreRuleBindings, projectReleaseRuleContextForCore, } from './lifecycle/core-static-readiness.js';
+import { hashCanonical, runtimeCatalogHash, runtimeSemanticFingerprint, runtimeSemanticProjection as runtimeProjection, transitionDefinitionManifestHash } from './lifecycle/fingerprint.js';
+import { deepFreeze } from './lifecycle/immutable.js';
+import { createCorrectiveReplanImplementationTable } from './lifecycle/implementation-table.js';
+import { installedPayloadSchemaArtifacts, installedPayloadSchemaValidators, installedTransitionDefinitionArtifact, installedTransitionDefinitionValidator, transitionDefinitionDocumentSha256, transitionDefinitionVocabularySha256, } from './lifecycle/schema-artifact.js';
+import { transitionSemanticRegistry } from './lifecycle/semantic-registry.js';
+import { LIFECYCLE_EPOCH, TRANSITION_DEFINITION_FORMAT_VERSION, } from './lifecycle/types.js';
+const guards = taskCorrectiveReplanDefinition.guards.map((guard) => guard.evaluate);
+const credentialReceiptVerifier = correctiveReplanCredentialFunctionBindings.find((entry) => entry.id === 'credential-verifier.corrective-replan.receipt');
+if (!credentialReceiptVerifier)
+    throw new TypeError('Installed corrective-replan receipt verifier is missing.');
+const credentialClosure = diagnoseCorrectiveReplanCredentialClosure();
+if (!credentialClosure.closed)
+    throw new TypeError('Installed corrective-replan credential bundle is not closed.');
+const executableTable = createCorrectiveReplanImplementationTable({
+    guards,
+    identityComparators: installedAuthoritySemanticBindings.filter((entry) => entry.kind === 'identity-comparator').map((entry) => entry.callable),
+    verifyReceipt: credentialReceiptVerifier.callable,
+    acquireTaskLock: CoreTaskOperationLockManager.prototype.acquire,
+    createJournalIntent: CorrectiveReplanTaskTransactionStore.prototype.createIntent,
+    recoverCorrectiveReplan: driveCorrectiveReplanTransaction,
+    executeCorrectiveReplan: WorkflowService.prototype.executeCorrectiveReplan,
+    terminalReadback: correctiveReplanTerminalReadback,
+    canonicalJsonSha256: hashCanonical, rawPlanSha256: hashCorrectivePlanBytes,
+});
+const installedExecutables = deepFreeze(Object.values(executableTable).flat());
+const installedFamilySemantics = runtimeProjection(taskCorrectiveReplanDefinition.metadata).semantics;
+const installedTransitionExecutableBinding = deepFreeze({
+    transitionId: taskCorrectiveReplanDefinition.metadata.transitionId, version: 1,
+    runtimeSemanticFingerprint: taskCorrectiveReplanDefinition.runtimeSemanticFingerprint,
+    implementationId: 'implementation.transition.task-corrective-replan', implementationVersion: 2,
+    guardCallables: taskCorrectiveReplanDefinition.guards.map((guard, index) => {
+        const binding = executable(taskCorrectiveReplanDefinition.metadata.guards[index].evaluator);
+        return { guardId: guard.metadata.guardId, semanticVersion: guard.metadata.semanticVersion,
+            implementationId: binding.semanticId, implementationVersion: binding.semanticVersion, callable: guard.evaluate };
+    }),
+    executableSlots: declaredExecutableSlots(), evaluate: evaluateTransition,
+});
+export const installedTransitionExecutableBindings = deepFreeze([installedTransitionExecutableBinding]);
+const issuedCatalogs = new WeakMap();
+export const guardedTransitionCatalog = deepFreeze(new GuardedTransitionCatalog([taskCorrectiveReplanDefinition]));
+export function compileCoreTransitionCatalog(raw) {
+    if (!Array.isArray(raw))
+        return failed([{ diagnosticId: 'compiler.catalog.input-invalid', path: '/', message: 'Core catalog input must be an array.' }]);
+    const diagnostics = diagnoseClosure(raw, installedCoreRuleBindings, installedTransitionExecutableBindings, installedPayloadSchemaArtifacts, installedPayloadSchemaValidators);
+    if (diagnostics.length > 0)
+        return failed(diagnostics);
+    const ir = [];
+    const seen = new Set();
+    for (const candidate of raw) {
+        const definition = structuredClone(candidate);
+        if (seen.has(definition.transitionId)) {
+            diagnostics.push({ diagnosticId: 'compiler.catalog.transition-duplicate', path: '/transitionId', ref: definition.transitionId, message: 'Transition ID is duplicated.' });
+            continue;
+        }
+        seen.add(definition.transitionId);
+        const payloadSchemas = bindPayloadSchemas(definition, installedPayloadSchemaArtifacts, installedPayloadSchemaValidators, diagnostics);
+        const rules = installedCoreRuleBindings.map((binding) => ({ ...binding, context: projectReleaseRuleContextForCore(definition, binding.id) }));
+        const payloadSchemaClosureSha256 = hashCanonical(payloadSchemas.map(projectPayloadBinding));
+        const definitionSchema = { schema: { id: installedTransitionDefinitionArtifact.id, version: 1 },
+            artifact: installedTransitionDefinitionArtifact, validator: installedTransitionDefinitionValidator };
+        ir.push(deepFreeze({ transitionId: definition.transitionId, serializedDefinition: definition,
+            transitionExecutableBinding: installedTransitionExecutableBinding, authoritySemanticBindings: installedAuthoritySemanticBindings,
+            credentialSemanticBindings: correctiveReplanCredentialFunctionBindings,
+            credentialClosureSha256: credentialClosure.closureSha256,
+            definitionSchema, rules, payloadSchemas, payloadSchemaClosureSha256 }));
+    }
+    if (diagnostics.length > 0)
+        return failed(diagnostics);
+    ir.sort((left, right) => left.transitionId.localeCompare(right.transitionId));
+    const frozenIr = deepFreeze(ir);
+    const readiness = readinessFromIr(frozenIr);
+    const serialized = frozenIr.map((entry) => entry.serializedDefinition);
+    const order = frozenIr.map((entry) => semanticOrder(entry.serializedDefinition));
+    const canonicalIr = frozenIr.map(projectPrivateIr);
+    const provenance = {
+        compilerId: 'codex-workflow-exact-family-compiler', compilerVersion: '4.0.0',
+        compilerBuildSha256: hashCanonical({ implementation: 'corrective-replan-exact-family', version: 2 }),
+        definitionFormatVersion: TRANSITION_DEFINITION_FORMAT_VERSION, lifecycleEpoch: LIFECYCLE_EPOCH,
+        rawCatalogSha256: hashCanonical(serialized), runtimeCatalogHash: runtimeCatalogHash(serialized),
+        staticCatalogHash: hashCanonical(readiness),
+        semanticRegistryClosureSha256: hashCanonical(canonicalIr.map((entry) => entry.registryClosure)),
+        executableRegistryClosureSha256: hashCanonical(canonicalIr.map((entry) => entry.transitionExecutableBinding)),
+        transitionSchemaArtifactSha256: transitionDefinitionDocumentSha256,
+        transitionSchemaVocabularySha256: transitionDefinitionVocabularySha256,
+        transitionSchemaValidatorSha256: hashCanonical(projectPayloadValidator(installedTransitionDefinitionValidator)),
+        payloadSchemaClosureSha256: frozenIr[0]?.payloadSchemaClosureSha256 ?? hashCanonical([]),
+        officialProfileSha256: hashCanonical({}),
+        ruleSetSha256: hashCanonical(installedCoreRuleBindings.map(projectRule)),
+        canonicalOrderSha256: hashCanonical(order), irSha256: hashCanonical({ transitions: canonicalIr, order, readiness }),
+    };
+    const catalog = deepFreeze({ kind: 'core-compiled-transition-catalog', provenance,
+        transitions: frozenIr.map((entry) => ({ transitionId: entry.transitionId,
+            runtimeSemanticFingerprint: entry.serializedDefinition.runtimeSemanticFingerprint,
+            definitionManifestHash: entry.serializedDefinition.definitionManifestHash })) });
+    issuedCatalogs.set(catalog, deepFreeze({ ir: frozenIr, readiness }));
+    return { ok: true, catalog, diagnostics: [], diagnosticsHash: hashCanonical([]) };
+}
+export function evaluateCoreStaticReadiness(catalog) {
+    return requireRecord(catalog).readiness;
+}
+export function inspectCorePrivateIr(catalog) {
+    return requireRecord(catalog).ir;
+}
+export function diagnoseCoreIssuanceClosure(input) {
+    const diagnostics = diagnoseClosure(input.definitions, input.ruleBindings ?? installedCoreRuleBindings, input.transitionExecutableBindings ?? installedTransitionExecutableBindings, input.schemaArtifacts ?? installedPayloadSchemaArtifacts, input.schemaValidators ?? installedPayloadSchemaValidators, input.authoritySemanticBindings ?? installedAuthoritySemanticBindings);
+    const ordered = orderDiagnostics(diagnostics);
+    return deepFreeze({ issuable: ordered.length === 0, diagnostics: ordered, diagnosticsHash: hashCanonical(ordered) });
+}
+function diagnoseClosure(definitions, rules, transitionBindings, artifacts, validators, authorityBindings = installedAuthoritySemanticBindings) {
+    const diagnostics = [];
+    exactRules(rules, diagnostics);
+    exactTransitionBindings(transitionBindings, diagnostics);
+    exactAuthorityBindings(authorityBindings, diagnostics);
+    for (const raw of definitions) {
+        if (!installedTransitionDefinitionArtifact || !installedTransitionDefinitionValidator.callable(raw)) {
+            diagnostics.push({ diagnosticId: 'compiler.schema.document-invalid', path: '/', message: 'Definition fails the installed root schema.' });
+            continue;
+        }
+        const semantic = validateTransitionDefinitionSemantics(raw);
+        semantic.issues.forEach((entry) => diagnostics.push(entry.ref === undefined
+            ? { diagnosticId: `compiler.semantic.${entry.ruleId.slice('validation.'.length)}`, path: entry.path, message: entry.message }
+            : { diagnosticId: `compiler.semantic.${entry.ruleId.slice('validation.'.length)}`, path: entry.path, ref: entry.ref, message: entry.message }));
+        const definition = raw;
+        if (definition.transitionId !== 'task.plan.corrective-replan')
+            diagnostics.push({ diagnosticId: 'compiler.family.unsupported', path: '/transitionId', ref: definition.transitionId, message: 'No installed exact family compiler.' });
+        try {
+            const metadata = stripHashes(definition);
+            const mismatch = firstDifferencePath(installedFamilySemantics, runtimeProjection(metadata).semantics);
+            if (mismatch)
+                diagnostics.push({ diagnosticId: 'core.transition-binding.semantic-mismatch', path: mismatch, ref: definition.transitionId, message: `Definition semantics differ from the installed exact family at ${mismatch}.` });
+            if (runtimeSemanticFingerprint(metadata) !== definition.runtimeSemanticFingerprint)
+                diagnostics.push({ diagnosticId: 'compiler.fingerprint.runtime-mismatch', path: '/runtimeSemanticFingerprint', message: 'Runtime fingerprint is stale.' });
+            if (transitionDefinitionManifestHash(metadata, definition.runtimeSemanticFingerprint) !== definition.definitionManifestHash)
+                diagnostics.push({ diagnosticId: 'compiler.fingerprint.manifest-mismatch', path: '/definitionManifestHash', message: 'Manifest hash is stale.' });
+        }
+        catch (error) {
+            const ref = error.ref;
+            diagnostics.push(ref === undefined
+                ? { diagnosticId: 'compiler.registry.reference-unresolved', path: '/', message: error instanceof Error ? error.message : String(error) }
+                : { diagnosticId: 'compiler.registry.reference-unresolved', path: '/', ref, message: error instanceof Error ? error.message : String(error) });
+        }
+        bindPayloadSchemas(definition, artifacts, validators, diagnostics);
+    }
+    return diagnostics;
+}
+function exactRules(candidate, diagnostics) {
+    for (const installed of installedCoreRuleBindings) {
+        const matches = candidate.filter((entry) => sameRef(entry, installed));
+        if (matches.length !== 1)
+            diagnostics.push({ diagnosticId: matches.length === 0 ? 'core.rule-binding.missing' : 'core.rule-binding.duplicate', path: `/ruleBindings/${installed.id}`, ref: refKey(installed), message: `${installed.id} must be bound exactly once.` });
+        else if (matches[0] !== installed || matches[0].callable !== installed.callable
+            || matches[0].implementationId !== installed.implementationId || matches[0].implementationVersion !== installed.implementationVersion) {
+            diagnostics.push({ diagnosticId: 'core.rule-binding.callable-substituted', path: `/ruleBindings/${installed.id}`, ref: refKey(installed), message: `${installed.id} callable differs from installed Core identity.` });
+        }
+    }
+}
+function exactAuthorityBindings(candidate, diagnostics) {
+    const issue = (id, installed) => diagnostics.push({ diagnosticId: `core.authority-binding.${id}`,
+        path: `/authoritySemanticBindings/${installed.id}`, ref: installed.id, message: `${installed.id} authority callable differs from Core.` });
+    for (const installed of installedAuthoritySemanticBindings) {
+        const matches = candidate.filter((entry) => sameRef(entry, installed));
+        if (matches.length !== 1)
+            issue(matches.length === 0 ? 'missing' : 'duplicate', installed);
+        else if (typeof matches[0].callable !== 'function')
+            issue('callable-missing', installed);
+        else if (matches[0] !== installed || matches[0].callable !== installed.callable)
+            issue('callable-substituted', installed);
+    }
+    candidate.filter((entry) => !installedAuthoritySemanticBindings.some((installed) => sameRef(entry, installed)))
+        .forEach((entry) => issue('extra', entry));
+}
+function exactTransitionBindings(candidate, diagnostics) {
+    const expected = installedTransitionExecutableBinding;
+    const matches = candidate.filter((entry) => entry.transitionId === expected.transitionId);
+    const issue = (id, path, ref) => diagnostics.push({ diagnosticId: `core.transition-binding.${id}`, path, ref, message: `Exact transition binding mismatch: ${ref}.` });
+    if (matches.length !== 1)
+        issue(matches.length === 0 ? 'missing' : 'duplicate', `/transitionExecutableBindings/${expected.transitionId}`, expected.transitionId);
+    candidate.filter((entry) => entry.transitionId !== expected.transitionId).forEach((entry) => issue('extra', '/transitionExecutableBindings', entry.transitionId));
+    if (matches.length !== 1 || matches[0] === expected)
+        return;
+    const actual = matches[0];
+    expected.guardCallables.filter((guard) => !actual.guardCallables.some((entry) => entry.guardId === guard.guardId)).forEach((guard) => issue('guard-missing', '/transitionExecutableBindings/guards', guard.guardId));
+    actual.guardCallables.filter((guard) => !expected.guardCallables.some((entry) => entry.guardId === guard.guardId) || actual.guardCallables.filter((entry) => entry.guardId === guard.guardId).length > 1).forEach((guard) => issue('guard-extra', '/transitionExecutableBindings/guards', guard.guardId));
+    if (actual.guardCallables.map((entry) => entry.guardId).join('\0') !== expected.guardCallables.map((entry) => entry.guardId).join('\0'))
+        issue('guard-order-mismatch', '/transitionExecutableBindings/guards', expected.transitionId);
+    expected.guardCallables.forEach((guard, index) => { const entry = actual.guardCallables[index]; if (entry?.guardId === guard.guardId && (entry.callable !== guard.callable || entry.semanticVersion !== guard.semanticVersion || entry.implementationId !== guard.implementationId || entry.implementationVersion !== guard.implementationVersion))
+        issue('guard-callable-substituted', `/transitionExecutableBindings/guards/${index}`, guard.guardId); });
+    if (actual.version !== expected.version)
+        issue('semantic-mismatch', '/transitionExecutableBindings/version', expected.transitionId);
+    if (actual.runtimeSemanticFingerprint !== expected.runtimeSemanticFingerprint || actual.evaluate !== expected.evaluate || actual.implementationId !== expected.implementationId || actual.implementationVersion !== expected.implementationVersion || actual.executableSlots !== expected.executableSlots)
+        issue('semantic-mismatch', '/transitionExecutableBindings', expected.transitionId);
+}
+function bindPayloadSchemas(definition, artifacts, validators, diagnostics) {
+    let schemaRefs = [];
+    try {
+        const closure = runtimeSemanticProjectionForCore(stripHashes(definition));
+        schemaRefs = closure.filter((entry) => entry.category === 'schemas').map((entry) => entry.entry);
+    }
+    catch {
+        return [];
+    }
+    return schemaRefs.map((schema) => {
+        const installedArtifact = onlyInstalled(installedPayloadSchemaArtifacts, schema);
+        const installedValidator = onlyInstalled(installedPayloadSchemaValidators, schema);
+        const artifactMatches = artifacts.filter((entry) => sameRef(entry, schema));
+        const validatorMatches = validators.filter((entry) => sameRef(entry, schema));
+        if (artifactMatches.length !== 1)
+            diagnostics.push({ diagnosticId: artifactMatches.length === 0 ? 'core.payload-artifact.missing' : 'core.payload-artifact.duplicate', path: `/schemaArtifacts/${schema.id}`, ref: refKey(schema), message: `${schema.id} artifact must occur exactly once.` });
+        else if (artifactMatches[0] !== installedArtifact)
+            diagnostics.push({ diagnosticId: 'core.payload-artifact.subschema-substituted', path: `/schemaArtifacts/${schema.id}`, ref: refKey(schema), message: `${schema.id} artifact identity or subschema differs from Core.` });
+        if (validatorMatches.length !== 1)
+            diagnostics.push({ diagnosticId: validatorMatches.length === 0 ? 'core.payload-validator.missing' : 'core.payload-validator.duplicate', path: `/schemaValidators/${schema.id}`, ref: refKey(schema), message: `${schema.id} validator must occur exactly once.` });
+        else if (validatorMatches[0] !== installedValidator || validatorMatches[0].callable !== installedValidator.callable)
+            diagnostics.push({ diagnosticId: 'core.payload-validator.callable-substituted', path: `/schemaValidators/${schema.id}`, ref: refKey(schema), message: `${schema.id} validator differs from Core.` });
+        return { schema, artifact: installedArtifact, validator: installedValidator };
+    });
+}
+function runtimeSemanticProjectionForCore(metadata) {
+    return runtimeProjection(metadata).resolvedRegistryEntries;
+}
+function readinessFromIr(ir) {
+    const transitions = ir.map((entry) => ({ transitionId: entry.transitionId,
+        blockers: [...evaluateInstalledReleaseRulesForCore(entry.rules)] }));
+    const content = { staticReady: ir.length > 0 && transitions.every((entry) => entry.blockers.length === 0),
+        catalogBlockers: ir.length === 0 ? ['static.catalog.empty'] : [], transitions };
+    return deepFreeze({ ...content, reportHash: hashCanonical(content) });
+}
+function semanticOrder(definition) {
+    return { transitionId: definition.transitionId, guards: definition.guards.map((entry) => entry.guardId),
+        effects: definition.effects.orderedNodes.map((entry) => ({ id: entry.effectId, ordinal: entry.ordinal, dependsOn: entry.dependsOn })),
+        revalidations: definition.admissionBoundary.orderedRevalidations.map((entry) => ({ id: entry.revalidationId, ordinal: entry.ordinal })) };
+}
+function projectPrivateIr(ir) {
+    const runtime = runtimeProjection(stripHashes(ir.serializedDefinition));
+    return { transitionId: ir.transitionId, semantics: runtime.semantics, registryClosure: runtime.resolvedRegistryEntries,
+        transitionExecutableBinding: projectTransitionBinding(ir.transitionExecutableBinding), authoritySemanticBundle: projectAuthoritySemanticBundle(ir.authoritySemanticBindings),
+        credentialSemanticBundle: {
+            manifestSha256: credentialClosure.manifestSha256,
+            closureSha256: ir.credentialClosureSha256,
+            artifacts: correctiveReplanCredentialSchemaArtifacts.map(({ document: _document, ...entry }) => entry),
+            validators: correctiveReplanCredentialSchemaValidators.map(({ callable: _callable, ...entry }) => entry),
+            functions: ir.credentialSemanticBindings.map(({ callable: _callable, ...entry }) => entry),
+        },
+        definitionSchema: projectPayloadBinding(ir.definitionSchema), rules: ir.rules.map(projectRule),
+        payloadSchemas: ir.payloadSchemas.map(projectPayloadBinding), blockers: evaluateInstalledReleaseRulesForCore(ir.rules) };
+}
+function projectTransitionBinding(entry) { return { transitionId: entry.transitionId, version: entry.version, runtimeSemanticFingerprint: entry.runtimeSemanticFingerprint, implementationId: entry.implementationId, implementationVersion: entry.implementationVersion, guards: entry.guardCallables.map(({ callable: _callable, ...guard }) => guard), executableSlots: entry.executableSlots.map((slot) => ({ path: slot.path, binding: projectExecutable(slot.binding) })) }; }
+function projectExecutable(entry) { return { id: entry.id, version: entry.version, semanticId: entry.semanticId, semanticVersion: entry.semanticVersion, wiring: entry.wiring ?? null, implementationResult: entry.implementationResult ?? null, projectionWiring: entry.projectionWiring ?? null }; }
+function projectRule(entry) { return { id: entry.id, version: entry.version, implementationId: entry.implementationId, implementationVersion: entry.implementationVersion }; }
+function projectPayloadBinding(entry) { return { schema: entry.schema, artifact: projectPayloadArtifact(entry.artifact), validator: projectPayloadValidator(entry.validator) }; }
+function projectPayloadArtifact(entry) { return { id: entry.id, version: entry.version, implementationId: entry.implementationId, implementationVersion: entry.implementationVersion, documentSha256: entry.documentSha256, schemaPointer: entry.schemaPointer, subschemaSha256: entry.subschemaSha256 }; }
+function projectPayloadValidator(entry) { return { id: entry.id, version: entry.version, implementationId: entry.implementationId, implementationVersion: entry.implementationVersion, artifactSha256: entry.artifactSha256, subschemaSha256: entry.subschemaSha256 }; }
+function stripHashes(definition) { const { runtimeSemanticFingerprint: _r, semanticFingerprint: _s, definitionManifestHash: _m, ...metadata } = definition; return metadata; }
+function onlyInstalled(entries, ref) { const matches = entries.filter((entry) => sameRef(entry, ref)); return matches.length === 1 ? matches[0] : undefined; }
+function sameRef(left, right) { return left.id === right.id && left.version === right.version; }
+function refKey(ref) { return `${ref.id}@${ref.version}`; }
+function executable(ref) { const matches = installedExecutables.filter((entry) => sameRef(entry, ref)); if (matches.length !== 1)
+    throw new TypeError(`Installed executable ${refKey(ref)} is not exact-one.`); return matches[0]; }
+function declaredExecutableSlots() {
+    const metadata = taskCorrectiveReplanDefinition.metadata;
+    const refs = [
+        ...metadata.guards.map((guard, index) => [`/guards/${index}/evaluator`, guard.evaluator]),
+        ...metadata.effects.orderedNodes.map((effect, index) => [`/effects/orderedNodes/${index}/adapter`, effect.adapter]),
+        ...metadata.admissionBoundary.orderedRevalidations.map((entry, index) => [`/admissionBoundary/orderedRevalidations/${index}/evaluator`, entry.evaluator]),
+        ...metadata.authority.separationOfDuty.map((constraint, index) => [`/authority/separationOfDuty/${index}/comparator`, constraint.comparator]),
+        ...metadata.authority.forbiddenCombinations.map((constraint, index) => [`/authority/forbiddenCombinations/${index}/comparator`, constraint.comparator]),
+        ['/authority/credentialVerifier', { id: 'credential-verifier.corrective-replan.receipt', version: 1 }],
+        ['/admissionBoundary/lock/policy', metadata.admissionBoundary.lock.policy],
+        ['/atomicity/journal/adapter', metadata.atomicity.journal.mode === 'required' ? metadata.atomicity.journal.adapter : { id: 'journal-adapter.unreachable', version: 1 }],
+        ['/atomicity/recovery/adapter', metadata.atomicity.recovery.mode !== 'manual-integrity-stop' ? metadata.atomicity.recovery.adapter : { id: 'recovery-adapter.unreachable', version: 1 }],
+        ['/executorAdapter', metadata.executorAdapter], ['/atomicity/executionKey/hashPolicy', metadata.atomicity.executionKey.hashPolicy],
+        ['/atomicity/readback/adapter', metadata.atomicity.readback.adapter], ['/atomicity/readback/resultDigestPolicy', metadata.atomicity.readback.resultDigestPolicy],
+    ];
+    metadata.inputContract.forEach((contract, index) => { const input = transitionSemanticRegistry.inputs.find((entry) => sameRef(entry, contract.input)); if (input?.hashPolicy)
+        refs.push([`/inputContract/${index}/hashPolicy`, input.hashPolicy]); });
+    return refs.map(([path, ref]) => ({ path, binding: executable(ref) }));
+}
+function firstDifferencePath(left, right, path = '') {
+    if (Object.is(left, right))
+        return null;
+    if (Array.isArray(left) && Array.isArray(right)) {
+        for (let index = 0; index < Math.max(left.length, right.length); index += 1) {
+            const mismatch = firstDifferencePath(left[index], right[index], `${path}/${index}`);
+            if (mismatch)
+                return mismatch;
+        }
+        return null;
+    }
+    if (left !== null && right !== null && typeof left === 'object' && typeof right === 'object') {
+        for (const key of [...new Set([...Object.keys(left), ...Object.keys(right)])].filter((entry) => entry !== 'description').sort()) {
+            const mismatch = firstDifferencePath(left[key], right[key], `${path}/${key}`);
+            if (mismatch)
+                return mismatch;
+        }
+        return null;
+    }
+    return path || '/';
+}
+function requireRecord(catalog) { const record = catalog !== null && typeof catalog === 'object' ? issuedCatalogs.get(catalog) : undefined; if (!record) {
+    const error = new TypeError('Invalid compiled provenance: catalog was not issued by Workflow Core.');
+    Object.assign(error, { code: 'INVALID_COMPILED_PROVENANCE' });
+    throw error;
+} return record; }
+function failed(diagnostics) { const ordered = orderDiagnostics(diagnostics); return { ok: false, diagnostics: ordered, diagnosticsHash: hashCanonical(ordered) }; }
+function orderDiagnostics(diagnostics) { return [...diagnostics].sort((left, right) => `${left.path}\0${left.diagnosticId}\0${left.ref ?? ''}`.localeCompare(`${right.path}\0${right.diagnosticId}\0${right.ref ?? ''}`)); }
+//# sourceMappingURL=transition-core.js.map

package/dist/src/transition-core.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"transition-core.js","sourceRoot":"","sources":["../../src/transition-core.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,eAAe,EAAE,MAAM,eAAe,CAAC;AAChD,OAAO,EAAE,4BAA4B,EAAE,MAAM,iBAAiB,CAAC;AAC/D,OAAO,EAAE,gCAAgC,EAAE,gCAAgC,EAAE,MAAM,uCAAuC,CAAC;AAC3H,OAAO,EAAE,oCAAoC,EAAE,MAAM,0CAA0C,CAAC;AAChG,OAAO,EAAE,wBAAwB,EAAE,qCAAqC,EAAE,MAAM,wBAAwB,CAAC;AACzG,OAAO,EAAE,kCAAkC,EAAE,8BAA8B,EAAiC,MAAM,4CAA4C,CAAC;AAC/J,OAAO,EAAE,0CAA0C,EAAkC,MAAM,kDAAkD,CAAC;AAC9I,OAAO,EAAE,yCAAyC,EAAE,0CAA0C,EAAE,MAAM,oDAAoD,CAAC;AAC3J,OAAO,EAAE,yCAAyC,EAAE,MAAM,8CAA8C,CAAC;AACzG,OAAO,EAAE,uBAAuB,EAAE,8BAA8B,EAAE,MAAM,kCAAkC,CAAC;AAC3G,OAAO,EAAE,kBAAkB,EAAE,MAAM,0BAA0B,CAAC;AAC9D,OAAO,EACL,oCAAoC,EAAE,yBAAyB,EAAE,gCAAgC,GAClG,MAAM,sCAAsC,CAAC;AAC9C,OAAO,EAAE,aAAa,EAAE,kBAAkB,EAAE,0BAA0B,EAAE,yBAAyB,IAAI,iBAAiB,EAAE,gCAAgC,EAAE,MAAM,4BAA4B,CAAC;AAC7L,OAAO,EAAE,UAAU,EAAE,MAAM,0BAA0B,CAAC;AACtD,OAAO,EAAE,yCAAyC,EAAE,MAAM,qCAAqC,CAAC;AAChG,OAAO,EACL,+BAA+B,EAAE,gCAAgC,EACjE,qCAAqC,EAAE,sCAAsC,EAC7E,kCAAkC,EAAE,oCAAoC,GACzE,MAAM,gCAAgC,CAAC;AACxC,OAAO,EAAE,0BAA0B,EAAE,MAAM,kCAAkC,CAAC;AAC9E,OAAO,EACL,eAAe,EAAE,oCAAoC,GAKtD,MAAM,sBAAsB,CAAC;AAyB9B,MAAM,MAAM,GAAG,8BAA8B,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,QAAQ,CAAwB,CAAC;AAC3G,MAAM,yBAAyB,GAAG,0CAA0C,CAAC,IAAI,CAC/E,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,EAAE,KAAK,+CAA+C,CACxE,CAAC;AACF,IAAI,CAAC,yBAAyB;IAAE,MAAM,IAAI,SAAS,CAAC,0DAA0D,CAAC,CAAC;AAChH,MAAM,iBAAiB,GAAG,yCAAyC,EAAE,CAAC;AACtE,IAAI,CAAC,iBAAiB,CAAC,MAAM;IAAE,MAAM,IAAI,SAAS,CAAC,8DAA8D,CAAC,CAAC;AACnH,MAAM,eAAe,GAAG,yCAAyC,CAAC;IAChE,MAAM;IACN,mBAAmB,EAAE,kCAAkC,CAAC,MAAM,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,IAAI,KAAK,qBAAqB,CAAC,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,QAAQ,CAAwB;IACrK,aAAa,EAAE,yBAAyB,CAAC,QAAoB;IAC7D,eAAe,EAAE,4BAA4B,CAAC,SAAS,CAAC,OAAmB;IAC3E,mBAAmB,EAAE,oCAAoC,CAAC,SAAS,CAAC,YAAwB;IAC5F,uBAAuB,EAAE,gCAA4C;IACrE,uBAAuB,EAAE,eAAe,CAAC,SAAS,CAAC,uBAAmC;IACtF,gBAAgB,EAAE,gCAA4C;IAC9D,mBAAmB,EAAE,aAAa,EAAE,aAAa,EAAE,uBAAuB;CAC3E,CAAC,CAAC;AACH,MAAM,oBAAoB,GAAG,UAAU,CAAC,MAAM,CAAC,MAAM,CAAC,eAAe,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC;AAC/E,MAAM,wBAAwB,GAAG,iBAAiB,CAAC,8BAA8B,CAAC,QAAQ,CAAC,CAAC,SAAS,CAAC;AACtG,MAAM,oCAAoC,GAAG,UAAU,CAAC;IACtD,YAAY,EAAE,8BAA8B,CAAC,QAAQ,CAAC,YAAY,EAAE,OAAO,EAAE,CAAC;IAC9E,0BAA0B,EAAE,8BAA8B,CAAC,0BAA0B;IACrF,gBAAgB,EAAE,kDAAkD,EAAE,qBAAqB,EAAE,CAAC;IAC9F,cAAc,EAAE,8BAA8B,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,KAAK,EAAE,EAAE;QACzE,MAAM,OAAO,GAAG,UAAU,CAAC,8BAA8B,CAAC,QAAQ,CAAC,MAAM,CAAC,KAAK,CAAE,CAAC,SAAS,CAAC,CAAC;QAC7F,OAAO,EAAE,OAAO,EAAE,KAAK,CAAC,QAAQ,CAAC,OAAO,EAAE,eAAe,EAAE,KAAK,CAAC,QAAQ,CAAC,eAAe;YACvF,gBAAgB,EAAE,OAAO,CAAC,UAAU,EAAE,qBAAqB,EAAE,OAAO,CAAC,eAAe,EAAE,QAAQ,EAAE,KAAK,CAAC,QAAQ,EAAE,CAAC;IACrH,CAAC,CAAC;IACF,eAAe,EAAE,uBAAuB,EAAE,EAAE,QAAQ,EAAE,kBAA8B;CACrF,CAAgC,CAAC;AAClC,MAAM,CAAC,MAAM,qCAAqC,GAAG,UAAU,CAAC,CAAC,oCAAoC,CAAC,CAAC,CAAC;AACxG,MAAM,cAAc,GAAG,IAAI,OAAO,EAAsB,CAAC;AAEzD,MAAM,CAAC,MAAM,wBAAwB,GAAG,UAAU,CAAC,IAAI,wBAAwB,CAAC,CAAC,8BAA8B,CAAC,CAAC,CAAC,CAAC;AAEnH,MAAM,UAAU,4BAA4B,CAAC,GAAuB;IAClE,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,GAAG,CAAC;QAAE,OAAO,MAAM,CAAC,CAAC,EAAE,YAAY,EAAE,gCAAgC,EAAE,IAAI,EAAE,GAAG,EAAE,OAAO,EAAE,sCAAsC,EAAE,CAAC,CAAC,CAAC;IACzJ,MAAM,WAAW,GAAG,eAAe,CAAC,GAAG,EAAE,yBAAyB,EAAE,qCAAqC,EAAE,+BAA+B,EAAE,gCAAgC,CAAC,CAAC;IAC9K,IAAI,WAAW,CAAC,MAAM,GAAG,CAAC;QAAE,OAAO,MAAM,CAAC,WAAW,CAAC,CAAC;IACvD,MAAM,EAAE,GAA8B,EAAE,CAAC;IACzC,MAAM,IAAI,GAAG,IAAI,GAAG,EAAU,CAAC;IAC/B,KAAK,MAAM,SAAS,IAAI,GAAG,EAAE,CAAC;QAC5B,MAAM,UAAU,GAAG,eAAe,CAAC,SAAS,CAAmC,CAAC;QAChF,IAAI,IAAI,CAAC,GAAG,CAAC,UAAU,CAAC,YAAY,CAAC,EAAE,CAAC;YACtC,WAAW,CAAC,IAAI,CAAC,EAAE,YAAY,EAAE,uCAAuC,EAAE,IAAI,EAAE,eAAe,EAAE,GAAG,EAAE,UAAU,CAAC,YAAY,EAAE,OAAO,EAAE,8BAA8B,EAAE,CAAC,CAAC;YAC1K,SAAS;QACX,CAAC;QACD,IAAI,CAAC,GAAG,CAAC,UAAU,CAAC,YAAY,CAAC,CAAC;QAClC,MAAM,cAAc,GAAG,kBAAkB,CAAC,UAAU,EAAE,+BAA+B,EAAE,gCAAgC,EAAE,WAAW,CAAC,CAAC;QACtI,MAAM,KAAK,GAAG,yBAAyB,CAAC,GAAG,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC,CAAC,EAAE,GAAG,OAAO,EAAE,OAAO,EAAE,gCAAgC,CAAC,UAAU,EAAE,OAAO,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC;QAC9I,MAAM,0BAA0B,GAAG,aAAa,CAAC,cAAc,CAAC,GAAG,CAAC,qBAAqB,CAAC,CAAC,CAAC;QAC5F,MAAM,gBAAgB,GAAG,EAAE,MAAM,EAAE,EAAE,EAAE,EAAE,qCAAqC,CAAC,EAAE,EAAE,OAAO,EAAE,CAAC,EAAE;YAC7F,QAAQ,EAAE,qCAAqC,EAAE,SAAS,EAAE,sCAAsC,EAAE,CAAC;QACvG,EAAE,CAAC,IAAI,CAAC,UAAU,CAAC,EAAE,YAAY,EAAE,UAAU,CAAC,YAAY,EAAE,oBAAoB,EAAE,UAAU;YAC1F,2BAA2B,EAAE,oCAAoC,EAAE,yBAAyB,EAAE,kCAAkC;YAChI,0BAA0B,EAAE,0CAA0C;YACtE,uBAAuB,EAAE,iBAAiB,CAAC,aAAa;YACxD,gBAAgB,EAAE,KAAK,EAAE,cAAc,EAAE,0BAA0B,EAAE,CAAC,CAAC,CAAC;IAC5E,CAAC;IACD,IAAI,WAAW,CAAC,MAAM,GAAG,CAAC;QAAE,OAAO,MAAM,CAAC,WAAW,CAAC,CAAC;IACvD,EAAE,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE,KAAK,EAAE,EAAE,CAAC,IAAI,CAAC,YAAY,CAAC,aAAa,CAAC,KAAK,CAAC,YAAY,CAAC,CAAC,CAAC;IAC9E,MAAM,QAAQ,GAAG,UAAU,CAAC,EAAE,CAAC,CAAC;IAChC,MAAM,SAAS,GAAG,eAAe,CAAC,QAAQ,CAAC,CAAC;IAC5C,MAAM,UAAU,GAAG,QAAQ,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,oBAAoB,CAAC,CAAC;IACvE,MAAM,KAAK,GAAG,QAAQ,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,aAAa,CAAC,KAAK,CAAC,oBAAoB,CAAC,CAAC,CAAC;IACjF,MAAM,WAAW,GAAG,QAAQ,CAAC,GAAG,CAAC,gBAAgB,CAAC,CAAC;IACnD,MAAM,UAAU,GAA2B;QACzC,UAAU,EAAE,sCAAsC,EAAE,eAAe,EAAE,OAAO;QAC5E,mBAAmB,EAAE,aAAa,CAAC,EAAE,cAAc,EAAE,gCAAgC,EAAE,OAAO,EAAE,CAAC,EAAE,CAAC;QACpG,uBAAuB,EAAE,oCAAoC,EAAE,cAAc,EAAE,eAAe;QAC9F,gBAAgB,EAAE,aAAa,CAAC,UAAU,CAAC,EAAE,kBAAkB,EAAE,kBAAkB,CAAC,UAAU,CAAC;QAC/F,iBAAiB,EAAE,aAAa,CAAC,SAAS,CAAC;QAC3C,6BAA6B,EAAE,aAAa,CAAC,WAAW,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,eAAe,CAAC,CAAC;QAC/F,+BAA+B,EAAE,aAAa,CAAC,WAAW,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,2BAA2B,CAAC,CAAC;QAC7G,8BAA8B,EAAE,kCAAkC;QAClE,gCAAgC,EAAE,oCAAoC;QACtE,+BAA+B,EAAE,aAAa,CAAC,uBAAuB,CAAC,sCAAsC,CAAC,CAAC;QAC/G,0BAA0B,EAAE,QAAQ,CAAC,CAAC,CAAC,EAAE,0BAA0B,IAAI,aAAa,CAAC,EAAE,CAAC;QACxF,qBAAqB,EAAE,aAAa,CAAC,EAAE,CAAC;QACxC,aAAa,EAAE,aAAa,CAAC,yBAAyB,CAAC,GAAG,CAAC,WAAW,CAAC,CAAC;QACxE,oBAAoB,EAAE,aAAa,CAAC,KAAK,CAAC,EAAE,QAAQ,EAAE,aAAa,CAAC,EAAE,WAAW,EAAE,WAAW,EAAE,KAAK,EAAE,SAAS,EAAE,CAAC;KACpH,CAAC;IACF,MAAM,OAAO,GAAG,UAAU,CAAC,EAAE,IAAI,EAAE,kCAAkC,EAAE,UAAU;QAC/E,WAAW,EAAE,QAAQ,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC,EAAE,YAAY,EAAE,KAAK,CAAC,YAAY;YACtE,0BAA0B,EAAE,KAAK,CAAC,oBAAoB,CAAC,0BAA0B;YACjF,sBAAsB,EAAE,KAAK,CAAC,oBAAoB,CAAC,sBAAsB,EAAE,CAAC,CAAC,EAAE,CAA8B,CAAC;IAClH,cAAc,CAAC,GAAG,CAAC,OAAO,EAAE,UAAU,CAAC,EAAE,EAAE,EAAE,QAAQ,EAAE,SAAS,EAAE,CAAC,CAAC,CAAC;IACrE,OAAO,EAAE,EAAE,EAAE,IAAI,EAAE,OAAO,EAAE,WAAW,EAAE,EAAE,EAAE,eAAe,EAAE,aAAa,CAAC,EAAE,CAAC,EAAE,CAAC;AACpF,CAAC;AAED,MAAM,UAAU,2BAA2B,CAAC,OAAkC;IAC5E,OAAO,aAAa,CAAC,OAAO,CAAC,CAAC,SAAS,CAAC;AAC1C,CAAC;AAED,MAAM,UAAU,oBAAoB,CAAC,OAAkC;IACrE,OAAO,aAAa,CAAC,OAAO,CAAC,CAAC,EAAE,CAAC;AACnC,CAAC;AAED,MAAM,UAAU,2BAA2B,CAAC,KAO3C;IACC,MAAM,WAAW,GAAG,eAAe,CAAC,KAAK,CAAC,WAAW,EAAE,KAAK,CAAC,YAAY,IAAI,yBAAyB,EACpG,KAAK,CAAC,4BAA4B,IAAI,qCAAqC,EAC3E,KAAK,CAAC,eAAe,IAAI,+BAA+B,EAAE,KAAK,CAAC,gBAAgB,IAAI,gCAAgC,EACpH,KAAK,CAAC,yBAAyB,IAAI,kCAAkC,CAAC,CAAC;IACzE,MAAM,OAAO,GAAG,gBAAgB,CAAC,WAAW,CAAC,CAAC;IAC9C,OAAO,UAAU,CAAC,EAAE,QAAQ,EAAE,OAAO,CAAC,MAAM,KAAK,CAAC,EAAE,WAAW,EAAE,OAAO,EAAE,eAAe,EAAE,aAAa,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC;AACvH,CAAC;AAED,SAAS,eAAe,CAAC,WAA+B,EAAE,KAAwC,EAAE,kBAA0D,EAAE,SAAkD,EAAE,UAAoD,EAAE,oBAAyD,kCAAkC;IACnW,MAAM,WAAW,GAAyB,EAAE,CAAC;IAC7C,UAAU,CAAC,KAAK,EAAE,WAAW,CAAC,CAAC;IAC/B,uBAAuB,CAAC,kBAAkB,EAAE,WAAW,CAAC,CAAC;IACzD,sBAAsB,CAAC,iBAAiB,EAAE,WAAW,CAAC,CAAC;IACvD,KAAK,MAAM,GAAG,IAAI,WAAW,EAAE,CAAC;QAC9B,IAAI,CAAC,qCAAqC,IAAI,CAAC,sCAAsC,CAAC,QAAQ,CAAC,GAAG,CAAC,EAAE,CAAC;YACpG,WAAW,CAAC,IAAI,CAAC,EAAE,YAAY,EAAE,kCAAkC,EAAE,IAAI,EAAE,GAAG,EAAE,OAAO,EAAE,6CAA6C,EAAE,CAAC,CAAC;YAC1I,SAAS;QACX,CAAC;QACD,MAAM,QAAQ,GAAG,qCAAqC,CAAC,GAAqC,CAAC,CAAC;QAC9F,QAAQ,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,WAAW,CAAC,IAAI,CAAC,KAAK,CAAC,GAAG,KAAK,SAAS;YACzE,CAAC,CAAC,EAAE,YAAY,EAAE,qBAAqB,KAAK,CAAC,MAAM,CAAC,KAAK,CAAC,aAAa,CAAC,MAAM,CAAC,EAAE,EAAE,IAAI,EAAE,KAAK,CAAC,IAAI,EAAE,OAAO,EAAE,KAAK,CAAC,OAAO,EAAE;YAC7H,CAAC,CAAC,EAAE,YAAY,EAAE,qBAAqB,KAAK,CAAC,MAAM,CAAC,KAAK,CAAC,aAAa,CAAC,MAAM,CAAC,EAAE,EAAE,IAAI,EAAE,KAAK,CAAC,IAAI,EAAE,GAAG,EAAE,KAAK,CAAC,GAAG,EAAE,OAAO,EAAE,KAAK,CAAC,OAAO,EAAE,CAAC,CAAC,CAAC;QAClJ,MAAM,UAAU,GAAG,GAAqC,CAAC;QACzD,IAAI,UAAU,CAAC,YAAY,KAAK,6BAA6B;YAAE,WAAW,CAAC,IAAI,CAAC,EAAE,YAAY,EAAE,6BAA6B,EAAE,IAAI,EAAE,eAAe,EAAE,GAAG,EAAE,UAAU,CAAC,YAAY,EAAE,OAAO,EAAE,qCAAqC,EAAE,CAAC,CAAC;QACtO,IAAI,CAAC;YACH,MAAM,QAAQ,GAAG,WAAW,CAAC,UAAU,CAAC,CAAC;YACzC,MAAM,QAAQ,GAAG,mBAAmB,CAAC,wBAAwB,EAAE,iBAAiB,CAAC,QAAQ,CAAC,CAAC,SAAS,CAAC,CAAC;YACtG,IAAI,QAAQ;gBAAE,WAAW,CAAC,IAAI,CAAC,EAAE,YAAY,EAAE,2CAA2C,EAAE,IAAI,EAAE,QAAQ,EAAE,GAAG,EAAE,UAAU,CAAC,YAAY,EAAE,OAAO,EAAE,kEAAkE,QAAQ,GAAG,EAAE,CAAC,CAAC;YACpO,IAAI,0BAA0B,CAAC,QAAQ,CAAC,KAAK,UAAU,CAAC,0BAA0B;gBAAE,WAAW,CAAC,IAAI,CAAC,EAAE,YAAY,EAAE,uCAAuC,EAAE,IAAI,EAAE,6BAA6B,EAAE,OAAO,EAAE,+BAA+B,EAAE,CAAC,CAAC;YAC/O,IAAI,gCAAgC,CAAC,QAAQ,EAAE,UAAU,CAAC,0BAA0B,CAAC,KAAK,UAAU,CAAC,sBAAsB;gBAAE,WAAW,CAAC,IAAI,CAAC,EAAE,YAAY,EAAE,wCAAwC,EAAE,IAAI,EAAE,yBAAyB,EAAE,OAAO,EAAE,yBAAyB,EAAE,CAAC,CAAC;QACjR,CAAC;QAAC,OAAO,KAAK,EAAE,CAAC;YACf,MAAM,GAAG,GAAI,KAA0B,CAAC,GAAG,CAAC;YAC5C,WAAW,CAAC,IAAI,CAAC,GAAG,KAAK,SAAS;gBAChC,CAAC,CAAC,EAAE,YAAY,EAAE,wCAAwC,EAAE,IAAI,EAAE,GAAG,EAAE,OAAO,EAAE,KAAK,YAAY,KAAK,CAAC,CAAC,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,EAAE;gBACxI,CAAC,CAAC,EAAE,YAAY,EAAE,wCAAwC,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,OAAO,EAAE,KAAK,YAAY,KAAK,CAAC,CAAC,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC;QACnJ,CAAC;QACD,kBAAkB,CAAC,UAAU,EAAE,SAAS,EAAE,UAAU,EAAE,WAAW,CAAC,CAAC;IACrE,CAAC;IACD,OAAO,WAAW,CAAC;AACrB,CAAC;AAED,SAAS,UAAU,CAAC,SAA4C,EAAE,WAAiC;IACjG,KAAK,MAAM,SAAS,IAAI,yBAAyB,EAAE,CAAC;QAClD,MAAM,OAAO,GAAG,SAAS,CAAC,MAAM,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,OAAO,CAAC,KAAK,EAAE,SAAS,CAAC,CAAC,CAAC;QACvE,IAAI,OAAO,CAAC,MAAM,KAAK,CAAC;YAAE,WAAW,CAAC,IAAI,CAAC,EAAE,YAAY,EAAE,OAAO,CAAC,MAAM,KAAK,CAAC,CAAC,CAAC,CAAC,2BAA2B,CAAC,CAAC,CAAC,6BAA6B,EAAE,IAAI,EAAE,iBAAiB,SAAS,CAAC,EAAE,EAAE,EAAE,GAAG,EAAE,MAAM,CAAC,SAAS,CAAC,EAAE,OAAO,EAAE,GAAG,SAAS,CAAC,EAAE,8BAA8B,EAAE,CAAC,CAAC;aACnQ,IAAI,OAAO,CAAC,CAAC,CAAC,KAAK,SAAS,IAAI,OAAO,CAAC,CAAC,CAAE,CAAC,QAAQ,KAAK,SAAS,CAAC,QAAQ;eAC3E,OAAO,CAAC,CAAC,CAAE,CAAC,gBAAgB,KAAK,SAAS,CAAC,gBAAgB,IAAI,OAAO,CAAC,CAAC,CAAE,CAAC,qBAAqB,KAAK,SAAS,CAAC,qBAAqB,EAAE,CAAC;YAC1I,WAAW,CAAC,IAAI,CAAC,EAAE,YAAY,EAAE,wCAAwC,EAAE,IAAI,EAAE,iBAAiB,SAAS,CAAC,EAAE,EAAE,EAAE,GAAG,EAAE,MAAM,CAAC,SAAS,CAAC,EAAE,OAAO,EAAE,GAAG,SAAS,CAAC,EAAE,iDAAiD,EAAE,CAAC,CAAC;QACzN,CAAC;IACH,CAAC;AACH,CAAC;AAED,SAAS,sBAAsB,CAAC,SAA8C,EAAE,WAAiC;IAC/G,MAAM,KAAK,GAAG,CAAC,EAAU,EAAE,SAAmC,EAAE,EAAE,CAAC,WAAW,CAAC,IAAI,CAAC,EAAE,YAAY,EAAE,0BAA0B,EAAE,EAAE;QAChI,IAAI,EAAE,8BAA8B,SAAS,CAAC,EAAE,EAAE,EAAE,GAAG,EAAE,SAAS,CAAC,EAAE,EAAE,OAAO,EAAE,GAAG,SAAS,CAAC,EAAE,wCAAwC,EAAE,CAAC,CAAC;IAC7I,KAAK,MAAM,SAAS,IAAI,kCAAkC,EAAE,CAAC;QAC3D,MAAM,OAAO,GAAG,SAAS,CAAC,MAAM,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,OAAO,CAAC,KAAK,EAAE,SAAS,CAAC,CAAC,CAAC;QACvE,IAAI,OAAO,CAAC,MAAM,KAAK,CAAC;YAAE,KAAK,CAAC,OAAO,CAAC,MAAM,KAAK,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,WAAW,EAAE,SAAS,CAAC,CAAC;aACtF,IAAI,OAAO,OAAO,CAAC,CAAC,CAAE,CAAC,QAAQ,KAAK,UAAU;YAAE,KAAK,CAAC,kBAAkB,EAAE,SAAS,CAAC,CAAC;aACrF,IAAI,OAAO,CAAC,CAAC,CAAC,KAAK,SAAS,IAAI,OAAO,CAAC,CAAC,CAAE,CAAC,QAAQ,KAAK,SAAS,CAAC,QAAQ;YAAE,KAAK,CAAC,sBAAsB,EAAE,SAAS,CAAC,CAAC;IAC7H,CAAC;IACD,SAAS,CAAC,MAAM,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC,kCAAkC,CAAC,IAAI,CAAC,CAAC,SAAS,EAAE,EAAE,CAAC,OAAO,CAAC,KAAK,EAAE,SAAS,CAAC,CAAC,CAAC;SAC5G,OAAO,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,OAAO,EAAE,KAAK,CAAC,CAAC,CAAC;AAC/C,CAAC;AAED,SAAS,uBAAuB,CAAC,SAAiD,EAAE,WAAiC;IACnH,MAAM,QAAQ,GAAG,oCAAoC,CAAC;IACtD,MAAM,OAAO,GAAG,SAAS,CAAC,MAAM,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,YAAY,KAAK,QAAQ,CAAC,YAAY,CAAC,CAAC;IAC1F,MAAM,KAAK,GAAG,CAAC,EAAU,EAAE,IAAY,EAAE,GAAW,EAAE,EAAE,CAAC,WAAW,CAAC,IAAI,CAAC,EAAE,YAAY,EAAE,2BAA2B,EAAE,EAAE,EAAE,IAAI,EAAE,GAAG,EAAE,OAAO,EAAE,sCAAsC,GAAG,GAAG,EAAE,CAAC,CAAC;IAC/L,IAAI,OAAO,CAAC,MAAM,KAAK,CAAC;QAAE,KAAK,CAAC,OAAO,CAAC,MAAM,KAAK,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,WAAW,EAAE,iCAAiC,QAAQ,CAAC,YAAY,EAAE,EAAE,QAAQ,CAAC,YAAY,CAAC,CAAC;IACjK,SAAS,CAAC,MAAM,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,YAAY,KAAK,QAAQ,CAAC,YAAY,CAAC,CAAC,OAAO,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,OAAO,EAAE,+BAA+B,EAAE,KAAK,CAAC,YAAY,CAAC,CAAC,CAAC;IAClK,IAAI,OAAO,CAAC,MAAM,KAAK,CAAC,IAAI,OAAO,CAAC,CAAC,CAAC,KAAK,QAAQ;QAAE,OAAO;IAC5D,MAAM,MAAM,GAAG,OAAO,CAAC,CAAC,CAAE,CAAC;IAC3B,QAAQ,CAAC,cAAc,CAAC,MAAM,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC,MAAM,CAAC,cAAc,CAAC,IAAI,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,OAAO,KAAK,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,eAAe,EAAE,sCAAsC,EAAE,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC;IACrN,MAAM,CAAC,cAAc,CAAC,MAAM,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC,QAAQ,CAAC,cAAc,CAAC,IAAI,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,OAAO,KAAK,KAAK,CAAC,OAAO,CAAC,IAAI,MAAM,CAAC,cAAc,CAAC,MAAM,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,OAAO,KAAK,KAAK,CAAC,OAAO,CAAC,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,aAAa,EAAE,sCAAsC,EAAE,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC;IAC1S,IAAI,MAAM,CAAC,cAAc,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,KAAK,QAAQ,CAAC,cAAc,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC;QAAE,KAAK,CAAC,sBAAsB,EAAE,sCAAsC,EAAE,QAAQ,CAAC,YAAY,CAAC,CAAC;IACtO,QAAQ,CAAC,cAAc,CAAC,OAAO,CAAC,CAAC,KAAK,EAAE,KAAK,EAAE,EAAE,GAAG,MAAM,KAAK,GAAG,MAAM,CAAC,cAAc,CAAC,KAAK,CAAC,CAAC,CAAC,IAAI,KAAK,EAAE,OAAO,KAAK,KAAK,CAAC,OAAO,IAAI,CAAC,KAAK,CAAC,QAAQ,KAAK,KAAK,CAAC,QAAQ,IAAI,KAAK,CAAC,eAAe,KAAK,KAAK,CAAC,eAAe,IAAI,KAAK,CAAC,gBAAgB,KAAK,KAAK,CAAC,gBAAgB,IAAI,KAAK,CAAC,qBAAqB,KAAK,KAAK,CAAC,qBAAqB,CAAC;QAAE,KAAK,CAAC,4BAA4B,EAAE,wCAAwC,KAAK,EAAE,EAAE,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;IAC5b,IAAI,MAAM,CAAC,OAAO,KAAK,QAAQ,CAAC,OAAO;QAAE,KAAK,CAAC,mBAAmB,EAAE,uCAAuC,EAAE,QAAQ,CAAC,YAAY,CAAC,CAAC;IACpI,IAAI,MAAM,CAAC,0BAA0B,KAAK,QAAQ,CAAC,0BAA0B,IAAI,MAAM,CAAC,QAAQ,KAAK,QAAQ,CAAC,QAAQ,IAAI,MAAM,CAAC,gBAAgB,KAAK,QAAQ,CAAC,gBAAgB,IAAI,MAAM,CAAC,qBAAqB,KAAK,QAAQ,CAAC,qBAAqB,IAAI,MAAM,CAAC,eAAe,KAAK,QAAQ,CAAC,eAAe;QAAE,KAAK,CAAC,mBAAmB,EAAE,+BAA+B,EAAE,QAAQ,CAAC,YAAY,CAAC,CAAC;AAChY,CAAC;AAED,SAAS,kBAAkB,CAAC,UAA0C,EAAE,SAAkD,EAAE,UAAoD,EAAE,WAAiC;IACjN,IAAI,UAAU,GAAsC,EAAE,CAAC;IACvD,IAAI,CAAC;QACH,MAAM,OAAO,GAAG,gCAAgC,CAAC,WAAW,CAAC,UAAU,CAAC,CAAC,CAAC;QAC1E,UAAU,GAAG,OAAO,CAAC,MAAM,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,QAAQ,KAAK,SAAS,CAAC,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,KAAwC,CAAC,CAAC;IACtI,CAAC;IAAC,MAAM,CAAC;QAAC,OAAO,EAAE,CAAC;IAAC,CAAC;IACtB,OAAO,UAAU,CAAC,GAAG,CAAC,CAAC,MAAM,EAAE,EAAE;QAC/B,MAAM,iBAAiB,GAAG,aAAa,CAAC,+BAA+B,EAAE,MAAM,CAAE,CAAC;QAClF,MAAM,kBAAkB,GAAG,aAAa,CAAC,gCAAgC,EAAE,MAAM,CAAE,CAAC;QACpF,MAAM,eAAe,GAAG,SAAS,CAAC,MAAM,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,OAAO,CAAC,KAAK,EAAE,MAAM,CAAC,CAAC,CAAC;QAC5E,MAAM,gBAAgB,GAAG,UAAU,CAAC,MAAM,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,OAAO,CAAC,KAAK,EAAE,MAAM,CAAC,CAAC,CAAC;QAC9E,IAAI,eAAe,CAAC,MAAM,KAAK,CAAC;YAAE,WAAW,CAAC,IAAI,CAAC,EAAE,YAAY,EAAE,eAAe,CAAC,MAAM,KAAK,CAAC,CAAC,CAAC,CAAC,+BAA+B,CAAC,CAAC,CAAC,iCAAiC,EAAE,IAAI,EAAE,oBAAoB,MAAM,CAAC,EAAE,EAAE,EAAE,GAAG,EAAE,MAAM,CAAC,MAAM,CAAC,EAAE,OAAO,EAAE,GAAG,MAAM,CAAC,EAAE,oCAAoC,EAAE,CAAC,CAAC;aAC3R,IAAI,eAAe,CAAC,CAAC,CAAC,KAAK,iBAAiB;YAAE,WAAW,CAAC,IAAI,CAAC,EAAE,YAAY,EAAE,6CAA6C,EAAE,IAAI,EAAE,oBAAoB,MAAM,CAAC,EAAE,EAAE,EAAE,GAAG,EAAE,MAAM,CAAC,MAAM,CAAC,EAAE,OAAO,EAAE,GAAG,MAAM,CAAC,EAAE,oDAAoD,EAAE,CAAC,CAAC;QAC5Q,IAAI,gBAAgB,CAAC,MAAM,KAAK,CAAC;YAAE,WAAW,CAAC,IAAI,CAAC,EAAE,YAAY,EAAE,gBAAgB,CAAC,MAAM,KAAK,CAAC,CAAC,CAAC,CAAC,gCAAgC,CAAC,CAAC,CAAC,kCAAkC,EAAE,IAAI,EAAE,qBAAqB,MAAM,CAAC,EAAE,EAAE,EAAE,GAAG,EAAE,MAAM,CAAC,MAAM,CAAC,EAAE,OAAO,EAAE,GAAG,MAAM,CAAC,EAAE,qCAAqC,EAAE,CAAC,CAAC;aACjS,IAAI,gBAAgB,CAAC,CAAC,CAAC,KAAK,kBAAkB,IAAI,gBAAgB,CAAC,CAAC,CAAE,CAAC,QAAQ,KAAK,kBAAkB,CAAC,QAAQ;YAAE,WAAW,CAAC,IAAI,CAAC,EAAE,YAAY,EAAE,6CAA6C,EAAE,IAAI,EAAE,qBAAqB,MAAM,CAAC,EAAE,EAAE,EAAE,GAAG,EAAE,MAAM,CAAC,MAAM,CAAC,EAAE,OAAO,EAAE,GAAG,MAAM,CAAC,EAAE,+BAA+B,EAAE,CAAC,CAAC;QAC3T,OAAO,EAAE,MAAM,EAAE,QAAQ,EAAE,iBAAiB,EAAE,SAAS,EAAE,kBAAkB,EAAE,CAAC;IAChF,CAAC,CAAC,CAAC;AACL,CAAC;AAED,SAAS,gCAAgC,CAAC,QAAwC;IAChF,OAAQ,iBAAiB,CAAC,QAAQ,CAAC,CAAC,uBAAkE,CAAC;AACzG,CAAC;AAED,SAAS,eAAe,CAAC,EAAsC;IAC7D,MAAM,WAAW,GAAG,EAAE,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC,EAAE,YAAY,EAAE,KAAK,CAAC,YAAY;QACvE,QAAQ,EAAE,CAAC,GAAG,oCAAoC,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;IACvE,MAAM,OAAO,GAAG,EAAE,WAAW,EAAE,EAAE,CAAC,MAAM,GAAG,CAAC,IAAI,WAAW,CAAC,KAAK,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,QAAQ,CAAC,MAAM,KAAK,CAAC,CAAC;QACvG,eAAe,EAAE,EAAE,CAAC,MAAM,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,sBAAsB,CAAC,CAAC,CAAC,CAAC,EAAE,EAAE,WAAW,EAAE,CAAC;IAClF,OAAO,UAAU,CAAC,EAAE,GAAG,OAAO,EAAE,UAAU,EAAE,aAAa,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC;AACxE,CAAC;AAED,SAAS,aAAa,CAAC,UAA0C;IAC/D,OAAO,EAAE,YAAY,EAAE,UAAU,CAAC,YAAY,EAAE,MAAM,EAAE,UAAU,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,OAAO,CAAC;QACrG,OAAO,EAAE,UAAU,CAAC,OAAO,CAAC,YAAY,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC,EAAE,EAAE,EAAE,KAAK,CAAC,QAAQ,EAAE,OAAO,EAAE,KAAK,CAAC,OAAO,EAAE,SAAS,EAAE,KAAK,CAAC,SAAS,EAAE,CAAC,CAAC;QACrI,aAAa,EAAE,UAAU,CAAC,iBAAiB,CAAC,oBAAoB,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC,EAAE,EAAE,EAAE,KAAK,CAAC,cAAc,EAAE,OAAO,EAAE,KAAK,CAAC,OAAO,EAAE,CAAC,CAAC,EAAE,CAAC;AAC9I,CAAC;AACD,SAAS,gBAAgB,CAAC,EAA2B;IACnD,MAAM,OAAO,GAAG,iBAAiB,CAAC,WAAW,CAAC,EAAE,CAAC,oBAAoB,CAAC,CAAC,CAAC;IACxE,OAAO,EAAE,YAAY,EAAE,EAAE,CAAC,YAAY,EAAE,SAAS,EAAE,OAAO,CAAC,SAAS,EAAE,eAAe,EAAE,OAAO,CAAC,uBAAuB;QACpH,2BAA2B,EAAE,wBAAwB,CAAC,EAAE,CAAC,2BAA2B,CAAC,EAAE,uBAAuB,EAAE,8BAA8B,CAAC,EAAE,CAAC,yBAAyB,CAAC;QAC5K,wBAAwB,EAAE;YACxB,cAAc,EAAE,iBAAiB,CAAC,cAAc;YAChD,aAAa,EAAE,EAAE,CAAC,uBAAuB;YACzC,SAAS,EAAE,yCAAyC,CAAC,GAAG,CAAC,CAAC,EAAE,QAAQ,EAAE,SAAS,EAAE,GAAG,KAAK,EAAE,EAAE,EAAE,CAAC,KAAK,CAAC;YACtG,UAAU,EAAE,0CAA0C,CAAC,GAAG,CAAC,CAAC,EAAE,QAAQ,EAAE,SAAS,EAAE,GAAG,KAAK,EAAE,EAAE,EAAE,CAAC,KAAK,CAAC;YACxG,SAAS,EAAE,EAAE,CAAC,0BAA0B,CAAC,GAAG,CAAC,CAAC,EAAE,QAAQ,EAAE,SAAS,EAAE,GAAG,KAAK,EAAE,EAAE,EAAE,CAAC,KAAK,CAAC;SAC3F;QACD,gBAAgB,EAAE,qBAAqB,CAAC,EAAE,CAAC,gBAAgB,CAAC,EAAE,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,GAAG,CAAC,WAAW,CAAC;QAC9F,cAAc,EAAE,EAAE,CAAC,cAAc,CAAC,GAAG,CAAC,qBAAqB,CAAC,EAAE,QAAQ,EAAE,oCAAoC,CAAC,EAAE,CAAC,KAAK,CAAC,EAAE,CAAC;AAC7H,CAAC;AACD,SAAS,wBAAwB,CAAC,KAAkC,IAAI,OAAO,EAAE,YAAY,EAAE,KAAK,CAAC,YAAY,EAAE,OAAO,EAAE,KAAK,CAAC,OAAO,EAAE,0BAA0B,EAAE,KAAK,CAAC,0BAA0B,EAAE,gBAAgB,EAAE,KAAK,CAAC,gBAAgB,EAAE,qBAAqB,EAAE,KAAK,CAAC,qBAAqB,EAAE,MAAM,EAAE,KAAK,CAAC,cAAc,CAAC,GAAG,CAAC,CAAC,EAAE,QAAQ,EAAE,SAAS,EAAE,GAAG,KAAK,EAAE,EAAE,EAAE,CAAC,KAAK,CAAC,EAAE,eAAe,EAAE,KAAK,CAAC,eAAe,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,IAAI,CAAC,IAAI,EAAE,OAAO,EAAE,iBAAiB,CAAC,IAAI,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;AACjf,SAAS,iBAAiB,CAAC,KAAgC,IAAI,OAAO,EAAE,EAAE,EAAE,KAAK,CAAC,EAAE,EAAE,OAAO,EAAE,KAAK,CAAC,OAAO,EAAE,UAAU,EAAE,KAAK,CAAC,UAAU,EAAE,eAAe,EAAE,KAAK,CAAC,eAAe,EAAE,MAAM,EAAE,KAAK,CAAC,MAAM,IAAI,IAAI,EAAE,oBAAoB,EAAE,KAAK,CAAC,oBAAoB,IAAI,IAAI,EAAE,gBAAgB,EAAE,KAAK,CAAC,gBAAgB,IAAI,IAAI,EAAE,CAAC,CAAC,CAAC;AACjU,SAAS,WAAW,CAAC,KAA6B,IAAI,OAAO,EAAE,EAAE,EAAE,KAAK,CAAC,EAAE,EAAE,OAAO,EAAE,KAAK,CAAC,OAAO,EAAE,gBAAgB,EAAE,KAAK,CAAC,gBAAgB,EAAE,qBAAqB,EAAE,KAAK,CAAC,qBAAqB,EAAE,CAAC,CAAC,CAAC;AACtM,SAAS,qBAAqB,CAAC,KAAyB,IAAI,OAAO,EAAE,MAAM,EAAE,KAAK,CAAC,MAAM,EAAE,QAAQ,EAAE,sBAAsB,CAAC,KAAK,CAAC,QAAQ,CAAC,EAAE,SAAS,EAAE,uBAAuB,CAAC,KAAK,CAAC,SAAS,CAAC,EAAE,CAAC,CAAC,CAAC;AACrM,SAAS,sBAAsB,CAAC,KAAmC,IAAI,OAAO,EAAE,EAAE,EAAE,KAAK,CAAC,EAAE,EAAE,OAAO,EAAE,KAAK,CAAC,OAAO,EAAE,gBAAgB,EAAE,KAAK,CAAC,gBAAgB,EAAE,qBAAqB,EAAE,KAAK,CAAC,qBAAqB,EAAE,cAAc,EAAE,KAAK,CAAC,cAAc,EAAE,aAAa,EAAE,KAAK,CAAC,aAAa,EAAE,eAAe,EAAE,KAAK,CAAC,eAAe,EAAE,CAAC,CAAC,CAAC;AACzU,SAAS,uBAAuB,CAAC,KAAoC,IAAI,OAAO,EAAE,EAAE,EAAE,KAAK,CAAC,EAAE,EAAE,OAAO,EAAE,KAAK,CAAC,OAAO,EAAE,gBAAgB,EAAE,KAAK,CAAC,gBAAgB,EAAE,qBAAqB,EAAE,KAAK,CAAC,qBAAqB,EAAE,cAAc,EAAE,KAAK,CAAC,cAAc,EAAE,eAAe,EAAE,KAAK,CAAC,eAAe,EAAE,CAAC,CAAC,CAAC;AACvS,SAAS,WAAW,CAAC,UAA0C,IAAI,MAAM,EAAE,0BAA0B,EAAE,EAAE,EAAE,mBAAmB,EAAE,EAAE,EAAE,sBAAsB,EAAE,EAAE,EAAE,GAAG,QAAQ,EAAE,GAAG,UAAU,CAAC,CAAC,OAAO,QAAQ,CAAC,CAAC,CAAC;AAC9M,SAAS,aAAa,CAA4C,OAAqB,EAAE,GAAoC,IAAmB,MAAM,OAAO,GAAG,OAAO,CAAC,MAAM,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,OAAO,CAAC,KAAK,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC,OAAO,OAAO,CAAC,MAAM,KAAK,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC;AACvQ,SAAS,OAAO,CAAC,IAAqC,EAAE,KAAsC,IAAa,OAAO,IAAI,CAAC,EAAE,KAAK,KAAK,CAAC,EAAE,IAAI,IAAI,CAAC,OAAO,KAAK,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC;AAC3K,SAAS,MAAM,CAAC,GAAoC,IAAY,OAAO,GAAG,GAAG,CAAC,EAAE,IAAI,GAAG,CAAC,OAAO,EAAE,CAAC,CAAC,CAAC;AACpG,SAAS,UAAU,CAAC,GAAoC,IAA+B,MAAM,OAAO,GAAG,oBAAoB,CAAC,MAAM,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,OAAO,CAAC,KAAK,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC,IAAI,OAAO,CAAC,MAAM,KAAK,CAAC;IAAE,MAAM,IAAI,SAAS,CAAC,wBAAwB,MAAM,CAAC,GAAG,CAAC,oBAAoB,CAAC,CAAC,CAAC,OAAO,OAAO,CAAC,CAAC,CAAE,CAAC,CAAC,CAAC;AACjS,SAAS,uBAAuB;IAC9B,MAAM,QAAQ,GAAG,8BAA8B,CAAC,QAAQ,CAAC;IACzD,MAAM,IAAI,GAA8D;QACtE,GAAG,QAAQ,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,KAAK,EAAE,EAAE,CAAC,CAAC,WAAW,KAAK,YAAY,EAAE,KAAK,CAAC,SAAS,CAAU,CAAC;QAClG,GAAG,QAAQ,CAAC,OAAO,CAAC,YAAY,CAAC,GAAG,CAAC,CAAC,MAAM,EAAE,KAAK,EAAE,EAAE,CAAC,CAAC,yBAAyB,KAAK,UAAU,EAAE,MAAM,CAAC,OAAO,CAAU,CAAC;QAC5H,GAAG,QAAQ,CAAC,iBAAiB,CAAC,oBAAoB,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,KAAK,EAAE,EAAE,CAAC,CAAC,2CAA2C,KAAK,YAAY,EAAE,KAAK,CAAC,SAAS,CAAU,CAAC;QAClK,GAAG,QAAQ,CAAC,SAAS,CAAC,gBAAgB,CAAC,GAAG,CAAC,CAAC,UAAU,EAAE,KAAK,EAAE,EAAE,CAAC,CAAC,+BAA+B,KAAK,aAAa,EAAE,UAAU,CAAC,UAAU,CAAU,CAAC;QACtJ,GAAG,QAAQ,CAAC,SAAS,CAAC,qBAAqB,CAAC,GAAG,CAAC,CAAC,UAAU,EAAE,KAAK,EAAE,EAAE,CAAC,CAAC,oCAAoC,KAAK,aAAa,EAAE,UAAU,CAAC,UAAU,CAAU,CAAC;QAChK,CAAC,+BAA+B,EAAE,EAAE,EAAE,EAAE,+CAA+C,EAAE,OAAO,EAAE,CAAC,EAAE,CAAC;QACtG,CAAC,gCAAgC,EAAE,QAAQ,CAAC,iBAAiB,CAAC,IAAI,CAAC,MAAM,CAAC;QAC1E,CAAC,4BAA4B,EAAE,QAAQ,CAAC,SAAS,CAAC,OAAO,CAAC,IAAI,KAAK,UAAU,CAAC,CAAC,CAAC,QAAQ,CAAC,SAAS,CAAC,OAAO,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,EAAE,EAAE,6BAA6B,EAAE,OAAO,EAAE,CAAC,EAAE,CAAC;QACvK,CAAC,6BAA6B,EAAE,QAAQ,CAAC,SAAS,CAAC,QAAQ,CAAC,IAAI,KAAK,uBAAuB,CAAC,CAAC,CAAC,QAAQ,CAAC,SAAS,CAAC,QAAQ,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,EAAE,EAAE,8BAA8B,EAAE,OAAO,EAAE,CAAC,EAAE,CAAC;QACxL,CAAC,kBAAkB,EAAE,QAAQ,CAAC,eAAe,CAAC,EAAE,CAAC,oCAAoC,EAAE,QAAQ,CAAC,SAAS,CAAC,YAAY,CAAC,UAAU,CAAC;QAClI,CAAC,6BAA6B,EAAE,QAAQ,CAAC,SAAS,CAAC,QAAQ,CAAC,OAAO,CAAC,EAAE,CAAC,wCAAwC,EAAE,QAAQ,CAAC,SAAS,CAAC,QAAQ,CAAC,kBAAkB,CAAC;KACjK,CAAC;IACF,QAAQ,CAAC,aAAa,CAAC,OAAO,CAAC,CAAC,QAAQ,EAAE,KAAK,EAAE,EAAE,GAAG,MAAM,KAAK,GAAG,0BAA0B,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,OAAO,CAAC,KAAK,EAAE,QAAQ,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,IAAI,KAAK,EAAE,UAAU;QAAE,IAAI,CAAC,IAAI,CAAC,CAAC,kBAAkB,KAAK,aAAa,EAAE,KAAK,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;IACtP,OAAO,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,EAAE,GAAG,CAAC,EAAE,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,OAAO,EAAE,UAAU,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC,CAAC;AACzE,CAAC;AACD,SAAS,mBAAmB,CAAC,IAAa,EAAE,KAAc,EAAE,IAAI,GAAG,EAAE;IACnE,IAAI,MAAM,CAAC,EAAE,CAAC,IAAI,EAAE,KAAK,CAAC;QAAE,OAAO,IAAI,CAAC;IACxC,IAAI,KAAK,CAAC,OAAO,CAAC,IAAI,CAAC,IAAI,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,EAAE,CAAC;QAAC,KAAK,IAAI,KAAK,GAAG,CAAC,EAAE,KAAK,GAAG,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,MAAM,EAAE,KAAK,CAAC,MAAM,CAAC,EAAE,KAAK,IAAI,CAAC,EAAE,CAAC;YAAC,MAAM,QAAQ,GAAG,mBAAmB,CAAC,IAAI,CAAC,KAAK,CAAC,EAAE,KAAK,CAAC,KAAK,CAAC,EAAE,GAAG,IAAI,IAAI,KAAK,EAAE,CAAC,CAAC;YAAC,IAAI,QAAQ;gBAAE,OAAO,QAAQ,CAAC;QAAC,CAAC;QAAC,OAAO,IAAI,CAAC;IAAC,CAAC;IACtQ,IAAI,IAAI,KAAK,IAAI,IAAI,KAAK,KAAK,IAAI,IAAI,OAAO,IAAI,KAAK,QAAQ,IAAI,OAAO,KAAK,KAAK,QAAQ,EAAE,CAAC;QAAC,KAAK,MAAM,GAAG,IAAI,CAAC,GAAG,IAAI,GAAG,CAAC,CAAC,GAAG,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,GAAG,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,KAAK,aAAa,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC;YAAC,MAAM,QAAQ,GAAG,mBAAmB,CAAE,IAAgC,CAAC,GAAG,CAAC,EAAG,KAAiC,CAAC,GAAG,CAAC,EAAE,GAAG,IAAI,IAAI,GAAG,EAAE,CAAC,CAAC;YAAC,IAAI,QAAQ;gBAAE,OAAO,QAAQ,CAAC;QAAC,CAAC;QAAC,OAAO,IAAI,CAAC;IAAC,CAAC;IAC3Z,OAAO,IAAI,IAAI,GAAG,CAAC;AACrB,CAAC;AACD,SAAS,aAAa,CAAC,OAAkC,IAAgB,MAAM,MAAM,GAAG,OAAO,KAAK,IAAI,IAAI,OAAO,OAAO,KAAK,QAAQ,CAAC,CAAC,CAAC,cAAc,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,IAAI,CAAC,MAAM,EAAE,CAAC;IAAC,MAAM,KAAK,GAAG,IAAI,SAAS,CAAC,uEAAuE,CAAC,CAAC;IAAC,MAAM,CAAC,MAAM,CAAC,KAAK,EAAE,EAAE,IAAI,EAAE,6BAA6B,EAAE,CAAC,CAAC;IAAC,MAAM,KAAK,CAAC;AAAC,CAAC,CAAC,OAAO,MAAM,CAAC,CAAC,CAAC;AACtY,SAAS,MAAM,CAAC,WAA0C,IAA8B,MAAM,OAAO,GAAG,gBAAgB,CAAC,WAAW,CAAC,CAAC,CAAC,OAAO,EAAE,EAAE,EAAE,KAAK,EAAE,WAAW,EAAE,OAAO,EAAE,eAAe,EAAE,aAAa,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC,CAAC;AAC7N,SAAS,gBAAgB,CAAC,WAA0C,IAAI,OAAO,CAAC,GAAG,WAAW,CAAC,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE,KAAK,EAAE,EAAE,CAAC,GAAG,IAAI,CAAC,IAAI,KAAK,IAAI,CAAC,YAAY,KAAK,IAAI,CAAC,GAAG,IAAI,EAAE,EAAE,CAAC,aAAa,CAAC,GAAG,KAAK,CAAC,IAAI,KAAK,KAAK,CAAC,YAAY,KAAK,KAAK,CAAC,GAAG,IAAI,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC"}

package/dist/src/version.d.ts

@@ -1,2 +1,2 @@
 export declare const PACKAGE_NAME = "codex-workflow-v2";
-export declare const PACKAGE_VERSION = "2.0.0-beta.1";
+export declare const PACKAGE_VERSION = "2.0.0-beta.11";

package/dist/src/version.js

@@ -1,3 +1,3 @@
 export const PACKAGE_NAME = 'codex-workflow-v2';
-export const PACKAGE_VERSION = '2.0.0-beta.1';
+export const PACKAGE_VERSION = '2.0.0-beta.11';
 //# sourceMappingURL=version.js.map

package/dist/src/version.js.map

@@ -1 +1 @@
-{"version":3,"file":"version.js","sourceRoot":"","sources":["../../src/version.ts"],"names":[],"mappings":"AAAA,MAAM,CAAC,MAAM,YAAY,GAAG,mBAAmB,CAAC;AAChD,MAAM,CAAC,MAAM,eAAe,GAAG,cAAc,CAAC"}
+{"version":3,"file":"version.js","sourceRoot":"","sources":["../../src/version.ts"],"names":[],"mappings":"AAAA,MAAM,CAAC,MAAM,YAAY,GAAG,mBAAmB,CAAC;AAChD,MAAM,CAAC,MAAM,eAAe,GAAG,eAAe,CAAC"}

package/dist/src/workflow.d.ts

@@ -1,12 +1,13 @@
-import { type AdoptionPostureEvent, type ContextEnvelope, type CorrectivePlanAuditInput, type DelegationGrant, type DelegationGrantGate, type DelegationPolicyInput, type DiscoveryState, type MilestonePlanInput, type MilestoneState, type KnowledgeSelection, type GraphBinding, type GraphKind, type GraphMode, type GraphRefreshEvidence, type GraphRefreshRequest, type PlanRiskAuditEvent, type ProjectKnowledgeMap, type ReviewInput, type TaskPlanInput, type TaskContextRefreshResult, type TaskState, type UpdatePreflightResult, type WriterLease, type WorkflowRole, type WorkspaceOwner } from './contracts.js';
+import { type AdoptionPostureEvent, type ContextEnvelope, type CorrectivePlanAuditInput, type DependencyProvenanceRecoveryPreflight, type DelegationGrant, type DelegationGrantGate, type DelegationPolicyInput, type DiscoveryState, type MilestonePlanInput, type MilestoneProgressProjection, type MilestoneState, type KnowledgeSelection, type GraphBinding, type GraphKind, type GraphMode, type GraphRefreshEvidence, type GraphRefreshRequest, type PlanRiskAuditEvent, type PublicWriterLease, type PublicWriterLeaseDiagnostic, type PublicWriterLeaseRepairResult, type ProjectKnowledgeMap, type ReviewInput, type TaskPlanInput, type TaskContextRefreshResult, type TaskState, type UpdatePreflightResult, type WriterCredentialResult, type WriterCredentialStatus, type WorkflowObservation, type WorkflowRole, type WorkspaceOwner } from './contracts.js';
 import { appendTaskClaim, appendTaskHandback, readTaskC1Posture } from './alpha6/handoff.js';
 import { type AdoptionPreparation } from './alpha6/adoption.js';
 import { type RecordPlanRiskAuditInput } from './alpha6/plan-risk.js';
 import { type ActiveMilestoneAutonomy, type MilestoneAutonomyPreparation } from './alpha7/autonomy.js';
-import { type RepositoryIdentity } from './repository.js';
-import { type ReviewerCommandRunner } from './reviewer.js';
-import { WriterLockManager } from './state/lock.js';
+import { type ExternalStrictStepReviewInput, type ExternalStrictTaskReviewInput, type ReviewerCommandRunner } from './reviewer.js';
 import { FileStateStore } from './state/store.js';
+import { type CorrectiveYieldExecutionResult } from './state/corrective-yield-executor.js';
+import { type CorrectiveReplanHumanGate, type CorrectiveReplanHumanGateResult, type CorrectiveReplanPublicCandidate, type CorrectiveReplanPublicCredential } from './state/corrective-replan-public.js';
+import type { CorrectiveReplanExecutionResult } from './state/corrective-replan-executor.js';
 export interface DiscoveryInput {
     goal: string;
     outcome?: string;
@@ -24,10 +25,15 @@ export interface DiscoveryPatch extends Omit<DiscoveryInput, 'goal'> {
     goal?: string;
     resolveUnknowns?: string[];
 }
-export interface WorkflowContext {
-    identity: RepositoryIdentity;
-    store: FileStateStore;
-    locks: WriterLockManager;
+export interface WorkflowStatusResult {
+    projectId: string;
+    discoveries: DiscoveryState[];
+    tasks: TaskState[];
+    milestones: MilestoneState[];
+    milestoneInitialAssembly: MilestoneInitialAssemblyNavigation[];
+    delegations: DelegationGrant[];
+    adoption: AdoptionPreparation | null;
+    observation: WorkflowObservation;
 }
 export interface MilestoneScopeChangePreparation {
     milestoneId: string;
@@ -55,8 +61,8 @@ export interface Alpha6StrictReviewRescuePreflight {
     projectId: string;
     repositoryRoot: string;
     clean: boolean;
-    activeLeases: WriterLease[];
-    staleLeases: WriterLease[];
+    activeLeases: PublicWriterLease[];
+    staleLeases: PublicWriterLease[];
     candidate: {
         taskId: string;
         taskRevision: number;
@@ -74,11 +80,33 @@ export interface Alpha6StrictReviewRescuePreflight {
         expectedRevision?: number;
     }>;
 }
+interface MilestoneInitialAssemblyOption {
+    action: 'linked-task-assembly' | 'milestone plan-set';
+    commands: string[];
+    description: string;
+}
+interface MilestoneInitialAssemblyNavigation {
+    milestoneId: string;
+    revision: number;
+    linkedTaskIds: string[];
+    executionAvailable: false;
+    options: MilestoneInitialAssemblyOption[];
+}
 export declare class WorkflowService {
+    #private;
     readonly store: FileStateStore;
     private readonly now;
     constructor(store?: FileStateStore, now?: () => Date);
-    context(repository: string): WorkflowContext;
+    inspectWriterLease(repository: string, entityId: string): PublicWriterLeaseDiagnostic | null;
+    repairStaleWriterLease(repository: string, entityId: string): PublicWriterLeaseRepairResult;
+    prepareCorrectiveReplan(repository: string, taskId: string, candidate: CorrectiveReplanPublicCandidate): CorrectiveReplanHumanGateResult;
+    confirmCorrectiveReplan(repository: string, taskId: string, candidate: CorrectiveReplanPublicCandidate, gate: CorrectiveReplanHumanGate, confirmationCode: string): CorrectiveReplanPublicCredential;
+    executeCorrectiveReplan(repository: string, taskId: string, candidate: CorrectiveReplanPublicCandidate, credential: CorrectiveReplanPublicCredential): CorrectiveReplanExecutionResult;
+    recoverCorrectiveReplan(repository: string, taskId: string, transactionId: string): CorrectiveReplanExecutionResult;
+    executeCorrectiveYield(repository: string, taskId: string, expectedTaskRevision: number, actor: string, writerToken: string, reason: string): CorrectiveYieldExecutionResult;
+    recoverCorrectiveYield(repository: string, taskId: string, transactionId: string): CorrectiveYieldExecutionResult;
+    private correctiveReplanController;
+    private observationSnapshot;
     prepareDelegation(repository: string, input: DelegationPolicyInput): DelegationGrantGate;
     grantDelegation(repository: string, input: DelegationPolicyInput, confirmationCode: string): DelegationGrant;
     revokeDelegation(repository: string, grantId: string, expectedRevision: number, actor: string, reason: string): DelegationGrant;
@@ -120,7 +148,7 @@ export declare class WorkflowService {
         posture: ReturnType<typeof readTaskC1Posture>;
         claimTokenAvailable: false;
     };
-    handoffTask(repository: string, taskId: string, expectedRevision: number, actor: string, targetActor: string, reason: string, writerToken?: string | null, grantId?: string | null, expiresAt?: string | null): {
+    handoffTask(repository: string, taskId: string, expectedRevision: number, actor: string, targetActor: string, reason: string, writerToken?: string | null, grantId?: string | null, expiresAt?: string | null, replacePending?: boolean): {
         task: TaskState;
         event: import("./contracts.js").TaskHandoffEvent;
         bundle: import("./contracts.js").TaskHandoffBundle;
@@ -128,7 +156,15 @@ export declare class WorkflowService {
     claimTask(repository: string, taskId: string, expectedRevision: number, actor: string, claimToken: string, writerToken?: string | null): {
         task: TaskState;
         event: ReturnType<typeof appendTaskClaim>;
-        lease: WriterLease;
+        lease: PublicWriterLease;
+        writerCredential: WriterCredentialResult;
+    };
+    replaceClaimedWriterCredential(repository: string, taskId: string, expectedRevision: number, actor: string): {
+        task: TaskState;
+        lease: PublicWriterLease;
+        writerCredential: Extract<WriterCredentialResult, {
+            disposition: 'issued';
+        }>;
     };
     handbackTask(repository: string, taskId: string, expectedRevision: number, actor: string, reason: string, writerToken?: string | null, limitations?: readonly string[], recommendedNext?: string): {
         task: TaskState;
@@ -137,30 +173,44 @@ export declare class WorkflowService {
     startTask(repository: string, taskId: string, expectedRevision: number, workspaceOwner: WorkspaceOwner): TaskState;
     runStep(repository: string, taskId: string, stepId: string, expectedRevision: number, actor: string, writerToken: string | null): {
         task: TaskState;
-        lease: WriterLease;
+        lease: PublicWriterLease;
+        writerCredential: WriterCredentialStatus;
         envelope: ContextEnvelope;
     };
     taskContext(repository: string, taskId: string, role: Exclude<WorkflowRole, 'scope-lead' | 'worker'>): ContextEnvelope;
     completeStep(repository: string, taskId: string, stepId: string, expectedRevision: number, writerToken: string, notes: string[], actor?: string): TaskState;
     reviewStep(repository: string, taskId: string, stepId: string, expectedRevision: number, runner?: ReviewerCommandRunner, actor?: string, writerToken?: string | null): TaskState;
+    prepareExternalStepReview(repository: string, taskId: string, stepId: string, expectedRevision: number): import("./reviewer.js").ExternalStrictStepReviewPacket;
+    recordExternalStepReview(repository: string, taskId: string, stepId: string, expectedRevision: number, input: ExternalStrictStepReviewInput, actor: string, writerToken?: string | null): {
+        mode: "external-sealed";
+        packetHash: string;
+        repositorySealHash: string;
+        reviewerThreadId: string;
+        task: TaskState;
+    };
+    prepareExternalTaskReview(repository: string, taskId: string, expectedRevision: number): import("./reviewer.js").ExternalStrictTaskReviewPacket;
+    recordExternalTaskReview(repository: string, taskId: string, expectedRevision: number, input: ExternalStrictTaskReviewInput, actor: string, writerToken?: string | null): {
+        mode: "external-sealed";
+        packetHash: string;
+        repositorySealHash: string;
+        reviewerThreadId: string;
+        task: TaskState;
+    };
     submitTask(repository: string, taskId: string, expectedRevision: number, writerToken: string, actor?: string): TaskState;
     recordReview(repository: string, taskId: string, expectedRevision: number, review: ReviewInput, actor?: string, writerToken?: string | null): TaskState;
     recoverStepCorrectiveDecision(repository: string, taskId: string, stepId: string, expectedRevision: number, actor: string, writerToken: string | null): import("./contracts.js").CorrectiveDecisionRecoveryEvent;
     recoverRemediationMode(repository: string, taskId: string, stepId: string, expectedRevision: number, actor: string, writerToken: string | null): import("./contracts.js").RemediationModeRecoveryEvent;
+    recoverPlanIntegrity(repository: string, taskId: string, stepId: string, expectedRevision: number, actor: string, writerToken: string | null): {
+        assessment: import("./alpha6/plan-integrity.js").PlanIntegrityRecoveryAssessment;
+        event: import("./contracts.js").CorrectiveDecisionEvent;
+    };
     recordStepCorrectiveDecision(repository: string, taskId: string, stepId: string, expectedRevision: number, correctiveAudit: CorrectivePlanAuditInput, actor?: string, writerToken?: string | null): import("./contracts.js").CorrectiveDecisionEvent;
     setTaskResult(repository: string, taskId: string, expectedRevision: number, summary: string, limitations: string[]): TaskState;
     acceptTask(repository: string, taskId: string, expectedRevision: number, actor: string, delegationGrantId?: string | null): TaskState;
     syncTaskBase(repository: string, taskId: string, expectedRevision: number): TaskState;
     mergeTask(repository: string, taskId: string, expectedRevision: number, writerToken: string, actor?: string): TaskState;
     confirmExternalMerge(repository: string, taskId: string, expectedRevision: number, writerToken: string, actor?: string): TaskState;
-    status(repository: string): {
-        projectId: string;
-        discoveries: DiscoveryState[];
-        tasks: TaskState[];
-        milestones: MilestoneState[];
-        delegations: DelegationGrant[];
-        adoption: AdoptionPreparation;
-    };
+    status(repository: string): WorkflowStatusResult;
     recoverMilestoneTransactions(repository: string): {
         projectId: string;
         recoveredMilestoneIds: string[];
@@ -168,8 +218,11 @@ export declare class WorkflowService {
     prepareAdoption(repository: string): AdoptionPreparation;
     applyAdoption(repository: string, actor: string, confirmationCode: string): AdoptionPostureEvent;
     updatePreflight(repository: string): UpdatePreflightResult & {
-        adoption: AdoptionPreparation;
+        adoption: AdoptionPreparation | null;
     };
+    dependencyProvenanceRecoveryPreflight(repository: string, taskId: string): DependencyProvenanceRecoveryPreflight;
+    recoverDependencyProvenance(repository: string, taskId: string, expectedRevision: number, actor: string, reason: string): TaskState;
+    milestoneProgress(repository: string, milestoneId: string): MilestoneProgressProjection;
     alpha6StrictReviewRescuePreflight(repository: string): Alpha6StrictReviewRescuePreflight;
     scanKnowledgeMap(repository: string): ProjectKnowledgeMap;
     showKnowledgeMap(repository: string): ProjectKnowledgeMap;
@@ -184,15 +237,18 @@ export declare class WorkflowService {
     };
     bindGraph(repository: string, expectedRevision: number | null, request: GraphRefreshRequest, evidence: GraphRefreshEvidence): GraphBinding;
     recordGraphFallback(repository: string, graphKind: GraphKind, mode: GraphMode, expectedRevision: number | null, reason: string): GraphBinding;
-    next(repository: string): Record<string, unknown>;
+    next(repository: string, taskId?: string | null): Record<string, unknown>;
     private delegatedAuthorization;
     private assertHandoffGrant;
+    private currentMilestoneDependencyBinding;
     private nextForTaskWithDelegation;
+    private taskPlanContract;
     private assertTaskContextChangeAllowed;
     private taskHasTerminalCorrectiveDecision;
     private taskTerminalCorrectivePosture;
     private delegatedApprovalOptions;
     private delegatedContextRefreshOptions;
+    private findDelegatedContextRefreshOwner;
     private assertPlanBoundedSupportingSourceGrant;
     private assertDelegationScopeExists;
     private assertExecutionAuthorizationFresh;
@@ -200,7 +256,14 @@ export declare class WorkflowService {
     private readMilestoneCurrent;
     private readMilestoneScopeChangeCurrent;
     private listMilestonesCurrent;
+    private listMilestonesObserved;
+    private taskGitNavigationOverride;
+    private inspectDependencyProvenanceCandidate;
+    private withTaskNavigationContracts;
+    private writerCredentialRecoveryActor;
+    private describeMilestoneInitialAssembly;
     private prepareMilestoneScopeChangeCandidate;
+    private publicWriterLeaseDiagnostic;
     private proveWriterLeaseTokenForHandoff;
     private proveOptionalWriterLeaseToken;
     private assertTaskMutationAllowedByHandoff;
@@ -217,3 +280,4 @@ export declare class WorkflowService {
     private validateKnowledgeTargets;
     private assertReviewFresh;
 }
+export {};