@hraness/oh 0.2.3

package/dist/projection.d.ts

@@ -0,0 +1,315 @@
+import { type JsonPrimitive, type Sha256Hex } from "./canonical";
+import { type KnowledgeGraphRecordKindV1, type KnowledgeGraphRecordRefV1, type KnowledgeGraphRecordV1 } from "./graph";
+export declare const OH_PROJECTION_FORMAT_VERSION_V1: 1;
+export declare const OH_PROJECTION_SEMANTICS_V1: "oh.projection.positive-datalog.v1";
+export declare const OH_PROJECTION_INTERNAL_ENGINE_V1: "oh.naive.positive.v1";
+export declare const OH_PROJECTION_LIMITS_V1: Readonly<{
+    arity: 32;
+    atomBytes: number;
+    derivedTuples: 262144;
+    facts: 262144;
+    literalsPerRule: 64;
+    proofDepth: 128;
+    proofNodes: 4096;
+    queryLiterals: 64;
+    queryMatches: 262144;
+    queryResults: 65536;
+    relations: 4096;
+    resultBytes: number;
+    rounds: 1024;
+    rules: 1024;
+    sourcesPerFact: 64;
+    totalProofNodes: 65536;
+    variables: 256;
+    workUnits: 16777216;
+}>;
+export type OhProjectionAtomV1 = JsonPrimitive;
+export type OhProjectionSnapshotV1 = Readonly<{
+    contractSha256: Sha256Hex;
+    generation: number;
+    graphRevisionSha256: Sha256Hex | null;
+    operationSha256: Sha256Hex | null;
+    recordRefs: readonly KnowledgeGraphRecordRefV1[];
+    recordsSha256: Sha256Hex;
+    sequence: number;
+    snapshotSha256: Sha256Hex;
+    spaceId: string;
+    v: 1;
+}>;
+export type OhProjectionFactSourceV1 = Readonly<{
+    key: string;
+    recordSha256: Sha256Hex;
+    v: 1;
+}>;
+export type OhProjectionFactV1 = Readonly<{
+    factSha256: Sha256Hex;
+    relation: string;
+    sources: readonly OhProjectionFactSourceV1[];
+    tuple: readonly OhProjectionAtomV1[];
+    v: 1;
+}>;
+export type OhProjectionDatasetV1 = Readonly<{
+    datasetSha256: Sha256Hex;
+    extractorSha256: Sha256Hex;
+    factPackId: string;
+    factPackRevision: number;
+    factPackSha256: Sha256Hex;
+    facts: readonly OhProjectionFactV1[];
+    factsSha256: Sha256Hex;
+    snapshotSha256: Sha256Hex;
+    v: 1;
+}>;
+export declare const OH_PROJECTION_RECORD_FACT_EXTRACTOR_V1: Readonly<{
+    extractorSha256: Sha256Hex;
+    factPackId: "oh.record-facts";
+    factPackRevision: 1;
+    relations: readonly ["oh.dependency", "oh.record"];
+    semantics: "oh.projection.positive-datalog.v1";
+    v: 1;
+}>;
+export type OhProjectionTermV1 = Readonly<{
+    kind: "constant";
+    v: 1;
+    value: OhProjectionAtomV1;
+}> | Readonly<{
+    kind: "variable";
+    name: string;
+    v: 1;
+}>;
+export type OhProjectionLiteralV1 = Readonly<{
+    relation: string;
+    terms: readonly OhProjectionTermV1[];
+    v: 1;
+}>;
+export type OhProjectionRuleV1 = Readonly<{
+    body: readonly OhProjectionLiteralV1[];
+    head: OhProjectionLiteralV1;
+    ruleId: string;
+    ruleSha256: Sha256Hex;
+    v: 1;
+}>;
+export type OhProjectionRulePackV1 = Readonly<{
+    rulePackId: string;
+    rulePackRevision: number;
+    rulePackSha256: Sha256Hex;
+    rules: readonly OhProjectionRuleV1[];
+    rulesSha256: Sha256Hex;
+    semantics: typeof OH_PROJECTION_SEMANTICS_V1;
+    v: 1;
+}>;
+export type OhProjectionQueryV1 = Readonly<{
+    find: readonly string[];
+    limit: number;
+    queryId: string;
+    querySha256: Sha256Hex;
+    where: readonly OhProjectionLiteralV1[];
+    v: 1;
+}>;
+export type OhProjectionIdentityV1 = Readonly<{
+    contractSha256: Sha256Hex;
+    datasetSha256: Sha256Hex;
+    engineSha256: Sha256Hex;
+    evaluationSha256: Sha256Hex;
+    projectionSha256: Sha256Hex;
+    querySha256: Sha256Hex;
+    rulePackSha256: Sha256Hex;
+    semantics: typeof OH_PROJECTION_SEMANTICS_V1;
+    snapshotSha256: Sha256Hex;
+    v: 1;
+}>;
+export type OhProjectionProofV1 = Readonly<{
+    kind: "fact";
+    relation: string;
+    sources: readonly OhProjectionFactSourceV1[];
+    tuple: readonly OhProjectionAtomV1[];
+    v: 1;
+}> | Readonly<{
+    kind: "derived";
+    premises: readonly OhProjectionProofV1[];
+    premisesTruncated: boolean;
+    relation: string;
+    ruleId: string;
+    ruleSha256: Sha256Hex;
+    tuple: readonly OhProjectionAtomV1[];
+    v: 1;
+}> | Readonly<{
+    kind: "truncated";
+    reason: "cycle" | "depth" | "nodes";
+    relation: string;
+    tuple: readonly OhProjectionAtomV1[];
+    v: 1;
+}>;
+export type OhProjectionResultRowV1 = Readonly<{
+    proofs: readonly OhProjectionProofV1[];
+    proofsTruncated: boolean;
+    supportCount: number;
+    values: readonly OhProjectionAtomV1[];
+    v: 1;
+}>;
+export type OhProjectionResultV1 = Readonly<{
+    authority: "derived";
+    cache: Readonly<{
+        strategy: "full-rebuild";
+        v: 1;
+    }>;
+    engine: string;
+    evaluation: Readonly<{
+        maximumDerivedTuples: number;
+        maximumProofDepth: number;
+        maximumProofNodes: number;
+        maximumResultBytes: number;
+        maximumRounds: number;
+        maximumTotalProofNodes: number;
+        maximumWorkUnits: number;
+        v: 1;
+    }>;
+    identity: OhProjectionIdentityV1;
+    resultSha256: Sha256Hex;
+    rows: readonly OhProjectionResultRowV1[];
+    stats: Readonly<{
+        baseFacts: number;
+        derivedFacts: number;
+        proofNodes: number;
+        queryMatches: number;
+        relations: number;
+        rounds: number;
+        proofsTruncated: boolean;
+        truncated: boolean;
+        truncationReasons: readonly ("query-limit" | "result-bytes")[];
+        workUnits: number;
+        v: 1;
+    }>;
+    v: 1;
+}>;
+export type OhProjectionEvaluationOptionsV1 = Readonly<{
+    maximumDerivedTuples?: number;
+    maximumProofDepth?: number;
+    maximumProofNodes?: number;
+    maximumResultBytes?: number;
+    maximumRounds?: number;
+    maximumTotalProofNodes?: number;
+    maximumWorkUnits?: number;
+}>;
+export type OhProjectionInvalidationReasonV1 = "dataset-changed" | "engine-changed" | "evaluation-changed" | "query-changed" | "rule-pack-changed" | "snapshot-changed";
+export type OhProjectionInvalidationV1 = Readonly<{
+    kind: "reusable";
+    v: 1;
+}> | Readonly<{
+    kind: "full-rebuild";
+    reasons: readonly OhProjectionInvalidationReasonV1[];
+    v: 1;
+}>;
+type ProjectionHeadInputV1 = Readonly<{
+    generation: number;
+    graphRevisionSha256: Sha256Hex | null;
+    operationSha256: Sha256Hex | null;
+    recordsSha256: Sha256Hex;
+    sequence: number;
+}>;
+export declare function createOhProjectionSnapshotV1(input: Readonly<{
+    head: ProjectionHeadInputV1;
+    records: readonly KnowledgeGraphRecordV1[];
+    spaceId: string;
+}>): OhProjectionSnapshotV1;
+export declare function parseOhProjectionSnapshotV1(value: unknown): OhProjectionSnapshotV1 | null;
+export declare function createOhProjectionFactV1(input: Readonly<{
+    relation: string;
+    sources: readonly OhProjectionFactSourceV1[];
+    tuple: readonly OhProjectionAtomV1[];
+}>): OhProjectionFactV1;
+export declare function parseOhProjectionFactV1(value: unknown): OhProjectionFactV1 | null;
+export declare function createOhProjectionDatasetV1(input: Readonly<{
+    extractorSha256: Sha256Hex;
+    factPackId: string;
+    factPackRevision: number;
+    facts: readonly OhProjectionFactV1[];
+    snapshot: OhProjectionSnapshotV1;
+}>): OhProjectionDatasetV1;
+export declare function parseOhProjectionDatasetV1(value: unknown, snapshot: OhProjectionSnapshotV1): OhProjectionDatasetV1 | null;
+export declare function ohProjectionVariableV1(name: string): OhProjectionTermV1;
+export declare function ohProjectionConstantV1(value: OhProjectionAtomV1): OhProjectionTermV1;
+export declare function createOhProjectionLiteralV1(input: Readonly<{
+    relation: string;
+    terms: readonly OhProjectionTermV1[];
+}>): OhProjectionLiteralV1;
+export declare function parseOhProjectionTermV1(value: unknown): OhProjectionTermV1 | null;
+export declare function parseOhProjectionLiteralV1(value: unknown): OhProjectionLiteralV1 | null;
+export declare function createOhProjectionRuleV1(input: Readonly<{
+    body: readonly OhProjectionLiteralV1[];
+    head: OhProjectionLiteralV1;
+    ruleId: string;
+}>): OhProjectionRuleV1;
+export declare function parseOhProjectionRuleV1(value: unknown): OhProjectionRuleV1 | null;
+export declare function createOhProjectionRulePackV1(input: Readonly<{
+    rulePackId: string;
+    rulePackRevision: number;
+    rules: readonly OhProjectionRuleV1[];
+}>): OhProjectionRulePackV1;
+export declare function parseOhProjectionRulePackV1(value: unknown): OhProjectionRulePackV1 | null;
+export declare function createOhProjectionQueryV1(input: Readonly<{
+    find: readonly string[];
+    limit?: number;
+    queryId: string;
+    where: readonly OhProjectionLiteralV1[];
+}>): OhProjectionQueryV1;
+export declare function parseOhProjectionQueryV1(value: unknown): OhProjectionQueryV1 | null;
+export declare function createOhProjectionIdentityV1(input: Readonly<{
+    dataset: OhProjectionDatasetV1;
+    engine?: string;
+    options?: OhProjectionEvaluationOptionsV1;
+    query: OhProjectionQueryV1;
+    rulePack: OhProjectionRulePackV1;
+    snapshot: OhProjectionSnapshotV1;
+}>): OhProjectionIdentityV1;
+export declare function parseOhProjectionIdentityV1(value: unknown): OhProjectionIdentityV1 | null;
+export declare function invalidationForOhProjectionV1(previous: OhProjectionIdentityV1, next: OhProjectionIdentityV1): OhProjectionInvalidationV1;
+/**
+ * Parses one untrusted proof tree under the public hard depth, node, and byte
+ * ceilings. Cached result envelopes should normally be parsed as a whole with
+ * `parseOhProjectionResultV1`, which also applies their smaller declared limits.
+ */
+export declare function parseOhProjectionProofV1(value: unknown): OhProjectionProofV1 | null;
+/**
+ * Parses a cached projection result as untrusted data. It verifies exact keys,
+ * all aggregate and declared bounds, proof truncation markers, canonical row
+ * order, engine/evaluation identity links, and `resultSha256`. Pass the
+ * projection digest requested from a cache to reject identity substitution.
+ */
+export declare function parseOhProjectionResultV1(value: unknown, expectedProjectionSha256?: Sha256Hex): OhProjectionResultV1 | null;
+export declare function evaluateOhProjectionV1(input: Readonly<{
+    dataset: OhProjectionDatasetV1;
+    options?: OhProjectionEvaluationOptionsV1;
+    query: OhProjectionQueryV1;
+    rulePack: OhProjectionRulePackV1;
+    snapshot: OhProjectionSnapshotV1;
+}>): OhProjectionResultV1;
+/**
+ * Internal adapter seam. It is exported for package-owned optional engines,
+ * not as authority: callers receive the same derived-only result envelope.
+ */
+export declare function evaluateOhProjectionWithMaterializerV1(input: Readonly<{
+    dataset: OhProjectionDatasetV1;
+    engine: string;
+    materialize: (program: Readonly<{
+        dataset: OhProjectionDatasetV1;
+        maximumDerivedTuples: number;
+        maximumRounds: number;
+        query: OhProjectionQueryV1;
+        rulePack: OhProjectionRulePackV1;
+    }>) => Readonly<{
+        relationFacts: ReadonlyMap<string, readonly OhProjectionAtomV1[][]>;
+    }>;
+    options?: OhProjectionEvaluationOptionsV1;
+    query: OhProjectionQueryV1;
+    rulePack: OhProjectionRulePackV1;
+    snapshot: OhProjectionSnapshotV1;
+}>): OhProjectionResultV1;
+export type OhProjectionRecordFactOptionsV1 = Readonly<{
+    includeDependencies?: boolean;
+    includeRecords?: boolean;
+}>;
+/** Builds the stable structural fact layer shared by every domain fact pack. */
+export declare function createOhProjectionRecordFactsV1(records: readonly KnowledgeGraphRecordV1[], options?: OhProjectionRecordFactOptionsV1): readonly OhProjectionFactV1[];
+export declare function isOhProjectionRecordKindV1(value: unknown): value is KnowledgeGraphRecordKindV1;
+export {};
+//# sourceMappingURL=projection.d.ts.map

