Landed grammar evidence · 2026-08-10
Plane-qualified sections and local arc geometry
The public grammar now distinguishes a section's plane, an object's local circle representation and the machine-global cylindrical coordinate. Sampling order remains provenance rather than Standard Name identity.
Semantic separation
| Identity | Result | Semantic distinction |
|---|---|---|
poloidal_plane_cross_section | Accepted | A cross-section whose identity includes the poloidal section plane. |
poloidal_cross_section | Accepted | The pre-existing poloidal axis projection of cross_section; it is not reinterpreted as a plane. |
poloidal_plane_cross_sectional_area_of_conductor_cross_section | Accepted | The cross-sectional area of a conductor section, qualified by its poloidal plane. |
local_circle_radius_of_passive_loop_element | Accepted | An object-local circle representation radius owned by a passive-loop element. |
radial_coordinate_of_passive_loop_element | Accepted | The element's machine-global cylindrical radial coordinate. |
radial_outline_of_passive_loop_element | Accepted | The radial component of the element outline, distinct from both radius meanings. |
local_circle_radius | Rejected | A local representation radius has no identity without an owner. |
radial_local_circle_radius_of_passive_loop_element | Rejected | A global radial projection cannot be combined with the owner-local circle radius. |
first_local_circle_radius_of_passive_loop_element | Rejected | Sample order stays in source provenance and never enters the Standard Name. |
Grammar contract delivered
| Surface | Landed behavior |
|---|---|
| Section plane | Closed semantic vocabulary ["poloidal"], serialized canonically through the unambiguous poloidal_plane_ segment. |
| Geometry representation | Closed local_circle representation segment with an owner requirement and explicit conflicts against global coordinate projections. |
| Parser and composer | Strict parse, recursive IR, flat-model projection and rendering preserve both plane-marked and axis-projected identities losslessly. |
| Public API | Generated enums/constants and grammar context expose both closed segments to downstream consumers. |
| Vocabulary hygiene | The lexical token poloidal_plane is unique across segments; no ambiguity is hidden by an overlap allowlist. |
Verification record
The first independent broad run against ef0165b correctly failed: 4 failed, 1,989 passed, 33 skipped and 82 expected failures. It exposed documentation extraction, two projection/plane round-trip ambiguities and a vocabulary collision. The corrective commit 03b18ea introduced the canonical _plane_ marker and repaired all four findings.
| Gate | Result | Evidence |
|---|---|---|
| Focused correction | 4/4 regressions and 13/13 focused geometry tests passed | 03b18ea |
| Independent full suite | 1,993 passed, 33 skipped, 82 expected failures, 2 warnings in 932.76 s; 91% total coverage | Detached corrected tree |
| Check-only gates | Ruff lint, Ruff formatting and grammar code-generation drift passed | Independent verification worker |
| Integrated tree | 5/5 post-merge public-behavior smoke tests passed in 0.48 s | b32f6b8 |
| Tree identity | Corrected and integrated trees both 533ba5a53af0a4114a1806ca57ed36465da9b1a7 | No merge-content drift |
Repository boundary retained
ISN owns the segment ordering, closed vocabularies, parser, composer, semantic constraints, generated public types, grammar context and validation. No DD source-path interpretation, graph membership, promotion authority or recovery transaction moved into this repository; those remain imas-codex responsibilities.