@astrale-os/sdk 0.4.19 → 0.5.0-beta.2

package/dist/linter/evaluation/binding/bind.js

@@ -0,0 +1,356 @@
+import { ruleRevision } from '../../catalog/index.js';
+import { LinterToolError, } from '../../diagnostics/index.js';
+import { diagnostic } from './diagnostic.js';
+const TOKEN = /^[a-z][a-z0-9.-]{0,63}$/;
+const REVISION = /^[a-f0-9]{64}$/;
+const RULE_ID = /^[A-Z]+(?:-[A-Z]+)+$/;
+const MAX_VERSION_BYTES = 128;
+const MAX_EVIDENCE_BYTES = 8 * 1024;
+const MAX_FINDINGS_PER_RULE = 128;
+const AMBIGUITY_REASONS = new Set([
+    'analysis-limit',
+    'dynamic-value',
+    'external-evidence',
+    'insufficient-evidence',
+    'unresolved-import',
+    'unresolved-symbol',
+    'unsupported-syntax',
+]);
+export function bindEvaluation(catalog, pack, plan) {
+    if (!plan || typeof plan !== 'object')
+        coverageFailure('Rule implementation plan is malformed.');
+    if (!plan.evidenceAdmission ||
+        typeof plan.evidenceAdmission !== 'object' ||
+        typeof plan.evidenceAdmission.assertLocation !== 'function') {
+        coverageFailure('Rule implementation plan has no evidence admission.');
+    }
+    const evidenceAdmission = Object.freeze({
+        assertLocation: plan.evidenceAdmission.assertLocation,
+    });
+    const definitions = admitPack(catalog, pack);
+    const registry = admitImplementations(catalog, pack, definitions, plan.available);
+    const unavailable = admitUnavailable(definitions, registry, plan.unavailable);
+    const coverage = coverageFor(definitions, registry, unavailable);
+    return Object.freeze({
+        coverage,
+        assertAvailable(requiredRuleIds) {
+            if (!Array.isArray(requiredRuleIds))
+                coverageFailure('Required rule IDs must be an array.');
+            const seen = new Set();
+            const unavailable = [];
+            for (const id of requiredRuleIds) {
+                if (typeof id !== 'string' || !RULE_ID.test(id)) {
+                    coverageFailure('Required rule IDs must contain valid rule identifiers.');
+                }
+                if (seen.has(id))
+                    coverageFailure(`Required rule ID ${id} is repeated.`);
+                seen.add(id);
+                if (!definitions.some((definition) => definition.id === id)) {
+                    coverageFailure(`Required rule ${id} is absent from pack ${pack.id}.`);
+                }
+                if (!registry.has(id))
+                    unavailable.push(id);
+            }
+            if (unavailable.length > 0) {
+                coverageFailure(`Required rules are unavailable: ${unavailable.join(', ')}.`);
+            }
+        },
+        async evaluate(input, signal) {
+            const diagnostics = [];
+            const outcomes = [];
+            for (const definition of definitions) {
+                const implementation = registry.get(definition.id);
+                if (!implementation)
+                    continue;
+                ensureActive(signal);
+                let value;
+                try {
+                    value = await implementation.evaluate(input);
+                }
+                catch (cause) {
+                    if (signal?.aborted)
+                        cancelled(signal.reason ?? cause);
+                    throw new LinterToolError(`Rule implementation failed for ${definition.id}.`, {
+                        code: 'LINTER_RULE_FAILED',
+                        cause,
+                    });
+                }
+                const decision = admitDecision(definition.id, value, input, evidenceAdmission);
+                if (decision.status === 'fail' || decision.status === 'indeterminate') {
+                    diagnostics.push(...decision.findings.map((finding) => diagnostic(definition, finding)));
+                }
+                outcomes.push(Object.freeze({
+                    id: definition.id,
+                    status: decision.status,
+                    ...(decision.evidence ? { evidence: decision.evidence } : {}),
+                    implementation: implementation.implementation,
+                }));
+            }
+            return Object.freeze({
+                diagnostics: Object.freeze(diagnostics),
+                outcomes: Object.freeze(outcomes),
+            });
+        },
+    });
+}
+function admitUnavailable(definitions, registry, input) {
+    if (!Array.isArray(input))
+        coverageFailure('Rule unavailability declarations must be an array.');
+    const inPack = new Set(definitions.map(({ id }) => id));
+    const unavailable = new Map();
+    for (const entry of input) {
+        if (!entry || typeof entry !== 'object' || !inPack.has(entry.ruleId)) {
+            coverageFailure('Rule unavailability declaration names an unknown pack rule.');
+        }
+        if (entry.reason !== 'no-compatible-implementation' &&
+            entry.reason !== 'required-facts-unavailable' &&
+            entry.reason !== 'implementation-disabled') {
+            coverageFailure(`Rule ${entry.ruleId} has an invalid unavailability reason.`);
+        }
+        if (registry.has(entry.ruleId)) {
+            coverageFailure(`Rule ${entry.ruleId} is both available and unavailable.`);
+        }
+        if (unavailable.has(entry.ruleId)) {
+            coverageFailure(`Rule ${entry.ruleId} has several unavailability declarations.`);
+        }
+        unavailable.set(entry.ruleId, entry.reason);
+    }
+    return unavailable;
+}
+function admitPack(catalog, pack) {
+    if (pack.id !== 'astrale.domain')
+        coverageFailure('Domain rule pack has an invalid ID.');
+    admitIdentity({ id: pack.id, version: pack.version }, 'Rule pack');
+    if (!Array.isArray(pack.ruleIds) || !Array.isArray(pack.requirements)) {
+        coverageFailure('Domain rule pack is malformed.');
+    }
+    const seen = new Set();
+    for (const id of pack.ruleIds) {
+        if (seen.has(id))
+            coverageFailure(`Rule pack repeats ${id}.`);
+        seen.add(id);
+        if (!catalog.get(id))
+            coverageFailure(`Rule pack names unknown catalog rule ${id}.`);
+    }
+    const missing = catalog.rules.filter(({ id }) => !seen.has(id));
+    if (missing.length > 0) {
+        coverageFailure(`Rule pack omits catalog rules: ${missing.map(({ id }) => id).join(', ')}.`);
+    }
+    if (pack.requirements.length !== pack.ruleIds.length) {
+        coverageFailure('Rule pack requirement coverage is incomplete.');
+    }
+    for (let index = 0; index < pack.requirements.length; index += 1) {
+        if (pack.requirements[index]?.ruleId !== pack.ruleIds[index]) {
+            coverageFailure('Rule pack requirements and rule IDs are not aligned.');
+        }
+    }
+    return Object.freeze(pack.ruleIds.map((id) => catalog.get(id)));
+}
+function admitImplementations(catalog, pack, definitions, implementations) {
+    if (!Array.isArray(implementations))
+        coverageFailure('Rule implementations must be an array.');
+    const inPack = new Set(definitions.map(({ id }) => id));
+    const registry = new Map();
+    for (const implementation of implementations) {
+        if (!implementation || typeof implementation !== 'object') {
+            coverageFailure('Rule implementation is malformed.');
+        }
+        if (registry.has(implementation.ruleId)) {
+            coverageFailure(`Rule ${implementation.ruleId} has several implementations.`);
+        }
+        const definition = catalog.get(implementation.ruleId);
+        if (!definition || !inPack.has(implementation.ruleId)) {
+            coverageFailure(`Implementation names unknown pack rule ${implementation.ruleId}.`);
+        }
+        admitIdentity(implementation.implementation, `Implementation ${implementation.ruleId}`);
+        if (!REVISION.test(implementation.ruleRevision)) {
+            coverageFailure(`Implementation ${implementation.ruleId} has an invalid rule revision.`);
+        }
+        const expected = ruleRevision(definition);
+        if (implementation.ruleRevision !== expected) {
+            coverageFailure(`Implementation ${implementation.ruleId} implements revision ${implementation.ruleRevision}; catalog requires ${expected}.`);
+        }
+        const requiredFacts = pack.requirements.find(({ ruleId }) => ruleId === implementation.ruleId).facts;
+        if (!Array.isArray(implementation.requiredFacts) ||
+            implementation.requiredFacts.length !== requiredFacts.length ||
+            implementation.requiredFacts.some((fact, index) => fact !== requiredFacts[index])) {
+            coverageFailure(`Implementation ${implementation.ruleId} has drifted fact requirements.`);
+        }
+        if (typeof implementation.evaluate !== 'function') {
+            coverageFailure(`Implementation ${implementation.ruleId} has no evaluator.`);
+        }
+        registry.set(implementation.ruleId, Object.freeze({
+            ruleId: implementation.ruleId,
+            ruleRevision: implementation.ruleRevision,
+            requiredFacts: Object.freeze([...implementation.requiredFacts]),
+            implementation: Object.freeze({
+                id: implementation.implementation.id,
+                version: implementation.implementation.version,
+            }),
+            evaluate: implementation.evaluate,
+        }));
+    }
+    return registry;
+}
+function admitIdentity(identity, owner) {
+    if (!identity || typeof identity !== 'object' || !TOKEN.test(identity.id)) {
+        coverageFailure(`${owner} has an invalid ID.`);
+    }
+    if (typeof identity.version !== 'string' ||
+        !identity.version.trim() ||
+        Buffer.byteLength(identity.version, 'utf8') > MAX_VERSION_BYTES) {
+        coverageFailure(`${owner} has an invalid version.`);
+    }
+}
+function coverageFor(definitions, registry, unavailable) {
+    const rules = definitions.map((definition) => {
+        const implementation = registry.get(definition.id);
+        return implementation
+            ? Object.freeze({
+                id: definition.id,
+                state: 'available',
+                implementation: implementation.implementation,
+            })
+            : Object.freeze({
+                id: definition.id,
+                state: 'unavailable',
+                reason: unavailable.get(definition.id) ?? 'no-compatible-implementation',
+            });
+    });
+    const available = registry.size;
+    return Object.freeze({
+        total: definitions.length,
+        available,
+        unavailable: definitions.length - available,
+        rules: Object.freeze(rules),
+    });
+}
+function admitDecision(id, value, input, evidenceAdmission) {
+    if (!record(value))
+        ruleFailure(`Implementation ${id} returned a malformed decision.`);
+    if (value.status !== 'pass' &&
+        value.status !== 'not-applicable' &&
+        value.status !== 'fail' &&
+        value.status !== 'indeterminate' &&
+        value.status !== 'error') {
+        ruleFailure(`Implementation ${id} returned an invalid status.`);
+    }
+    const evidence = value.evidence === undefined ? undefined : boundedText(value.evidence, id);
+    if (value.status === 'error') {
+        if (!evidence)
+            ruleFailure(`Implementation ${id} error has no evidence.`);
+        if (value.findings !== undefined)
+            ruleFailure(`Implementation ${id} error contains findings.`);
+        return Object.freeze({ status: 'error', evidence });
+    }
+    if (value.status === 'pass' || value.status === 'not-applicable') {
+        if (value.findings !== undefined) {
+            ruleFailure(`Implementation ${id} ${value.status} result contains findings.`);
+        }
+        return Object.freeze({ status: value.status, ...(evidence ? { evidence } : {}) });
+    }
+    if (!Array.isArray(value.findings) || value.findings.length === 0) {
+        ruleFailure(`Implementation ${id} ${value.status} result has no findings.`);
+    }
+    if (value.findings.length > MAX_FINDINGS_PER_RULE) {
+        ruleFailure(`Implementation ${id} returned too many findings.`);
+    }
+    const findings = value.findings.map((finding) => admitFinding(id, finding, input, evidenceAdmission));
+    const derived = findings.some(({ kind }) => kind === 'fail') ? 'fail' : 'indeterminate';
+    if (value.status !== derived) {
+        ruleFailure(`Implementation ${id} status does not match its findings.`);
+    }
+    return Object.freeze({
+        status: derived,
+        findings: Object.freeze(findings),
+        ...(evidence ? { evidence } : {}),
+    });
+}
+function admitFinding(id, value, input, evidenceAdmission) {
+    if (!record(value) || (value.kind !== 'fail' && value.kind !== 'indeterminate')) {
+        ruleFailure(`Implementation ${id} returned a malformed finding.`);
+    }
+    const evidence = boundedText(value.evidence, id);
+    let ambiguityReason;
+    if (value.kind === 'fail') {
+        if (value.ambiguityReason !== undefined) {
+            ruleFailure(`Fail finding ${id} has an ambiguity reason.`);
+        }
+    }
+    else if (value.ambiguityReason === undefined) {
+        ambiguityReason = 'insufficient-evidence';
+    }
+    else if (typeof value.ambiguityReason !== 'string' ||
+        !AMBIGUITY_REASONS.has(value.ambiguityReason)) {
+        ruleFailure(`Indeterminate finding ${id} has an invalid reason.`);
+    }
+    else
+        ambiguityReason = value.ambiguityReason;
+    const location = value.location === undefined
+        ? undefined
+        : admitLocation(id, value.location, input, evidenceAdmission);
+    return Object.freeze({
+        kind: value.kind,
+        evidence,
+        ...(ambiguityReason ? { ambiguityReason } : {}),
+        ...(location ? { location } : {}),
+    });
+}
+function admitLocation(id, value, input, evidenceAdmission) {
+    if (!record(value) ||
+        typeof value.path !== 'string' ||
+        !positive(value.line) ||
+        !positive(value.column)) {
+        ruleFailure(`Implementation ${id} returned an invalid location.`);
+    }
+    const hasOffset = value.offset !== undefined;
+    const hasLength = value.length !== undefined;
+    if (hasOffset !== hasLength)
+        ruleFailure(`Implementation ${id} location has an incomplete span.`);
+    if (hasOffset) {
+        if (!nonnegative(value.offset) || !positive(value.length)) {
+            ruleFailure(`Implementation ${id} returned an invalid span.`);
+        }
+    }
+    const location = Object.freeze({
+        path: value.path,
+        line: value.line,
+        column: value.column,
+        ...(hasOffset ? { offset: value.offset, length: value.length } : {}),
+    });
+    evidenceAdmission.assertLocation(id, location, input);
+    return location;
+}
+function boundedText(value, id) {
+    if (typeof value !== 'string' || !value.trim()) {
+        ruleFailure(`Implementation ${id} returned empty evidence.`);
+    }
+    const bytes = Buffer.byteLength(value, 'utf8');
+    if (bytes > MAX_EVIDENCE_BYTES) {
+        ruleFailure(`Implementation ${id} evidence is ${bytes} bytes; maximum is ${MAX_EVIDENCE_BYTES}.`);
+    }
+    return value;
+}
+function ensureActive(signal) {
+    if (signal?.aborted)
+        cancelled(signal.reason);
+}
+function record(value) {
+    return Boolean(value && typeof value === 'object' && !Array.isArray(value));
+}
+function positive(value) {
+    return Number.isSafeInteger(value) && value >= 1;
+}
+function nonnegative(value) {
+    return Number.isSafeInteger(value) && value >= 0;
+}
+function coverageFailure(message) {
+    throw new LinterToolError(message, { code: 'LINTER_RULE_COVERAGE' });
+}
+function ruleFailure(message) {
+    throw new LinterToolError(message, { code: 'LINTER_RULE_FAILED' });
+}
+function cancelled(cause) {
+    throw new LinterToolError('Domain lint was cancelled.', { code: 'LINTER_CANCELLED', cause });
+}
+//# sourceMappingURL=bind.js.map

