@geoprotocol/grc-20 0.1.0

package/dist/types/id.js

@@ -0,0 +1,45 @@
+/**
+ * Creates an Id from a Uint8Array.
+ * @throws Error if the array is not exactly 16 bytes.
+ */
+export function createId(bytes) {
+    if (bytes.length !== 16) {
+        throw new Error(`Id must be 16 bytes, got ${bytes.length}`);
+    }
+    return bytes;
+}
+/**
+ * Creates a copy of an Id.
+ */
+export function copyId(id) {
+    const copy = new Uint8Array(16);
+    copy.set(id);
+    return copy;
+}
+/**
+ * The nil/zero UUID.
+ */
+export const NIL_ID = createId(new Uint8Array(16));
+/**
+ * Compares two Ids for equality.
+ */
+export function idsEqual(a, b) {
+    for (let i = 0; i < 16; i++) {
+        if (a[i] !== b[i])
+            return false;
+    }
+    return true;
+}
+/**
+ * Compares two Ids lexicographically.
+ * Returns negative if a < b, 0 if a === b, positive if a > b.
+ */
+export function compareIds(a, b) {
+    for (let i = 0; i < 16; i++) {
+        if (a[i] !== b[i]) {
+            return a[i] - b[i];
+        }
+    }
+    return 0;
+}
+//# sourceMappingURL=id.js.map

package/dist/types/id.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"id.js","sourceRoot":"","sources":["../../src/types/id.ts"],"names":[],"mappings":"AAQA;;;GAGG;AACH,MAAM,UAAU,QAAQ,CAAC,KAAiB;IACxC,IAAI,KAAK,CAAC,MAAM,KAAK,EAAE,EAAE,CAAC;QACxB,MAAM,IAAI,KAAK,CAAC,4BAA4B,KAAK,CAAC,MAAM,EAAE,CAAC,CAAC;IAC9D,CAAC;IACD,OAAO,KAAW,CAAC;AACrB,CAAC;AAED;;GAEG;AACH,MAAM,UAAU,MAAM,CAAC,EAAM;IAC3B,MAAM,IAAI,GAAG,IAAI,UAAU,CAAC,EAAE,CAAC,CAAC;IAChC,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;IACb,OAAO,IAAU,CAAC;AACpB,CAAC;AAED;;GAEG;AACH,MAAM,CAAC,MAAM,MAAM,GAAO,QAAQ,CAAC,IAAI,UAAU,CAAC,EAAE,CAAC,CAAC,CAAC;AAEvD;;GAEG;AACH,MAAM,UAAU,QAAQ,CAAC,CAAK,EAAE,CAAK;IACnC,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,EAAE,EAAE,CAAC,EAAE,EAAE,CAAC;QAC5B,IAAI,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC;YAAE,OAAO,KAAK,CAAC;IAClC,CAAC;IACD,OAAO,IAAI,CAAC;AACd,CAAC;AAED;;;GAGG;AACH,MAAM,UAAU,UAAU,CAAC,CAAK,EAAE,CAAK;IACrC,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,EAAE,EAAE,CAAC,EAAE,EAAE,CAAC;QAC5B,IAAI,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;YAClB,OAAO,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC;QACrB,CAAC;IACH,CAAC;IACD,OAAO,CAAC,CAAC;AACX,CAAC"}

package/dist/types/index.d.ts

@@ -0,0 +1,9 @@
+export type { Id } from "./id.js";
+export { createId, copyId, NIL_ID, idsEqual, compareIds, } from "./id.js";
+export type { Value, PropertyValue, Property, DecimalMantissa, } from "./value.js";
+export { DataType, EmbeddingSubType, embeddingBytesForDims, valueDataType, validateValue, } from "./value.js";
+export type { Op, CreateEntity, UpdateEntity, DeleteEntity, RestoreEntity, CreateRelation, UpdateRelation, DeleteRelation, RestoreRelation, CreateProperty, RelationIdMode, UnsetLanguage, UnsetProperty, } from "./op.js";
+export { opTypeCode, validatePosition, OP_TYPE_CREATE_ENTITY, OP_TYPE_UPDATE_ENTITY, OP_TYPE_DELETE_ENTITY, OP_TYPE_RESTORE_ENTITY, OP_TYPE_CREATE_RELATION, OP_TYPE_UPDATE_RELATION, OP_TYPE_DELETE_RELATION, OP_TYPE_RESTORE_RELATION, OP_TYPE_CREATE_PROPERTY, } from "./op.js";
+export type { Edit, WireDictionaries } from "./edit.js";
+export { createWireDictionaries } from "./edit.js";
+//# sourceMappingURL=index.d.ts.map

package/dist/types/index.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../src/types/index.ts"],"names":[],"mappings":"AACA,YAAY,EAAE,EAAE,EAAE,MAAM,SAAS,CAAC;AAClC,OAAO,EACL,QAAQ,EACR,MAAM,EACN,MAAM,EACN,QAAQ,EACR,UAAU,GACX,MAAM,SAAS,CAAC;AAGjB,YAAY,EACV,KAAK,EACL,aAAa,EACb,QAAQ,EACR,eAAe,GAChB,MAAM,YAAY,CAAC;AACpB,OAAO,EACL,QAAQ,EACR,gBAAgB,EAChB,qBAAqB,EACrB,aAAa,EACb,aAAa,GACd,MAAM,YAAY,CAAC;AAGpB,YAAY,EACV,EAAE,EACF,YAAY,EACZ,YAAY,EACZ,YAAY,EACZ,aAAa,EACb,cAAc,EACd,cAAc,EACd,cAAc,EACd,eAAe,EACf,cAAc,EACd,cAAc,EACd,aAAa,EACb,aAAa,GACd,MAAM,SAAS,CAAC;AACjB,OAAO,EACL,UAAU,EACV,gBAAgB,EAChB,qBAAqB,EACrB,qBAAqB,EACrB,qBAAqB,EACrB,sBAAsB,EACtB,uBAAuB,EACvB,uBAAuB,EACvB,uBAAuB,EACvB,wBAAwB,EACxB,uBAAuB,GACxB,MAAM,SAAS,CAAC;AAGjB,YAAY,EAAE,IAAI,EAAE,gBAAgB,EAAE,MAAM,WAAW,CAAC;AACxD,OAAO,EAAE,sBAAsB,EAAE,MAAM,WAAW,CAAC"}

