docs: OSM as 6th domain instance + RDF-OWL §10 Phase 2a/2b shipped + 2c queued#41
Merged
Merged
Conversation
…2c queued
Lands the OGAR-side docs PR queued for after lance-graph PR #473
(`cesium-osm-substrate-v1.md`) merged. Cites `D-OSM-*` IDs by
number per the consumer-wires-through-producer convention agreed in
2026-06-05 cross-session coordination.
# DOMAIN-INSTANCES.md changes
## §1 — instances table
Added 6th row: Geospatial / OSM as calibration (geographic). Status
"spec'd; runtime addendum shipped; ogar-from-osm-pbf queued."
## §2.6 (new) — Geospatial / OSM — geographic calibration
Parallel-structured to §2.1-§2.5 per runtime-session's ask. Lead-in
"What OSM proves: geography doesn't break the IR." Per the strongest
single-sentence statement of the substrate-reuse claim that the
runtime session asked be preserved verbatim:
> "The geographic litmus complements the anatomical one: the same
> compile-time HHTL primitive resolves `Femur is_a LongBone` AND
> `Marienplatz is_in Munich` in sub-microsecond."
Exercises (cites by D-OSM-* ID):
- **Spatial prefix-locality** — Cesium TMS quadkey as NiblePath
prefix (Q2 outcome locked in lance-graph PR #473 §2).
- **Tag-as-Class final / Arrow-list v1 fallback** — Q1 outcome:
Tag is a Class related via `has_tag: HasMany<Tag>` (SPO-natural
emission); v1 implementation ships the Arrow `List<Struct>` shape
in D-OSM-1/2 for cardinality control while Tag interning matures.
- **Palette256 codec (ADR-024) adopts its third domain** — OSM
tag values cluster within a tile; per-tile palette + const-table
lookup ~5-10× compression on way attributes. D-OSM-2 ingest
reports ρ-vs-reference per the ADR-024 adoption checklist.
- **D-OSM-3 is the OGAR-crossing deliverable** — the SPO triple
lift in lance-graph-ontology is the producer-side contract
ogar-from-osm-pbf (Phase 2c) consumes.
## §3 — capability coverage matrix
Added OSM column. Added two new rows that explicitly name OSM as
the load-bearing proof:
- **Spatial prefix routing** (Cesium TMS quadkey via NiblePath)
- **Palette256 codec adoption** (ADR-024) — second production
adoption alongside HIPAA security
Updated the coverage observation paragraph: "six together" (not
five), OSM hard-proves spatial prefix routing AND drives the second
production adoption of the palette256 codec.
# RDF-OWL-ALIGNMENT.md §10 changes
Updated the sequencing table to reflect reality:
- Phase 2a = ogar-adapter-ttl — SHIPPED (PR #37)
- Phase 2b = ogar-adapter-clickhouse-ddl — SHIPPED (PR #38 + #40
dotted-name fix)
- Phase 2c (NEW) = ogar-from-osm-pbf — Queued; consumes D-OSM-3's
SPO contract; Q1 (Tag-as-Class + Arrow-list fallback) and Q2
(Cesium TMS quadkey NiblePath) coordination outcomes pinned;
reports ρ-vs-reference per ADR-024 adoption checklist on first
per-country PBF run
# Verification
- cargo check --workspace --all-targets -> clean (docs-only)
- PII abort-guard (word-boundary) -> CLEAN both files
# Position in sequencing
Closes the OGAR-side queued action item from the 2026-06-05
cross-session OSM/Cesium coordination. Next:
- ADR-025 (Probe-free hot path) — still on offer; awaiting
runtime-session green light + runtime-side §11 ADR-024 callback
in lance-graph PR #473 (committed by runtime side after ADR-024
merged).
- Phase 3 — vart-backend on ogar-knowable-from (self-contained
sprint; no cross-session coordination needed).
- Phase 2c implementation — ogar-from-osm-pbf scaffold proper
(after D-OSM-3 SPO surface is observable runtime-side).
https://claude.ai/code/session_01PBTGaPCSnnt6u3pjXpbLwY
![chatgpt-codex-connector[bot]](https://avatars.githubusercontent.com/in/1144995?s=60&v=4){kind=small}
There was a problem hiding this comment.
💡 Codex Review
Here are some automated review suggestions for this pull request.
Reviewed commit: 1bb5497292
ℹ️ About Codex in GitHub
Your team has set up Codex to review pull requests in this repo. Reviews are triggered when you
- Open a pull request for review
- Mark a draft as ready
- Comment "@codex review".
If Codex has suggestions, it will comment; otherwise it will react with 👍.
Codex can also answer questions or update the PR. Try commenting "@codex address that feedback".
Comment on lines
+128
to
+130
| **What OSM proves: geography doesn't break the IR.** OSM IDs are | ||
| *already* prefix-structured (`country/region/city/street/house`), so | ||
| the adapter is doing identity-*extraction*, not identity-construction |
There was a problem hiding this comment.
This treats OSM element IDs as geographic prefixes, but OSM nodes/ways/relations use numeric IDs in per-element-type ID spaces, not country/region/city/street/house paths (the OSM data model notes that different element types can share the same ID and be unrelated/geographically distant: https://wiki.openstreetmap.org/wiki/Data_model). In the ogar-from-osm-pbf plan, relying on identity-extraction from IDs would produce non-local or colliding NiblePath keys; the geographic prefix needs to be derived separately from coordinates/tiles or relations instead of the raw OSM ID.
Useful? React with 👍 / 👎.
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
2 participants
Add this suggestion to a batch that can be applied as a single commit.This suggestion is invalid because no changes were made to the code.Suggestions cannot be applied while the pull request is closed.Suggestions cannot be applied while viewing a subset of changes.Only one suggestion per line can be applied in a batch.Add this suggestion to a batch that can be applied as a single commit.Applying suggestions on deleted lines is not supported.You must change the existing code in this line in order to create a valid suggestion.Outdated suggestions cannot be applied.This suggestion has been applied or marked resolved.Suggestions cannot be applied from pending reviews.Suggestions cannot be applied on multi-line comments.Suggestions cannot be applied while the pull request is queued to merge.Suggestion cannot be applied right now. Please check back later.
Summary
Lands the OGAR-side docs PR queued for after lance-graph PR #473 (
cesium-osm-substrate-v1.md) merged. CitesD-OSM-*IDs by number per the consumer-wires-through-producer convention agreed in 2026-06-05 cross-session coordination.Two files touched:
docs/DOMAIN-INSTANCES.md— §1 table + new §2.6 + §3 matrix columndocs/RDF-OWL-ALIGNMENT.md— §10 sequencing table reflects realityDOMAIN-INSTANCES.md — §2.6 (new) — Geospatial / OSM
Parallel-structured to §2.1-§2.5 per runtime-session's ask. Lead-in: "What OSM proves: geography doesn't break the IR."
Verbatim §6 callout preserved as the runtime session requested:
That's the falsifiable property — measurable, not aspirational.
Exercises (cites by
D-OSM-*ID):NiblePathprefix — Q2 outcome locked in lance-graph PR #473 §2Classrelated viahas_tag: HasMany<Tag>(SPO-natural); v1 ships ArrowList<Struct>shape in D-OSM-1/2 for cardinality control while Tag interning matureslance-graph-ontology— producer-side contractogar-from-osm-pbfconsumes§3 capability matrix — added OSM column + two new rows
Coverage observation now reads "six together" — OSM is the only one that hard-proves spatial prefix routing AND drives the second production adoption of the palette256 codec.
RDF-OWL-ALIGNMENT.md §10 — sequencing table reflects reality
ogar-adapter-ttlscaffoldogar-adapter-clickhouse-ddlscaffoldogar-from-osm-pbfscaffoldD-OSM-3SPO contract; Q1 + Q2 outcomes pinned; ρ-vs-reference reporting wiredPhase 2c entry cites lance-graph PR #473's deliverable IDs (D-OSM-1/2/3) by number — no "TBD" placeholders.
Verification
cargo check --workspace --all-targets→ clean (docs-only PR)Position in sequencing
Closes the OGAR-side queued action item from 2026-06-05 cross-session OSM/Cesium coordination. Next:
vart-backendonogar-knowable-from(self-contained sprint; no cross-session coordination needed)ogar-from-osm-pbfscaffold proper (after D-OSM-3 SPO surface is observable runtime-side per the D-OSM-2 → D-OSM-3 gating incesium-osm-substrate-v1.md§4 phase sequencing)https://claude.ai/code/session_01PBTGaPCSnnt6u3pjXpbLwY