iris-vector-graph 2.7.1__tar.gz → 2.15.0__tar.gz

{iris_vector_graph-2.7.1 → iris_vector_graph-2.15.0}/PKG-INFO

@@ -1,6 +1,6 @@
 Metadata-Version: 2.5
 Name: iris-vector-graph
-Version: 2.7.1
+Version: 2.15.0
 Summary: Native graph database layer for InterSystems IRIS — openCypher, hybrid vector search, temporal property graph, RDF export, SHACL validation
 Project-URL: Homepage, https://github.com/intersystems-community/iris-vector-graph
 Project-URL: Documentation, https://github.com/intersystems-community/iris-vector-graph/tree/main/docs
@@ -96,6 +96,8 @@ Requires-Dist: matplotlib>=3.7.0; extra == 'visualization'
 Requires-Dist: plotly>=5.15.0; extra == 'visualization'
 Description-Content-Type: text/markdown
 
+<!-- markdownlint-disable MD013 -->
+
 # iris-vector-graph
 
 **Turn InterSystems IRIS into a graph + vector database** — openCypher queries, HNSW/BM25 hybrid search, temporal property graph, RDF/SHACL/PROV-O semantic layer, and Neo4j Bolt protocol compatibility.
@@ -285,6 +287,50 @@ reference, SHACL shape writing, PROV-O vocabulary mapping, and integration patte
 
 ---
 
+## Non-USER Namespace Deployment
+
+By default IVG connects to the `USER` namespace. When deploying against a
+HealthShare, Ensemble, or multi-tenant IRIS instance where data lives in a
+different namespace, pass `namespace=` at engine construction:
+
+```python
+from iris_vector_graph import IRISGraphEngine
+import iris.dbapi as dbapi
+
+conn = dbapi.connect(hostname="...", port=1972, namespace="HSCUSTOM", ...)
+engine = IRISGraphEngine(conn, namespace="HSCUSTOM")
+```
+
+On first use, the engine probes `$Data(^KG("deg"))` to verify the `^KG`
+globals are accessible. If they are absent a `WARNING` is logged naming the
+namespace and the fix. Set `IVG_STRICT_NAMESPACE=1` to upgrade the warning
+to a raised `NamespaceMismatchWarning`.
+
+### CPF global mapping
+
+If your graph data lives in a separate database, map the `^KG` global in the
+IRIS CPF file so the probe passes without copying data:
+
+```ini
+[Map.HSCUSTOM]
+Global=^KG,Directory=/db/IRISLOCALDATA/
+```
+
+After mapping, `$Data(^KG("deg"))` returns non-zero in `HSCUSTOM` and no
+warning is emitted.
+
+### Env var controls
+
+| Env var                        | Effect                                                        |
+| ------------------------------ | ------------------------------------------------------------- |
+| _(neither)_                    | `logging.warning` on mismatch, execution continues            |
+| `IVG_STRICT_NAMESPACE=1`       | `logging.warning` + raises `NamespaceMismatchWarning`         |
+| `IVG_IGNORE_NAMESPACE_CHECK=1` | Skip probe entirely (HealthShare platform-managed namespaces) |
+
+`IVG_IGNORE_NAMESPACE_CHECK=1` takes precedence over `IVG_STRICT_NAMESPACE=1`.
+
+---
+
 ## Documentation
 
 | Document                                                 | Contents                                                    |

{iris_vector_graph-2.7.1 → iris_vector_graph-2.15.0}/README.md

@@ -1,3 +1,5 @@
+<!-- markdownlint-disable MD013 -->
+
 # iris-vector-graph
 
 **Turn InterSystems IRIS into a graph + vector database** — openCypher queries, HNSW/BM25 hybrid search, temporal property graph, RDF/SHACL/PROV-O semantic layer, and Neo4j Bolt protocol compatibility.
@@ -187,6 +189,50 @@ reference, SHACL shape writing, PROV-O vocabulary mapping, and integration patte
 
 ---
 
