codex-workflow-v2 2.0.0-beta.2 → 2.0.0-beta.4

package/dist/src/lifecycle/semantic-registry.js

@@ -0,0 +1,489 @@
+import { deepFreeze } from './immutable.js';
+import { correctiveReplanBindingManifest } from './corrective-replan-binding-manifest.js';
+const v1 = (id) => ({ id, version: 1 });
+const correctiveSnapshotRef = v1('projection.corrective-replan.snapshot');
+const correctiveBindingRef = v1('projection.corrective-replan.bindings');
+export const exactTransitionCoverageProfileRef = v1('coverage-profile.exact-transition');
+export const exactMutationReleaseProfileRef = v1('release-profile.exact-mutation');
+const schemas = [
+    schema('schema.corrective-replan-bindings', 'object', 'Exact corrective transition bindings.'),
+    schema('schema.corrective-replan-snapshot', 'object', 'Current corrective transition snapshot.'),
+    schema('schema.corrective-replan-binding', 'object', 'Exact state-bound receipt binding.'),
+    schema('schema.corrective-replan-plan-validation-attestation', 'object', 'Passed independent Plan Validation attestation.'),
+    schema('schema.corrective-replan-receipt', 'object', 'Human-confirmed execution receipt.'),
+    schema('schema.corrective-replan-task-transaction', 'object', 'Retained corrective-replan Task transaction journal.'),
+    schema('schema.expected-revision', 'integer', 'Expected Task revision.'),
+    schema('schema.plan-risk-audit-input', 'object', 'Replacement Plan Risk Audit input.'),
+    schema('schema.task-id', 'string', 'Task identity.'),
+    schema('schema.task-plan-input', 'object', 'Materialized replacement Task Plan input.'),
+    schema('schema.task-state-readback', 'object', 'Task state readback after Plan replacement.'),
+];
+const manifestFields = correctiveReplanBindingManifest.rows.map(({ projection: _projection, ...entry }) => entry.fieldId);
+const manifestProjectionFields = (projectionId) => correctiveReplanBindingManifest.rows
+    .filter((entry) => entry.projection.id === projectionId)
+    .map((entry) => entry.fieldId);
+const executionKeyFields = correctiveReplanBindingManifest.rows.map(({ projection, fieldId }) => ({ projection, fieldId }));
+const projections = [
+    projection('projection.corrective-replan.bindings', 'schema.corrective-replan-bindings', [
+        'field.candidate-plan-hash',
+        'field.candidate-step-ids',
+        'field.corrective-decision-event-id',
+        'field.current-plan-hash',
+        'field.expected-revision',
+        'field.step-id',
+        'field.task-id',
+    ], 'Current navigation and candidate execution bindings.'),
+    projection('projection.corrective-replan.protocol', 'schema.corrective-replan-binding', manifestProjectionFields('projection.corrective-replan.protocol'), 'Protocol and catalog receipt bindings.'),
+    projection('projection.corrective-replan.state', 'schema.corrective-replan-binding', manifestProjectionFields('projection.corrective-replan.state'), 'Current Task, Knowledge, Git, and corrective posture bindings.'),
+    projection('projection.corrective-replan.candidate', 'schema.corrective-replan-binding', manifestProjectionFields('projection.corrective-replan.candidate'), 'Candidate Plan, Validation, and Risk Audit bindings.'),
+    projection('projection.corrective-replan.authority', 'schema.corrective-replan-binding', manifestProjectionFields('projection.corrective-replan.authority'), 'Actor, Human principal, and capability bindings.'),
+    projection('projection.corrective-replan.execution-receipt', 'schema.corrective-replan-receipt', manifestFields, 'Exact 28-field execution receipt binding.'),
+    projection('projection.corrective-replan.snapshot', 'schema.corrective-replan-snapshot', [
+        'field.candidate-plan-hash',
+        'field.candidate-step-ids',
+        'field.corrective-decision-decision',
+        'field.corrective-decision-event-id',
+        'field.corrective-decision-plan-hash',
+        'field.corrective-decision-step-id',
+        'field.corrective-decision-triggering-attempt-count',
+        'field.corrective-posture',
+        'field.current-plan-hash',
+        'field.in-progress-step-ids',
+        'field.remediation-attempt-count',
+        'field.step-id',
+        'field.step-status',
+        'field.task-id',
+        'field.task-revision',
+        'field.task-status',
+        'field.actor-role-eligible',
+        'field.c1-claim-absent',
+        'field.writer-lease-absent',
+        'field.plan-validation-passed',
+        'field.receipt-valid',
+        'field.risk-audit-passed',
+    ], 'Current mutation-free corrective evaluator snapshot.'),
+    projection('projection.input.expected-revision', 'schema.expected-revision', [
+        'field.expected-revision',
+    ], 'Expected revision input.'),
+    projection('projection.input.plan-risk-audit', 'schema.plan-risk-audit-input', [
+        'field.risk-audit-hash',
+        'field.risk-auditor-identity-hash',
+    ], 'Replacement Plan Risk Audit input.'),
+    projection('projection.input.plan-validation', 'schema.corrective-replan-plan-validation-attestation', [
+        'field.plan-validation-hash', 'field.plan-validator-identity-hash',
+    ], 'Independent candidate-bound Plan Validation input.'),
+    projection('projection.input.execution-receipt', 'schema.corrective-replan-receipt', manifestFields, 'Explicit state-bound corrective-replan receipt.'),
+    projection('projection.input.replacement-plan', 'schema.task-plan-input', [
+        'field.candidate-plan-hash',
+        'field.candidate-step-ids',
+        'field.candidate-step-set-hash',
+    ], 'Prepared replacement Plan input.'),
+    projection('projection.input.task-id', 'schema.task-id', [
+        'field.task-id',
+    ], 'Task identity input.'),
+    projection('projection.task-state.readback', 'schema.task-state-readback', [
+        'field.task-id',
+        'field.task-plan-hash',
+        'field.task-revision',
+        'field.task-status',
+    ], 'Task state post-effect readback projection.'),
+    projection('projection.corrective-replan.terminal-readback', 'schema.task-state-readback', [
+        'field.task-id', 'field.task-revision', 'field.task-status', 'field.current-plan-hash',
+        'field.plan-validation-hash', 'field.risk-audit-hash', 'field.runtime-fingerprint', 'field.catalog-hash',
+    ], 'Domain and retained-terminal-journal readback projection.'),
+];
+const inputs = [
+    input('input.corrective-plan-risk-audit', 'operator-input', 'risk-audit-file', 'schema.plan-risk-audit-input', 'projection.input.plan-risk-audit', 'hash-policy.canonical-json-sha256', 'Replacement Plan Risk Audit.'),
+    input('input.corrective-plan-validation', 'operator-input', 'validation-file', 'schema.corrective-replan-plan-validation-attestation', 'projection.input.plan-validation', 'hash-policy.canonical-json-sha256', 'Independent passed Plan Validation.'),
+    input('input.corrective-execution-receipt', 'credential', 'credential-file', 'schema.corrective-replan-receipt', 'projection.input.execution-receipt', 'hash-policy.canonical-json-sha256', 'Human-confirmed exact execution receipt.'),
+    input('input.corrective-replacement-plan', 'operator-input', 'file', 'schema.task-plan-input', 'projection.input.replacement-plan', 'hash-policy.raw-sha256', 'Replacement Plan.'),
+    input('input.expected-revision', 'binding', 'expected-revision', 'schema.expected-revision', 'projection.input.expected-revision', null, 'Expected Task revision.'),
+    input('input.task-id', 'binding', 'id', 'schema.task-id', 'projection.input.task-id', null, 'Task identity.'),
+];
+const identities = [
+    identity('identity.actor', { kind: 'projection', field: field('projection.corrective-replan.authority', 'field.actor-identity-hash') }, 'Receipt-bound executing actor.'),
+    identity('identity.human-principal', { kind: 'projection', field: field('projection.corrective-replan.authority', 'field.human-principal-identity-hash') }, 'Human confirmation principal.'),
+    identity('identity.plan-author', { kind: 'projection', field: field('projection.corrective-replan.candidate', 'field.plan-author-identity-hash') }, 'Replacement Plan author.'),
+    identity('identity.plan-validator', { kind: 'projection', field: field('projection.corrective-replan.candidate', 'field.plan-validator-identity-hash') }, 'Independent Plan validator.'),
+    identity('identity.risk-auditor', { kind: 'projection', field: field('projection.corrective-replan.candidate', 'field.risk-auditor-identity-hash') }, 'Replacement Plan risk auditor.'),
+    identity('identity.workflow-core', { kind: 'workflow-core' }, 'Workflow Core audit identity.'),
+];
+const identityComparators = [
+    comparator('identity-comparator.corrective-replan.author-validator', 'sod.plan-author-plan-validator-distinct', 'identity.plan-author', 'identity.plan-validator', 'distinct'),
+    comparator('identity-comparator.corrective-replan.author-risk-auditor', 'sod.plan-author-risk-auditor-distinct', 'identity.plan-author', 'identity.risk-auditor', 'distinct'),
+    comparator('identity-comparator.corrective-replan.author-human-principal', 'forbidden.plan-author-human-principal-self-authorize', 'identity.plan-author', 'identity.human-principal', 'cannot-authorize'),
+];
+const guardEvaluators = [
+    guardEvaluator('active-decision', [], 'Active corrective decision evaluator.'),
+    guardEvaluator('attempt-threshold', [], 'Corrective remediation threshold evaluator.'),
+    guardEvaluator('bindings-current', ['input.expected-revision', 'input.task-id'], 'Exact binding freshness evaluator.'),
+    guardEvaluator('guarded-step-retained', ['input.corrective-replacement-plan'], 'Candidate guarded Step retention evaluator.'),
+    guardEvaluator('no-step-in-progress', [], 'Running Step exclusion evaluator.'),
+    guardEvaluator('semantic-plan-change', ['input.corrective-replacement-plan'], 'Candidate Plan semantic change evaluator.'),
+    guardEvaluator('source-posture', [], 'Task and guarded Step source posture evaluator.'),
+    guardEvaluator('actor-role-eligible', ['input.corrective-execution-receipt'], 'Exact actor-role eligibility evaluator.'),
+    guardEvaluator('no-c1-claim', ['input.corrective-execution-receipt'], 'C1 claim absence under the Task operation lock.'),
+    guardEvaluator('no-writer-lease', ['input.corrective-execution-receipt'], 'Writer lease absence under the Task operation lock.'),
+    guardEvaluator('plan-validation-passed', ['input.corrective-plan-validation'], 'Exact Plan Validation attestation verifier.'),
+    guardEvaluator('receipt-valid', ['input.corrective-execution-receipt'], 'State-bound execution receipt verifier.'),
+    guardEvaluator('risk-audit-passed', ['input.corrective-plan-risk-audit'], 'Exact candidate-bound Risk Audit verifier.'),
+];
+const limitations = [
+    limitation('limitation.release-profile.verified-evidence-external', 'accepted', 'Package release evidence is verified outside runtime static readiness.'),
+];
+const coverageProfiles = [{
+        id: exactTransitionCoverageProfileRef.id,
+        version: exactTransitionCoverageProfileRef.version,
+        description: 'Exact transition positive, hostile, replay, recovery, and postcondition evidence.',
+        requiredEvidenceKinds: [
+            'conditional-effect-false',
+            'conditional-effect-true',
+            'guard-negative',
+            'guard-positive',
+            'journal-phase',
+            'postcondition',
+            'recovery-phase',
+            'replay-conflicting',
+            'replay-identical-completed',
+            'replay-identical-in-progress',
+        ],
+    }];
+const readinessRuleIds = [
+    'readiness.atomicity.journal-required',
+    'readiness.atomicity.replay-incomplete',
+    'readiness.authority.actor-unbound',
+    'readiness.authority.exact-capability-missing',
+    'readiness.authority.state-bound-receipt-missing',
+    'readiness.catalog.coverage-profile-empty',
+    'readiness.catalog.coverage-report-invalid',
+    'readiness.catalog.coverage-report-missing',
+    'readiness.catalog.empty',
+    'readiness.definition.limitation-blocked',
+    'readiness.effect.narrow-lock-missing',
+    'readiness.effect.race-revalidation-incomplete',
+    'readiness.evidence.coverage-incomplete',
+    'readiness.guard.enforcement-incomplete',
+    'readiness.input.required-not-guarded',
+    'readiness.readback.postcondition-incomplete',
+];
+const semanticRules = [
+    { id: 'semantic-rule.definition-integrity', version: 1, description: 'Definition limitations and static integrity.', obligationIds: ['obligation.definition-integrity'] },
+    { id: 'semantic-rule.exact-authority', version: 1, description: 'Exact actor, capability, credential, and SoD authority.', obligationIds: ['obligation.exact-authority'] },
+    { id: 'semantic-rule.required-inputs', version: 1, description: 'Required exact mutation inputs and guard coverage.', obligationIds: ['obligation.required-inputs'] },
+    { id: 'semantic-rule.admission-boundary', version: 1, description: 'Exclusive lock and under-lock race revalidation.', obligationIds: ['obligation.admission-boundary'] },
+    { id: 'semantic-rule.reliable-effects', version: 1, description: 'Journal, replay, recovery, and readback completeness.', obligationIds: ['obligation.reliable-effects'] },
+];
+const releaseProfiles = [{
+        id: exactMutationReleaseProfileRef.id,
+        version: exactMutationReleaseProfileRef.version,
+        description: 'Fail-closed exact mutating transition release profile.',
+        coverageProfile: exactTransitionCoverageProfileRef,
+        allowedLimitations: [v1('limitation.release-profile.verified-evidence-external')],
+        requiredRules: semanticRules.map(({ id, version }) => ({ id, version })),
+        requireExactAuthority: true,
+        requireExclusiveLockForMutation: true,
+        requireJournalForMultiWrite: true,
+    }];
+export const transitionSemanticRegistry = deepFreeze(validateSemanticRegistry({
+    inputs,
+    schemas,
+    projections,
+    hashPolicies: [
+        { id: 'hash-policy.canonical-json-sha256', version: 1, description: 'Canonical JSON SHA-256.', algorithm: 'sha256', canonicalization: 'canonical-json' },
+        { id: 'hash-policy.raw-sha256', version: 1, description: 'Raw byte SHA-256.', algorithm: 'sha256', canonicalization: 'raw-bytes' },
+    ],
+    identities,
+    identityComparators,
+    principalBases: [
+        { id: 'principal-basis.human-confirmation', version: 1, description: 'Exact Human confirmation authority basis.', principalKind: 'human', authoritySource: 'human-confirmation' },
+    ],
+    capabilities: [{
+            id: 'capability.task.corrective-replan', version: 1, description: 'Human-issued capability for one exact replacement candidate.',
+            transitionId: 'task.plan.corrective-replan', issuer: v1('identity.human-principal'),
+            scope: v1('projection.corrective-replan.execution-receipt'), exactCandidateBound: true,
+        }],
+    credentialPolicies: [{
+            id: 'credential-policy.corrective-execution-receipt', version: 1, description: 'Exact state-bound Human-confirmed receipt.',
+            credentialKind: 'execution-receipt', schema: v1('schema.corrective-replan-receipt'),
+            verifier: v1('credential-verifier.corrective-replan.receipt'), issuer: v1('identity.human-principal'),
+            presentation: { mode: 'explicit-input', input: v1('input.corrective-execution-receipt') },
+            validity: { mode: 'bounded-ttl', clock: v1('clock.workflow-core-utc'), maxTtlMs: 900_000, skewMs: 30_000, expiryFailureCode: 'CREDENTIAL_EXPIRED' },
+            replay: { mode: 'execution-key-bound', executionKeyPolicy: v1('execution-key-policy.corrective-replan-exact') },
+            binding: { projection: v1('projection.corrective-replan.execution-receipt'), fieldIds: manifestFields },
+        }],
+    credentialVerifiers: [{ id: 'credential-verifier.corrective-replan.receipt', version: 1, description: 'The invoked Core credential kernel recomputes receipt and all current bindings.', verifierKind: 'state-bound-sha256' }],
+    clocks: [{ id: 'clock.workflow-core-utc', version: 1, description: 'Workflow Core injected UTC clock.', clockKind: 'workflow-core-utc' }],
+    delegationPolicies: [
+        { id: 'delegation.forbidden', version: 1, description: 'Delegation is forbidden.', mode: 'forbidden', scopeBound: false, expiryRequired: false, redelegationAllowed: false },
+    ],
+    ownershipPolicies: [
+        { id: 'ownership.corrective-replan-clear', version: 1, description: 'No C1 claim or Writer lease may remain at replan admission.', c1Ownership: 'forbidden', writerLease: 'forbidden', ownerBinding: 'actor' },
+    ],
+    guardEvaluators,
+    effectAdapters: [
+        { id: 'effect-adapter.journaled-corrective-replan', version: 1, description: 'Receipt-bound five-target corrective-replan executor.', adapterKind: 'journaled-corrective-replan' },
+    ],
+    resources: [
+        { id: 'resource.plan-artifact', version: 1, description: 'Published Task Plan artifact.', resourceKind: 'artifact' },
+        { id: 'resource.plan-validation-sidecar', version: 1, description: 'Plan Validation evidence sidecar.', resourceKind: 'sidecar' },
+        { id: 'resource.plan-risk-audit-sidecar', version: 1, description: 'Plan Risk Audit sidecar.', resourceKind: 'sidecar' },
+        { id: 'resource.corrective-replan-execution-sidecar', version: 1, description: 'Corrective-replan execution evidence sidecar.', resourceKind: 'sidecar' },
+        { id: 'resource.corrective-replan-journal', version: 1, description: 'Retained Task corrective-replan journal.', resourceKind: 'journal' },
+        { id: 'resource.task-state', version: 1, description: 'Task state.', resourceKind: 'task-state' },
+    ],
+    lockPolicies: [
+        { id: 'lock-policy.corrective-replan-task-exclusive', version: 1, description: 'Same-slot exclusive Task operation lock.', lockKind: 'exclusive-task', scope: slice('projection.corrective-replan.state', ['field.task-id']) },
+    ],
+    executionKeyPolicies: [
+        { id: 'execution-key-policy.corrective-replan-exact', version: 1, description: 'Exact AD-16 28-field execution key.', requiredFields: executionKeyFields },
+    ],
+    journalSchemas: [{ id: 'journal-schema.corrective-replan-task', version: 1, description: 'Closed retained Task transaction journal.', schema: v1('schema.corrective-replan-task-transaction') }],
+    journalAdapters: [{ id: 'journal-adapter.corrective-replan-task', version: 1, description: 'Durable exact-target Task journal.', compatibleEffectAdapters: [v1('effect-adapter.journaled-corrective-replan')] }],
+    recoveryAdapters: [{ id: 'recovery-adapter.corrective-replan-roll-forward', version: 1, description: 'Explicit apply-or-confirm roll-forward.', compatibleJournalAdapters: [v1('journal-adapter.corrective-replan-task')] }],
+    readbackAdapters: [
+        {
+            id: 'readback-adapter.corrective-replan-terminal',
+            version: 1,
+            description: 'Domain readback before completion and retained-journal readback after terminal.',
+            compatibleEffectAdapters: [v1('effect-adapter.journaled-corrective-replan')],
+            wiring: 'invoked-post-effect',
+            implementationResult: 'projected-readback',
+            validationProjection: v1('projection.corrective-replan.terminal-readback'),
+            projectionWiring: 'invoked',
+        },
+    ],
+    limitations,
+    releaseProfiles,
+    coverageProfiles,
+    coverageProducers: [],
+    semanticRules,
+    readinessRuleIds: [...readinessRuleIds],
+}));
+export function validateSemanticRegistry(registry) {
+    const categories = [
+        registry.inputs,
+        registry.schemas,
+        registry.projections,
+        registry.hashPolicies,
+        registry.identities,
+        registry.identityComparators,
+        registry.principalBases,
+        registry.capabilities,
+        registry.credentialPolicies,
+        registry.credentialVerifiers,
+        registry.clocks,
+        registry.delegationPolicies,
+        registry.ownershipPolicies,
+        registry.guardEvaluators,
+        registry.effectAdapters,
+        registry.resources,
+        registry.lockPolicies,
+        registry.executionKeyPolicies,
+        registry.journalSchemas,
+        registry.journalAdapters,
+        registry.recoveryAdapters,
+        registry.readbackAdapters,
+        registry.limitations,
+        registry.releaseProfiles,
+        registry.coverageProfiles,
+        registry.coverageProducers,
+        registry.semanticRules,
+    ];
+    for (const entries of categories)
+        assertUniqueRegisteredEntries(entries);
+    assertUniqueStrings(registry.readinessRuleIds, 'readiness rule IDs');
+    for (const projectionEntry of registry.projections) {
+        resolveRegistryEntry(registry.schemas, projectionEntry.schema, 'schema');
+        assertUniqueStrings(projectionEntry.fieldIds, `${projectionEntry.id} fields`);
+    }
+    for (const inputEntry of registry.inputs) {
+        resolveRegistryEntry(registry.schemas, inputEntry.schema, 'schema');
+        resolveRegistryEntry(registry.projections, inputEntry.projection, 'projection');
+        if (inputEntry.hashPolicy)
+            resolveRegistryEntry(registry.hashPolicies, inputEntry.hashPolicy, 'hash policy');
+    }
+    for (const identityEntry of registry.identities) {
+        if (identityEntry.normalization) {
+            resolveRegistryEntry(registry.hashPolicies, identityEntry.normalization, 'hash policy');
+        }
+        if (identityEntry.provider.kind === 'projection')
+            assertProjectionField(registry, identityEntry.provider.field);
+    }
+    for (const comparator of registry.identityComparators) {
+        if (comparator.operands.length < 2)
+            throw new TypeError(`Identity comparator ${comparator.id} has fewer than two operands.`);
+        assertUniqueStrings(comparator.operands.map((operand) => `${operand.id}@${operand.version}`), `${comparator.id} operands`);
+        for (const operand of comparator.operands)
+            resolveRegistryEntry(registry.identities, operand, 'identity comparator operand');
+    }
+    for (const capabilityEntry of registry.capabilities) {
+        resolveRegistryEntry(registry.identities, capabilityEntry.issuer, 'identity');
+        resolveRegistryEntry(registry.projections, capabilityEntry.scope, 'projection');
+    }
+    for (const credentialEntry of registry.credentialPolicies)
+        validateCredentialPolicy(registry, credentialEntry);
+    for (const evaluator of registry.guardEvaluators) {
+        resolveRegistryEntry(registry.projections, evaluator.snapshot, 'projection');
+        resolveRegistryEntry(registry.projections, evaluator.binding, 'projection');
+        for (const inputRef of evaluator.allowedInputs)
+            resolveRegistryEntry(registry.inputs, inputRef, 'input');
+    }
+    for (const profile of registry.coverageProfiles) {
+        if (profile.requiredEvidenceKinds.length === 0)
+            throw new TypeError(`Coverage profile ${profile.id} is empty.`);
+        assertUniqueStrings(profile.requiredEvidenceKinds, `${profile.id} evidence kinds`);
+    }
+    for (const profile of registry.releaseProfiles)
+        validateReleaseProfile(registry, profile);
+    for (const policy of registry.executionKeyPolicies) {
+        if (policy.requiredFields.length === 0)
+            throw new TypeError(`Execution key policy ${policy.id} is empty.`);
+        assertUniqueStrings(policy.requiredFields.map(projectionFieldKey), `${policy.id} required fields`);
+        for (const requiredField of policy.requiredFields)
+            assertProjectionField(registry, requiredField);
+    }
+    for (const policy of registry.lockPolicies) {
+        if (policy.lockKind === 'none' && policy.scope !== null)
+            throw new TypeError(`Lock policy ${policy.id} cannot declare a scope.`);
+        if (policy.lockKind !== 'none' && policy.scope === null)
+            throw new TypeError(`Lock policy ${policy.id} requires a scope.`);
+        if (policy.scope)
+            assertProjectionSlice(registry, policy.scope);
+    }
+    for (const adapter of registry.readbackAdapters) {
+        resolveRegistryEntry(registry.projections, adapter.validationProjection, 'readback validation projection');
+        if (adapter.implementationResult === 'raw-task-state' && adapter.projectionWiring !== 'unimplemented') {
+            throw new TypeError(`Readback adapter ${adapter.id} cannot claim projected validation for a raw TaskState result.`);
+        }
+    }
+    return registry;
+}
+export function resolveRegistryEntry(entries, ref, label) {
+    const match = entries.find((entry) => entry.id === ref.id && entry.version === ref.version);
+    if (!match)
+        throw new TypeError(`Unknown registered ${label} ${ref.id}@${ref.version}.`);
+    return match;
+}
+function validateCredentialPolicy(registry, policy) {
+    resolveRegistryEntry(registry.schemas, policy.schema, 'credential schema');
+    resolveRegistryEntry(registry.credentialVerifiers, policy.verifier, 'credential verifier');
+    resolveRegistryEntry(registry.identities, policy.issuer, 'credential issuer');
+    assertProjectionSlice(registry, policy.binding);
+    if (policy.presentation.mode === 'explicit-input')
+        resolveRegistryEntry(registry.inputs, policy.presentation.input, 'credential input');
+    if (policy.validity.mode === 'bounded-ttl') {
+        resolveRegistryEntry(registry.clocks, policy.validity.clock, 'clock');
+        if (!Number.isInteger(policy.validity.maxTtlMs) || policy.validity.maxTtlMs <= 0) {
+            throw new TypeError(`Credential policy ${policy.id} has invalid maxTtlMs.`);
+        }
+        if (!Number.isInteger(policy.validity.skewMs) || policy.validity.skewMs < 0) {
+            throw new TypeError(`Credential policy ${policy.id} has invalid skewMs.`);
+        }
+    }
+    if (policy.replay.mode === 'execution-key-bound') {
+        resolveRegistryEntry(registry.executionKeyPolicies, policy.replay.executionKeyPolicy, 'execution key policy');
+    }
+    if (policy.id === 'credential-policy.corrective-execution-receipt' && policy.version === 1) {
+        const exactProjection = resolveRegistryEntry(registry.projections, v1('projection.corrective-replan.execution-receipt'), 'exact corrective receipt projection');
+        if (policy.binding.projection.id !== exactProjection.id
+            || policy.binding.projection.version !== exactProjection.version
+            || policy.binding.fieldIds.length !== exactProjection.fieldIds.length
+            || exactProjection.fieldIds.some((fieldId) => !policy.binding.fieldIds.includes(fieldId))) {
+            throw new TypeError('Exact corrective receipt policy must bind every registered receipt field exactly once.');
+        }
+        if (policy.presentation.mode !== 'explicit-input'
+            || policy.presentation.input.id !== 'input.corrective-execution-receipt'
+            || policy.validity.mode !== 'bounded-ttl'
+            || policy.replay.mode !== 'execution-key-bound'
+            || policy.verifier.id !== 'credential-verifier.corrective-replan.receipt') {
+            throw new TypeError('Exact corrective receipt policy has incomplete presentation, TTL, replay, or verifier semantics.');
+        }
+    }
+}
+function validateReleaseProfile(registry, profile) {
+    resolveRegistryEntry(registry.coverageProfiles, profile.coverageProfile, 'coverage profile');
+    assertUniqueStrings(profile.requiredRules.map((rule) => `${rule.id}@${rule.version}`), `${profile.id} semantic rules`);
+    for (const ruleRef of profile.requiredRules) {
+        resolveRegistryEntry(registry.semanticRules, ruleRef, 'semantic rule');
+    }
+    for (const limitationRef of profile.allowedLimitations) {
+        const limitationEntry = resolveRegistryEntry(registry.limitations, limitationRef, 'limitation');
+        if (limitationEntry.disposition !== 'accepted') {
+            throw new TypeError(`Release profile ${profile.id} cannot allow unresolved limitation ${limitationRef.id}@${limitationRef.version}.`);
+        }
+    }
+}
+function assertProjectionField(registry, field) {
+    const projectionEntry = resolveRegistryEntry(registry.projections, field.projection, 'projection');
+    if (!projectionEntry.fieldIds.includes(field.fieldId)) {
+        throw new TypeError(`Projection ${field.projection.id}@${field.projection.version} has no field ${field.fieldId}.`);
+    }
+}
+function assertProjectionSlice(registry, slice) {
+    const projectionEntry = resolveRegistryEntry(registry.projections, slice.projection, 'projection');
+    assertUniqueStrings(slice.fieldIds, `${slice.projection.id} slice fields`);
+    for (const fieldId of slice.fieldIds) {
+        if (!projectionEntry.fieldIds.includes(fieldId))
+            throw new TypeError(`Projection ${slice.projection.id} has no field ${fieldId}.`);
+    }
+}
+function assertUniqueRegisteredEntries(entries) {
+    assertUniqueStrings(entries.map((entry) => `${entry.id}@${entry.version}`), 'registered ID/version pairs');
+}
+function assertUniqueStrings(values, label) {
+    if (new Set(values).size !== values.length)
+        throw new TypeError(`Duplicate ${label}.`);
+}
+function schema(id, valueKind, description) {
+    return { id, version: 1, description, valueKind };
+}
+function projection(id, schemaId, fieldIds, description) {
+    return { id, version: 1, description, schema: v1(schemaId), fieldIds };
+}
+function input(id, source, cliName, schemaId, projectionId, hashPolicyId, description) {
+    return {
+        id,
+        version: 1,
+        description,
+        source,
+        cliName,
+        schema: v1(schemaId),
+        projection: v1(projectionId),
+        hashPolicy: hashPolicyId ? v1(hashPolicyId) : null,
+    };
+}
+function identity(id, provider, description) {
+    return { id, version: 1, description, provider, normalization: null };
+}
+function comparator(id, constraintId, left, right, relation) {
+    return {
+        id, version: 1, description: `Exact ${constraintId} identity comparison.`,
+        transitionId: 'task.plan.corrective-replan', constraintId,
+        operands: [v1(left), v1(right)], relation, missingIdentity: 'block',
+    };
+}
+function guardEvaluator(suffix, allowedInputIds, description) {
+    return {
+        id: `guard-evaluator.task.corrective-replan.${suffix}`,
+        version: 1,
+        description,
+        transitionId: 'task.plan.corrective-replan',
+        guardId: `task.corrective-replan.${suffix}`,
+        snapshot: correctiveSnapshotRef,
+        binding: correctiveBindingRef,
+        allowedInputs: allowedInputIds.map(v1),
+    };
+}
+function limitation(id, disposition, description) {
+    return { id, version: 1, description, disposition };
+}
+function field(projectionId, fieldId) {
+    return { projection: v1(projectionId), fieldId };
+}
+function slice(projectionId, fieldIds) {
+    return { projection: v1(projectionId), fieldIds };
+}
+function projectionFieldKey(value) {
+    return `${value.projection.id}@${value.projection.version}:${value.fieldId}`;
+}
+//# sourceMappingURL=semantic-registry.js.map