package/dist/projection.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"projection.d.ts","sourceRoot":"","sources":["../src/projection.ts"],"names":[],"mappings":"AAAA,OAAO,EAWL,KAAK,aAAa,EAClB,KAAK,SAAS,EACf,MAAM,aAAa,CAAC;AAErB,OAAO,EAKL,KAAK,0BAA0B,EAC/B,KAAK,yBAAyB,EAC9B,KAAK,sBAAsB,EAC5B,MAAM,SAAS,CAAC;AAEjB,eAAO,MAAM,+BAA+B,EAAG,CAAU,CAAC;AAC1D,eAAO,MAAM,0BAA0B,EAAG,mCAA4C,CAAC;AACvF,eAAO,MAAM,gCAAgC,EAAG,sBAA+B,CAAC;AAEhF,eAAO,MAAM,uBAAuB;;;;;;;;;;;;;;;;;;;EAmBlC,CAAC;AAEH,MAAM,MAAM,kBAAkB,GAAG,aAAa,CAAC;AAE/C,MAAM,MAAM,sBAAsB,GAAG,QAAQ,CAAC;IAC5C,cAAc,EAAE,SAAS,CAAC;IAC1B,UAAU,EAAE,MAAM,CAAC;IACnB,mBAAmB,EAAE,SAAS,GAAG,IAAI,CAAC;IACtC,eAAe,EAAE,SAAS,GAAG,IAAI,CAAC;IAClC,UAAU,EAAE,SAAS,yBAAyB,EAAE,CAAC;IACjD,aAAa,EAAE,SAAS,CAAC;IACzB,QAAQ,EAAE,MAAM,CAAC;IACjB,cAAc,EAAE,SAAS,CAAC;IAC1B,OAAO,EAAE,MAAM,CAAC;IAChB,CAAC,EAAE,CAAC,CAAC;CACN,CAAC,CAAC;AAEH,MAAM,MAAM,wBAAwB,GAAG,QAAQ,CAAC;IAC9C,GAAG,EAAE,MAAM,CAAC;IACZ,YAAY,EAAE,SAAS,CAAC;IACxB,CAAC,EAAE,CAAC,CAAC;CACN,CAAC,CAAC;AAEH,MAAM,MAAM,kBAAkB,GAAG,QAAQ,CAAC;IACxC,UAAU,EAAE,SAAS,CAAC;IACtB,QAAQ,EAAE,MAAM,CAAC;IACjB,OAAO,EAAE,SAAS,wBAAwB,EAAE,CAAC;IAC7C,KAAK,EAAE,SAAS,kBAAkB,EAAE,CAAC;IACrC,CAAC,EAAE,CAAC,CAAC;CACN,CAAC,CAAC;AAEH,MAAM,MAAM,qBAAqB,GAAG,QAAQ,CAAC;IAC3C,aAAa,EAAE,SAAS,CAAC;IACzB,eAAe,EAAE,SAAS,CAAC;IAC3B,UAAU,EAAE,MAAM,CAAC;IACnB,gBAAgB,EAAE,MAAM,CAAC;IACzB,cAAc,EAAE,SAAS,CAAC;IAC1B,KAAK,EAAE,SAAS,kBAAkB,EAAE,CAAC;IACrC,WAAW,EAAE,SAAS,CAAC;IACvB,cAAc,EAAE,SAAS,CAAC;IAC1B,CAAC,EAAE,CAAC,CAAC;CACN,CAAC,CAAC;AAUH,eAAO,MAAM,sCAAsC;;;;;;;EAGjD,CAAC;AAEH,MAAM,MAAM,kBAAkB,GAC1B,QAAQ,CAAC;IAAE,IAAI,EAAE,UAAU,CAAC;IAAC,CAAC,EAAE,CAAC,CAAC;IAAC,KAAK,EAAE,kBAAkB,CAAA;CAAE,CAAC,GAC/D,QAAQ,CAAC;IAAE,IAAI,EAAE,UAAU,CAAC;IAAC,IAAI,EAAE,MAAM,CAAC;IAAC,CAAC,EAAE,CAAC,CAAA;CAAE,CAAC,CAAC;AAEvD,MAAM,MAAM,qBAAqB,GAAG,QAAQ,CAAC;IAC3C,QAAQ,EAAE,MAAM,CAAC;IACjB,KAAK,EAAE,SAAS,kBAAkB,EAAE,CAAC;IACrC,CAAC,EAAE,CAAC,CAAC;CACN,CAAC,CAAC;AAEH,MAAM,MAAM,kBAAkB,GAAG,QAAQ,CAAC;IACxC,IAAI,EAAE,SAAS,qBAAqB,EAAE,CAAC;IACvC,IAAI,EAAE,qBAAqB,CAAC;IAC5B,MAAM,EAAE,MAAM,CAAC;IACf,UAAU,EAAE,SAAS,CAAC;IACtB,CAAC,EAAE,CAAC,CAAC;CACN,CAAC,CAAC;AAEH,MAAM,MAAM,sBAAsB,GAAG,QAAQ,CAAC;IAC5C,UAAU,EAAE,MAAM,CAAC;IACnB,gBAAgB,EAAE,MAAM,CAAC;IACzB,cAAc,EAAE,SAAS,CAAC;IAC1B,KAAK,EAAE,SAAS,kBAAkB,EAAE,CAAC;IACrC,WAAW,EAAE,SAAS,CAAC;IACvB,SAAS,EAAE,OAAO,0BAA0B,CAAC;IAC7C,CAAC,EAAE,CAAC,CAAC;CACN,CAAC,CAAC;AAEH,MAAM,MAAM,mBAAmB,GAAG,QAAQ,CAAC;IACzC,IAAI,EAAE,SAAS,MAAM,EAAE,CAAC;IACxB,KAAK,EAAE,MAAM,CAAC;IACd,OAAO,EAAE,MAAM,CAAC;IAChB,WAAW,EAAE,SAAS,CAAC;IACvB,KAAK,EAAE,SAAS,qBAAqB,EAAE,CAAC;IACxC,CAAC,EAAE,CAAC,CAAC;CACN,CAAC,CAAC;AAEH,MAAM,MAAM,sBAAsB,GAAG,QAAQ,CAAC;IAC5C,cAAc,EAAE,SAAS,CAAC;IAC1B,aAAa,EAAE,SAAS,CAAC;IACzB,YAAY,EAAE,SAAS,CAAC;IACxB,gBAAgB,EAAE,SAAS,CAAC;IAC5B,gBAAgB,EAAE,SAAS,CAAC;IAC5B,WAAW,EAAE,SAAS,CAAC;IACvB,cAAc,EAAE,SAAS,CAAC;IAC1B,SAAS,EAAE,OAAO,0BAA0B,CAAC;IAC7C,cAAc,EAAE,SAAS,CAAC;IAC1B,CAAC,EAAE,CAAC,CAAC;CACN,CAAC,CAAC;AAEH,MAAM,MAAM,mBAAmB,GAC3B,QAAQ,CAAC;IACT,IAAI,EAAE,MAAM,CAAC;IACb,QAAQ,EAAE,MAAM,CAAC;IACjB,OAAO,EAAE,SAAS,wBAAwB,EAAE,CAAC;IAC7C,KAAK,EAAE,SAAS,kBAAkB,EAAE,CAAC;IACrC,CAAC,EAAE,CAAC,CAAC;CACN,CAAC,GACA,QAAQ,CAAC;IACT,IAAI,EAAE,SAAS,CAAC;IAChB,QAAQ,EAAE,SAAS,mBAAmB,EAAE,CAAC;IACzC,iBAAiB,EAAE,OAAO,CAAC;IAC3B,QAAQ,EAAE,MAAM,CAAC;IACjB,MAAM,EAAE,MAAM,CAAC;IACf,UAAU,EAAE,SAAS,CAAC;IACtB,KAAK,EAAE,SAAS,kBAAkB,EAAE,CAAC;IACrC,CAAC,EAAE,CAAC,CAAC;CACN,CAAC,GACA,QAAQ,CAAC;IACT,IAAI,EAAE,WAAW,CAAC;IAClB,MAAM,EAAE,OAAO,GAAG,OAAO,GAAG,OAAO,CAAC;IACpC,QAAQ,EAAE,MAAM,CAAC;IACjB,KAAK,EAAE,SAAS,kBAAkB,EAAE,CAAC;IACrC,CAAC,EAAE,CAAC,CAAC;CACN,CAAC,CAAC;AAEL,MAAM,MAAM,uBAAuB,GAAG,QAAQ,CAAC;IAC7C,MAAM,EAAE,SAAS,mBAAmB,EAAE,CAAC;IACvC,eAAe,EAAE,OAAO,CAAC;IACzB,YAAY,EAAE,MAAM,CAAC;IACrB,MAAM,EAAE,SAAS,kBAAkB,EAAE,CAAC;IACtC,CAAC,EAAE,CAAC,CAAC;CACN,CAAC,CAAC;AAEH,MAAM,MAAM,oBAAoB,GAAG,QAAQ,CAAC;IAC1C,SAAS,EAAE,SAAS,CAAC;IACrB,KAAK,EAAE,QAAQ,CAAC;QAAE,QAAQ,EAAE,cAAc,CAAC;QAAC,CAAC,EAAE,CAAC,CAAA;KAAE,CAAC,CAAC;IACpD,MAAM,EAAE,MAAM,CAAC;IACf,UAAU,EAAE,QAAQ,CAAC;QACnB,oBAAoB,EAAE,MAAM,CAAC;QAC7B,iBAAiB,EAAE,MAAM,CAAC;QAC1B,iBAAiB,EAAE,MAAM,CAAC;QAC1B,kBAAkB,EAAE,MAAM,CAAC;QAC3B,aAAa,EAAE,MAAM,CAAC;QACtB,sBAAsB,EAAE,MAAM,CAAC;QAC/B,gBAAgB,EAAE,MAAM,CAAC;QACzB,CAAC,EAAE,CAAC,CAAC;KACN,CAAC,CAAC;IACH,QAAQ,EAAE,sBAAsB,CAAC;IACjC,YAAY,EAAE,SAAS,CAAC;IACxB,IAAI,EAAE,SAAS,uBAAuB,EAAE,CAAC;IACzC,KAAK,EAAE,QAAQ,CAAC;QACd,SAAS,EAAE,MAAM,CAAC;QAClB,YAAY,EAAE,MAAM,CAAC;QACrB,UAAU,EAAE,MAAM,CAAC;QACnB,YAAY,EAAE,MAAM,CAAC;QACrB,SAAS,EAAE,MAAM,CAAC;QAClB,MAAM,EAAE,MAAM,CAAC;QACf,eAAe,EAAE,OAAO,CAAC;QACzB,SAAS,EAAE,OAAO,CAAC;QACnB,iBAAiB,EAAE,SAAS,CAAC,aAAa,GAAG,cAAc,CAAC,EAAE,CAAC;QAC/D,SAAS,EAAE,MAAM,CAAC;QAClB,CAAC,EAAE,CAAC,CAAC;KACN,CAAC,CAAC;IACH,CAAC,EAAE,CAAC,CAAC;CACN,CAAC,CAAC;AAEH,MAAM,MAAM,+BAA+B,GAAG,QAAQ,CAAC;IACrD,oBAAoB,CAAC,EAAE,MAAM,CAAC;IAC9B,iBAAiB,CAAC,EAAE,MAAM,CAAC;IAC3B,iBAAiB,CAAC,EAAE,MAAM,CAAC;IAC3B,kBAAkB,CAAC,EAAE,MAAM,CAAC;IAC5B,aAAa,CAAC,EAAE,MAAM,CAAC;IACvB,sBAAsB,CAAC,EAAE,MAAM,CAAC;IAChC,gBAAgB,CAAC,EAAE,MAAM,CAAC;CAC3B,CAAC,CAAC;AAEH,MAAM,MAAM,gCAAgC,GACxC,iBAAiB,GACjB,gBAAgB,GAChB,oBAAoB,GACpB,eAAe,GACf,mBAAmB,GACnB,kBAAkB,CAAC;AAEvB,MAAM,MAAM,0BAA0B,GAClC,QAAQ,CAAC;IAAE,IAAI,EAAE,UAAU,CAAC;IAAC,CAAC,EAAE,CAAC,CAAA;CAAE,CAAC,GACpC,QAAQ,CAAC;IACT,IAAI,EAAE,cAAc,CAAC;IACrB,OAAO,EAAE,SAAS,gCAAgC,EAAE,CAAC;IACrD,CAAC,EAAE,CAAC,CAAC;CACN,CAAC,CAAC;AAEL,KAAK,qBAAqB,GAAG,QAAQ,CAAC;IACpC,UAAU,EAAE,MAAM,CAAC;IACnB,mBAAmB,EAAE,SAAS,GAAG,IAAI,CAAC;IACtC,eAAe,EAAE,SAAS,GAAG,IAAI,CAAC;IAClC,aAAa,EAAE,SAAS,CAAC;IACzB,QAAQ,EAAE,MAAM,CAAC;CAClB,CAAC,CAAC;AA8DH,wBAAgB,4BAA4B,CAAC,KAAK,EAAE,QAAQ,CAAC;IAC3D,IAAI,EAAE,qBAAqB,CAAC;IAC5B,OAAO,EAAE,SAAS,sBAAsB,EAAE,CAAC;IAC3C,OAAO,EAAE,MAAM,CAAC;CACjB,CAAC,GAAG,sBAAsB,CA0C1B;AAED,wBAAgB,2BAA2B,CAAC,KAAK,EAAE,OAAO,GAAG,sBAAsB,GAAG,IAAI,CA6BzF;AAED,wBAAgB,wBAAwB,CAAC,KAAK,EAAE,QAAQ,CAAC;IACvD,QAAQ,EAAE,MAAM,CAAC;IACjB,OAAO,EAAE,SAAS,wBAAwB,EAAE,CAAC;IAC7C,KAAK,EAAE,SAAS,kBAAkB,EAAE,CAAC;CACtC,CAAC,GAAG,kBAAkB,CAqBtB;AAED,wBAAgB,uBAAuB,CAAC,KAAK,EAAE,OAAO,GAAG,kBAAkB,GAAG,IAAI,CAWjF;AAwBD,wBAAgB,2BAA2B,CAAC,KAAK,EAAE,QAAQ,CAAC;IAC1D,eAAe,EAAE,SAAS,CAAC;IAC3B,UAAU,EAAE,MAAM,CAAC;IACnB,gBAAgB,EAAE,MAAM,CAAC;IACzB,KAAK,EAAE,SAAS,kBAAkB,EAAE,CAAC;IACrC,QAAQ,EAAE,sBAAsB,CAAC;CAClC,CAAC,GAAG,qBAAqB,CA0BzB;AAED,wBAAgB,0BAA0B,CAAC,KAAK,EAAE,OAAO,EACvD,QAAQ,EAAE,sBAAsB,GAAG,qBAAqB,GAAG,IAAI,CAkBhE;AAED,wBAAgB,sBAAsB,CAAC,IAAI,EAAE,MAAM,GAAG,kBAAkB,CAIvE;AAED,wBAAgB,sBAAsB,CAAC,KAAK,EAAE,kBAAkB,GAAG,kBAAkB,CAIpF;AAED,wBAAgB,2BAA2B,CAAC,KAAK,EAAE,QAAQ,CAAC;IAC1D,QAAQ,EAAE,MAAM,CAAC;IACjB,KAAK,EAAE,SAAS,kBAAkB,EAAE,CAAC;CACtC,CAAC,GAAG,qBAAqB,CAQzB;AAED,wBAAgB,uBAAuB,CAAC,KAAK,EAAE,OAAO,GAAG,kBAAkB,GAAG,IAAI,CAWjF;AAED,wBAAgB,0BAA0B,CAAC,KAAK,EAAE,OAAO,GAAG,qBAAqB,GAAG,IAAI,CASvF;AAMD,wBAAgB,wBAAwB,CAAC,KAAK,EAAE,QAAQ,CAAC;IACvD,IAAI,EAAE,SAAS,qBAAqB,EAAE,CAAC;IACvC,IAAI,EAAE,qBAAqB,CAAC;IAC5B,MAAM,EAAE,MAAM,CAAC;CAChB,CAAC,GAAG,kBAAkB,CActB;AAED,wBAAgB,uBAAuB,CAAC,KAAK,EAAE,OAAO,GAAG,kBAAkB,GAAG,IAAI,CAWjF;AAED,wBAAgB,4BAA4B,CAAC,KAAK,EAAE,QAAQ,CAAC;IAC3D,UAAU,EAAE,MAAM,CAAC;IACnB,gBAAgB,EAAE,MAAM,CAAC;IACzB,KAAK,EAAE,SAAS,kBAAkB,EAAE,CAAC;CACtC,CAAC,GAAG,sBAAsB,CAY1B;AAED,wBAAgB,2BAA2B,CAAC,KAAK,EAAE,OAAO,GAAG,sBAAsB,GAAG,IAAI,CAazF;AAED,wBAAgB,yBAAyB,CAAC,KAAK,EAAE,QAAQ,CAAC;IACxD,IAAI,EAAE,SAAS,MAAM,EAAE,CAAC;IACxB,KAAK,CAAC,EAAE,MAAM,CAAC;IACf,OAAO,EAAE,MAAM,CAAC;IAChB,KAAK,EAAE,SAAS,qBAAqB,EAAE,CAAC;CACzC,CAAC,GAAG,mBAAmB,CAiBvB;AAED,wBAAgB,wBAAwB,CAAC,KAAK,EAAE,OAAO,GAAG,mBAAmB,GAAG,IAAI,CAWnF;AAED,wBAAgB,4BAA4B,CAAC,KAAK,EAAE,QAAQ,CAAC;IAC3D,OAAO,EAAE,qBAAqB,CAAC;IAC/B,MAAM,CAAC,EAAE,MAAM,CAAC;IAChB,OAAO,CAAC,EAAE,+BAA+B,CAAC;IAC1C,KAAK,EAAE,mBAAmB,CAAC;IAC3B,QAAQ,EAAE,sBAAsB,CAAC;IACjC,QAAQ,EAAE,sBAAsB,CAAC;CAClC,CAAC,GAAG,sBAAsB,CAuB1B;AAED,wBAAgB,2BAA2B,CAAC,KAAK,EAAE,OAAO,GAAG,sBAAsB,GAAG,IAAI,CAqBzF;AAED,wBAAgB,6BAA6B,CAAC,QAAQ,EAAE,sBAAsB,EAC5E,IAAI,EAAE,sBAAsB,GAAG,0BAA0B,CAa1D;AA2WD;;;;GAIG;AACH,wBAAgB,wBAAwB,CAAC,KAAK,EAAE,OAAO,GAAG,mBAAmB,GAAG,IAAI,CAWnF;AAoDD;;;;;GAKG;AACH,wBAAgB,yBAAyB,CAAC,KAAK,EAAE,OAAO,EACtD,wBAAwB,CAAC,EAAE,SAAS,GAAG,oBAAoB,GAAG,IAAI,CAiFnE;AA0ED,wBAAgB,sBAAsB,CAAC,KAAK,EAAE,QAAQ,CAAC;IACrD,OAAO,EAAE,qBAAqB,CAAC;IAC/B,OAAO,CAAC,EAAE,+BAA+B,CAAC;IAC1C,KAAK,EAAE,mBAAmB,CAAC;IAC3B,QAAQ,EAAE,sBAAsB,CAAC;IACjC,QAAQ,EAAE,sBAAsB,CAAC;CAClC,CAAC,GAAG,oBAAoB,CAexB;AAED;;;GAGG;AACH,wBAAgB,sCAAsC,CAAC,KAAK,EAAE,QAAQ,CAAC;IACrE,OAAO,EAAE,qBAAqB,CAAC;IAC/B,MAAM,EAAE,MAAM,CAAC;IACf,WAAW,EAAE,CAAC,OAAO,EAAE,QAAQ,CAAC;QAC9B,OAAO,EAAE,qBAAqB,CAAC;QAC/B,oBAAoB,EAAE,MAAM,CAAC;QAC7B,aAAa,EAAE,MAAM,CAAC;QACtB,KAAK,EAAE,mBAAmB,CAAC;QAC3B,QAAQ,EAAE,sBAAsB,CAAC;KAClC,CAAC,KAAK,QAAQ,CAAC;QAAE,aAAa,EAAE,WAAW,CAAC,MAAM,EAAE,SAAS,kBAAkB,EAAE,EAAE,CAAC,CAAA;KAAE,CAAC,CAAC;IACzF,OAAO,CAAC,EAAE,+BAA+B,CAAC;IAC1C,KAAK,EAAE,mBAAmB,CAAC;IAC3B,QAAQ,EAAE,sBAAsB,CAAC;IACjC,QAAQ,EAAE,sBAAsB,CAAC;CAClC,CAAC,GAAG,oBAAoB,CAyCxB;AAED,MAAM,MAAM,+BAA+B,GAAG,QAAQ,CAAC;IACrD,mBAAmB,CAAC,EAAE,OAAO,CAAC;IAC9B,cAAc,CAAC,EAAE,OAAO,CAAC;CAC1B,CAAC,CAAC;AAEH,gFAAgF;AAChF,wBAAgB,+BAA+B,CAAC,OAAO,EAAE,SAAS,sBAAsB,EAAE,EACxF,OAAO,GAAE,+BAAoC,GAAG,SAAS,kBAAkB,EAAE,CAgC9E;AAED,wBAAgB,0BAA0B,CAAC,KAAK,EAAE,OAAO,GAAG,KAAK,IAAI,0BAA0B,CAE9F"}

