my-frontend-observer 0.4.0 → 0.5.0

package/dist/domain/frontendContractEvaluation.d.ts

@@ -0,0 +1,57 @@
+/**
+ * v0.5 Batch 2 canonical pure frontend contract evaluation engine. Consumes
+ * already-loaded evidence (before/after ObservationArtifact, ComparisonArtifact,
+ * PersistentBaselineContract, PerChangeContract - all frozen by v0.4/Batch 1) and
+ * derives per-clause results plus one overall PASS/FAIL verdict. Pure and
+ * synchronous: no Chromium, no filesystem, no target re-resolution, no
+ * reimplementation of v0.4 comparison/relationship/clipping/scroll-owner logic.
+ * Mutates none of its inputs. This module owns no persistence, no CLI, and no
+ * unexpected-change *authoring* semantics - `unexpected` remains a derived
+ * classification only, never an authored category (see domain/frontendContracts.ts).
+ */
+import type { EvidenceReference } from './relationships.js';
+import type { ObservationArtifact } from './schema.js';
+import type { ComparisonArtifact, ComparisonDifferenceSubject, DifferenceKind } from './comparison.js';
+import type { PersistentBaselineContract, PerChangeContract, ClauseEvaluationResult, OverallVerdict } from './frontendContracts.js';
+export interface FrontendContractEvaluationInput {
+    before: ObservationArtifact;
+    after: ObservationArtifact;
+    comparison: ComparisonArtifact;
+    baseline: PersistentBaselineContract;
+    change: PerChangeContract;
+}
+/** A meaningful rendered difference not accounted for by any active authored clause - derived only, never authorable. */
+export interface UnexpectedChangeResult {
+    classification: 'unexpected';
+    subject: ComparisonDifferenceSubject;
+    differenceKind: DifferenceKind;
+    supportingEvidence: EvidenceReference[];
+}
+export interface FrontendContractEvaluationResult {
+    overallVerdict: OverallVerdict;
+    activeBaselineClauseIds: string[];
+    supersededBaselineClauseIds: string[];
+    clauseResults: ClauseEvaluationResult[];
+    unexpectedChanges: UnexpectedChangeResult[];
+}
+export type EvaluateFrontendContractResult = {
+    ok: true;
+    evaluation: FrontendContractEvaluationResult;
+} | {
+    ok: false;
+    reason: string;
+};
+/**
+ * The one canonical pure v0.5 contract-evaluation entry point:
+ * `active persistent baseline contracts + current per-change contract + actual
+ * before/after runtime evidence -> PASS | FAIL` with full clause-level
+ * evidence. Deterministic given identical inputs; never mutates
+ * before/after/comparison/baseline/change.
+ *
+ * NOTE: `comparison.differences` already includes one `ComparisonDifference`
+ * per `RelationshipChangeRecord` (see `comparisonEngine.ts#relationshipChangesToDifferences`),
+ * so unexpected-change derivation consumes `differences` only - iterating
+ * `relationshipChanges` separately would double-count the same logical
+ * transition.
+ */
+export declare function evaluateFrontendContract(input: FrontendContractEvaluationInput): EvaluateFrontendContractResult;

package/dist/domain/frontendContractEvaluation.js

