codex-workflow-v2 2.0.0-alpha.7.2.1 → 2.0.0-beta.10

package/dist/src/lifecycle/catalog.js

@@ -0,0 +1,208 @@
+import { catalogDefinitionManifestHash, hashCanonical, runtimeCatalogHash, runtimeSemanticFingerprint, transitionDefinitionManifestHash, } from './fingerprint.js';
+import { transitionSemanticRegistry } from './semantic-registry.js';
+import { TRANSITION_DEFINITION_FORMAT_VERSION, } from './types.js';
+export class GuardedTransitionCatalog {
+    #definitions;
+    catalogHash;
+    catalogDefinitionManifestHash;
+    constructor(definitions) {
+        const indexed = new Map();
+        for (const definition of definitions) {
+            const id = definition.metadata.transitionId;
+            if (indexed.has(id))
+                throw new TypeError(`validation.semantic-id.duplicate ${id}`);
+            const semantic = validateTransitionDefinitionSemantics(definition);
+            if (!semantic.valid)
+                throw new TypeError(`${semantic.issues[0].ruleId} ${id}: ${semantic.issues[0].message}`);
+            if (definition.guards.length !== definition.metadata.guards.length
+                || definition.guards.some((guard, index) => guard.metadata.guardId !== definition.metadata.guards[index]?.guardId)) {
+                throw new TypeError(`validation.guard.evaluator-mismatch ${id}`);
+            }
+            indexed.set(id, definition);
+        }
+        this.#definitions = indexed;
+        this.catalogHash = runtimeCatalogHash(this.serialize());
+        this.catalogDefinitionManifestHash = catalogDefinitionManifestHash(this.serialize());
+    }
+    has(id) { return this.#definitions.has(id); }
+    get(id) {
+        const definition = this.#definitions.get(id);
+        if (!definition)
+            throw new TypeError(`Unknown transition definition: ${id}`);
+        return definition;
+    }
+    serialize() {
+        return structuredClone([...this.#definitions.values()].map((definition) => ({
+            ...definition.metadata,
+            runtimeSemanticFingerprint: definition.runtimeSemanticFingerprint,
+            semanticFingerprint: definition.semanticFingerprint,
+            definitionManifestHash: definition.definitionManifestHash,
+        })).sort((left, right) => left.transitionId.localeCompare(right.transitionId)));
+    }
+}
+export function validateTransitionDefinitionSemantics(definition) {
+    const issues = [];
+    let unpacked;
+    try {
+        unpacked = unpack(definition);
+    }
+    catch (error) {
+        issue(issues, 'validation.reference.unresolved', '/', message(error));
+        return report(issues);
+    }
+    const metadata = unpacked.metadata;
+    if (metadata.definitionFormatVersion !== TRANSITION_DEFINITION_FORMAT_VERSION)
+        issue(issues, 'validation.definition.format-invalid', '/definitionFormatVersion', 'Definition format must be 4.');
+    const namespace = metadata.entity === 'step' ? 'task' : metadata.entity === 'project-memory' ? 'project' : metadata.entity;
+    if (!metadata.transitionId.startsWith(`${namespace}.`))
+        issue(issues, 'validation.namespace.transition-invalid', '/transitionId', 'Transition namespace does not match entity.', metadata.transitionId);
+    if (!metadata.guardNamespace.startsWith(`${namespace}.`))
+        issue(issues, 'validation.guard.namespace-invalid', '/guardNamespace', 'Guard namespace does not match entity.');
+    let runtime = '';
+    try {
+        runtime = runtimeSemanticFingerprint(metadata);
+    }
+    catch (error) {
+        issue(issues, 'validation.reference.unresolved', referencePath(error, metadata), message(error), referenceKey(error));
+    }
+    if (unpacked.runtime && runtime && unpacked.runtime !== runtime)
+        issue(issues, 'validation.fingerprint.runtime-mismatch', '/runtimeSemanticFingerprint', 'Runtime fingerprint is stale.');
+    if (unpacked.semantic && unpacked.semantic !== unpacked.runtime)
+        issue(issues, 'validation.fingerprint.alias-mismatch', '/semanticFingerprint', 'Deprecated alias is stale.');
+    try {
+        const manifest = transitionDefinitionManifestHash(metadata, runtime);
+        if (unpacked.manifest && unpacked.manifest !== manifest)
+            issue(issues, 'validation.definition.manifest-mismatch', '/definitionManifestHash', 'Definition manifest is stale.');
+    }
+    catch (error) {
+        issue(issues, 'validation.reference.unresolved', '/readinessManifest', message(error), referenceKey(error));
+    }
+    const inputRefs = new Set(metadata.inputContract.map((entry) => refKey(entry.input)));
+    unique(metadata.inputContract.map((entry) => refKey(entry.input)), '/inputContract', issues);
+    const guards = new Map();
+    metadata.guards.forEach((guard, index) => {
+        if (!guard.guardId.startsWith(`${metadata.guardNamespace}.`))
+            issue(issues, 'validation.guard.namespace-invalid', `/guards/${index}/guardId`, 'Guard is outside namespace.');
+        if (guards.has(guard.guardId))
+            issue(issues, 'validation.semantic-id.duplicate', `/guards/${index}/guardId`, 'Duplicate guard.', guard.guardId);
+        guards.set(guard.guardId, guard);
+        const evaluator = exactRef(transitionSemanticRegistry.guardEvaluators, guard.evaluator);
+        if (!evaluator)
+            issue(issues, 'validation.reference.unresolved', `/guards/${index}/evaluator`, 'Guard evaluator is unresolved.', refKey(guard.evaluator));
+        else if (evaluator.transitionId !== metadata.transitionId || evaluator.guardId !== guard.guardId)
+            issue(issues, 'validation.guard.evaluator-mismatch', `/guards/${index}/evaluator`, 'Evaluator does not bind this guard.', refKey(guard.evaluator));
+        guard.requiredInputs.forEach((input) => {
+            if (!inputRefs.has(refKey(input)))
+                issue(issues, 'validation.guard.evaluator-mismatch', `/guards/${index}/requiredInputs`, 'Guard input is outside contract.', refKey(input));
+        });
+    });
+    metadata.inputContract.forEach((entry, index) => {
+        if (entry.required && !metadata.guards.some((guard) => guard.requiredInputs.some((input) => refKey(input) === refKey(entry.input))))
+            issue(issues, 'validation.guard.evaluator-mismatch', `/inputContract/${index}`, 'Required input has no guard.', refKey(entry.input));
+    });
+    validateEffects(metadata, guards, inputRefs, issues);
+    validateRaces(metadata, guards, issues);
+    validateAtomicity(metadata, issues);
+    return report(issues);
+}
+function validateEffects(metadata, guards, inputs, issues) {
+    const nodes = metadata.effects.orderedNodes;
+    unique(nodes.map((node) => node.effectId), '/effects/orderedNodes', issues);
+    const byId = new Map(nodes.map((node) => [node.effectId, node]));
+    nodes.forEach((node, index) => {
+        if (node.ordinal !== index)
+            issue(issues, 'validation.effect.graph-invalid', `/effects/orderedNodes/${index}/ordinal`, 'Effect ordinals are not contiguous.');
+        node.dependsOn.forEach((dependency) => {
+            if (!byId.has(dependency) || dependency === node.effectId || depends(byId.get(dependency), node.effectId, byId))
+                issue(issues, 'validation.effect.graph-invalid', `/effects/orderedNodes/${index}/dependsOn`, 'Effect graph is cyclic or unresolved.', dependency);
+        });
+        node.conditions.forEach((condition, conditionIndex) => validateCondition(condition, `/effects/orderedNodes/${index}/conditions/${conditionIndex}`, guards, inputs, issues));
+    });
+    unique(metadata.effects.postconditions.map((entry) => entry.postconditionId), '/effects/postconditions', issues);
+    metadata.effects.postconditions.forEach((entry, index) => {
+        if (entry.effectNodeIds.length === 0 || entry.effectNodeIds.some((id) => !byId.has(id)))
+            issue(issues, 'validation.effect.graph-invalid', `/effects/postconditions/${index}/effectNodeIds`, 'Postcondition does not bind effects.');
+    });
+}
+function validateCondition(condition, path, guards, inputs, issues) {
+    if (condition.kind === 'input-present' ? !inputs.has(refKey(condition.input)) : !guards.has(condition.guardId))
+        issue(issues, 'validation.effect.graph-invalid', path, 'Effect condition is unresolved.');
+}
+function validateRaces(metadata, guards, issues) {
+    unique(metadata.admissionBoundary.orderedRevalidations.map((entry) => entry.revalidationId), '/admissionBoundary/orderedRevalidations', issues);
+    unique(metadata.racePreconditions.map((entry) => entry.raceId), '/racePreconditions', issues);
+    metadata.admissionBoundary.orderedRevalidations.forEach((entry, index) => {
+        const race = metadata.racePreconditions.filter((candidate) => candidate.raceId === entry.raceId && candidate.revalidationId === entry.revalidationId);
+        const guard = guards.get(entry.guardId);
+        if (entry.ordinal !== index || race.length !== 1 || race[0].guardId !== entry.guardId || !guard || refKey(guard.evaluator) !== refKey(entry.evaluator))
+            issue(issues, 'validation.race.revalidation-invalid', `/admissionBoundary/orderedRevalidations/${index}`, 'Race and revalidation are not exact.', entry.raceId);
+    });
+}
+function validateAtomicity(metadata, issues) {
+    const atomicity = metadata.atomicity;
+    const writes = metadata.effects.orderedNodes.filter((entry) => entry.operation !== 'preserve').length;
+    if (atomicity.classification === 'single-write' && writes !== 1)
+        issue(issues, 'validation.atomicity.contract-invalid', '/atomicity/classification', 'single-write requires exactly one write.');
+    if (atomicity.classification === 'read-only' && writes !== 0)
+        issue(issues, 'validation.atomicity.contract-invalid', '/atomicity/classification', 'read-only cannot write.');
+    if (atomicity.classification.includes('multi-write') && writes < 2)
+        issue(issues, 'validation.atomicity.contract-invalid', '/atomicity/classification', 'multi-write requires multiple writes.');
+    if (atomicity.classification === 'non-transactional-multi-write' && atomicity.journal.mode !== 'none')
+        issue(issues, 'validation.atomicity.contract-invalid', '/atomicity/journal', 'Nontransactional write cannot claim journal.');
+    const postconditions = new Set(metadata.effects.postconditions.map((entry) => entry.postconditionId));
+    if (atomicity.readback.postconditionIds.length !== postconditions.size || atomicity.readback.postconditionIds.some((id) => !postconditions.has(id)))
+        issue(issues, 'validation.atomicity.contract-invalid', '/atomicity/readback/postconditionIds', 'Readback does not cover postconditions.');
+}
+function unpack(definition) {
+    if ('metadata' in definition)
+        return { metadata: definition.metadata, runtime: definition.runtimeSemanticFingerprint, semantic: definition.semanticFingerprint, manifest: definition.definitionManifestHash };
+    if ('runtimeSemanticFingerprint' in definition) {
+        const { runtimeSemanticFingerprint: runtime, semanticFingerprint: semantic, definitionManifestHash: manifest, ...metadata } = definition;
+        return { metadata, runtime, semantic, manifest };
+    }
+    return { metadata: definition, runtime: null, semantic: null, manifest: null };
+}
+function exactRef(entries, ref) {
+    const matches = entries.filter((entry) => refKey(entry) === refKey(ref));
+    return matches.length === 1 ? matches[0] : undefined;
+}
+function referencePath(error, metadata) {
+    const key = referenceKey(error);
+    return key ? referencePaths(metadata).get(key) ?? '/' : '/';
+}
+function referencePaths(root) {
+    const result = new Map();
+    visit(root, '');
+    return result;
+    function visit(value, path) {
+        if (Array.isArray(value))
+            return value.forEach((entry, index) => visit(entry, `${path}/${index}`));
+        if (value === null || typeof value !== 'object')
+            return;
+        const candidate = value;
+        if (typeof candidate.id === 'string' && Number.isInteger(candidate.version))
+            result.set(`${candidate.id}@${candidate.version}`, path || '/');
+        Object.entries(candidate).forEach(([key, entry]) => visit(entry, `${path}/${key}`));
+    }
+}
+function referenceKey(error) { return error instanceof Error ? error.ref : undefined; }
+function refKey(ref) { return `${ref.id}@${ref.version}`; }
+function message(error) { return error instanceof Error ? error.message : String(error); }
+function unique(values, path, issues) {
+    if (new Set(values).size !== values.length)
+        issue(issues, 'validation.semantic-id.duplicate', path, 'Semantic IDs must be unique.');
+}
+function depends(node, target, nodes, seen = new Set()) {
+    if (!node)
+        return false;
+    return node.dependsOn.some((id) => id === target || (!seen.has(id) && (seen.add(id), depends(nodes.get(id), target, nodes, seen))));
+}
+function issue(issues, ruleId, path, message, ref) {
+    issues.push(ref === undefined ? { ruleId, path, message } : { ruleId, path, message, ref });
+}
+function report(issues) {
+    const ordered = [...issues].sort((left, right) => `${left.path}\0${left.ruleId}\0${left.ref ?? ''}`.localeCompare(`${right.path}\0${right.ruleId}\0${right.ref ?? ''}`));
+    const content = { valid: ordered.length === 0, issues: ordered };
+    return { ...content, reportHash: hashCanonical(content) };
+}
+//# sourceMappingURL=catalog.js.map