package/dist/linter/evaluation/binding/bind.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"bind.js","sourceRoot":"","sources":["../../../../src/linter/evaluation/binding/bind.ts"],"names":[],"mappings":"AAgBA,OAAO,EAAE,YAAY,EAAE,MAAM,wBAAwB,CAAA;AACrD,OAAO,EACL,eAAe,GAGhB,MAAM,4BAA4B,CAAA;AACnC,OAAO,EAAE,UAAU,EAAE,MAAM,iBAAiB,CAAA;AAE5C,MAAM,KAAK,GAAG,yBAAyB,CAAA;AACvC,MAAM,QAAQ,GAAG,gBAAgB,CAAA;AACjC,MAAM,OAAO,GAAG,sBAAsB,CAAA;AACtC,MAAM,iBAAiB,GAAG,GAAG,CAAA;AAC7B,MAAM,kBAAkB,GAAG,CAAC,GAAG,IAAI,CAAA;AACnC,MAAM,qBAAqB,GAAG,GAAG,CAAA;AACjC,MAAM,iBAAiB,GAAG,IAAI,GAAG,CAAkB;IACjD,gBAAgB;IAChB,eAAe;IACf,mBAAmB;IACnB,uBAAuB;IACvB,mBAAmB;IACnB,mBAAmB;IACnB,oBAAoB;CACrB,CAAC,CAAA;AAEF,MAAM,UAAU,cAAc,CAC5B,OAAoB,EACpB,IAAoB,EACpB,IAAoC;IAEpC,IAAI,CAAC,IAAI,IAAI,OAAO,IAAI,KAAK,QAAQ;QAAE,eAAe,CAAC,wCAAwC,CAAC,CAAA;IAChG,IACE,CAAC,IAAI,CAAC,iBAAiB;QACvB,OAAO,IAAI,CAAC,iBAAiB,KAAK,QAAQ;QAC1C,OAAO,IAAI,CAAC,iBAAiB,CAAC,cAAc,KAAK,UAAU,EAC3D,CAAC;QACD,eAAe,CAAC,qDAAqD,CAAC,CAAA;IACxE,CAAC;IACD,MAAM,iBAAiB,GAAkC,MAAM,CAAC,MAAM,CAAC;QACrE,cAAc,EAAE,IAAI,CAAC,iBAAiB,CAAC,cAAc;KACtD,CAAC,CAAA;IACF,MAAM,WAAW,GAAG,SAAS,CAAC,OAAO,EAAE,IAAI,CAAC,CAAA;IAC5C,MAAM,QAAQ,GAAG,oBAAoB,CAAC,OAAO,EAAE,IAAI,EAAE,WAAW,EAAE,IAAI,CAAC,SAAS,CAAC,CAAA;IACjF,MAAM,WAAW,GAAG,gBAAgB,CAAC,WAAW,EAAE,QAAQ,EAAE,IAAI,CAAC,WAAW,CAAC,CAAA;IAC7E,MAAM,QAAQ,GAAG,WAAW,CAAC,WAAW,EAAE,QAAQ,EAAE,WAAW,CAAC,CAAA;IAEhE,OAAO,MAAM,CAAC,MAAM,CAAC;QACnB,QAAQ;QACR,eAAe,CAAC,eAAkC;YAChD,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,eAAe,CAAC;gBAAE,eAAe,CAAC,qCAAqC,CAAC,CAAA;YAC3F,MAAM,IAAI,GAAG,IAAI,GAAG,EAAU,CAAA;YAC9B,MAAM,WAAW,GAAa,EAAE,CAAA;YAChC,KAAK,MAAM,EAAE,IAAI,eAAe,EAAE,CAAC;gBACjC,IAAI,OAAO,EAAE,KAAK,QAAQ,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC,EAAE,CAAC,EAAE,CAAC;oBAChD,eAAe,CAAC,wDAAwD,CAAC,CAAA;gBAC3E,CAAC;gBACD,IAAI,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC;oBAAE,eAAe,CAAC,oBAAoB,EAAE,eAAe,CAAC,CAAA;gBACxE,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,CAAA;gBACZ,IAAI,CAAC,WAAW,CAAC,IAAI,CAAC,CAAC,UAAU,EAAE,EAAE,CAAC,UAAU,CAAC,EAAE,KAAK,EAAE,CAAC,EAAE,CAAC;oBAC5D,eAAe,CAAC,iBAAiB,EAAE,wBAAwB,IAAI,CAAC,EAAE,GAAG,CAAC,CAAA;gBACxE,CAAC;gBACD,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,EAAE,CAAC;oBAAE,WAAW,CAAC,IAAI,CAAC,EAAE,CAAC,CAAA;YAC7C,CAAC;YACD,IAAI,WAAW,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;gBAC3B,eAAe,CAAC,mCAAmC,WAAW,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,CAAA;YAC/E,CAAC;QACH,CAAC;QACD,KAAK,CAAC,QAAQ,CAAC,KAAa,EAAE,MAAoB;YAChD,MAAM,WAAW,GAAG,EAAE,CAAA;YACtB,MAAM,QAAQ,GAA4B,EAAE,CAAA;YAC5C,KAAK,MAAM,UAAU,IAAI,WAAW,EAAE,CAAC;gBACrC,MAAM,cAAc,GAAG,QAAQ,CAAC,GAAG,CAAC,UAAU,CAAC,EAAE,CAAC,CAAA;gBAClD,IAAI,CAAC,cAAc;oBAAE,SAAQ;gBAC7B,YAAY,CAAC,MAAM,CAAC,CAAA;gBACpB,IAAI,KAAc,CAAA;gBAClB,IAAI,CAAC;oBACH,KAAK,GAAG,MAAM,cAAc,CAAC,QAAQ,CAAC,KAAK,CAAC,CAAA;gBAC9C,CAAC;gBAAC,OAAO,KAAK,EAAE,CAAC;oBACf,IAAI,MAAM,EAAE,OAAO;wBAAE,SAAS,CAAC,MAAM,CAAC,MAAM,IAAI,KAAK,CAAC,CAAA;oBACtD,MAAM,IAAI,eAAe,CAAC,kCAAkC,UAAU,CAAC,EAAE,GAAG,EAAE;wBAC5E,IAAI,EAAE,oBAAoB;wBAC1B,KAAK;qBACN,CAAC,CAAA;gBACJ,CAAC;gBACD,MAAM,QAAQ,GAAG,aAAa,CAAC,UAAU,CAAC,EAAE,EAAE,KAAK,EAAE,KAAK,EAAE,iBAAiB,CAAC,CAAA;gBAC9E,IAAI,QAAQ,CAAC,MAAM,KAAK,MAAM,IAAI,QAAQ,CAAC,MAAM,KAAK,eAAe,EAAE,CAAC;oBACtE,WAAW,CAAC,IAAI,CAAC,GAAG,QAAQ,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC,UAAU,CAAC,UAAU,EAAE,OAAO,CAAC,CAAC,CAAC,CAAA;gBAC1F,CAAC;gBACD,QAAQ,CAAC,IAAI,CACX,MAAM,CAAC,MAAM,CAAC;oBACZ,EAAE,EAAE,UAAU,CAAC,EAAE;oBACjB,MAAM,EAAE,QAAQ,CAAC,MAAM;oBACvB,GAAG,CAAC,QAAQ,CAAC,QAAQ,CAAC,CAAC,CAAC,EAAE,QAAQ,EAAE,QAAQ,CAAC,QAAQ,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;oBAC7D,cAAc,EAAE,cAAc,CAAC,cAAc;iBAC9C,CAAC,CACH,CAAA;YACH,CAAC;YACD,OAAO,MAAM,CAAC,MAAM,CAAC;gBACnB,WAAW,EAAE,MAAM,CAAC,MAAM,CAAC,WAAW,CAAC;gBACvC,QAAQ,EAAE,MAAM,CAAC,MAAM,CAAC,QAAQ,CAAC;aAClC,CAAC,CAAA;QACJ,CAAC;KACF,CAAC,CAAA;AACJ,CAAC;AAED,SAAS,gBAAgB,CACvB,WAAsC,EACtC,QAAyD,EACzD,KAA+C;IAE/C,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC;QAAE,eAAe,CAAC,oDAAoD,CAAC,CAAA;IAChG,MAAM,MAAM,GAAG,IAAI,GAAG,CAAC,WAAW,CAAC,GAAG,CAAC,CAAC,EAAE,EAAE,EAAE,EAAE,EAAE,CAAC,EAAE,CAAC,CAAC,CAAA;IACvD,MAAM,WAAW,GAAG,IAAI,GAAG,EAAmD,CAAA;IAC9E,KAAK,MAAM,KAAK,IAAI,KAAK,EAAE,CAAC;QAC1B,IAAI,CAAC,KAAK,IAAI,OAAO,KAAK,KAAK,QAAQ,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,KAAK,CAAC,MAAM,CAAC,EAAE,CAAC;YACrE,eAAe,CAAC,6DAA6D,CAAC,CAAA;QAChF,CAAC;QACD,IACE,KAAK,CAAC,MAAM,KAAK,8BAA8B;YAC/C,KAAK,CAAC,MAAM,KAAK,4BAA4B;YAC7C,KAAK,CAAC,MAAM,KAAK,yBAAyB,EAC1C,CAAC;YACD,eAAe,CAAC,QAAQ,KAAK,CAAC,MAAM,wCAAwC,CAAC,CAAA;QAC/E,CAAC;QACD,IAAI,QAAQ,CAAC,GAAG,CAAC,KAAK,CAAC,MAAM,CAAC,EAAE,CAAC;YAC/B,eAAe,CAAC,QAAQ,KAAK,CAAC,MAAM,qCAAqC,CAAC,CAAA;QAC5E,CAAC;QACD,IAAI,WAAW,CAAC,GAAG,CAAC,KAAK,CAAC,MAAM,CAAC,EAAE,CAAC;YAClC,eAAe,CAAC,QAAQ,KAAK,CAAC,MAAM,2CAA2C,CAAC,CAAA;QAClF,CAAC;QACD,WAAW,CAAC,GAAG,CAAC,KAAK,CAAC,MAAM,EAAE,KAAK,CAAC,MAAM,CAAC,CAAA;IAC7C,CAAC;IACD,OAAO,WAAW,CAAA;AACpB,CAAC;AAED,SAAS,SAAS,CAAC,OAAoB,EAAE,IAAoB;IAC3D,IAAI,IAAI,CAAC,EAAE,KAAK,gBAAgB;QAAE,eAAe,CAAC,qCAAqC,CAAC,CAAA;IACxF,aAAa,CAAC,EAAE,EAAE,EAAE,IAAI,CAAC,EAAE,EAAE,OAAO,EAAE,IAAI,CAAC,OAAO,EAAE,EAAE,WAAW,CAAC,CAAA;IAClE,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,IAAI,CAAC,YAAY,CAAC,EAAE,CAAC;QACtE,eAAe,CAAC,gCAAgC,CAAC,CAAA;IACnD,CAAC;IACD,MAAM,IAAI,GAAG,IAAI,GAAG,EAAU,CAAA;IAC9B,KAAK,MAAM,EAAE,IAAI,IAAI,CAAC,OAAO,EAAE,CAAC;QAC9B,IAAI,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC;YAAE,eAAe,CAAC,qBAAqB,EAAE,GAAG,CAAC,CAAA;QAC7D,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,CAAA;QACZ,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,EAAE,CAAC;YAAE,eAAe,CAAC,wCAAwC,EAAE,GAAG,CAAC,CAAA;IACtF,CAAC;IACD,MAAM,OAAO,GAAG,OAAO,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,EAAE,EAAE,EAAE,EAAE,EAAE,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC,CAAA;IAC/D,IAAI,OAAO,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACvB,eAAe,CAAC,kCAAkC,OAAO,CAAC,GAAG,CAAC,CAAC,EAAE,EAAE,EAAE,EAAE,EAAE,CAAC,EAAE,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,CAAA;IAC9F,CAAC;IACD,IAAI,IAAI,CAAC,YAAY,CAAC,MAAM,KAAK,IAAI,CAAC,OAAO,CAAC,MAAM,EAAE,CAAC;QACrD,eAAe,CAAC,+CAA+C,CAAC,CAAA;IAClE,CAAC;IACD,KAAK,IAAI,KAAK,GAAG,CAAC,EAAE,KAAK,GAAG,IAAI,CAAC,YAAY,CAAC,MAAM,EAAE,KAAK,IAAI,CAAC,EAAE,CAAC;QACjE,IAAI,IAAI,CAAC,YAAY,CAAC,KAAK,CAAC,EAAE,MAAM,KAAK,IAAI,CAAC,OAAO,CAAC,KAAK,CAAC,EAAE,CAAC;YAC7D,eAAe,CAAC,sDAAsD,CAAC,CAAA;QACzE,CAAC;IACH,CAAC;IACD,OAAO,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,OAAO,CAAC,GAAG,CAAC,EAAE,CAAE,CAAC,CAAC,CAAA;AAClE,CAAC;AAED,SAAS,oBAAoB,CAC3B,OAAoB,EACpB,IAAoB,EACpB,WAAsC,EACtC,eAAsD;IAEtD,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,eAAe,CAAC;QAAE,eAAe,CAAC,wCAAwC,CAAC,CAAA;IAC9F,MAAM,MAAM,GAAG,IAAI,GAAG,CAAC,WAAW,CAAC,GAAG,CAAC,CAAC,EAAE,EAAE,EAAE,EAAE,EAAE,CAAC,EAAE,CAAC,CAAC,CAAA;IACvD,MAAM,QAAQ,GAAG,IAAI,GAAG,EAAsC,CAAA;IAC9D,KAAK,MAAM,cAAc,IAAI,eAAe,EAAE,CAAC;QAC7C,IAAI,CAAC,cAAc,IAAI,OAAO,cAAc,KAAK,QAAQ,EAAE,CAAC;YAC1D,eAAe,CAAC,mCAAmC,CAAC,CAAA;QACtD,CAAC;QACD,IAAI,QAAQ,CAAC,GAAG,CAAC,cAAc,CAAC,MAAM,CAAC,EAAE,CAAC;YACxC,eAAe,CAAC,QAAQ,cAAc,CAAC,MAAM,+BAA+B,CAAC,CAAA;QAC/E,CAAC;QACD,MAAM,UAAU,GAAG,OAAO,CAAC,GAAG,CAAC,cAAc,CAAC,MAAM,CAAC,CAAA;QACrD,IAAI,CAAC,UAAU,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,cAAc,CAAC,MAAM,CAAC,EAAE,CAAC;YACtD,eAAe,CAAC,0CAA0C,cAAc,CAAC,MAAM,GAAG,CAAC,CAAA;QACrF,CAAC;QACD,aAAa,CAAC,cAAc,CAAC,cAAc,EAAE,kBAAkB,cAAc,CAAC,MAAM,EAAE,CAAC,CAAA;QACvF,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,cAAc,CAAC,YAAY,CAAC,EAAE,CAAC;YAChD,eAAe,CAAC,kBAAkB,cAAc,CAAC,MAAM,gCAAgC,CAAC,CAAA;QAC1F,CAAC;QACD,MAAM,QAAQ,GAAG,YAAY,CAAC,UAAU,CAAC,CAAA;QACzC,IAAI,cAAc,CAAC,YAAY,KAAK,QAAQ,EAAE,CAAC;YAC7C,eAAe,CACb,kBAAkB,cAAc,CAAC,MAAM,wBAAwB,cAAc,CAAC,YAAY,sBAAsB,QAAQ,GAAG,CAC5H,CAAA;QACH,CAAC;QACD,MAAM,aAAa,GAAG,IAAI,CAAC,YAAY,CAAC,IAAI,CAC1C,CAAC,EAAE,MAAM,EAAE,EAAE,EAAE,CAAC,MAAM,KAAK,cAAc,CAAC,MAAM,CAChD,CAAC,KAAK,CAAA;QACR,IACE,CAAC,KAAK,CAAC,OAAO,CAAC,cAAc,CAAC,aAAa,CAAC;YAC5C,cAAc,CAAC,aAAa,CAAC,MAAM,KAAK,aAAa,CAAC,MAAM;YAC5D,cAAc,CAAC,aAAa,CAAC,IAAI,CAC/B,CAAC,IAAa,EAAE,KAAa,EAAE,EAAE,CAAC,IAAI,KAAK,aAAa,CAAC,KAAK,CAAC,CAChE,EACD,CAAC;YACD,eAAe,CAAC,kBAAkB,cAAc,CAAC,MAAM,iCAAiC,CAAC,CAAA;QAC3F,CAAC;QACD,IAAI,OAAO,cAAc,CAAC,QAAQ,KAAK,UAAU,EAAE,CAAC;YAClD,eAAe,CAAC,kBAAkB,cAAc,CAAC,MAAM,oBAAoB,CAAC,CAAA;QAC9E,CAAC;QACD,QAAQ,CAAC,GAAG,CACV,cAAc,CAAC,MAAM,EACrB,MAAM,CAAC,MAAM,CAAC;YACZ,MAAM,EAAE,cAAc,CAAC,MAAM;YAC7B,YAAY,EAAE,cAAc,CAAC,YAAY;YACzC,aAAa,EAAE,MAAM,CAAC,MAAM,CAAC,CAAC,GAAG,cAAc,CAAC,aAAa,CAAC,CAAC;YAC/D,cAAc,EAAE,MAAM,CAAC,MAAM,CAAC;gBAC5B,EAAE,EAAE,cAAc,CAAC,cAAc,CAAC,EAAE;gBACpC,OAAO,EAAE,cAAc,CAAC,cAAc,CAAC,OAAO;aAC/C,CAAC;YACF,QAAQ,EAAE,cAAc,CAAC,QAAQ;SAClC,CAAC,CACH,CAAA;IACH,CAAC;IACD,OAAO,QAAQ,CAAA;AACjB,CAAC;AAED,SAAS,aAAa,CAAC,QAAoC,EAAE,KAAa;IACxE,IAAI,CAAC,QAAQ,IAAI,OAAO,QAAQ,KAAK,QAAQ,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,QAAQ,CAAC,EAAE,CAAC,EAAE,CAAC;QAC1E,eAAe,CAAC,GAAG,KAAK,qBAAqB,CAAC,CAAA;IAChD,CAAC;IACD,IACE,OAAO,QAAQ,CAAC,OAAO,KAAK,QAAQ;QACpC,CAAC,QAAQ,CAAC,OAAO,CAAC,IAAI,EAAE;QACxB,MAAM,CAAC,UAAU,CAAC,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC,GAAG,iBAAiB,EAC/D,CAAC;QACD,eAAe,CAAC,GAAG,KAAK,0BAA0B,CAAC,CAAA;IACrD,CAAC;AACH,CAAC;AAED,SAAS,WAAW,CAClB,WAAsC,EACtC,QAAyD,EACzD,WAAyE;IAEzE,MAAM,KAAK,GAAG,WAAW,CAAC,GAAG,CAAC,CAAC,UAAU,EAAE,EAAE;QAC3C,MAAM,cAAc,GAAG,QAAQ,CAAC,GAAG,CAAC,UAAU,CAAC,EAAE,CAAC,CAAA;QAClD,OAAO,cAAc;YACnB,CAAC,CAAC,MAAM,CAAC,MAAM,CAAC;gBACZ,EAAE,EAAE,UAAU,CAAC,EAAE;gBACjB,KAAK,EAAE,WAAoB;gBAC3B,cAAc,EAAE,cAAc,CAAC,cAAc;aAC9C,CAAC;YACJ,CAAC,CAAC,MAAM,CAAC,MAAM,CAAC;gBACZ,EAAE,EAAE,UAAU,CAAC,EAAE;gBACjB,KAAK,EAAE,aAAsB;gBAC7B,MAAM,EAAE,WAAW,CAAC,GAAG,CAAC,UAAU,CAAC,EAAE,CAAC,IAAK,8BAAwC;aACpF,CAAC,CAAA;IACR,CAAC,CAAC,CAAA;IACF,MAAM,SAAS,GAAG,QAAQ,CAAC,IAAI,CAAA;IAC/B,OAAO,MAAM,CAAC,MAAM,CAAC;QACnB,KAAK,EAAE,WAAW,CAAC,MAAM;QACzB,SAAS;QACT,WAAW,EAAE,WAAW,CAAC,MAAM,GAAG,SAAS;QAC3C,KAAK,EAAE,MAAM,CAAC,MAAM,CAAC,KAAK,CAAC;KAC5B,CAAC,CAAA;AACJ,CAAC;AAED,SAAS,aAAa,CACpB,EAAU,EACV,KAAc,EACd,KAAa,EACb,iBAAgD;IAEhD,IAAI,CAAC,MAAM,CAAC,KAAK,CAAC;QAAE,WAAW,CAAC,kBAAkB,EAAE,iCAAiC,CAAC,CAAA;IACtF,IACE,KAAK,CAAC,MAAM,KAAK,MAAM;QACvB,KAAK,CAAC,MAAM,KAAK,gBAAgB;QACjC,KAAK,CAAC,MAAM,KAAK,MAAM;QACvB,KAAK,CAAC,MAAM,KAAK,eAAe;QAChC,KAAK,CAAC,MAAM,KAAK,OAAO,EACxB,CAAC;QACD,WAAW,CAAC,kBAAkB,EAAE,8BAA8B,CAAC,CAAA;IACjE,CAAC;IACD,MAAM,QAAQ,GAAG,KAAK,CAAC,QAAQ,KAAK,SAAS,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,WAAW,CAAC,KAAK,CAAC,QAAQ,EAAE,EAAE,CAAC,CAAA;IAC3F,IAAI,KAAK,CAAC,MAAM,KAAK,OAAO,EAAE,CAAC;QAC7B,IAAI,CAAC,QAAQ;YAAE,WAAW,CAAC,kBAAkB,EAAE,yBAAyB,CAAC,CAAA;QACzE,IAAI,KAAK,CAAC,QAAQ,KAAK,SAAS;YAAE,WAAW,CAAC,kBAAkB,EAAE,2BAA2B,CAAC,CAAA;QAC9F,OAAO,MAAM,CAAC,MAAM,CAAC,EAAE,MAAM,EAAE,OAAO,EAAE,QAAQ,EAAE,CAAC,CAAA;IACrD,CAAC;IACD,IAAI,KAAK,CAAC,MAAM,KAAK,MAAM,IAAI,KAAK,CAAC,MAAM,KAAK,gBAAgB,EAAE,CAAC;QACjE,IAAI,KAAK,CAAC,QAAQ,KAAK,SAAS,EAAE,CAAC;YACjC,WAAW,CAAC,kBAAkB,EAAE,IAAI,KAAK,CAAC,MAAM,4BAA4B,CAAC,CAAA;QAC/E,CAAC;QACD,OAAO,MAAM,CAAC,MAAM,CAAC,EAAE,MAAM,EAAE,KAAK,CAAC,MAAM,EAAE,GAAG,CAAC,QAAQ,CAAC,CAAC,CAAC,EAAE,QAAQ,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAA;IACnF,CAAC;IACD,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,QAAQ,CAAC,IAAI,KAAK,CAAC,QAAQ,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QAClE,WAAW,CAAC,kBAAkB,EAAE,IAAI,KAAK,CAAC,MAAM,0BAA0B,CAAC,CAAA;IAC7E,CAAC;IACD,IAAI,KAAK,CAAC,QAAQ,CAAC,MAAM,GAAG,qBAAqB,EAAE,CAAC;QAClD,WAAW,CAAC,kBAAkB,EAAE,8BAA8B,CAAC,CAAA;IACjE,CAAC;IACD,MAAM,QAAQ,GAAG,KAAK,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,OAAO,EAAE,EAAE,CAC9C,YAAY,CAAC,EAAE,EAAE,OAAO,EAAE,KAAK,EAAE,iBAAiB,CAAC,CACpD,CAAA;IACD,MAAM,OAAO,GAAG,QAAQ,CAAC,IAAI,CAAC,CAAC,EAAE,IAAI,EAAE,EAAE,EAAE,CAAC,IAAI,KAAK,MAAM,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,eAAe,CAAA;IACvF,IAAI,KAAK,CAAC,MAAM,KAAK,OAAO,EAAE,CAAC;QAC7B,WAAW,CAAC,kBAAkB,EAAE,sCAAsC,CAAC,CAAA;IACzE,CAAC;IACD,OAAO,MAAM,CAAC,MAAM,CAAC;QACnB,MAAM,EAAE,OAAO;QACf,QAAQ,EAAE,MAAM,CAAC,MAAM,CAAC,QAAQ,CAAC;QACjC,GAAG,CAAC,QAAQ,CAAC,CAAC,CAAC,EAAE,QAAQ,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;KAClC,CAAC,CAAA;AACJ,CAAC;AAED,SAAS,YAAY,CACnB,EAAU,EACV,KAAc,EACd,KAAa,EACb,iBAAgD;IAEhD,IAAI,CAAC,MAAM,CAAC,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,IAAI,KAAK,MAAM,IAAI,KAAK,CAAC,IAAI,KAAK,eAAe,CAAC,EAAE,CAAC;QAChF,WAAW,CAAC,kBAAkB,EAAE,gCAAgC,CAAC,CAAA;IACnE,CAAC;IACD,MAAM,QAAQ,GAAG,WAAW,CAAC,KAAK,CAAC,QAAQ,EAAE,EAAE,CAAC,CAAA;IAChD,IAAI,eAA4C,CAAA;IAChD,IAAI,KAAK,CAAC,IAAI,KAAK,MAAM,EAAE,CAAC;QAC1B,IAAI,KAAK,CAAC,eAAe,KAAK,SAAS,EAAE,CAAC;YACxC,WAAW,CAAC,gBAAgB,EAAE,2BAA2B,CAAC,CAAA;QAC5D,CAAC;IACH,CAAC;SAAM,IAAI,KAAK,CAAC,eAAe,KAAK,SAAS,EAAE,CAAC;QAC/C,eAAe,GAAG,uBAAuB,CAAA;IAC3C,CAAC;SAAM,IACL,OAAO,KAAK,CAAC,eAAe,KAAK,QAAQ;QACzC,CAAC,iBAAiB,CAAC,GAAG,CAAC,KAAK,CAAC,eAAkC,CAAC,EAChE,CAAC;QACD,WAAW,CAAC,yBAAyB,EAAE,yBAAyB,CAAC,CAAA;IACnE,CAAC;;QAAM,eAAe,GAAG,KAAK,CAAC,eAAkC,CAAA;IACjE,MAAM,QAAQ,GACZ,KAAK,CAAC,QAAQ,KAAK,SAAS;QAC1B,CAAC,CAAC,SAAS;QACX,CAAC,CAAC,aAAa,CAAC,EAAE,EAAE,KAAK,CAAC,QAAQ,EAAE,KAAK,EAAE,iBAAiB,CAAC,CAAA;IACjE,OAAO,MAAM,CAAC,MAAM,CAAC;QACnB,IAAI,EAAE,KAAK,CAAC,IAAI;QAChB,QAAQ;QACR,GAAG,CAAC,eAAe,CAAC,CAAC,CAAC,EAAE,eAAe,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;QAC/C,GAAG,CAAC,QAAQ,CAAC,CAAC,CAAC,EAAE,QAAQ,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;KAClC,CAAC,CAAA;AACJ,CAAC;AAED,SAAS,aAAa,CACpB,EAAU,EACV,KAAc,EACd,KAAa,EACb,iBAAgD;IAEhD,IACE,CAAC,MAAM,CAAC,KAAK,CAAC;QACd,OAAO,KAAK,CAAC,IAAI,KAAK,QAAQ;QAC9B,CAAC,QAAQ,CAAC,KAAK,CAAC,IAAI,CAAC;QACrB,CAAC,QAAQ,CAAC,KAAK,CAAC,MAAM,CAAC,EACvB,CAAC;QACD,WAAW,CAAC,kBAAkB,EAAE,gCAAgC,CAAC,CAAA;IACnE,CAAC;IACD,MAAM,SAAS,GAAG,KAAK,CAAC,MAAM,KAAK,SAAS,CAAA;IAC5C,MAAM,SAAS,GAAG,KAAK,CAAC,MAAM,KAAK,SAAS,CAAA;IAC5C,IAAI,SAAS,KAAK,SAAS;QAAE,WAAW,CAAC,kBAAkB,EAAE,mCAAmC,CAAC,CAAA;IACjG,IAAI,SAAS,EAAE,CAAC;QACd,IAAI,CAAC,WAAW,CAAC,KAAK,CAAC,MAAM,CAAC,IAAI,CAAC,QAAQ,CAAC,KAAK,CAAC,MAAM,CAAC,EAAE,CAAC;YAC1D,WAAW,CAAC,kBAAkB,EAAE,4BAA4B,CAAC,CAAA;QAC/D,CAAC;IACH,CAAC;IACD,MAAM,QAAQ,GAAG,MAAM,CAAC,MAAM,CAAC;QAC7B,IAAI,EAAE,KAAK,CAAC,IAAI;QAChB,IAAI,EAAE,KAAK,CAAC,IAAc;QAC1B,MAAM,EAAE,KAAK,CAAC,MAAgB;QAC9B,GAAG,CAAC,SAAS,CAAC,CAAC,CAAC,EAAE,MAAM,EAAE,KAAK,CAAC,MAAgB,EAAE,MAAM,EAAE,KAAK,CAAC,MAAgB,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;KACzF,CAAC,CAAA;IACF,iBAAiB,CAAC,cAAc,CAAC,EAAE,EAAE,QAAQ,EAAE,KAAK,CAAC,CAAA;IACrD,OAAO,QAAQ,CAAA;AACjB,CAAC;AAED,SAAS,WAAW,CAAC,KAAc,EAAE,EAAU;IAC7C,IAAI,OAAO,KAAK,KAAK,QAAQ,IAAI,CAAC,KAAK,CAAC,IAAI,EAAE,EAAE,CAAC;QAC/C,WAAW,CAAC,kBAAkB,EAAE,2BAA2B,CAAC,CAAA;IAC9D,CAAC;IACD,MAAM,KAAK,GAAG,MAAM,CAAC,UAAU,CAAC,KAAK,EAAE,MAAM,CAAC,CAAA;IAC9C,IAAI,KAAK,GAAG,kBAAkB,EAAE,CAAC;QAC/B,WAAW,CACT,kBAAkB,EAAE,gBAAgB,KAAK,sBAAsB,kBAAkB,GAAG,CACrF,CAAA;IACH,CAAC;IACD,OAAO,KAAK,CAAA;AACd,CAAC;AAED,SAAS,YAAY,CAAC,MAAoB;IACxC,IAAI,MAAM,EAAE,OAAO;QAAE,SAAS,CAAC,MAAM,CAAC,MAAM,CAAC,CAAA;AAC/C,CAAC;AAED,SAAS,MAAM,CAAC,KAAc;IAC5B,OAAO,OAAO,CAAC,KAAK,IAAI,OAAO,KAAK,KAAK,QAAQ,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC,CAAA;AAC7E,CAAC;AAED,SAAS,QAAQ,CAAC,KAAc;IAC9B,OAAO,MAAM,CAAC,aAAa,CAAC,KAAK,CAAC,IAAK,KAAgB,IAAI,CAAC,CAAA;AAC9D,CAAC;AAED,SAAS,WAAW,CAAC,KAAc;IACjC,OAAO,MAAM,CAAC,aAAa,CAAC,KAAK,CAAC,IAAK,KAAgB,IAAI,CAAC,CAAA;AAC9D,CAAC;AAED,SAAS,eAAe,CAAC,OAAe;IACtC,MAAM,IAAI,eAAe,CAAC,OAAO,EAAE,EAAE,IAAI,EAAE,sBAAsB,EAAE,CAAC,CAAA;AACtE,CAAC;AAED,SAAS,WAAW,CAAC,OAAe;IAClC,MAAM,IAAI,eAAe,CAAC,OAAO,EAAE,EAAE,IAAI,EAAE,oBAAoB,EAAE,CAAC,CAAA;AACpE,CAAC;AAED,SAAS,SAAS,CAAC,KAAc;IAC/B,MAAM,IAAI,eAAe,CAAC,4BAA4B,EAAE,EAAE,IAAI,EAAE,kBAAkB,EAAE,KAAK,EAAE,CAAC,CAAA;AAC9F,CAAC"}