package/dist/types/index.js

@@ -0,0 +1,5 @@
+export { createId, copyId, NIL_ID, idsEqual, compareIds, } from "./id.js";
+export { DataType, EmbeddingSubType, embeddingBytesForDims, valueDataType, validateValue, } from "./value.js";
+export { opTypeCode, validatePosition, OP_TYPE_CREATE_ENTITY, OP_TYPE_UPDATE_ENTITY, OP_TYPE_DELETE_ENTITY, OP_TYPE_RESTORE_ENTITY, OP_TYPE_CREATE_RELATION, OP_TYPE_UPDATE_RELATION, OP_TYPE_DELETE_RELATION, OP_TYPE_RESTORE_RELATION, OP_TYPE_CREATE_PROPERTY, } from "./op.js";
+export { createWireDictionaries } from "./edit.js";
+//# sourceMappingURL=index.js.map

package/dist/types/index.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.js","sourceRoot":"","sources":["../../src/types/index.ts"],"names":[],"mappings":"AAEA,OAAO,EACL,QAAQ,EACR,MAAM,EACN,MAAM,EACN,QAAQ,EACR,UAAU,GACX,MAAM,SAAS,CAAC;AASjB,OAAO,EACL,QAAQ,EACR,gBAAgB,EAChB,qBAAqB,EACrB,aAAa,EACb,aAAa,GACd,MAAM,YAAY,CAAC;AAkBpB,OAAO,EACL,UAAU,EACV,gBAAgB,EAChB,qBAAqB,EACrB,qBAAqB,EACrB,qBAAqB,EACrB,sBAAsB,EACtB,uBAAuB,EACvB,uBAAuB,EACvB,uBAAuB,EACvB,wBAAwB,EACxB,uBAAuB,GACxB,MAAM,SAAS,CAAC;AAIjB,OAAO,EAAE,sBAAsB,EAAE,MAAM,WAAW,CAAC"}

package/dist/types/op.d.ts

@@ -0,0 +1,147 @@
+import type { Id } from "./id.js";
+import type { DataType, PropertyValue } from "./value.js";
+/**
+ * Relation ID mode for CreateRelation.
+ */
+export type RelationIdMode = {
+    type: "unique";
+} | {
+    type: "many";
+    id: Id;
+};
+/**
+ * Specifies which language slot to clear for an UnsetProperty.
+ */
+export type UnsetLanguage = {
+    type: "all";
+} | {
+    type: "nonLinguistic";
+} | {
+    type: "specific";
+    language: Id;
+};
+/**
+ * Specifies a property to unset, with optional language targeting (TEXT only).
+ */
+export interface UnsetProperty {
+    property: Id;
+    language: UnsetLanguage;
+}
+/**
+ * Creates an entity (spec Section 3.2).
+ *
+ * If the entity does not exist, creates it. If it already exists,
+ * this acts as an update: values are applied as set_properties (LWW).
+ */
+export interface CreateEntity {
+    type: "createEntity";
+    id: Id;
+    values: PropertyValue[];
+}
+/**
+ * Updates an existing entity (spec Section 3.2).
+ *
+ * Application order within op:
+ * 1. unsetProperties
+ * 2. setProperties
+ */
+export interface UpdateEntity {
+    type: "updateEntity";
+    id: Id;
+    setProperties: PropertyValue[];
+    unsetProperties: UnsetProperty[];
+}
+/**
+ * Deletes an entity (spec Section 3.2).
+ *
+ * Transitions the entity to DELETED state.
+ */
+export interface DeleteEntity {
+    type: "deleteEntity";
+    id: Id;
+}
+/**
+ * Restores a deleted entity (spec Section 3.2).
+ */
+export interface RestoreEntity {
+    type: "restoreEntity";
+    id: Id;
+}
+/**
+ * Creates a relation (spec Section 3.3).
+ */
+export interface CreateRelation {
+    type: "createRelation";
+    idMode: RelationIdMode;
+    relationType: Id;
+    from: Id;
+    to: Id;
+    fromSpace?: Id;
+    fromVersion?: Id;
+    toSpace?: Id;
+    toVersion?: Id;
+    entity?: Id;
+    position?: string;
+}
+/**
+ * Updates a relation's position (spec Section 3.3).
+ *
+ * All other fields are immutable.
+ */
+export interface UpdateRelation {
+    type: "updateRelation";
+    id: Id;
+    position?: string;
+}
+/**
+ * Deletes a relation (spec Section 3.3).
+ */
+export interface DeleteRelation {
+    type: "deleteRelation";
+    id: Id;
+}
+/**
+ * Restores a deleted relation (spec Section 3.3).
+ */
+export interface RestoreRelation {
+    type: "restoreRelation";
+    id: Id;
+}
+/**
+ * Creates a property in the schema (spec Section 3.4).
+ */
+export interface CreateProperty {
+    type: "createProperty";
+    id: Id;
+    dataType: DataType;
+}
+/**
+ * An atomic operation that modifies graph state (spec Section 3.1).
+ */
+export type Op = CreateEntity | UpdateEntity | DeleteEntity | RestoreEntity | CreateRelation | UpdateRelation | DeleteRelation | RestoreRelation | CreateProperty;
+/**
+ * Op type codes for wire encoding.
+ */
+export declare const OP_TYPE_CREATE_ENTITY = 1;
+export declare const OP_TYPE_UPDATE_ENTITY = 2;
+export declare const OP_TYPE_DELETE_ENTITY = 3;
+export declare const OP_TYPE_RESTORE_ENTITY = 4;
+export declare const OP_TYPE_CREATE_RELATION = 5;
+export declare const OP_TYPE_UPDATE_RELATION = 6;
+export declare const OP_TYPE_DELETE_RELATION = 7;
+export declare const OP_TYPE_RESTORE_RELATION = 8;
+export declare const OP_TYPE_CREATE_PROPERTY = 9;
+/**
+ * Returns the op type code for wire encoding.
+ */
+export declare function opTypeCode(op: Op): number;
+/**
+ * Validates a position string according to spec rules.
+ *
+ * Position strings must:
+ * - Not be empty
+ * - Only contain characters 0-9, A-Z, a-z (62 chars, ASCII order)
+ * - Not exceed 64 characters
+ */
+export declare function validatePosition(pos: string): string | undefined;
+//# sourceMappingURL=op.d.ts.map