@@ -0,0 +1,454 @@
+import { HORIZONTAL_ORDER_RELATIONSHIPS, VERTICAL_ORDER_RELATIONSHIPS, AREA_OVERLAP_RELATIONSHIPS, RELATIVE_WIDTH_RELATIONSHIPS, GEOMETRIC_FIT_RELATIONSHIPS, VERTICAL_SEQUENCE_RELATIONSHIPS, PAGE_WIDTH_RELATIONSHIPS, PAGE_LEVEL_RELATIONSHIP_KINDS, deriveTargetClipping, } from './relationships.js';
+import { isValidObservationArtifact } from './schema.js';
+import { evidenceValue } from './evidence.js';
+import { isValidComparisonArtifact } from './comparison.js';
+import { isValidPersistentBaselineContract, isValidPerChangeContract } from './frontendContracts.js';
+function targetGeometry(observation, target) {
+    const record = observation.targetEvidence[target];
+    return record ? evidenceValue(record.geometry) : undefined;
+}
+function targetVisible(observation, target) {
+    const record = observation.targetEvidence[target];
+    const visibility = record ? evidenceValue(record.visibility) : undefined;
+    return visibility?.visible;
+}
+function targetClipping(observation, target) {
+    const record = observation.targetEvidence[target];
+    return record ? deriveTargetClipping(record) : { horizontal: 'unavailable', vertical: 'unavailable' };
+}
+function findPairwiseKind(graph, subjectTarget, relatedTarget, family) {
+    return graph.pairwiseRelationships.find((r) => r.subjectTarget === subjectTarget && r.relatedTarget === relatedTarget && family.includes(r.kind))?.kind;
+}
+function scrollOwnerOf(observation) {
+    return observation.scrollScenarioEvidence ? evidenceValue(observation.scrollScenarioEvidence.scrollOwner) : undefined;
+}
+function initialViewportRelation(observation, target) {
+    const state = observation.scrollScenarioEvidence?.initial.targets[target];
+    const relation = state ? evidenceValue(state.viewportRelation) : undefined;
+    return relation?.vertical;
+}
+function readProperty(observation, target, property) {
+    const geometry = targetGeometry(observation, target);
+    return geometry ? geometry[property] : undefined;
+}
+/** Contract tolerance is independent of v0.4's comparison geometry noise tolerance (never reused as authorization). Percent denominator is the absolute before-value, the standard "may vary by up to N%" reading. */
+function toleranceToPx(tolerance, beforeValue) {
+    switch (tolerance.kind) {
+        case 'exact':
+            return 0;
+        case 'absolute-px':
+            return tolerance.amount;
+        case 'percent':
+            return (tolerance.amount / 100) * Math.abs(beforeValue);
+    }
+}
+const RELATIONSHIP_FAMILY_GROUPS = [
+    HORIZONTAL_ORDER_RELATIONSHIPS,
+    VERTICAL_ORDER_RELATIONSHIPS,
+    AREA_OVERLAP_RELATIONSHIPS,
+    RELATIVE_WIDTH_RELATIONSHIPS,
+    GEOMETRIC_FIT_RELATIONSHIPS,
+    VERTICAL_SEQUENCE_RELATIONSHIPS,
+    PAGE_WIDTH_RELATIONSHIPS,
+];
+function familyOf(kind) {
+    return RELATIONSHIP_FAMILY_GROUPS.find((family) => family.includes(kind));
+}
+function sameFamily(a, b) {
+    const family = familyOf(a);
+    return family ? family.includes(b) : false;
+}
+// --- state-checkable primitive evaluation (evaluated against one observation + its relationship graph) --
+const STATE_PRIMITIVE_KINDS = new Set([
+    'target-visible',
+    'target-not-clipped',
+    'target-width-within-bound',
+    'targets-do-not-overlap',
+    'target-wider-than',
+    'target-follows-vertically',
+    'target-fits-inside',
+    'document-width-fits-viewport',
+    'scroll-owner-is-document',
+    'target-does-not-own-scroll',
+    'target-begins-below-initial-viewport',
+]);
+function isStatePrimitiveKind(kind) {
+    return STATE_PRIMITIVE_KINDS.has(kind);
+}
+function evaluateStatePrimitive(primitive, observation, graph) {
+    switch (primitive.kind) {
+        case 'target-visible': {
+            const visible = targetVisible(observation, primitive.target);
+            return visible === undefined ? 'unavailable' : visible ? 'pass' : 'fail';
+        }
+        case 'target-not-clipped': {
+            const clip = targetClipping(observation, primitive.target);
+            const axis = primitive.axis ?? 'both';
+            const checkHorizontal = axis === 'horizontal' || axis === 'both';
+            const checkVertical = axis === 'vertical' || axis === 'both';
+            if ((checkHorizontal && clip.horizontal === 'unavailable') || (checkVertical && clip.vertical === 'unavailable'))
+                return 'unavailable';
+            const clipped = (checkHorizontal && clip.horizontal === 'clipped') || (checkVertical && clip.vertical === 'clipped');
+            return clipped ? 'fail' : 'pass';
+        }
+        case 'target-width-within-bound': {
+            const geometry = targetGeometry(observation, primitive.target);
+            if (!geometry)
+                return 'unavailable';
+            if (primitive.minPx !== undefined && geometry.width < primitive.minPx)
+                return 'fail';
+            if (primitive.maxPx !== undefined && geometry.width > primitive.maxPx)
+                return 'fail';
+            return 'pass';
+        }
+        case 'targets-do-not-overlap': {
+            const kind = findPairwiseKind(graph, primitive.targetA, primitive.targetB, AREA_OVERLAP_RELATIONSHIPS) ??
+                findPairwiseKind(graph, primitive.targetB, primitive.targetA, AREA_OVERLAP_RELATIONSHIPS);
+            if (!kind)
+                return 'unavailable';
+            return kind === 'does-not-overlap' ? 'pass' : 'fail';
+        }
+        case 'target-wider-than': {
+            const direct = findPairwiseKind(graph, primitive.targetA, primitive.targetB, RELATIVE_WIDTH_RELATIONSHIPS);
+            if (direct)
+                return direct === 'wider-than' ? 'pass' : 'fail';
+            const reversed = findPairwiseKind(graph, primitive.targetB, primitive.targetA, RELATIVE_WIDTH_RELATIONSHIPS);
+            if (reversed)
+                return reversed === 'narrower-than' ? 'pass' : 'fail';
+            return 'unavailable';
+        }
+        case 'target-follows-vertically': {
+            const kind = findPairwiseKind(graph, primitive.targetA, primitive.targetB, VERTICAL_SEQUENCE_RELATIONSHIPS);
+            if (kind)
+                return 'pass';
+            const bothResolvable = targetGeometry(observation, primitive.targetA) !== undefined && targetGeometry(observation, primitive.targetB) !== undefined;
+            return bothResolvable ? 'fail' : 'unavailable';
+        }
+        case 'target-fits-inside': {
+            const kind = findPairwiseKind(graph, primitive.target, primitive.container, GEOMETRIC_FIT_RELATIONSHIPS);
+            if (!kind)
+                return 'unavailable';
+            return kind === 'fits-inside' ? 'pass' : 'fail';
+        }
+        case 'document-width-fits-viewport': {
+            const kind = graph.pageRelationships[0]?.kind;
+            if (!kind)
+                return 'unavailable';
+            return kind === 'document-width-fits-viewport' ? 'pass' : 'fail';
+        }
+        case 'scroll-owner-is-document': {
+            const owner = scrollOwnerOf(observation);
+            if (!owner)
+                return 'unavailable';
+            return owner.kind === 'document' ? 'pass' : 'fail';
+        }
+        case 'target-does-not-own-scroll': {
+            const owner = scrollOwnerOf(observation);
+            if (!owner)
+                return 'unavailable';
+            return owner.kind === 'target' && owner.target === primitive.target ? 'fail' : 'pass';
+        }
+        case 'target-begins-below-initial-viewport': {
+            const relation = initialViewportRelation(observation, primitive.target);
+            if (!relation)
+                return 'unavailable';
+            return relation === 'below' ? 'pass' : 'fail';
+        }
+        default:
+            return 'unavailable';
+    }
+}
+// --- diff-based primitive evaluation (compares before vs after) -----------------
+function evaluateRelationshipUnchanged(primitive, ctx) {
+    const { relationshipKind, subjectTarget, relatedTarget } = primitive;
+    const isPageLevel = PAGE_LEVEL_RELATIONSHIP_KINDS.includes(relationshipKind);
+    if (isPageLevel) {
+        const changed = ctx.comparison.relationshipChanges.some((r) => r.scope === 'page');
+        if (changed)
+            return 'fail';
+        const afterKind = ctx.comparison.relationshipsAfter.pageRelationships[0]?.kind;
+        return afterKind === relationshipKind ? 'pass' : 'unavailable';
+    }
+    if (!subjectTarget || !relatedTarget)
+        return 'unavailable';
+    const changed = ctx.comparison.relationshipChanges.some((r) => r.scope === 'pairwise' && r.subjectTarget === subjectTarget && r.relatedTarget === relatedTarget && sameFamily(r.kind, relationshipKind));
+    if (changed)
+        return 'fail';
+    const family = familyOf(relationshipKind);
+    if (!family)
+        return 'unavailable';
+    const afterKind = findPairwiseKind(ctx.comparison.relationshipsAfter, subjectTarget, relatedTarget, family);
+    return afterKind === relationshipKind ? 'pass' : 'unavailable';
+}
+function evaluatePropertyUnchanged(primitive, ctx) {
+    const before = readProperty(ctx.before, primitive.target, primitive.property);
+    const after = readProperty(ctx.after, primitive.target, primitive.property);
+    if (before === undefined || after === undefined)
+        return 'unavailable';
+    const toleranceAmount = toleranceToPx(primitive.tolerance, before);
+    return Math.abs(after - before) <= toleranceAmount ? 'pass' : 'fail';
+}
+/** `permitted` relaxes "must occur" to "may occur": no change and compliant change both pass; only the strictly-opposite direction fails. */
+function evaluatePropertyDirectional(primitive, ctx, permitted) {
+    const before = readProperty(ctx.before, primitive.target, primitive.property);
+    const after = readProperty(ctx.after, primitive.target, primitive.property);
+    if (before === undefined || after === undefined)
+        return 'unavailable';
+    const delta = after - before;
+    const magnitude = primitive.minimumDeltaPx ?? 0;
+    const increases = primitive.kind === 'property-increases';
+    const compliant = increases ? delta > magnitude : delta < -magnitude;
+    if (compliant)
+        return 'pass';
+    if (!permitted)
+        return 'fail';
+    const contradictory = increases ? delta < 0 : delta > 0;
+    return contradictory ? 'fail' : 'pass';
+}
+function evaluatePrimitiveResult(primitive, mode, ctx) {
+    switch (primitive.kind) {
+        case 'relationship-unchanged':
+            return evaluateRelationshipUnchanged(primitive, ctx);
+        case 'property-unchanged-within-tolerance':
+            return evaluatePropertyUnchanged(primitive, ctx);
+        case 'property-increases':
+        case 'property-decreases':
+            return evaluatePropertyDirectional(primitive, ctx, mode === 'permitted');
+        default:
+            return evaluateStatePrimitive(primitive, ctx.after, ctx.comparison.relationshipsAfter);
+    }
+}
+// --- clause-level evaluation (adds the preserved baseline-truth pre-check) ------
+function clauseMode(category, dependentMode) {
+    if (category === 'expected-dependent')
+        return dependentMode === 'permitted' ? 'permitted' : 'required';
+    if (category === 'preserved')
+        return 'preserved';
+    return 'default';
+}
+function toClauseResult(clauseId, status, supportingEvidence) {
+    if (status === 'unavailable') {
+        return { clauseId, status: 'unavailable', reason: 'required evidence to evaluate this contract clause is unavailable', supportingEvidence };
+    }
+    return { clauseId, status, supportingEvidence };
+}
+/**
+ * `mode === 'preserved'` additionally proves the invariant already held in
+ * `before` (using the same before-evidence + `comparison.relationshipsBefore`
+ * the v0.4 comparison engine already derived - never re-derived here). An
+ * invariant that never held in the baseline cannot be truthfully evaluated as
+ * "preserved" or silently redefined as a new regression, per the frozen
+ * Batch 1 honesty requirement - reported `unavailable`, never `pass`/`fail`.
+ */
+function evaluateClause(clauseId, primitive, mode, ctx, supportingEvidence) {
+    if (mode === 'preserved' && isStatePrimitiveKind(primitive.kind)) {
+        const baselineStatus = evaluateStatePrimitive(primitive, ctx.before, ctx.comparison.relationshipsBefore);
+        if (baselineStatus === 'fail') {
+            return {
+                clauseId,
+                status: 'unavailable',
+                reason: 'asserted preserved invariant does not hold in the baseline (before) evidence, so preservation cannot be truthfully evaluated',
+                supportingEvidence,
+            };
+        }
+    }
+    const status = evaluatePrimitiveResult(primitive, mode, ctx);
+    return toClauseResult(clauseId, status, supportingEvidence);
+}
+// --- bounded, deterministic conflict detection -----------------------------------
+function primitiveTargetProperty(p) {
+    if (p.kind === 'property-unchanged-within-tolerance' || p.kind === 'property-increases' || p.kind === 'property-decreases') {
+        return { target: p.target, property: p.property };
+    }
+    return undefined;
+}
+function directionOf(p) {
+    if (p.kind === 'property-unchanged-within-tolerance')
+        return 'unchanged';
+    if (p.kind === 'property-increases')
+        return 'increase';
+    if (p.kind === 'property-decreases')
+        return 'decrease';
+    return undefined;
+}
+/**
+ * Bounded to structurally-provable contradictions on the same (target, property)
+ * pair (e.g. "unchanged" vs "increases", or "increases" vs "decreases") - never a
+ * general constraint solver. Two clauses whose contradiction cannot be established
+ * this way from their structured form are evaluated independently, per governing
+ * scope (Section 8).
+ */
+function primitivesConflict(a, b) {
+    const at = primitiveTargetProperty(a);
+    const bt = primitiveTargetProperty(b);
+    if (!at || !bt)
+        return false;
+    if (at.target !== bt.target || at.property !== bt.property)
+        return false;
+    const ad = directionOf(a);
+    const bd = directionOf(b);
+    return ad !== undefined && bd !== undefined && ad !== bd;
+}
+// --- difference-to-scope matching (deterministic, structural identity only) -----
+function relationshipDiffMatchesPair(diff, family, a, b) {
+    if (diff.subject.type !== 'relationship')
+        return false;
+    if (!family.includes(diff.subject.kind))
+        return false;
+    const { subjectTarget, relatedTarget } = diff.subject;
+    return (subjectTarget === a && relatedTarget === b) || (subjectTarget === b && relatedTarget === a);
+}
+/**
+ * One authored clause "accounts for" a raw `ComparisonDifference` only when
+ * their structural subject/kind identity matches (never array position, prose,
+ * or fuzzy name matching). `target-begins-below-initial-viewport` is
+ * state-only and never accounts for any before/after difference. DOM
+ * containment (`containment-changed`) is deliberately never accounted for by
+ * any frozen primitive - the vocabulary only models geometric fit
+ * (`target-fits-inside`), a distinct concept - so a containment change is
+ * always `unexpected`, by design.
+ */
+function primitiveAccountsForDifference(primitive, diff) {
+    switch (primitive.kind) {
+        case 'target-visible':
+            return diff.subject.type === 'target' && diff.subject.target === primitive.target && (diff.kind === 'visibility-changed' || diff.kind === 'appeared' || diff.kind === 'disappeared');
+        case 'target-not-clipped':
+            return (diff.subject.type === 'target' &&
+                diff.subject.target === primitive.target &&
+                (diff.kind === 'clipping-changed' || diff.kind === 'horizontal-overflow-changed' || diff.kind === 'vertical-overflow-changed'));
+        case 'target-width-within-bound':
+            return diff.subject.type === 'target' && diff.subject.target === primitive.target && diff.kind === 'resized';
+        case 'property-unchanged-within-tolerance':
+        case 'property-increases':
+        case 'property-decreases': {
+            if (diff.subject.type !== 'target' || diff.subject.target !== primitive.target)
+                return false;
+            const isPositionProperty = primitive.property === 'x' || primitive.property === 'y';
+            return isPositionProperty ? diff.kind === 'moved' : diff.kind === 'resized';
+        }
+        case 'targets-do-not-overlap':
+            return relationshipDiffMatchesPair(diff, AREA_OVERLAP_RELATIONSHIPS, primitive.targetA, primitive.targetB);
+        case 'target-wider-than':
+            return relationshipDiffMatchesPair(diff, RELATIVE_WIDTH_RELATIONSHIPS, primitive.targetA, primitive.targetB);
+        case 'target-follows-vertically':
+            return relationshipDiffMatchesPair(diff, VERTICAL_SEQUENCE_RELATIONSHIPS, primitive.targetA, primitive.targetB);
+        case 'target-fits-inside':
+            return relationshipDiffMatchesPair(diff, GEOMETRIC_FIT_RELATIONSHIPS, primitive.target, primitive.container);
+        case 'relationship-unchanged': {
+            if (diff.subject.type !== 'relationship')
+                return false;
+            if (!sameFamily(diff.subject.kind, primitive.relationshipKind))
+                return false;
+            if (primitive.subjectTarget && diff.subject.subjectTarget !== primitive.subjectTarget)
+                return false;
+            if (primitive.relatedTarget && diff.subject.relatedTarget !== primitive.relatedTarget)
+                return false;
+            return true;
+        }
+        case 'document-width-fits-viewport':
+            return diff.kind === 'page-size-changed' || (diff.subject.type === 'relationship' && PAGE_WIDTH_RELATIONSHIPS.includes(diff.subject.kind));
+        case 'scroll-owner-is-document':
+        case 'target-does-not-own-scroll':
+            return diff.kind === 'scroll-owner-changed';
+        case 'target-begins-below-initial-viewport':
+            return false;
+        default:
+            return false;
+    }
+}
+function toUnexpectedChangeResult(diff) {
+    return { classification: 'unexpected', subject: diff.subject, differenceKind: diff.kind, supportingEvidence: diff.evidence };
+}
+// --- canonical entry point --------------------------------------------------------
+/**
+ * The one canonical pure v0.5 contract-evaluation entry point:
+ * `active persistent baseline contracts + current per-change contract + actual
+ * before/after runtime evidence -> PASS | FAIL` with full clause-level
+ * evidence. Deterministic given identical inputs; never mutates
+ * before/after/comparison/baseline/change.
+ *
+ * NOTE: `comparison.differences` already includes one `ComparisonDifference`
+ * per `RelationshipChangeRecord` (see `comparisonEngine.ts#relationshipChangesToDifferences`),
+ * so unexpected-change derivation consumes `differences` only - iterating
+ * `relationshipChanges` separately would double-count the same logical
+ * transition.
+ */
+export function evaluateFrontendContract(input) {
+    const { before, after, comparison, baseline, change } = input;
+    const beforeValidation = isValidObservationArtifact(before);
+    if (!beforeValidation.valid)
+        return { ok: false, reason: `before ObservationArtifact is invalid: ${beforeValidation.reason}` };
+    const afterValidation = isValidObservationArtifact(after);
+    if (!afterValidation.valid)
+        return { ok: false, reason: `after ObservationArtifact is invalid: ${afterValidation.reason}` };
+    const comparisonValidation = isValidComparisonArtifact(comparison);
+    if (!comparisonValidation.valid)
+        return { ok: false, reason: `ComparisonArtifact is invalid: ${comparisonValidation.reason}` };
+    const baselineValidation = isValidPersistentBaselineContract(baseline);
+    if (!baselineValidation.valid)
+        return { ok: false, reason: `PersistentBaselineContract is invalid: ${baselineValidation.reason}` };
+    const changeValidation = isValidPerChangeContract(change);
+    if (!changeValidation.valid)
+        return { ok: false, reason: `PerChangeContract is invalid: ${changeValidation.reason}` };
+    if (comparison.before.observationId !== before.observationId) {
+        return { ok: false, reason: 'comparison.before.observationId does not match the supplied before observation' };
+    }
+    if (comparison.after.observationId !== after.observationId) {
+        return { ok: false, reason: 'comparison.after.observationId does not match the supplied after observation' };
+    }
+    const baselineClauseIds = new Set(baseline.clauses.map((c) => c.clauseId));
+    const supersededIds = new Set();
+    for (const c of change.clauses) {
+        for (const id of c.supersedesBaselineClauseIds ?? []) {
+            if (baselineClauseIds.has(id))
+                supersededIds.add(id);
+        }
+    }
+    const activeBaseline = baseline.clauses.filter((c) => !supersededIds.has(c.clauseId));
+    const activeBaselineClauseIds = activeBaseline.map((c) => c.clauseId);
+    if (comparison.comparability.state === 'incomparable') {
+        const clauseResults = [
+            ...activeBaseline.map((c) => toClauseResult(c.clauseId, 'unavailable', c.supportingEvidence)),
+            ...change.clauses.map((c) => toClauseResult(c.clauseId, 'unavailable', c.supportingEvidence)),
+        ].map((r) => (r.status === 'unavailable' ? { ...r, reason: 'comparison is incomparable; frontend contract clauses cannot be evaluated' } : r));
+        return {
+            ok: true,
+            evaluation: { overallVerdict: 'FAIL', activeBaselineClauseIds, supersededBaselineClauseIds: [...supersededIds], clauseResults, unexpectedChanges: [] },
+        };
+    }
+    const ctx = { before, after, comparison };
+    const clauseResults = [];
+    for (const c of activeBaseline) {
+        const conflictingChange = change.clauses.find((cc) => !(cc.supersedesBaselineClauseIds ?? []).includes(c.clauseId) && primitivesConflict(c.primitive, cc.primitive));
+        if (conflictingChange) {
+            const reason = `baseline clause "${c.clauseId}" and per-change clause "${conflictingChange.clauseId}" impose contradictory requirements on the same property without explicit supersession`;
+            clauseResults.push({ clauseId: c.clauseId, status: 'conflict', reason, conflictingClauseIds: [c.clauseId, conflictingChange.clauseId], supportingEvidence: c.supportingEvidence });
+            continue;
+        }
+        clauseResults.push(evaluateClause(c.clauseId, c.primitive, 'preserved', ctx, c.supportingEvidence));
+    }
+    for (const c of change.clauses) {
+        const unknownRefs = (c.supersedesBaselineClauseIds ?? []).filter((id) => !baselineClauseIds.has(id));
+        if (unknownRefs.length > 0) {
+            const reason = `per-change clause "${c.clauseId}" supersedesBaselineClauseIds references unknown baseline clause id(s): ${unknownRefs.join(', ')}`;
+            clauseResults.push({ clauseId: c.clauseId, status: 'conflict', reason, conflictingClauseIds: [c.clauseId, ...unknownRefs], supportingEvidence: c.supportingEvidence });
+            continue;
+        }
+        const conflictingBaseline = activeBaseline.find((b) => !(c.supersedesBaselineClauseIds ?? []).includes(b.clauseId) && primitivesConflict(b.primitive, c.primitive));
+        if (conflictingBaseline) {
+            const reason = `per-change clause "${c.clauseId}" and baseline clause "${conflictingBaseline.clauseId}" impose contradictory requirements on the same property without explicit supersession`;
+            clauseResults.push({ clauseId: c.clauseId, status: 'conflict', reason, conflictingClauseIds: [conflictingBaseline.clauseId, c.clauseId], supportingEvidence: c.supportingEvidence });
+            continue;
+        }
+        const mode = clauseMode(c.category, c.expectedDependentMode);
+        clauseResults.push(evaluateClause(c.clauseId, c.primitive, mode, ctx, c.supportingEvidence));
+    }
+    const authoredPrimitives = [...activeBaseline.map((c) => c.primitive), ...change.clauses.map((c) => c.primitive)];
+    const unexpectedChanges = comparison.differences.filter((d) => !authoredPrimitives.some((p) => primitiveAccountsForDifference(p, d))).map(toUnexpectedChangeResult);
+    const overallVerdict = clauseResults.every((r) => r.status === 'pass') && unexpectedChanges.length === 0 ? 'PASS' : 'FAIL';
+    return {
+        ok: true,
+        evaluation: { overallVerdict, activeBaselineClauseIds, supersededBaselineClauseIds: [...supersededIds], clauseResults, unexpectedChanges },
+    };
+}
+//# sourceMappingURL=frontendContractEvaluation.js.map