+## Non-USER Namespace Deployment
+
+By default IVG connects to the `USER` namespace. When deploying against a
+HealthShare, Ensemble, or multi-tenant IRIS instance where data lives in a
+different namespace, pass `namespace=` at engine construction:
+
+```python
+from iris_vector_graph import IRISGraphEngine
+import iris.dbapi as dbapi
+
+conn = dbapi.connect(hostname="...", port=1972, namespace="HSCUSTOM", ...)
+engine = IRISGraphEngine(conn, namespace="HSCUSTOM")
+```
+
+On first use, the engine probes `$Data(^KG("deg"))` to verify the `^KG`
+globals are accessible. If they are absent a `WARNING` is logged naming the
+namespace and the fix. Set `IVG_STRICT_NAMESPACE=1` to upgrade the warning
+to a raised `NamespaceMismatchWarning`.
+
+### CPF global mapping
+
+If your graph data lives in a separate database, map the `^KG` global in the
+IRIS CPF file so the probe passes without copying data:
+
+```ini
+[Map.HSCUSTOM]
+Global=^KG,Directory=/db/IRISLOCALDATA/
+```
+
+After mapping, `$Data(^KG("deg"))` returns non-zero in `HSCUSTOM` and no
+warning is emitted.
+
+### Env var controls
+
+| Env var                        | Effect                                                        |
+| ------------------------------ | ------------------------------------------------------------- |
+| _(neither)_                    | `logging.warning` on mismatch, execution continues            |
+| `IVG_STRICT_NAMESPACE=1`       | `logging.warning` + raises `NamespaceMismatchWarning`         |
+| `IVG_IGNORE_NAMESPACE_CHECK=1` | Skip probe entirely (HealthShare platform-managed namespaces) |
+
+`IVG_IGNORE_NAMESPACE_CHECK=1` takes precedence over `IVG_STRICT_NAMESPACE=1`.
+
+---
+
 ## Documentation
 
 | Document                                                 | Contents                                                    |

{iris_vector_graph-2.7.1 → iris_vector_graph-2.15.0}/iris_src/src/Graph/KG/ArnoAccel.cls

@@ -11,12 +11,13 @@ ClassMethod Load(libPath As %String = "/tmp/libarno_callout.so") As %Boolean
 	Try {
 		Set dllid = $ZF(-4, 1, libPath)
 		If dllid = 0 Return 0
-		Set ^||ArnoAccel("dllid") = dllid
+		Set ^ArnoAccel("dllid") = dllid
+		Set ^ArnoAccel("lib_path") = libPath
 		For fn = "version","init","kg_pagerank_global","kg_ppr_global","kg_wcc_global","kg_cdlp_global","kg_subgraph_global","kg_khop_sample","kg_random_walk","kg_neighbor_agg" {
 			Set fid = $ZF(-4, 3, dllid, fn)
-			Set ^||ArnoAccel("fid", fn) = fid
+			Set ^ArnoAccel("fid", fn) = fid
 		}
-		Set initfid = ^||ArnoAccel("fid", "init")
+		Set initfid = ^ArnoAccel("fid", "init")
 		Do $ZF(-5, dllid, initfid)
 		Return 1
 	} Catch {
@@ -24,23 +25,29 @@ ClassMethod Load(libPath As %String = "/tmp/libarno_callout.so") As %Boolean
 	}
 }
 