package/dist/src/lifecycle/catalog.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"catalog.js","sourceRoot":"","sources":["../../../src/lifecycle/catalog.ts"],"names":[],"mappings":"AAAA,OAAO,EACL,6BAA6B,EAAE,aAAa,EAAE,kBAAkB,EAAE,0BAA0B,EAC5F,gCAAgC,GACjC,MAAM,kBAAkB,CAAC;AAC1B,OAAO,EAAE,0BAA0B,EAAE,MAAM,wBAAwB,CAAC;AACpE,OAAO,EACL,oCAAoC,GAIrC,MAAM,YAAY,CAAC;AA0BpB,MAAM,OAAO,wBAAwB;IAC1B,YAAY,CAA2C;IACvD,WAAW,CAAS;IACpB,6BAA6B,CAAS;IAE/C,YAAY,WAAqC;QAC/C,MAAM,OAAO,GAAG,IAAI,GAAG,EAA+B,CAAC;QACvD,KAAK,MAAM,UAAU,IAAI,WAAW,EAAE,CAAC;YACrC,MAAM,EAAE,GAAG,UAAU,CAAC,QAAQ,CAAC,YAAY,CAAC;YAC5C,IAAI,OAAO,CAAC,GAAG,CAAC,EAAE,CAAC;gBAAE,MAAM,IAAI,SAAS,CAAC,oCAAoC,EAAE,EAAE,CAAC,CAAC;YACnF,MAAM,QAAQ,GAAG,qCAAqC,CAAC,UAAU,CAAC,CAAC;YACnE,IAAI,CAAC,QAAQ,CAAC,KAAK;gBAAE,MAAM,IAAI,SAAS,CAAC,GAAG,QAAQ,CAAC,MAAM,CAAC,CAAC,CAAE,CAAC,MAAM,IAAI,EAAE,KAAK,QAAQ,CAAC,MAAM,CAAC,CAAC,CAAE,CAAC,OAAO,EAAE,CAAC,CAAC;YAChH,IAAI,UAAU,CAAC,MAAM,CAAC,MAAM,KAAK,UAAU,CAAC,QAAQ,CAAC,MAAM,CAAC,MAAM;mBAC7D,UAAU,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,KAAK,EAAE,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,QAAQ,CAAC,OAAO,KAAK,UAAU,CAAC,QAAQ,CAAC,MAAM,CAAC,KAAK,CAAC,EAAE,OAAO,CAAC,EAAE,CAAC;gBACrH,MAAM,IAAI,SAAS,CAAC,uCAAuC,EAAE,EAAE,CAAC,CAAC;YACnE,CAAC;YACD,OAAO,CAAC,GAAG,CAAC,EAAE,EAAE,UAAU,CAAC,CAAC;QAC9B,CAAC;QACD,IAAI,CAAC,YAAY,GAAG,OAAO,CAAC;QAC5B,IAAI,CAAC,WAAW,GAAG,kBAAkB,CAAC,IAAI,CAAC,SAAS,EAAE,CAAC,CAAC;QACxD,IAAI,CAAC,6BAA6B,GAAG,6BAA6B,CAAC,IAAI,CAAC,SAAS,EAAE,CAAC,CAAC;IACvF,CAAC;IAED,GAAG,CAAC,EAAgB,IAAa,OAAO,IAAI,CAAC,YAAY,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;IACpE,GAAG,CAAuB,EAAgB;QACxC,MAAM,UAAU,GAAG,IAAI,CAAC,YAAY,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;QAC7C,IAAI,CAAC,UAAU;YAAE,MAAM,IAAI,SAAS,CAAC,kCAAkC,EAAE,EAAE,CAAC,CAAC;QAC7E,OAAO,UAAkE,CAAC;IAC5E,CAAC;IACD,SAAS;QACP,OAAO,eAAe,CAAC,CAAC,GAAG,IAAI,CAAC,YAAY,CAAC,MAAM,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,UAAU,EAAE,EAAE,CAAC,CAAC;YAC1E,GAAG,UAAU,CAAC,QAAQ;YACtB,0BAA0B,EAAE,UAAU,CAAC,0BAA0B;YACjE,mBAAmB,EAAE,UAAU,CAAC,mBAAmB;YACnD,sBAAsB,EAAE,UAAU,CAAC,sBAAsB;SAC1D,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE,KAAK,EAAE,EAAE,CAAC,IAAI,CAAC,YAAY,CAAC,aAAa,CAAC,KAAK,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC;IAClF,CAAC;CACF;AAED,MAAM,UAAU,qCAAqC,CAAC,UAA0B;IAC9E,MAAM,MAAM,GAAwC,EAAE,CAAC;IACvD,IAAI,QAAmC,CAAC;IACxC,IAAI,CAAC;QAAC,QAAQ,GAAG,MAAM,CAAC,UAAU,CAAC,CAAC;IAAC,CAAC;IACtC,OAAO,KAAK,EAAE,CAAC;QAAC,KAAK,CAAC,MAAM,EAAE,iCAAiC,EAAE,GAAG,EAAE,OAAO,CAAC,KAAK,CAAC,CAAC,CAAC;QAAC,OAAO,MAAM,CAAC,MAAM,CAAC,CAAC;IAAC,CAAC;IAC/G,MAAM,QAAQ,GAAG,QAAQ,CAAC,QAAQ,CAAC;IACnC,IAAI,QAAQ,CAAC,uBAAuB,KAAK,oCAAoC;QAAE,KAAK,CAAC,MAAM,EAAE,sCAAsC,EAAE,0BAA0B,EAAE,8BAA8B,CAAC,CAAC;IACjM,MAAM,SAAS,GAAG,QAAQ,CAAC,MAAM,KAAK,MAAM,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,QAAQ,CAAC,MAAM,KAAK,gBAAgB,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,QAAQ,CAAC,MAAM,CAAC;IAC3H,IAAI,CAAC,QAAQ,CAAC,YAAY,CAAC,UAAU,CAAC,GAAG,SAAS,GAAG,CAAC;QAAE,KAAK,CAAC,MAAM,EAAE,yCAAyC,EAAE,eAAe,EAAE,6CAA6C,EAAE,QAAQ,CAAC,YAAY,CAAC,CAAC;IACxM,IAAI,CAAC,QAAQ,CAAC,cAAc,CAAC,UAAU,CAAC,GAAG,SAAS,GAAG,CAAC;QAAE,KAAK,CAAC,MAAM,EAAE,oCAAoC,EAAE,iBAAiB,EAAE,wCAAwC,CAAC,CAAC;IAC3K,IAAI,OAAO,GAAG,EAAE,CAAC;IACjB,IAAI,CAAC;QAAC,OAAO,GAAG,0BAA0B,CAAC,QAAQ,CAAC,CAAC;IAAC,CAAC;IACvD,OAAO,KAAK,EAAE,CAAC;QAAC,KAAK,CAAC,MAAM,EAAE,iCAAiC,EAAE,aAAa,CAAC,KAAK,EAAE,QAAQ,CAAC,EAAE,OAAO,CAAC,KAAK,CAAC,EAAE,YAAY,CAAC,KAAK,CAAC,CAAC,CAAC;IAAC,CAAC;IACxI,IAAI,QAAQ,CAAC,OAAO,IAAI,OAAO,IAAI,QAAQ,CAAC,OAAO,KAAK,OAAO;QAAE,KAAK,CAAC,MAAM,EAAE,yCAAyC,EAAE,6BAA6B,EAAE,+BAA+B,CAAC,CAAC;IAC1L,IAAI,QAAQ,CAAC,QAAQ,IAAI,QAAQ,CAAC,QAAQ,KAAK,QAAQ,CAAC,OAAO;QAAE,KAAK,CAAC,MAAM,EAAE,uCAAuC,EAAE,sBAAsB,EAAE,4BAA4B,CAAC,CAAC;IAC9K,IAAI,CAAC;QACH,MAAM,QAAQ,GAAG,gCAAgC,CAAC,QAAQ,EAAE,OAAO,CAAC,CAAC;QACrE,IAAI,QAAQ,CAAC,QAAQ,IAAI,QAAQ,CAAC,QAAQ,KAAK,QAAQ;YAAE,KAAK,CAAC,MAAM,EAAE,yCAAyC,EAAE,yBAAyB,EAAE,+BAA+B,CAAC,CAAC;IAChL,CAAC;IAAC,OAAO,KAAK,EAAE,CAAC;QAAC,KAAK,CAAC,MAAM,EAAE,iCAAiC,EAAE,oBAAoB,EAAE,OAAO,CAAC,KAAK,CAAC,EAAE,YAAY,CAAC,KAAK,CAAC,CAAC,CAAC;IAAC,CAAC;IAChI,MAAM,SAAS,GAAG,IAAI,GAAG,CAAC,QAAQ,CAAC,aAAa,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,MAAM,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC;IACtF,MAAM,CAAC,QAAQ,CAAC,aAAa,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,MAAM,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,EAAE,gBAAgB,EAAE,MAAM,CAAC,CAAC;IAC7F,MAAM,MAAM,GAAG,IAAI,GAAG,EAA2D,CAAC;IAClF,QAAQ,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC,KAAK,EAAE,KAAK,EAAE,EAAE;QACvC,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,UAAU,CAAC,GAAG,QAAQ,CAAC,cAAc,GAAG,CAAC;YAAE,KAAK,CAAC,MAAM,EAAE,oCAAoC,EAAE,WAAW,KAAK,UAAU,EAAE,6BAA6B,CAAC,CAAC;QAC7K,IAAI,MAAM,CAAC,GAAG,CAAC,KAAK,CAAC,OAAO,CAAC;YAAE,KAAK,CAAC,MAAM,EAAE,kCAAkC,EAAE,WAAW,KAAK,UAAU,EAAE,kBAAkB,EAAE,KAAK,CAAC,OAAO,CAAC,CAAC;QAChJ,MAAM,CAAC,GAAG,CAAC,KAAK,CAAC,OAAO,EAAE,KAAK,CAAC,CAAC;QACjC,MAAM,SAAS,GAAG,QAAQ,CAAC,0BAA0B,CAAC,eAAe,EAAE,KAAK,CAAC,SAAS,CAAC,CAAC;QACxF,IAAI,CAAC,SAAS;YAAE,KAAK,CAAC,MAAM,EAAE,iCAAiC,EAAE,WAAW,KAAK,YAAY,EAAE,gCAAgC,EAAE,MAAM,CAAC,KAAK,CAAC,SAAS,CAAC,CAAC,CAAC;aACrJ,IAAI,SAAS,CAAC,YAAY,KAAK,QAAQ,CAAC,YAAY,IAAI,SAAS,CAAC,OAAO,KAAK,KAAK,CAAC,OAAO;YAAE,KAAK,CAAC,MAAM,EAAE,qCAAqC,EAAE,WAAW,KAAK,YAAY,EAAE,qCAAqC,EAAE,MAAM,CAAC,KAAK,CAAC,SAAS,CAAC,CAAC,CAAC;QACrP,KAAK,CAAC,cAAc,CAAC,OAAO,CAAC,CAAC,KAAK,EAAE,EAAE;YACrC,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC;gBAAE,KAAK,CAAC,MAAM,EAAE,qCAAqC,EAAE,WAAW,KAAK,iBAAiB,EAAE,kCAAkC,EAAE,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC;QAChL,CAAC,CAAC,CAAC;IACL,CAAC,CAAC,CAAC;IACH,QAAQ,CAAC,aAAa,CAAC,OAAO,CAAC,CAAC,KAAK,EAAE,KAAK,EAAE,EAAE;QAC9C,IAAI,KAAK,CAAC,QAAQ,IAAI,CAAC,QAAQ,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,cAAc,CAAC,IAAI,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,MAAM,CAAC,KAAK,CAAC,KAAK,MAAM,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,CAAC;YAAE,KAAK,CAAC,MAAM,EAAE,qCAAqC,EAAE,kBAAkB,KAAK,EAAE,EAAE,8BAA8B,EAAE,MAAM,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,CAAC;IAC5Q,CAAC,CAAC,CAAC;IACH,eAAe,CAAC,QAAQ,EAAE,MAAM,EAAE,SAAS,EAAE,MAAM,CAAC,CAAC;IACrD,aAAa,CAAC,QAAQ,EAAE,MAAM,EAAE,MAAM,CAAC,CAAC;IACxC,iBAAiB,CAAC,QAAQ,EAAE,MAAM,CAAC,CAAC;IACpC,OAAO,MAAM,CAAC,MAAM,CAAC,CAAC;AACxB,CAAC;AAED,SAAS,eAAe,CAAC,QAAsC,EAAE,MAAqC,EAAE,MAA2B,EAAE,MAA2C;IAC9K,MAAM,KAAK,GAAG,QAAQ,CAAC,OAAO,CAAC,YAAY,CAAC;IAC5C,MAAM,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,QAAQ,CAAC,EAAE,uBAAuB,EAAE,MAAM,CAAC,CAAC;IAC5E,MAAM,IAAI,GAAG,IAAI,GAAG,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC,IAAI,CAAC,QAAQ,EAAE,IAAI,CAAC,CAAC,CAAC,CAAC;IACjE,KAAK,CAAC,OAAO,CAAC,CAAC,IAAI,EAAE,KAAK,EAAE,EAAE;QAC5B,IAAI,IAAI,CAAC,OAAO,KAAK,KAAK;YAAE,KAAK,CAAC,MAAM,EAAE,iCAAiC,EAAE,yBAAyB,KAAK,UAAU,EAAE,qCAAqC,CAAC,CAAC;QAC9J,IAAI,CAAC,SAAS,CAAC,OAAO,CAAC,CAAC,UAAU,EAAE,EAAE;YACpC,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,UAAU,CAAC,IAAI,UAAU,KAAK,IAAI,CAAC,QAAQ,IAAI,OAAO,CAAC,IAAI,CAAC,GAAG,CAAC,UAAU,CAAC,EAAE,IAAI,CAAC,QAAQ,EAAE,IAAI,CAAC;gBAAE,KAAK,CAAC,MAAM,EAAE,iCAAiC,EAAE,yBAAyB,KAAK,YAAY,EAAE,uCAAuC,EAAE,UAAU,CAAC,CAAC;QACrQ,CAAC,CAAC,CAAC;QACH,IAAI,CAAC,UAAU,CAAC,OAAO,CAAC,CAAC,SAAS,EAAE,cAAc,EAAE,EAAE,CAAC,iBAAiB,CAAC,SAAS,EAAE,yBAAyB,KAAK,eAAe,cAAc,EAAE,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,CAAC,CAAC,CAAC;IAC9K,CAAC,CAAC,CAAC;IACH,MAAM,CAAC,QAAQ,CAAC,OAAO,CAAC,cAAc,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,eAAe,CAAC,EAAE,yBAAyB,EAAE,MAAM,CAAC,CAAC;IACjH,QAAQ,CAAC,OAAO,CAAC,cAAc,CAAC,OAAO,CAAC,CAAC,KAAK,EAAE,KAAK,EAAE,EAAE;QACvD,IAAI,KAAK,CAAC,aAAa,CAAC,MAAM,KAAK,CAAC,IAAI,KAAK,CAAC,aAAa,CAAC,IAAI,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;YAAE,KAAK,CAAC,MAAM,EAAE,iCAAiC,EAAE,2BAA2B,KAAK,gBAAgB,EAAE,sCAAsC,CAAC,CAAC;IACtO,CAAC,CAAC,CAAC;AACL,CAAC;AAED,SAAS,iBAAiB,CAAC,SAA0B,EAAE,IAAY,EAAE,MAAqC,EAAE,MAA2B,EAAE,MAA2C;IAClL,IAAI,SAAS,CAAC,IAAI,KAAK,eAAe,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,GAAG,CAAC,MAAM,CAAC,SAAS,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,GAAG,CAAC,SAAS,CAAC,OAAO,CAAC;QAAE,KAAK,CAAC,MAAM,EAAE,iCAAiC,EAAE,IAAI,EAAE,iCAAiC,CAAC,CAAC;AAC5M,CAAC;AAED,SAAS,aAAa,CAAC,QAAsC,EAAE,MAA4E,EAAE,MAA2C;IACtL,MAAM,CAAC,QAAQ,CAAC,iBAAiB,CAAC,oBAAoB,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,cAAc,CAAC,EAAE,yCAAyC,EAAE,MAAM,CAAC,CAAC;IAChJ,MAAM,CAAC,QAAQ,CAAC,iBAAiB,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,MAAM,CAAC,EAAE,oBAAoB,EAAE,MAAM,CAAC,CAAC;IAC9F,QAAQ,CAAC,iBAAiB,CAAC,oBAAoB,CAAC,OAAO,CAAC,CAAC,KAAK,EAAE,KAAK,EAAE,EAAE;QACvE,MAAM,IAAI,GAAG,QAAQ,CAAC,iBAAiB,CAAC,MAAM,CAAC,CAAC,SAAS,EAAE,EAAE,CAAC,SAAS,CAAC,MAAM,KAAK,KAAK,CAAC,MAAM,IAAI,SAAS,CAAC,cAAc,KAAK,KAAK,CAAC,cAAc,CAAC,CAAC;QACtJ,MAAM,KAAK,GAAG,MAAM,CAAC,GAAG,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC;QACxC,IAAI,KAAK,CAAC,OAAO,KAAK,KAAK,IAAI,IAAI,CAAC,MAAM,KAAK,CAAC,IAAI,IAAI,CAAC,CAAC,CAAE,CAAC,OAAO,KAAK,KAAK,CAAC,OAAO,IAAI,CAAC,KAAK,IAAI,MAAM,CAAC,KAAK,CAAC,SAAS,CAAC,KAAK,MAAM,CAAC,KAAK,CAAC,SAAS,CAAC;YAAE,KAAK,CAAC,MAAM,EAAE,sCAAsC,EAAE,2CAA2C,KAAK,EAAE,EAAE,sCAAsC,EAAE,KAAK,CAAC,MAAM,CAAC,CAAC;IAC3T,CAAC,CAAC,CAAC;AACL,CAAC;AAED,SAAS,iBAAiB,CAAC,QAAsC,EAAE,MAA2C;IAC5G,MAAM,SAAS,GAAG,QAAQ,CAAC,SAAS,CAAC;IACrC,MAAM,MAAM,GAAG,QAAQ,CAAC,OAAO,CAAC,YAAY,CAAC,MAAM,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,SAAS,KAAK,UAAU,CAAC,CAAC,MAAM,CAAC;IACtG,IAAI,SAAS,CAAC,cAAc,KAAK,cAAc,IAAI,MAAM,KAAK,CAAC;QAAE,KAAK,CAAC,MAAM,EAAE,uCAAuC,EAAE,2BAA2B,EAAE,0CAA0C,CAAC,CAAC;IACjM,IAAI,SAAS,CAAC,cAAc,KAAK,WAAW,IAAI,MAAM,KAAK,CAAC;QAAE,KAAK,CAAC,MAAM,EAAE,uCAAuC,EAAE,2BAA2B,EAAE,yBAAyB,CAAC,CAAC;IAC7K,IAAI,SAAS,CAAC,cAAc,CAAC,QAAQ,CAAC,aAAa,CAAC,IAAI,MAAM,GAAG,CAAC;QAAE,KAAK,CAAC,MAAM,EAAE,uCAAuC,EAAE,2BAA2B,EAAE,uCAAuC,CAAC,CAAC;IACjM,IAAI,SAAS,CAAC,cAAc,KAAK,+BAA+B,IAAI,SAAS,CAAC,OAAO,CAAC,IAAI,KAAK,MAAM;QAAE,KAAK,CAAC,MAAM,EAAE,uCAAuC,EAAE,oBAAoB,EAAE,8CAA8C,CAAC,CAAC;IACpO,MAAM,cAAc,GAAG,IAAI,GAAG,CAAC,QAAQ,CAAC,OAAO,CAAC,cAAc,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,eAAe,CAAC,CAAC,CAAC;IACtG,IAAI,SAAS,CAAC,QAAQ,CAAC,gBAAgB,CAAC,MAAM,KAAK,cAAc,CAAC,IAAI,IAAI,SAAS,CAAC,QAAQ,CAAC,gBAAgB,CAAC,IAAI,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,CAAC,cAAc,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;QAAE,KAAK,CAAC,MAAM,EAAE,uCAAuC,EAAE,sCAAsC,EAAE,yCAAyC,CAAC,CAAC;AACjS,CAAC;AAED,SAAS,MAAM,CAAC,UAA0B;IACxC,IAAI,UAAU,IAAI,UAAU;QAAE,OAAO,EAAE,QAAQ,EAAE,UAAU,CAAC,QAAQ,EAAE,OAAO,EAAE,UAAU,CAAC,0BAA0B,EAAE,QAAQ,EAAE,UAAU,CAAC,mBAAmB,EAAE,QAAQ,EAAE,UAAU,CAAC,sBAAsB,EAAE,CAAC;IAC9M,IAAI,4BAA4B,IAAI,UAAU,EAAE,CAAC;QAC/C,MAAM,EAAE,0BAA0B,EAAE,OAAO,EAAE,mBAAmB,EAAE,QAAQ,EAAE,sBAAsB,EAAE,QAAQ,EAAE,GAAG,QAAQ,EAAE,GAAG,UAAU,CAAC;QACzI,OAAO,EAAE,QAAQ,EAAE,OAAO,EAAE,QAAQ,EAAE,QAAQ,EAAE,CAAC;IACnD,CAAC;IACD,OAAO,EAAE,QAAQ,EAAE,UAAU,EAAE,OAAO,EAAE,IAAI,EAAE,QAAQ,EAAE,IAAI,EAAE,QAAQ,EAAE,IAAI,EAAE,CAAC;AACjF,CAAC;AAED,SAAS,QAAQ,CAA2C,OAAqB,EAAE,GAA0B;IAC3G,MAAM,OAAO,GAAG,OAAO,CAAC,MAAM,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,MAAM,CAAC,KAAK,CAAC,KAAK,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC;IACzE,OAAO,OAAO,CAAC,MAAM,KAAK,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC;AACvD,CAAC;AACD,SAAS,aAAa,CAAC,KAAc,EAAE,QAAsC;IAC3E,MAAM,GAAG,GAAG,YAAY,CAAC,KAAK,CAAC,CAAC;IAAC,OAAO,GAAG,CAAC,CAAC,CAAC,cAAc,CAAC,QAAQ,CAAC,CAAC,GAAG,CAAC,GAAG,CAAC,IAAI,GAAG,CAAC,CAAC,CAAC,GAAG,CAAC;AAC/F,CAAC;AACD,SAAS,cAAc,CAAC,IAAa;IACnC,MAAM,MAAM,GAAG,IAAI,GAAG,EAAkB,CAAC;IAAC,KAAK,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC;IAAC,OAAO,MAAM,CAAC;IACzE,SAAS,KAAK,CAAC,KAAc,EAAE,IAAY;QACzC,IAAI,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC;YAAE,OAAO,KAAK,CAAC,OAAO,CAAC,CAAC,KAAK,EAAE,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,KAAK,EAAE,GAAG,IAAI,IAAI,KAAK,EAAE,CAAC,CAAC,CAAC;QACnG,IAAI,KAAK,KAAK,IAAI,IAAI,OAAO,KAAK,KAAK,QAAQ;YAAE,OAAO;QACxD,MAAM,SAAS,GAAG,KAAgC,CAAC;QACnD,IAAI,OAAO,SAAS,CAAC,EAAE,KAAK,QAAQ,IAAI,MAAM,CAAC,SAAS,CAAC,SAAS,CAAC,OAAO,CAAC;YAAE,MAAM,CAAC,GAAG,CAAC,GAAG,SAAS,CAAC,EAAE,IAAI,SAAS,CAAC,OAAO,EAAE,EAAE,IAAI,IAAI,GAAG,CAAC,CAAC;QAC7I,MAAM,CAAC,OAAO,CAAC,SAAS,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,GAAG,EAAE,KAAK,CAAC,EAAE,EAAE,CAAC,KAAK,CAAC,KAAK,EAAE,GAAG,IAAI,IAAI,GAAG,EAAE,CAAC,CAAC,CAAC;IACtF,CAAC;AACH,CAAC;AACD,SAAS,YAAY,CAAC,KAAc,IAAwB,OAAO,KAAK,YAAY,KAAK,CAAC,CAAC,CAAE,KAAkC,CAAC,GAAG,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC;AAClJ,SAAS,MAAM,CAAC,GAA0B,IAAY,OAAO,GAAG,GAAG,CAAC,EAAE,IAAI,GAAG,CAAC,OAAO,EAAE,CAAC,CAAC,CAAC;AAC1F,SAAS,OAAO,CAAC,KAAc,IAAY,OAAO,KAAK,YAAY,KAAK,CAAC,CAAC,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC;AAC3G,SAAS,MAAM,CAAC,MAAyB,EAAE,IAAY,EAAE,MAA2C;IAClG,IAAI,IAAI,GAAG,CAAC,MAAM,CAAC,CAAC,IAAI,KAAK,MAAM,CAAC,MAAM;QAAE,KAAK,CAAC,MAAM,EAAE,kCAAkC,EAAE,IAAI,EAAE,8BAA8B,CAAC,CAAC;AACtI,CAAC;AACD,SAAS,OAAO,CAAC,IAAsC,EAAE,MAAc,EAAE,KAAgD,EAAE,OAAO,IAAI,GAAG,EAAU;IACjJ,IAAI,CAAC,IAAI;QAAE,OAAO,KAAK,CAAC;IACxB,OAAO,IAAI,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,EAAE,KAAK,MAAM,IAAI,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,EAAE,OAAO,CAAC,KAAK,CAAC,GAAG,CAAC,EAAE,CAAC,EAAE,MAAM,EAAE,KAAK,EAAE,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC;AACtI,CAAC;AACD,SAAS,KAAK,CAAC,MAA2C,EAAE,MAA0C,EAAE,IAAY,EAAE,OAAe,EAAE,GAAY;IACjJ,MAAM,CAAC,IAAI,CAAC,GAAG,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,MAAM,EAAE,IAAI,EAAE,OAAO,EAAE,CAAC,CAAC,CAAC,EAAE,MAAM,EAAE,IAAI,EAAE,OAAO,EAAE,GAAG,EAAE,CAAC,CAAC;AAC9F,CAAC;AACD,SAAS,MAAM,CAAC,MAAoD;IAClE,MAAM,OAAO,GAAG,CAAC,GAAG,MAAM,CAAC,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE,KAAK,EAAE,EAAE,CAAC,GAAG,IAAI,CAAC,IAAI,KAAK,IAAI,CAAC,MAAM,KAAK,IAAI,CAAC,GAAG,IAAI,EAAE,EAAE,CAAC,aAAa,CAAC,GAAG,KAAK,CAAC,IAAI,KAAK,KAAK,CAAC,MAAM,KAAK,KAAK,CAAC,GAAG,IAAI,EAAE,EAAE,CAAC,CAAC,CAAC;IACzK,MAAM,OAAO,GAAG,EAAE,KAAK,EAAE,OAAO,CAAC,MAAM,KAAK,CAAC,EAAE,MAAM,EAAE,OAAO,EAAE,CAAC;IAAC,OAAO,EAAE,GAAG,OAAO,EAAE,UAAU,EAAE,aAAa,CAAC,OAAO,CAAC,EAAE,CAAC;AAC9H,CAAC"}