package/dist/domain/frontendContractEvaluation.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"frontendContractEvaluation.js","sourceRoot":"","sources":["../../src/domain/frontendContractEvaluation.ts"],"names":[],"mappings":"AAYA,OAAO,EACL,8BAA8B,EAC9B,4BAA4B,EAC5B,0BAA0B,EAC1B,4BAA4B,EAC5B,2BAA2B,EAC3B,+BAA+B,EAC/B,wBAAwB,EACxB,6BAA6B,EAC7B,oBAAoB,GACrB,MAAM,oBAAoB,CAAC;AAG5B,OAAO,EAAE,0BAA0B,EAAE,MAAM,aAAa,CAAC;AACzD,OAAO,EAAE,aAAa,EAAE,MAAM,eAAe,CAAC;AAE9C,OAAO,EAAE,yBAAyB,EAAE,MAAM,iBAAiB,CAAC;AAY5D,OAAO,EAAE,iCAAiC,EAAE,wBAAwB,EAAE,MAAM,wBAAwB,CAAC;AAyCrG,SAAS,cAAc,CAAC,WAAgC,EAAE,MAAc;IACtE,MAAM,MAAM,GAAG,WAAW,CAAC,cAAc,CAAC,MAAM,CAAC,CAAC;IAClD,OAAO,MAAM,CAAC,CAAC,CAAC,aAAa,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC;AAC7D,CAAC;AAED,SAAS,aAAa,CAAC,WAAgC,EAAE,MAAc;IACrE,MAAM,MAAM,GAAG,WAAW,CAAC,cAAc,CAAC,MAAM,CAAC,CAAC;IAClD,MAAM,UAAU,GAAG,MAAM,CAAC,CAAC,CAAC,aAAa,CAAC,MAAM,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC;IACzE,OAAO,UAAU,EAAE,OAAO,CAAC;AAC7B,CAAC;AAED,SAAS,cAAc,CAAC,WAAgC,EAAE,MAAc;IACtE,MAAM,MAAM,GAAG,WAAW,CAAC,cAAc,CAAC,MAAM,CAAC,CAAC;IAClD,OAAO,MAAM,CAAC,CAAC,CAAC,oBAAoB,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,EAAE,UAAU,EAAE,aAAa,EAAE,QAAQ,EAAE,aAAa,EAAE,CAAC;AACxG,CAAC;AAED,SAAS,gBAAgB,CACvB,KAA8B,EAC9B,aAAqB,EACrB,aAAqB,EACrB,MAAyE;IAEzE,OAAO,KAAK,CAAC,qBAAqB,CAAC,IAAI,CACrC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,aAAa,KAAK,aAAa,IAAI,CAAC,CAAC,aAAa,KAAK,aAAa,IAAK,MAA4B,CAAC,QAAQ,CAAC,CAAC,CAAC,IAAI,CAAC,CAChI,EAAE,IAAI,CAAC;AACV,CAAC;AAED,SAAS,aAAa,CAAC,WAAgC;IACrD,OAAO,WAAW,CAAC,sBAAsB,CAAC,CAAC,CAAC,aAAa,CAAC,WAAW,CAAC,sBAAsB,CAAC,WAAW,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC;AACxH,CAAC;AAED,SAAS,uBAAuB,CAAC,WAAgC,EAAE,MAAc;IAC/E,MAAM,KAAK,GAAG,WAAW,CAAC,sBAAsB,EAAE,OAAO,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC;IAC1E,MAAM,QAAQ,GAAG,KAAK,CAAC,CAAC,CAAC,aAAa,CAAC,KAAK,CAAC,gBAAgB,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC;IAC3E,OAAO,QAAQ,EAAE,QAAQ,CAAC;AAC5B,CAAC;AAED,SAAS,YAAY,CAAC,WAAgC,EAAE,MAAc,EAAE,QAA4B;IAClG,MAAM,QAAQ,GAAG,cAAc,CAAC,WAAW,EAAE,MAAM,CAAC,CAAC;IACrD,OAAO,QAAQ,CAAC,CAAC,CAAC,QAAQ,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC;AACnD,CAAC;AAED,sNAAsN;AACtN,SAAS,aAAa,CAAC,SAA4B,EAAE,WAAmB;IACtE,QAAQ,SAAS,CAAC,IAAI,EAAE,CAAC;QACvB,KAAK,OAAO;YACV,OAAO,CAAC,CAAC;QACX,KAAK,aAAa;YAChB,OAAO,SAAS,CAAC,MAAM,CAAC;QAC1B,KAAK,SAAS;YACZ,OAAO,CAAC,SAAS,CAAC,MAAM,GAAG,GAAG,CAAC,GAAG,IAAI,CAAC,GAAG,CAAC,WAAW,CAAC,CAAC;IAC5D,CAAC;AACH,CAAC;AAED,MAAM,0BAA0B,GAAmF;IACjH,8BAA8B;IAC9B,4BAA4B;IAC5B,0BAA0B;IAC1B,4BAA4B;IAC5B,2BAA2B;IAC3B,+BAA+B;IAC/B,wBAAwB;CACzB,CAAC;AAEF,SAAS,QAAQ,CAAC,IAAY;IAC5B,OAAO,0BAA0B,CAAC,IAAI,CAAC,CAAC,MAAM,EAAE,EAAE,CAAE,MAA4B,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC,CAAC;AACnG,CAAC;AAED,SAAS,UAAU,CAAC,CAAS,EAAE,CAAS;IACtC,MAAM,MAAM,GAAG,QAAQ,CAAC,CAAC,CAAC,CAAC;IAC3B,OAAO,MAAM,CAAC,CAAC,CAAE,MAA4B,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC;AACpE,CAAC;AAED,2GAA2G;AAE3G,MAAM,qBAAqB,GAAG,IAAI,GAAG,CAAC;IACpC,gBAAgB;IAChB,oBAAoB;IACpB,2BAA2B;IAC3B,wBAAwB;IACxB,mBAAmB;IACnB,2BAA2B;IAC3B,oBAAoB;IACpB,8BAA8B;IAC9B,0BAA0B;IAC1B,4BAA4B;IAC5B,sCAAsC;CACvC,CAAC,CAAC;AAEH,SAAS,oBAAoB,CAAC,IAA+B;IAC3D,OAAO,qBAAqB,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;AACzC,CAAC;AAED,SAAS,sBAAsB,CAAC,SAA4B,EAAE,WAAgC,EAAE,KAA8B;IAC5H,QAAQ,SAAS,CAAC,IAAI,EAAE,CAAC;QACvB,KAAK,gBAAgB,CAAC,CAAC,CAAC;YACtB,MAAM,OAAO,GAAG,aAAa,CAAC,WAAW,EAAE,SAAS,CAAC,MAAM,CAAC,CAAC;YAC7D,OAAO,OAAO,KAAK,SAAS,CAAC,CAAC,CAAC,aAAa,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,MAAM,CAAC;QAC3E,CAAC;QACD,KAAK,oBAAoB,CAAC,CAAC,CAAC;YAC1B,MAAM,IAAI,GAAG,cAAc,CAAC,WAAW,EAAE,SAAS,CAAC,MAAM,CAAC,CAAC;YAC3D,MAAM,IAAI,GAAG,SAAS,CAAC,IAAI,IAAI,MAAM,CAAC;YACtC,MAAM,eAAe,GAAG,IAAI,KAAK,YAAY,IAAI,IAAI,KAAK,MAAM,CAAC;YACjE,MAAM,aAAa,GAAG,IAAI,KAAK,UAAU,IAAI,IAAI,KAAK,MAAM,CAAC;YAC7D,IAAI,CAAC,eAAe,IAAI,IAAI,CAAC,UAAU,KAAK,aAAa,CAAC,IAAI,CAAC,aAAa,IAAI,IAAI,CAAC,QAAQ,KAAK,aAAa,CAAC;gBAAE,OAAO,aAAa,CAAC;YACvI,MAAM,OAAO,GAAG,CAAC,eAAe,IAAI,IAAI,CAAC,UAAU,KAAK,SAAS,CAAC,IAAI,CAAC,aAAa,IAAI,IAAI,CAAC,QAAQ,KAAK,SAAS,CAAC,CAAC;YACrH,OAAO,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,MAAM,CAAC;QACnC,CAAC;QACD,KAAK,2BAA2B,CAAC,CAAC,CAAC;YACjC,MAAM,QAAQ,GAAG,cAAc,CAAC,WAAW,EAAE,SAAS,CAAC,MAAM,CAAC,CAAC;YAC/D,IAAI,CAAC,QAAQ;gBAAE,OAAO,aAAa,CAAC;YACpC,IAAI,SAAS,CAAC,KAAK,KAAK,SAAS,IAAI,QAAQ,CAAC,KAAK,GAAG,SAAS,CAAC,KAAK;gBAAE,OAAO,MAAM,CAAC;YACrF,IAAI,SAAS,CAAC,KAAK,KAAK,SAAS,IAAI,QAAQ,CAAC,KAAK,GAAG,SAAS,CAAC,KAAK;gBAAE,OAAO,MAAM,CAAC;YACrF,OAAO,MAAM,CAAC;QAChB,CAAC;QACD,KAAK,wBAAwB,CAAC,CAAC,CAAC;YAC9B,MAAM,IAAI,GAAG,gBAAgB,CAAC,KAAK,EAAE,SAAS,CAAC,OAAO,EAAE,SAAS,CAAC,OAAO,EAAE,0BAA0B,CAAC;gBACpG,gBAAgB,CAAC,KAAK,EAAE,SAAS,CAAC,OAAO,EAAE,SAAS,CAAC,OAAO,EAAE,0BAA0B,CAAC,CAAC;YAC5F,IAAI,CAAC,IAAI;gBAAE,OAAO,aAAa,CAAC;YAChC,OAAO,IAAI,KAAK,kBAAkB,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,MAAM,CAAC;QACvD,CAAC;QACD,KAAK,mBAAmB,CAAC,CAAC,CAAC;YACzB,MAAM,MAAM,GAAG,gBAAgB,CAAC,KAAK,EAAE,SAAS,CAAC,OAAO,EAAE,SAAS,CAAC,OAAO,EAAE,4BAA4B,CAAC,CAAC;YAC3G,IAAI,MAAM;gBAAE,OAAO,MAAM,KAAK,YAAY,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,MAAM,CAAC;YAC7D,MAAM,QAAQ,GAAG,gBAAgB,CAAC,KAAK,EAAE,SAAS,CAAC,OAAO,EAAE,SAAS,CAAC,OAAO,EAAE,4BAA4B,CAAC,CAAC;YAC7G,IAAI,QAAQ;gBAAE,OAAO,QAAQ,KAAK,eAAe,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,MAAM,CAAC;YACpE,OAAO,aAAa,CAAC;QACvB,CAAC;QACD,KAAK,2BAA2B,CAAC,CAAC,CAAC;YACjC,MAAM,IAAI,GAAG,gBAAgB,CAAC,KAAK,EAAE,SAAS,CAAC,OAAO,EAAE,SAAS,CAAC,OAAO,EAAE,+BAA+B,CAAC,CAAC;YAC5G,IAAI,IAAI;gBAAE,OAAO,MAAM,CAAC;YACxB,MAAM,cAAc,GAAG,cAAc,CAAC,WAAW,EAAE,SAAS,CAAC,OAAO,CAAC,KAAK,SAAS,IAAI,cAAc,CAAC,WAAW,EAAE,SAAS,CAAC,OAAO,CAAC,KAAK,SAAS,CAAC;YACpJ,OAAO,cAAc,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,aAAa,CAAC;QACjD,CAAC;QACD,KAAK,oBAAoB,CAAC,CAAC,CAAC;YAC1B,MAAM,IAAI,GAAG,gBAAgB,CAAC,KAAK,EAAE,SAAS,CAAC,MAAM,EAAE,SAAS,CAAC,SAAS,EAAE,2BAA2B,CAAC,CAAC;YACzG,IAAI,CAAC,IAAI;gBAAE,OAAO,aAAa,CAAC;YAChC,OAAO,IAAI,KAAK,aAAa,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,MAAM,CAAC;QAClD,CAAC;QACD,KAAK,8BAA8B,CAAC,CAAC,CAAC;YACpC,MAAM,IAAI,GAAG,KAAK,CAAC,iBAAiB,CAAC,CAAC,CAAC,EAAE,IAAI,CAAC;YAC9C,IAAI,CAAC,IAAI;gBAAE,OAAO,aAAa,CAAC;YAChC,OAAO,IAAI,KAAK,8BAA8B,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,MAAM,CAAC;QACnE,CAAC;QACD,KAAK,0BAA0B,CAAC,CAAC,CAAC;YAChC,MAAM,KAAK,GAAG,aAAa,CAAC,WAAW,CAAC,CAAC;YACzC,IAAI,CAAC,KAAK;gBAAE,OAAO,aAAa,CAAC;YACjC,OAAO,KAAK,CAAC,IAAI,KAAK,UAAU,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,MAAM,CAAC;QACrD,CAAC;QACD,KAAK,4BAA4B,CAAC,CAAC,CAAC;YAClC,MAAM,KAAK,GAAG,aAAa,CAAC,WAAW,CAAC,CAAC;YACzC,IAAI,CAAC,KAAK;gBAAE,OAAO,aAAa,CAAC;YACjC,OAAO,KAAK,CAAC,IAAI,KAAK,QAAQ,IAAI,KAAK,CAAC,MAAM,KAAK,SAAS,CAAC,MAAM,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,MAAM,CAAC;QACxF,CAAC;QACD,KAAK,sCAAsC,CAAC,CAAC,CAAC;YAC5C,MAAM,QAAQ,GAAG,uBAAuB,CAAC,WAAW,EAAE,SAAS,CAAC,MAAM,CAAC,CAAC;YACxE,IAAI,CAAC,QAAQ;gBAAE,OAAO,aAAa,CAAC;YACpC,OAAO,QAAQ,KAAK,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,MAAM,CAAC;QAChD,CAAC;QACD;YACE,OAAO,aAAa,CAAC;IACzB,CAAC;AACH,CAAC;AAED,mFAAmF;AAEnF,SAAS,6BAA6B,CAAC,SAAyE,EAAE,GAAgB;IAChI,MAAM,EAAE,gBAAgB,EAAE,aAAa,EAAE,aAAa,EAAE,GAAG,SAAS,CAAC;IACrE,MAAM,WAAW,GAAI,6BAAmD,CAAC,QAAQ,CAAC,gBAAgB,CAAC,CAAC;IACpG,IAAI,WAAW,EAAE,CAAC;QAChB,MAAM,OAAO,GAAG,GAAG,CAAC,UAAU,CAAC,mBAAmB,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,KAAK,KAAK,MAAM,CAAC,CAAC;QACnF,IAAI,OAAO;YAAE,OAAO,MAAM,CAAC;QAC3B,MAAM,SAAS,GAAG,GAAG,CAAC,UAAU,CAAC,kBAAkB,CAAC,iBAAiB,CAAC,CAAC,CAAC,EAAE,IAAI,CAAC;QAC/E,OAAO,SAAS,KAAK,gBAAgB,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,aAAa,CAAC;IACjE,CAAC;IACD,IAAI,CAAC,aAAa,IAAI,CAAC,aAAa;QAAE,OAAO,aAAa,CAAC;IAC3D,MAAM,OAAO,GAAG,GAAG,CAAC,UAAU,CAAC,mBAAmB,CAAC,IAAI,CACrD,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,KAAK,KAAK,UAAU,IAAI,CAAC,CAAC,aAAa,KAAK,aAAa,IAAI,CAAC,CAAC,aAAa,KAAK,aAAa,IAAI,UAAU,CAAC,CAAC,CAAC,IAAI,EAAE,gBAAgB,CAAC,CAChJ,CAAC;IACF,IAAI,OAAO;QAAE,OAAO,MAAM,CAAC;IAC3B,MAAM,MAAM,GAAG,QAAQ,CAAC,gBAAgB,CAAC,CAAC;IAC1C,IAAI,CAAC,MAAM;QAAE,OAAO,aAAa,CAAC;IAClC,MAAM,SAAS,GAAG,gBAAgB,CAAC,GAAG,CAAC,UAAU,CAAC,kBAAkB,EAAE,aAAa,EAAE,aAAa,EAAE,MAAM,CAAC,CAAC;IAC5G,OAAO,SAAS,KAAK,gBAAgB,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,aAAa,CAAC;AACjE,CAAC;AAED,SAAS,yBAAyB,CAAC,SAAsF,EAAE,GAAgB;IACzI,MAAM,MAAM,GAAG,YAAY,CAAC,GAAG,CAAC,MAAM,EAAE,SAAS,CAAC,MAAM,EAAE,SAAS,CAAC,QAAQ,CAAC,CAAC;IAC9E,MAAM,KAAK,GAAG,YAAY,CAAC,GAAG,CAAC,KAAK,EAAE,SAAS,CAAC,MAAM,EAAE,SAAS,CAAC,QAAQ,CAAC,CAAC;IAC5E,IAAI,MAAM,KAAK,SAAS,IAAI,KAAK,KAAK,SAAS;QAAE,OAAO,aAAa,CAAC;IACtE,MAAM,eAAe,GAAG,aAAa,CAAC,SAAS,CAAC,SAAS,EAAE,MAAM,CAAC,CAAC;IACnE,OAAO,IAAI,CAAC,GAAG,CAAC,KAAK,GAAG,MAAM,CAAC,IAAI,eAAe,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,MAAM,CAAC;AACvE,CAAC;AAED,6IAA6I;AAC7I,SAAS,2BAA2B,CAClC,SAA4F,EAC5F,GAAgB,EAChB,SAAkB;IAElB,MAAM,MAAM,GAAG,YAAY,CAAC,GAAG,CAAC,MAAM,EAAE,SAAS,CAAC,MAAM,EAAE,SAAS,CAAC,QAAQ,CAAC,CAAC;IAC9E,MAAM,KAAK,GAAG,YAAY,CAAC,GAAG,CAAC,KAAK,EAAE,SAAS,CAAC,MAAM,EAAE,SAAS,CAAC,QAAQ,CAAC,CAAC;IAC5E,IAAI,MAAM,KAAK,SAAS,IAAI,KAAK,KAAK,SAAS;QAAE,OAAO,aAAa,CAAC;IACtE,MAAM,KAAK,GAAG,KAAK,GAAG,MAAM,CAAC;IAC7B,MAAM,SAAS,GAAG,SAAS,CAAC,cAAc,IAAI,CAAC,CAAC;IAChD,MAAM,SAAS,GAAG,SAAS,CAAC,IAAI,KAAK,oBAAoB,CAAC;IAC1D,MAAM,SAAS,GAAG,SAAS,CAAC,CAAC,CAAC,KAAK,GAAG,SAAS,CAAC,CAAC,CAAC,KAAK,GAAG,CAAC,SAAS,CAAC;IACrE,IAAI,SAAS;QAAE,OAAO,MAAM,CAAC;IAC7B,IAAI,CAAC,SAAS;QAAE,OAAO,MAAM,CAAC;IAC9B,MAAM,aAAa,GAAG,SAAS,CAAC,CAAC,CAAC,KAAK,GAAG,CAAC,CAAC,CAAC,CAAC,KAAK,GAAG,CAAC,CAAC;IACxD,OAAO,aAAa,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,MAAM,CAAC;AACzC,CAAC;AAED,SAAS,uBAAuB,CAAC,SAA4B,EAAE,IAAc,EAAE,GAAgB;IAC7F,QAAQ,SAAS,CAAC,IAAI,EAAE,CAAC;QACvB,KAAK,wBAAwB;YAC3B,OAAO,6BAA6B,CAAC,SAAS,EAAE,GAAG,CAAC,CAAC;QACvD,KAAK,qCAAqC;YACxC,OAAO,yBAAyB,CAAC,SAAS,EAAE,GAAG,CAAC,CAAC;QACnD,KAAK,oBAAoB,CAAC;QAC1B,KAAK,oBAAoB;YACvB,OAAO,2BAA2B,CAAC,SAAS,EAAE,GAAG,EAAE,IAAI,KAAK,WAAW,CAAC,CAAC;QAC3E;YACE,OAAO,sBAAsB,CAAC,SAAS,EAAE,GAAG,CAAC,KAAK,EAAE,GAAG,CAAC,UAAU,CAAC,kBAAkB,CAAC,CAAC;IAC3F,CAAC;AACH,CAAC;AAED,mFAAmF;AAEnF,SAAS,UAAU,CAAC,QAAqC,EAAE,aAAgD;IACzG,IAAI,QAAQ,KAAK,oBAAoB;QAAE,OAAO,aAAa,KAAK,WAAW,CAAC,CAAC,CAAC,WAAW,CAAC,CAAC,CAAC,UAAU,CAAC;IACvG,IAAI,QAAQ,KAAK,WAAW;QAAE,OAAO,WAAW,CAAC;IACjD,OAAO,SAAS,CAAC;AACnB,CAAC;AAED,SAAS,cAAc,CAAC,QAAgB,EAAE,MAAuB,EAAE,kBAAuC;IACxG,IAAI,MAAM,KAAK,aAAa,EAAE,CAAC;QAC7B,OAAO,EAAE,QAAQ,EAAE,MAAM,EAAE,aAAa,EAAE,MAAM,EAAE,mEAAmE,EAAE,kBAAkB,EAAE,CAAC;IAC9I,CAAC;IACD,OAAO,EAAE,QAAQ,EAAE,MAAM,EAAE,kBAAkB,EAAE,CAAC;AAClD,CAAC;AAED;;;;;;;GAOG;AACH,SAAS,cAAc,CAAC,QAAgB,EAAE,SAA4B,EAAE,IAAc,EAAE,GAAgB,EAAE,kBAAuC;IAC/I,IAAI,IAAI,KAAK,WAAW,IAAI,oBAAoB,CAAC,SAAS,CAAC,IAAI,CAAC,EAAE,CAAC;QACjE,MAAM,cAAc,GAAG,sBAAsB,CAAC,SAAS,EAAE,GAAG,CAAC,MAAM,EAAE,GAAG,CAAC,UAAU,CAAC,mBAAmB,CAAC,CAAC;QACzG,IAAI,cAAc,KAAK,MAAM,EAAE,CAAC;YAC9B,OAAO;gBACL,QAAQ;gBACR,MAAM,EAAE,aAAa;gBACrB,MAAM,EAAE,8HAA8H;gBACtI,kBAAkB;aACnB,CAAC;QACJ,CAAC;IACH,CAAC;IACD,MAAM,MAAM,GAAG,uBAAuB,CAAC,SAAS,EAAE,IAAI,EAAE,GAAG,CAAC,CAAC;IAC7D,OAAO,cAAc,CAAC,QAAQ,EAAE,MAAM,EAAE,kBAAkB,CAAC,CAAC;AAC9D,CAAC;AAED,oFAAoF;AAEpF,SAAS,uBAAuB,CAAC,CAAoB;IACnD,IAAI,CAAC,CAAC,IAAI,KAAK,qCAAqC,IAAI,CAAC,CAAC,IAAI,KAAK,oBAAoB,IAAI,CAAC,CAAC,IAAI,KAAK,oBAAoB,EAAE,CAAC;QAC3H,OAAO,EAAE,MAAM,EAAE,CAAC,CAAC,MAAM,EAAE,QAAQ,EAAE,CAAC,CAAC,QAAQ,EAAE,CAAC;IACpD,CAAC;IACD,OAAO,SAAS,CAAC;AACnB,CAAC;AAED,SAAS,WAAW,CAAC,CAAoB;IACvC,IAAI,CAAC,CAAC,IAAI,KAAK,qCAAqC;QAAE,OAAO,WAAW,CAAC;IACzE,IAAI,CAAC,CAAC,IAAI,KAAK,oBAAoB;QAAE,OAAO,UAAU,CAAC;IACvD,IAAI,CAAC,CAAC,IAAI,KAAK,oBAAoB;QAAE,OAAO,UAAU,CAAC;IACvD,OAAO,SAAS,CAAC;AACnB,CAAC;AAED;;;;;;GAMG;AACH,SAAS,kBAAkB,CAAC,CAAoB,EAAE,CAAoB;IACpE,MAAM,EAAE,GAAG,uBAAuB,CAAC,CAAC,CAAC,CAAC;IACtC,MAAM,EAAE,GAAG,uBAAuB,CAAC,CAAC,CAAC,CAAC;IACtC,IAAI,CAAC,EAAE,IAAI,CAAC,EAAE;QAAE,OAAO,KAAK,CAAC;IAC7B,IAAI,EAAE,CAAC,MAAM,KAAK,EAAE,CAAC,MAAM,IAAI,EAAE,CAAC,QAAQ,KAAK,EAAE,CAAC,QAAQ;QAAE,OAAO,KAAK,CAAC;IACzE,MAAM,EAAE,GAAG,WAAW,CAAC,CAAC,CAAC,CAAC;IAC1B,MAAM,EAAE,GAAG,WAAW,CAAC,CAAC,CAAC,CAAC;IAC1B,OAAO,EAAE,KAAK,SAAS,IAAI,EAAE,KAAK,SAAS,IAAI,EAAE,KAAK,EAAE,CAAC;AAC3D,CAAC;AAED,mFAAmF;AAEnF,SAAS,2BAA2B,CAAC,IAA0B,EAAE,MAAyE,EAAE,CAAS,EAAE,CAAS;IAC9J,IAAI,IAAI,CAAC,OAAO,CAAC,IAAI,KAAK,cAAc;QAAE,OAAO,KAAK,CAAC;IACvD,IAAI,CAAE,MAA4B,CAAC,QAAQ,CAAC,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC;QAAE,OAAO,KAAK,CAAC;IAC7E,MAAM,EAAE,aAAa,EAAE,aAAa,EAAE,GAAG,IAAI,CAAC,OAAO,CAAC;IACtD,OAAO,CAAC,aAAa,KAAK,CAAC,IAAI,aAAa,KAAK,CAAC,CAAC,IAAI,CAAC,aAAa,KAAK,CAAC,IAAI,aAAa,KAAK,CAAC,CAAC,CAAC;AACtG,CAAC;AAED;;;;;;;;;GASG;AACH,SAAS,8BAA8B,CAAC,SAA4B,EAAE,IAA0B;IAC9F,QAAQ,SAAS,CAAC,IAAI,EAAE,CAAC;QACvB,KAAK,gBAAgB;YACnB,OAAO,IAAI,CAAC,OAAO,CAAC,IAAI,KAAK,QAAQ,IAAI,IAAI,CAAC,OAAO,CAAC,MAAM,KAAK,SAAS,CAAC,MAAM,IAAI,CAAC,IAAI,CAAC,IAAI,KAAK,oBAAoB,IAAI,IAAI,CAAC,IAAI,KAAK,UAAU,IAAI,IAAI,CAAC,IAAI,KAAK,aAAa,CAAC,CAAC;QACvL,KAAK,oBAAoB;YACvB,OAAO,CACL,IAAI,CAAC,OAAO,CAAC,IAAI,KAAK,QAAQ;gBAC9B,IAAI,CAAC,OAAO,CAAC,MAAM,KAAK,SAAS,CAAC,MAAM;gBACxC,CAAC,IAAI,CAAC,IAAI,KAAK,kBAAkB,IAAI,IAAI,CAAC,IAAI,KAAK,6BAA6B,IAAI,IAAI,CAAC,IAAI,KAAK,2BAA2B,CAAC,CAC/H,CAAC;QACJ,KAAK,2BAA2B;YAC9B,OAAO,IAAI,CAAC,OAAO,CAAC,IAAI,KAAK,QAAQ,IAAI,IAAI,CAAC,OAAO,CAAC,MAAM,KAAK,SAAS,CAAC,MAAM,IAAI,IAAI,CAAC,IAAI,KAAK,SAAS,CAAC;QAC/G,KAAK,qCAAqC,CAAC;QAC3C,KAAK,oBAAoB,CAAC;QAC1B,KAAK,oBAAoB,CAAC,CAAC,CAAC;YAC1B,IAAI,IAAI,CAAC,OAAO,CAAC,IAAI,KAAK,QAAQ,IAAI,IAAI,CAAC,OAAO,CAAC,MAAM,KAAK,SAAS,CAAC,MAAM;gBAAE,OAAO,KAAK,CAAC;YAC7F,MAAM,kBAAkB,GAAG,SAAS,CAAC,QAAQ,KAAK,GAAG,IAAI,SAAS,CAAC,QAAQ,KAAK,GAAG,CAAC;YACpF,OAAO,kBAAkB,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,KAAK,OAAO,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,KAAK,SAAS,CAAC;QAC9E,CAAC;QACD,KAAK,wBAAwB;YAC3B,OAAO,2BAA2B,CAAC,IAAI,EAAE,0BAA0B,EAAE,SAAS,CAAC,OAAO,EAAE,SAAS,CAAC,OAAO,CAAC,CAAC;QAC7G,KAAK,mBAAmB;YACtB,OAAO,2BAA2B,CAAC,IAAI,EAAE,4BAA4B,EAAE,SAAS,CAAC,OAAO,EAAE,SAAS,CAAC,OAAO,CAAC,CAAC;QAC/G,KAAK,2BAA2B;YAC9B,OAAO,2BAA2B,CAAC,IAAI,EAAE,+BAA+B,EAAE,SAAS,CAAC,OAAO,EAAE,SAAS,CAAC,OAAO,CAAC,CAAC;QAClH,KAAK,oBAAoB;YACvB,OAAO,2BAA2B,CAAC,IAAI,EAAE,2BAA2B,EAAE,SAAS,CAAC,MAAM,EAAE,SAAS,CAAC,SAAS,CAAC,CAAC;QAC/G,KAAK,wBAAwB,CAAC,CAAC,CAAC;YAC9B,IAAI,IAAI,CAAC,OAAO,CAAC,IAAI,KAAK,cAAc;gBAAE,OAAO,KAAK,CAAC;YACvD,IAAI,CAAC,UAAU,CAAC,IAAI,CAAC,OAAO,CAAC,IAAI,EAAE,SAAS,CAAC,gBAAgB,CAAC;gBAAE,OAAO,KAAK,CAAC;YAC7E,IAAI,SAAS,CAAC,aAAa,IAAI,IAAI,CAAC,OAAO,CAAC,aAAa,KAAK,SAAS,CAAC,aAAa;gBAAE,OAAO,KAAK,CAAC;YACpG,IAAI,SAAS,CAAC,aAAa,IAAI,IAAI,CAAC,OAAO,CAAC,aAAa,KAAK,SAAS,CAAC,aAAa;gBAAE,OAAO,KAAK,CAAC;YACpG,OAAO,IAAI,CAAC;QACd,CAAC;QACD,KAAK,8BAA8B;YACjC,OAAO,IAAI,CAAC,IAAI,KAAK,mBAAmB,IAAI,CAAC,IAAI,CAAC,OAAO,CAAC,IAAI,KAAK,cAAc,IAAK,wBAA8C,CAAC,QAAQ,CAAC,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC;QACpK,KAAK,0BAA0B,CAAC;QAChC,KAAK,4BAA4B;YAC/B,OAAO,IAAI,CAAC,IAAI,KAAK,sBAAsB,CAAC;QAC9C,KAAK,sCAAsC;YACzC,OAAO,KAAK,CAAC;QACf;YACE,OAAO,KAAK,CAAC;IACjB,CAAC;AACH,CAAC;AAED,SAAS,wBAAwB,CAAC,IAA0B;IAC1D,OAAO,EAAE,cAAc,EAAE,YAAY,EAAE,OAAO,EAAE,IAAI,CAAC,OAAO,EAAE,cAAc,EAAE,IAAI,CAAC,IAAI,EAAE,kBAAkB,EAAE,IAAI,CAAC,QAAQ,EAAE,CAAC;AAC/H,CAAC;AAED,qFAAqF;AAErF;;;;;;;;;;;;GAYG;AACH,MAAM,UAAU,wBAAwB,CAAC,KAAsC;IAC7E,MAAM,EAAE,MAAM,EAAE,KAAK,EAAE,UAAU,EAAE,QAAQ,EAAE,MAAM,EAAE,GAAG,KAAK,CAAC;IAE9D,MAAM,gBAAgB,GAAG,0BAA0B,CAAC,MAAM,CAAC,CAAC;IAC5D,IAAI,CAAC,gBAAgB,CAAC,KAAK;QAAE,OAAO,EAAE,EAAE,EAAE,KAAK,EAAE,MAAM,EAAE,0CAA0C,gBAAgB,CAAC,MAAM,EAAE,EAAE,CAAC;IAC/H,MAAM,eAAe,GAAG,0BAA0B,CAAC,KAAK,CAAC,CAAC;IAC1D,IAAI,CAAC,eAAe,CAAC,KAAK;QAAE,OAAO,EAAE,EAAE,EAAE,KAAK,EAAE,MAAM,EAAE,yCAAyC,eAAe,CAAC,MAAM,EAAE,EAAE,CAAC;IAC5H,MAAM,oBAAoB,GAAG,yBAAyB,CAAC,UAAU,CAAC,CAAC;IACnE,IAAI,CAAC,oBAAoB,CAAC,KAAK;QAAE,OAAO,EAAE,EAAE,EAAE,KAAK,EAAE,MAAM,EAAE,kCAAkC,oBAAoB,CAAC,MAAM,EAAE,EAAE,CAAC;IAC/H,MAAM,kBAAkB,GAAG,iCAAiC,CAAC,QAAQ,CAAC,CAAC;IACvE,IAAI,CAAC,kBAAkB,CAAC,KAAK;QAAE,OAAO,EAAE,EAAE,EAAE,KAAK,EAAE,MAAM,EAAE,0CAA0C,kBAAkB,CAAC,MAAM,EAAE,EAAE,CAAC;IACnI,MAAM,gBAAgB,GAAG,wBAAwB,CAAC,MAAM,CAAC,CAAC;IAC1D,IAAI,CAAC,gBAAgB,CAAC,KAAK;QAAE,OAAO,EAAE,EAAE,EAAE,KAAK,EAAE,MAAM,EAAE,iCAAiC,gBAAgB,CAAC,MAAM,EAAE,EAAE,CAAC;IAEtH,IAAI,UAAU,CAAC,MAAM,CAAC,aAAa,KAAK,MAAM,CAAC,aAAa,EAAE,CAAC;QAC7D,OAAO,EAAE,EAAE,EAAE,KAAK,EAAE,MAAM,EAAE,gFAAgF,EAAE,CAAC;IACjH,CAAC;IACD,IAAI,UAAU,CAAC,KAAK,CAAC,aAAa,KAAK,KAAK,CAAC,aAAa,EAAE,CAAC;QAC3D,OAAO,EAAE,EAAE,EAAE,KAAK,EAAE,MAAM,EAAE,8EAA8E,EAAE,CAAC;IAC/G,CAAC;IAED,MAAM,iBAAiB,GAAG,IAAI,GAAG,CAAC,QAAQ,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC;IAC3E,MAAM,aAAa,GAAG,IAAI,GAAG,EAAU,CAAC;IACxC,KAAK,MAAM,CAAC,IAAI,MAAM,CAAC,OAAO,EAAE,CAAC;QAC/B,KAAK,MAAM,EAAE,IAAI,CAAC,CAAC,2BAA2B,IAAI,EAAE,EAAE,CAAC;YACrD,IAAI,iBAAiB,CAAC,GAAG,CAAC,EAAE,CAAC;gBAAE,aAAa,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;QACvD,CAAC;IACH,CAAC;IACD,MAAM,cAAc,GAAqB,QAAQ,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,aAAa,CAAC,GAAG,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC;IACxG,MAAM,uBAAuB,GAAG,cAAc,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC;IAEtE,IAAI,UAAU,CAAC,aAAa,CAAC,KAAK,KAAK,cAAc,EAAE,CAAC;QACtD,MAAM,aAAa,GAA6B;YAC9C,GAAG,cAAc,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,cAAc,CAAC,CAAC,CAAC,QAAQ,EAAE,aAAa,EAAE,CAAC,CAAC,kBAAkB,CAAC,CAAC;YAC7F,GAAG,MAAM,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,cAAc,CAAC,CAAC,CAAC,QAAQ,EAAE,aAAa,EAAE,CAAC,CAAC,kBAAkB,CAAC,CAAC;SAC9F,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,MAAM,KAAK,aAAa,CAAC,CAAC,CAAC,EAAE,GAAG,CAAC,EAAE,MAAM,EAAE,2EAA2E,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;QAC/I,OAAO;YACL,EAAE,EAAE,IAAI;YACR,UAAU,EAAE,EAAE,cAAc,EAAE,MAAM,EAAE,uBAAuB,EAAE,2BAA2B,EAAE,CAAC,GAAG,aAAa,CAAC,EAAE,aAAa,EAAE,iBAAiB,EAAE,EAAE,EAAE;SACvJ,CAAC;IACJ,CAAC;IAED,MAAM,GAAG,GAAgB,EAAE,MAAM,EAAE,KAAK,EAAE,UAAU,EAAE,CAAC;IACvD,MAAM,aAAa,GAA6B,EAAE,CAAC;IAEnD,KAAK,MAAM,CAAC,IAAI,cAAc,EAAE,CAAC;QAC/B,MAAM,iBAAiB,GAAG,MAAM,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,2BAA2B,IAAI,EAAE,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,QAAQ,CAAC,IAAI,kBAAkB,CAAC,CAAC,CAAC,SAAS,EAAE,EAAE,CAAC,SAAS,CAAC,CAAC,CAAC;QACrK,IAAI,iBAAiB,EAAE,CAAC;YACtB,MAAM,MAAM,GAAG,oBAAoB,CAAC,CAAC,QAAQ,4BAA4B,iBAAiB,CAAC,QAAQ,wFAAwF,CAAC;YAC5L,aAAa,CAAC,IAAI,CAAC,EAAE,QAAQ,EAAE,CAAC,CAAC,QAAQ,EAAE,MAAM,EAAE,UAAU,EAAE,MAAM,EAAE,oBAAoB,EAAE,CAAC,CAAC,CAAC,QAAQ,EAAE,iBAAiB,CAAC,QAAQ,CAAC,EAAE,kBAAkB,EAAE,CAAC,CAAC,kBAAkB,EAAE,CAAC,CAAC;YACnL,SAAS;QACX,CAAC;QACD,aAAa,CAAC,IAAI,CAAC,cAAc,CAAC,CAAC,CAAC,QAAQ,EAAE,CAAC,CAAC,SAAS,EAAE,WAAW,EAAE,GAAG,EAAE,CAAC,CAAC,kBAAkB,CAAC,CAAC,CAAC;IACtG,CAAC;IAED,KAAK,MAAM,CAAC,IAAI,MAAM,CAAC,OAAO,EAAE,CAAC;QAC/B,MAAM,WAAW,GAAG,CAAC,CAAC,CAAC,2BAA2B,IAAI,EAAE,CAAC,CAAC,MAAM,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,CAAC,iBAAiB,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC,CAAC;QACrG,IAAI,WAAW,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YAC3B,MAAM,MAAM,GAAG,sBAAsB,CAAC,CAAC,QAAQ,2EAA2E,WAAW,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC;YACnJ,aAAa,CAAC,IAAI,CAAC,EAAE,QAAQ,EAAE,CAAC,CAAC,QAAQ,EAAE,MAAM,EAAE,UAAU,EAAE,MAAM,EAAE,oBAAoB,EAAE,CAAC,CAAC,CAAC,QAAQ,EAAE,GAAG,WAAW,CAAC,EAAE,kBAAkB,EAAE,CAAC,CAAC,kBAAkB,EAAE,CAAC,CAAC;YACvK,SAAS;QACX,CAAC;QACD,MAAM,mBAAmB,GAAG,cAAc,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,2BAA2B,IAAI,EAAE,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,QAAQ,CAAC,IAAI,kBAAkB,CAAC,CAAC,CAAC,SAAS,EAAE,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC;QACpK,IAAI,mBAAmB,EAAE,CAAC;YACxB,MAAM,MAAM,GAAG,sBAAsB,CAAC,CAAC,QAAQ,0BAA0B,mBAAmB,CAAC,QAAQ,wFAAwF,CAAC;YAC9L,aAAa,CAAC,IAAI,CAAC,EAAE,QAAQ,EAAE,CAAC,CAAC,QAAQ,EAAE,MAAM,EAAE,UAAU,EAAE,MAAM,EAAE,oBAAoB,EAAE,CAAC,mBAAmB,CAAC,QAAQ,EAAE,CAAC,CAAC,QAAQ,CAAC,EAAE,kBAAkB,EAAE,CAAC,CAAC,kBAAkB,EAAE,CAAC,CAAC;YACrL,SAAS;QACX,CAAC;QACD,MAAM,IAAI,GAAG,UAAU,CAAC,CAAC,CAAC,QAAQ,EAAE,CAAC,CAAC,qBAAqB,CAAC,CAAC;QAC7D,aAAa,CAAC,IAAI,CAAC,cAAc,CAAC,CAAC,CAAC,QAAQ,EAAE,CAAC,CAAC,SAAS,EAAE,IAAI,EAAE,GAAG,EAAE,CAAC,CAAC,kBAAkB,CAAC,CAAC,CAAC;IAC/F,CAAC;IAED,MAAM,kBAAkB,GAAG,CAAC,GAAG,cAAc,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,SAAS,CAAC,EAAE,GAAG,MAAM,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC;IAClH,MAAM,iBAAiB,GAAG,UAAU,CAAC,WAAW,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,kBAAkB,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,8BAA8B,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,wBAAwB,CAAC,CAAC;IAEpK,MAAM,cAAc,GAAmB,aAAa,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,MAAM,KAAK,MAAM,CAAC,IAAI,iBAAiB,CAAC,MAAM,KAAK,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,MAAM,CAAC;IAE3I,OAAO;QACL,EAAE,EAAE,IAAI;QACR,UAAU,EAAE,EAAE,cAAc,EAAE,uBAAuB,EAAE,2BAA2B,EAAE,CAAC,GAAG,aAAa,CAAC,EAAE,aAAa,EAAE,iBAAiB,EAAE;KAC3I,CAAC;AACJ,CAAC"}

