@dailephd/my-frontend-observer 0.8.1

package/dist/domain/externalReferenceRequirements.js

@@ -0,0 +1,401 @@
+/**
+ * v0.7 Prompt 3 selected design requirements, tolerance semantics, and
+ * reference-evidence adequacy. Builds only on Prompt 2's `ReferenceRegion`/
+ * `ReferenceRegionGeometry`/relationship-derivation - it does not implement
+ * runtime-target binding, candidate comparison, or fidelity PASS/FAIL (those
+ * remain later v0.7 prompts).
+ *
+ * Central distinction (see docs/CONTRACTS.md "v0.7 Prompt 3"): a reference
+ * region's geometry is REFERENCE EVIDENCE - everything visibly/measurably
+ * present in the supplied image. A requirement is SELECTED DESIGN INTENT -
+ * only what the user/configuration explicitly authored as mattering for
+ * later candidate evaluation. This module never infers a requirement merely
+ * because a property or relationship exists.
+ *
+ * Requirement categories are the exact v0.5 `AuthoredChangeScopeCategory`
+ * vocabulary (`requested`/`expected-dependent`/`protected`/`preserved`),
+ * imported directly rather than reinvented as a "reference-only" taxonomy -
+ * that type carries no runtime-only coupling in its own definition. As in
+ * v0.5, `'unexpected'` remains impossible to author here: it is not a member
+ * of `AuthoredChangeScopeCategory` at all.
+ */
+import { AUTHORED_CHANGE_SCOPE_CATEGORIES, isAuthoredChangeScopeCategory, EXPECTED_DEPENDENT_MODES, isValidExpectedDependentMode } from './frontendContracts.js';
+import { PAIRWISE_RELATIONSHIP_KINDS, HORIZONTAL_ORDER_RELATIONSHIPS, VERTICAL_ORDER_RELATIONSHIPS, AREA_OVERLAP_RELATIONSHIPS, RELATIVE_WIDTH_RELATIONSHIPS, GEOMETRIC_FIT_RELATIONSHIPS, VERTICAL_SEQUENCE_RELATIONSHIPS, } from './relationships.js';
+import { deriveReferenceRegionGeometry } from './externalReferenceRegions.js';
+import { deriveReferenceRegionRelationships } from './externalReferenceRegionRelationships.js';
+import { buildReferenceRequirementIdentity } from './externalReferenceRequirementIdentity.js';
+export { AUTHORED_CHANGE_SCOPE_CATEGORIES, isAuthoredChangeScopeCategory, EXPECTED_DEPENDENT_MODES, isValidExpectedDependentMode };
+function isPlainObject(value) {
+    return typeof value === 'object' && value !== null && !Array.isArray(value);
+}
+function isNonEmptyString(value) {
+    return typeof value === 'string' && value.length > 0;
+}
+export const MAX_REFERENCE_REQUIREMENTS = 50;
+// --- bounded property/measurement/relationship vocabulary ------------------------
+/** Exactly the fields of ReferenceRegionGeometry - the smallest coherent vocabulary already available from Prompt 2, nothing invented (no separate "left"/"top" aliases - x/y already are the left/top edges of the canonical rectangle). */
+export const REFERENCE_REQUIREMENT_REGION_PROPERTIES = ['x', 'y', 'width', 'height', 'right', 'bottom', 'centerX', 'centerY'];
+export function isReferenceRequirementRegionProperty(value) {
+    return typeof value === 'string' && REFERENCE_REQUIREMENT_REGION_PROPERTIES.includes(value);
+}
+/** Smallest useful set of pure two-region derived measurements (request section 18) - not an unrestricted geometry expression language. */
+export const REFERENCE_REQUIREMENT_MEASUREMENTS = ['vertical-gap', 'horizontal-gap', 'center-x-delta', 'center-y-delta', 'left-edge-delta', 'right-edge-delta'];
+export function isReferenceRequirementMeasurement(value) {
+    return typeof value === 'string' && REFERENCE_REQUIREMENT_MEASUREMENTS.includes(value);
+}
+/**
+ * Pure derived two-region measurements. `vertical-gap`/`horizontal-gap`
+ * return `undefined` when the two regions overlap on that axis (the gap is
+ * geometrically undefined, never fabricated as 0 or negative) - direction is
+ * decided by actual geometry, mirroring relationships.ts's
+ * verticalSequenceOf/horizontalOrderOf convention. The delta measurements
+ * are always defined (a plain numeric distance, never negative).
+ */
+export function deriveReferenceRequirementMeasurement(kind, a, b) {
+    switch (kind) {
+        case 'vertical-gap':
+            if (a.bottom <= b.y)
+                return b.y - a.bottom;
+            if (b.bottom <= a.y)
+                return a.y - b.bottom;
+            return undefined;
+        case 'horizontal-gap':
+            if (a.right <= b.x)
+                return b.x - a.right;
+            if (b.right <= a.x)
+                return a.x - b.right;
+            return undefined;
+        case 'center-x-delta':
+            return Math.abs(a.centerX - b.centerX);
+        case 'center-y-delta':
+            return Math.abs(a.centerY - b.centerY);
+        case 'left-edge-delta':
+            return Math.abs(a.x - b.x);
+        case 'right-edge-delta':
+            return Math.abs(a.right - b.right);
+    }
+}
+// --- tolerance (independently owned - never mislabeled as CSS/runtime pixels) ----
+/**
+ * Deliberately not a reuse of domain/frontendContracts.ts#ContractTolerance:
+ * that type's `'absolute-px'` member is implicitly runtime/CSS pixels
+ * (compared against `TargetGeometry` from a live ObservationArtifact).
+ * Reference-image pixels are a different, explicitly-labeled unit (see
+ * externalReferenceRegions.ts's coordinate-semantics doc comment) - Prompt 6
+ * will eventually need an explicit scale/compatibility mapping between the
+ * two; nothing here assumes 1 reference pixel = 1 CSS pixel. Numeric bounds
+ * intentionally mirror CONTRACT_TOLERANCE_ABSOLUTE_PX_MIN/MAX and
+ * CONTRACT_TOLERANCE_PERCENT_MIN/MAX (same values, independently owned
+ * constants) rather than importing them, for the same unit-labeling reason.
+ */
+export const REFERENCE_REQUIREMENT_TOLERANCE_ABSOLUTE_PX_MIN = 0;
+export const REFERENCE_REQUIREMENT_TOLERANCE_ABSOLUTE_PX_MAX = 100;
+export const REFERENCE_REQUIREMENT_TOLERANCE_PERCENT_MIN = 0;
+export const REFERENCE_REQUIREMENT_TOLERANCE_PERCENT_MAX = 100;
+export function isValidReferenceRequirementTolerance(value) {
+    if (!isPlainObject(value))
+        return false;
+    if (value.kind === 'exact')
+        return Object.keys(value).length === 1;
+    if (value.kind === 'absolute-reference-px') {
+        return (Object.keys(value).length === 2 &&
+            typeof value.amount === 'number' &&
+            Number.isFinite(value.amount) &&
+            value.amount >= REFERENCE_REQUIREMENT_TOLERANCE_ABSOLUTE_PX_MIN &&
+            value.amount <= REFERENCE_REQUIREMENT_TOLERANCE_ABSOLUTE_PX_MAX);
+    }
+    if (value.kind === 'percent') {
+        return (Object.keys(value).length === 2 &&
+            typeof value.amount === 'number' &&
+            Number.isFinite(value.amount) &&
+            value.amount >= REFERENCE_REQUIREMENT_TOLERANCE_PERCENT_MIN &&
+            value.amount <= REFERENCE_REQUIREMENT_TOLERANCE_PERCENT_MAX);
+    }
+    return false;
+}
+function isValidRegionPropertySubjectShape(value) {
+    return isNonEmptyString(value.region) && isReferenceRequirementRegionProperty(value.property) && Object.keys(value).length === 3;
+}
+function isValidRegionRelationshipSubjectShape(value) {
+    return (isNonEmptyString(value.subjectRegion) &&
+        isNonEmptyString(value.relatedRegion) &&
+        value.subjectRegion !== value.relatedRegion &&
+        typeof value.relationship === 'string' &&
+        PAIRWISE_RELATIONSHIP_KINDS.includes(value.relationship) &&
+        Object.keys(value).length === 4);
+}
+function isValidRegionMeasurementSubjectShape(value) {
+    return (isNonEmptyString(value.subjectRegion) &&
+        isNonEmptyString(value.relatedRegion) &&
+        value.subjectRegion !== value.relatedRegion &&
+        isReferenceRequirementMeasurement(value.measurement) &&
+        Object.keys(value).length === 4);
+}
+export function isValidReferenceRequirementSubjectShape(value) {
+    if (!isPlainObject(value) || typeof value.kind !== 'string')
+        return false;
+    switch (value.kind) {
+        case 'region-property':
+            return isValidRegionPropertySubjectShape(value);
+        case 'region-relationship':
+            return isValidRegionRelationshipSubjectShape(value);
+        case 'region-measurement':
+            return isValidRegionMeasurementSubjectShape(value);
+        default:
+            return false;
+    }
+}
+/** Mirrors frontendContractEvaluation.ts's RELATIONSHIP_FAMILY_GROUPS shape (independently owned here - no page-level family exists for a static reference image). */
+const RELATIONSHIP_FAMILY_GROUPS = [
+    HORIZONTAL_ORDER_RELATIONSHIPS,
+    VERTICAL_ORDER_RELATIONSHIPS,
+    AREA_OVERLAP_RELATIONSHIPS,
+    RELATIVE_WIDTH_RELATIONSHIPS,
+    GEOMETRIC_FIT_RELATIONSHIPS,
+    VERTICAL_SEQUENCE_RELATIONSHIPS,
+];
+function subjectRegionIds(subject) {
+    if (subject.kind === 'region-property')
+        return [subject.region];
+    return [subject.subjectRegion, subject.relatedRegion];
+}
+/** Structural equality for the duplicate-subject rule below - deliberately not identity-based (two subjects are "the same" whenever their content matches, regardless of authoring position). */
+function sameSubject(a, b) {
+    if (a.kind !== b.kind)
+        return false;
+    if (a.kind === 'region-property' && b.kind === 'region-property')
+        return a.region === b.region && a.property === b.property;
+    if (a.kind === 'region-relationship' && b.kind === 'region-relationship') {
+        return a.relationship === b.relationship && ((a.subjectRegion === b.subjectRegion && a.relatedRegion === b.relatedRegion) || (a.subjectRegion === b.relatedRegion && a.relatedRegion === b.subjectRegion));
+    }
+    if (a.kind === 'region-measurement' && b.kind === 'region-measurement') {
+        return a.measurement === b.measurement && ((a.subjectRegion === b.subjectRegion && a.relatedRegion === b.relatedRegion) || (a.subjectRegion === b.relatedRegion && a.relatedRegion === b.subjectRegion));
+    }
+    return false;
+}
+function validateAuthoredRequirementFields(value) {
+    if (!isAuthoredChangeScopeCategory(value.category))
+        return { valid: false, reason: `requirement.category must be one of ${AUTHORED_CHANGE_SCOPE_CATEGORIES.join(', ')}` };
+    const hasMode = 'expectedDependentMode' in value && value.expectedDependentMode !== undefined;
+    if (value.category === 'expected-dependent') {
+        if (!hasMode || !isValidExpectedDependentMode(value.expectedDependentMode)) {
+            return { valid: false, reason: 'requirement.expectedDependentMode is required and must be "required" or "permitted" when category is "expected-dependent"' };
+        }
+    }
+    else if (hasMode) {
+        return { valid: false, reason: 'requirement.expectedDependentMode must be absent unless category is "expected-dependent"' };
+    }
+    if (!isValidReferenceRequirementSubjectShape(value.subject))
+        return { valid: false, reason: 'requirement.subject is invalid' };
+    const subject = value.subject;
+    const hasTolerance = 'tolerance' in value && value.tolerance !== undefined;
+    if (subject.kind === 'region-relationship') {
+        if (hasTolerance)
+            return { valid: false, reason: 'requirement.tolerance must be absent for a "region-relationship" subject (a categorical fact, not a numeric comparison)' };
+    }
+    else {
+        if (!hasTolerance || !isValidReferenceRequirementTolerance(value.tolerance)) {
+            return { valid: false, reason: 'requirement.tolerance is required and must be valid for a "region-property"/"region-measurement" subject' };
+        }
+    }
+    return { valid: true };
+}
+/** Validates one raw, not-yet-identified authored requirement - the shape accepted from `--requirements-file`. */
+export function isValidRawReferenceRequirement(value) {
+    if (!isPlainObject(value))
+        return { valid: false, reason: 'requirement must be an object' };
+    if ('requirementId' in value && value.requirementId !== undefined)
+        return { valid: false, reason: 'requirement.requirementId must not be authored - it is always computed from content' };
+    return validateAuthoredRequirementFields(value);
+}
+/** Computes the deterministic requirementId and returns a complete ExternalReferenceRequirement. Callers must validate via isValidRawReferenceRequirement first. */
+export function buildReferenceRequirement(raw) {
+    const requirementId = buildReferenceRequirementIdentity(raw.subject, raw.category, raw.tolerance, raw.expectedDependentMode);
+    return {
+        requirementId,
+        category: raw.category,
+        ...(raw.expectedDependentMode === undefined ? {} : { expectedDependentMode: raw.expectedDependentMode }),
+        subject: raw.subject,
+        ...(raw.tolerance === undefined ? {} : { tolerance: raw.tolerance }),
+    };
+}
+/** Validates one already-identified, fully-constructed requirement's own shape (category/mode/subject/tolerance-applicability, plus requirementId presence) - never region existence, which needs the owning reference's `regions` (see isValidReferenceRequirements). Used to defensively re-validate a persisted/about-to-be-persisted ExternalReferenceRequirement, mirroring how every other artifact family's writer re-validates via the same gate it will later read with. */
+export function isValidReferenceRequirementShape(value) {
+    if (!isPlainObject(value))
+        return { valid: false, reason: 'requirement must be an object' };
+    if (!isNonEmptyString(value.requirementId))
+        return { valid: false, reason: 'requirement.requirementId must be a non-empty string' };
+    return validateAuthoredRequirementFields(value);
+}
+/**
+ * Collection-level validation: bounded count, every subject's region id(s)
+ * must exist among the owning artifact's own already-validated `regions`
+ * (an authored requirement pointing at a nonexistent region is a structural
+ * validation failure, never merely "unavailable" evidence - see
+ * docs/CONTRACTS.md), and no two requirements may share the same structural
+ * subject (the chosen conflict-handling rule - see the same doc section for
+ * why v0.5's runtime-evidence conflict detector could not be reused here).
+ */
+export function isValidReferenceRequirements(value, regions) {
+    if (!Array.isArray(value))
+        return { valid: false, reason: 'requirements must be an array' };
+    if (value.length > MAX_REFERENCE_REQUIREMENTS)
+        return { valid: false, reason: `requirements must contain at most ${MAX_REFERENCE_REQUIREMENTS} entries` };
+    const regionIds = new Set(regions.map((r) => r.id.toLowerCase()));
+    const seenRequirementIds = new Set();
+    const seenSubjects = [];
+    for (const entry of value) {
+        const shapeValidation = isValidReferenceRequirementShape(entry);
+        if (!shapeValidation.valid)
+            return shapeValidation;
+        const requirement = entry;
+        if (seenRequirementIds.has(requirement.requirementId))
+            return { valid: false, reason: `duplicate requirement id "${requirement.requirementId}"` };
+        seenRequirementIds.add(requirement.requirementId);
+        for (const regionId of subjectRegionIds(requirement.subject)) {
+            if (!regionIds.has(regionId.toLowerCase()))
+                return { valid: false, reason: `requirement "${requirement.requirementId}" refers to unknown region id "${regionId}"` };
+        }
+        if (seenSubjects.some((s) => sameSubject(s, requirement.subject))) {
+            return { valid: false, reason: `requirement "${requirement.requirementId}" duplicates the subject of an earlier requirement in this collection` };
+        }
+        seenSubjects.push(requirement.subject);
+    }
+    return { valid: true };
+}
+/**
+ * Derives what the reference itself shows for one requirement's subject,
+ * purely from the supplied regions - never stored on the requirement or the
+ * artifact (avoids the exact drift risk request section 14 warns about: a
+ * stored `width: 424` could silently disagree with the region's own
+ * rectangle after some future change). `geometryTolerancePx` is passed
+ * through to relationship derivation unchanged (Prompt 2's own default
+ * applies when omitted).
+ */
+export function deriveReferenceRequirementExpectation(subject, regions, options = {}) {
+    const byId = new Map(regions.map((r) => [r.id.toLowerCase(), r]));
+    if (subject.kind === 'region-property') {
+        const region = byId.get(subject.region.toLowerCase());
+        if (!region)
+            return { available: false, reason: `region "${subject.region}" not found` };
+        const geometry = deriveReferenceRegionGeometry(region.rectangle);
+        return { available: true, kind: 'numeric', value: geometry[subject.property] };
+    }
+    const subjectRegion = byId.get(subject.subjectRegion.toLowerCase());
+    const relatedRegion = byId.get(subject.relatedRegion.toLowerCase());
+    if (!subjectRegion || !relatedRegion)
+        return { available: false, reason: 'one or both referenced regions were not found' };
+    if (subject.kind === 'region-measurement') {
+        const measurement = deriveReferenceRequirementMeasurement(subject.measurement, deriveReferenceRegionGeometry(subjectRegion.rectangle), deriveReferenceRegionGeometry(relatedRegion.rectangle));
+        if (measurement === undefined)
+            return { available: false, reason: `"${subject.measurement}" is geometrically undefined for these two regions (they overlap on the relevant axis)` };
+        return { available: true, kind: 'numeric', value: measurement };
+    }
+    // subject.kind === 'region-relationship'. Every pairwise call site derives up to one record per
+    // family (see externalReferenceRegionRelationships.ts) for the SAME (subjectRegion, relatedRegion)
+    // pair - so the lookup must be scoped to the requested relationship's own family, never "the first
+    // record for this pair" (which would usually be a different family's record entirely).
+    const family = RELATIONSHIP_FAMILY_GROUPS.find((group) => group.includes(subject.relationship));
+    const derived = deriveReferenceRegionRelationships('adequacy-check', [subjectRegion, relatedRegion], options);
+    if (!derived.ok)
+        return { available: false, reason: derived.reason };
+    const direct = derived.graph.pairwiseRelationships.find((r) => family.includes(r.kind) && r.subjectRegion === subject.subjectRegion && r.relatedRegion === subject.relatedRegion);
+    if (direct)
+        return { available: true, kind: 'relationship', matches: direct.kind === subject.relationship };
+    const reversed = derived.graph.pairwiseRelationships.find((r) => family.includes(r.kind) && r.subjectRegion === subject.relatedRegion && r.relatedRegion === subject.subjectRegion);
+    if (reversed) {
+        return {
+            available: false,
+            reason: `relationship evidence for "${subject.subjectRegion}"/"${subject.relatedRegion}" was only derivable in the opposite region order (found "${reversed.kind}" from "${subject.relatedRegion}"'s perspective) - author this requirement with subjectRegion/relatedRegion matching the derivation order to evaluate it`,
+        };
+    }
+    return { available: false, reason: `no "${subject.relationship}" relationship evidence was derivable between "${subject.subjectRegion}" and "${subject.relatedRegion}"` };
+}
+// --- reference-side adequacy (structured, deterministic, never a numeric score) ---
+export const REFERENCE_REQUIREMENT_ADEQUACY_STATES = ['adequate', 'partial', 'inadequate'];
+/**
+ * Deliberately its own small, reference-owned vocabulary - not a reuse of
+ * domain/boundedAgentContext.ts#ADEQUACY_REASON_CODES, which describes
+ * runtime-target/static-correlation concerns that do not exist yet at this
+ * stage (see docs/CONTRACTS.md "v0.7 Prompt 3" for the full precedent
+ * review). Only two codes exist because only two conditions can make an
+ * already-*structurally-valid* requirement collection reference-inadequate:
+ * authoring zero requirements at all, or a validly-shaped relationship/
+ * measurement requirement whose evidence cannot actually be derived from the
+ * reference geometry. An unknown-region or malformed requirement is a
+ * construction-time validation failure (isValidReferenceRequirements) and
+ * never reaches adequacy at all.
+ */
+export const REFERENCE_REQUIREMENT_ADEQUACY_REASON_CODES = ['no-selected-requirements', 'missing-reference-relationship-evidence'];
+/**
+ * REFERENCE-SIDE adequacy only: does the reference definition itself contain
+ * enough evidence to understand every selected requirement? This never asks
+ * whether a runtime target/candidate exists (that is Prompt 4/5's
+ * responsibility). A reference with zero authored requirements is explicitly
+ * `inadequate` (request section 24F's documented decision: an
+ * externally-valid, region-rich reference is still not usable for a
+ * correction task until the user has actually selected what matters).
+ * Deterministic: reasons are ordered by authored requirement index, never by
+ * object-key iteration order.
+ */
+export function deriveReferenceRequirementAdequacy(regions, requirements, options = {}) {
+    if (requirements.length === 0) {
+        return {
+            status: 'inadequate',
+            totalRequirements: 0,
+            evaluableRequirements: 0,
+            unavailableRequirements: 0,
+            reasons: [{ code: 'no-selected-requirements', detail: 'no design requirements have been selected for this reference' }],
+        };
+    }
+    const reasons = [];
+    let evaluableRequirements = 0;
+    for (const requirement of requirements) {
+        const expectation = deriveReferenceRequirementExpectation(requirement.subject, regions, options);
+        const unavailable = !expectation.available || (expectation.kind === 'relationship' && !expectation.matches);
+        if (unavailable) {
+            const detail = !expectation.available
+                ? expectation.reason
+                : `the reference does not exhibit the required "${requirement.subject.relationship}" relationship`;
+            reasons.push({ code: 'missing-reference-relationship-evidence', requirementId: requirement.requirementId, detail });
+        }
+        else {
+            evaluableRequirements += 1;
+        }
+    }
+    const unavailableRequirements = requirements.length - evaluableRequirements;
+    const status = unavailableRequirements === 0 ? 'adequate' : unavailableRequirements === requirements.length ? 'inadequate' : 'partial';
+    return { status, totalRequirements: requirements.length, evaluableRequirements, unavailableRequirements, reasons };
+}
+/**
+ * v0.7 Prompt 7 addition (additive, previously no structural validator
+ * existed for this already-frozen Prompt 3 shape): a defense-in-depth
+ * structural check, reused by `boundedAgentContext.ts` when accepting an
+ * already-computed `ReferenceRequirementAdequacy` value as part of a bounded
+ * fidelity projection. No change to `deriveReferenceRequirementAdequacy`'s
+ * own logic or the `ReferenceRequirementAdequacy` contract itself.
+ */
+export function isValidReferenceRequirementAdequacy(value) {
+    if (!isPlainObject(value))
+        return false;
+    if (typeof value.status !== 'string' || !REFERENCE_REQUIREMENT_ADEQUACY_STATES.includes(value.status))
+        return false;
+    for (const key of ['totalRequirements', 'evaluableRequirements', 'unavailableRequirements']) {
+        if (typeof value[key] !== 'number' || !Number.isInteger(value[key]) || value[key] < 0)
+            return false;
+    }
+    if (!Array.isArray(value.reasons))
+        return false;
+    for (const reason of value.reasons) {
+        if (!isPlainObject(reason))
+            return false;
+        if (typeof reason.code !== 'string' || !REFERENCE_REQUIREMENT_ADEQUACY_REASON_CODES.includes(reason.code))
+            return false;
+        if (reason.requirementId !== undefined && !isNonEmptyString(reason.requirementId))
+            return false;
+        if (reason.detail !== undefined && typeof reason.detail !== 'string')
+            return false;
+    }
+    return true;
+}
+//# sourceMappingURL=externalReferenceRequirements.js.map