package/dist/linter/evaluation/binding/diagnostic.d.ts

@@ -0,0 +1,5 @@
+import type { RuleDefinition } from '../../catalog/index.js';
+import type { LintDiagnostic } from '../../diagnostics/index.js';
+import type { RuleEvidence } from '../contract/index.js';
+export declare function diagnostic(definition: RuleDefinition, finding: RuleEvidence): LintDiagnostic;
+//# sourceMappingURL=diagnostic.d.ts.map

package/dist/linter/evaluation/binding/diagnostic.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"diagnostic.d.ts","sourceRoot":"","sources":["../../../../src/linter/evaluation/binding/diagnostic.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,wBAAwB,CAAA;AAC5D,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,4BAA4B,CAAA;AAChE,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,sBAAsB,CAAA;AAExD,wBAAgB,UAAU,CAAC,UAAU,EAAE,cAAc,EAAE,OAAO,EAAE,YAAY,GAAG,cAAc,CAe5F"}

package/dist/linter/evaluation/binding/diagnostic.js

@@ -0,0 +1,17 @@
+export function diagnostic(definition, finding) {
+    return Object.freeze({
+        id: definition.id,
+        source: 'domain-rule',
+        scope: definition.scope,
+        analysis: definition.kind,
+        kind: finding.kind === 'fail' ? 'violation' : 'ambiguity',
+        ...(finding.kind === 'indeterminate'
+            ? { ambiguityReason: finding.ambiguityReason ?? 'insufficient-evidence' }
+            : {}),
+        severity: finding.kind === 'indeterminate' ? 'notice' : definition.severity,
+        message: definition.message,
+        evidence: finding.evidence,
+        ...(finding.location ? { location: finding.location } : {}),
+    });
+}
+//# sourceMappingURL=diagnostic.js.map