package/dist/schema.d.ts

@@ -0,0 +1,45 @@
+import { type JsonObject, type Sha256Hex } from "./canonical";
+import { type KnowledgeSchemaRefV1 } from "./ontology";
+export declare const OH_SCHEMA_FORMAT_VERSION_V1: 1;
+export declare const OH_SCHEMA_KINDS_V1: readonly ["concept", "mapping", "predicate", "shape", "unit", "vocabulary"];
+export type KnowledgeSchemaKindV1 = (typeof OH_SCHEMA_KINDS_V1)[number];
+export type KnowledgeLocalizedTextV1 = Readonly<{
+    language: string;
+    text: string;
+    v: 1;
+}>;
+export type KnowledgeSchemaRevisionInputV1 = Readonly<{
+    body: JsonObject;
+    code: string;
+    compatibility: "additive" | "breaking";
+    description: readonly KnowledgeLocalizedTextV1[];
+    kind: KnowledgeSchemaKindV1;
+    labels: readonly KnowledgeLocalizedTextV1[];
+    namespace: string;
+    previousSchemaSha256: Sha256Hex | null;
+    revision: number;
+    v: 1;
+}>;
+export type KnowledgeSchemaRevisionV1 = KnowledgeSchemaRevisionInputV1 & Readonly<{
+    schemaSha256: Sha256Hex;
+}>;
+export type KnowledgeVocabularyRevisionV1 = Readonly<{
+    namespace: string;
+    revision: number;
+    schemaRefs: readonly KnowledgeSchemaRefV1[];
+    v: 1;
+    vocabularySha256: Sha256Hex;
+}>;
+export declare function createKnowledgeSchemaRevisionV1(input: KnowledgeSchemaRevisionInputV1): KnowledgeSchemaRevisionV1;
+export declare function parseKnowledgeSchemaRevisionV1(value: unknown): KnowledgeSchemaRevisionV1 | null;
+export declare function knowledgeSchemaRefV1(schema: KnowledgeSchemaRevisionV1): KnowledgeSchemaRefV1;
+/** Checks the immutable chain and the meaning of an additive evolution claim. */
+export declare function verifyKnowledgeSchemaEvolutionV1(prior: KnowledgeSchemaRevisionV1, next: KnowledgeSchemaRevisionV1): Readonly<{
+    ok: true;
+}> | Readonly<{
+    ok: false;
+    reason: string;
+}>;
+export declare function createKnowledgeVocabularyRevisionV1(input: Omit<KnowledgeVocabularyRevisionV1, "vocabularySha256">): KnowledgeVocabularyRevisionV1;
+export declare function parseKnowledgeVocabularyRevisionV1(value: unknown): KnowledgeVocabularyRevisionV1 | null;
+//# sourceMappingURL=schema.d.ts.map