package/dist/domain/externalReferenceRequirements.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"externalReferenceRequirements.js","sourceRoot":"","sources":["../../src/domain/externalReferenceRequirements.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;GAoBG;AACH,OAAO,EAAE,gCAAgC,EAAE,6BAA6B,EAAE,wBAAwB,EAAE,4BAA4B,EAAE,MAAM,wBAAwB,CAAC;AAGjK,OAAO,EACL,2BAA2B,EAC3B,8BAA8B,EAC9B,4BAA4B,EAC5B,0BAA0B,EAC1B,4BAA4B,EAC5B,2BAA2B,EAC3B,+BAA+B,GAChC,MAAM,oBAAoB,CAAC;AAE5B,OAAO,EAAE,6BAA6B,EAAE,MAAM,+BAA+B,CAAC;AAC9E,OAAO,EAAE,kCAAkC,EAAE,MAAM,2CAA2C,CAAC;AAC/F,OAAO,EAAE,iCAAiC,EAAE,MAAM,2CAA2C,CAAC;AAE9F,OAAO,EAAE,gCAAgC,EAAE,6BAA6B,EAAE,wBAAwB,EAAE,4BAA4B,EAAE,CAAC;AAGnI,SAAS,aAAa,CAAC,KAAc;IACnC,OAAO,OAAO,KAAK,KAAK,QAAQ,IAAI,KAAK,KAAK,IAAI,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC;AAC9E,CAAC;AAED,SAAS,gBAAgB,CAAC,KAAc;IACtC,OAAO,OAAO,KAAK,KAAK,QAAQ,IAAI,KAAK,CAAC,MAAM,GAAG,CAAC,CAAC;AACvD,CAAC;AAED,MAAM,CAAC,MAAM,0BAA0B,GAAG,EAAE,CAAC;AAE7C,oFAAoF;AAEpF,6OAA6O;AAC7O,MAAM,CAAC,MAAM,uCAAuC,GAAG,CAAC,GAAG,EAAE,GAAG,EAAE,OAAO,EAAE,QAAQ,EAAE,OAAO,EAAE,QAAQ,EAAE,SAAS,EAAE,SAAS,CAAU,CAAC;AAGvI,MAAM,UAAU,oCAAoC,CAAC,KAAc;IACjE,OAAO,OAAO,KAAK,KAAK,QAAQ,IAAK,uCAA6D,CAAC,QAAQ,CAAC,KAAK,CAAC,CAAC;AACrH,CAAC;AAED,2IAA2I;AAC3I,MAAM,CAAC,MAAM,kCAAkC,GAAG,CAAC,cAAc,EAAE,gBAAgB,EAAE,gBAAgB,EAAE,gBAAgB,EAAE,iBAAiB,EAAE,kBAAkB,CAAU,CAAC;AAGzK,MAAM,UAAU,iCAAiC,CAAC,KAAc;IAC9D,OAAO,OAAO,KAAK,KAAK,QAAQ,IAAK,kCAAwD,CAAC,QAAQ,CAAC,KAAK,CAAC,CAAC;AAChH,CAAC;AAED;;;;;;;GAOG;AACH,MAAM,UAAU,qCAAqC,CAAC,IAAqC,EAAE,CAA0B,EAAE,CAA0B;IACjJ,QAAQ,IAAI,EAAE,CAAC;QACb,KAAK,cAAc;YACjB,IAAI,CAAC,CAAC,MAAM,IAAI,CAAC,CAAC,CAAC;gBAAE,OAAO,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,MAAM,CAAC;YAC3C,IAAI,CAAC,CAAC,MAAM,IAAI,CAAC,CAAC,CAAC;gBAAE,OAAO,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,MAAM,CAAC;YAC3C,OAAO,SAAS,CAAC;QACnB,KAAK,gBAAgB;YACnB,IAAI,CAAC,CAAC,KAAK,IAAI,CAAC,CAAC,CAAC;gBAAE,OAAO,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,KAAK,CAAC;YACzC,IAAI,CAAC,CAAC,KAAK,IAAI,CAAC,CAAC,CAAC;gBAAE,OAAO,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,KAAK,CAAC;YACzC,OAAO,SAAS,CAAC;QACnB,KAAK,gBAAgB;YACnB,OAAO,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,OAAO,GAAG,CAAC,CAAC,OAAO,CAAC,CAAC;QACzC,KAAK,gBAAgB;YACnB,OAAO,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,OAAO,GAAG,CAAC,CAAC,OAAO,CAAC,CAAC;QACzC,KAAK,iBAAiB;YACpB,OAAO,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC;QAC7B,KAAK,kBAAkB;YACrB,OAAO,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,KAAK,GAAG,CAAC,CAAC,KAAK,CAAC,CAAC;IACvC,CAAC;AACH,CAAC;AAED,oFAAoF;AAEpF;;;;;;;;;;;GAWG;AACH,MAAM,CAAC,MAAM,+CAA+C,GAAG,CAAC,CAAC;AACjE,MAAM,CAAC,MAAM,+CAA+C,GAAG,GAAG,CAAC;AACnE,MAAM,CAAC,MAAM,2CAA2C,GAAG,CAAC,CAAC;AAC7D,MAAM,CAAC,MAAM,2CAA2C,GAAG,GAAG,CAAC;AAI/D,MAAM,UAAU,oCAAoC,CAAC,KAAc;IACjE,IAAI,CAAC,aAAa,CAAC,KAAK,CAAC;QAAE,OAAO,KAAK,CAAC;IACxC,IAAI,KAAK,CAAC,IAAI,KAAK,OAAO;QAAE,OAAO,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,MAAM,KAAK,CAAC,CAAC;IACnE,IAAI,KAAK,CAAC,IAAI,KAAK,uBAAuB,EAAE,CAAC;QAC3C,OAAO,CACL,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,MAAM,KAAK,CAAC;YAC/B,OAAO,KAAK,CAAC,MAAM,KAAK,QAAQ;YAChC,MAAM,CAAC,QAAQ,CAAC,KAAK,CAAC,MAAM,CAAC;YAC7B,KAAK,CAAC,MAAM,IAAI,+CAA+C;YAC/D,KAAK,CAAC,MAAM,IAAI,+CAA+C,CAChE,CAAC;IACJ,CAAC;IACD,IAAI,KAAK,CAAC,IAAI,KAAK,SAAS,EAAE,CAAC;QAC7B,OAAO,CACL,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,MAAM,KAAK,CAAC;YAC/B,OAAO,KAAK,CAAC,MAAM,KAAK,QAAQ;YAChC,MAAM,CAAC,QAAQ,CAAC,KAAK,CAAC,MAAM,CAAC;YAC7B,KAAK,CAAC,MAAM,IAAI,2CAA2C;YAC3D,KAAK,CAAC,MAAM,IAAI,2CAA2C,CAC5D,CAAC;IACJ,CAAC;IACD,OAAO,KAAK,CAAC;AACf,CAAC;AA0BD,SAAS,iCAAiC,CAAC,KAA8B;IACvE,OAAO,gBAAgB,CAAC,KAAK,CAAC,MAAM,CAAC,IAAI,oCAAoC,CAAC,KAAK,CAAC,QAAQ,CAAC,IAAI,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,MAAM,KAAK,CAAC,CAAC;AACnI,CAAC;AAED,SAAS,qCAAqC,CAAC,KAA8B;IAC3E,OAAO,CACL,gBAAgB,CAAC,KAAK,CAAC,aAAa,CAAC;QACrC,gBAAgB,CAAC,KAAK,CAAC,aAAa,CAAC;QACrC,KAAK,CAAC,aAAa,KAAK,KAAK,CAAC,aAAa;QAC3C,OAAO,KAAK,CAAC,YAAY,KAAK,QAAQ;QACrC,2BAAiD,CAAC,QAAQ,CAAC,KAAK,CAAC,YAAY,CAAC;QAC/E,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,MAAM,KAAK,CAAC,CAChC,CAAC;AACJ,CAAC;AAED,SAAS,oCAAoC,CAAC,KAA8B;IAC1E,OAAO,CACL,gBAAgB,CAAC,KAAK,CAAC,aAAa,CAAC;QACrC,gBAAgB,CAAC,KAAK,CAAC,aAAa,CAAC;QACrC,KAAK,CAAC,aAAa,KAAK,KAAK,CAAC,aAAa;QAC3C,iCAAiC,CAAC,KAAK,CAAC,WAAW,CAAC;QACpD,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,MAAM,KAAK,CAAC,CAChC,CAAC;AACJ,CAAC;AAED,MAAM,UAAU,uCAAuC,CAAC,KAAc;IACpE,IAAI,CAAC,aAAa,CAAC,KAAK,CAAC,IAAI,OAAO,KAAK,CAAC,IAAI,KAAK,QAAQ;QAAE,OAAO,KAAK,CAAC;IAC1E,QAAQ,KAAK,CAAC,IAAI,EAAE,CAAC;QACnB,KAAK,iBAAiB;YACpB,OAAO,iCAAiC,CAAC,KAAK,CAAC,CAAC;QAClD,KAAK,qBAAqB;YACxB,OAAO,qCAAqC,CAAC,KAAK,CAAC,CAAC;QACtD,KAAK,oBAAoB;YACvB,OAAO,oCAAoC,CAAC,KAAK,CAAC,CAAC;QACrD;YACE,OAAO,KAAK,CAAC;IACjB,CAAC;AACH,CAAC;AAED,sKAAsK;AACtK,MAAM,0BAA0B,GAAqD;IACnF,8BAA8B;IAC9B,4BAA4B;IAC5B,0BAA0B;IAC1B,4BAA4B;IAC5B,2BAA2B;IAC3B,+BAA+B;CAChC,CAAC;AAEF,SAAS,gBAAgB,CAAC,OAAoC;IAC5D,IAAI,OAAO,CAAC,IAAI,KAAK,iBAAiB;QAAE,OAAO,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC;IAChE,OAAO,CAAC,OAAO,CAAC,aAAa,EAAE,OAAO,CAAC,aAAa,CAAC,CAAC;AACxD,CAAC;AAED,iMAAiM;AACjM,SAAS,WAAW,CAAC,CAA8B,EAAE,CAA8B;IACjF,IAAI,CAAC,CAAC,IAAI,KAAK,CAAC,CAAC,IAAI;QAAE,OAAO,KAAK,CAAC;IACpC,IAAI,CAAC,CAAC,IAAI,KAAK,iBAAiB,IAAI,CAAC,CAAC,IAAI,KAAK,iBAAiB;QAAE,OAAO,CAAC,CAAC,MAAM,KAAK,CAAC,CAAC,MAAM,IAAI,CAAC,CAAC,QAAQ,KAAK,CAAC,CAAC,QAAQ,CAAC;IAC5H,IAAI,CAAC,CAAC,IAAI,KAAK,qBAAqB,IAAI,CAAC,CAAC,IAAI,KAAK,qBAAqB,EAAE,CAAC;QACzE,OAAO,CAAC,CAAC,YAAY,KAAK,CAAC,CAAC,YAAY,IAAI,CAAC,CAAC,CAAC,CAAC,aAAa,KAAK,CAAC,CAAC,aAAa,IAAI,CAAC,CAAC,aAAa,KAAK,CAAC,CAAC,aAAa,CAAC,IAAI,CAAC,CAAC,CAAC,aAAa,KAAK,CAAC,CAAC,aAAa,IAAI,CAAC,CAAC,aAAa,KAAK,CAAC,CAAC,aAAa,CAAC,CAAC,CAAC;IAC7M,CAAC;IACD,IAAI,CAAC,CAAC,IAAI,KAAK,oBAAoB,IAAI,CAAC,CAAC,IAAI,KAAK,oBAAoB,EAAE,CAAC;QACvE,OAAO,CAAC,CAAC,WAAW,KAAK,CAAC,CAAC,WAAW,IAAI,CAAC,CAAC,CAAC,CAAC,aAAa,KAAK,CAAC,CAAC,aAAa,IAAI,CAAC,CAAC,aAAa,KAAK,CAAC,CAAC,aAAa,CAAC,IAAI,CAAC,CAAC,CAAC,aAAa,KAAK,CAAC,CAAC,aAAa,IAAI,CAAC,CAAC,aAAa,KAAK,CAAC,CAAC,aAAa,CAAC,CAAC,CAAC;IAC3M,CAAC;IACD,OAAO,KAAK,CAAC;AACf,CAAC;AAmCD,SAAS,iCAAiC,CAAC,KAA8B;IACvE,IAAI,CAAC,6BAA6B,CAAC,KAAK,CAAC,QAAQ,CAAC;QAAE,OAAO,EAAE,KAAK,EAAE,KAAK,EAAE,MAAM,EAAE,uCAAuC,gCAAgC,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,EAAE,CAAC;IAE1K,MAAM,OAAO,GAAG,uBAAuB,IAAI,KAAK,IAAI,KAAK,CAAC,qBAAqB,KAAK,SAAS,CAAC;IAC9F,IAAI,KAAK,CAAC,QAAQ,KAAK,oBAAoB,EAAE,CAAC;QAC5C,IAAI,CAAC,OAAO,IAAI,CAAC,4BAA4B,CAAC,KAAK,CAAC,qBAAqB,CAAC,EAAE,CAAC;YAC3E,OAAO,EAAE,KAAK,EAAE,KAAK,EAAE,MAAM,EAAE,2HAA2H,EAAE,CAAC;QAC/J,CAAC;IACH,CAAC;SAAM,IAAI,OAAO,EAAE,CAAC;QACnB,OAAO,EAAE,KAAK,EAAE,KAAK,EAAE,MAAM,EAAE,0FAA0F,EAAE,CAAC;IAC9H,CAAC;IAED,IAAI,CAAC,uCAAuC,CAAC,KAAK,CAAC,OAAO,CAAC;QAAE,OAAO,EAAE,KAAK,EAAE,KAAK,EAAE,MAAM,EAAE,gCAAgC,EAAE,CAAC;IAC/H,MAAM,OAAO,GAAG,KAAK,CAAC,OAAsC,CAAC;IAE7D,MAAM,YAAY,GAAG,WAAW,IAAI,KAAK,IAAI,KAAK,CAAC,SAAS,KAAK,SAAS,CAAC;IAC3E,IAAI,OAAO,CAAC,IAAI,KAAK,qBAAqB,EAAE,CAAC;QAC3C,IAAI,YAAY;YAAE,OAAO,EAAE,KAAK,EAAE,KAAK,EAAE,MAAM,EAAE,yHAAyH,EAAE,CAAC;IAC/K,CAAC;SAAM,CAAC;QACN,IAAI,CAAC,YAAY,IAAI,CAAC,oCAAoC,CAAC,KAAK,CAAC,SAAS,CAAC,EAAE,CAAC;YAC5E,OAAO,EAAE,KAAK,EAAE,KAAK,EAAE,MAAM,EAAE,0GAA0G,EAAE,CAAC;QAC9I,CAAC;IACH,CAAC;IAED,OAAO,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC;AACzB,CAAC;AAED,kHAAkH;AAClH,MAAM,UAAU,8BAA8B,CAAC,KAAc;IAC3D,IAAI,CAAC,aAAa,CAAC,KAAK,CAAC;QAAE,OAAO,EAAE,KAAK,EAAE,KAAK,EAAE,MAAM,EAAE,+BAA+B,EAAE,CAAC;IAC5F,IAAI,eAAe,IAAI,KAAK,IAAI,KAAK,CAAC,aAAa,KAAK,SAAS;QAAE,OAAO,EAAE,KAAK,EAAE,KAAK,EAAE,MAAM,EAAE,qFAAqF,EAAE,CAAC;IAC1L,OAAO,iCAAiC,CAAC,KAAK,CAAC,CAAC;AAClD,CAAC;AAED,oKAAoK;AACpK,MAAM,UAAU,yBAAyB,CAAC,GAA4B;IACpE,MAAM,aAAa,GAAG,iCAAiC,CAAC,GAAG,CAAC,OAAO,EAAE,GAAG,CAAC,QAAQ,EAAE,GAAG,CAAC,SAAS,EAAE,GAAG,CAAC,qBAAqB,CAAC,CAAC;IAC7H,OAAO;QACL,aAAa;QACb,QAAQ,EAAE,GAAG,CAAC,QAAQ;QACtB,GAAG,CAAC,GAAG,CAAC,qBAAqB,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,qBAAqB,EAAE,GAAG,CAAC,qBAAqB,EAAE,CAAC;QACxG,OAAO,EAAE,GAAG,CAAC,OAAO;QACpB,GAAG,CAAC,GAAG,CAAC,SAAS,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,SAAS,EAAE,GAAG,CAAC,SAAS,EAAE,CAAC;KACrE,CAAC;AACJ,CAAC;AAED,qdAAqd;AACrd,MAAM,UAAU,gCAAgC,CAAC,KAAc;IAC7D,IAAI,CAAC,aAAa,CAAC,KAAK,CAAC;QAAE,OAAO,EAAE,KAAK,EAAE,KAAK,EAAE,MAAM,EAAE,+BAA+B,EAAE,CAAC;IAC5F,IAAI,CAAC,gBAAgB,CAAC,KAAK,CAAC,aAAa,CAAC;QAAE,OAAO,EAAE,KAAK,EAAE,KAAK,EAAE,MAAM,EAAE,sDAAsD,EAAE,CAAC;IACpI,OAAO,iCAAiC,CAAC,KAAK,CAAC,CAAC;AAClD,CAAC;AAED;;;;;;;;GAQG;AACH,MAAM,UAAU,4BAA4B,CAAC,KAAc,EAAE,OAAmC;IAC9F,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC;QAAE,OAAO,EAAE,KAAK,EAAE,KAAK,EAAE,MAAM,EAAE,+BAA+B,EAAE,CAAC;IAC5F,IAAI,KAAK,CAAC,MAAM,GAAG,0BAA0B;QAAE,OAAO,EAAE,KAAK,EAAE,KAAK,EAAE,MAAM,EAAE,qCAAqC,0BAA0B,UAAU,EAAE,CAAC;IAE1J,MAAM,SAAS,GAAG,IAAI,GAAG,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,WAAW,EAAE,CAAC,CAAC,CAAC;IAClE,MAAM,kBAAkB,GAAG,IAAI,GAAG,EAAU,CAAC;IAC7C,MAAM,YAAY,GAAkC,EAAE,CAAC;IAEvD,KAAK,MAAM,KAAK,IAAI,KAAK,EAAE,CAAC;QAC1B,MAAM,eAAe,GAAG,gCAAgC,CAAC,KAAK,CAAC,CAAC;QAChE,IAAI,CAAC,eAAe,CAAC,KAAK;YAAE,OAAO,eAAe,CAAC;QACnD,MAAM,WAAW,GAAG,KAAqC,CAAC;QAE1D,IAAI,kBAAkB,CAAC,GAAG,CAAC,WAAW,CAAC,aAAa,CAAC;YAAE,OAAO,EAAE,KAAK,EAAE,KAAK,EAAE,MAAM,EAAE,6BAA6B,WAAW,CAAC,aAAa,GAAG,EAAE,CAAC;QAClJ,kBAAkB,CAAC,GAAG,CAAC,WAAW,CAAC,aAAa,CAAC,CAAC;QAElD,KAAK,MAAM,QAAQ,IAAI,gBAAgB,CAAC,WAAW,CAAC,OAAO,CAAC,EAAE,CAAC;YAC7D,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,QAAQ,CAAC,WAAW,EAAE,CAAC;gBAAE,OAAO,EAAE,KAAK,EAAE,KAAK,EAAE,MAAM,EAAE,gBAAgB,WAAW,CAAC,aAAa,kCAAkC,QAAQ,GAAG,EAAE,CAAC;QACtK,CAAC;QAED,IAAI,YAAY,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,WAAW,CAAC,CAAC,EAAE,WAAW,CAAC,OAAO,CAAC,CAAC,EAAE,CAAC;YAClE,OAAO,EAAE,KAAK,EAAE,KAAK,EAAE,MAAM,EAAE,gBAAgB,WAAW,CAAC,aAAa,uEAAuE,EAAE,CAAC;QACpJ,CAAC;QACD,YAAY,CAAC,IAAI,CAAC,WAAW,CAAC,OAAO,CAAC,CAAC;IACzC,CAAC;IAED,OAAO,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC;AACzB,CAAC;AASD;;;;;;;;GAQG;AACH,MAAM,UAAU,qCAAqC,CACnD,OAAoC,EACpC,OAAmC,EACnC,UAA4C,EAAE;IAE9C,MAAM,IAAI,GAAG,IAAI,GAAG,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,WAAW,EAAE,EAAE,CAAC,CAAU,CAAC,CAAC,CAAC;IAE3E,IAAI,OAAO,CAAC,IAAI,KAAK,iBAAiB,EAAE,CAAC;QACvC,MAAM,MAAM,GAAG,IAAI,CAAC,GAAG,CAAC,OAAO,CAAC,MAAM,CAAC,WAAW,EAAE,CAAC,CAAC;QACtD,IAAI,CAAC,MAAM;YAAE,OAAO,EAAE,SAAS,EAAE,KAAK,EAAE,MAAM,EAAE,WAAW,OAAO,CAAC,MAAM,aAAa,EAAE,CAAC;QACzF,MAAM,QAAQ,GAAG,6BAA6B,CAAC,MAAM,CAAC,SAAS,CAAC,CAAC;QACjE,OAAO,EAAE,SAAS,EAAE,IAAI,EAAE,IAAI,EAAE,SAAS,EAAE,KAAK,EAAE,QAAQ,CAAC,OAAO,CAAC,QAAQ,CAAC,EAAE,CAAC;IACjF,CAAC;IAED,MAAM,aAAa,GAAG,IAAI,CAAC,GAAG,CAAC,OAAO,CAAC,aAAa,CAAC,WAAW,EAAE,CAAC,CAAC;IACpE,MAAM,aAAa,GAAG,IAAI,CAAC,GAAG,CAAC,OAAO,CAAC,aAAa,CAAC,WAAW,EAAE,CAAC,CAAC;IACpE,IAAI,CAAC,aAAa,IAAI,CAAC,aAAa;QAAE,OAAO,EAAE,SAAS,EAAE,KAAK,EAAE,MAAM,EAAE,+CAA+C,EAAE,CAAC;IAE3H,IAAI,OAAO,CAAC,IAAI,KAAK,oBAAoB,EAAE,CAAC;QAC1C,MAAM,WAAW,GAAG,qCAAqC,CAAC,OAAO,CAAC,WAAW,EAAE,6BAA6B,CAAC,aAAa,CAAC,SAAS,CAAC,EAAE,6BAA6B,CAAC,aAAa,CAAC,SAAS,CAAC,CAAC,CAAC;QAC/L,IAAI,WAAW,KAAK,SAAS;YAAE,OAAO,EAAE,SAAS,EAAE,KAAK,EAAE,MAAM,EAAE,IAAI,OAAO,CAAC,WAAW,wFAAwF,EAAE,CAAC;QACpL,OAAO,EAAE,SAAS,EAAE,IAAI,EAAE,IAAI,EAAE,SAAS,EAAE,KAAK,EAAE,WAAW,EAAE,CAAC;IAClE,CAAC;IAED,gGAAgG;IAChG,mGAAmG;IACnG,mGAAmG;IACnG,uFAAuF;IACvF,MAAM,MAAM,GAAG,0BAA0B,CAAC,IAAI,CAAC,CAAC,KAAK,EAAE,EAAE,CAAE,KAA2B,CAAC,QAAQ,CAAC,OAAO,CAAC,YAAY,CAAC,CAAC,CAAC;IACvH,MAAM,OAAO,GAAG,kCAAkC,CAAC,gBAAgB,EAAE,CAAC,aAAa,EAAE,aAAa,CAAC,EAAE,OAAO,CAAC,CAAC;IAC9G,IAAI,CAAC,OAAO,CAAC,EAAE;QAAE,OAAO,EAAE,SAAS,EAAE,KAAK,EAAE,MAAM,EAAE,OAAO,CAAC,MAAM,EAAE,CAAC;IACrE,MAAM,MAAM,GAAG,OAAO,CAAC,KAAK,CAAC,qBAAqB,CAAC,IAAI,CACrD,CAAC,CAAC,EAAE,EAAE,CAAE,MAA4B,CAAC,QAAQ,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,aAAa,KAAK,OAAO,CAAC,aAAa,IAAI,CAAC,CAAC,aAAa,KAAK,OAAO,CAAC,aAAa,CAChJ,CAAC;IACF,IAAI,MAAM;QAAE,OAAO,EAAE,SAAS,EAAE,IAAI,EAAE,IAAI,EAAE,cAAc,EAAE,OAAO,EAAE,MAAM,CAAC,IAAI,KAAK,OAAO,CAAC,YAAY,EAAE,CAAC;IAC5G,MAAM,QAAQ,GAAG,OAAO,CAAC,KAAK,CAAC,qBAAqB,CAAC,IAAI,CACvD,CAAC,CAAC,EAAE,EAAE,CAAE,MAA4B,CAAC,QAAQ,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,aAAa,KAAK,OAAO,CAAC,aAAa,IAAI,CAAC,CAAC,aAAa,KAAK,OAAO,CAAC,aAAa,CAChJ,CAAC;IACF,IAAI,QAAQ,EAAE,CAAC;QACb,OAAO;YACL,SAAS,EAAE,KAAK;YAChB,MAAM,EAAE,8BAA8B,OAAO,CAAC,aAAa,MAAM,OAAO,CAAC,aAAa,6DAA6D,QAAQ,CAAC,IAAI,WAAW,OAAO,CAAC,aAAa,0HAA0H;SAC3T,CAAC;IACJ,CAAC;IACD,OAAO,EAAE,SAAS,EAAE,KAAK,EAAE,MAAM,EAAE,OAAO,OAAO,CAAC,YAAY,kDAAkD,OAAO,CAAC,aAAa,UAAU,OAAO,CAAC,aAAa,GAAG,EAAE,CAAC;AAC5K,CAAC;AAED,qFAAqF;AAErF,MAAM,CAAC,MAAM,qCAAqC,GAAG,CAAC,UAAU,EAAE,SAAS,EAAE,YAAY,CAAU,CAAC;AAGpG;;;;;;;;;;;;GAYG;AACH,MAAM,CAAC,MAAM,2CAA2C,GAAG,CAAC,0BAA0B,EAAE,yCAAyC,CAAU,CAAC;AAiB5I;;;;;;;;;;GAUG;AACH,MAAM,UAAU,kCAAkC,CAChD,OAAmC,EACnC,YAAqD,EACrD,UAA4C,EAAE;IAE9C,IAAI,YAAY,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QAC9B,OAAO;YACL,MAAM,EAAE,YAAY;YACpB,iBAAiB,EAAE,CAAC;YACpB,qBAAqB,EAAE,CAAC;YACxB,uBAAuB,EAAE,CAAC;YAC1B,OAAO,EAAE,CAAC,EAAE,IAAI,EAAE,0BAA0B,EAAE,MAAM,EAAE,8DAA8D,EAAE,CAAC;SACxH,CAAC;IACJ,CAAC;IAED,MAAM,OAAO,GAAyC,EAAE,CAAC;IACzD,IAAI,qBAAqB,GAAG,CAAC,CAAC;IAE9B,KAAK,MAAM,WAAW,IAAI,YAAY,EAAE,CAAC;QACvC,MAAM,WAAW,GAAG,qCAAqC,CAAC,WAAW,CAAC,OAAO,EAAE,OAAO,EAAE,OAAO,CAAC,CAAC;QACjG,MAAM,WAAW,GAAG,CAAC,WAAW,CAAC,SAAS,IAAI,CAAC,WAAW,CAAC,IAAI,KAAK,cAAc,IAAI,CAAC,WAAW,CAAC,OAAO,CAAC,CAAC;QAC5G,IAAI,WAAW,EAAE,CAAC;YAChB,MAAM,MAAM,GAAG,CAAC,WAAW,CAAC,SAAS;gBACnC,CAAC,CAAC,WAAW,CAAC,MAAM;gBACpB,CAAC,CAAC,gDAAiD,WAAW,CAAC,OAAgD,CAAC,YAAY,gBAAgB,CAAC;YAC/I,OAAO,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,yCAAyC,EAAE,aAAa,EAAE,WAAW,CAAC,aAAa,EAAE,MAAM,EAAE,CAAC,CAAC;QACtH,CAAC;aAAM,CAAC;YACN,qBAAqB,IAAI,CAAC,CAAC;QAC7B,CAAC;IACH,CAAC;IAED,MAAM,uBAAuB,GAAG,YAAY,CAAC,MAAM,GAAG,qBAAqB,CAAC;IAC5E,MAAM,MAAM,GAAsC,uBAAuB,KAAK,CAAC,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC,CAAC,uBAAuB,KAAK,YAAY,CAAC,MAAM,CAAC,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,SAAS,CAAC;IAE1K,OAAO,EAAE,MAAM,EAAE,iBAAiB,EAAE,YAAY,CAAC,MAAM,EAAE,qBAAqB,EAAE,uBAAuB,EAAE,OAAO,EAAE,CAAC;AACrH,CAAC;AAED;;;;;;;GAOG;AACH,MAAM,UAAU,mCAAmC,CAAC,KAAc;IAChE,IAAI,CAAC,aAAa,CAAC,KAAK,CAAC;QAAE,OAAO,KAAK,CAAC;IACxC,IAAI,OAAO,KAAK,CAAC,MAAM,KAAK,QAAQ,IAAI,CAAE,qCAA2D,CAAC,QAAQ,CAAC,KAAK,CAAC,MAAM,CAAC;QAAE,OAAO,KAAK,CAAC;IAC3I,KAAK,MAAM,GAAG,IAAI,CAAC,mBAAmB,EAAE,uBAAuB,EAAE,yBAAyB,CAAU,EAAE,CAAC;QACrG,IAAI,OAAO,KAAK,CAAC,GAAG,CAAC,KAAK,QAAQ,IAAI,CAAC,MAAM,CAAC,SAAS,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,IAAK,KAAK,CAAC,GAAG,CAAY,GAAG,CAAC;YAAE,OAAO,KAAK,CAAC;IAClH,CAAC;IACD,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,OAAO,CAAC;QAAE,OAAO,KAAK,CAAC;IAChD,KAAK,MAAM,MAAM,IAAI,KAAK,CAAC,OAAO,EAAE,CAAC;QACnC,IAAI,CAAC,aAAa,CAAC,MAAM,CAAC;YAAE,OAAO,KAAK,CAAC;QACzC,IAAI,OAAO,MAAM,CAAC,IAAI,KAAK,QAAQ,IAAI,CAAE,2CAAiE,CAAC,QAAQ,CAAC,MAAM,CAAC,IAAI,CAAC;YAAE,OAAO,KAAK,CAAC;QAC/I,IAAI,MAAM,CAAC,aAAa,KAAK,SAAS,IAAI,CAAC,gBAAgB,CAAC,MAAM,CAAC,aAAa,CAAC;YAAE,OAAO,KAAK,CAAC;QAChG,IAAI,MAAM,CAAC,MAAM,KAAK,SAAS,IAAI,OAAO,MAAM,CAAC,MAAM,KAAK,QAAQ;YAAE,OAAO,KAAK,CAAC;IACrF,CAAC;IACD,OAAO,IAAI,CAAC;AACd,CAAC"}