package/dist/src/lifecycle/compiler-inspection.d.ts

@@ -0,0 +1,48 @@
+import { diagnoseCoreIssuanceClosure, inspectCorePrivateIr } from '../transition-core.js';
+import { assessCorrectiveReplanAuthorityTuple, projectAuthoritySemanticBundle } from './corrective-replan-authority.js';
+export declare const installedCoreRuleBindingsForTests: readonly import("./types.js").CoreReleaseRuleBinding[];
+export declare const installedAuthoritySemanticBindingsForTests: readonly import("./corrective-replan-authority.js").AuthoritySemanticBinding[];
+export declare const installedTransitionExecutableBindingsForTests: import("../transition-core.js").TransitionExecutableBinding[];
+export declare const installedPayloadSchemaArtifactsForTests: readonly import("./types.js").PayloadSchemaArtifactBinding[];
+export declare const installedPayloadSchemaValidatorsForTests: readonly import("./types.js").PayloadSchemaValidatorBinding[];
+export declare const installedSemanticRegistryForTests: import("./types.js").SemanticRegistry;
+export declare const inspectCorePrivateIrForTests: typeof inspectCorePrivateIr;
+export declare const diagnoseCoreIssuanceClosureForTests: typeof diagnoseCoreIssuanceClosure;
+export declare const assessCorrectiveReplanAuthorityTupleForTests: typeof assessCorrectiveReplanAuthorityTuple;
+export declare const projectAuthoritySemanticBundleForTests: typeof projectAuthoritySemanticBundle;
+export declare const correctiveReplanCredentialInspectionForTests: {
+    authorityBindingManifest: {
+        manifestSha256: string;
+        id: "binding-manifest.corrective-replan.exact-v1";
+        version: 1;
+        rows: {
+            ordinal: number;
+            bindingId: string;
+            projection: {
+                id: `projection.${string}`;
+                version: 1;
+            };
+            fieldId: `field.${string}`;
+            valueKind: "sha256" | "literal" | "safe-integer" | "entity-id" | "git-oid" | "actor-role";
+            canonicalization: "exact" | "lowercase-hex" | "safe-nonnegative-integer" | "nfc-trim" | "lowercase-git-oid" | "registered-enum";
+            receiptPath: `/binding/values/${string}`;
+        }[];
+    };
+    executionLinkage: {
+        status: "active";
+        transitionId: "task.plan.corrective-replan";
+    };
+    kernelDescriptor: {
+        id: string;
+        version: 1;
+        wiring: "invoked";
+        buildSha256: string;
+    };
+    schemaArtifacts: readonly import("./corrective-replan-credential-schema.js").CredentialSchemaArtifact[];
+    schemaValidators: readonly import("./corrective-replan-credential-schema.js").CredentialSchemaValidator[];
+    functionBindings: readonly import("./corrective-replan-credential-core.js").CredentialFunctionBinding[];
+    diagnoseClosure: typeof import("./corrective-replan-credentials.js").diagnoseCorrectiveReplanCredentialClosure;
+};
+export declare function runtimeSemanticFingerprintForInspection(metadata: unknown): string;
+export declare function definitionManifestHashForInspection(metadata: unknown, runtime?: string): string;
+export declare function validateTransitionDefinitionForInspection(raw: unknown): import("./catalog.js").TransitionSemanticValidationReport;

