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

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

@@ -1,356 +0,0 @@
-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

@@ -1 +0,0 @@
-{"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

@@ -1,5 +0,0 @@
-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

@@ -1 +0,0 @@
-{"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

@@ -1,17 +0,0 @@
-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

@@ -1 +0,0 @@
-{"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

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

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

@@ -1 +0,0 @@
-{"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

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

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

@@ -1 +0,0 @@
-{"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

@@ -1,28 +0,0 @@
-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

@@ -1 +0,0 @@
-{"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

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

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

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

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

@@ -1,26 +0,0 @@
-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

@@ -1 +0,0 @@
-{"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

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

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

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

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

@@ -1,12 +0,0 @@
-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

@@ -1 +0,0 @@
-{"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

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

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

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

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

@@ -1,22 +0,0 @@
-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

@@ -1 +0,0 @@
-{"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

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

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

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

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

@@ -1,5 +0,0 @@
-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

@@ -1 +0,0 @@
-{"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

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

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

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

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

@@ -1,3 +0,0 @@
-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

@@ -1 +0,0 @@
-{"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

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

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

@@ -1 +0,0 @@
-{"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

@@ -1,3 +0,0 @@
-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

@@ -1 +0,0 @@
-{"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"}