Skip to content

v3.0.0 — Graph-Scoped Temporal Storage (spec-223, breaking storage-layout change)

Choose a tag to compare

View all tags
@tom-dyar tom-dyar released this 11 Sep 16:59
· 189 commits to main since this release
v3.0.0
d46d602
This commit was signed with the committer’s verified signature.
isc-tdyar Thomas Dyar
SSH Key Fingerprint: DQDKyCYcvY8LvXs8wzD7Meo713hil4623lWi/sdA4yQ
Verified
Learn about vigilant mode.

v3.0.0 (2026-09-11)

Spec 223 — Graph-Scoped Temporal Storage (storage-layout breaking change)

Adds the graph key as the first subscript of every temporal ^KG global, making the
temporal index graph-scoped with the same convention established for structural
adjacency in spec-214.

Breaking storage-layout change: existing ^KG("tout", ts, ...) flat entries are
no longer read by the updated methods. Deployments with pre-3.0 temporal data must
run TemporalIndex.MigrateToGraphScoped() to rekey entries to ^KG("tout", 0, ts, ...).
New deployments are unaffected.

What changed

  • ^KG("tout"/"tin"/"bucket"/"tagg"/"edgeprop") — all five temporal globals now use
    graphKey as first subscript. Default graph = integer 0 (same convention as
    ^KG("out"/"in"/"deg"/"degp") from spec-214).
  • All 13 TemporalIndex methods gain graphId As %String = "" as first parameter
    (default = default graph). Existing callers with no graphId argument are unaffected.
  • MigrateToGraphScoped() classmethod added — rewrites flat entries to (0, ts, ...)
    atomically in batches of 10,000. Idempotent.
  • BenchSeeder.cls deleted — pre-spec-214 fossil that bypassed the TemporalIndex seam.
  • TemporalIndexMS.GetBucketCount updated to accept and pass graphId.
  • write_temporal_edge in store_protocol.py and iris_sql_store.py gains
    graph: Optional[str] = None parameter, now wired through to InsertEdge.
  • get_edges_in_window gains graph: Optional[str] = None — scoped queries.
  • create_edge_temporal(graph="acme") now writes to ^KG("tout", "acme", ts, ...)
    instead of the SQL-only mirror (which remains as a second write).

Decisive test

tests/integration/test_223_temporal_graph_scope.py — 11 tests. The decisive fixture:
two graphs with identical source/predicate/target/timestamp. Each graph's QueryWindow
returns only its own edge. Purging graph A leaves graph B untouched. Velocity, burst
detection, and aggregate counts stay separated per graph.

ADRs

  • docs/adr/0001-graph-key-as-first-subscript.md — the storage layout contract.
  • docs/adr/0002-temporal-globals-are-not-directly-accessible.md — the seam contract.
Assets 2
Loading