package/dist/src/lifecycle/compiler-inspection.js

@@ -0,0 +1,29 @@
+import { diagnoseCoreIssuanceClosure, inspectCorePrivateIr, installedTransitionExecutableBindings } from '../transition-core.js';
+import { validateTransitionDefinitionSemantics } from './catalog.js';
+import { assessCorrectiveReplanAuthorityTuple, installedAuthoritySemanticBindings, projectAuthoritySemanticBundle } from './corrective-replan-authority.js';
+import { correctiveReplanCredentialInspection } from './corrective-replan-credentials.js';
+import { installedCoreRuleBindings } from './core-static-readiness.js';
+import { runtimeSemanticFingerprint, transitionDefinitionManifestHash } from './fingerprint.js';
+import { installedPayloadSchemaArtifacts, installedPayloadSchemaValidators } from './schema-artifact.js';
+import { transitionSemanticRegistry } from './semantic-registry.js';
+export const installedCoreRuleBindingsForTests = installedCoreRuleBindings;
+export const installedAuthoritySemanticBindingsForTests = installedAuthoritySemanticBindings;
+export const installedTransitionExecutableBindingsForTests = installedTransitionExecutableBindings;
+export const installedPayloadSchemaArtifactsForTests = installedPayloadSchemaArtifacts;
+export const installedPayloadSchemaValidatorsForTests = installedPayloadSchemaValidators;
+export const installedSemanticRegistryForTests = transitionSemanticRegistry;
+export const inspectCorePrivateIrForTests = inspectCorePrivateIr;
+export const diagnoseCoreIssuanceClosureForTests = diagnoseCoreIssuanceClosure;
+export const assessCorrectiveReplanAuthorityTupleForTests = assessCorrectiveReplanAuthorityTuple;
+export const projectAuthoritySemanticBundleForTests = projectAuthoritySemanticBundle;
+export const correctiveReplanCredentialInspectionForTests = correctiveReplanCredentialInspection;
+export function runtimeSemanticFingerprintForInspection(metadata) {
+    return runtimeSemanticFingerprint(metadata);
+}
+export function definitionManifestHashForInspection(metadata, runtime) {
+    return transitionDefinitionManifestHash(metadata, runtime);
+}
+export function validateTransitionDefinitionForInspection(raw) {
+    return validateTransitionDefinitionSemantics(raw);
+}
+//# sourceMappingURL=compiler-inspection.js.map