package/dist/types/op.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"op.d.ts","sourceRoot":"","sources":["../../src/types/op.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,EAAE,EAAE,MAAM,SAAS,CAAC;AAClC,OAAO,KAAK,EAAE,QAAQ,EAAE,aAAa,EAAE,MAAM,YAAY,CAAC;AAE1D;;GAEG;AACH,MAAM,MAAM,cAAc,GACtB;IAAE,IAAI,EAAE,QAAQ,CAAA;CAAE,GAClB;IAAE,IAAI,EAAE,MAAM,CAAC;IAAC,EAAE,EAAE,EAAE,CAAA;CAAE,CAAC;AAE7B;;GAEG;AACH,MAAM,MAAM,aAAa,GACrB;IAAE,IAAI,EAAE,KAAK,CAAA;CAAE,GACf;IAAE,IAAI,EAAE,eAAe,CAAA;CAAE,GACzB;IAAE,IAAI,EAAE,UAAU,CAAC;IAAC,QAAQ,EAAE,EAAE,CAAA;CAAE,CAAC;AAEvC;;GAEG;AACH,MAAM,WAAW,aAAa;IAC5B,QAAQ,EAAE,EAAE,CAAC;IACb,QAAQ,EAAE,aAAa,CAAC;CACzB;AAED;;;;;GAKG;AACH,MAAM,WAAW,YAAY;IAC3B,IAAI,EAAE,cAAc,CAAC;IACrB,EAAE,EAAE,EAAE,CAAC;IACP,MAAM,EAAE,aAAa,EAAE,CAAC;CACzB;AAED;;;;;;GAMG;AACH,MAAM,WAAW,YAAY;IAC3B,IAAI,EAAE,cAAc,CAAC;IACrB,EAAE,EAAE,EAAE,CAAC;IACP,aAAa,EAAE,aAAa,EAAE,CAAC;IAC/B,eAAe,EAAE,aAAa,EAAE,CAAC;CAClC;AAED;;;;GAIG;AACH,MAAM,WAAW,YAAY;IAC3B,IAAI,EAAE,cAAc,CAAC;IACrB,EAAE,EAAE,EAAE,CAAC;CACR;AAED;;GAEG;AACH,MAAM,WAAW,aAAa;IAC5B,IAAI,EAAE,eAAe,CAAC;IACtB,EAAE,EAAE,EAAE,CAAC;CACR;AAED;;GAEG;AACH,MAAM,WAAW,cAAc;IAC7B,IAAI,EAAE,gBAAgB,CAAC;IACvB,MAAM,EAAE,cAAc,CAAC;IACvB,YAAY,EAAE,EAAE,CAAC;IACjB,IAAI,EAAE,EAAE,CAAC;IACT,EAAE,EAAE,EAAE,CAAC;IACP,SAAS,CAAC,EAAE,EAAE,CAAC;IACf,WAAW,CAAC,EAAE,EAAE,CAAC;IACjB,OAAO,CAAC,EAAE,EAAE,CAAC;IACb,SAAS,CAAC,EAAE,EAAE,CAAC;IACf,MAAM,CAAC,EAAE,EAAE,CAAC;IACZ,QAAQ,CAAC,EAAE,MAAM,CAAC;CACnB;AAED;;;;GAIG;AACH,MAAM,WAAW,cAAc;IAC7B,IAAI,EAAE,gBAAgB,CAAC;IACvB,EAAE,EAAE,EAAE,CAAC;IACP,QAAQ,CAAC,EAAE,MAAM,CAAC;CACnB;AAED;;GAEG;AACH,MAAM,WAAW,cAAc;IAC7B,IAAI,EAAE,gBAAgB,CAAC;IACvB,EAAE,EAAE,EAAE,CAAC;CACR;AAED;;GAEG;AACH,MAAM,WAAW,eAAe;IAC9B,IAAI,EAAE,iBAAiB,CAAC;IACxB,EAAE,EAAE,EAAE,CAAC;CACR;AAED;;GAEG;AACH,MAAM,WAAW,cAAc;IAC7B,IAAI,EAAE,gBAAgB,CAAC;IACvB,EAAE,EAAE,EAAE,CAAC;IACP,QAAQ,EAAE,QAAQ,CAAC;CACpB;AAED;;GAEG;AACH,MAAM,MAAM,EAAE,GACV,YAAY,GACZ,YAAY,GACZ,YAAY,GACZ,aAAa,GACb,cAAc,GACd,cAAc,GACd,cAAc,GACd,eAAe,GACf,cAAc,CAAC;AAEnB;;GAEG;AACH,eAAO,MAAM,qBAAqB,IAAI,CAAC;AACvC,eAAO,MAAM,qBAAqB,IAAI,CAAC;AACvC,eAAO,MAAM,qBAAqB,IAAI,CAAC;AACvC,eAAO,MAAM,sBAAsB,IAAI,CAAC;AACxC,eAAO,MAAM,uBAAuB,IAAI,CAAC;AACzC,eAAO,MAAM,uBAAuB,IAAI,CAAC;AACzC,eAAO,MAAM,uBAAuB,IAAI,CAAC;AACzC,eAAO,MAAM,wBAAwB,IAAI,CAAC;AAC1C,eAAO,MAAM,uBAAuB,IAAI,CAAC;AAEzC;;GAEG;AACH,wBAAgB,UAAU,CAAC,EAAE,EAAE,EAAE,GAAG,MAAM,CAqBzC;AAED;;;;;;;GAOG;AACH,wBAAgB,gBAAgB,CAAC,GAAG,EAAE,MAAM,GAAG,MAAM,GAAG,SAAS,CAahE"}