package/dist/domain/frontendContractEvaluationArtifact.d.ts

@@ -0,0 +1,65 @@
+import { PRODUCER_NAME } from './schema.js';
+import type { ClauseEvaluationResult, OverallVerdict, FrontendContractObservationReference } from './frontendContracts.js';
+import type { UnexpectedChangeResult } from './frontendContractEvaluation.js';
+export declare const EVALUATION_ARTIFACT_KIND: "my-frontend-observer/frontend-contract-evaluation";
+export declare const EVALUATION_SCHEMA_VERSION: "1.0.0";
+/** Enough logical identity to trace an evaluation back to its authoritative baseline/per-change contract without embedding either in full. */
+export interface FrontendContractEvaluationSourceReference {
+    baselineId: string;
+    contractId: string;
+}
+export interface FrontendContractEvaluationArtifact {
+    artifactKind: typeof EVALUATION_ARTIFACT_KIND;
+    schemaVersion: typeof EVALUATION_SCHEMA_VERSION;
+    evaluationId: string;
+    evaluationRequestId: string;
+    producer: {
+        name: typeof PRODUCER_NAME;
+        version: string;
+    };
+    provenance: {
+        evaluatedAt: string;
+    };
+    contracts: FrontendContractEvaluationSourceReference;
+    before: FrontendContractObservationReference;
+    after: FrontendContractObservationReference;
+    comparisonId: string;
+    comparisonRequestId: string;
+    overallVerdict: OverallVerdict;
+    activeBaselineClauseIds: string[];
+    supersededBaselineClauseIds: string[];
+    clauseResults: ClauseEvaluationResult[];
+    unexpectedChanges: UnexpectedChangeResult[];
+}
+export type FrontendContractEvaluationArtifactValidationResult = {
+    valid: true;
+} | {
+    valid: false;
+    reason: string;
+};
+export declare function isValidFrontendContractEvaluationArtifact(value: unknown): FrontendContractEvaluationArtifactValidationResult;
+/**
+ * Pure assembly of the persistence envelope around an already-computed
+ * `FrontendContractEvaluationResult` (from `evaluateFrontendContract`) - never
+ * recomputes or reinterprets the evaluation. Callers (the application layer)
+ * supply the fresh `evaluationId`/`evaluationRequestId` from
+ * `frontendContractIdentity.ts` and the `evaluatedAt` timestamp.
+ */
+export interface BuildFrontendContractEvaluationArtifactInput {
+    evaluationId: string;
+    evaluationRequestId: string;
+    producerVersion: string;
+    evaluatedAt: string;
+    baselineId: string;
+    contractId: string;
+    before: FrontendContractObservationReference;
+    after: FrontendContractObservationReference;
+    comparisonId: string;
+    comparisonRequestId: string;
+    overallVerdict: OverallVerdict;
+    activeBaselineClauseIds: string[];
+    supersededBaselineClauseIds: string[];
+    clauseResults: ClauseEvaluationResult[];
+    unexpectedChanges: UnexpectedChangeResult[];
+}
+export declare function buildFrontendContractEvaluationArtifact(input: BuildFrontendContractEvaluationArtifactInput): FrontendContractEvaluationArtifact;