package/dist/src/lifecycle/compiler-inspection.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"compiler-inspection.js","sourceRoot":"","sources":["../../../src/lifecycle/compiler-inspection.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,2BAA2B,EAAE,oBAAoB,EAAE,qCAAqC,EAAE,MAAM,uBAAuB,CAAC;AACjI,OAAO,EAAE,qCAAqC,EAAE,MAAM,cAAc,CAAC;AACrE,OAAO,EAAE,oCAAoC,EAAE,kCAAkC,EAAE,8BAA8B,EAAE,MAAM,kCAAkC,CAAC;AAC5J,OAAO,EAAE,oCAAoC,EAAE,MAAM,oCAAoC,CAAC;AAC1F,OAAO,EAAE,yBAAyB,EAAE,MAAM,4BAA4B,CAAC;AACvE,OAAO,EAAE,0BAA0B,EAAE,gCAAgC,EAAE,MAAM,kBAAkB,CAAC;AAChG,OAAO,EAAE,+BAA+B,EAAE,gCAAgC,EAAE,MAAM,sBAAsB,CAAC;AACzG,OAAO,EAAE,0BAA0B,EAAE,MAAM,wBAAwB,CAAC;AAEpE,MAAM,CAAC,MAAM,iCAAiC,GAAG,yBAAyB,CAAC;AAC3E,MAAM,CAAC,MAAM,0CAA0C,GAAG,kCAAkC,CAAC;AAC7F,MAAM,CAAC,MAAM,6CAA6C,GAAG,qCAAqC,CAAC;AACnG,MAAM,CAAC,MAAM,uCAAuC,GAAG,+BAA+B,CAAC;AACvF,MAAM,CAAC,MAAM,wCAAwC,GAAG,gCAAgC,CAAC;AACzF,MAAM,CAAC,MAAM,iCAAiC,GAAG,0BAA0B,CAAC;AAC5E,MAAM,CAAC,MAAM,4BAA4B,GAAG,oBAAoB,CAAC;AACjE,MAAM,CAAC,MAAM,mCAAmC,GAAG,2BAA2B,CAAC;AAC/E,MAAM,CAAC,MAAM,4CAA4C,GAAG,oCAAoC,CAAC;AACjG,MAAM,CAAC,MAAM,sCAAsC,GAAG,8BAA8B,CAAC;AACrF,MAAM,CAAC,MAAM,4CAA4C,GAAG,oCAAoC,CAAC;AACjG,MAAM,UAAU,uCAAuC,CAAC,QAAiB;IACvE,OAAO,0BAA0B,CAAC,QAA4D,CAAC,CAAC;AAClG,CAAC;AACD,MAAM,UAAU,mCAAmC,CAAC,QAAiB,EAAE,OAAgB;IACrF,OAAO,gCAAgC,CAAC,QAAkE,EAAE,OAAO,CAAC,CAAC;AACvH,CAAC;AACD,MAAM,UAAU,yCAAyC,CAAC,GAAY;IACpE,OAAO,qCAAqC,CAAC,GAAY,CAAC,CAAC;AAC7D,CAAC"}

package/dist/src/lifecycle/core-static-readiness.d.ts

@@ -0,0 +1,6 @@
+import type { CoreReleaseRuleBinding, CoreReleaseRuleContext } from './types.js';
+export declare const installedCoreRuleBindings: readonly CoreReleaseRuleBinding[];
+export declare function projectReleaseRuleContextForCore(raw: unknown, ruleId: string): CoreReleaseRuleContext;
+export declare function evaluateInstalledReleaseRulesForCore(bindings: readonly (CoreReleaseRuleBinding & {
+    readonly context: CoreReleaseRuleContext;
+})[]): readonly string[];

package/dist/src/lifecycle/core-static-readiness.js