package/dist/schema.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"schema.d.ts","sourceRoot":"","sources":["../src/schema.ts"],"names":[],"mappings":"AAAA,OAAO,EASL,KAAK,UAAU,EACf,KAAK,SAAS,EACf,MAAM,aAAa,CAAC;AACrB,OAAO,EAA6B,KAAK,oBAAoB,EAAE,MAAM,YAAY,CAAC;AAElF,eAAO,MAAM,2BAA2B,EAAG,CAAU,CAAC;AACtD,eAAO,MAAM,kBAAkB,6EAA8E,CAAC;AAC9G,MAAM,MAAM,qBAAqB,GAAG,CAAC,OAAO,kBAAkB,CAAC,CAAC,MAAM,CAAC,CAAC;AAExE,MAAM,MAAM,wBAAwB,GAAG,QAAQ,CAAC;IAAE,QAAQ,EAAE,MAAM,CAAC;IAAC,IAAI,EAAE,MAAM,CAAC;IAAC,CAAC,EAAE,CAAC,CAAA;CAAE,CAAC,CAAC;AAE1F,MAAM,MAAM,8BAA8B,GAAG,QAAQ,CAAC;IACpD,IAAI,EAAE,UAAU,CAAC;IACjB,IAAI,EAAE,MAAM,CAAC;IACb,aAAa,EAAE,UAAU,GAAG,UAAU,CAAC;IACvC,WAAW,EAAE,SAAS,wBAAwB,EAAE,CAAC;IACjD,IAAI,EAAE,qBAAqB,CAAC;IAC5B,MAAM,EAAE,SAAS,wBAAwB,EAAE,CAAC;IAC5C,SAAS,EAAE,MAAM,CAAC;IAClB,oBAAoB,EAAE,SAAS,GAAG,IAAI,CAAC;IACvC,QAAQ,EAAE,MAAM,CAAC;IACjB,CAAC,EAAE,CAAC,CAAC;CACN,CAAC,CAAC;AAEH,MAAM,MAAM,yBAAyB,GAAG,8BAA8B,GAAG,QAAQ,CAAC;IAChF,YAAY,EAAE,SAAS,CAAC;CACzB,CAAC,CAAC;AAEH,MAAM,MAAM,6BAA6B,GAAG,QAAQ,CAAC;IACnD,SAAS,EAAE,MAAM,CAAC;IAClB,QAAQ,EAAE,MAAM,CAAC;IACjB,UAAU,EAAE,SAAS,oBAAoB,EAAE,CAAC;IAC5C,CAAC,EAAE,CAAC,CAAC;IACL,gBAAgB,EAAE,SAAS,CAAC;CAC7B,CAAC,CAAC;AA0CH,wBAAgB,+BAA+B,CAAC,KAAK,EAAE,8BAA8B,GAAG,yBAAyB,CAIhH;AAED,wBAAgB,8BAA8B,CAAC,KAAK,EAAE,OAAO,GAAG,yBAAyB,GAAG,IAAI,CAO/F;AAED,wBAAgB,oBAAoB,CAAC,MAAM,EAAE,yBAAyB,GAAG,oBAAoB,CAG5F;AAOD,iFAAiF;AACjF,wBAAgB,gCAAgC,CAC9C,KAAK,EAAE,yBAAyB,EAChC,IAAI,EAAE,yBAAyB,GAC9B,QAAQ,CAAC;IAAE,EAAE,EAAE,IAAI,CAAA;CAAE,CAAC,GAAG,QAAQ,CAAC;IAAE,EAAE,EAAE,KAAK,CAAC;IAAC,MAAM,EAAE,MAAM,CAAA;CAAE,CAAC,CAclE;AAED,wBAAgB,mCAAmC,CAAC,KAAK,EAAE,IAAI,CAAC,6BAA6B,EAAE,kBAAkB,CAAC,GAAG,6BAA6B,CAejJ;AAED,wBAAgB,kCAAkC,CAAC,KAAK,EAAE,OAAO,GAAG,6BAA6B,GAAG,IAAI,CAQvG"}