package/dist/types/op.js

@@ -0,0 +1,60 @@
+/**
+ * Op type codes for wire encoding.
+ */
+export const OP_TYPE_CREATE_ENTITY = 1;
+export const OP_TYPE_UPDATE_ENTITY = 2;
+export const OP_TYPE_DELETE_ENTITY = 3;
+export const OP_TYPE_RESTORE_ENTITY = 4;
+export const OP_TYPE_CREATE_RELATION = 5;
+export const OP_TYPE_UPDATE_RELATION = 6;
+export const OP_TYPE_DELETE_RELATION = 7;
+export const OP_TYPE_RESTORE_RELATION = 8;
+export const OP_TYPE_CREATE_PROPERTY = 9;
+/**
+ * Returns the op type code for wire encoding.
+ */
+export function opTypeCode(op) {
+    switch (op.type) {
+        case "createEntity":
+            return OP_TYPE_CREATE_ENTITY;
+        case "updateEntity":
+            return OP_TYPE_UPDATE_ENTITY;
+        case "deleteEntity":
+            return OP_TYPE_DELETE_ENTITY;
+        case "restoreEntity":
+            return OP_TYPE_RESTORE_ENTITY;
+        case "createRelation":
+            return OP_TYPE_CREATE_RELATION;
+        case "updateRelation":
+            return OP_TYPE_UPDATE_RELATION;
+        case "deleteRelation":
+            return OP_TYPE_DELETE_RELATION;
+        case "restoreRelation":
+            return OP_TYPE_RESTORE_RELATION;
+        case "createProperty":
+            return OP_TYPE_CREATE_PROPERTY;
+    }
+}
+/**
+ * Validates a position string according to spec rules.
+ *
+ * Position strings must:
+ * - Not be empty
+ * - Only contain characters 0-9, A-Z, a-z (62 chars, ASCII order)
+ * - Not exceed 64 characters
+ */
+export function validatePosition(pos) {
+    if (pos.length === 0) {
+        return "position cannot be empty";
+    }
+    if (pos.length > 64) {
+        return "position exceeds 64 characters";
+    }
+    for (const c of pos) {
+        if (!/^[0-9A-Za-z]$/.test(c)) {
+            return `position contains invalid character: ${c}`;
+        }
+    }
+    return undefined;
+}
+//# sourceMappingURL=op.js.map

package/dist/types/op.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"op.js","sourceRoot":"","sources":["../../src/types/op.ts"],"names":[],"mappings":"AAyIA;;GAEG;AACH,MAAM,CAAC,MAAM,qBAAqB,GAAG,CAAC,CAAC;AACvC,MAAM,CAAC,MAAM,qBAAqB,GAAG,CAAC,CAAC;AACvC,MAAM,CAAC,MAAM,qBAAqB,GAAG,CAAC,CAAC;AACvC,MAAM,CAAC,MAAM,sBAAsB,GAAG,CAAC,CAAC;AACxC,MAAM,CAAC,MAAM,uBAAuB,GAAG,CAAC,CAAC;AACzC,MAAM,CAAC,MAAM,uBAAuB,GAAG,CAAC,CAAC;AACzC,MAAM,CAAC,MAAM,uBAAuB,GAAG,CAAC,CAAC;AACzC,MAAM,CAAC,MAAM,wBAAwB,GAAG,CAAC,CAAC;AAC1C,MAAM,CAAC,MAAM,uBAAuB,GAAG,CAAC,CAAC;AAEzC;;GAEG;AACH,MAAM,UAAU,UAAU,CAAC,EAAM;IAC/B,QAAQ,EAAE,CAAC,IAAI,EAAE,CAAC;QAChB,KAAK,cAAc;YACjB,OAAO,qBAAqB,CAAC;QAC/B,KAAK,cAAc;YACjB,OAAO,qBAAqB,CAAC;QAC/B,KAAK,cAAc;YACjB,OAAO,qBAAqB,CAAC;QAC/B,KAAK,eAAe;YAClB,OAAO,sBAAsB,CAAC;QAChC,KAAK,gBAAgB;YACnB,OAAO,uBAAuB,CAAC;QACjC,KAAK,gBAAgB;YACnB,OAAO,uBAAuB,CAAC;QACjC,KAAK,gBAAgB;YACnB,OAAO,uBAAuB,CAAC;QACjC,KAAK,iBAAiB;YACpB,OAAO,wBAAwB,CAAC;QAClC,KAAK,gBAAgB;YACnB,OAAO,uBAAuB,CAAC;IACnC,CAAC;AACH,CAAC;AAED;;;;;;;GAOG;AACH,MAAM,UAAU,gBAAgB,CAAC,GAAW;IAC1C,IAAI,GAAG,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QACrB,OAAO,0BAA0B,CAAC;IACpC,CAAC;IACD,IAAI,GAAG,CAAC,MAAM,GAAG,EAAE,EAAE,CAAC;QACpB,OAAO,gCAAgC,CAAC;IAC1C,CAAC;IACD,KAAK,MAAM,CAAC,IAAI,GAAG,EAAE,CAAC;QACpB,IAAI,CAAC,eAAe,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC;YAC7B,OAAO,wCAAwC,CAAC,EAAE,CAAC;QACrD,CAAC;IACH,CAAC;IACD,OAAO,SAAS,CAAC;AACnB,CAAC"}

