Skip to content

Codex/g0 geometry baseline #4

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Merged
edigonzales merged 3 commits into from
Nov 6, 2026
Merged

Codex/g0 geometry baseline #4

Show file tree
Hide file tree
Changes from all commits
Commits
Show all changes
3 commits
Select commit Hold shift + click to select a range
0f7aae1
Measure pinned validator resources on demand
edigonzales Nov 6, 2026
b93515e
Pin bounded topology and arc reference probes
edigonzales Nov 6, 2026
22be5ae
Record measured geometry baseline and stop-path evidence
edigonzales Nov 6, 2026
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
27 changes: 27 additions & 0 deletions docs/reference/iox-legacy.md
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -323,6 +323,33 @@ getrennte Vertragsfelder. [#296][v296], [PR #112][i112],
unter `-Xmx2g` erfordert Messungen für die zugelassenen Workloads.
[Entwurf zu Ressourcen und Geometrie][resource-contract].

### Lokale Geometrie-Baseline

Zwölf synthetische [Profile](../../testdata/reference/iox/geometry-cases.json)
liefen am 6. November 2026 mit ilivalidator 1.15.0, Temurin 25.0.2+10
und `-Xmx2g` auf macOS arm64. Sieben Transfers wurden akzeptiert,
fünf mit den erwarteten Diagnosen abgewiesen. AREA und `areAreas(ALL, …)`
akzeptierten den gemeinsamen geraden Rand und erkannten die Kreuzung.
Bei identischen XTF-2.4-Bytes akzeptierte AREA eine Bogenüberlappung von
rund 0,0481 m bei modellierten 0,050 m. `areAreas(ALL, …)` wies sie mit
seiner Nulltoleranz ab. Die normative Funktionspolicy bleibt offen.
Die separate Rundungsprobe vergleicht gemeinsame Kante und geradlinige
Überlagerung. Beim selbstschneidenden Ring belegt das Log den Ausfall
der AREA-Gruppenprüfung nach dem SURFACE-Fehler. [#468][v468]

Die zwölf Läufe erreichten bis 76,8 MiB abgetasteten Heap, 160,4 MiB RSS
und 1 ms kumulierte GC-Zeit. Die abgetastete Temp-Spitze stieg in beiden
Gittern von rund 57 KiB bei 100 Polygonen auf 574 KiB bei 1’000 Polygonen.
Beim JVM-Exit war das Temp-Verzeichnis in allen zwölf Läufen leer.
Je drei Wiederholungen der beiden 1’000er-Gitter ergaben Medianwerte von
328 ms für disjunkte Flächen und 316 ms für gemeinsame Ränder.
Nach einer am Ende des Messblocks beobachteten Lastspitze wurde der
letzte Lauf mit gemeinsamen Rändern gezielt wiederholt. Die Zeiten
enthalten den JVM-Start. Die Stichproben können
kurze Heap- und Temp-Spitzen verfehlen. Produktionsdaten und
Kandidatenzahlen blieben offen.
[Benchmarkmodus](../../tools/iox-reference-harness/README.md#geometrie-und-ressourcen-messen)

## Normbelege

| Aussage | Gepinnte PDF-Seiten und Auszüge |
Expand Down
365 changes: 365 additions & 0 deletions testdata/reference/iox/geometry-cases.json
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -0,0 +1,365 @@
[
{
"id": "area-grid-disjoint-100",
"mode": "validate",
"model": "ili23/Reference23.ili",
"xtf": "generated/area-grid-disjoint-100.xtf",
"expectation": "positive",
"workload": {
"profile": "grid-disjoint",
"check": "AREA",
"objects": 100,
"polygons": 100,
"rings": 100,
"straightSegments": 400,
"arcSegments": 0,
"spatialCandidates": null,
"seed": 3,
"gridSpacing": 3
},
"requiredInfo": [
"validate AREA Reference23.Records.Parcel.shape...",
"object count 100 (structured elements 0)"
],
"diagnostics": [],
"generate": {
"class": "Reference23.Records.Parcel",
"seed": 3,
"spacing": 3
}
},
{
"id": "area-grid-disjoint-1000",
"mode": "validate",
"model": "ili23/Reference23.ili",
"xtf": "generated/area-grid-disjoint-1000.xtf",
"expectation": "positive",
"workload": {
"profile": "grid-disjoint",
"check": "AREA",
"objects": 1000,
"polygons": 1000,
"rings": 1000,
"straightSegments": 4000,
"arcSegments": 0,
"spatialCandidates": null,
"seed": 3,
"gridSpacing": 3
},
"requiredInfo": [
"validate AREA Reference23.Records.Parcel.shape...",
"object count 1000 (structured elements 0)"
],
"diagnostics": [],
"generate": {
"class": "Reference23.Records.Parcel",
"seed": 3,
"spacing": 3
}
},
{
"id": "area-grid-shared-edges-100",
"mode": "validate",
"model": "ili23/Reference23.ili",
"xtf": "generated/area-grid-shared-edges-100.xtf",
"expectation": "positive",
"workload": {
"profile": "grid-shared-edges",
"check": "AREA",
"objects": 100,
"polygons": 100,
"rings": 100,
"straightSegments": 400,
"arcSegments": 0,
"spatialCandidates": null,
"seed": 3,
"gridSpacing": 2
},
"requiredInfo": [
"validate AREA Reference23.Records.Parcel.shape...",
"object count 100 (structured elements 0)"
],
"diagnostics": [],
"generate": {
"class": "Reference23.Records.Parcel",
"seed": 3,
"spacing": 2
}
},
{
"id": "area-grid-shared-edges-1000",
"mode": "validate",
"model": "ili23/Reference23.ili",
"xtf": "generated/area-grid-shared-edges-1000.xtf",
"expectation": "positive",
"workload": {
"profile": "grid-shared-edges",
"check": "AREA",
"objects": 1000,
"polygons": 1000,
"rings": 1000,
"straightSegments": 4000,
"arcSegments": 0,
"spatialCandidates": null,
"seed": 3,
"gridSpacing": 2
},
"requiredInfo": [
"validate AREA Reference23.Records.Parcel.shape...",
"object count 1000 (structured elements 0)"
],
"diagnostics": [],
"generate": {
"class": "Reference23.Records.Parcel",
"seed": 3,
"spacing": 2
}
},
{
"id": "area-rounding-shared",
"mode": "validate",
"model": "ili23/Reference23.ili",
"xtf": "generated/area-rounding-shared.xtf",
"expectation": "positive",
"workload": {
"profile": "decimal-rounding",
"check": "AREA",
"objects": 2,
"polygons": 2,
"rings": 2,
"straightSegments": 8,
"arcSegments": 0,
"spatialCandidates": null
},
"requiredInfo": [
"validate AREA Reference23.Records.Parcel.shape...",
"object count 2 (structured elements 0)"
],
"diagnostics": [],
"generate": {
"class": "Reference23.Records.Parcel",
"rings": [
[["10.00", "10.00"], ["20.00", "10.00"], ["20.00", "20.00"], ["10.00", "20.00"], ["10.00", "10.00"]],
[["19.995", "10.00"], ["30.00", "10.00"], ["30.00", "20.00"], ["19.995", "20.00"], ["19.995", "10.00"]]
]
}
},
{
"id": "area-rounding-overlap",
"mode": "validate",
"model": "ili23/Reference23.ili",
"xtf": "generated/area-rounding-overlap.xtf",
"expectation": "negative",
"workload": {
"profile": "decimal-rounding",
"check": "AREA",
"objects": 2,
"polygons": 2,
"rings": 2,
"straightSegments": 8,
"arcSegments": 0,
"spatialCandidates": null
},
"requiredInfo": [
"validate AREA Reference23.Records.Parcel.shape...",
"object count 2 (structured elements 0)"
],
"diagnostics": [
"Error: Reference23.Records.Parcel: tid parcel-1: Overlay coord1 (19.990, 10.000), coord2 (20.000, 10.000), tids parcel-1, parcel-2",
"Error: Reference23.Records.Parcel: tid parcel-1: Intersection coord1 (19.990, 10.000), tids parcel-1, parcel-2",
"Error: Reference23.Records.Parcel: tid parcel-1: Intersection coord1 (20.000, 10.000), tids parcel-1, parcel-2",
"Error: Reference23.Records.Parcel: tid parcel-1: Intersection coord1 (20.000, 20.000), tids parcel-1, parcel-2",
"Error: Reference23.Records.Parcel: tid parcel-1: Intersection coord1 (19.990, 20.000), tids parcel-1, parcel-2",
"Error: Reference23.Records.Parcel: tid parcel-1: Overlay coord1 (19.990, 20.000), coord2 (20.000, 20.000), tids parcel-1, parcel-2",
"Error: failed to validate AREA Reference23.Records.Parcel.shape"
],
"generate": {
"class": "Reference23.Records.Parcel",
"rings": [
[["10.00", "10.00"], ["20.00", "10.00"], ["20.00", "20.00"], ["10.00", "20.00"], ["10.00", "10.00"]],
[["19.994", "10.00"], ["30.00", "10.00"], ["30.00", "20.00"], ["19.994", "20.00"], ["19.994", "10.00"]]
]
}
},
{
"id": "area-self-crossing-ring",
"mode": "validate",
"model": "ili23/Reference23.ili",
"xtf": "generated/area-self-crossing-ring.xtf",
"expectation": "negative",
"workload": {
"profile": "invalid-ring",
"check": "SURFACE topology; AREA skipped",
"objects": 1,
"polygons": 1,
"rings": 1,
"straightSegments": 4,
"arcSegments": 0,
"spatialCandidates": null
},
"requiredInfo": [
"AREA topology of attribute shape not validated, validation of SURFACE topology failed in attribute shape",
"object count 1 (structured elements 0)"
],
"diagnostics": [
"Error: Reference23.Records.Parcel.shape: Intersection coord1 (15.000, 15.000), tids parcel-1, parcel-1"
],
"forbiddenInfo": [
"validate AREA Reference23.Records.Parcel.shape..."
],
"generate": {
"class": "Reference23.Records.Parcel",
"rings": [
[["10.00", "10.00"], ["20.00", "20.00"], ["20.00", "10.00"], ["10.00", "20.00"], ["10.00", "10.00"]]
]
}
},
{
"id": "areareas-shared-edge-23",
"mode": "validate",
"model": "ili23/Geometry23.ili",
"xtf": "generated/areareas-shared-edge-23.xtf",
"expectation": "positive",
"workload": {
"profile": "areAreas-straight",
"check": "areAreas(ALL, ...)",
"objects": 2,
"polygons": 2,
"rings": 2,
"straightSegments": 8,
"arcSegments": 0,
"spatialCandidates": null
},
"requiredInfo": [
"validate set constraint Geometry23.Samples.SurfaceParcel.Constraint1...",
"object count 2 (structured elements 0)"
],
"requiredPools": ["ItfAreaPolygon2Linetable"],
"diagnostics": [],
"forbiddenInfo": [
"validate AREA Geometry23.Samples.SurfaceParcel.shape..."
],
"generate": {
"class": "Geometry23.Samples.SurfaceParcel",
"rings": [
[["10.00", "10.00"], ["20.00", "10.00"], ["20.00", "20.00"], ["10.00", "20.00"], ["10.00", "10.00"]],
[["20.00", "10.00"], ["30.00", "10.00"], ["30.00", "20.00"], ["20.00", "20.00"], ["20.00", "10.00"]]
]
}
},
{
"id": "areareas-overlap-23",
"mode": "validate",
"model": "ili23/Geometry23.ili",
"xtf": "generated/areareas-overlap-23.xtf",
"expectation": "negative",
"workload": {
"profile": "areAreas-straight",
"check": "areAreas(ALL, ...)",
"objects": 2,
"polygons": 2,
"rings": 2,
"straightSegments": 8,
"arcSegments": 0,
"spatialCandidates": null
},
"requiredInfo": [
"validate set constraint Geometry23.Samples.SurfaceParcel.Constraint1...",
"evaluateAreArea1(): Geometry23.Samples.SurfaceParcel:INTERLIS.areAreas returned false (Validator.java:2658)",
"object count 2 (structured elements 0)"
],
"requiredPools": ["ItfAreaPolygon2Linetable"],
"diagnostics": [
"Error: Geometry23.Samples.SurfaceParcel: tid parcel-2/shape[1]: Intersection coord1 (20.000, 15.000), tids parcel-1/shape[1], parcel-2/shape[1]",
"Error: Geometry23.Samples.SurfaceParcel: tid parcel-2/shape[1]: Intersection coord1 (15.000, 20.000), tids parcel-1/shape[1], parcel-2/shape[1]",
"Error: Set Constraint Geometry23.Samples.SurfaceParcel.Constraint1 is not true."
],
"forbiddenInfo": [
"validate AREA Geometry23.Samples.SurfaceParcel.shape..."
],
"generate": {
"class": "Geometry23.Samples.SurfaceParcel",
"rings": [
[["10.00", "10.00"], ["20.00", "10.00"], ["20.00", "20.00"], ["10.00", "20.00"], ["10.00", "10.00"]],
[["15.00", "15.00"], ["25.00", "15.00"], ["25.00", "25.00"], ["15.00", "25.00"], ["15.00", "15.00"]]
]
}
},
{
"id": "area-arc-below-tolerance-24",
"mode": "validate",
"model": "ili24/GeometryArc24.ili",
"xtf": "ili24/arc-below-tolerance.xtf",
"expectation": "positive",
"workload": {
"profile": "arc-tolerance",
"check": "AREA",
"objects": 2,
"polygons": 2,
"rings": 2,
"straightSegments": 7,
"arcSegments": 1,
"spatialCandidates": null
},
"requiredInfo": [
"validate AREA GeometryArc24.Records.Parcel.shape...",
"object count 2 (structured elements 0)"
],
"diagnostics": []
},
{
"id": "area-arc-above-tolerance-24",
"mode": "validate",
"model": "ili24/GeometryArc24.ili",
"xtf": "ili24/arc-above-tolerance.xtf",
"expectation": "negative",
"workload": {
"profile": "arc-tolerance",
"check": "AREA",
"objects": 2,
"polygons": 2,
"rings": 2,
"straightSegments": 7,
"arcSegments": 1,
"spatialCandidates": null
},
"requiredInfo": [
"validate AREA GeometryArc24.Records.Parcel.shape...",
"object count 2 (structured elements 0)"
],
"diagnostics": [
"Error: GeometryArc24.Records.Parcel: tid arc-left: Intersection overlap 0.052109638456386165, coord1 (20.000, 10.000), coord2 (20.000, 29.123), tids arc-left, arc-right",
"Error: failed to validate AREA GeometryArc24.Records.Parcel.shape"
]
},
{
"id": "areareas-arc-below-tolerance-24",
"mode": "validate",
"model": "ili24/areareas/GeometryArc24.ili",
"xtf": "ili24/arc-below-tolerance.xtf",
"expectation": "negative",
"workload": {
"profile": "arc-tolerance-policy",
"check": "areAreas(ALL, ...)",
"objects": 2,
"polygons": 2,
"rings": 2,
"straightSegments": 7,
"arcSegments": 1,
"spatialCandidates": null,
"assessment": "UNRESOLVED"
},
"requiredInfo": [
"validate set constraint GeometryArc24.Records.Parcel.Constraint1...",
"evaluateAreArea1(): GeometryArc24.Records.Parcel:INTERLIS.areAreas returned false (Validator.java:2658)",
"object count 2 (structured elements 0)"
],
"diagnostics": [
"Error: GeometryArc24.Records.Parcel: tid arc-left/shape[1]: Intersection overlap 0.04811791461327175, coord1 (20.000, 10.000), coord2 (20.000, 29.057), tids arc-left/shape[1], arc-right/shape[1]",
"Error: Set Constraint GeometryArc24.Records.Parcel.Constraint1 is not true."
],
"forbiddenInfo": [
"validate AREA GeometryArc24.Records.Parcel.shape..."
]
}
]
Loading
Loading