package/dist/sdk.d.ts

@@ -0,0 +1,51 @@
+import { type JsonValue } from "./canonical";
+import { type KnowledgeGraphRecordKindV1, type KnowledgeGraphRecordV1 } from "./graph";
+import { type OhSearchModeV1, type OhSearchResponseV1 } from "./search";
+import type { OhSemanticSearchBackendV1 } from "./semantic";
+import { OhSqliteStore, type OhHeadV1, type OhReplayVerificationV1 } from "./sqlite/store";
+import { synchronizeOhStoreV1, type OhOperationSyncTransportV1, type OhSyncResultV1 } from "./sync";
+import type { OhOperationV1 } from "./operation";
+export type OhOpenOptionsV1 = Readonly<{
+    databasePath?: string;
+    semanticBackend?: OhSemanticSearchBackendV1;
+    spaceId?: string;
+}>;
+export declare class Oh {
+    #private;
+    readonly store: OhSqliteStore;
+    readonly semanticBackend: OhSemanticSearchBackendV1 | undefined;
+    private constructor();
+    static open(options?: OhOpenOptionsV1): Oh;
+    head(): OhHeadV1;
+    put(input: Readonly<{
+        actorId?: string;
+        dependencies?: readonly string[];
+        expectedHead?: Pick<OhHeadV1, "generation" | "operationSha256">;
+        instant?: string;
+        key: string;
+        kind: KnowledgeGraphRecordKindV1;
+        operationId?: string;
+        value: JsonValue;
+    }>): OhOperationV1;
+    tombstone(input: Readonly<{
+        actorId?: string;
+        expectedHead?: Pick<OhHeadV1, "generation" | "operationSha256">;
+        instant?: string;
+        key: string;
+        operationId?: string;
+    }>): OhOperationV1;
+    get(key: string): KnowledgeGraphRecordV1 | null;
+    list(options?: Parameters<OhSqliteStore["list"]>[0]): readonly KnowledgeGraphRecordV1[];
+    indexSemantic(): Promise<Readonly<{
+        indexed: number;
+        v: 1;
+    }>>;
+    search(query: string, options?: Readonly<{
+        limit?: number;
+        mode?: OhSearchModeV1;
+    }>): Promise<OhSearchResponseV1>;
+    sync(transport: OhOperationSyncTransportV1, options?: Parameters<typeof synchronizeOhStoreV1>[2]): Promise<OhSyncResultV1>;
+    verify(): OhReplayVerificationV1;
+    close(): Promise<void>;
+}
+//# sourceMappingURL=sdk.d.ts.map