package/dist/types/value.d.ts

@@ -0,0 +1,107 @@
+import type { Id } from "./id.js";
+/**
+ * Data types for property values (spec Section 2.4).
+ */
+export declare enum DataType {
+    Bool = 1,
+    Int64 = 2,
+    Float64 = 3,
+    Decimal = 4,
+    Text = 5,
+    Bytes = 6,
+    Timestamp = 7,
+    Date = 8,
+    Point = 9,
+    Embedding = 10
+}
+/**
+ * Embedding sub-types (spec Section 2.4).
+ */
+export declare enum EmbeddingSubType {
+    /** 32-bit IEEE 754 float, little-endian (4 bytes per dim) */
+    Float32 = 0,
+    /** Signed 8-bit integer (1 byte per dim) */
+    Int8 = 1,
+    /** Bit-packed binary, LSB-first (1/8 byte per dim) */
+    Binary = 2
+}
+/**
+ * Returns the number of bytes needed for the given number of dimensions.
+ */
+export declare function embeddingBytesForDims(subType: EmbeddingSubType, dims: number): number;
+/**
+ * Decimal mantissa representation.
+ */
+export type DecimalMantissa = {
+    type: "i64";
+    value: bigint;
+} | {
+    type: "big";
+    bytes: Uint8Array;
+};
+/**
+ * A typed value that can be stored on an entity or relation.
+ */
+export type Value = {
+    type: "bool";
+    value: boolean;
+} | {
+    type: "int64";
+    value: bigint;
+    unit?: Id;
+} | {
+    type: "float64";
+    value: number;
+    unit?: Id;
+} | {
+    type: "decimal";
+    exponent: number;
+    mantissa: DecimalMantissa;
+    unit?: Id;
+} | {
+    type: "text";
+    value: string;
+    language?: Id;
+} | {
+    type: "bytes";
+    value: Uint8Array;
+} | {
+    type: "timestamp";
+    value: bigint;
+} | {
+    type: "date";
+    value: string;
+} | {
+    type: "point";
+    lat: number;
+    lon: number;
+} | {
+    type: "embedding";
+    subType: EmbeddingSubType;
+    dims: number;
+    data: Uint8Array;
+};
+/**
+ * Returns the DataType for a Value.
+ */
+export declare function valueDataType(value: Value): DataType;
+/**
+ * A property-value pair that can be attached to an object.
+ */
+export interface PropertyValue {
+    property: Id;
+    value: Value;
+}
+/**
+ * A property definition in the schema.
+ */
+export interface Property {
+    id: Id;
+    dataType: DataType;
+}
+/**
+ * Validates a value according to spec rules.
+ * Returns an error message if invalid, undefined if valid.
+ */
+export declare function validateValue(value: Value): string | undefined;
+//# sourceMappingURL=value.d.ts.map

package/dist/types/value.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"value.d.ts","sourceRoot":"","sources":["../../src/types/value.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,EAAE,EAAE,MAAM,SAAS,CAAC;AAElC;;GAEG;AACH,oBAAY,QAAQ;IAClB,IAAI,IAAI;IACR,KAAK,IAAI;IACT,OAAO,IAAI;IACX,OAAO,IAAI;IACX,IAAI,IAAI;IACR,KAAK,IAAI;IACT,SAAS,IAAI;IACb,IAAI,IAAI;IACR,KAAK,IAAI;IACT,SAAS,KAAK;CACf;AAED;;GAEG;AACH,oBAAY,gBAAgB;IAC1B,6DAA6D;IAC7D,OAAO,IAAI;IACX,4CAA4C;IAC5C,IAAI,IAAI;IACR,sDAAsD;IACtD,MAAM,IAAI;CACX;AAED;;GAEG;AACH,wBAAgB,qBAAqB,CAAC,OAAO,EAAE,gBAAgB,EAAE,IAAI,EAAE,MAAM,GAAG,MAAM,CASrF;AAED;;GAEG;AACH,MAAM,MAAM,eAAe,GACvB;IAAE,IAAI,EAAE,KAAK,CAAC;IAAC,KAAK,EAAE,MAAM,CAAA;CAAE,GAC9B;IAAE,IAAI,EAAE,KAAK,CAAC;IAAC,KAAK,EAAE,UAAU,CAAA;CAAE,CAAC;AAEvC;;GAEG;AACH,MAAM,MAAM,KAAK,GACb;IAAE,IAAI,EAAE,MAAM,CAAC;IAAC,KAAK,EAAE,OAAO,CAAA;CAAE,GAChC;IAAE,IAAI,EAAE,OAAO,CAAC;IAAC,KAAK,EAAE,MAAM,CAAC;IAAC,IAAI,CAAC,EAAE,EAAE,CAAA;CAAE,GAC3C;IAAE,IAAI,EAAE,SAAS,CAAC;IAAC,KAAK,EAAE,MAAM,CAAC;IAAC,IAAI,CAAC,EAAE,EAAE,CAAA;CAAE,GAC7C;IAAE,IAAI,EAAE,SAAS,CAAC;IAAC,QAAQ,EAAE,MAAM,CAAC;IAAC,QAAQ,EAAE,eAAe,CAAC;IAAC,IAAI,CAAC,EAAE,EAAE,CAAA;CAAE,GAC3E;IAAE,IAAI,EAAE,MAAM,CAAC;IAAC,KAAK,EAAE,MAAM,CAAC;IAAC,QAAQ,CAAC,EAAE,EAAE,CAAA;CAAE,GAC9C;IAAE,IAAI,EAAE,OAAO,CAAC;IAAC,KAAK,EAAE,UAAU,CAAA;CAAE,GACpC;IAAE,IAAI,EAAE,WAAW,CAAC;IAAC,KAAK,EAAE,MAAM,CAAA;CAAE,GACpC;IAAE,IAAI,EAAE,MAAM,CAAC;IAAC,KAAK,EAAE,MAAM,CAAA;CAAE,GAC/B;IAAE,IAAI,EAAE,OAAO,CAAC;IAAC,GAAG,EAAE,MAAM,CAAC;IAAC,GAAG,EAAE,MAAM,CAAA;CAAE,GAC3C;IAAE,IAAI,EAAE,WAAW,CAAC;IAAC,OAAO,EAAE,gBAAgB,CAAC;IAAC,IAAI,EAAE,MAAM,CAAC;IAAC,IAAI,EAAE,UAAU,CAAA;CAAE,CAAC;AAErF;;GAEG;AACH,wBAAgB,aAAa,CAAC,KAAK,EAAE,KAAK,GAAG,QAAQ,CAuBpD;AAED;;GAEG;AACH,MAAM,WAAW,aAAa;IAC5B,QAAQ,EAAE,EAAE,CAAC;IACb,KAAK,EAAE,KAAK,CAAC;CACd;AAED;;GAEG;AACH,MAAM,WAAW,QAAQ;IACvB,EAAE,EAAE,EAAE,CAAC;IACP,QAAQ,EAAE,QAAQ,CAAC;CACpB;AAED;;;GAGG;AACH,wBAAgB,aAAa,CAAC,KAAK,EAAE,KAAK,GAAG,MAAM,GAAG,SAAS,CAqD9D"}

