Commit c850df1
committed
feat: PyMEOS consumer for RFC #94 oo.dispatch — codegen 6/6
Implements the PyMEOS side of RFC #94 §5/§7: a consumer that emits
faithful geo/temporal mixins from the canonical objectModel.dispatch
metadata (MEOS-API #10 feat/object-model, merged into meos-idl.json),
closing the OO codegen to all 6 temporal type families with
equivalence by construction at the catalog level.
Additive only — the 4 derivable families' FAMILY_MODEL path
(emit_faithful_mixin) is untouched; #90/#91/#92/#93 mixins regenerate
byte-identical (--verify-oo-roundtrip + OoDispatchConsumer
.test_roundtrip_byte_identical, permanently enforced) and the #89
coverage gate stays green.
geo + the 4 temporal concretes (TFloat/TInt/TBool/TText) are not
derivable from the signature catalog (RFC #94 §1), so they are driven
by the verbatim objectModel.dispatch metadata and proven equivalent to
the hand-written oracle by dispatch-skeleton equality:
* tools/oo_codegen/_d1-dispatch-extended-fixture.json — the verbatim
§7 dispatch metadata (== MEOS-API #10 objectModel.dispatch).
* tools/oo_codegen/_oracle_extended_methods.py — the byte-for-byte
hand-written editorial methods (AST-extracted) the proof checks
against; never executed, never imported.
* --verify-oo-dispatch-extended + OoDispatchConsumer
.test_extended_dispatch_matches_oracle: each of the 32 editorial
methods (geo at/minus/distance/nearest_approach_distance + each
concrete's always/ever/temporal eq·ne, at, minus) reduces to an
identical ordered dispatch skeleton — isinstance type-set, backing
symbol, arg transform, super-coerce, fallback, result wrap. 0
divergence: same native calls, same transforms, never reimplemented.
The closed argTransform vocabulary maps to PyMEOS idioms
(scalarValue, scalarCast-per-base, geoToGserialized with
geodeticFromSelf, stboxToGeo, innerPtr, textsetMake, list[str],
coerce + via:super).
Stacked on #94 (the RFC, including the verbatim §7 SoT).1 parent b0fe78e commit c850df1
5 files changed
Lines changed: 2095 additions & 0 deletions
| Original file line number | Diff line number | Diff line change | |
|---|---|---|---|
| |||
150 | 150 | | |
151 | 151 | | |
152 | 152 | | |
| 153 | + | |
| 154 | + | |
| 155 | + | |
| 156 | + | |
| 157 | + | |
| 158 | + | |
| 159 | + | |
| 160 | + | |
| 161 | + | |
| 162 | + | |
| 163 | + | |
| 164 | + | |
| 165 | + | |
| 166 | + | |
| 167 | + | |
| 168 | + | |
| 169 | + | |
| 170 | + | |
| 171 | + | |
| 172 | + | |
| 173 | + | |
| 174 | + | |
| 175 | + | |
| 176 | + | |
| 177 | + | |
| 178 | + | |
| 179 | + | |
| 180 | + | |
| 181 | + | |
| 182 | + | |
| 183 | + | |
| 184 | + | |
| 185 | + | |
153 | 186 | | |
154 | 187 | | |
0 commit comments