package/dist/linter/evaluation/binding/diagnostic.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"diagnostic.js","sourceRoot":"","sources":["../../../../src/linter/evaluation/binding/diagnostic.ts"],"names":[],"mappings":"AAIA,MAAM,UAAU,UAAU,CAAC,UAA0B,EAAE,OAAqB;IAC1E,OAAO,MAAM,CAAC,MAAM,CAAC;QACnB,EAAE,EAAE,UAAU,CAAC,EAAE;QACjB,MAAM,EAAE,aAAa;QACrB,KAAK,EAAE,UAAU,CAAC,KAAK;QACvB,QAAQ,EAAE,UAAU,CAAC,IAAI;QACzB,IAAI,EAAE,OAAO,CAAC,IAAI,KAAK,MAAM,CAAC,CAAC,CAAC,WAAW,CAAC,CAAC,CAAC,WAAW;QACzD,GAAG,CAAC,OAAO,CAAC,IAAI,KAAK,eAAe;YAClC,CAAC,CAAC,EAAE,eAAe,EAAE,OAAO,CAAC,eAAe,IAAI,uBAAuB,EAAE;YACzE,CAAC,CAAC,EAAE,CAAC;QACP,QAAQ,EAAE,OAAO,CAAC,IAAI,KAAK,eAAe,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,UAAU,CAAC,QAAQ;QAC3E,OAAO,EAAE,UAAU,CAAC,OAAO;QAC3B,QAAQ,EAAE,OAAO,CAAC,QAAQ;QAC1B,GAAG,CAAC,OAAO,CAAC,QAAQ,CAAC,CAAC,CAAC,EAAE,QAAQ,EAAE,OAAO,CAAC,QAAQ,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;KAC5D,CAAC,CAAA;AACJ,CAAC"}