package/dist/types/value.js

@@ -0,0 +1,126 @@
+/**
+ * Data types for property values (spec Section 2.4).
+ */
+export var DataType;
+(function (DataType) {
+    DataType[DataType["Bool"] = 1] = "Bool";
+    DataType[DataType["Int64"] = 2] = "Int64";
+    DataType[DataType["Float64"] = 3] = "Float64";
+    DataType[DataType["Decimal"] = 4] = "Decimal";
+    DataType[DataType["Text"] = 5] = "Text";
+    DataType[DataType["Bytes"] = 6] = "Bytes";
+    DataType[DataType["Timestamp"] = 7] = "Timestamp";
+    DataType[DataType["Date"] = 8] = "Date";
+    DataType[DataType["Point"] = 9] = "Point";
+    DataType[DataType["Embedding"] = 10] = "Embedding";
+})(DataType || (DataType = {}));
+/**
+ * Embedding sub-types (spec Section 2.4).
+ */
+export var EmbeddingSubType;
+(function (EmbeddingSubType) {
+    /** 32-bit IEEE 754 float, little-endian (4 bytes per dim) */
+    EmbeddingSubType[EmbeddingSubType["Float32"] = 0] = "Float32";
+    /** Signed 8-bit integer (1 byte per dim) */
+    EmbeddingSubType[EmbeddingSubType["Int8"] = 1] = "Int8";
+    /** Bit-packed binary, LSB-first (1/8 byte per dim) */
+    EmbeddingSubType[EmbeddingSubType["Binary"] = 2] = "Binary";
+})(EmbeddingSubType || (EmbeddingSubType = {}));
+/**
+ * Returns the number of bytes needed for the given number of dimensions.
+ */
+export function embeddingBytesForDims(subType, dims) {
+    switch (subType) {
+        case EmbeddingSubType.Float32:
+            return dims * 4;
+        case EmbeddingSubType.Int8:
+            return dims;
+        case EmbeddingSubType.Binary:
+            return Math.ceil(dims / 8);
+    }
+}
+/**
+ * Returns the DataType for a Value.
+ */
+export function valueDataType(value) {
+    switch (value.type) {
+        case "bool":
+            return DataType.Bool;
+        case "int64":
+            return DataType.Int64;
+        case "float64":
+            return DataType.Float64;
+        case "decimal":
+            return DataType.Decimal;
+        case "text":
+            return DataType.Text;
+        case "bytes":
+            return DataType.Bytes;
+        case "timestamp":
+            return DataType.Timestamp;
+        case "date":
+            return DataType.Date;
+        case "point":
+            return DataType.Point;
+        case "embedding":
+            return DataType.Embedding;
+    }
+}
+/**
+ * Validates a value according to spec rules.
+ * Returns an error message if invalid, undefined if valid.
+ */
+export function validateValue(value) {
+    switch (value.type) {
+        case "float64":
+            if (Number.isNaN(value.value)) {
+                return "NaN is not allowed in Float64";
+            }
+            break;
+        case "decimal": {
+            const isZero = value.mantissa.type === "i64"
+                ? value.mantissa.value === 0n
+                : value.mantissa.bytes.every((b) => b === 0);
+            if (isZero && value.exponent !== 0) {
+                return "zero DECIMAL must have exponent 0";
+            }
+            // Check for trailing zeros in non-zero mantissa
+            if (!isZero && value.mantissa.type === "i64") {
+                if (value.mantissa.value % 10n === 0n) {
+                    return "DECIMAL mantissa has trailing zeros (not normalized)";
+                }
+            }
+            break;
+        }
+        case "point":
+            if (value.lat < -90 || value.lat > 90) {
+                return "latitude out of range [-90, +90]";
+            }
+            if (value.lon < -180 || value.lon > 180) {
+                return "longitude out of range [-180, +180]";
+            }
+            if (Number.isNaN(value.lat) || Number.isNaN(value.lon)) {
+                return "NaN is not allowed in Point coordinates";
+            }
+            break;
+        case "embedding": {
+            const expected = embeddingBytesForDims(value.subType, value.dims);
+            if (value.data.length !== expected) {
+                return `embedding data length ${value.data.length} doesn't match expected ${expected} for ${value.dims} dims`;
+            }
+            // Check for NaN in float32 embeddings
+            if (value.subType === EmbeddingSubType.Float32) {
+                const view = new DataView(value.data.buffer, value.data.byteOffset, value.data.byteLength);
+                for (let i = 0; i < value.dims; i++) {
+                    const f = view.getFloat32(i * 4, true);
+                    if (Number.isNaN(f)) {
+                        return "NaN is not allowed in float32 embedding";
+                    }
+                }
+            }
+            break;
+        }
+    }
+    return undefined;
+}
+//# sourceMappingURL=value.js.map