@@ -0,0 +1,130 @@
+import { runtimeSemanticProjection } from './fingerprint.js';
+import { deepFreeze } from './immutable.js';
+import { coreReleaseRuleDescriptors } from './implementation-table.js';
+const ruleFunctions = [definitionIntegrity, exactAuthority, requiredInputs, admissionBoundary, reliableEffects];
+export const installedCoreRuleBindings = deepFreeze(coreReleaseRuleDescriptors.map(([id, suffix], index) => ({
+    id, version: 1,
+    implementationId: `implementation.release-rule.${suffix}`,
+    implementationVersion: 1,
+    callable: ruleFunctions[index],
+})));
+export function projectReleaseRuleContextForCore(raw, ruleId) {
+    const source = raw;
+    const metadata = Object.fromEntries(Object.entries(source)
+        .filter(([key]) => !['runtimeSemanticFingerprint', 'semanticFingerprint', 'definitionManifestHash'].includes(key)));
+    const closure = runtimeSemanticProjection(metadata).resolvedRegistryEntries;
+    const entries = (category) => closure.filter((entry) => entry.category === category).map(({ entry }) => entry);
+    const guards = () => rows(metadata.guards).map((guard) => ({ guardId: guard.guardId }));
+    if (ruleId === 'semantic-rule.definition-integrity')
+        return context({ guards: guards() });
+    if (ruleId === 'semantic-rule.exact-authority') {
+        const authority = record(metadata.authority);
+        const actor = record(authority.actor);
+        const principal = record(authority.principal);
+        return context({ authority: { actor: { required: actor.required, identity: ref(actor.identity) }, principal: { identity: ref(principal.identity) },
+                capabilities: presence(authority.capabilities), credentials: presence(authority.credentials), separationOfDuty: presence(authority.separationOfDuty),
+                forbiddenCombinations: presence(authority.forbiddenCombinations),
+                ownership: ref(authority.ownership), eligibleRoles: presence(authority.eligibleRoles) }, guards: guards() }, {
+            capabilities: presence(entries('capabilities')), credentialPolicies: presence(entries('credentialPolicies')),
+            identityComparators: presence(entries('identityComparators')), ownershipPolicies: entries('ownershipPolicies').map((entry) => ({ id: entry.id, version: entry.version, c1Ownership: entry.c1Ownership, writerLease: entry.writerLease })),
+        });
+    }
+    if (ruleId === 'semantic-rule.required-inputs')
+        return context({ inputContract: rows(metadata.inputContract).map((entry) => ({ required: entry.required, input: ref(entry.input) })), guards: rows(metadata.guards).map((guard) => ({ requiredInputs: rows(guard.requiredInputs).map(ref) })) });
+    if (ruleId === 'semantic-rule.admission-boundary') {
+        const boundary = record(metadata.admissionBoundary);
+        return context({ admissionBoundary: {
+                lock: { policy: ref(record(boundary.lock).policy) },
+                orderedRevalidations: rows(boundary.orderedRevalidations).map((entry) => ({ underLock: entry.underLock })),
+                firstEffectAfterRevalidation: boundary.firstEffectAfterRevalidation, release: boundary.release,
+            } }, { lockPolicies: entries('lockPolicies').map((entry) => ({ id: entry.id, version: entry.version, lockKind: entry.lockKind })) });
+    }
+    if (ruleId === 'semantic-rule.reliable-effects') {
+        const atomicity = record(metadata.atomicity);
+        const readback = record(atomicity.readback);
+        return context({ atomicity: {
+                classification: atomicity.classification, nonMutatingFailureGuarantee: atomicity.nonMutatingFailureGuarantee,
+                readback: { adapter: ref(readback.adapter), wiring: readback.wiring, checkpoints: record(readback.checkpoints) },
+                journal: { mode: record(atomicity.journal).mode }, recovery: { mode: record(atomicity.recovery).mode, trigger: record(atomicity.recovery).trigger },
+            } }, { readbackAdapters: entries('readbackAdapters').map((entry) => ({ id: entry.id, version: entry.version, wiring: entry.wiring })) });
+    }
+    throw new TypeError(`No installed Core context projection for ${ruleId}.`);
+}
+export function evaluateInstalledReleaseRulesForCore(bindings) {
+    return [...new Set(bindings.flatMap((binding) => binding.callable(binding.context)))].sort();
+}
+function definitionIntegrity({ transition }) {
+    const guards = new Set(array(transition.guards).map((guard) => String(guard.guardId)));
+    const required = ['actor-role-eligible', 'no-c1-claim', 'no-writer-lease', 'plan-validation-passed', 'receipt-valid', 'risk-audit-passed']
+        .map((suffix) => `task.corrective-replan.${suffix}`);
+    return required.every((guard) => guards.has(guard)) ? [] : ['static.definition.mandatory-guard-incomplete'];
+}
+function exactAuthority({ transition, registry }) {
+    const authority = transition.authority;
+    const actor = authority.actor;
+    const principal = authority.principal;
+    const blockers = [];
+    if (actor.required !== true || refText(actor.identity) !== 'identity.actor@1'
+        || refText(principal.identity) !== 'identity.human-principal@1')
+        blockers.push('static.authority.actor-unbound');
+    if (array(authority.capabilities).length === 0 || array(registry.capabilities).length === 0)
+        blockers.push('static.authority.exact-capability-missing');
+    if (array(authority.credentials).length === 0 || array(registry.credentialPolicies).length === 0)
+        blockers.push('static.authority.exact-credential-missing');
+    if (array(authority.separationOfDuty).length !== 2 || array(authority.forbiddenCombinations).length !== 1
+        || array(registry.identityComparators).length !== 3)
+        blockers.push('static.authority.sod-unenforced');
+    const ownership = array(registry.ownershipPolicies).find((entry) => refText(entry) === refText(authority.ownership));
+    if (!ownership || ownership.c1Ownership === 'unchecked' || ownership.writerLease === 'unchecked')
+        blockers.push('static.authority.ownership-unchecked');
+    if (array(authority.eligibleRoles).length === 0 || !array(transition.guards)
+        .some((guard) => guard.guardId === 'task.corrective-replan.actor-role-eligible'))
+        blockers.push('static.authority.role-eligibility-unenforced');
+    return blockers;
+}
+function requiredInputs({ transition }) {
+    const inputs = new Set(array(transition.inputContract).filter((entry) => entry.required === true).map((entry) => refText(entry.input)));
+    const guarded = new Set(array(transition.guards).flatMap((guard) => array(guard.requiredInputs).map(refText)));
+    const exact = ['corrective-execution-receipt', 'corrective-plan-risk-audit', 'corrective-plan-validation', 'corrective-replacement-plan', 'expected-revision', 'task-id']
+        .map((id) => `input.${id}@1`);
+    return exact.every((id) => inputs.has(id) && guarded.has(id)) ? [] : ['static.input.exact-contract-incomplete'];
+}
+function admissionBoundary({ transition, registry }) {
+    const boundary = transition.admissionBoundary;
+    const lock = boundary.lock.policy;
+    const installed = array(registry.lockPolicies).find((entry) => refText(entry) === refText(lock));
+    const revalidations = array(boundary.orderedRevalidations);
+    return installed?.lockKind === 'exclusive-task'
+        && revalidations.length === 3 && revalidations.every((entry) => entry.underLock === true)
+        && boundary.firstEffectAfterRevalidation === true && boundary.release === 'finally-after-readback'
+        ? [] : ['static.admission.exclusive-lock-incomplete'];
+}
+function reliableEffects({ transition, registry }) {
+    const atomicity = transition.atomicity;
+    const readback = atomicity.readback;
+    const installed = array(registry.readbackAdapters).find((entry) => refText(entry) === refText(readback.adapter));
+    const blockers = [];
+    const checkpoints = readback.checkpoints;
+    if (readback.wiring !== 'invoked-post-effect' || installed?.wiring !== 'invoked-post-effect'
+        || checkpoints.preCompletion !== 'domain-readback' || checkpoints.postTerminal !== 'terminal-readback')
+        blockers.push('static.reliability.readback-unwired');
+    if (atomicity.classification !== 'journaled-multi-write' || atomicity.nonMutatingFailureGuarantee !== 'all-guards-before-effects'
+        || atomicity.journal.mode !== 'required' || atomicity.recovery.mode !== 'automatic-roll-forward'
+        || atomicity.recovery.trigger !== 'explicit-repair') {
+        blockers.push('static.reliability.contract-incomplete');
+    }
+    return blockers;
+}
+function context(transition, registry = {}) { return deepFreeze({ transition, registry, policy: {} }); }
+function record(value) { return value !== null && typeof value === 'object' && !Array.isArray(value) ? value : {}; }
+function rows(value) { return Array.isArray(value) ? value.map(record) : []; }
+function presence(value) { return Array.isArray(value) ? value.map(() => ({})) : []; }
+function ref(value) { const entry = record(value); return { id: entry.id, version: entry.version }; }
+function array(value) {
+    return Array.isArray(value) ? value : [];
+}
+function refText(value) {
+    const ref = value;
+    return ref && typeof ref.id === 'string' && Number.isInteger(ref.version) ? `${ref.id}@${ref.version}` : '';
+}
+//# sourceMappingURL=core-static-readiness.js.map