package/dist/linter/evaluation/binding/index.d.ts

@@ -0,0 +1,2 @@
+export { bindEvaluation } from './bind.js';
+//# sourceMappingURL=index.d.ts.map

package/dist/linter/evaluation/binding/index.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../../../src/linter/evaluation/binding/index.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,cAAc,EAAE,MAAM,WAAW,CAAA"}

package/dist/linter/evaluation/binding/index.js

@@ -0,0 +1,2 @@
+export { bindEvaluation } from './bind.js';
+//# sourceMappingURL=index.js.map

package/dist/linter/evaluation/binding/index.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.js","sourceRoot":"","sources":["../../../../src/linter/evaluation/binding/index.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,cAAc,EAAE,MAAM,WAAW,CAAA"}

package/dist/linter/evaluation/contract/availability.d.ts

@@ -0,0 +1,28 @@
+import type { EvaluationResult } from './decision.js';
+import type { RuleImplementationIdentity } from './implementation.js';
+export type RuleAvailabilityReason = 'no-compatible-implementation' | 'required-facts-unavailable' | 'implementation-disabled';
+export interface RuleUnavailableImplementation {
+    readonly ruleId: string;
+    readonly reason: RuleAvailabilityReason;
+}
+export type RuleAvailability = Readonly<{
+    id: string;
+    state: 'available';
+    implementation: RuleImplementationIdentity;
+}> | Readonly<{
+    id: string;
+    state: 'unavailable';
+    reason: RuleAvailabilityReason;
+}>;
+export interface LintCoverage {
+    readonly total: number;
+    readonly available: number;
+    readonly unavailable: number;
+    readonly rules: readonly RuleAvailability[];
+}
+export interface EvaluationBinding<TInput> {
+    readonly coverage: LintCoverage;
+    assertAvailable(requiredRuleIds: readonly string[]): void;
+    evaluate(input: TInput, signal?: AbortSignal): Promise<EvaluationResult>;
+}
+//# sourceMappingURL=availability.d.ts.map