package/dist/src/lifecycle/semantic-registry.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"semantic-registry.js","sourceRoot":"","sources":["../../../src/lifecycle/semantic-registry.ts"],"names":[],"mappings":"AAmBA,OAAO,EAAE,UAAU,EAAE,MAAM,gBAAgB,CAAC;AAC5C,OAAO,EAAE,+BAA+B,EAAE,MAAM,yCAAyC,CAAC;AAE1F,MAAM,EAAE,GAAG,CAAqB,EAAO,EAAsB,EAAE,CAAC,CAAC,EAAE,EAAE,EAAE,OAAO,EAAE,CAAC,EAAE,CAAC,CAAC;AAErF,MAAM,qBAAqB,GAAG,EAAE,CAAC,uCAAuC,CAAC,CAAC;AAC1E,MAAM,oBAAoB,GAAG,EAAE,CAAC,uCAAuC,CAAC,CAAC;AAEzE,MAAM,CAAC,MAAM,iCAAiC,GAC5C,EAAE,CAAC,mCAAmC,CAAC,CAAC;AAC1C,MAAM,CAAC,MAAM,8BAA8B,GACzC,EAAE,CAAC,gCAAgC,CAAC,CAAC;AAEvC,MAAM,OAAO,GAAG;IACd,MAAM,CAAC,mCAAmC,EAAE,QAAQ,EAAE,uCAAuC,CAAC;IAC9F,MAAM,CAAC,mCAAmC,EAAE,QAAQ,EAAE,yCAAyC,CAAC;IAChG,MAAM,CAAC,kCAAkC,EAAE,QAAQ,EAAE,oCAAoC,CAAC;IAC1F,MAAM,CAAC,sDAAsD,EAAE,QAAQ,EAAE,iDAAiD,CAAC;IAC3H,MAAM,CAAC,kCAAkC,EAAE,QAAQ,EAAE,oCAAoC,CAAC;IAC1F,MAAM,CAAC,2CAA2C,EAAE,QAAQ,EAAE,sDAAsD,CAAC;IACrH,MAAM,CAAC,0BAA0B,EAAE,SAAS,EAAE,yBAAyB,CAAC;IACxE,MAAM,CAAC,8BAA8B,EAAE,QAAQ,EAAE,oCAAoC,CAAC;IACtF,MAAM,CAAC,gBAAgB,EAAE,QAAQ,EAAE,gBAAgB,CAAC;IACpD,MAAM,CAAC,wBAAwB,EAAE,QAAQ,EAAE,2CAA2C,CAAC;IACvF,MAAM,CAAC,4BAA4B,EAAE,QAAQ,EAAE,6CAA6C,CAAC;CACrF,CAAC;AAEX,MAAM,cAAc,GAAG,+BAA+B,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,UAAU,EAAE,WAAW,EAAE,GAAG,KAAK,EAAE,EAAE,EAAE,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC;AAC1H,MAAM,wBAAwB,GAAG,CAAC,YAAoB,EAAE,EAAE,CAAC,+BAA+B,CAAC,IAAI;KAC5F,MAAM,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,UAAU,CAAC,EAAE,KAAK,YAAY,CAAC;KACvD,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC;AACjC,MAAM,kBAAkB,GAAG,+BAA+B,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,UAAU,EAAE,OAAO,EAAE,EAAE,EAAE,CAAC,CAAC,EAAE,UAAU,EAAE,OAAO,EAAE,CAAC,CAAC,CAAC;AAE5H,MAAM,WAAW,GAAuC;IACtD,UAAU,CAAC,uCAAuC,EAAE,mCAAmC,EAAE;QACvF,2BAA2B;QAC3B,0BAA0B;QAC1B,oCAAoC;QACpC,yBAAyB;QACzB,yBAAyB;QACzB,eAAe;QACf,eAAe;KAChB,EAAE,sDAAsD,CAAC;IAC1D,UAAU,CAAC,uCAAuC,EAAE,kCAAkC,EAAE,wBAAwB,CAAC,uCAAuC,CAAC,EAAE,wCAAwC,CAAC;IACpM,UAAU,CAAC,oCAAoC,EAAE,kCAAkC,EAAE,wBAAwB,CAAC,oCAAoC,CAAC,EAAE,gEAAgE,CAAC;IACtN,UAAU,CAAC,wCAAwC,EAAE,kCAAkC,EAAE,wBAAwB,CAAC,wCAAwC,CAAC,EAAE,sDAAsD,CAAC;IACpN,UAAU,CAAC,wCAAwC,EAAE,kCAAkC,EAAE,wBAAwB,CAAC,wCAAwC,CAAC,EAAE,kDAAkD,CAAC;IAChN,UAAU,CAAC,gDAAgD,EAAE,kCAAkC,EAAE,cAAc,EAAE,2CAA2C,CAAC;IAC7J,UAAU,CAAC,uCAAuC,EAAE,mCAAmC,EAAE;QACvF,2BAA2B;QAC3B,0BAA0B;QAC1B,oCAAoC;QACpC,oCAAoC;QACpC,qCAAqC;QACrC,mCAAmC;QACnC,oDAAoD;QACpD,0BAA0B;QAC1B,yBAAyB;QACzB,4BAA4B;QAC5B,iCAAiC;QACjC,eAAe;QACf,mBAAmB;QACnB,eAAe;QACf,qBAAqB;QACrB,mBAAmB;QACnB,2BAA2B;QAC3B,uBAAuB;QACvB,2BAA2B;QAC3B,8BAA8B;QAC9B,qBAAqB;QACrB,yBAAyB;KAC1B,EAAE,sDAAsD,CAAC;IAC1D,UAAU,CAAC,oCAAoC,EAAE,0BAA0B,EAAE;QAC3E,yBAAyB;KAC1B,EAAE,0BAA0B,CAAC;IAC9B,UAAU,CAAC,kCAAkC,EAAE,8BAA8B,EAAE;QAC7E,uBAAuB;QACvB,kCAAkC;KACnC,EAAE,oCAAoC,CAAC;IACxC,UAAU,CAAC,kCAAkC,EAAE,sDAAsD,EAAE;QACrG,4BAA4B,EAAE,oCAAoC;KACnE,EAAE,oDAAoD,CAAC;IACxD,UAAU,CAAC,oCAAoC,EAAE,kCAAkC,EAAE,cAAc,EAAE,iDAAiD,CAAC;IACvJ,UAAU,CAAC,mCAAmC,EAAE,wBAAwB,EAAE;QACxE,2BAA2B;QAC3B,0BAA0B;QAC1B,+BAA+B;KAChC,EAAE,kCAAkC,CAAC;IACtC,UAAU,CAAC,0BAA0B,EAAE,gBAAgB,EAAE;QACvD,eAAe;KAChB,EAAE,sBAAsB,CAAC;IAC1B,UAAU,CAAC,gCAAgC,EAAE,4BAA4B,EAAE;QACzE,eAAe;QACf,sBAAsB;QACtB,qBAAqB;QACrB,mBAAmB;KACpB,EAAE,6CAA6C,CAAC;IACjD,UAAU,CAAC,gDAAgD,EAAE,4BAA4B,EAAE;QACzF,eAAe,EAAE,qBAAqB,EAAE,mBAAmB,EAAE,yBAAyB;QACtF,4BAA4B,EAAE,uBAAuB,EAAE,2BAA2B,EAAE,oBAAoB;KACzG,EAAE,2DAA2D,CAAC;CAChE,CAAC;AAEF,MAAM,MAAM,GAAkC;IAC5C,KAAK,CAAC,kCAAkC,EAAE,gBAAgB,EAAE,iBAAiB,EAAE,8BAA8B,EAAE,kCAAkC,EAAE,mCAAmC,EAAE,8BAA8B,CAAC;IACvN,KAAK,CAAC,kCAAkC,EAAE,gBAAgB,EAAE,iBAAiB,EAAE,sDAAsD,EAAE,kCAAkC,EAAE,mCAAmC,EAAE,qCAAqC,CAAC;IACtP,KAAK,CAAC,oCAAoC,EAAE,YAAY,EAAE,iBAAiB,EAAE,kCAAkC,EAAE,oCAAoC,EAAE,mCAAmC,EAAE,0CAA0C,CAAC;IACvO,KAAK,CAAC,mCAAmC,EAAE,gBAAgB,EAAE,MAAM,EAAE,wBAAwB,EAAE,mCAAmC,EAAE,wBAAwB,EAAE,mBAAmB,CAAC;IAClL,KAAK,CAAC,yBAAyB,EAAE,SAAS,EAAE,mBAAmB,EAAE,0BAA0B,EAAE,oCAAoC,EAAE,IAAI,EAAE,yBAAyB,CAAC;IACnK,KAAK,CAAC,eAAe,EAAE,SAAS,EAAE,IAAI,EAAE,gBAAgB,EAAE,0BAA0B,EAAE,IAAI,EAAE,gBAAgB,CAAC;CAC9G,CAAC;AAEF,MAAM,UAAU,GAAqC;IACnD,QAAQ,CAAC,gBAAgB,EAAE,EAAE,IAAI,EAAE,YAAY,EAAE,KAAK,EAAE,KAAK,CAAC,wCAAwC,EAAE,2BAA2B,CAAC,EAAE,EAAE,gCAAgC,CAAC;IACzK,QAAQ,CAAC,0BAA0B,EAAE,EAAE,IAAI,EAAE,YAAY,EAAE,KAAK,EAAE,KAAK,CAAC,wCAAwC,EAAE,qCAAqC,CAAC,EAAE,EAAE,+BAA+B,CAAC;IAC5L,QAAQ,CAAC,sBAAsB,EAAE,EAAE,IAAI,EAAE,YAAY,EAAE,KAAK,EAAE,KAAK,CAAC,wCAAwC,EAAE,iCAAiC,CAAC,EAAE,EAAE,0BAA0B,CAAC;IAC/K,QAAQ,CAAC,yBAAyB,EAAE,EAAE,IAAI,EAAE,YAAY,EAAE,KAAK,EAAE,KAAK,CAAC,wCAAwC,EAAE,oCAAoC,CAAC,EAAE,EAAE,6BAA6B,CAAC;IACxL,QAAQ,CAAC,uBAAuB,EAAE,EAAE,IAAI,EAAE,YAAY,EAAE,KAAK,EAAE,KAAK,CAAC,wCAAwC,EAAE,kCAAkC,CAAC,EAAE,EAAE,gCAAgC,CAAC;IACvL,QAAQ,CAAC,wBAAwB,EAAE,EAAE,IAAI,EAAE,eAAe,EAAE,EAAE,+BAA+B,CAAC;CAC/F,CAAC;AAEF,MAAM,mBAAmB,GAA+C;IACtE,UAAU,CAAC,wDAAwD,EAAE,yCAAyC,EAAE,sBAAsB,EAAE,yBAAyB,EAAE,UAAU,CAAC;IAC9K,UAAU,CAAC,2DAA2D,EAAE,uCAAuC,EAAE,sBAAsB,EAAE,uBAAuB,EAAE,UAAU,CAAC;IAC7K,UAAU,CAAC,8DAA8D,EAAE,sDAAsD,EAAE,sBAAsB,EAAE,0BAA0B,EAAE,kBAAkB,CAAC;CAC3M,CAAC;AAEF,MAAM,eAAe,GAA2C;IAC9D,cAAc,CAAC,iBAAiB,EAAE,EAAE,EAAE,uCAAuC,CAAC;IAC9E,cAAc,CAAC,mBAAmB,EAAE,EAAE,EAAE,6CAA6C,CAAC;IACtF,cAAc,CAAC,kBAAkB,EAAE,CAAC,yBAAyB,EAAE,eAAe,CAAC,EAAE,oCAAoC,CAAC;IACtH,cAAc,CAAC,uBAAuB,EAAE,CAAC,mCAAmC,CAAC,EAAE,6CAA6C,CAAC;IAC7H,cAAc,CAAC,qBAAqB,EAAE,EAAE,EAAE,mCAAmC,CAAC;IAC9E,cAAc,CAAC,sBAAsB,EAAE,CAAC,mCAAmC,CAAC,EAAE,2CAA2C,CAAC;IAC1H,cAAc,CAAC,gBAAgB,EAAE,EAAE,EAAE,iDAAiD,CAAC;IACvF,cAAc,CAAC,qBAAqB,EAAE,CAAC,oCAAoC,CAAC,EAAE,yCAAyC,CAAC;IACxH,cAAc,CAAC,aAAa,EAAE,CAAC,oCAAoC,CAAC,EAAE,iDAAiD,CAAC;IACxH,cAAc,CAAC,iBAAiB,EAAE,CAAC,oCAAoC,CAAC,EAAE,qDAAqD,CAAC;IAChI,cAAc,CAAC,wBAAwB,EAAE,CAAC,kCAAkC,CAAC,EAAE,6CAA6C,CAAC;IAC7H,cAAc,CAAC,eAAe,EAAE,CAAC,oCAAoC,CAAC,EAAE,yCAAyC,CAAC;IAClH,cAAc,CAAC,mBAAmB,EAAE,CAAC,kCAAkC,CAAC,EAAE,4CAA4C,CAAC;CACxH,CAAC;AAEF,MAAM,WAAW,GAAuC;IACtD,UAAU,CAAC,uDAAuD,EAAE,UAAU,EAAE,wEAAwE,CAAC;CAC1J,CAAC;AAEF,MAAM,gBAAgB,GAA4C,CAAC;QACjE,EAAE,EAAE,iCAAiC,CAAC,EAAE;QACxC,OAAO,EAAE,iCAAiC,CAAC,OAAO;QAClD,WAAW,EAAE,mFAAmF;QAChG,qBAAqB,EAAE;YACrB,0BAA0B;YAC1B,yBAAyB;YACzB,gBAAgB;YAChB,gBAAgB;YAChB,eAAe;YACf,eAAe;YACf,gBAAgB;YAChB,oBAAoB;YACpB,4BAA4B;YAC5B,8BAA8B;SAC/B;KACF,CAAC,CAAC;AAEH,MAAM,gBAAgB,GAAG;IACvB,sCAAsC;IACtC,uCAAuC;IACvC,mCAAmC;IACnC,8CAA8C;IAC9C,iDAAiD;IACjD,0CAA0C;IAC1C,2CAA2C;IAC3C,2CAA2C;IAC3C,yBAAyB;IACzB,yCAAyC;IACzC,sCAAsC;IACtC,+CAA+C;IAC/C,wCAAwC;IACxC,wCAAwC;IACxC,sCAAsC;IACtC,6CAA6C;CACrC,CAAC;AAEX,MAAM,aAAa,GAAyC;IAC1D,EAAE,EAAE,EAAE,oCAAoC,EAAE,OAAO,EAAE,CAAC,EAAE,WAAW,EAAE,8CAA8C,EAAE,aAAa,EAAE,CAAC,iCAAiC,CAAC,EAAE;IACzK,EAAE,EAAE,EAAE,+BAA+B,EAAE,OAAO,EAAE,CAAC,EAAE,WAAW,EAAE,yDAAyD,EAAE,aAAa,EAAE,CAAC,4BAA4B,CAAC,EAAE;IAC1K,EAAE,EAAE,EAAE,+BAA+B,EAAE,OAAO,EAAE,CAAC,EAAE,WAAW,EAAE,oDAAoD,EAAE,aAAa,EAAE,CAAC,4BAA4B,CAAC,EAAE;IACrK,EAAE,EAAE,EAAE,kCAAkC,EAAE,OAAO,EAAE,CAAC,EAAE,WAAW,EAAE,kDAAkD,EAAE,aAAa,EAAE,CAAC,+BAA+B,CAAC,EAAE;IACzK,EAAE,EAAE,EAAE,gCAAgC,EAAE,OAAO,EAAE,CAAC,EAAE,WAAW,EAAE,uDAAuD,EAAE,aAAa,EAAE,CAAC,6BAA6B,CAAC,EAAE;CAC3K,CAAC;AAEF,MAAM,eAAe,GAA2C,CAAC;QAC/D,EAAE,EAAE,8BAA8B,CAAC,EAAE;QACrC,OAAO,EAAE,8BAA8B,CAAC,OAAO;QAC/C,WAAW,EAAE,wDAAwD;QACrE,eAAe,EAAE,iCAAiC;QAClD,kBAAkB,EAAE,CAAC,EAAE,CAAC,uDAAuD,CAAC,CAAC;QACjF,aAAa,EAAE,aAAa,CAAC,GAAG,CAAC,CAAC,EAAE,EAAE,EAAE,OAAO,EAAE,EAAE,EAAE,CAAC,CAAC,EAAE,EAAE,EAAE,OAAO,EAAE,CAAC,CAAC;QACxE,qBAAqB,EAAE,IAAI;QAC3B,+BAA+B,EAAE,IAAI;QACrC,2BAA2B,EAAE,IAAI;KAClC,CAAC,CAAC;AAEH,MAAM,CAAC,MAAM,0BAA0B,GAAqB,UAAU,CAAC,wBAAwB,CAAC;IAC9F,MAAM;IACN,OAAO;IACP,WAAW;IACX,YAAY,EAAE;QACZ,EAAE,EAAE,EAAE,mCAAmC,EAAE,OAAO,EAAE,CAAC,EAAE,WAAW,EAAE,yBAAyB,EAAE,SAAS,EAAE,QAAQ,EAAE,gBAAgB,EAAE,gBAAgB,EAAE;QACxJ,EAAE,EAAE,EAAE,wBAAwB,EAAE,OAAO,EAAE,CAAC,EAAE,WAAW,EAAE,mBAAmB,EAAE,SAAS,EAAE,QAAQ,EAAE,gBAAgB,EAAE,WAAW,EAAE;KACnI;IACD,UAAU;IACV,mBAAmB;IACnB,cAAc,EAAE;QACd,EAAE,EAAE,EAAE,oCAAoC,EAAE,OAAO,EAAE,CAAC,EAAE,WAAW,EAAE,2CAA2C,EAAE,aAAa,EAAE,OAAO,EAAE,eAAe,EAAE,oBAAoB,EAAE;KAClL;IACD,YAAY,EAAE,CAAC;YACb,EAAE,EAAE,mCAAmC,EAAE,OAAO,EAAE,CAAC,EAAE,WAAW,EAAE,8DAA8D;YAChI,YAAY,EAAE,6BAA6B,EAAE,MAAM,EAAE,EAAE,CAAC,0BAA0B,CAAC;YACnF,KAAK,EAAE,EAAE,CAAC,gDAAgD,CAAC,EAAE,mBAAmB,EAAE,IAAI;SACvF,CAAC;IACF,kBAAkB,EAAE,CAAC;YACnB,EAAE,EAAE,gDAAgD,EAAE,OAAO,EAAE,CAAC,EAAE,WAAW,EAAE,4CAA4C;YAC3H,cAAc,EAAE,mBAAmB,EAAE,MAAM,EAAE,EAAE,CAAC,kCAAkC,CAAC;YACnF,QAAQ,EAAE,EAAE,CAAC,+CAA+C,CAAC,EAAE,MAAM,EAAE,EAAE,CAAC,0BAA0B,CAAC;YACrG,YAAY,EAAE,EAAE,IAAI,EAAE,gBAAgB,EAAE,KAAK,EAAE,EAAE,CAAC,oCAAoC,CAAC,EAAE;YACzF,QAAQ,EAAE,EAAE,IAAI,EAAE,aAAa,EAAE,KAAK,EAAE,EAAE,CAAC,yBAAyB,CAAC,EAAE,QAAQ,EAAE,OAAO,EAAE,MAAM,EAAE,MAAM,EAAE,iBAAiB,EAAE,oBAAoB,EAAE;YACnJ,MAAM,EAAE,EAAE,IAAI,EAAE,qBAAqB,EAAE,kBAAkB,EAAE,EAAE,CAAC,8CAA8C,CAAC,EAAE;YAC/G,OAAO,EAAE,EAAE,UAAU,EAAE,EAAE,CAAC,gDAAgD,CAAC,EAAE,QAAQ,EAAE,cAAc,EAAE;SACxG,CAAC;IACF,mBAAmB,EAAE,CAAC,EAAE,EAAE,EAAE,+CAA+C,EAAE,OAAO,EAAE,CAAC,EAAE,WAAW,EAAE,iFAAiF,EAAE,YAAY,EAAE,oBAAoB,EAAE,CAAC;IAC9N,MAAM,EAAE,CAAC,EAAE,EAAE,EAAE,yBAAyB,EAAE,OAAO,EAAE,CAAC,EAAE,WAAW,EAAE,mCAAmC,EAAE,SAAS,EAAE,mBAAmB,EAAE,CAAC;IACzI,kBAAkB,EAAE;QAClB,EAAE,EAAE,EAAE,sBAAsB,EAAE,OAAO,EAAE,CAAC,EAAE,WAAW,EAAE,0BAA0B,EAAE,IAAI,EAAE,WAAW,EAAE,UAAU,EAAE,KAAK,EAAE,cAAc,EAAE,KAAK,EAAE,mBAAmB,EAAE,KAAK,EAAE;KAC7K;IACD,iBAAiB,EAAE;QACjB,EAAE,EAAE,EAAE,mCAAmC,EAAE,OAAO,EAAE,CAAC,EAAE,WAAW,EAAE,6DAA6D,EAAE,WAAW,EAAE,WAAW,EAAE,WAAW,EAAE,WAAW,EAAE,YAAY,EAAE,OAAO,EAAE;KAC/M;IACD,eAAe;IACf,cAAc,EAAE;QACd,EAAE,EAAE,EAAE,4CAA4C,EAAE,OAAO,EAAE,CAAC,EAAE,WAAW,EAAE,uDAAuD,EAAE,WAAW,EAAE,6BAA6B,EAAE;KACnL;IACD,SAAS,EAAE;QACT,EAAE,EAAE,EAAE,wBAAwB,EAAE,OAAO,EAAE,CAAC,EAAE,WAAW,EAAE,+BAA+B,EAAE,YAAY,EAAE,UAAU,EAAE;QACpH,EAAE,EAAE,EAAE,kCAAkC,EAAE,OAAO,EAAE,CAAC,EAAE,WAAW,EAAE,mCAAmC,EAAE,YAAY,EAAE,SAAS,EAAE;QACjI,EAAE,EAAE,EAAE,kCAAkC,EAAE,OAAO,EAAE,CAAC,EAAE,WAAW,EAAE,0BAA0B,EAAE,YAAY,EAAE,SAAS,EAAE;QACxH,EAAE,EAAE,EAAE,8CAA8C,EAAE,OAAO,EAAE,CAAC,EAAE,WAAW,EAAE,+CAA+C,EAAE,YAAY,EAAE,SAAS,EAAE;QACzJ,EAAE,EAAE,EAAE,oCAAoC,EAAE,OAAO,EAAE,CAAC,EAAE,WAAW,EAAE,0CAA0C,EAAE,YAAY,EAAE,SAAS,EAAE;QAC1I,EAAE,EAAE,EAAE,qBAAqB,EAAE,OAAO,EAAE,CAAC,EAAE,WAAW,EAAE,aAAa,EAAE,YAAY,EAAE,YAAY,EAAE;KAClG;IACD,YAAY,EAAE;QACZ,EAAE,EAAE,EAAE,8CAA8C,EAAE,OAAO,EAAE,CAAC,EAAE,WAAW,EAAE,0CAA0C,EAAE,QAAQ,EAAE,gBAAgB,EAAE,KAAK,EAAE,KAAK,CAAC,oCAAoC,EAAE,CAAC,eAAe,CAAC,CAAC,EAAE;KAC/N;IACD,oBAAoB,EAAE;QACpB,EAAE,EAAE,EAAE,8CAA8C,EAAE,OAAO,EAAE,CAAC,EAAE,WAAW,EAAE,qCAAqC,EAAE,cAAc,EAAE,kBAAkB,EAAE;KAC3J;IACD,cAAc,EAAE,CAAC,EAAE,EAAE,EAAE,uCAAuC,EAAE,OAAO,EAAE,CAAC,EAAE,WAAW,EAAE,2CAA2C,EAAE,MAAM,EAAE,EAAE,CAAC,2CAA2C,CAAC,EAAE,CAAC;IAChM,eAAe,EAAE,CAAC,EAAE,EAAE,EAAE,wCAAwC,EAAE,OAAO,EAAE,CAAC,EAAE,WAAW,EAAE,oCAAoC,EAAE,wBAAwB,EAAE,CAAC,EAAE,CAAC,4CAA4C,CAAC,CAAC,EAAE,CAAC;IAChN,gBAAgB,EAAE,CAAC,EAAE,EAAE,EAAE,iDAAiD,EAAE,OAAO,EAAE,CAAC,EAAE,WAAW,EAAE,yCAAyC,EAAE,yBAAyB,EAAE,CAAC,EAAE,CAAC,wCAAwC,CAAC,CAAC,EAAE,CAAC;IAC5N,gBAAgB,EAAE;QAChB;YACE,EAAE,EAAE,6CAA6C;YACjD,OAAO,EAAE,CAAC;YACV,WAAW,EAAE,iFAAiF;YAC9F,wBAAwB,EAAE,CAAC,EAAE,CAAC,4CAA4C,CAAC,CAAC;YAC5E,MAAM,EAAE,qBAAqB;YAC7B,oBAAoB,EAAE,oBAAoB;YAC1C,oBAAoB,EAAE,EAAE,CAAC,gDAAgD,CAAC;YAC1E,gBAAgB,EAAE,SAAS;SAC5B;KACF;IACD,WAAW;IACX,eAAe;IACf,gBAAgB;IAChB,iBAAiB,EAAE,EAAE;IACrB,aAAa;IACb,gBAAgB,EAAE,CAAC,GAAG,gBAAgB,CAAC;CACxC,CAAC,CAAC,CAAC;AAEJ,MAAM,UAAU,wBAAwB,CAAqC,QAAmB;IAC9F,MAAM,UAAU,GAAqD;QACnE,QAAQ,CAAC,MAAM;QACf,QAAQ,CAAC,OAAO;QAChB,QAAQ,CAAC,WAAW;QACpB,QAAQ,CAAC,YAAY;QACrB,QAAQ,CAAC,UAAU;QACnB,QAAQ,CAAC,mBAAmB;QAC5B,QAAQ,CAAC,cAAc;QACvB,QAAQ,CAAC,YAAY;QACrB,QAAQ,CAAC,kBAAkB;QAC3B,QAAQ,CAAC,mBAAmB;QAC5B,QAAQ,CAAC,MAAM;QACf,QAAQ,CAAC,kBAAkB;QAC3B,QAAQ,CAAC,iBAAiB;QAC1B,QAAQ,CAAC,eAAe;QACxB,QAAQ,CAAC,cAAc;QACvB,QAAQ,CAAC,SAAS;QAClB,QAAQ,CAAC,YAAY;QACrB,QAAQ,CAAC,oBAAoB;QAC7B,QAAQ,CAAC,cAAc;QACvB,QAAQ,CAAC,eAAe;QACxB,QAAQ,CAAC,gBAAgB;QACzB,QAAQ,CAAC,gBAAgB;QACzB,QAAQ,CAAC,WAAW;QACpB,QAAQ,CAAC,eAAe;QACxB,QAAQ,CAAC,gBAAgB;QACzB,QAAQ,CAAC,iBAAiB;QAC1B,QAAQ,CAAC,aAAa;KACvB,CAAC;IACF,KAAK,MAAM,OAAO,IAAI,UAAU;QAAE,6BAA6B,CAAC,OAAO,CAAC,CAAC;IACzE,mBAAmB,CAAC,QAAQ,CAAC,gBAAgB,EAAE,oBAAoB,CAAC,CAAC;IACrE,KAAK,MAAM,eAAe,IAAI,QAAQ,CAAC,WAAW,EAAE,CAAC;QACnD,oBAAoB,CAAC,QAAQ,CAAC,OAAO,EAAE,eAAe,CAAC,MAAM,EAAE,QAAQ,CAAC,CAAC;QACzE,mBAAmB,CAAC,eAAe,CAAC,QAAQ,EAAE,GAAG,eAAe,CAAC,EAAE,SAAS,CAAC,CAAC;IAChF,CAAC;IACD,KAAK,MAAM,UAAU,IAAI,QAAQ,CAAC,MAAM,EAAE,CAAC;QACzC,oBAAoB,CAAC,QAAQ,CAAC,OAAO,EAAE,UAAU,CAAC,MAAM,EAAE,QAAQ,CAAC,CAAC;QACpE,oBAAoB,CAAC,QAAQ,CAAC,WAAW,EAAE,UAAU,CAAC,UAAU,EAAE,YAAY,CAAC,CAAC;QAChF,IAAI,UAAU,CAAC,UAAU;YAAE,oBAAoB,CAAC,QAAQ,CAAC,YAAY,EAAE,UAAU,CAAC,UAAU,EAAE,aAAa,CAAC,CAAC;IAC/G,CAAC;IACD,KAAK,MAAM,aAAa,IAAI,QAAQ,CAAC,UAAU,EAAE,CAAC;QAChD,IAAI,aAAa,CAAC,aAAa,EAAE,CAAC;YAChC,oBAAoB,CAAC,QAAQ,CAAC,YAAY,EAAE,aAAa,CAAC,aAAa,EAAE,aAAa,CAAC,CAAC;QAC1F,CAAC;QACD,IAAI,aAAa,CAAC,QAAQ,CAAC,IAAI,KAAK,YAAY;YAAE,qBAAqB,CAAC,QAAQ,EAAE,aAAa,CAAC,QAAQ,CAAC,KAAK,CAAC,CAAC;IAClH,CAAC;IACD,KAAK,MAAM,UAAU,IAAI,QAAQ,CAAC,mBAAmB,EAAE,CAAC;QACtD,IAAI,UAAU,CAAC,QAAQ,CAAC,MAAM,GAAG,CAAC;YAAE,MAAM,IAAI,SAAS,CAAC,uBAAuB,UAAU,CAAC,EAAE,+BAA+B,CAAC,CAAC;QAC7H,mBAAmB,CAAC,UAAU,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC,GAAG,OAAO,CAAC,EAAE,IAAI,OAAO,CAAC,OAAO,EAAE,CAAC,EAAE,GAAG,UAAU,CAAC,EAAE,WAAW,CAAC,CAAC;QAC3H,KAAK,MAAM,OAAO,IAAI,UAAU,CAAC,QAAQ;YAAE,oBAAoB,CAAC,QAAQ,CAAC,UAAU,EAAE,OAAO,EAAE,6BAA6B,CAAC,CAAC;IAC/H,CAAC;IACD,KAAK,MAAM,eAAe,IAAI,QAAQ,CAAC,YAAY,EAAE,CAAC;QACpD,oBAAoB,CAAC,QAAQ,CAAC,UAAU,EAAE,eAAe,CAAC,MAAM,EAAE,UAAU,CAAC,CAAC;QAC9E,oBAAoB,CAAC,QAAQ,CAAC,WAAW,EAAE,eAAe,CAAC,KAAK,EAAE,YAAY,CAAC,CAAC;IAClF,CAAC;IACD,KAAK,MAAM,eAAe,IAAI,QAAQ,CAAC,kBAAkB;QAAE,wBAAwB,CAAC,QAAQ,EAAE,eAAe,CAAC,CAAC;IAC/G,KAAK,MAAM,SAAS,IAAI,QAAQ,CAAC,eAAe,EAAE,CAAC;QACjD,oBAAoB,CAAC,QAAQ,CAAC,WAAW,EAAE,SAAS,CAAC,QAAQ,EAAE,YAAY,CAAC,CAAC;QAC7E,oBAAoB,CAAC,QAAQ,CAAC,WAAW,EAAE,SAAS,CAAC,OAAO,EAAE,YAAY,CAAC,CAAC;QAC5E,KAAK,MAAM,QAAQ,IAAI,SAAS,CAAC,aAAa;YAAE,oBAAoB,CAAC,QAAQ,CAAC,MAAM,EAAE,QAAQ,EAAE,OAAO,CAAC,CAAC;IAC3G,CAAC;IACD,KAAK,MAAM,OAAO,IAAI,QAAQ,CAAC,gBAAgB,EAAE,CAAC;QAChD,IAAI,OAAO,CAAC,qBAAqB,CAAC,MAAM,KAAK,CAAC;YAAE,MAAM,IAAI,SAAS,CAAC,oBAAoB,OAAO,CAAC,EAAE,YAAY,CAAC,CAAC;QAChH,mBAAmB,CAAC,OAAO,CAAC,qBAAqB,EAAE,GAAG,OAAO,CAAC,EAAE,iBAAiB,CAAC,CAAC;IACrF,CAAC;IACD,KAAK,MAAM,OAAO,IAAI,QAAQ,CAAC,eAAe;QAAE,sBAAsB,CAAC,QAAQ,EAAE,OAAO,CAAC,CAAC;IAC1F,KAAK,MAAM,MAAM,IAAI,QAAQ,CAAC,oBAAoB,EAAE,CAAC;QACnD,IAAI,MAAM,CAAC,cAAc,CAAC,MAAM,KAAK,CAAC;YAAE,MAAM,IAAI,SAAS,CAAC,wBAAwB,MAAM,CAAC,EAAE,YAAY,CAAC,CAAC;QAC3G,mBAAmB,CAAC,MAAM,CAAC,cAAc,CAAC,GAAG,CAAC,kBAAkB,CAAC,EAAE,GAAG,MAAM,CAAC,EAAE,kBAAkB,CAAC,CAAC;QACnG,KAAK,MAAM,aAAa,IAAI,MAAM,CAAC,cAAc;YAAE,qBAAqB,CAAC,QAAQ,EAAE,aAAa,CAAC,CAAC;IACpG,CAAC;IACD,KAAK,MAAM,MAAM,IAAI,QAAQ,CAAC,YAAY,EAAE,CAAC;QAC3C,IAAI,MAAM,CAAC,QAAQ,KAAK,MAAM,IAAI,MAAM,CAAC,KAAK,KAAK,IAAI;YAAE,MAAM,IAAI,SAAS,CAAC,eAAe,MAAM,CAAC,EAAE,0BAA0B,CAAC,CAAC;QACjI,IAAI,MAAM,CAAC,QAAQ,KAAK,MAAM,IAAI,MAAM,CAAC,KAAK,KAAK,IAAI;YAAE,MAAM,IAAI,SAAS,CAAC,eAAe,MAAM,CAAC,EAAE,oBAAoB,CAAC,CAAC;QAC3H,IAAI,MAAM,CAAC,KAAK;YAAE,qBAAqB,CAAC,QAAQ,EAAE,MAAM,CAAC,KAAK,CAAC,CAAC;IAClE,CAAC;IACD,KAAK,MAAM,OAAO,IAAI,QAAQ,CAAC,gBAAgB,EAAE,CAAC;QAChD,oBAAoB,CAAC,QAAQ,CAAC,WAAW,EAAE,OAAO,CAAC,oBAAoB,EAAE,gCAAgC,CAAC,CAAC;QAC3G,IAAI,OAAO,CAAC,oBAAoB,KAAK,gBAAgB,IAAI,OAAO,CAAC,gBAAgB,KAAK,eAAe,EAAE,CAAC;YACtG,MAAM,IAAI,SAAS,CAAC,oBAAoB,OAAO,CAAC,EAAE,gEAAgE,CAAC,CAAC;QACtH,CAAC;IACH,CAAC;IACD,OAAO,QAAQ,CAAC;AAClB,CAAC;AAED,MAAM,UAAU,oBAAoB,CAClC,OAA0B,EAC1B,GAA0B,EAC1B,KAAa;IAEb,MAAM,KAAK,GAAG,OAAO,CAAC,IAAI,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,EAAE,KAAK,GAAG,CAAC,EAAE,IAAI,KAAK,CAAC,OAAO,KAAK,GAAG,CAAC,OAAO,CAAC,CAAC;IAC5F,IAAI,CAAC,KAAK;QAAE,MAAM,IAAI,SAAS,CAAC,sBAAsB,KAAK,IAAI,GAAG,CAAC,EAAE,IAAI,GAAG,CAAC,OAAO,GAAG,CAAC,CAAC;IACzF,OAAO,KAAK,CAAC;AACf,CAAC;AAED,SAAS,wBAAwB,CAAC,QAA0B,EAAE,MAAqC;IACjG,oBAAoB,CAAC,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC,MAAM,EAAE,mBAAmB,CAAC,CAAC;IAC3E,oBAAoB,CAAC,QAAQ,CAAC,mBAAmB,EAAE,MAAM,CAAC,QAAQ,EAAE,qBAAqB,CAAC,CAAC;IAC3F,oBAAoB,CAAC,QAAQ,CAAC,UAAU,EAAE,MAAM,CAAC,MAAM,EAAE,mBAAmB,CAAC,CAAC;IAC9E,qBAAqB,CAAC,QAAQ,EAAE,MAAM,CAAC,OAAO,CAAC,CAAC;IAChD,IAAI,MAAM,CAAC,YAAY,CAAC,IAAI,KAAK,gBAAgB;QAAE,oBAAoB,CAAC,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC,YAAY,CAAC,KAAK,EAAE,kBAAkB,CAAC,CAAC;IACxI,IAAI,MAAM,CAAC,QAAQ,CAAC,IAAI,KAAK,aAAa,EAAE,CAAC;QAC3C,oBAAoB,CAAC,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC,QAAQ,CAAC,KAAK,EAAE,OAAO,CAAC,CAAC;QACtE,IAAI,CAAC,MAAM,CAAC,SAAS,CAAC,MAAM,CAAC,QAAQ,CAAC,QAAQ,CAAC,IAAI,MAAM,CAAC,QAAQ,CAAC,QAAQ,IAAI,CAAC,EAAE,CAAC;YACjF,MAAM,IAAI,SAAS,CAAC,qBAAqB,MAAM,CAAC,EAAE,wBAAwB,CAAC,CAAC;QAC9E,CAAC;QACD,IAAI,CAAC,MAAM,CAAC,SAAS,CAAC,MAAM,CAAC,QAAQ,CAAC,MAAM,CAAC,IAAI,MAAM,CAAC,QAAQ,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YAC5E,MAAM,IAAI,SAAS,CAAC,qBAAqB,MAAM,CAAC,EAAE,sBAAsB,CAAC,CAAC;QAC5E,CAAC;IACH,CAAC;IACD,IAAI,MAAM,CAAC,MAAM,CAAC,IAAI,KAAK,qBAAqB,EAAE,CAAC;QACjD,oBAAoB,CAAC,QAAQ,CAAC,oBAAoB,EAAE,MAAM,CAAC,MAAM,CAAC,kBAAkB,EAAE,sBAAsB,CAAC,CAAC;IAChH,CAAC;IACD,IAAI,MAAM,CAAC,EAAE,KAAK,gDAAgD,IAAI,MAAM,CAAC,OAAO,KAAK,CAAC,EAAE,CAAC;QAC3F,MAAM,eAAe,GAAG,oBAAoB,CAC1C,QAAQ,CAAC,WAAW,EACpB,EAAE,CAAC,gDAAgD,CAAC,EACpD,qCAAqC,CACtC,CAAC;QACF,IAAI,MAAM,CAAC,OAAO,CAAC,UAAU,CAAC,EAAE,KAAK,eAAe,CAAC,EAAE;eAClD,MAAM,CAAC,OAAO,CAAC,UAAU,CAAC,OAAO,KAAK,eAAe,CAAC,OAAO;eAC7D,MAAM,CAAC,OAAO,CAAC,QAAQ,CAAC,MAAM,KAAK,eAAe,CAAC,QAAQ,CAAC,MAAM;eAClE,eAAe,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC,CAAC,MAAM,CAAC,OAAO,CAAC,QAAQ,CAAC,QAAQ,CAAC,OAAO,CAAC,CAAC,EAAE,CAAC;YAC5F,MAAM,IAAI,SAAS,CAAC,wFAAwF,CAAC,CAAC;QAChH,CAAC;QACD,IAAI,MAAM,CAAC,YAAY,CAAC,IAAI,KAAK,gBAAgB;eAC5C,MAAM,CAAC,YAAY,CAAC,KAAK,CAAC,EAAE,KAAK,oCAAoC;eACrE,MAAM,CAAC,QAAQ,CAAC,IAAI,KAAK,aAAa;eACtC,MAAM,CAAC,MAAM,CAAC,IAAI,KAAK,qBAAqB;eAC5C,MAAM,CAAC,QAAQ,CAAC,EAAE,KAAK,+CAA+C,EAAE,CAAC;YAC5E,MAAM,IAAI,SAAS,CAAC,kGAAkG,CAAC,CAAC;QAC1H,CAAC;IACH,CAAC;AACH,CAAC;AAED,SAAS,sBAAsB,CAAC,QAA0B,EAAE,OAAoC;IAC9F,oBAAoB,CAAC,QAAQ,CAAC,gBAAgB,EAAE,OAAO,CAAC,eAAe,EAAE,kBAAkB,CAAC,CAAC;IAC7F,mBAAmB,CAAC,OAAO,CAAC,aAAa,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,GAAG,IAAI,CAAC,EAAE,IAAI,IAAI,CAAC,OAAO,EAAE,CAAC,EAAE,GAAG,OAAO,CAAC,EAAE,iBAAiB,CAAC,CAAC;IACvH,KAAK,MAAM,OAAO,IAAI,OAAO,CAAC,aAAa,EAAE,CAAC;QAC5C,oBAAoB,CAAC,QAAQ,CAAC,aAAa,EAAE,OAAO,EAAE,eAAe,CAAC,CAAC;IACzE,CAAC;IACD,KAAK,MAAM,aAAa,IAAI,OAAO,CAAC,kBAAkB,EAAE,CAAC;QACvD,MAAM,eAAe,GAAG,oBAAoB,CAAC,QAAQ,CAAC,WAAW,EAAE,aAAa,EAAE,YAAY,CAAC,CAAC;QAChG,IAAI,eAAe,CAAC,WAAW,KAAK,UAAU,EAAE,CAAC;YAC/C,MAAM,IAAI,SAAS,CAAC,mBAAmB,OAAO,CAAC,EAAE,uCAAuC,aAAa,CAAC,EAAE,IAAI,aAAa,CAAC,OAAO,GAAG,CAAC,CAAC;QACxI,CAAC;IACH,CAAC;AACH,CAAC;AAED,SAAS,qBAAqB,CAAC,QAA0B,EAAE,KAAwE;IACjI,MAAM,eAAe,GAAG,oBAAoB,CAAC,QAAQ,CAAC,WAAW,EAAE,KAAK,CAAC,UAAU,EAAE,YAAY,CAAC,CAAC;IACnG,IAAI,CAAC,eAAe,CAAC,QAAQ,CAAC,QAAQ,CAAC,KAAK,CAAC,OAAO,CAAC,EAAE,CAAC;QACtD,MAAM,IAAI,SAAS,CAAC,cAAc,KAAK,CAAC,UAAU,CAAC,EAAE,IAAI,KAAK,CAAC,UAAU,CAAC,OAAO,iBAAiB,KAAK,CAAC,OAAO,GAAG,CAAC,CAAC;IACtH,CAAC;AACH,CAAC;AAED,SAAS,qBAAqB,CAAC,QAA0B,EAAE,KAAoF;IAC7I,MAAM,eAAe,GAAG,oBAAoB,CAAC,QAAQ,CAAC,WAAW,EAAE,KAAK,CAAC,UAAU,EAAE,YAAY,CAAC,CAAC;IACnG,mBAAmB,CAAC,KAAK,CAAC,QAAQ,EAAE,GAAG,KAAK,CAAC,UAAU,CAAC,EAAE,eAAe,CAAC,CAAC;IAC3E,KAAK,MAAM,OAAO,IAAI,KAAK,CAAC,QAAQ,EAAE,CAAC;QACrC,IAAI,CAAC,eAAe,CAAC,QAAQ,CAAC,QAAQ,CAAC,OAAO,CAAC;YAAE,MAAM,IAAI,SAAS,CAAC,cAAc,KAAK,CAAC,UAAU,CAAC,EAAE,iBAAiB,OAAO,GAAG,CAAC,CAAC;IACrI,CAAC;AACH,CAAC;AAED,SAAS,6BAA6B,CAAC,OAAkD;IACvF,mBAAmB,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,GAAG,KAAK,CAAC,EAAE,IAAI,KAAK,CAAC,OAAO,EAAE,CAAC,EAAE,6BAA6B,CAAC,CAAC;AAC7G,CAAC;AAED,SAAS,mBAAmB,CAAC,MAAyB,EAAE,KAAa;IACnE,IAAI,IAAI,GAAG,CAAC,MAAM,CAAC,CAAC,IAAI,KAAK,MAAM,CAAC,MAAM;QAAE,MAAM,IAAI,SAAS,CAAC,aAAa,KAAK,GAAG,CAAC,CAAC;AACzF,CAAC;AAED,SAAS,MAAM,CAAC,EAAyB,EAAE,SAAoD,EAAE,WAAmB;IAClH,OAAO,EAAE,EAAE,EAAE,OAAO,EAAE,CAAC,EAAE,WAAW,EAAE,SAAS,EAAW,CAAC;AAC7D,CAAC;AAID,SAAS,UAAU,CACjB,EAA0B,EAC1B,QAA4B,EAC5B,QAAsC,EACtC,WAAmB;IAEnB,OAAO,EAAE,EAAE,EAAE,OAAO,EAAE,CAAC,EAAE,WAAW,EAAE,MAAM,EAAE,EAAE,CAAC,QAAQ,CAAC,EAAE,QAAQ,EAAE,CAAC;AACzE,CAAC;AAED,SAAS,KAAK,CACZ,EAAqB,EACrB,MAAoC,EACpC,OAAe,EACf,QAA4B,EAC5B,YAAoC,EACpC,YAA4C,EAC5C,WAAmB;IAEnB,OAAO;QACL,EAAE;QACF,OAAO,EAAE,CAAC;QACV,WAAW;QACX,MAAM;QACN,OAAO;QACP,MAAM,EAAE,EAAE,CAAC,QAAQ,CAAC;QACpB,UAAU,EAAE,EAAE,CAAC,YAAY,CAAC;QAC5B,UAAU,EAAE,YAAY,CAAC,CAAC,CAAC,EAAE,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC,IAAI;KACnD,CAAC;AACJ,CAAC;AAED,SAAS,QAAQ,CACf,EAAwB,EACxB,QAA2C,EAC3C,WAAmB;IAEnB,OAAO,EAAE,EAAE,EAAE,OAAO,EAAE,CAAC,EAAE,WAAW,EAAE,QAAQ,EAAE,aAAa,EAAE,IAAI,EAAE,CAAC;AACxE,CAAC;AAED,SAAS,UAAU,CACjB,EAAmC,EACnC,YAAqD,EACrD,IAA0B,EAC1B,KAA2B,EAC3B,QAAqD;IAErD,OAAO;QACL,EAAE,EAAE,OAAO,EAAE,CAAC,EAAE,WAAW,EAAE,SAAS,YAAY,uBAAuB;QACzE,YAAY,EAAE,6BAA6B,EAAE,YAAY;QACzD,QAAQ,EAAE,CAAC,EAAE,CAAC,IAAI,CAAC,EAAE,EAAE,CAAC,KAAK,CAAC,CAAC,EAAE,QAAQ,EAAE,eAAe,EAAE,OAAO;KACpE,CAAC;AACJ,CAAC;AAED,SAAS,cAAc,CACrB,MAAc,EACd,eAA6C,EAC7C,WAAmB;IAEnB,OAAO;QACL,EAAE,EAAE,0CAA0C,MAAM,EAAE;QACtD,OAAO,EAAE,CAAC;QACV,WAAW;QACX,YAAY,EAAE,6BAA6B;QAC3C,OAAO,EAAE,0BAA0B,MAAM,EAAE;QAC3C,QAAQ,EAAE,qBAAqB;QAC/B,OAAO,EAAE,oBAAoB;QAC7B,aAAa,EAAE,eAAe,CAAC,GAAG,CAAC,EAAE,CAAC;KACvC,CAAC;AACJ,CAAC;AAED,SAAS,UAAU,CACjB,EAA0B,EAC1B,WAAmD,EACnD,WAAmB;IAEnB,OAAO,EAAE,EAAE,EAAE,OAAO,EAAE,CAAC,EAAE,WAAW,EAAE,WAAW,EAAE,CAAC;AACtD,CAAC;AAED,SAAS,KAAK,CACZ,YAAyB,EACzB,OAA0B;IAE1B,OAAO,EAAE,UAAU,EAAE,EAAE,CAAC,YAAY,CAAC,EAAE,OAAO,EAAE,CAAC;AACnD,CAAC;AAED,SAAS,KAAK,CACZ,YAAyB,EACzB,QAAsC;IAEtC,OAAO,EAAE,UAAU,EAAE,EAAE,CAAC,YAAY,CAAC,EAAE,QAAQ,EAAE,CAAC;AACpD,CAAC;AAED,SAAS,kBAAkB,CAAC,KAAyB;IACnD,OAAO,GAAG,KAAK,CAAC,UAAU,CAAC,EAAE,IAAI,KAAK,CAAC,UAAU,CAAC,OAAO,IAAI,KAAK,CAAC,OAAO,EAAE,CAAC;AAC/E,CAAC"}