package/dist/src/lifecycle/core-static-readiness.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"core-static-readiness.js","sourceRoot":"","sources":["../../../src/lifecycle/core-static-readiness.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,yBAAyB,EAAE,MAAM,kBAAkB,CAAC;AAC7D,OAAO,EAAE,UAAU,EAAE,MAAM,gBAAgB,CAAC;AAC5C,OAAO,EAAE,0BAA0B,EAAE,MAAM,2BAA2B,CAAC;AAKvE,MAAM,aAAa,GAAG,CAAC,mBAAmB,EAAE,cAAc,EAAE,cAAc,EAAE,iBAAiB,EAAE,eAAe,CAAU,CAAC;AAEzH,MAAM,CAAC,MAAM,yBAAyB,GAAsC,UAAU,CACpF,0BAA0B,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,MAAM,CAAC,EAAE,KAAK,EAAE,EAAE,CAAC,CAAC;IACvD,EAAE,EAAE,OAAO,EAAE,CAAC;IACd,gBAAgB,EAAE,+BAA+B,MAAM,EAAE;IACzD,qBAAqB,EAAE,CAAC;IACxB,QAAQ,EAAE,aAAa,CAAC,KAAK,CAAE;CAChC,CAAC,CAAC,CACJ,CAAC;AAEF,MAAM,UAAU,gCAAgC,CAAC,GAAY,EAAE,MAAc;IAC3E,MAAM,MAAM,GAAG,GAA8B,CAAC;IAC9C,MAAM,QAAQ,GAAG,MAAM,CAAC,WAAW,CAAC,MAAM,CAAC,OAAO,CAAC,MAAM,CAAC;SACvD,MAAM,CAAC,CAAC,CAAC,GAAG,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,4BAA4B,EAAE,qBAAqB,EAAE,wBAAwB,CAAC,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;IACtH,MAAM,OAAO,GAAG,yBAAyB,CAAC,QAAiB,CAAC,CAAC,uBAE1D,CAAC;IACJ,MAAM,OAAO,GAAG,CAAC,QAAgB,EAAE,EAAE,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,QAAQ,KAAK,QAAQ,CAAC,CAAC,GAAG,CAAC,CAAC,EAAE,KAAK,EAAE,EAAE,EAAE,CAAC,KAAK,CAAC,CAAC;IACvH,MAAM,MAAM,GAAG,GAAG,EAAE,CAAC,IAAI,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC,EAAE,OAAO,EAAE,KAAK,CAAC,OAAO,EAAE,CAAC,CAAC,CAAC;IACxF,IAAI,MAAM,KAAK,oCAAoC;QAAE,OAAO,OAAO,CAAC,EAAE,MAAM,EAAE,MAAM,EAAE,EAAE,CAAC,CAAC;IAC1F,IAAI,MAAM,KAAK,+BAA+B,EAAE,CAAC;QAC/C,MAAM,SAAS,GAAG,MAAM,CAAC,QAAQ,CAAC,SAAS,CAAC,CAAC;QAAC,MAAM,KAAK,GAAG,MAAM,CAAC,SAAS,CAAC,KAAK,CAAC,CAAC;QAAC,MAAM,SAAS,GAAG,MAAM,CAAC,SAAS,CAAC,SAAS,CAAC,CAAC;QACnI,OAAO,OAAO,CAAC,EAAE,SAAS,EAAE,EAAE,KAAK,EAAE,EAAE,QAAQ,EAAE,KAAK,CAAC,QAAQ,EAAE,QAAQ,EAAE,GAAG,CAAC,KAAK,CAAC,QAAQ,CAAC,EAAE,EAAE,SAAS,EAAE,EAAE,QAAQ,EAAE,GAAG,CAAC,SAAS,CAAC,QAAQ,CAAC,EAAE;gBAChJ,YAAY,EAAE,QAAQ,CAAC,SAAS,CAAC,YAAY,CAAC,EAAE,WAAW,EAAE,QAAQ,CAAC,SAAS,CAAC,WAAW,CAAC,EAAE,gBAAgB,EAAE,QAAQ,CAAC,SAAS,CAAC,gBAAgB,CAAC;gBACpJ,qBAAqB,EAAE,QAAQ,CAAC,SAAS,CAAC,qBAAqB,CAAC;gBAChE,SAAS,EAAE,GAAG,CAAC,SAAS,CAAC,SAAS,CAAC,EAAE,aAAa,EAAE,QAAQ,CAAC,SAAS,CAAC,aAAa,CAAC,EAAE,EAAE,MAAM,EAAE,MAAM,EAAE,EAAE,EAAE;YAC7G,YAAY,EAAE,QAAQ,CAAC,OAAO,CAAC,cAAc,CAAC,CAAC,EAAE,kBAAkB,EAAE,QAAQ,CAAC,OAAO,CAAC,oBAAoB,CAAC,CAAC;YAC5G,mBAAmB,EAAE,QAAQ,CAAC,OAAO,CAAC,qBAAqB,CAAC,CAAC,EAAE,iBAAiB,EAAE,OAAO,CAAC,mBAAmB,CAAC,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC,EAAE,EAAE,EAAE,KAAK,CAAC,EAAE,EAAE,OAAO,EAAE,KAAK,CAAC,OAAO,EAAE,WAAW,EAAE,KAAK,CAAC,WAAW,EAAE,WAAW,EAAE,KAAK,CAAC,WAAW,EAAE,CAAC,CAAC;SAC1O,CAAC,CAAC;IACL,CAAC;IACD,IAAI,MAAM,KAAK,+BAA+B;QAAE,OAAO,OAAO,CAAC,EAAE,aAAa,EAAE,IAAI,CAAC,QAAQ,CAAC,aAAa,CAAC,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC,EAAE,QAAQ,EAAE,KAAK,CAAC,QAAQ,EAAE,KAAK,EAAE,GAAG,CAAC,KAAK,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC,EAAE,MAAM,EAAE,IAAI,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC,EAAE,cAAc,EAAE,IAAI,CAAC,KAAK,CAAC,cAAc,CAAC,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC;IACjS,IAAI,MAAM,KAAK,kCAAkC,EAAE,CAAC;QAAC,MAAM,QAAQ,GAAG,MAAM,CAAC,QAAQ,CAAC,iBAAiB,CAAC,CAAC;QAAC,OAAO,OAAO,CAAC,EAAE,iBAAiB,EAAE;gBAC5I,IAAI,EAAE,EAAE,MAAM,EAAE,GAAG,CAAC,MAAM,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC,MAAM,CAAC,EAAE;gBACnD,oBAAoB,EAAE,IAAI,CAAC,QAAQ,CAAC,oBAAoB,CAAC,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC,EAAE,SAAS,EAAE,KAAK,CAAC,SAAS,EAAE,CAAC,CAAC;gBAC1G,4BAA4B,EAAE,QAAQ,CAAC,4BAA4B,EAAE,OAAO,EAAE,QAAQ,CAAC,OAAO;aAC/F,EAAE,EAAE,EAAE,YAAY,EAAE,OAAO,CAAC,cAAc,CAAC,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC,EAAE,EAAE,EAAE,KAAK,CAAC,EAAE,EAAE,OAAO,EAAE,KAAK,CAAC,OAAO,EAAE,QAAQ,EAAE,KAAK,CAAC,QAAQ,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC;IAAC,CAAC;IACvI,IAAI,MAAM,KAAK,gCAAgC,EAAE,CAAC;QAAC,MAAM,SAAS,GAAG,MAAM,CAAC,QAAQ,CAAC,SAAS,CAAC,CAAC;QAAC,MAAM,QAAQ,GAAG,MAAM,CAAC,SAAS,CAAC,QAAQ,CAAC,CAAC;QAAC,OAAO,OAAO,CAAC,EAAE,SAAS,EAAE;gBACxK,cAAc,EAAE,SAAS,CAAC,cAAc,EAAE,2BAA2B,EAAE,SAAS,CAAC,2BAA2B;gBAC5G,QAAQ,EAAE,EAAE,OAAO,EAAE,GAAG,CAAC,QAAQ,CAAC,OAAO,CAAC,EAAE,MAAM,EAAE,QAAQ,CAAC,MAAM,EAAE,WAAW,EAAE,MAAM,CAAC,QAAQ,CAAC,WAAW,CAAC,EAAE;gBAChH,OAAO,EAAE,EAAE,IAAI,EAAE,MAAM,CAAC,SAAS,CAAC,OAAO,CAAC,CAAC,IAAI,EAAE,EAAE,QAAQ,EAAE,EAAE,IAAI,EAAE,MAAM,CAAC,SAAS,CAAC,QAAQ,CAAC,CAAC,IAAI,EAAE,OAAO,EAAE,MAAM,CAAC,SAAS,CAAC,QAAQ,CAAC,CAAC,OAAO,EAAE;aACpJ,EAAE,EAAE,EAAE,gBAAgB,EAAE,OAAO,CAAC,kBAAkB,CAAC,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC,EAAE,EAAE,EAAE,KAAK,CAAC,EAAE,EAAE,OAAO,EAAE,KAAK,CAAC,OAAO,EAAE,MAAM,EAAE,KAAK,CAAC,MAAM,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC;IAAC,CAAC;IAC3I,MAAM,IAAI,SAAS,CAAC,4CAA4C,MAAM,GAAG,CAAC,CAAC;AAC7E,CAAC;AAED,MAAM,UAAU,oCAAoC,CAClD,QAA4F;IAE5F,OAAO,CAAC,GAAG,IAAI,GAAG,CAAC,QAAQ,CAAC,OAAO,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC,OAAO,CAAC,QAAQ,CAAC,OAAO,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC;AAC/F,CAAC;AAED,SAAS,mBAAmB,CAAC,EAAE,UAAU,EAA0B;IACjE,MAAM,MAAM,GAAG,IAAI,GAAG,CAAC,KAAK,CAAC,UAAU,CAAC,MAAM,CAAC,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,MAAM,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC;IACvF,MAAM,QAAQ,GAAG,CAAC,qBAAqB,EAAE,aAAa,EAAE,iBAAiB,EAAE,wBAAwB,EAAE,eAAe,EAAE,mBAAmB,CAAC;SACvI,GAAG,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,0BAA0B,MAAM,EAAE,CAAC,CAAC;IACvD,OAAO,QAAQ,CAAC,KAAK,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,MAAM,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,8CAA8C,CAAC,CAAC;AAC9G,CAAC;AAED,SAAS,cAAc,CAAC,EAAE,UAAU,EAAE,QAAQ,EAA0B;IACtE,MAAM,SAAS,GAAG,UAAU,CAAC,SAAwB,CAAC;IACtD,MAAM,KAAK,GAAG,SAAS,CAAC,KAAoB,CAAC;IAC7C,MAAM,SAAS,GAAG,SAAS,CAAC,SAAwB,CAAC;IACrD,MAAM,QAAQ,GAAa,EAAE,CAAC;IAC9B,IAAI,KAAK,CAAC,QAAQ,KAAK,IAAI,IAAI,OAAO,CAAC,KAAK,CAAC,QAAQ,CAAC,KAAK,kBAAkB;WACxE,OAAO,CAAC,SAAS,CAAC,QAAQ,CAAC,KAAK,4BAA4B;QAAE,QAAQ,CAAC,IAAI,CAAC,gCAAgC,CAAC,CAAC;IACnH,IAAI,KAAK,CAAC,SAAS,CAAC,YAAY,CAAC,CAAC,MAAM,KAAK,CAAC,IAAI,KAAK,CAAC,QAAQ,CAAC,YAAY,CAAC,CAAC,MAAM,KAAK,CAAC;QAAE,QAAQ,CAAC,IAAI,CAAC,2CAA2C,CAAC,CAAC;IACxJ,IAAI,KAAK,CAAC,SAAS,CAAC,WAAW,CAAC,CAAC,MAAM,KAAK,CAAC,IAAI,KAAK,CAAC,QAAQ,CAAC,kBAAkB,CAAC,CAAC,MAAM,KAAK,CAAC;QAAE,QAAQ,CAAC,IAAI,CAAC,2CAA2C,CAAC,CAAC;IAC7J,IAAI,KAAK,CAAC,SAAS,CAAC,gBAAgB,CAAC,CAAC,MAAM,KAAK,CAAC,IAAI,KAAK,CAAC,SAAS,CAAC,qBAAqB,CAAC,CAAC,MAAM,KAAK,CAAC;WACpG,KAAK,CAAC,QAAQ,CAAC,mBAAmB,CAAC,CAAC,MAAM,KAAK,CAAC;QAAE,QAAQ,CAAC,IAAI,CAAC,iCAAiC,CAAC,CAAC;IACxG,MAAM,SAAS,GAAG,KAAK,CAAC,QAAQ,CAAC,iBAAiB,CAAC,CAAC,IAAI,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,OAAO,CAAC,KAAK,CAAC,KAAK,OAAO,CAAC,SAAS,CAAC,SAAS,CAAC,CAAC,CAAC;IACrH,IAAI,CAAC,SAAS,IAAI,SAAS,CAAC,WAAW,KAAK,WAAW,IAAI,SAAS,CAAC,WAAW,KAAK,WAAW;QAAE,QAAQ,CAAC,IAAI,CAAC,sCAAsC,CAAC,CAAC;IACxJ,IAAI,KAAK,CAAC,SAAS,CAAC,aAAa,CAAC,CAAC,MAAM,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,UAAU,CAAC,MAAM,CAAC;SACzE,IAAI,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,OAAO,KAAK,4CAA4C,CAAC;QAAE,QAAQ,CAAC,IAAI,CAAC,8CAA8C,CAAC,CAAC;IAClJ,OAAO,QAAQ,CAAC;AAClB,CAAC;AAED,SAAS,cAAc,CAAC,EAAE,UAAU,EAA0B;IAC5D,MAAM,MAAM,GAAG,IAAI,GAAG,CAAC,KAAK,CAAC,UAAU,CAAC,aAAa,CAAC,CAAC,MAAM,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,QAAQ,KAAK,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,OAAO,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC;IACxI,MAAM,OAAO,GAAG,IAAI,GAAG,CAAC,KAAK,CAAC,UAAU,CAAC,MAAM,CAAC,CAAC,OAAO,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,KAAK,CAAC,cAAc,CAAC,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC;IAC/G,MAAM,KAAK,GAAG,CAAC,8BAA8B,EAAE,4BAA4B,EAAE,4BAA4B,EAAE,6BAA6B,EAAE,mBAAmB,EAAE,SAAS,CAAC;SACtK,GAAG,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,SAAS,EAAE,IAAI,CAAC,CAAC;IAChC,OAAO,KAAK,CAAC,KAAK,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,MAAM,CAAC,GAAG,CAAC,EAAE,CAAC,IAAI,OAAO,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,wCAAwC,CAAC,CAAC;AAClH,CAAC;AAED,SAAS,iBAAiB,CAAC,EAAE,UAAU,EAAE,QAAQ,EAA0B;IACzE,MAAM,QAAQ,GAAG,UAAU,CAAC,iBAAgC,CAAC;IAC7D,MAAM,IAAI,GAAI,QAAQ,CAAC,IAAoB,CAAC,MAAM,CAAC;IACnD,MAAM,SAAS,GAAG,KAAK,CAAC,QAAQ,CAAC,YAAY,CAAC,CAAC,IAAI,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,OAAO,CAAC,KAAK,CAAC,KAAK,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC;IACjG,MAAM,aAAa,GAAG,KAAK,CAAC,QAAQ,CAAC,oBAAoB,CAAC,CAAC;IAC3D,OAAO,SAAS,EAAE,QAAQ,KAAK,gBAAgB;WAC1C,aAAa,CAAC,MAAM,KAAK,CAAC,IAAI,aAAa,CAAC,KAAK,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,SAAS,KAAK,IAAI,CAAC;WACtF,QAAQ,CAAC,4BAA4B,KAAK,IAAI,IAAI,QAAQ,CAAC,OAAO,KAAK,wBAAwB;QAClG,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,4CAA4C,CAAC,CAAC;AAC1D,CAAC;AAED,SAAS,eAAe,CAAC,EAAE,UAAU,EAAE,QAAQ,EAA0B;IACvE,MAAM,SAAS,GAAG,UAAU,CAAC,SAAwB,CAAC;IACtD,MAAM,QAAQ,GAAG,SAAS,CAAC,QAAuB,CAAC;IACnD,MAAM,SAAS,GAAG,KAAK,CAAC,QAAQ,CAAC,gBAAgB,CAAC,CAAC,IAAI,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,OAAO,CAAC,KAAK,CAAC,KAAK,OAAO,CAAC,QAAQ,CAAC,OAAO,CAAC,CAAC,CAAC;IACjH,MAAM,QAAQ,GAAa,EAAE,CAAC;IAC9B,MAAM,WAAW,GAAG,QAAQ,CAAC,WAA0B,CAAC;IACxD,IAAI,QAAQ,CAAC,MAAM,KAAK,qBAAqB,IAAI,SAAS,EAAE,MAAM,KAAK,qBAAqB;WACvF,WAAW,CAAC,aAAa,KAAK,iBAAiB,IAAI,WAAW,CAAC,YAAY,KAAK,mBAAmB;QAAE,QAAQ,CAAC,IAAI,CAAC,qCAAqC,CAAC,CAAC;IAC/J,IAAI,SAAS,CAAC,cAAc,KAAK,uBAAuB,IAAI,SAAS,CAAC,2BAA2B,KAAK,2BAA2B;WAC3H,SAAS,CAAC,OAAuB,CAAC,IAAI,KAAK,UAAU,IAAK,SAAS,CAAC,QAAwB,CAAC,IAAI,KAAK,wBAAwB;WAC9H,SAAS,CAAC,QAAwB,CAAC,OAAO,KAAK,iBAAiB,EAAE,CAAC;QACvE,QAAQ,CAAC,IAAI,CAAC,wCAAwC,CAAC,CAAC;IAC1D,CAAC;IACD,OAAO,QAAQ,CAAC;AAClB,CAAC;AAED,SAAS,OAAO,CAAC,UAAmC,EAAE,WAA+D,EAAE,IAA4B,OAAO,UAAU,CAAC,EAAE,UAAU,EAAE,QAAQ,EAAE,MAAM,EAAE,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC;AAC7M,SAAS,MAAM,CAAC,KAAc,IAA6B,OAAO,KAAK,KAAK,IAAI,IAAI,OAAO,KAAK,KAAK,QAAQ,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,KAAgC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;AACjL,SAAS,IAAI,CAAC,KAAc,IAA+B,OAAO,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;AAClH,SAAS,QAAQ,CAAC,KAAc,IAA6B,OAAO,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,GAAG,CAAC,GAAG,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;AACxH,SAAS,GAAG,CAAC,KAAc,IAA6B,MAAM,KAAK,GAAG,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,OAAO,EAAE,EAAE,EAAE,KAAK,CAAC,EAAE,EAAE,OAAO,EAAE,KAAK,CAAC,OAAO,EAAE,CAAC,CAAC,CAAC;AAEvI,SAAS,KAAK,CAAC,KAAc;IAC3B,OAAO,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,KAAkC,CAAC,CAAC,CAAC,EAAE,CAAC;AACxE,CAAC;AAED,SAAS,OAAO,CAAC,KAAc;IAC7B,MAAM,GAAG,GAAG,KAAmD,CAAC;IAChE,OAAO,GAAG,IAAI,OAAO,GAAG,CAAC,EAAE,KAAK,QAAQ,IAAI,MAAM,CAAC,SAAS,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,GAAG,GAAG,CAAC,EAAE,IAAI,GAAG,CAAC,OAAO,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;AAC9G,CAAC"}