package/dist/linter/evaluation/contract/availability.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"availability.d.ts","sourceRoot":"","sources":["../../../../src/linter/evaluation/contract/availability.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,gBAAgB,EAAE,MAAM,eAAe,CAAA;AACrD,OAAO,KAAK,EAAE,0BAA0B,EAAE,MAAM,qBAAqB,CAAA;AAErE,MAAM,MAAM,sBAAsB,GAC9B,8BAA8B,GAC9B,4BAA4B,GAC5B,yBAAyB,CAAA;AAE7B,MAAM,WAAW,6BAA6B;IAC5C,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAA;IACvB,QAAQ,CAAC,MAAM,EAAE,sBAAsB,CAAA;CACxC;AAED,MAAM,MAAM,gBAAgB,GACxB,QAAQ,CAAC;IACP,EAAE,EAAE,MAAM,CAAA;IACV,KAAK,EAAE,WAAW,CAAA;IAClB,cAAc,EAAE,0BAA0B,CAAA;CAC3C,CAAC,GACF,QAAQ,CAAC;IACP,EAAE,EAAE,MAAM,CAAA;IACV,KAAK,EAAE,aAAa,CAAA;IACpB,MAAM,EAAE,sBAAsB,CAAA;CAC/B,CAAC,CAAA;AAEN,MAAM,WAAW,YAAY;IAC3B,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAA;IACtB,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAA;IAC1B,QAAQ,CAAC,WAAW,EAAE,MAAM,CAAA;IAC5B,QAAQ,CAAC,KAAK,EAAE,SAAS,gBAAgB,EAAE,CAAA;CAC5C;AAED,MAAM,WAAW,iBAAiB,CAAC,MAAM;IACvC,QAAQ,CAAC,QAAQ,EAAE,YAAY,CAAA;IAC/B,eAAe,CAAC,eAAe,EAAE,SAAS,MAAM,EAAE,GAAG,IAAI,CAAA;IACzD,QAAQ,CAAC,KAAK,EAAE,MAAM,EAAE,MAAM,CAAC,EAAE,WAAW,GAAG,OAAO,CAAC,gBAAgB,CAAC,CAAA;CACzE"}