package/dist/types/value.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"value.js","sourceRoot":"","sources":["../../src/types/value.ts"],"names":[],"mappings":"AAEA;;GAEG;AACH,MAAM,CAAN,IAAY,QAWX;AAXD,WAAY,QAAQ;IAClB,uCAAQ,CAAA;IACR,yCAAS,CAAA;IACT,6CAAW,CAAA;IACX,6CAAW,CAAA;IACX,uCAAQ,CAAA;IACR,yCAAS,CAAA;IACT,iDAAa,CAAA;IACb,uCAAQ,CAAA;IACR,yCAAS,CAAA;IACT,kDAAc,CAAA;AAChB,CAAC,EAXW,QAAQ,KAAR,QAAQ,QAWnB;AAED;;GAEG;AACH,MAAM,CAAN,IAAY,gBAOX;AAPD,WAAY,gBAAgB;IAC1B,6DAA6D;IAC7D,6DAAW,CAAA;IACX,4CAA4C;IAC5C,uDAAQ,CAAA;IACR,sDAAsD;IACtD,2DAAU,CAAA;AACZ,CAAC,EAPW,gBAAgB,KAAhB,gBAAgB,QAO3B;AAED;;GAEG;AACH,MAAM,UAAU,qBAAqB,CAAC,OAAyB,EAAE,IAAY;IAC3E,QAAQ,OAAO,EAAE,CAAC;QAChB,KAAK,gBAAgB,CAAC,OAAO;YAC3B,OAAO,IAAI,GAAG,CAAC,CAAC;QAClB,KAAK,gBAAgB,CAAC,IAAI;YACxB,OAAO,IAAI,CAAC;QACd,KAAK,gBAAgB,CAAC,MAAM;YAC1B,OAAO,IAAI,CAAC,IAAI,CAAC,IAAI,GAAG,CAAC,CAAC,CAAC;IAC/B,CAAC;AACH,CAAC;AAwBD;;GAEG;AACH,MAAM,UAAU,aAAa,CAAC,KAAY;IACxC,QAAQ,KAAK,CAAC,IAAI,EAAE,CAAC;QACnB,KAAK,MAAM;YACT,OAAO,QAAQ,CAAC,IAAI,CAAC;QACvB,KAAK,OAAO;YACV,OAAO,QAAQ,CAAC,KAAK,CAAC;QACxB,KAAK,SAAS;YACZ,OAAO,QAAQ,CAAC,OAAO,CAAC;QAC1B,KAAK,SAAS;YACZ,OAAO,QAAQ,CAAC,OAAO,CAAC;QAC1B,KAAK,MAAM;YACT,OAAO,QAAQ,CAAC,IAAI,CAAC;QACvB,KAAK,OAAO;YACV,OAAO,QAAQ,CAAC,KAAK,CAAC;QACxB,KAAK,WAAW;YACd,OAAO,QAAQ,CAAC,SAAS,CAAC;QAC5B,KAAK,MAAM;YACT,OAAO,QAAQ,CAAC,IAAI,CAAC;QACvB,KAAK,OAAO;YACV,OAAO,QAAQ,CAAC,KAAK,CAAC;QACxB,KAAK,WAAW;YACd,OAAO,QAAQ,CAAC,SAAS,CAAC;IAC9B,CAAC;AACH,CAAC;AAkBD;;;GAGG;AACH,MAAM,UAAU,aAAa,CAAC,KAAY;IACxC,QAAQ,KAAK,CAAC,IAAI,EAAE,CAAC;QACnB,KAAK,SAAS;YACZ,IAAI,MAAM,CAAC,KAAK,CAAC,KAAK,CAAC,KAAK,CAAC,EAAE,CAAC;gBAC9B,OAAO,+BAA+B,CAAC;YACzC,CAAC;YACD,MAAM;QACR,KAAK,SAAS,CAAC,CAAC,CAAC;YACf,MAAM,MAAM,GACV,KAAK,CAAC,QAAQ,CAAC,IAAI,KAAK,KAAK;gBAC3B,CAAC,CAAC,KAAK,CAAC,QAAQ,CAAC,KAAK,KAAK,EAAE;gBAC7B,CAAC,CAAC,KAAK,CAAC,QAAQ,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC;YACjD,IAAI,MAAM,IAAI,KAAK,CAAC,QAAQ,KAAK,CAAC,EAAE,CAAC;gBACnC,OAAO,mCAAmC,CAAC;YAC7C,CAAC;YACD,gDAAgD;YAChD,IAAI,CAAC,MAAM,IAAI,KAAK,CAAC,QAAQ,CAAC,IAAI,KAAK,KAAK,EAAE,CAAC;gBAC7C,IAAI,KAAK,CAAC,QAAQ,CAAC,KAAK,GAAG,GAAG,KAAK,EAAE,EAAE,CAAC;oBACtC,OAAO,sDAAsD,CAAC;gBAChE,CAAC;YACH,CAAC;YACD,MAAM;QACR,CAAC;QACD,KAAK,OAAO;YACV,IAAI,KAAK,CAAC,GAAG,GAAG,CAAC,EAAE,IAAI,KAAK,CAAC,GAAG,GAAG,EAAE,EAAE,CAAC;gBACtC,OAAO,kCAAkC,CAAC;YAC5C,CAAC;YACD,IAAI,KAAK,CAAC,GAAG,GAAG,CAAC,GAAG,IAAI,KAAK,CAAC,GAAG,GAAG,GAAG,EAAE,CAAC;gBACxC,OAAO,qCAAqC,CAAC;YAC/C,CAAC;YACD,IAAI,MAAM,CAAC,KAAK,CAAC,KAAK,CAAC,GAAG,CAAC,IAAI,MAAM,CAAC,KAAK,CAAC,KAAK,CAAC,GAAG,CAAC,EAAE,CAAC;gBACvD,OAAO,yCAAyC,CAAC;YACnD,CAAC;YACD,MAAM;QACR,KAAK,WAAW,CAAC,CAAC,CAAC;YACjB,MAAM,QAAQ,GAAG,qBAAqB,CAAC,KAAK,CAAC,OAAO,EAAE,KAAK,CAAC,IAAI,CAAC,CAAC;YAClE,IAAI,KAAK,CAAC,IAAI,CAAC,MAAM,KAAK,QAAQ,EAAE,CAAC;gBACnC,OAAO,yBAAyB,KAAK,CAAC,IAAI,CAAC,MAAM,2BAA2B,QAAQ,QAAQ,KAAK,CAAC,IAAI,OAAO,CAAC;YAChH,CAAC;YACD,sCAAsC;YACtC,IAAI,KAAK,CAAC,OAAO,KAAK,gBAAgB,CAAC,OAAO,EAAE,CAAC;gBAC/C,MAAM,IAAI,GAAG,IAAI,QAAQ,CAAC,KAAK,CAAC,IAAI,CAAC,MAAM,EAAE,KAAK,CAAC,IAAI,CAAC,UAAU,EAAE,KAAK,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;gBAC3F,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,KAAK,CAAC,IAAI,EAAE,CAAC,EAAE,EAAE,CAAC;oBACpC,MAAM,CAAC,GAAG,IAAI,CAAC,UAAU,CAAC,CAAC,GAAG,CAAC,EAAE,IAAI,CAAC,CAAC;oBACvC,IAAI,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,CAAC;wBACpB,OAAO,yCAAyC,CAAC;oBACnD,CAAC;gBACH,CAAC;YACH,CAAC;YACD,MAAM;QACR,CAAC;IACH,CAAC;IACD,OAAO,SAAS,CAAC;AACnB,CAAC"}