package/dist/src/lifecycle/corrective-replan-authority.d.ts

@@ -0,0 +1,53 @@
+type AuthorityCallable = (...arguments_: readonly unknown[]) => unknown;
+export interface AuthoritySemanticBinding {
+    readonly id: string;
+    readonly version: 1;
+    readonly kind: 'role-evaluator' | 'identity-comparator';
+    readonly implementationId: `implementation.${string}`;
+    readonly implementationVersion: number;
+    readonly wiring: 'invoked';
+    readonly callable: AuthorityCallable;
+}
+interface AuthorityIssue {
+    readonly issueId: string;
+    readonly path: string;
+    readonly message: string;
+}
+export declare const installedAuthoritySemanticBindings: readonly AuthoritySemanticBinding[];
+/** Diagnostic-only assessment of the installed static tuple. It cannot issue a Core handle. */
+export declare function assessCorrectiveReplanAuthorityTuple(tuple: unknown): {
+    reportHash: string;
+    staticTupleValid: boolean;
+    blockers: string[];
+    issues: AuthorityIssue[];
+    bindings: readonly AuthoritySemanticBinding[];
+};
+export declare function projectAuthoritySemanticBundle(bindings: readonly AuthoritySemanticBinding[]): {
+    bundleSha256: string;
+    bundleVersion: number;
+    bindingManifest: {
+        manifestSha256: string;
+        id: "binding-manifest.corrective-replan.exact-v1";
+        version: 1;
+        rows: {
+            ordinal: number;
+            bindingId: string;
+            projection: {
+                id: `projection.${string}`;
+                version: 1;
+            };
+            fieldId: `field.${string}`;
+            valueKind: "sha256" | "literal" | "safe-integer" | "entity-id" | "git-oid" | "actor-role";
+            canonicalization: "exact" | "lowercase-hex" | "safe-nonnegative-integer" | "nfc-trim" | "lowercase-git-oid" | "registered-enum";
+            receiptPath: `/binding/values/${string}`;
+        }[];
+    };
+    bindings: {
+        id: string;
+        version: 1;
+        kind: "role-evaluator" | "identity-comparator";
+        implementationId: `implementation.${string}`;
+        implementationVersion: number;
+    }[];
+};
+export {};