package/dist/linter/evaluation/contract/availability.js

@@ -0,0 +1,2 @@
+export {};
+//# sourceMappingURL=availability.js.map

package/dist/linter/evaluation/contract/availability.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"availability.js","sourceRoot":"","sources":["../../../../src/linter/evaluation/contract/availability.ts"],"names":[],"mappings":""}

package/dist/linter/evaluation/contract/decision.d.ts

@@ -0,0 +1,26 @@
+import type { LintDiagnostic } from '../../diagnostics/index.js';
+import type { RuleEvidence } from './evidence.js';
+import type { RuleImplementationIdentity } from './implementation.js';
+export type RuleDecision = Readonly<{
+    status: 'pass' | 'not-applicable';
+    evidence?: string;
+}> | Readonly<{
+    status: 'fail' | 'indeterminate';
+    findings: readonly RuleEvidence[];
+    evidence?: string;
+}> | Readonly<{
+    status: 'error';
+    evidence: string;
+}>;
+export type RuleEvaluationStatus = RuleDecision['status'];
+export interface RuleEvaluationOutcome {
+    readonly id: string;
+    readonly status: RuleEvaluationStatus;
+    readonly evidence?: string;
+    readonly implementation: RuleImplementationIdentity;
+}
+export interface EvaluationResult {
+    readonly diagnostics: readonly LintDiagnostic[];
+    readonly outcomes: readonly RuleEvaluationOutcome[];
+}
+//# sourceMappingURL=decision.d.ts.map

package/dist/linter/evaluation/contract/decision.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"decision.d.ts","sourceRoot":"","sources":["../../../../src/linter/evaluation/contract/decision.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,4BAA4B,CAAA;AAChE,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,eAAe,CAAA;AACjD,OAAO,KAAK,EAAE,0BAA0B,EAAE,MAAM,qBAAqB,CAAA;AAErE,MAAM,MAAM,YAAY,GACpB,QAAQ,CAAC;IAAE,MAAM,EAAE,MAAM,GAAG,gBAAgB,CAAC;IAAC,QAAQ,CAAC,EAAE,MAAM,CAAA;CAAE,CAAC,GAClE,QAAQ,CAAC;IACP,MAAM,EAAE,MAAM,GAAG,eAAe,CAAA;IAChC,QAAQ,EAAE,SAAS,YAAY,EAAE,CAAA;IACjC,QAAQ,CAAC,EAAE,MAAM,CAAA;CAClB,CAAC,GACF,QAAQ,CAAC;IAAE,MAAM,EAAE,OAAO,CAAC;IAAC,QAAQ,EAAE,MAAM,CAAA;CAAE,CAAC,CAAA;AAEnD,MAAM,MAAM,oBAAoB,GAAG,YAAY,CAAC,QAAQ,CAAC,CAAA;AAEzD,MAAM,WAAW,qBAAqB;IACpC,QAAQ,CAAC,EAAE,EAAE,MAAM,CAAA;IACnB,QAAQ,CAAC,MAAM,EAAE,oBAAoB,CAAA;IACrC,QAAQ,CAAC,QAAQ,CAAC,EAAE,MAAM,CAAA;IAC1B,QAAQ,CAAC,cAAc,EAAE,0BAA0B,CAAA;CACpD;AAED,MAAM,WAAW,gBAAgB;IAC/B,QAAQ,CAAC,WAAW,EAAE,SAAS,cAAc,EAAE,CAAA;IAC/C,QAAQ,CAAC,QAAQ,EAAE,SAAS,qBAAqB,EAAE,CAAA;CACpD"}

package/dist/linter/evaluation/contract/decision.js

@@ -0,0 +1,2 @@
+export {};
+//# sourceMappingURL=decision.js.map

package/dist/linter/evaluation/contract/decision.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"decision.js","sourceRoot":"","sources":["../../../../src/linter/evaluation/contract/decision.ts"],"names":[],"mappings":""}

package/dist/linter/evaluation/contract/evidence.d.ts

@@ -0,0 +1,12 @@
+import type { AmbiguityReason, DiagnosticLocation } from '../../diagnostics/index.js';
+export interface RuleEvidence {
+    readonly kind: 'fail' | 'indeterminate';
+    readonly evidence: string;
+    readonly ambiguityReason?: AmbiguityReason;
+    readonly location?: DiagnosticLocation;
+}
+/** Host-owned admission for locations returned against one exact evaluation input. */
+export interface RuleEvidenceAdmission<TInput> {
+    assertLocation(ruleId: string, location: DiagnosticLocation, input: TInput): void;
+}
+//# sourceMappingURL=evidence.d.ts.map