package/dist/util/id.d.ts

@@ -0,0 +1,51 @@
+import { type Id } from "../types/id.js";
+export type { Id } from "../types/id.js";
+/**
+ * Formats a UUID as non-hyphenated lowercase hex (recommended display format).
+ */
+export declare function formatId(id: Id): string;
+/**
+ * Parses a UUID from hex string (with or without hyphens).
+ * Returns undefined if the string is invalid.
+ */
+export declare function parseId(s: string): Id | undefined;
+/**
+ * Generates a random UUIDv4.
+ */
+export declare function randomId(): Id;
+/**
+ * Derives a UUIDv8 from input bytes using SHA-256.
+ *
+ * This implements the `derived_uuid` function from spec Section 2.1:
+ * ```
+ * hash = SHA-256(input_bytes)[0:16]
+ * hash[6] = (hash[6] & 0x0F) | 0x80  // version 8
+ * hash[8] = (hash[8] & 0x3F) | 0x80  // RFC 4122 variant
+ * ```
+ */
+export declare function derivedUuid(input: Uint8Array): Id;
+/**
+ * Async version of derivedUuid using Web Crypto API.
+ */
+export declare function derivedUuidAsync(input: Uint8Array): Promise<Id>;
+/**
+ * Derives a UUIDv8 from a string using SHA-256.
+ */
+export declare function derivedUuidFromString(input: string): Id;
+/**
+ * Derives a unique-mode relation ID.
+ *
+ * ```
+ * id = derived_uuid(from_id || to_id || type_id)
+ * ```
+ */
+export declare function uniqueRelationId(fromId: Id, toId: Id, typeId: Id): Id;
+/**
+ * Derives the reified entity ID from a relation ID.
+ *
+ * ```
+ * entity_id = derived_uuid("grc20:relation-entity:" || relation_id)
+ * ```
+ */
+export declare function relationEntityId(relationId: Id): Id;
+//# sourceMappingURL=id.d.ts.map

package/dist/util/id.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"id.d.ts","sourceRoot":"","sources":["../../src/util/id.ts"],"names":[],"mappings":"AAAA,OAAO,EAAY,KAAK,EAAE,EAAE,MAAM,gBAAgB,CAAC;AAGnD,YAAY,EAAE,EAAE,EAAE,MAAM,gBAAgB,CAAC;AAEzC;;GAEG;AACH,wBAAgB,QAAQ,CAAC,EAAE,EAAE,EAAE,GAAG,MAAM,CAMvC;AAED;;;GAGG;AACH,wBAAgB,OAAO,CAAC,CAAC,EAAE,MAAM,GAAG,EAAE,GAAG,SAAS,CAgBjD;AAED;;GAEG;AACH,wBAAgB,QAAQ,IAAI,EAAE,CAU7B;AAkID;;;;;;;;;GASG;AACH,wBAAgB,WAAW,CAAC,KAAK,EAAE,UAAU,GAAG,EAAE,CAWjD;AAED;;GAEG;AACH,wBAAsB,gBAAgB,CAAC,KAAK,EAAE,UAAU,GAAG,OAAO,CAAC,EAAE,CAAC,CAWrE;AAED;;GAEG;AACH,wBAAgB,qBAAqB,CAAC,KAAK,EAAE,MAAM,GAAG,EAAE,CAEvD;AAED;;;;;;GAMG;AACH,wBAAgB,gBAAgB,CAAC,MAAM,EAAE,EAAE,EAAE,IAAI,EAAE,EAAE,EAAE,MAAM,EAAE,EAAE,GAAG,EAAE,CAMrE;AAID;;;;;;GAMG;AACH,wBAAgB,gBAAgB,CAAC,UAAU,EAAE,EAAE,GAAG,EAAE,CAKnD"}