package/dist/domain/externalReferenceRuntimeBinding.d.ts

@@ -0,0 +1,146 @@
+/**
+ * v0.7 Prompt 5 explicit reference-region <-> runtime-target binding.
+ * Answers only "which stable observer runtime target, if any, does this
+ * candidate observation resolve for each explicitly declared reference
+ * region?" - never automatic image-based matching, never geometry-based
+ * matching, never fuzzy name matching, never source-file/component
+ * ownership. A binding declaration is explicit user/configuration input: it
+ * asserts a conceptual correspondence between a Prompt 2 reference region
+ * and a v0.2 stable runtime target `name`, which this module then validates
+ * against an actual `ExternalReferenceArtifact` and a specific
+ * `ObservationArtifact` - it never discovers that correspondence itself.
+ *
+ * Two identity domains are deliberately kept separate throughout:
+ * `referenceRegion` (a Prompt 2 `ReferenceRegion.id`) and `runtimeTarget` (a
+ * v0.2 `NamedTarget.name`, resolved through the existing v0.2
+ * resolver/evidence only - this module never launches a browser, queries
+ * Chromium, resolves a CSS selector, or inspects a live DOM). Two strings
+ * with the same textual value in the two domains (e.g. a region id "header"
+ * and a target name "header") never bind to each other merely because they
+ * match - only an explicit declaration does that.
+ *
+ * Reuses, rather than duplicates:
+ * - `evaluateReferenceCandidateCompatibility` (v0.7 Prompt 4) as the
+ *   compatibility gate - this module never re-implements viewport/theme/
+ *   application-state/authenticated-state comparison.
+ * - `targetPresence` (v0.4 `comparisonEngine.ts`, exported additively by
+ *   this prompt) as the single canonical "how do I read a
+ *   TargetEvidenceRecord's resolution" rule - the same rule v0.4's own
+ *   before/after target-presence comparison already uses.
+ * - `REFERENCE_REGION_ID_PATTERN` (v0.7 Prompt 2) for the reference-region
+ *   half of a binding declaration.
+ *
+ * No new persisted artifact family is introduced. `evaluateReferenceRuntimeBindings`
+ * is a pure, synchronous function of an already-persisted
+ * `ExternalReferenceArtifact`, an already-persisted `ObservationArtifact`,
+ * and an in-memory binding-declaration collection; it mutates none of its
+ * inputs and produces no artifact of its own kind (see the Prompt 5 report
+ * for the persistence-decision rationale).
+ */
+import type { ExternalReferenceArtifact } from './externalReference.js';
+import type { ObservationArtifact, TargetSelectionStatus } from './schema.js';
+import type { ComparabilityResult } from './comparison.js';
+/**
+ * Independently-owned duplicate of request/request.ts's private
+ * `TARGET_NAME_RE` (`^[A-Za-z0-9_-]{1,64}$`) - same "stable, portable,
+ * log-safe identifier" convention already duplicated by
+ * `externalReferenceRegions.ts#REFERENCE_REGION_ID_PATTERN` and
+ * `explicitState.ts#STATE_LABEL_PATTERN`. Never imported cross-module, per
+ * the established per-module pattern-ownership convention.
+ */
+export declare const RUNTIME_TARGET_NAME_PATTERN: RegExp;
+/** Mirrors `MAX_REFERENCE_REGIONS` (20) - a binding declaration collection is authoring input over the same region set, so the same bound applies; independently owned, not imported, since the two constants describe different collections that merely happen to share a value. */
+export declare const MAX_REFERENCE_RUNTIME_BINDINGS = 20;
+export declare const REFERENCE_RUNTIME_BINDING_STATUSES: readonly ["bound", "ambiguous", "unavailable"];
+export type ReferenceRuntimeBindingStatus = (typeof REFERENCE_RUNTIME_BINDING_STATUSES)[number];
+/**
+ * Closed, bounded reason vocabulary - one code per distinct evidence
+ * situation the evaluator can actually observe, mirroring the
+ * "one diagnostic code per validation domain" convention already used by
+ * `DIAGNOSTIC_CODES`. Never a place for a free-form or source-derived
+ * explanation; `detail` (free text) carries the human-readable specifics.
+ */
+export declare const REFERENCE_RUNTIME_BINDING_REASON_CODES: readonly ["runtime-target-not-configured", "runtime-target-not-found", "runtime-target-ambiguous", "runtime-target-evidence-unavailable"];
+export type ReferenceRuntimeBindingReasonCode = (typeof REFERENCE_RUNTIME_BINDING_REASON_CODES)[number];
+/** One explicit, user/configuration-authored correspondence declaration. Both fields are always exact-match identifiers - never a selector, never a fuzzy label. */
+export interface ReferenceRuntimeBindingDeclaration {
+    referenceRegion: string;
+    runtimeTarget: string;
+}
+export type ReferenceRuntimeBindingValidationResult = {
+    valid: true;
+} | {
+    valid: false;
+    reason: string;
+};
+/**
+ * Structural, candidate-independent validation: shape, bounds, uniqueness,
+ * and reference-region existence against the supplied
+ * `ExternalReferenceArtifact` only - this never touches a candidate
+ * observation (runtime-target availability is inherently per-candidate; see
+ * `evaluateReferenceRuntimeBindings`). A reference with no `regions` at all
+ * (Prompt 1/2-era artifact, or one that simply declared none) makes every
+ * binding declaration fail closed - there is nothing to bind against.
+ *
+ * Duplicate/conflicting-subject rule (mirrors Prompt 3's requirement-subject
+ * uniqueness rule exactly): no two declarations may name the same
+ * `referenceRegion` (case-insensitively), regardless of whether their
+ * `runtimeTarget` values agree (an exact duplicate) or disagree (a
+ * conflict) - both are rejected identically, fail-closed, never resolved by
+ * silently keeping the first. The reverse - several distinct reference
+ * regions naming the same `runtimeTarget` - is deliberately allowed: two
+ * design sub-regions may legitimately correspond to one runtime container
+ * element, whereas one region needing several runtime targets would be
+ * inherently ambiguous about which target represents it (the "one region,
+ * one explicit primary target" rule).
+ */
+export declare function isValidReferenceRuntimeBindingDeclarations(value: unknown, reference: ExternalReferenceArtifact): ReferenceRuntimeBindingValidationResult;
+/** Provenance-rich per-declaration outcome. `reasonCode`/`detail` are always present when `status !== 'bound'`; `targetResolutionStatus`/`targetVisible` are populated only when the underlying v0.2 evidence actually carries them (never fabricated). */
+export interface ReferenceRuntimeBindingResult {
+    referenceRegion: string;
+    runtimeTarget: string;
+    status: ReferenceRuntimeBindingStatus;
+    reasonCode?: ReferenceRuntimeBindingReasonCode;
+    detail: string;
+    targetResolutionStatus?: TargetSelectionStatus;
+    /**
+     * Provenance only - visibility never changes `status`. A uniquely
+     * resolved (`matched`) target that happens to be hidden still has a
+     * stable identity and is reported `bound`; whether a hidden target's
+     * evidence is *usable for later fidelity evaluation* is a distinct
+     * question this prompt does not answer (see the Prompt 5 report's
+     * "hidden-target decision").
+     */
+    targetVisible?: boolean;
+}
+export interface ReferenceRuntimeBindingEvaluation {
+    referenceId: string;
+    referenceRequestId: string;
+    candidateObservationId: string;
+    candidateRequestId: string;
+    /** Reused verbatim from v0.7 Prompt 4 - never recomputed or duplicated here. */
+    compatibility: ComparabilityResult;
+    /**
+     * Empty exactly when `compatibility.state === 'incomparable'` - Prompt 4's
+     * compatibility blocker is represented solely through the `compatibility`
+     * field above, never through a binding-local "incompatible" status or a
+     * fabricated per-declaration result.
+     */
+    bindings: ReferenceRuntimeBindingResult[];
+}
+export type EvaluateReferenceRuntimeBindingsResult = {
+    ok: true;
+    evaluation: ReferenceRuntimeBindingEvaluation;
+} | {
+    ok: false;
+    reason: string;
+};
+/**
+ * Pure and synchronous: no browser, no filesystem, no network, no second
+ * target resolver. Validates both artifacts and the declaration collection,
+ * runs the Prompt 4 compatibility gate exactly once, and - only when the
+ * candidate is not `incomparable` with the reference - evaluates each
+ * declaration in authored order against the candidate's own already-
+ * captured `requestConfig.targets`/`targetEvidence`. Mutates neither input.
+ */
+export declare function evaluateReferenceRuntimeBindings(reference: ExternalReferenceArtifact, candidate: ObservationArtifact, declarations: readonly ReferenceRuntimeBindingDeclaration[]): EvaluateReferenceRuntimeBindingsResult;