package/dist/sdk.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"sdk.d.ts","sourceRoot":"","sources":["../src/sdk.ts"],"names":[],"mappings":"AAAA,OAAO,EAAY,KAAK,SAAS,EAAE,MAAM,aAAa,CAAC;AACvD,OAAO,EAAgC,KAAK,0BAA0B,EACpE,KAAK,sBAAsB,EAAE,MAAM,SAAS,CAAC;AAC/C,OAAO,EAAc,KAAK,cAAc,EAAE,KAAK,kBAAkB,EAAE,MAAM,UAAU,CAAC;AACpF,OAAO,KAAK,EAAE,yBAAyB,EAAE,MAAM,YAAY,CAAC;AAC5D,OAAO,EAAE,aAAa,EAAE,KAAK,QAAQ,EAAE,KAAK,sBAAsB,EAAE,MAAM,gBAAgB,CAAC;AAC3F,OAAO,EAAE,oBAAoB,EAAE,KAAK,0BAA0B,EAAE,KAAK,cAAc,EAAE,MAAM,QAAQ,CAAC;AACpG,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,aAAa,CAAC;AAEjD,MAAM,MAAM,eAAe,GAAG,QAAQ,CAAC;IACrC,YAAY,CAAC,EAAE,MAAM,CAAC;IACtB,eAAe,CAAC,EAAE,yBAAyB,CAAC;IAC5C,OAAO,CAAC,EAAE,MAAM,CAAC;CAClB,CAAC,CAAC;AAEH,qBAAa,EAAE;;IACb,QAAQ,CAAC,KAAK,EAAE,aAAa,CAAC;IAC9B,QAAQ,CAAC,eAAe,EAAE,yBAAyB,GAAG,SAAS,CAAC;IAGhE,OAAO;IAKP,MAAM,CAAC,IAAI,CAAC,OAAO,GAAE,eAAoB,GAAG,EAAE;IAM9C,IAAI,IAAI,QAAQ;IAEhB,GAAG,CAAC,KAAK,EAAE,QAAQ,CAAC;QAClB,OAAO,CAAC,EAAE,MAAM,CAAC;QACjB,YAAY,CAAC,EAAE,SAAS,MAAM,EAAE,CAAC;QACjC,YAAY,CAAC,EAAE,IAAI,CAAC,QAAQ,EAAE,YAAY,GAAG,iBAAiB,CAAC,CAAC;QAChE,OAAO,CAAC,EAAE,MAAM,CAAC;QACjB,GAAG,EAAE,MAAM,CAAC;QACZ,IAAI,EAAE,0BAA0B,CAAC;QACjC,WAAW,CAAC,EAAE,MAAM,CAAC;QACrB,KAAK,EAAE,SAAS,CAAC;KAClB,CAAC,GAAG,aAAa;IASlB,SAAS,CAAC,KAAK,EAAE,QAAQ,CAAC;QACxB,OAAO,CAAC,EAAE,MAAM,CAAC;QACjB,YAAY,CAAC,EAAE,IAAI,CAAC,QAAQ,EAAE,YAAY,GAAG,iBAAiB,CAAC,CAAC;QAChE,OAAO,CAAC,EAAE,MAAM,CAAC;QACjB,GAAG,EAAE,MAAM,CAAC;QACZ,WAAW,CAAC,EAAE,MAAM,CAAC;KACtB,CAAC,GAAG,aAAa;IAUlB,GAAG,CAAC,GAAG,EAAE,MAAM,GAAG,sBAAsB,GAAG,IAAI;IAE/C,IAAI,CAAC,OAAO,CAAC,EAAE,UAAU,CAAC,aAAa,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,SAAS,sBAAsB,EAAE;IAIjF,aAAa,IAAI,OAAO,CAAC,QAAQ,CAAC;QAAE,OAAO,EAAE,MAAM,CAAC;QAAC,CAAC,EAAE,CAAC,CAAA;KAAE,CAAC,CAAC;IAK7D,MAAM,CAAC,KAAK,EAAE,MAAM,EAAE,OAAO,GAAE,QAAQ,CAAC;QAAE,KAAK,CAAC,EAAE,MAAM,CAAC;QAAC,IAAI,CAAC,EAAE,cAAc,CAAA;KAAE,CAAM,GAAG,OAAO,CAAC,kBAAkB,CAAC;IAMrH,IAAI,CAAC,SAAS,EAAE,0BAA0B,EAAE,OAAO,CAAC,EAAE,UAAU,CAAC,OAAO,oBAAoB,CAAC,CAAC,CAAC,CAAC,GAAG,OAAO,CAAC,cAAc,CAAC;IAIhI,MAAM,IAAI,sBAAsB;IAE1B,KAAK,IAAI,OAAO,CAAC,IAAI,CAAC;CAK7B"}