package/dist/linter/evaluation/contract/evidence.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"evidence.d.ts","sourceRoot":"","sources":["../../../../src/linter/evaluation/contract/evidence.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,eAAe,EAAE,kBAAkB,EAAE,MAAM,4BAA4B,CAAA;AAErF,MAAM,WAAW,YAAY;IAC3B,QAAQ,CAAC,IAAI,EAAE,MAAM,GAAG,eAAe,CAAA;IACvC,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAA;IACzB,QAAQ,CAAC,eAAe,CAAC,EAAE,eAAe,CAAA;IAC1C,QAAQ,CAAC,QAAQ,CAAC,EAAE,kBAAkB,CAAA;CACvC;AAED,sFAAsF;AACtF,MAAM,WAAW,qBAAqB,CAAC,MAAM;IAC3C,cAAc,CAAC,MAAM,EAAE,MAAM,EAAE,QAAQ,EAAE,kBAAkB,EAAE,KAAK,EAAE,MAAM,GAAG,IAAI,CAAA;CAClF"}

package/dist/linter/evaluation/contract/evidence.js

@@ -0,0 +1,2 @@
+export {};
+//# sourceMappingURL=evidence.js.map

package/dist/linter/evaluation/contract/evidence.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"evidence.js","sourceRoot":"","sources":["../../../../src/linter/evaluation/contract/evidence.ts"],"names":[],"mappings":""}

package/dist/linter/evaluation/contract/implementation.d.ts

@@ -0,0 +1,22 @@
+import type { RuleFactRequirement } from '../../requirements/index.js';
+import type { RuleUnavailableImplementation } from './availability.js';
+import type { RuleDecision } from './decision.js';
+import type { RuleEvidenceAdmission } from './evidence.js';
+export interface RuleImplementationIdentity {
+    readonly id: string;
+    readonly version: string;
+}
+export interface RuleImplementation<TInput> {
+    readonly ruleId: string;
+    readonly ruleRevision: string;
+    readonly requiredFacts: readonly RuleFactRequirement[];
+    readonly implementation: RuleImplementationIdentity;
+    evaluate(input: TInput): RuleDecision | Promise<RuleDecision>;
+}
+/** Complete generation-specific implementation input admitted by evaluation binding. */
+export interface RuleImplementationPlan<TInput> {
+    readonly available: readonly RuleImplementation<TInput>[];
+    readonly unavailable: readonly RuleUnavailableImplementation[];
+    readonly evidenceAdmission: RuleEvidenceAdmission<TInput>;
+}
+//# sourceMappingURL=implementation.d.ts.map

package/dist/linter/evaluation/contract/implementation.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"implementation.d.ts","sourceRoot":"","sources":["../../../../src/linter/evaluation/contract/implementation.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,mBAAmB,EAAE,MAAM,6BAA6B,CAAA;AACtE,OAAO,KAAK,EAAE,6BAA6B,EAAE,MAAM,mBAAmB,CAAA;AACtE,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,eAAe,CAAA;AACjD,OAAO,KAAK,EAAE,qBAAqB,EAAE,MAAM,eAAe,CAAA;AAE1D,MAAM,WAAW,0BAA0B;IACzC,QAAQ,CAAC,EAAE,EAAE,MAAM,CAAA;IACnB,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAA;CACzB;AAED,MAAM,WAAW,kBAAkB,CAAC,MAAM;IACxC,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAA;IACvB,QAAQ,CAAC,YAAY,EAAE,MAAM,CAAA;IAC7B,QAAQ,CAAC,aAAa,EAAE,SAAS,mBAAmB,EAAE,CAAA;IACtD,QAAQ,CAAC,cAAc,EAAE,0BAA0B,CAAA;IACnD,QAAQ,CAAC,KAAK,EAAE,MAAM,GAAG,YAAY,GAAG,OAAO,CAAC,YAAY,CAAC,CAAA;CAC9D;AAED,wFAAwF;AACxF,MAAM,WAAW,sBAAsB,CAAC,MAAM;IAC5C,QAAQ,CAAC,SAAS,EAAE,SAAS,kBAAkB,CAAC,MAAM,CAAC,EAAE,CAAA;IACzD,QAAQ,CAAC,WAAW,EAAE,SAAS,6BAA6B,EAAE,CAAA;IAC9D,QAAQ,CAAC,iBAAiB,EAAE,qBAAqB,CAAC,MAAM,CAAC,CAAA;CAC1D"}

package/dist/linter/evaluation/contract/implementation.js

@@ -0,0 +1,2 @@
+export {};
+//# sourceMappingURL=implementation.js.map

package/dist/linter/evaluation/contract/implementation.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"implementation.js","sourceRoot":"","sources":["../../../../src/linter/evaluation/contract/implementation.ts"],"names":[],"mappings":""}

package/dist/linter/evaluation/contract/index.d.ts

@@ -0,0 +1,5 @@
+export type { EvaluationBinding, LintCoverage, RuleAvailability, RuleAvailabilityReason, RuleUnavailableImplementation, } from './availability.js';
+export type { EvaluationResult, RuleDecision, RuleEvaluationOutcome, RuleEvaluationStatus, } from './decision.js';
+export type { RuleEvidence, RuleEvidenceAdmission } from './evidence.js';
+export type { RuleImplementation, RuleImplementationIdentity, RuleImplementationPlan, } from './implementation.js';
+//# sourceMappingURL=index.d.ts.map

package/dist/linter/evaluation/contract/index.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../../../src/linter/evaluation/contract/index.ts"],"names":[],"mappings":"AAAA,YAAY,EACV,iBAAiB,EACjB,YAAY,EACZ,gBAAgB,EAChB,sBAAsB,EACtB,6BAA6B,GAC9B,MAAM,mBAAmB,CAAA;AAC1B,YAAY,EACV,gBAAgB,EAChB,YAAY,EACZ,qBAAqB,EACrB,oBAAoB,GACrB,MAAM,eAAe,CAAA;AACtB,YAAY,EAAE,YAAY,EAAE,qBAAqB,EAAE,MAAM,eAAe,CAAA;AACxE,YAAY,EACV,kBAAkB,EAClB,0BAA0B,EAC1B,sBAAsB,GACvB,MAAM,qBAAqB,CAAA"}

package/dist/linter/evaluation/contract/index.js

@@ -0,0 +1,2 @@
+export {};
+//# sourceMappingURL=index.js.map

package/dist/linter/evaluation/contract/index.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.js","sourceRoot":"","sources":["../../../../src/linter/evaluation/contract/index.ts"],"names":[],"mappings":""}

package/dist/linter/evaluation/index.d.ts

@@ -0,0 +1,3 @@
+export { bindEvaluation } from './binding/index.js';
+export type { EvaluationBinding, EvaluationResult, LintCoverage, RuleAvailability, RuleAvailabilityReason, RuleDecision, RuleEvaluationOutcome, RuleEvaluationStatus, RuleEvidence, RuleEvidenceAdmission, RuleImplementation, RuleImplementationIdentity, RuleImplementationPlan, RuleUnavailableImplementation, } from './contract/index.js';
+//# sourceMappingURL=index.d.ts.map

package/dist/linter/evaluation/index.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../../src/linter/evaluation/index.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,cAAc,EAAE,MAAM,oBAAoB,CAAA;AACnD,YAAY,EACV,iBAAiB,EACjB,gBAAgB,EAChB,YAAY,EACZ,gBAAgB,EAChB,sBAAsB,EACtB,YAAY,EACZ,qBAAqB,EACrB,oBAAoB,EACpB,YAAY,EACZ,qBAAqB,EACrB,kBAAkB,EAClB,0BAA0B,EAC1B,sBAAsB,EACtB,6BAA6B,GAC9B,MAAM,qBAAqB,CAAA"}

package/dist/linter/evaluation/index.js

@@ -0,0 +1,2 @@
+export { bindEvaluation } from './binding/index.js';
+//# sourceMappingURL=index.js.map

package/dist/linter/evaluation/index.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.js","sourceRoot":"","sources":["../../../src/linter/evaluation/index.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,cAAc,EAAE,MAAM,oBAAoB,CAAA"}

package/dist/linter/implementations/source/capabilities.d.ts

@@ -0,0 +1,3 @@
+import type { SourceRuleVerifier } from './contract.js';
+export declare const capabilityRules: readonly SourceRuleVerifier[];
+//# sourceMappingURL=capabilities.d.ts.map

package/dist/linter/implementations/source/capabilities.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"capabilities.d.ts","sourceRoot":"","sources":["../../../../src/linter/implementations/source/capabilities.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,kBAAkB,EAAsB,MAAM,eAAe,CAAA;AAK3E,eAAO,MAAM,eAAe,EAAE,SAAS,kBAAkB,EAuCxD,CAAA"}