+ClassMethod GetLibPath() As %String
+{
+	Return $Get(^ArnoAccel("lib_path"), "")
+}
+
 ClassMethod IsAvailable() As %Boolean
 {
-	If '$Data(^||ArnoAccel("dllid")) Return 0
-	Try {
-		Set verid = $ZF(-4, 3, ^||ArnoAccel("dllid"), "version")
-		Set ver = $ZF(-5, ^||ArnoAccel("dllid"), verid)
-		Return (ver '= "")
-	} Catch {
-		Return 0
+	If '$Data(^ArnoAccel("lib_path")) Return 0
+	If $Data(^ArnoAccel("dllid")) {
+		Try {
+			Set verid = $ZF(-4, 3, ^ArnoAccel("dllid"), "version")
+			Set ver = $ZF(-5, ^ArnoAccel("dllid"), verid)
+			If ver '= "" Return 1
+		} Catch {}
 	}
+	Return ..Load(^ArnoAccel("lib_path"))
 }
 
 ClassMethod CallFn(fn As %String, a1 As %String = "", a2 As %String = "", a3 As %String = "", a4 As %String = "") As %String [ Private ]
 {
-	Set dllid = $Get(^||ArnoAccel("dllid"), 0)
+	Set dllid = $Get(^ArnoAccel("dllid"), 0)
 	If dllid = 0 $$$ThrowStatus($$$ERROR($$$GeneralError,"arno not loaded"))
-	Set fid = $Get(^||ArnoAccel("fid", fn), 0)
+	Set fid = $Get(^ArnoAccel("fid", fn), 0)
 	If fid = 0 $$$ThrowStatus($$$ERROR($$$GeneralError,"arno function not found: "_fn))
 	If a1 = "" Return $ZF(-5, dllid, fid)
 	If a2 = "" Return $ZF(-5, dllid, fid, a1)

{iris_vector_graph-2.7.1 → iris_vector_graph-2.15.0}/iris_src/src/Graph/KG/EdgeScan.cls

@@ -198,4 +198,22 @@ ClassMethod BulkIngestNodesSQL(nodesJson As %String) As %Integer
 	Quit n
 }
 
+/// Remove ^KG("out"/"in"/"deg") entries for each node ID in the JSON array.
+/// Removes: out-adjacency (node as source), in-adjacency (node as target), degree counter.
+/// Returns count of nodes processed. Dangling in-refs where deleted node was a source are not removed.
+ClassMethod BulkDeleteAdjacency(nodeIdsJSON As %String) As %Integer
+{
+	Set arr = ##class(%DynamicArray).%FromJSON(nodeIdsJSON)
+	Set count = 0
+	Set iter = arr.%GetIterator()
+	While iter.%GetNext(.idx, .nodeId) {
+		If nodeId = "" { Continue }
+		Kill ^KG("out", 0, nodeId)
+		Kill ^KG("in", 0, nodeId)
+		Kill ^KG("deg", nodeId)
+		Set count = count + 1
+	}
+	Quit count
+}
+
 }

{iris_vector_graph-2.7.1 → iris_vector_graph-2.15.0}/iris_src/src/Graph/KG/TemporalIndex.cls

@@ -3,13 +3,27 @@ Class Graph.KG.TemporalIndex Extends %RegisteredObject
 
 Parameter BUCKET = 300;
 
-ClassMethod InsertEdge(source As %String, predicate As %String, target As %String, timestamp As %Integer = "", weight As %Double = 1.0, attrsJSON As %String = "", upsert As %Boolean = 0) As %Status
+/// Timestamp precision unit. "" = seconds (default). "ms" = milliseconds.
+Parameter TSUNIT As %String = "";
+
+/// Bucket width in milliseconds when TSUNIT="ms". Derived: BUCKET * 1000.
+Parameter BUCKETMS As %Integer = 300000;
+
+ClassMethod InsertEdge(source As %String, predicate As %String, target As %String, timestamp As %Integer = "", weight As %Double = 1.0, attrsJSON As %String = "", upsert As %Boolean = 0, suppressReverseIndex As %Boolean = 0, mode As %String = "") As %Status
 {
 	If timestamp = "" Set timestamp = ##class(%SYSTEM.SQL).DATEDIFF("ss", "1970-01-01 00:00:00", $ZDateTime($ZTimeStamp, 3, 1))
-	If upsert && $Data(^KG("tout", timestamp, source, predicate, target)) { Return 1 }
+	// Resolve effective mode: explicit mode overrides legacy upsert boolean.
+	// mode="" falls back to upsert semantics for backward compat.
+	If mode = "" { Set mode = $Select(upsert: "skip", 1: "insert") }
+	If mode = "skip" && $Data(^KG("tout", timestamp, source, predicate, target)) { Return 1 }
+	If mode = "update" {
+		// Kill stale edgeprop subtree before rewriting attrs.
+		Kill ^KG("edgeprop", timestamp, source, predicate, target)
+	}
 	Set ^KG("tout", timestamp, source, predicate, target) = weight
-	Set ^KG("tin", timestamp, target, predicate, source) = weight
-	Set bucket = timestamp \ ..#BUCKET
+	If 'suppressReverseIndex { Set ^KG("tin", timestamp, target, predicate, source) = weight }
+	Set tBucketDiv = $Select(..#TSUNIT="ms": ..#BUCKETMS, 1: ..#BUCKET)
+	Set bucket = timestamp \ tBucketDiv
 	Set tmp = $Increment(^KG("bucket", bucket, source))
 	Set ^KG("out", 0, source, predicate, target) = weight
 	Set ^KG("in", 0, target, predicate, source) = weight
@@ -28,7 +42,7 @@ ClassMethod InsertEdge(source As %String, predicate As %String, target As %Strin
 	}
 	// HLL sketch for COUNT DISTINCT of target values per (bucket, source, predicate).
 	// 16-register HLL using SHA1 hash. $SYSTEM.Encryption.SHA1Hash verified available in IRIS 2025.1.
-	// ~26% error rate for 16 registers — acceptable for fanout burst detection thresholds.
+	// ~26% error rate for 16 registers -- acceptable for fanout burst detection thresholds.
 	// HLL update is also NOT atomic under concurrent writes (same race as min/max above).
 	Do ..UpdateHLL(bucket, source, predicate, target)
 	If attrsJSON '= "" {
@@ -56,16 +70,18 @@ ClassMethod BulkInsert(batchJSON As %String, upsert As %Boolean = 0) As %Integer
 		If weight = "" Set weight = 1
 		If ts = 0 Set ts = ##class(%SYSTEM.SQL).DATEDIFF("ss", "1970-01-01 00:00:00", $ZDateTime($ZTimeStamp, 3, 1))
 		If upsert && $Data(^KG("tout", ts, source, predicate, target)) { Continue }
+		Set suppR = +item.%Get("sri")
 		Set ^KG("tout", ts, source, predicate, target) = weight
-		Set ^KG("tin", ts, target, predicate, source) = weight
-		Set bucket = ts \ ..#BUCKET
+		If 'suppR { Set ^KG("tin", ts, target, predicate, source) = weight }
+		Set tBucketDiv = $Select(..#TSUNIT="ms": ..#BUCKETMS, 1: ..#BUCKET)
+		Set bucket = ts \ tBucketDiv
 		Set tmp = $Increment(^KG("bucket", bucket, source))
 		Set ^KG("out", 0, source, predicate, target) = weight
 		Set ^KG("in", 0, target, predicate, source) = weight
 		Set tmp = $Increment(^KG("deg", source))
 		Set tmp = $Increment(^KG("tagg", bucket, source, predicate, "count"))
 		Set tmp = $Increment(^KG("tagg", bucket, source, predicate, "sum"), weight)
-		// WARNING: min/max not atomic — see InsertEdge comment. Same race condition applies.
+		// WARNING: min/max not atomic -- see InsertEdge comment. Same race condition applies.
 		If '$Data(^KG("tagg", bucket, source, predicate, "min")) || (weight < ^KG("tagg", bucket, source, predicate, "min")) { Set ^KG("tagg", bucket, source, predicate, "min") = weight }
 		If '$Data(^KG("tagg", bucket, source, predicate, "max")) || (weight > ^KG("tagg", bucket, source, predicate, "max")) { Set ^KG("tagg", bucket, source, predicate, "max") = weight }
 		Do ..UpdateHLL(bucket, source, predicate, target)
@@ -83,7 +99,7 @@ ClassMethod BulkInsert(batchJSON As %String, upsert As %Boolean = 0) As %Integer
 
 ClassMethod UpdateHLL(bucket As %Integer, source As %String, predicate As %String, value As %String) [ Private ]
 {
-	// 16-register HLL sketch. SHA1 first byte → register index, second byte → leading-zero count.
+	// 16-register HLL sketch. SHA1 first byte -> register index, second byte -> leading-zero count.
 	// Merge rule: keep max leading-zero count per register (standard HLL update).
 	Set hashBytes = $SYSTEM.Encryption.SHA1Hash(value)
 	Set regIdx = ($ASCII(hashBytes, 1) # 16) + 1
@@ -101,20 +117,48 @@ ClassMethod UpdateHLL(bucket As %Integer, source As %String, predicate As %Strin
 	}
 }
 
+/// Count distinct target nodes for source+predicate in a time window via HLL sketch.
+/// When source="" (empty string), counts across ALL sources matching the predicate.
+/// HLL registers are merged element-wise across all matching (source, predicate) pairs.
+/// Same ~26% error rate as per-source mode.
 ClassMethod GetDistinctCount(source As %String, predicate As %String, tsStart As %Integer, tsEnd As %Integer) As %Integer
 {
 	Set tsStart = +tsStart
 	Set tsEnd = +tsEnd
-	Set startBucket = tsStart \ ..#BUCKET
-	Set endBucket = tsEnd \ ..#BUCKET
+	Set tBucketDiv = $Select(..#TSUNIT="ms": ..#BUCKETMS, 1: ..#BUCKET)
+	Set startBucket = tsStart \ tBucketDiv
+	Set endBucket = tsEnd \ tBucketDiv
 	// Merge registers across buckets: element-wise max of 16 registers.
 	Set merged = $ListBuild(0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0)
 	For b = startBucket:1:endBucket {
-		Set hll = $Get(^KG("tagg", b, source, predicate, "hll"))
-		If hll = "" Continue
-		For i = 1:1:16 {
-			If $List(hll, i) > $List(merged, i) {
-				Set $List(merged, i) = $List(hll, i)
+		If source '= "" {
+			// Single-source path (original behavior)
+			Set hll = $Get(^KG("tagg", b, source, predicate, "hll"))
+			If hll = "" Continue
+			For i = 1:1:16 {
+				If $List(hll, i) > $List(merged, i) {
+					Set $List(merged, i) = $List(hll, i)
+				}
+			}
+		} Else {
+			// All-sources path: iterate every source key in this bucket
+			Set src = ""
+			For {
+				Set src = $Order(^KG("tagg", b, src))
+				Quit:(src = "")
+				Set p = ""
+				For {
+					Set p = $Order(^KG("tagg", b, src, p))
+					Quit:(p = "")
+					If predicate '= "" && (p '= predicate) { Continue }
+					Set hll = $Get(^KG("tagg", b, src, p, "hll"))
+					If hll = "" Continue
+					For i = 1:1:16 {
+						If $List(hll, i) > $List(merged, i) {
+							Set $List(merged, i) = $List(hll, i)
+						}
+					}
+				}
 			}
 		}
 	}
@@ -196,12 +240,13 @@ ClassMethod QueryWindowSources(predicate As %String, tsStart As %Integer, tsEnd
 	Return result _ "]"
 }
 
-ClassMethod GetVelocity(nodeId As %String, windowSec As %Integer = 300) As %Integer
+ClassMethod GetVelocity(nodeId As %String, windowSec As %Integer = 300, nowTs As %Integer = 0) As %Integer
 {
-	Set now = $ZTimeStamp
-	Set now = ##class(%SYSTEM.SQL).DATEDIFF("ss", "1970-01-01 00:00:00", $ZDateTime(now, 3, 1))
-	Set startBucket = (now - windowSec) \ ..#BUCKET
-	Set endBucket = now \ ..#BUCKET
+	Set now = $Select(nowTs > 0: nowTs,
+		1: ##class(%SYSTEM.SQL).DATEDIFF("ss", "1970-01-01 00:00:00", $ZDateTime($ZTimeStamp, 3, 1)))
+	Set tBucketDiv = $Select(..#TSUNIT="ms": ..#BUCKETMS, 1: ..#BUCKET)
+	Set startBucket = (now - windowSec) \ tBucketDiv
+	Set endBucket = now \ tBucketDiv
 	Set total = 0
 	For b = startBucket:1:endBucket {
 		Set total = total + $Get(^KG("bucket", b, nodeId), 0)
@@ -209,11 +254,13 @@ ClassMethod GetVelocity(nodeId As %String, windowSec As %Integer = 300) As %Inte
 	Return total
 }
 
-ClassMethod FindBursts(predicate As %String, windowSec As %Integer, threshold As %Integer) As %String
+ClassMethod FindBursts(predicate As %String, windowSec As %Integer, threshold As %Integer, nowTs As %Integer = 0) As %String
 {
-	Set now = ##class(%SYSTEM.SQL).DATEDIFF("ss", "1970-01-01 00:00:00", $ZDateTime($ZTimeStamp, 3, 1))
-	Set startBucket = (now - windowSec) \ ..#BUCKET
-	Set endBucket = now \ ..#BUCKET
+	Set now = $Select(nowTs > 0: nowTs,
+		1: ##class(%SYSTEM.SQL).DATEDIFF("ss", "1970-01-01 00:00:00", $ZDateTime($ZTimeStamp, 3, 1)))
+	Set tBucketDiv = $Select(..#TSUNIT="ms": ..#BUCKETMS, 1: ..#BUCKET)
+	Set startBucket = (now - windowSec) \ tBucketDiv
+	Set endBucket = now \ tBucketDiv
 	Set result = "["
 	Set first = 1
 	Set b = startBucket - 1
@@ -254,10 +301,74 @@ ClassMethod Purge()
 ClassMethod PurgeBefore(tsEnd As %Integer)
 {
 	Set tsEnd = +tsEnd
+	Set tBucketDiv = $Select(..#TSUNIT="ms": ..#BUCKETMS, 1: ..#BUCKET)
+	// Only kill aggregate buckets strictly before the bucket containing tsEnd.
+	Set maxSafeBucket = (tsEnd \ tBucketDiv) - 1
+	Set ts = ""
+	For {
+		Set ts = $Order(^KG("tout", ts))
+		Quit:(ts = "")!(ts >= tsEnd)
+		Set s = ""
+		For {
+			Set s = $Order(^KG("tout", ts, s))
+			Quit:s=""
+			Set p = ""
+			For {
+				Set p = $Order(^KG("tout", ts, s, p))
+				Quit:p=""
+				Set o = ""
+				For {
+					Set o = $Order(^KG("tout", ts, s, p, o))
+					Quit:o=""
+					Kill ^KG("tout", ts, s, p, o)
+					Kill ^KG("tin",  ts, o, p, s)
+					Kill ^KG("edgeprop", ts, s, p, o)
+				}
+			}
+		}
+		// Only kill aggregate buckets that are fully expired.
+		Set bucket = ts \ tBucketDiv
+		If bucket <= maxSafeBucket {
+			Kill ^KG("tagg", bucket)
+			Kill ^KG("bucket", bucket)
+		}
+		Kill ^KG("tout", ts)
+	}
+}
+
+/// Delete raw temporal edges in [tsStart, tsEnd), preserving aggregates and labelsets.
+/// tsStart=0 default: byte-identical to the v2.8.0 single-argument call.
+/// Returns "deleted:skipped" -- deleted count and skipped count (below tsStart).
+/// ^KG("labelset") is append-only and never touched by any purge method.
+ClassMethod PurgeRawBefore(tsEnd As %Integer, tsStart As %Integer = 0) As %String
+{
+	Set tsEnd = +tsEnd
+	Set tsStart = $Select(+tsStart < 0: 0, 1: +tsStart)
+	Set deleted = 0
+	Set skipped = 0
 	Set ts = ""
 	For {
 		Set ts = $Order(^KG("tout", ts))
-		Quit:(ts = "")!(ts > tsEnd)
+		Quit:(ts = "")!(ts >= tsEnd)
+		If ts < tsStart {
+			Set s = ""
+			For {
+				Set s = $Order(^KG("tout", ts, s))
+				Quit:s=""
+				Set p = ""
+				For {
+					Set p = $Order(^KG("tout", ts, s, p))
+					Quit:p=""
+					Set o = ""
+					For {
+						Set o = $Order(^KG("tout", ts, s, p, o))
+						Quit:o=""
+						Set skipped = skipped + 1
+					}
+				}
+			}
+			Continue
+		}
 		Set s = ""
 		For {
 			Set s = $Order(^KG("tout", ts, s))
@@ -273,17 +384,101 @@ ClassMethod PurgeBefore(tsEnd As %Integer)
 					Kill ^KG("tout", ts, s, p, o)
 					Kill ^KG("tin",  ts, o, p, s)
 					Kill ^KG("edgeprop", ts, s, p, o)
+					Set deleted = deleted + 1
 				}
 			}
 		}
-		// Remove tagg entries for buckets that are fully before tsEnd
-		Set bucket = ts \ ..#BUCKET
+		Kill ^KG("tout", ts)
+	}
+	Return deleted _ ":" _ skipped
+}
+
+/// Delete ^KG("tagg") and ^KG("bucket") entries in [bucketStart, bucketEnd] (inclusive).
+/// Raw edges (tout/tin/edgeprop) are never touched.
+/// Returns count of buckets removed. Returns 0 if bucketStart > bucketEnd.
+ClassMethod PurgeBucketRange(bucketStart As %Integer, bucketEnd As %Integer) As %Integer
+{
+	Set bucketStart = +bucketStart, bucketEnd = +bucketEnd
+	Set tCount = 0
+	If bucketStart > bucketEnd Quit 0
+	Set bucket = bucketStart - 1
+	For {
+		Set bucket = $Order(^KG("tagg", bucket))
+		Quit:(bucket="")!(bucket > bucketEnd)
 		Kill ^KG("tagg", bucket)
 		Kill ^KG("bucket", bucket)
-		Kill ^KG("tout", ts)
+		Set tCount = tCount + 1
+	}
+	Quit tCount
+}
+
+/// Intern an attribute JSON object: canonicalize, hash, store once, return SHA1 hex.
+/// Returns "" on invalid JSON input. Idempotent.
+/// Type fidelity: numbers intern as numbers, booleans as booleans, nulls as null.
+/// ^KG("labelset") is append-only and NEVER touched by PurgeRawBefore or PurgeBefore.
+/// Interned label sets outlive raw edges -- safe for 13-month aggregate retention.
+ClassMethod InternLabelSet(attrsJSON As %String) As %String
+{
+	Set tSC = $$$OK
+	Set obj = ##class(%DynamicObject).%FromJSON(attrsJSON)
+	If '$IsObject(obj) { Return "" }
+	// Collect keys into a local array for sorting
+	Set iter = obj.%GetIterator()
+	Kill keys
+	Set keyCount = 0
+	While iter.%GetNext(.key) {
+		Set keyCount = keyCount + 1
+		Set keys(key) = ""
 	}
+	// Build canonical JSON with sorted keys
+	Set canonical = "{"
+	Set first = 1
+	Set k = ""
+	For {
+		Set k = $Order(keys(k))
+		Quit:(k = "")
+		Set val = obj.%Get(k)
+		Set valType = obj.%GetTypeOf(k)
+		If 'first { Set canonical = canonical _ "," }
+		Set first = 0
+		// Encode key
+		Set canonical = canonical _ """" _ k _ """:"
+		// Encode value based on type
+		If valType = "number" {
+			Set canonical = canonical _ val
+		} ElseIf valType = "boolean" {
+			Set canonical = canonical _ $Select(val:"true", 1:"false")
+		} ElseIf valType = "null" {
+			Set canonical = canonical _ "null"
+		} Else {
+			Set canonical = canonical _ """" _ val _ """"
+		}
+	}
+	Set canonical = canonical _ "}"
+	// SHA1 hash -> lowercase hex
+	Set hashBytes = $SYSTEM.Encryption.SHA1Hash(canonical)
+	Set hex = ""
+	For i = 1:1:$Length(hashBytes) {
+		Set b = $ASCII(hashBytes, i)
+		Set hex = hex _ $Extract("0123456789abcdef", (b \ 16) + 1) _ $Extract("0123456789abcdef", (b # 16) + 1)
+	}
+	// Store if absent
+	If '$Data(^KG("labelset", hex)) {
+		Set ^KG("labelset", hex) = canonical
+	}
+	Return hex
+}
+
+/// Return the canonical JSON for a known label set hash. Returns "" if unknown.
+ClassMethod ResolveLabelSet(hash As %String) As %String
+{
+	Return $Get(^KG("labelset", hash), "")
 }
 
+/// WARNING: Edges written with suppressReverseIndex=1 (or "sri":1 in BulkInsert)
+/// are NOT visible via this method. Those edges write only to ^KG("tout") and have
+/// no ^KG("tin") entry. This is intentional. Callers mixing suppressed and
+/// non-suppressed edges will see only non-suppressed edges here.
 ClassMethod QueryWindowInbound(target As %String, predicate As %String, tsStart As %Integer, tsEnd As %Integer) As %String
 {
 	Set tsStart = +tsStart
@@ -323,8 +518,9 @@ ClassMethod GetAggregate(source As %String, predicate As %String, metric As %Str
 {
 	Set tsStart = +tsStart
 	Set tsEnd = +tsEnd
-	Set startBucket = tsStart \ ..#BUCKET
-	Set endBucket = tsEnd \ ..#BUCKET
+	Set tBucketDiv = $Select(..#TSUNIT="ms": ..#BUCKETMS, 1: ..#BUCKET)
+	Set startBucket = tsStart \ tBucketDiv
+	Set endBucket = tsEnd \ tBucketDiv
 	Set totalCount = 0, totalSum = 0
 	Set globalMin = "", globalMax = ""
 	For b = startBucket:1:endBucket {
@@ -349,8 +545,9 @@ ClassMethod GetBucketGroups(predicate As %String, tsStart As %Integer, tsEnd As
 {
 	Set tsStart = +tsStart
 	Set tsEnd = +tsEnd
-	Set startBucket = tsStart \ ..#BUCKET
-	Set endBucket = tsEnd \ ..#BUCKET
+	Set tBucketDiv = $Select(..#TSUNIT="ms": ..#BUCKETMS, 1: ..#BUCKET)
+	Set startBucket = tsStart \ tBucketDiv
+	Set endBucket = tsEnd \ tBucketDiv
 	Set prefixLen = $Length(sourcePrefix)
 	Kill totals
 	Set b = startBucket - 1

iris_vector_graph-2.15.0/iris_src/src/Graph/KG/TemporalIndexMS.cls

@@ -0,0 +1,18 @@
+/// Supported ms-precision subclass of TemporalIndex.
+/// TSUNIT="ms" with 300-second (300000ms) bucket width.
+/// Use this class directly for millisecond-precision temporal edge ingest and analytics.
+Class Graph.KG.TemporalIndexMS Extends Graph.KG.TemporalIndex
+{
+
+Parameter TSUNIT As %String = "ms";
+
+Parameter BUCKETMS As %Integer = 300000;
+
+/// Return the edge count stored in ^KG("bucket", bucket, node).
+/// Used by tests to verify bucket key assignment without embedded Python.
+ClassMethod GetBucketCount(bucket As %Integer, node As %String) As %Integer
+{
+	Return +$Get(^KG("bucket", bucket, node), 0)
+}
+
+}

{iris_vector_graph-2.7.1 → iris_vector_graph-2.15.0}/iris_src/src/Graph/KG/TraversalBuild.cls

@@ -7,7 +7,7 @@ ClassMethod BuildKG() As %Status
 		// Disable journaling for this process to maximize speed (requires %Admin_Operate)
 		// Do $System.Process.SetJournaling(0) 
 		
-		Kill ^KG
+		Kill ^KG("label"), ^KG("prop"), ^KG("out"), ^KG("in"), ^KG("deg")
 		TStart
 		
 		// 1. Labels