my-frontend-observer 0.2.0 → 0.4.0
This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.
- package/CHANGELOG.md +102 -0
- package/README.md +51 -13
- package/dist/application/comparisonService.d.ts +56 -0
- package/dist/application/comparisonService.js +77 -0
- package/dist/application/comparisonService.js.map +1 -0
- package/dist/application/observationPersistence.js +1 -0
- package/dist/application/observationPersistence.js.map +1 -1
- package/dist/artifacts/artifactReader.d.ts +19 -0
- package/dist/artifacts/artifactReader.js +36 -0
- package/dist/artifacts/artifactReader.js.map +1 -0
- package/dist/artifacts/comparisonArtifactWriter.d.ts +41 -0
- package/dist/artifacts/comparisonArtifactWriter.js +67 -0
- package/dist/artifacts/comparisonArtifactWriter.js.map +1 -0
- package/dist/browser/chromiumAdapter.js +58 -4
- package/dist/browser/chromiumAdapter.js.map +1 -1
- package/dist/browser/evidenceCapture.d.ts +29 -2
- package/dist/browser/evidenceCapture.js +43 -19
- package/dist/browser/evidenceCapture.js.map +1 -1
- package/dist/browser/scrollCapture.d.ts +32 -0
- package/dist/browser/scrollCapture.js +163 -0
- package/dist/browser/scrollCapture.js.map +1 -0
- package/dist/browser/types.d.ts +3 -1
- package/dist/cli.js +299 -2
- package/dist/cli.js.map +1 -1
- package/dist/domain/comparison.d.ts +198 -0
- package/dist/domain/comparison.js +324 -0
- package/dist/domain/comparison.js.map +1 -0
- package/dist/domain/comparisonEngine.d.ts +48 -0
- package/dist/domain/comparisonEngine.js +694 -0
- package/dist/domain/comparisonEngine.js.map +1 -0
- package/dist/domain/comparisonIdentity.d.ts +13 -0
- package/dist/domain/comparisonIdentity.js +46 -0
- package/dist/domain/comparisonIdentity.js.map +1 -0
- package/dist/domain/evidence.d.ts +2 -0
- package/dist/domain/evidence.js +4 -0
- package/dist/domain/evidence.js.map +1 -1
- package/dist/domain/identity.d.ts +8 -3
- package/dist/domain/identity.js +9 -3
- package/dist/domain/identity.js.map +1 -1
- package/dist/domain/relationships.d.ts +168 -0
- package/dist/domain/relationships.js +343 -0
- package/dist/domain/relationships.js.map +1 -0
- package/dist/domain/schema.d.ts +116 -2
- package/dist/domain/schema.js +186 -2
- package/dist/domain/schema.js.map +1 -1
- package/dist/domain/scrollEvidence.d.ts +51 -0
- package/dist/domain/scrollEvidence.js +134 -0
- package/dist/domain/scrollEvidence.js.map +1 -0
- package/dist/index.d.ts +17 -4
- package/dist/index.js +9 -2
- package/dist/index.js.map +1 -1
- package/dist/request/request.d.ts +29 -0
- package/dist/request/request.js +108 -0
- package/dist/request/request.js.map +1 -1
- package/docs/ARCHITECTURE.md +110 -4
- package/docs/CI_CD.md +62 -6
- package/docs/COMMANDS.md +247 -6
- package/docs/CONTRACTS.md +172 -7
- package/docs/CURRENT_STATE.md +148 -10
- package/docs/DEVELOPMENT.md +52 -12
- package/docs/PROJECT_OVERVIEW.md +18 -11
- package/docs/QUICKSTART.md +7 -1
- package/docs/RELEASE.md +14 -7
- package/docs/ROADMAP.md +9 -0
- package/docs/SECURITY.md +14 -1
- package/docs/WORKFLOWS.md +90 -22
- package/package.json +1 -1
|
@@ -0,0 +1,343 @@
|
|
|
1
|
+
import { isValidObservationArtifact } from './schema.js';
|
|
2
|
+
function isPlainObject(value) {
|
|
3
|
+
return typeof value === 'object' && value !== null && !Array.isArray(value);
|
|
4
|
+
}
|
|
5
|
+
// --- Geometry tolerance -------------------------------------------------------
|
|
6
|
+
/** Suppresses insignificant geometry noise only - never a design contract, never permission for changes. */
|
|
7
|
+
export const GEOMETRY_TOLERANCE_DEFAULT_PX = 0.5;
|
|
8
|
+
export const GEOMETRY_TOLERANCE_MIN_PX = 0;
|
|
9
|
+
export const GEOMETRY_TOLERANCE_MAX_PX = 10;
|
|
10
|
+
export function isValidGeometryTolerancePx(value) {
|
|
11
|
+
return typeof value === 'number' && Number.isFinite(value) && value >= GEOMETRY_TOLERANCE_MIN_PX && value <= GEOMETRY_TOLERANCE_MAX_PX;
|
|
12
|
+
}
|
|
13
|
+
export const HORIZONTAL_ORDER_RELATIONSHIPS = ['left-of', 'right-of', 'horizontally-overlapping'];
|
|
14
|
+
export const VERTICAL_ORDER_RELATIONSHIPS = ['above', 'below', 'vertically-overlapping'];
|
|
15
|
+
export const AREA_OVERLAP_RELATIONSHIPS = ['overlaps', 'does-not-overlap'];
|
|
16
|
+
export const RELATIVE_WIDTH_RELATIONSHIPS = ['wider-than', 'narrower-than', 'equal-width-within-tolerance'];
|
|
17
|
+
export const GEOMETRIC_FIT_RELATIONSHIPS = ['fits-inside', 'does-not-fit-inside'];
|
|
18
|
+
/** Rendered-geometry sequencing only - never source DOM order (see docs/CONTRACTS.md target containment discussion). */
|
|
19
|
+
export const VERTICAL_SEQUENCE_RELATIONSHIPS = ['follows-vertically'];
|
|
20
|
+
export const PAGE_WIDTH_RELATIONSHIPS = ['document-width-fits-viewport', 'document-width-exceeds-viewport'];
|
|
21
|
+
/** Every pairwise (two-target) relationship kind this batch freezes. Deliberately bounded - not a general-purpose spatial language. */
|
|
22
|
+
export const PAIRWISE_RELATIONSHIP_KINDS = [
|
|
23
|
+
...HORIZONTAL_ORDER_RELATIONSHIPS,
|
|
24
|
+
...VERTICAL_ORDER_RELATIONSHIPS,
|
|
25
|
+
...AREA_OVERLAP_RELATIONSHIPS,
|
|
26
|
+
...RELATIVE_WIDTH_RELATIONSHIPS,
|
|
27
|
+
...GEOMETRIC_FIT_RELATIONSHIPS,
|
|
28
|
+
...VERTICAL_SEQUENCE_RELATIONSHIPS,
|
|
29
|
+
];
|
|
30
|
+
/** Every page-level (no target pair) relationship kind this batch freezes. */
|
|
31
|
+
export const PAGE_LEVEL_RELATIONSHIP_KINDS = [...PAGE_WIDTH_RELATIONSHIPS];
|
|
32
|
+
export function isValidEvidenceReference(value) {
|
|
33
|
+
return isPlainObject(value) && typeof value.path === 'string' && value.path.length > 0;
|
|
34
|
+
}
|
|
35
|
+
function isEvidenceReferenceArray(value) {
|
|
36
|
+
return Array.isArray(value) && value.every((entry) => isValidEvidenceReference(entry));
|
|
37
|
+
}
|
|
38
|
+
export function isValidPairwiseLayoutRelationship(value) {
|
|
39
|
+
if (!isPlainObject(value))
|
|
40
|
+
return false;
|
|
41
|
+
if (typeof value.kind !== 'string' || !PAIRWISE_RELATIONSHIP_KINDS.includes(value.kind))
|
|
42
|
+
return false;
|
|
43
|
+
if (typeof value.subjectTarget !== 'string' || value.subjectTarget.length === 0)
|
|
44
|
+
return false;
|
|
45
|
+
if (typeof value.relatedTarget !== 'string' || value.relatedTarget.length === 0)
|
|
46
|
+
return false;
|
|
47
|
+
if (value.subjectTarget === value.relatedTarget)
|
|
48
|
+
return false;
|
|
49
|
+
return isEvidenceReferenceArray(value.evidence);
|
|
50
|
+
}
|
|
51
|
+
export function isValidPageLevelLayoutRelationship(value) {
|
|
52
|
+
if (!isPlainObject(value))
|
|
53
|
+
return false;
|
|
54
|
+
if (typeof value.kind !== 'string' || !PAGE_LEVEL_RELATIONSHIP_KINDS.includes(value.kind))
|
|
55
|
+
return false;
|
|
56
|
+
return isEvidenceReferenceArray(value.evidence);
|
|
57
|
+
}
|
|
58
|
+
/** A configured target excluded from relationship derivation because it lacks usable geometry - never a fabricated zero-sized rectangle. */
|
|
59
|
+
export const UNRESOLVED_TARGET_REASONS = ['not-found', 'ambiguous', 'unavailable', 'hidden'];
|
|
60
|
+
export function isValidUnresolvedRelationshipTarget(value) {
|
|
61
|
+
if (!isPlainObject(value))
|
|
62
|
+
return false;
|
|
63
|
+
if (typeof value.target !== 'string' || value.target.length === 0)
|
|
64
|
+
return false;
|
|
65
|
+
return typeof value.reason === 'string' && UNRESOLVED_TARGET_REASONS.includes(value.reason);
|
|
66
|
+
}
|
|
67
|
+
export const MAX_CONFIGURED_TARGETS_FOR_RELATIONSHIPS = 20;
|
|
68
|
+
export const MAX_PAIRWISE_RELATIONSHIP_PAIRS = (MAX_CONFIGURED_TARGETS_FOR_RELATIONSHIPS * (MAX_CONFIGURED_TARGETS_FOR_RELATIONSHIPS - 1)) / 2;
|
|
69
|
+
/**
|
|
70
|
+
* A single unordered pair can carry up to one record per independent
|
|
71
|
+
* pairwise relationship family (horizontal-order, vertical-order,
|
|
72
|
+
* area-overlap, relative-width, geometric-fit, vertical-sequence - see
|
|
73
|
+
* `deriveLayoutRelationships` below), never more than one per family per
|
|
74
|
+
* pair. This is the resulting bound on `pairwiseRelationships.length`, not a
|
|
75
|
+
* second target-count configuration.
|
|
76
|
+
*/
|
|
77
|
+
export const PAIRWISE_RELATIONSHIP_FAMILY_COUNT = 6;
|
|
78
|
+
export const MAX_PAIRWISE_RELATIONSHIP_RECORDS = MAX_PAIRWISE_RELATIONSHIP_PAIRS * PAIRWISE_RELATIONSHIP_FAMILY_COUNT;
|
|
79
|
+
export function isValidLayoutRelationshipGraph(value) {
|
|
80
|
+
if (!isPlainObject(value))
|
|
81
|
+
return false;
|
|
82
|
+
if (typeof value.observationId !== 'string' || value.observationId.length === 0)
|
|
83
|
+
return false;
|
|
84
|
+
if (typeof value.requestId !== 'string' || value.requestId.length === 0)
|
|
85
|
+
return false;
|
|
86
|
+
if (typeof value.geometryTolerancePx !== 'number' || !Number.isFinite(value.geometryTolerancePx))
|
|
87
|
+
return false;
|
|
88
|
+
if (!Array.isArray(value.targets) || !value.targets.every((t) => typeof t === 'string' && t.length > 0))
|
|
89
|
+
return false;
|
|
90
|
+
if (new Set(value.targets).size !== value.targets.length)
|
|
91
|
+
return false;
|
|
92
|
+
if (!Array.isArray(value.unresolvedTargets) || !value.unresolvedTargets.every((t) => isValidUnresolvedRelationshipTarget(t)))
|
|
93
|
+
return false;
|
|
94
|
+
const targetSet = new Set(value.targets);
|
|
95
|
+
if (value.unresolvedTargets.some((t) => targetSet.has(t.target)))
|
|
96
|
+
return false;
|
|
97
|
+
if (!Array.isArray(value.pairwiseRelationships) || !value.pairwiseRelationships.every((r) => isValidPairwiseLayoutRelationship(r)))
|
|
98
|
+
return false;
|
|
99
|
+
if (value.pairwiseRelationships.length > MAX_PAIRWISE_RELATIONSHIP_RECORDS)
|
|
100
|
+
return false;
|
|
101
|
+
for (const relationship of value.pairwiseRelationships) {
|
|
102
|
+
if (!targetSet.has(relationship.subjectTarget) || !targetSet.has(relationship.relatedTarget))
|
|
103
|
+
return false;
|
|
104
|
+
}
|
|
105
|
+
if (!Array.isArray(value.pageRelationships) || !value.pageRelationships.every((r) => isValidPageLevelLayoutRelationship(r)))
|
|
106
|
+
return false;
|
|
107
|
+
return true;
|
|
108
|
+
}
|
|
109
|
+
/**
|
|
110
|
+
* Bounded derived clipping concept (docs/PROJECT_MILESTONES.md Milestone 4).
|
|
111
|
+
* `clipped` requires both actual dimensional overflow on that axis AND a
|
|
112
|
+
* computed `overflow` value of `hidden`/`clip` on that axis - `auto`,
|
|
113
|
+
* `scroll`, and `visible` never classify as clipped solely from dimensional
|
|
114
|
+
* overflow. `unavailable` when the underlying overflow/geometry evidence
|
|
115
|
+
* cannot support a conclusion - never guessed.
|
|
116
|
+
*/
|
|
117
|
+
export const CLIPPING_STATES = ['clipped', 'not-clipped', 'unavailable'];
|
|
118
|
+
export const CLIPPING_OVERFLOW_STYLES = ['hidden', 'clip'];
|
|
119
|
+
export function isValidTargetClippingEvidence(value) {
|
|
120
|
+
if (!isPlainObject(value))
|
|
121
|
+
return false;
|
|
122
|
+
return (typeof value.horizontal === 'string' &&
|
|
123
|
+
CLIPPING_STATES.includes(value.horizontal) &&
|
|
124
|
+
typeof value.vertical === 'string' &&
|
|
125
|
+
CLIPPING_STATES.includes(value.vertical));
|
|
126
|
+
}
|
|
127
|
+
/**
|
|
128
|
+
* Pure per-target clipping derivation from one target's own existing
|
|
129
|
+
* `layout`/`style` evidence (never a scroll scenario - normal target
|
|
130
|
+
* evidence already carries `scrollWidth`/`scrollHeight`/`clientWidth`/
|
|
131
|
+
* `clientHeight`/`overflowX`/`overflowY`). `TargetClippingEvidence` has no
|
|
132
|
+
* slot in `LayoutRelationshipGraph` (that graph is spatial/page-level only,
|
|
133
|
+
* per the frozen Batch 1 vocabulary) - this is a standalone per-target
|
|
134
|
+
* derivation for callers (e.g. a later comparison engine) that need it
|
|
135
|
+
* directly from an `ObservationArtifact`'s `targetEvidence`, one target at a
|
|
136
|
+
* time. `unavailable` (never guessed) when the underlying layout/style
|
|
137
|
+
* evidence is not itself available - this naturally covers an unresolved
|
|
138
|
+
* target without any special-casing. A resolved-but-`display:none` target
|
|
139
|
+
* naturally computes `not-clipped` too: its `scrollWidth`/`clientWidth` are
|
|
140
|
+
* both `0`, so `scrollWidth > clientWidth` is false - clipping is never
|
|
141
|
+
* inferred from hidden-ness itself.
|
|
142
|
+
*/
|
|
143
|
+
export function deriveTargetClipping(record) {
|
|
144
|
+
const layoutField = record.layout;
|
|
145
|
+
const styleField = record.style;
|
|
146
|
+
if (layoutField.state !== 'available' || styleField.state !== 'available') {
|
|
147
|
+
return { horizontal: 'unavailable', vertical: 'unavailable' };
|
|
148
|
+
}
|
|
149
|
+
const layout = layoutField.value;
|
|
150
|
+
const style = styleField.value;
|
|
151
|
+
const isClippingOverflowStyle = (value) => CLIPPING_OVERFLOW_STYLES.includes(value);
|
|
152
|
+
const horizontalOverflow = layout.scrollWidth > layout.clientWidth;
|
|
153
|
+
const verticalOverflow = layout.scrollHeight > layout.clientHeight;
|
|
154
|
+
return {
|
|
155
|
+
horizontal: horizontalOverflow && isClippingOverflowStyle(style.overflowX) ? 'clipped' : 'not-clipped',
|
|
156
|
+
vertical: verticalOverflow && isClippingOverflowStyle(style.overflowY) ? 'clipped' : 'not-clipped',
|
|
157
|
+
};
|
|
158
|
+
}
|
|
159
|
+
// --- deriveLayoutRelationships (v0.4 Batch 2 canonical derivation engine) ----
|
|
160
|
+
/**
|
|
161
|
+
* Pure tolerance-aware geometry predicates (Batch 1's frozen rules,
|
|
162
|
+
* verbatim). Every predicate is a total function over exactly one relation
|
|
163
|
+
* family, so it can never itself produce a contradictory pair of values
|
|
164
|
+
* (e.g. `left-of` and `right-of` for the same call) - the caller decides
|
|
165
|
+
* `subject`/`related` once per pair and each family is evaluated exactly
|
|
166
|
+
* once for that fixed direction.
|
|
167
|
+
*/
|
|
168
|
+
function horizontalOrderOf(a, b, tolerance) {
|
|
169
|
+
if (a.right <= b.x + tolerance)
|
|
170
|
+
return 'left-of';
|
|
171
|
+
if (b.right <= a.x + tolerance)
|
|
172
|
+
return 'right-of';
|
|
173
|
+
return 'horizontally-overlapping';
|
|
174
|
+
}
|
|
175
|
+
function verticalOrderOf(a, b, tolerance) {
|
|
176
|
+
if (a.bottom <= b.y + tolerance)
|
|
177
|
+
return 'above';
|
|
178
|
+
if (b.bottom <= a.y + tolerance)
|
|
179
|
+
return 'below';
|
|
180
|
+
return 'vertically-overlapping';
|
|
181
|
+
}
|
|
182
|
+
function areaOverlapOf(a, b, tolerance) {
|
|
183
|
+
const overlapWidth = Math.min(a.right, b.right) - Math.max(a.x, b.x);
|
|
184
|
+
const overlapHeight = Math.min(a.bottom, b.bottom) - Math.max(a.y, b.y);
|
|
185
|
+
return overlapWidth > tolerance && overlapHeight > tolerance ? 'overlaps' : 'does-not-overlap';
|
|
186
|
+
}
|
|
187
|
+
function relativeWidthOf(a, b, tolerance) {
|
|
188
|
+
if (a.width > b.width + tolerance)
|
|
189
|
+
return 'wider-than';
|
|
190
|
+
if (a.width < b.width - tolerance)
|
|
191
|
+
return 'narrower-than';
|
|
192
|
+
return 'equal-width-within-tolerance';
|
|
193
|
+
}
|
|
194
|
+
function geometricFitOf(a, b, tolerance) {
|
|
195
|
+
const fits = a.x >= b.x - tolerance && a.y >= b.y - tolerance && a.right <= b.right + tolerance && a.bottom <= b.bottom + tolerance;
|
|
196
|
+
return fits ? 'fits-inside' : 'does-not-fit-inside';
|
|
197
|
+
}
|
|
198
|
+
/**
|
|
199
|
+
* `follows-vertically` is the one family whose vocabulary has a single
|
|
200
|
+
* value (not a total 3-way partition like the others), so it is emitted
|
|
201
|
+
* only when one target's geometry actually precedes the other's - never for
|
|
202
|
+
* both directions, never when they vertically overlap. The direction is
|
|
203
|
+
* decided by actual rendered geometry, not configured target order:
|
|
204
|
+
* `above(x, y)` and "y follows x" share the same tolerance-relative
|
|
205
|
+
* condition, so whichever of the pair is algebraically "above" the other
|
|
206
|
+
* becomes `relatedTarget` and the one that follows becomes `subjectTarget`.
|
|
207
|
+
*/
|
|
208
|
+
function verticalSequenceOf(x, y, tolerance) {
|
|
209
|
+
if (x.geometry.bottom <= y.geometry.y + tolerance)
|
|
210
|
+
return { subjectTarget: y.name, relatedTarget: x.name };
|
|
211
|
+
if (y.geometry.bottom <= x.geometry.y + tolerance)
|
|
212
|
+
return { subjectTarget: x.name, relatedTarget: y.name };
|
|
213
|
+
return undefined;
|
|
214
|
+
}
|
|
215
|
+
function geometryEvidence(a, b) {
|
|
216
|
+
return [{ path: `targetEvidence.${a}.geometry` }, { path: `targetEvidence.${b}.geometry` }];
|
|
217
|
+
}
|
|
218
|
+
/** Maps a configured target's resolution/visibility evidence to the frozen unresolved-target reason vocabulary - never a fabricated relationship for a target that cannot honestly carry one. */
|
|
219
|
+
function classifyUnresolvedTarget(record) {
|
|
220
|
+
if (!record)
|
|
221
|
+
return 'unavailable';
|
|
222
|
+
const resolutionField = record.resolution;
|
|
223
|
+
if (resolutionField.state === 'available' || resolutionField.state === 'partial') {
|
|
224
|
+
const status = resolutionField.value.selectionStatus;
|
|
225
|
+
if (status === 'not-found')
|
|
226
|
+
return 'not-found';
|
|
227
|
+
if (status === 'ambiguous')
|
|
228
|
+
return 'ambiguous';
|
|
229
|
+
if (status === 'unavailable')
|
|
230
|
+
return 'unavailable';
|
|
231
|
+
}
|
|
232
|
+
return 'unavailable';
|
|
233
|
+
}
|
|
234
|
+
/**
|
|
235
|
+
* The one canonical pure derivation from an already-captured
|
|
236
|
+
* `ObservationArtifact` to a `LayoutRelationshipGraph` (real Chromium ->
|
|
237
|
+
* ObservationArtifact -> **relationship derivation** -> comparability ->
|
|
238
|
+
* comparison -> ComparisonArtifact, see docs/ARCHITECTURE.md). Deterministic
|
|
239
|
+
* and synchronous: same `observation`/`geometryTolerancePx` in, same graph
|
|
240
|
+
* out, every time - no Chromium, target re-resolution, DOM access, randomness,
|
|
241
|
+
* clock, filesystem, or network involved, and `observation` is never
|
|
242
|
+
* mutated.
|
|
243
|
+
*
|
|
244
|
+
* Scope, by construction:
|
|
245
|
+
* - only targets present in `observation.requestConfig.targets` are ever
|
|
246
|
+
* considered (bounded at the existing 20-target/190-pair request limit -
|
|
247
|
+
* never arbitrary DOM/accessibility-tree traversal);
|
|
248
|
+
* - a configured target missing usable geometry (never resolved, or
|
|
249
|
+
* resolved but reported not-visible) becomes an `unresolvedTargets` entry
|
|
250
|
+
* with an honest reason, never a fabricated zero-sized relation;
|
|
251
|
+
* - for each unordered pair of geometry-eligible targets, exactly one
|
|
252
|
+
* record per relationship family is derived, with `subjectTarget`/
|
|
253
|
+
* `relatedTarget` fixed to that pair's configured order (earlier
|
|
254
|
+
* configured target is always `subjectTarget`) for every family except
|
|
255
|
+
* `follows-vertically` (see `verticalSequenceOf`) - so
|
|
256
|
+
* `pairwiseRelationships.length` never exceeds
|
|
257
|
+
* `MAX_PAIRWISE_RELATIONSHIP_RECORDS`;
|
|
258
|
+
* - DOM containment is deliberately not re-derived here: it already exists
|
|
259
|
+
* as `targetEvidence.<name>.containment` on the observation itself (see
|
|
260
|
+
* `TargetContainment` in domain/schema.ts, explicitly documented there as
|
|
261
|
+
* "never a layout/relationship graph") and stays separate from
|
|
262
|
+
* `fits-inside`/`does-not-fit-inside`, which is geometry-only;
|
|
263
|
+
* - the page-width relationship is derived only when both
|
|
264
|
+
* `pageEvidence.documentWidth` and `pageEvidence.viewportWidth` are
|
|
265
|
+
* themselves available - never defaulted to "fits" when evidence is
|
|
266
|
+
* missing.
|
|
267
|
+
*/
|
|
268
|
+
export function deriveLayoutRelationships(observation, options = {}) {
|
|
269
|
+
const validation = isValidObservationArtifact(observation);
|
|
270
|
+
if (!validation.valid) {
|
|
271
|
+
return { ok: false, reason: `cannot derive relationships from an invalid ObservationArtifact: ${validation.reason}` };
|
|
272
|
+
}
|
|
273
|
+
const geometryTolerancePx = options.geometryTolerancePx ?? GEOMETRY_TOLERANCE_DEFAULT_PX;
|
|
274
|
+
if (!isValidGeometryTolerancePx(geometryTolerancePx)) {
|
|
275
|
+
return {
|
|
276
|
+
ok: false,
|
|
277
|
+
reason: `geometryTolerancePx must be a finite number in [${GEOMETRY_TOLERANCE_MIN_PX}, ${GEOMETRY_TOLERANCE_MAX_PX}]`,
|
|
278
|
+
};
|
|
279
|
+
}
|
|
280
|
+
const configuredNames = observation.requestConfig.targets.map((target) => target.name);
|
|
281
|
+
if (configuredNames.length > MAX_CONFIGURED_TARGETS_FOR_RELATIONSHIPS) {
|
|
282
|
+
return {
|
|
283
|
+
ok: false,
|
|
284
|
+
reason: `observation.requestConfig.targets has ${configuredNames.length} entries, exceeding the ${MAX_CONFIGURED_TARGETS_FOR_RELATIONSHIPS}-target relationship-derivation bound`,
|
|
285
|
+
};
|
|
286
|
+
}
|
|
287
|
+
const eligible = [];
|
|
288
|
+
const unresolvedTargets = [];
|
|
289
|
+
for (const name of configuredNames) {
|
|
290
|
+
const record = observation.targetEvidence[name];
|
|
291
|
+
const geometryField = record?.geometry;
|
|
292
|
+
if (!record || geometryField?.state !== 'available') {
|
|
293
|
+
unresolvedTargets.push({ target: name, reason: classifyUnresolvedTarget(record) });
|
|
294
|
+
continue;
|
|
295
|
+
}
|
|
296
|
+
const visibilityField = record.visibility;
|
|
297
|
+
if ((visibilityField.state === 'available' || visibilityField.state === 'partial') && visibilityField.value.visible === false) {
|
|
298
|
+
unresolvedTargets.push({ target: name, reason: 'hidden' });
|
|
299
|
+
continue;
|
|
300
|
+
}
|
|
301
|
+
eligible.push({ name, geometry: geometryField.value });
|
|
302
|
+
}
|
|
303
|
+
const pairwiseRelationships = [];
|
|
304
|
+
for (let i = 0; i < eligible.length; i += 1) {
|
|
305
|
+
const subject = eligible[i];
|
|
306
|
+
for (let j = i + 1; j < eligible.length; j += 1) {
|
|
307
|
+
const related = eligible[j];
|
|
308
|
+
const evidence = geometryEvidence(subject.name, related.name);
|
|
309
|
+
pairwiseRelationships.push({ kind: horizontalOrderOf(subject.geometry, related.geometry, geometryTolerancePx), subjectTarget: subject.name, relatedTarget: related.name, evidence }, { kind: verticalOrderOf(subject.geometry, related.geometry, geometryTolerancePx), subjectTarget: subject.name, relatedTarget: related.name, evidence }, { kind: areaOverlapOf(subject.geometry, related.geometry, geometryTolerancePx), subjectTarget: subject.name, relatedTarget: related.name, evidence }, { kind: relativeWidthOf(subject.geometry, related.geometry, geometryTolerancePx), subjectTarget: subject.name, relatedTarget: related.name, evidence }, { kind: geometricFitOf(subject.geometry, related.geometry, geometryTolerancePx), subjectTarget: subject.name, relatedTarget: related.name, evidence });
|
|
310
|
+
const sequence = verticalSequenceOf(subject, related, geometryTolerancePx);
|
|
311
|
+
if (sequence) {
|
|
312
|
+
pairwiseRelationships.push({
|
|
313
|
+
kind: 'follows-vertically',
|
|
314
|
+
subjectTarget: sequence.subjectTarget,
|
|
315
|
+
relatedTarget: sequence.relatedTarget,
|
|
316
|
+
evidence: geometryEvidence(sequence.subjectTarget, sequence.relatedTarget),
|
|
317
|
+
});
|
|
318
|
+
}
|
|
319
|
+
}
|
|
320
|
+
}
|
|
321
|
+
const pageRelationships = [];
|
|
322
|
+
const documentWidthField = observation.pageEvidence.documentWidth;
|
|
323
|
+
const viewportWidthField = observation.pageEvidence.viewportWidth;
|
|
324
|
+
const documentWidth = documentWidthField?.state === 'available' && typeof documentWidthField.value === 'number' ? documentWidthField.value : undefined;
|
|
325
|
+
const viewportWidth = viewportWidthField?.state === 'available' && typeof viewportWidthField.value === 'number' ? viewportWidthField.value : undefined;
|
|
326
|
+
if (documentWidth !== undefined && viewportWidth !== undefined) {
|
|
327
|
+
pageRelationships.push({
|
|
328
|
+
kind: documentWidth <= viewportWidth + geometryTolerancePx ? 'document-width-fits-viewport' : 'document-width-exceeds-viewport',
|
|
329
|
+
evidence: [{ path: 'pageEvidence.documentWidth' }, { path: 'pageEvidence.viewportWidth' }],
|
|
330
|
+
});
|
|
331
|
+
}
|
|
332
|
+
const graph = {
|
|
333
|
+
observationId: observation.observationId,
|
|
334
|
+
requestId: observation.requestId,
|
|
335
|
+
geometryTolerancePx,
|
|
336
|
+
targets: eligible.map((entry) => entry.name),
|
|
337
|
+
unresolvedTargets,
|
|
338
|
+
pairwiseRelationships,
|
|
339
|
+
pageRelationships,
|
|
340
|
+
};
|
|
341
|
+
return { ok: true, graph };
|
|
342
|
+
}
|
|
343
|
+
//# sourceMappingURL=relationships.js.map
|
|
@@ -0,0 +1 @@
|
|
|
1
|
+
{"version":3,"file":"relationships.js","sourceRoot":"","sources":["../../src/domain/relationships.ts"],"names":[],"mappings":"AAQA,OAAO,EAAE,0BAA0B,EAAE,MAAM,aAAa,CAAC;AAEzD,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,iFAAiF;AAEjF,4GAA4G;AAC5G,MAAM,CAAC,MAAM,6BAA6B,GAAG,GAAG,CAAC;AACjD,MAAM,CAAC,MAAM,yBAAyB,GAAG,CAAC,CAAC;AAC3C,MAAM,CAAC,MAAM,yBAAyB,GAAG,EAAE,CAAC;AAE5C,MAAM,UAAU,0BAA0B,CAAC,KAAc;IACvD,OAAO,OAAO,KAAK,KAAK,QAAQ,IAAI,MAAM,CAAC,QAAQ,CAAC,KAAK,CAAC,IAAI,KAAK,IAAI,yBAAyB,IAAI,KAAK,IAAI,yBAAyB,CAAC;AACzI,CAAC;AAED,MAAM,CAAC,MAAM,8BAA8B,GAAG,CAAC,SAAS,EAAE,UAAU,EAAE,0BAA0B,CAAU,CAAC;AAG3G,MAAM,CAAC,MAAM,4BAA4B,GAAG,CAAC,OAAO,EAAE,OAAO,EAAE,wBAAwB,CAAU,CAAC;AAGlG,MAAM,CAAC,MAAM,0BAA0B,GAAG,CAAC,UAAU,EAAE,kBAAkB,CAAU,CAAC;AAGpF,MAAM,CAAC,MAAM,4BAA4B,GAAG,CAAC,YAAY,EAAE,eAAe,EAAE,8BAA8B,CAAU,CAAC;AAGrH,MAAM,CAAC,MAAM,2BAA2B,GAAG,CAAC,aAAa,EAAE,qBAAqB,CAAU,CAAC;AAG3F,wHAAwH;AACxH,MAAM,CAAC,MAAM,+BAA+B,GAAG,CAAC,oBAAoB,CAAU,CAAC;AAG/E,MAAM,CAAC,MAAM,wBAAwB,GAAG,CAAC,8BAA8B,EAAE,iCAAiC,CAAU,CAAC;AAGrH,uIAAuI;AACvI,MAAM,CAAC,MAAM,2BAA2B,GAAG;IACzC,GAAG,8BAA8B;IACjC,GAAG,4BAA4B;IAC/B,GAAG,0BAA0B;IAC7B,GAAG,4BAA4B;IAC/B,GAAG,2BAA2B;IAC9B,GAAG,+BAA+B;CAC1B,CAAC;AAGX,8EAA8E;AAC9E,MAAM,CAAC,MAAM,6BAA6B,GAAG,CAAC,GAAG,wBAAwB,CAAU,CAAC;AAQpF,MAAM,UAAU,wBAAwB,CAAC,KAAc;IACrD,OAAO,aAAa,CAAC,KAAK,CAAC,IAAI,OAAO,KAAK,CAAC,IAAI,KAAK,QAAQ,IAAI,KAAK,CAAC,IAAI,CAAC,MAAM,GAAG,CAAC,CAAC;AACzF,CAAC;AAED,SAAS,wBAAwB,CAAC,KAAc;IAC9C,OAAO,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,IAAI,KAAK,CAAC,KAAK,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,wBAAwB,CAAC,KAAK,CAAC,CAAC,CAAC;AACzF,CAAC;AAUD,MAAM,UAAU,iCAAiC,CAAC,KAAc;IAC9D,IAAI,CAAC,aAAa,CAAC,KAAK,CAAC;QAAE,OAAO,KAAK,CAAC;IACxC,IAAI,OAAO,KAAK,CAAC,IAAI,KAAK,QAAQ,IAAI,CAAE,2BAAiD,CAAC,QAAQ,CAAC,KAAK,CAAC,IAAI,CAAC;QAAE,OAAO,KAAK,CAAC;IAC7H,IAAI,OAAO,KAAK,CAAC,aAAa,KAAK,QAAQ,IAAI,KAAK,CAAC,aAAa,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,KAAK,CAAC;IAC9F,IAAI,OAAO,KAAK,CAAC,aAAa,KAAK,QAAQ,IAAI,KAAK,CAAC,aAAa,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,KAAK,CAAC;IAC9F,IAAI,KAAK,CAAC,aAAa,KAAK,KAAK,CAAC,aAAa;QAAE,OAAO,KAAK,CAAC;IAC9D,OAAO,wBAAwB,CAAC,KAAK,CAAC,QAAQ,CAAC,CAAC;AAClD,CAAC;AAQD,MAAM,UAAU,kCAAkC,CAAC,KAAc;IAC/D,IAAI,CAAC,aAAa,CAAC,KAAK,CAAC;QAAE,OAAO,KAAK,CAAC;IACxC,IAAI,OAAO,KAAK,CAAC,IAAI,KAAK,QAAQ,IAAI,CAAE,6BAAmD,CAAC,QAAQ,CAAC,KAAK,CAAC,IAAI,CAAC;QAAE,OAAO,KAAK,CAAC;IAC/H,OAAO,wBAAwB,CAAC,KAAK,CAAC,QAAQ,CAAC,CAAC;AAClD,CAAC;AAED,4IAA4I;AAC5I,MAAM,CAAC,MAAM,yBAAyB,GAAG,CAAC,WAAW,EAAE,WAAW,EAAE,aAAa,EAAE,QAAQ,CAAU,CAAC;AAQtG,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,KAAK,CAAC,MAAM,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,KAAK,CAAC;IAChF,OAAO,OAAO,KAAK,CAAC,MAAM,KAAK,QAAQ,IAAK,yBAA+C,CAAC,QAAQ,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC;AACrH,CAAC;AAkBD,MAAM,CAAC,MAAM,wCAAwC,GAAG,EAAE,CAAC;AAC3D,MAAM,CAAC,MAAM,+BAA+B,GAC1C,CAAC,wCAAwC,GAAG,CAAC,wCAAwC,GAAG,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC;AAElG;;;;;;;GAOG;AACH,MAAM,CAAC,MAAM,kCAAkC,GAAG,CAAC,CAAC;AACpD,MAAM,CAAC,MAAM,iCAAiC,GAAG,+BAA+B,GAAG,kCAAkC,CAAC;AAEtH,MAAM,UAAU,8BAA8B,CAAC,KAAc;IAC3D,IAAI,CAAC,aAAa,CAAC,KAAK,CAAC;QAAE,OAAO,KAAK,CAAC;IACxC,IAAI,OAAO,KAAK,CAAC,aAAa,KAAK,QAAQ,IAAI,KAAK,CAAC,aAAa,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,KAAK,CAAC;IAC9F,IAAI,OAAO,KAAK,CAAC,SAAS,KAAK,QAAQ,IAAI,KAAK,CAAC,SAAS,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,KAAK,CAAC;IACtF,IAAI,OAAO,KAAK,CAAC,mBAAmB,KAAK,QAAQ,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,KAAK,CAAC,mBAAmB,CAAC;QAAE,OAAO,KAAK,CAAC;IAC/G,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,OAAO,CAAC,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC,CAAU,EAAE,EAAE,CAAC,OAAO,CAAC,KAAK,QAAQ,IAAI,CAAC,CAAC,MAAM,GAAG,CAAC,CAAC;QAAE,OAAO,KAAK,CAAC;IAC/H,IAAI,IAAI,GAAG,CAAC,KAAK,CAAC,OAAmB,CAAC,CAAC,IAAI,KAAM,KAAK,CAAC,OAAoB,CAAC,MAAM;QAAE,OAAO,KAAK,CAAC;IACjG,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,iBAAiB,CAAC,IAAI,CAAC,KAAK,CAAC,iBAAiB,CAAC,KAAK,CAAC,CAAC,CAAU,EAAE,EAAE,CAAC,mCAAmC,CAAC,CAAC,CAAC,CAAC;QAAE,OAAO,KAAK,CAAC;IACpJ,MAAM,SAAS,GAAG,IAAI,GAAG,CAAC,KAAK,CAAC,OAAmB,CAAC,CAAC;IACrD,IAAK,KAAK,CAAC,iBAAoD,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,SAAS,CAAC,GAAG,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC;QAAE,OAAO,KAAK,CAAC;IACnH,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,qBAAqB,CAAC,IAAI,CAAC,KAAK,CAAC,qBAAqB,CAAC,KAAK,CAAC,CAAC,CAAU,EAAE,EAAE,CAAC,iCAAiC,CAAC,CAAC,CAAC,CAAC;QAAE,OAAO,KAAK,CAAC;IAC1J,IAAK,KAAK,CAAC,qBAAsD,CAAC,MAAM,GAAG,iCAAiC;QAAE,OAAO,KAAK,CAAC;IAC3H,KAAK,MAAM,YAAY,IAAI,KAAK,CAAC,qBAAqD,EAAE,CAAC;QACvF,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,YAAY,CAAC,aAAa,CAAC,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,YAAY,CAAC,aAAa,CAAC;YAAE,OAAO,KAAK,CAAC;IAC7G,CAAC;IACD,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,iBAAiB,CAAC,IAAI,CAAC,KAAK,CAAC,iBAAiB,CAAC,KAAK,CAAC,CAAC,CAAU,EAAE,EAAE,CAAC,kCAAkC,CAAC,CAAC,CAAC,CAAC;QAAE,OAAO,KAAK,CAAC;IACnJ,OAAO,IAAI,CAAC;AACd,CAAC;AAED;;;;;;;GAOG;AACH,MAAM,CAAC,MAAM,eAAe,GAAG,CAAC,SAAS,EAAE,aAAa,EAAE,aAAa,CAAU,CAAC;AAGlF,MAAM,CAAC,MAAM,wBAAwB,GAAG,CAAC,QAAQ,EAAE,MAAM,CAAU,CAAC;AAQpE,MAAM,UAAU,6BAA6B,CAAC,KAAc;IAC1D,IAAI,CAAC,aAAa,CAAC,KAAK,CAAC;QAAE,OAAO,KAAK,CAAC;IACxC,OAAO,CACL,OAAO,KAAK,CAAC,UAAU,KAAK,QAAQ;QACnC,eAAqC,CAAC,QAAQ,CAAC,KAAK,CAAC,UAAU,CAAC;QACjE,OAAO,KAAK,CAAC,QAAQ,KAAK,QAAQ;QACjC,eAAqC,CAAC,QAAQ,CAAC,KAAK,CAAC,QAAQ,CAAC,CAChE,CAAC;AACJ,CAAC;AAED;;;;;;;;;;;;;;;GAeG;AACH,MAAM,UAAU,oBAAoB,CAAC,MAA4B;IAC/D,MAAM,WAAW,GAAG,MAAM,CAAC,MAAM,CAAC;IAClC,MAAM,UAAU,GAAG,MAAM,CAAC,KAAK,CAAC;IAChC,IAAI,WAAW,CAAC,KAAK,KAAK,WAAW,IAAI,UAAU,CAAC,KAAK,KAAK,WAAW,EAAE,CAAC;QAC1E,OAAO,EAAE,UAAU,EAAE,aAAa,EAAE,QAAQ,EAAE,aAAa,EAAE,CAAC;IAChE,CAAC;IACD,MAAM,MAAM,GAAG,WAAW,CAAC,KAAK,CAAC;IACjC,MAAM,KAAK,GAAG,UAAU,CAAC,KAAK,CAAC;IAC/B,MAAM,uBAAuB,GAAG,CAAC,KAAa,EAAW,EAAE,CAAE,wBAA8C,CAAC,QAAQ,CAAC,KAAK,CAAC,CAAC;IAE5H,MAAM,kBAAkB,GAAG,MAAM,CAAC,WAAW,GAAG,MAAM,CAAC,WAAW,CAAC;IACnE,MAAM,gBAAgB,GAAG,MAAM,CAAC,YAAY,GAAG,MAAM,CAAC,YAAY,CAAC;IAEnE,OAAO;QACL,UAAU,EAAE,kBAAkB,IAAI,uBAAuB,CAAC,KAAK,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,aAAa;QACtG,QAAQ,EAAE,gBAAgB,IAAI,uBAAuB,CAAC,KAAK,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,aAAa;KACnG,CAAC;AACJ,CAAC;AAED,gFAAgF;AAEhF;;;;;;;GAOG;AACH,SAAS,iBAAiB,CAAC,CAAiB,EAAE,CAAiB,EAAE,SAAiB;IAChF,IAAI,CAAC,CAAC,KAAK,IAAI,CAAC,CAAC,CAAC,GAAG,SAAS;QAAE,OAAO,SAAS,CAAC;IACjD,IAAI,CAAC,CAAC,KAAK,IAAI,CAAC,CAAC,CAAC,GAAG,SAAS;QAAE,OAAO,UAAU,CAAC;IAClD,OAAO,0BAA0B,CAAC;AACpC,CAAC;AAED,SAAS,eAAe,CAAC,CAAiB,EAAE,CAAiB,EAAE,SAAiB;IAC9E,IAAI,CAAC,CAAC,MAAM,IAAI,CAAC,CAAC,CAAC,GAAG,SAAS;QAAE,OAAO,OAAO,CAAC;IAChD,IAAI,CAAC,CAAC,MAAM,IAAI,CAAC,CAAC,CAAC,GAAG,SAAS;QAAE,OAAO,OAAO,CAAC;IAChD,OAAO,wBAAwB,CAAC;AAClC,CAAC;AAED,SAAS,aAAa,CAAC,CAAiB,EAAE,CAAiB,EAAE,SAAiB;IAC5E,MAAM,YAAY,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,KAAK,EAAE,CAAC,CAAC,KAAK,CAAC,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC;IACrE,MAAM,aAAa,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,MAAM,EAAE,CAAC,CAAC,MAAM,CAAC,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC;IACxE,OAAO,YAAY,GAAG,SAAS,IAAI,aAAa,GAAG,SAAS,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC,CAAC,kBAAkB,CAAC;AACjG,CAAC;AAED,SAAS,eAAe,CAAC,CAAiB,EAAE,CAAiB,EAAE,SAAiB;IAC9E,IAAI,CAAC,CAAC,KAAK,GAAG,CAAC,CAAC,KAAK,GAAG,SAAS;QAAE,OAAO,YAAY,CAAC;IACvD,IAAI,CAAC,CAAC,KAAK,GAAG,CAAC,CAAC,KAAK,GAAG,SAAS;QAAE,OAAO,eAAe,CAAC;IAC1D,OAAO,8BAA8B,CAAC;AACxC,CAAC;AAED,SAAS,cAAc,CAAC,CAAiB,EAAE,CAAiB,EAAE,SAAiB;IAC7E,MAAM,IAAI,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,GAAG,SAAS,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,GAAG,SAAS,IAAI,CAAC,CAAC,KAAK,IAAI,CAAC,CAAC,KAAK,GAAG,SAAS,IAAI,CAAC,CAAC,MAAM,IAAI,CAAC,CAAC,MAAM,GAAG,SAAS,CAAC;IACpI,OAAO,IAAI,CAAC,CAAC,CAAC,aAAa,CAAC,CAAC,CAAC,qBAAqB,CAAC;AACtD,CAAC;AAED;;;;;;;;;GASG;AACH,SAAS,kBAAkB,CACzB,CAA6C,EAC7C,CAA6C,EAC7C,SAAiB;IAEjB,IAAI,CAAC,CAAC,QAAQ,CAAC,MAAM,IAAI,CAAC,CAAC,QAAQ,CAAC,CAAC,GAAG,SAAS;QAAE,OAAO,EAAE,aAAa,EAAE,CAAC,CAAC,IAAI,EAAE,aAAa,EAAE,CAAC,CAAC,IAAI,EAAE,CAAC;IAC3G,IAAI,CAAC,CAAC,QAAQ,CAAC,MAAM,IAAI,CAAC,CAAC,QAAQ,CAAC,CAAC,GAAG,SAAS;QAAE,OAAO,EAAE,aAAa,EAAE,CAAC,CAAC,IAAI,EAAE,aAAa,EAAE,CAAC,CAAC,IAAI,EAAE,CAAC;IAC3G,OAAO,SAAS,CAAC;AACnB,CAAC;AAED,SAAS,gBAAgB,CAAC,CAAS,EAAE,CAAS;IAC5C,OAAO,CAAC,EAAE,IAAI,EAAE,kBAAkB,CAAC,WAAW,EAAE,EAAE,EAAE,IAAI,EAAE,kBAAkB,CAAC,WAAW,EAAE,CAAC,CAAC;AAC9F,CAAC;AAED,iMAAiM;AACjM,SAAS,wBAAwB,CAAC,MAAwC;IACxE,IAAI,CAAC,MAAM;QAAE,OAAO,aAAa,CAAC;IAClC,MAAM,eAAe,GAAG,MAAM,CAAC,UAAU,CAAC;IAC1C,IAAI,eAAe,CAAC,KAAK,KAAK,WAAW,IAAI,eAAe,CAAC,KAAK,KAAK,SAAS,EAAE,CAAC;QACjF,MAAM,MAAM,GAAG,eAAe,CAAC,KAAK,CAAC,eAAe,CAAC;QACrD,IAAI,MAAM,KAAK,WAAW;YAAE,OAAO,WAAW,CAAC;QAC/C,IAAI,MAAM,KAAK,WAAW;YAAE,OAAO,WAAW,CAAC;QAC/C,IAAI,MAAM,KAAK,aAAa;YAAE,OAAO,aAAa,CAAC;IACrD,CAAC;IACD,OAAO,aAAa,CAAC;AACvB,CAAC;AAQD;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAiCG;AACH,MAAM,UAAU,yBAAyB,CAAC,WAAgC,EAAE,UAA4C,EAAE;IACxH,MAAM,UAAU,GAAG,0BAA0B,CAAC,WAAW,CAAC,CAAC;IAC3D,IAAI,CAAC,UAAU,CAAC,KAAK,EAAE,CAAC;QACtB,OAAO,EAAE,EAAE,EAAE,KAAK,EAAE,MAAM,EAAE,oEAAoE,UAAU,CAAC,MAAM,EAAE,EAAE,CAAC;IACxH,CAAC;IAED,MAAM,mBAAmB,GAAG,OAAO,CAAC,mBAAmB,IAAI,6BAA6B,CAAC;IACzF,IAAI,CAAC,0BAA0B,CAAC,mBAAmB,CAAC,EAAE,CAAC;QACrD,OAAO;YACL,EAAE,EAAE,KAAK;YACT,MAAM,EAAE,mDAAmD,yBAAyB,KAAK,yBAAyB,GAAG;SACtH,CAAC;IACJ,CAAC;IAED,MAAM,eAAe,GAAG,WAAW,CAAC,aAAa,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC;IACvF,IAAI,eAAe,CAAC,MAAM,GAAG,wCAAwC,EAAE,CAAC;QACtE,OAAO;YACL,EAAE,EAAE,KAAK;YACT,MAAM,EAAE,yCAAyC,eAAe,CAAC,MAAM,2BAA2B,wCAAwC,uCAAuC;SAClL,CAAC;IACJ,CAAC;IAED,MAAM,QAAQ,GAAiD,EAAE,CAAC;IAClE,MAAM,iBAAiB,GAAmC,EAAE,CAAC;IAE7D,KAAK,MAAM,IAAI,IAAI,eAAe,EAAE,CAAC;QACnC,MAAM,MAAM,GAAG,WAAW,CAAC,cAAc,CAAC,IAAI,CAAC,CAAC;QAChD,MAAM,aAAa,GAAG,MAAM,EAAE,QAAQ,CAAC;QACvC,IAAI,CAAC,MAAM,IAAI,aAAa,EAAE,KAAK,KAAK,WAAW,EAAE,CAAC;YACpD,iBAAiB,CAAC,IAAI,CAAC,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,EAAE,wBAAwB,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC;YACnF,SAAS;QACX,CAAC;QACD,MAAM,eAAe,GAAG,MAAM,CAAC,UAAU,CAAC;QAC1C,IAAI,CAAC,eAAe,CAAC,KAAK,KAAK,WAAW,IAAI,eAAe,CAAC,KAAK,KAAK,SAAS,CAAC,IAAI,eAAe,CAAC,KAAK,CAAC,OAAO,KAAK,KAAK,EAAE,CAAC;YAC9H,iBAAiB,CAAC,IAAI,CAAC,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,EAAE,QAAQ,EAAE,CAAC,CAAC;YAC3D,SAAS;QACX,CAAC;QACD,QAAQ,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,aAAa,CAAC,KAAK,EAAE,CAAC,CAAC;IACzD,CAAC;IAED,MAAM,qBAAqB,GAAiC,EAAE,CAAC;IAC/D,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,QAAQ,CAAC,MAAM,EAAE,CAAC,IAAI,CAAC,EAAE,CAAC;QAC5C,MAAM,OAAO,GAAG,QAAQ,CAAC,CAAC,CAA+C,CAAC;QAC1E,KAAK,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,QAAQ,CAAC,MAAM,EAAE,CAAC,IAAI,CAAC,EAAE,CAAC;YAChD,MAAM,OAAO,GAAG,QAAQ,CAAC,CAAC,CAA+C,CAAC;YAC1E,MAAM,QAAQ,GAAG,gBAAgB,CAAC,OAAO,CAAC,IAAI,EAAE,OAAO,CAAC,IAAI,CAAC,CAAC;YAE9D,qBAAqB,CAAC,IAAI,CACxB,EAAE,IAAI,EAAE,iBAAiB,CAAC,OAAO,CAAC,QAAQ,EAAE,OAAO,CAAC,QAAQ,EAAE,mBAAmB,CAAC,EAAE,aAAa,EAAE,OAAO,CAAC,IAAI,EAAE,aAAa,EAAE,OAAO,CAAC,IAAI,EAAE,QAAQ,EAAE,EACxJ,EAAE,IAAI,EAAE,eAAe,CAAC,OAAO,CAAC,QAAQ,EAAE,OAAO,CAAC,QAAQ,EAAE,mBAAmB,CAAC,EAAE,aAAa,EAAE,OAAO,CAAC,IAAI,EAAE,aAAa,EAAE,OAAO,CAAC,IAAI,EAAE,QAAQ,EAAE,EACtJ,EAAE,IAAI,EAAE,aAAa,CAAC,OAAO,CAAC,QAAQ,EAAE,OAAO,CAAC,QAAQ,EAAE,mBAAmB,CAAC,EAAE,aAAa,EAAE,OAAO,CAAC,IAAI,EAAE,aAAa,EAAE,OAAO,CAAC,IAAI,EAAE,QAAQ,EAAE,EACpJ,EAAE,IAAI,EAAE,eAAe,CAAC,OAAO,CAAC,QAAQ,EAAE,OAAO,CAAC,QAAQ,EAAE,mBAAmB,CAAC,EAAE,aAAa,EAAE,OAAO,CAAC,IAAI,EAAE,aAAa,EAAE,OAAO,CAAC,IAAI,EAAE,QAAQ,EAAE,EACtJ,EAAE,IAAI,EAAE,cAAc,CAAC,OAAO,CAAC,QAAQ,EAAE,OAAO,CAAC,QAAQ,EAAE,mBAAmB,CAAC,EAAE,aAAa,EAAE,OAAO,CAAC,IAAI,EAAE,aAAa,EAAE,OAAO,CAAC,IAAI,EAAE,QAAQ,EAAE,CACtJ,CAAC;YAEF,MAAM,QAAQ,GAAG,kBAAkB,CAAC,OAAO,EAAE,OAAO,EAAE,mBAAmB,CAAC,CAAC;YAC3E,IAAI,QAAQ,EAAE,CAAC;gBACb,qBAAqB,CAAC,IAAI,CAAC;oBACzB,IAAI,EAAE,oBAAoB;oBAC1B,aAAa,EAAE,QAAQ,CAAC,aAAa;oBACrC,aAAa,EAAE,QAAQ,CAAC,aAAa;oBACrC,QAAQ,EAAE,gBAAgB,CAAC,QAAQ,CAAC,aAAa,EAAE,QAAQ,CAAC,aAAa,CAAC;iBAC3E,CAAC,CAAC;YACL,CAAC;QACH,CAAC;IACH,CAAC;IAED,MAAM,iBAAiB,GAAkC,EAAE,CAAC;IAC5D,MAAM,kBAAkB,GAAG,WAAW,CAAC,YAAY,CAAC,aAAa,CAAC;IAClE,MAAM,kBAAkB,GAAG,WAAW,CAAC,YAAY,CAAC,aAAa,CAAC;IAClE,MAAM,aAAa,GAAG,kBAAkB,EAAE,KAAK,KAAK,WAAW,IAAI,OAAO,kBAAkB,CAAC,KAAK,KAAK,QAAQ,CAAC,CAAC,CAAC,kBAAkB,CAAC,KAAK,CAAC,CAAC,CAAC,SAAS,CAAC;IACvJ,MAAM,aAAa,GAAG,kBAAkB,EAAE,KAAK,KAAK,WAAW,IAAI,OAAO,kBAAkB,CAAC,KAAK,KAAK,QAAQ,CAAC,CAAC,CAAC,kBAAkB,CAAC,KAAK,CAAC,CAAC,CAAC,SAAS,CAAC;IACvJ,IAAI,aAAa,KAAK,SAAS,IAAI,aAAa,KAAK,SAAS,EAAE,CAAC;QAC/D,iBAAiB,CAAC,IAAI,CAAC;YACrB,IAAI,EAAE,aAAa,IAAI,aAAa,GAAG,mBAAmB,CAAC,CAAC,CAAC,8BAA8B,CAAC,CAAC,CAAC,iCAAiC;YAC/H,QAAQ,EAAE,CAAC,EAAE,IAAI,EAAE,4BAA4B,EAAE,EAAE,EAAE,IAAI,EAAE,4BAA4B,EAAE,CAAC;SAC3F,CAAC,CAAC;IACL,CAAC;IAED,MAAM,KAAK,GAA4B;QACrC,aAAa,EAAE,WAAW,CAAC,aAAa;QACxC,SAAS,EAAE,WAAW,CAAC,SAAS;QAChC,mBAAmB;QACnB,OAAO,EAAE,QAAQ,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,IAAI,CAAC;QAC5C,iBAAiB;QACjB,qBAAqB;QACrB,iBAAiB;KAClB,CAAC;IAEF,OAAO,EAAE,EAAE,EAAE,IAAI,EAAE,KAAK,EAAE,CAAC;AAC7B,CAAC"}
|
package/dist/domain/schema.d.ts
CHANGED
|
@@ -3,7 +3,7 @@ import type { Diagnostic } from './diagnostics.js';
|
|
|
3
3
|
import type { CompletionState } from './completion.js';
|
|
4
4
|
import type { NormalizedObservationRequest } from '../request/request.js';
|
|
5
5
|
export declare const ARTIFACT_KIND: "my-frontend-observer/observation";
|
|
6
|
-
export declare const SCHEMA_VERSION: "1.
|
|
6
|
+
export declare const SCHEMA_VERSION: "1.2.0";
|
|
7
7
|
export declare const PRODUCER_NAME: "my-frontend-observer";
|
|
8
8
|
export type TargetLocatorKind = 'role' | 'id' | 'data-attribute' | 'semantic-element' | 'css' | 'text';
|
|
9
9
|
export type TargetSelectionStatus = 'matched' | 'not-found' | 'ambiguous' | 'unavailable';
|
|
@@ -104,6 +104,119 @@ export interface TargetEvidenceRecord {
|
|
|
104
104
|
landmark: EvidenceField<TargetLandmarkRole>;
|
|
105
105
|
containment: EvidenceField<TargetContainment>;
|
|
106
106
|
}
|
|
107
|
+
/**
|
|
108
|
+
* v0.3 Batch 1 bounded runtime scroll/overflow evidence model. Frozen here
|
|
109
|
+
* as a contract; no browser capture populates it yet (Batch 2/3), so
|
|
110
|
+
* `scrollScenarioEvidence` on `ObservationArtifact` stays absent for every
|
|
111
|
+
* Batch-1-era observation, including one whose `requestConfig.scrollScenario`
|
|
112
|
+
* is present (see `src/browser/chromiumAdapter.ts`, which fails such a
|
|
113
|
+
* request honestly rather than pretending to execute it).
|
|
114
|
+
*/
|
|
115
|
+
export interface ScrollableMetrics {
|
|
116
|
+
scrollTop: number;
|
|
117
|
+
scrollLeft: number;
|
|
118
|
+
scrollWidth: number;
|
|
119
|
+
scrollHeight: number;
|
|
120
|
+
clientWidth: number;
|
|
121
|
+
clientHeight: number;
|
|
122
|
+
}
|
|
123
|
+
/** Distinguishes an `overflow-x`/`overflow-y` CSS declaration from actual browser-observed dimensional overflow - the two are not interchangeable (see docs/CONTRACTS.md). */
|
|
124
|
+
export interface OverflowEvidence {
|
|
125
|
+
horizontalOverflow: boolean;
|
|
126
|
+
verticalOverflow: boolean;
|
|
127
|
+
overflowX: string;
|
|
128
|
+
overflowY: string;
|
|
129
|
+
}
|
|
130
|
+
export interface WindowScrollSnapshot {
|
|
131
|
+
scrollX: number;
|
|
132
|
+
scrollY: number;
|
|
133
|
+
}
|
|
134
|
+
/** `documentElement`/`body` are omitted (not fabricated) when the browser's own scrolling/root-element representation makes them not meaningfully distinct or not observable. */
|
|
135
|
+
export interface DocumentScrollSnapshot {
|
|
136
|
+
root: ScrollableMetrics;
|
|
137
|
+
rootOverflow: OverflowEvidence;
|
|
138
|
+
documentElement?: ScrollableMetrics;
|
|
139
|
+
body?: ScrollableMetrics;
|
|
140
|
+
}
|
|
141
|
+
export type VerticalViewportRelation = 'above' | 'intersecting' | 'below';
|
|
142
|
+
/**
|
|
143
|
+
* Derived only from a target's bounding rectangle plus viewport width/height
|
|
144
|
+
* - never from source styles or locator kind. A hidden/non-rendered target
|
|
145
|
+
* (see `TargetVisibility`/`target-hidden`) must not receive normal
|
|
146
|
+
* above/below/intersecting geometry; its `viewportRelation` field on
|
|
147
|
+
* `TargetScrollRuntimeState` is `not-applicable` instead (hidden is not the
|
|
148
|
+
* same claim as offscreen).
|
|
149
|
+
*/
|
|
150
|
+
export interface ViewportRelationEvidence {
|
|
151
|
+
vertical: VerticalViewportRelation;
|
|
152
|
+
intersectsViewport: boolean;
|
|
153
|
+
fullyWithinViewport: boolean;
|
|
154
|
+
}
|
|
155
|
+
/** Bounded per-configured-target runtime scroll/overflow/viewport evidence for one snapshot (initial or final). References targets by the existing stable target `name` - never a second region identity - and never copies the full `TargetEvidenceRecord`. */
|
|
156
|
+
export interface TargetScrollRuntimeState {
|
|
157
|
+
metrics: EvidenceField<ScrollableMetrics>;
|
|
158
|
+
overflow: EvidenceField<OverflowEvidence>;
|
|
159
|
+
boundingRect: EvidenceField<TargetGeometry>;
|
|
160
|
+
viewportRelation: EvidenceField<ViewportRelationEvidence>;
|
|
161
|
+
}
|
|
162
|
+
/** One point-in-time bounded runtime snapshot (captured either before or after the one scroll action). */
|
|
163
|
+
export interface ScrollRuntimeSnapshot {
|
|
164
|
+
window: WindowScrollSnapshot;
|
|
165
|
+
document: DocumentScrollSnapshot;
|
|
166
|
+
targets: Record<string, TargetScrollRuntimeState>;
|
|
167
|
+
}
|
|
168
|
+
export interface ScrollValueChange<T> {
|
|
169
|
+
before: T;
|
|
170
|
+
after: T;
|
|
171
|
+
changed: boolean;
|
|
172
|
+
}
|
|
173
|
+
/**
|
|
174
|
+
* `enteredViewport`/`leftViewport` are only evaluated when both the initial
|
|
175
|
+
* and final `viewportRelation` evidence are valid (never derived from a
|
|
176
|
+
* hidden-to-visible transition, which is a separate evidence concept - see
|
|
177
|
+
* docs/CONTRACTS.md).
|
|
178
|
+
*/
|
|
179
|
+
export interface TargetScrollTransition {
|
|
180
|
+
scrollTop: ScrollValueChange<number>;
|
|
181
|
+
scrollLeft: ScrollValueChange<number>;
|
|
182
|
+
boundingRectPosition: ScrollValueChange<{
|
|
183
|
+
x: number;
|
|
184
|
+
y: number;
|
|
185
|
+
}>;
|
|
186
|
+
viewportRelation: ScrollValueChange<VerticalViewportRelation>;
|
|
187
|
+
enteredViewport: boolean;
|
|
188
|
+
leftViewport: boolean;
|
|
189
|
+
}
|
|
190
|
+
/** Bounded explicit before/after change evidence for the one scroll action in this scenario - not a generic recursive diff engine. */
|
|
191
|
+
export interface ScrollScenarioTransition {
|
|
192
|
+
windowScrollX: ScrollValueChange<number>;
|
|
193
|
+
windowScrollY: ScrollValueChange<number>;
|
|
194
|
+
targets: Record<string, TargetScrollTransition>;
|
|
195
|
+
}
|
|
196
|
+
/**
|
|
197
|
+
* Conservative derived interpretation of which scrolling container actually
|
|
198
|
+
* moved. Never forces a winner: `none` when nothing relevant changed,
|
|
199
|
+
* `indeterminate` when more than one plausible owner changed or evidence is
|
|
200
|
+
* insufficient. `target` references the existing stable target `name`.
|
|
201
|
+
*/
|
|
202
|
+
export type ScrollOwnerInterpretation = {
|
|
203
|
+
kind: 'document';
|
|
204
|
+
} | {
|
|
205
|
+
kind: 'target';
|
|
206
|
+
target: string;
|
|
207
|
+
} | {
|
|
208
|
+
kind: 'none';
|
|
209
|
+
} | {
|
|
210
|
+
kind: 'indeterminate';
|
|
211
|
+
};
|
|
212
|
+
/** Top-level optional v0.3 evidence family. Present only when the request configured a `scrollScenario`; absent otherwise (never fabricated as empty/zeroed evidence). */
|
|
213
|
+
export interface ScrollScenarioEvidence {
|
|
214
|
+
initial: ScrollRuntimeSnapshot;
|
|
215
|
+
final: ScrollRuntimeSnapshot;
|
|
216
|
+
transition: ScrollScenarioTransition;
|
|
217
|
+
/** Always `source: 'derived'` with a non-empty `derivedFrom` (enforced by `isValidEvidenceField`/`isValidObservationArtifact`) - scroll ownership is an interpretation over browser-observed facts, never itself a direct browser observation. */
|
|
218
|
+
scrollOwner: EvidenceField<ScrollOwnerInterpretation>;
|
|
219
|
+
}
|
|
107
220
|
export interface ObservationArtifact {
|
|
108
221
|
artifactKind: typeof ARTIFACT_KIND;
|
|
109
222
|
schemaVersion: typeof SCHEMA_VERSION;
|
|
@@ -124,6 +237,7 @@ export interface ObservationArtifact {
|
|
|
124
237
|
};
|
|
125
238
|
pageEvidence: Record<string, EvidenceField<unknown>>;
|
|
126
239
|
targetEvidence: Record<string, TargetEvidenceRecord>;
|
|
240
|
+
scrollScenarioEvidence?: ScrollScenarioEvidence;
|
|
127
241
|
screenshot: EvidenceField<{
|
|
128
242
|
path: string;
|
|
129
243
|
}>;
|
|
@@ -151,5 +265,5 @@ export declare function getProducerInfo(): {
|
|
|
151
265
|
name: typeof PRODUCER_NAME;
|
|
152
266
|
version: string;
|
|
153
267
|
};
|
|
154
|
-
/** Structural validator for the frozen schema-1.
|
|
268
|
+
/** Structural validator for the frozen schema-1.2.0 ObservationArtifact contract. Treats `value` as arbitrary/unknown input. */
|
|
155
269
|
export declare function isValidObservationArtifact(value: unknown): SchemaValidationResult;
|