@hraness/oh 0.2.3

package/dist/ontology.d.ts

@@ -0,0 +1,242 @@
+import { type Sha256Hex } from "./canonical";
+export declare const OH_ONTOLOGY_VERSION_V1: "1.0.0";
+export declare const OH_CONTRACT_ID_V1: "oh.ontology.v1";
+export declare const OH_KNOWLEDGE_LIMITS_V1: Readonly<{
+    dimensions: 64;
+    listValues: 256;
+    qualifiers: 128;
+    statementBytes: number;
+    textBytes: number;
+}>;
+export declare const OH_KNOWLEDGE_KERNEL_CONCEPTS_V1: readonly [{
+    readonly code: "entity";
+    readonly description: "A stable identity anchor for something that can be referred to.";
+    readonly label: "Entity";
+}, {
+    readonly code: "statement";
+    readonly description: "An immutable proposition with a subject, predicate, object, and qualifiers.";
+    readonly label: "Statement";
+}, {
+    readonly code: "assertion";
+    readonly description: "An attributable stance toward a statement.";
+    readonly label: "Assertion";
+}, {
+    readonly code: "evidence";
+    readonly description: "A typed account of how an observation bears on an assertion.";
+    readonly label: "Evidence";
+}, {
+    readonly code: "context";
+    readonly description: "The scenario and dimensions in which knowledge applies.";
+    readonly label: "Context";
+}, {
+    readonly code: "inquiry";
+    readonly description: "A question and its durable investigation trail.";
+    readonly label: "Inquiry";
+}, {
+    readonly code: "projection";
+    readonly description: "A reproducible view derived from exact knowledge.";
+    readonly label: "Projection";
+}];
+export type KnowledgeOntologyIssueCode = "dependency-missing" | "digest-mismatch" | "invalid-input" | "limit-exceeded" | "noncanonical-input";
+export type KnowledgeOntologyResult<T> = Readonly<{
+    ok: true;
+    value: T;
+}> | Readonly<{
+    error: Readonly<{
+        code: KnowledgeOntologyIssueCode;
+        field: string;
+    }>;
+    ok: false;
+}>;
+declare const entityIdBrand: unique symbol;
+declare const assertionIdBrand: unique symbol;
+declare const evidenceIdBrand: unique symbol;
+declare const inquiryIdBrand: unique symbol;
+export type KnowledgeEntityId = string & {
+    readonly [entityIdBrand]: "KnowledgeEntityId";
+};
+export type KnowledgeAssertionId = string & {
+    readonly [assertionIdBrand]: "KnowledgeAssertionId";
+};
+export type KnowledgeEvidenceId = string & {
+    readonly [evidenceIdBrand]: "KnowledgeEvidenceId";
+};
+export type KnowledgeInquiryId = string & {
+    readonly [inquiryIdBrand]: "KnowledgeInquiryId";
+};
+export declare function parseKnowledgeEntityId(value: unknown): KnowledgeEntityId | null;
+export declare function parseKnowledgeAssertionId(value: unknown): KnowledgeAssertionId | null;
+export declare function parseKnowledgeEvidenceId(value: unknown): KnowledgeEvidenceId | null;
+export declare function parseKnowledgeInquiryId(value: unknown): KnowledgeInquiryId | null;
+export declare const OH_KNOWLEDGE_ENTITY_STATES_V1: readonly ["active", "quarantined", "redirected", "tombstoned"];
+export type KnowledgeEntityStateV1 = (typeof OH_KNOWLEDGE_ENTITY_STATES_V1)[number];
+export type KnowledgeEntityV1 = Readonly<{
+    entityId: KnowledgeEntityId;
+    identityOperationId: string;
+    identityRevision: number;
+    redirectEntityId: KnowledgeEntityId | null;
+    state: KnowledgeEntityStateV1;
+    v: 1;
+}>;
+export declare function parseKnowledgeEntityV1(value: unknown): KnowledgeOntologyResult<KnowledgeEntityV1>;
+export type KnowledgeSchemaRefV1 = Readonly<{
+    code: string;
+    namespace: string;
+    revision: number;
+    schemaSha256: Sha256Hex;
+    v: 1;
+}>;
+export declare function parseKnowledgeSchemaRefV1(value: unknown): KnowledgeOntologyResult<KnowledgeSchemaRefV1>;
+export type KnowledgeValueV1 = Readonly<{
+    entityId: KnowledgeEntityId;
+    kind: "entity";
+    v: 1;
+}> | Readonly<{
+    kind: "text";
+    language: string;
+    text: string;
+    v: 1;
+}> | Readonly<{
+    kind: "string";
+    v: 1;
+    value: string;
+}> | Readonly<{
+    kind: "boolean";
+    v: 1;
+    value: boolean;
+}> | Readonly<{
+    kind: "integer" | "decimal";
+    v: 1;
+    value: string;
+}> | Readonly<{
+    kind: "uri";
+    uri: string;
+    v: 1;
+}> | Readonly<{
+    kind: "list" | "set";
+    v: 1;
+    values: readonly KnowledgeValueV1[];
+}> | Readonly<{
+    canonicalizerSha256: Sha256Hex;
+    canonicalValue: string;
+    kind: "extension";
+    mediaType: string;
+    schema: KnowledgeSchemaRefV1;
+    v: 1;
+    valueSha256: Sha256Hex;
+}>;
+export declare function parseKnowledgeValueV1(value: unknown): KnowledgeOntologyResult<KnowledgeValueV1>;
+export declare function verifyKnowledgeValueV1(value: KnowledgeValueV1): KnowledgeOntologyResult<KnowledgeValueV1>;
+export type KnowledgeDimensionV1 = Readonly<{
+    predicate: KnowledgeSchemaRefV1;
+    v: 1;
+    value: KnowledgeValueV1;
+}>;
+export type KnowledgeContextV1 = Readonly<{
+    contextSha256: Sha256Hex;
+    dimensions: readonly KnowledgeDimensionV1[];
+    scenario: "actual" | "counterfactual" | "hypothetical" | "planned";
+    v: 1;
+}>;
+export type KnowledgeContextInputV1 = Omit<KnowledgeContextV1, "contextSha256">;
+export declare function createKnowledgeContextV1(input: KnowledgeContextInputV1): KnowledgeOntologyResult<KnowledgeContextV1>;
+export declare function parseKnowledgeContextV1(value: unknown): KnowledgeOntologyResult<KnowledgeContextV1>;
+export type KnowledgeStatementV1 = Readonly<{
+    object: KnowledgeValueV1;
+    predicate: KnowledgeSchemaRefV1;
+    qualifiers: readonly KnowledgeDimensionV1[];
+    statementSha256: Sha256Hex;
+    subject: KnowledgeEntityId;
+    v: 1;
+}>;
+export type KnowledgeStatementInputV1 = Omit<KnowledgeStatementV1, "statementSha256">;
+export declare function createKnowledgeStatementV1(input: KnowledgeStatementInputV1): KnowledgeOntologyResult<KnowledgeStatementV1>;
+export declare function parseKnowledgeStatementV1(value: unknown): KnowledgeOntologyResult<KnowledgeStatementV1>;
+export type KnowledgeAgentRefV1 = Readonly<{
+    entityId: KnowledgeEntityId;
+    kind: "entity";
+    v: 1;
+}> | Readonly<{
+    kind: "model";
+    model: KnowledgeSchemaRefV1;
+    receiptSha256: Sha256Hex;
+    v: 1;
+}> | Readonly<{
+    authority: KnowledgeSchemaRefV1;
+    kind: "system";
+    receiptSha256: Sha256Hex;
+    v: 1;
+}>;
+export declare const OH_KNOWLEDGE_ACTIVITY_KINDS_V1: readonly ["extraction", "human-entry", "human-review", "import", "model-proposal", "normalization", "publication", "resolution", "transformation"];
+export type KnowledgeActivityKindV1 = (typeof OH_KNOWLEDGE_ACTIVITY_KINDS_V1)[number];
+export type KnowledgeActivityV1 = Readonly<{
+    activitySha256: Sha256Hex;
+    actor: KnowledgeAgentRefV1;
+    inputSha256s: readonly Sha256Hex[];
+    kind: KnowledgeActivityKindV1;
+    occurredAt: string;
+    outputSha256s: readonly Sha256Hex[];
+    policySha256: Sha256Hex;
+    tool: KnowledgeSchemaRefV1 | null;
+    v: 1;
+}>;
+export type KnowledgeActivityInputV1 = Omit<KnowledgeActivityV1, "activitySha256">;
+export declare function createKnowledgeActivityV1(input: KnowledgeActivityInputV1): KnowledgeOntologyResult<KnowledgeActivityV1>;
+export declare function parseKnowledgeActivityV1(value: unknown): KnowledgeOntologyResult<KnowledgeActivityV1>;
+export declare const OH_KNOWLEDGE_ASSERTION_STANCES_V1: readonly ["questions", "refutes", "reports", "supports", "undetermined"];
+export type KnowledgeAssertionStanceV1 = (typeof OH_KNOWLEDGE_ASSERTION_STANCES_V1)[number];
+export declare const OH_KNOWLEDGE_ASSERTION_STATES_V1: readonly ["accepted-for-purpose", "disputed", "proposed", "reviewed", "superseded", "withdrawn"];
+export type KnowledgeAssertionStateV1 = (typeof OH_KNOWLEDGE_ASSERTION_STATES_V1)[number];
+export type KnowledgeAssertionV1 = Readonly<{
+    acceptedPurposes: readonly string[];
+    assertionId: KnowledgeAssertionId;
+    assertionSha256: Sha256Hex;
+    assertor: KnowledgeAgentRefV1;
+    confidence: KnowledgeSchemaRefV1 | null;
+    contextSha256: Sha256Hex | null;
+    provenanceActivitySha256: Sha256Hex;
+    reviewActivitySha256: Sha256Hex | null;
+    stance: KnowledgeAssertionStanceV1;
+    state: KnowledgeAssertionStateV1;
+    statementSha256: Sha256Hex;
+    v: 1;
+}>;
+export type KnowledgeAssertionInputV1 = Omit<KnowledgeAssertionV1, "assertionSha256">;
+export declare function createKnowledgeAssertionV1(input: KnowledgeAssertionInputV1): KnowledgeOntologyResult<KnowledgeAssertionV1>;
+export declare function parseKnowledgeAssertionV1(value: unknown): KnowledgeOntologyResult<KnowledgeAssertionV1>;
+export declare const OH_KNOWLEDGE_EVIDENCE_BEARINGS_V1: readonly ["background", "contradicts", "corroborates", "direct-observation", "method", "quotation", "registry-record", "supports"];
+export type KnowledgeEvidenceBearingV1 = (typeof OH_KNOWLEDGE_EVIDENCE_BEARINGS_V1)[number];
+export type KnowledgeEvidenceLinkV1 = Readonly<{
+    assertionSha256: Sha256Hex;
+    bearing: KnowledgeEvidenceBearingV1;
+    disclosure: "private" | "public" | "shared";
+    evidenceId: KnowledgeEvidenceId;
+    evidenceSha256: Sha256Hex;
+    observationSha256: Sha256Hex | null;
+    provenanceActivitySha256: Sha256Hex;
+    selector: string | null;
+    sourceEntityId: KnowledgeEntityId | null;
+    v: 1;
+}>;
+export type KnowledgeEvidenceLinkInputV1 = Omit<KnowledgeEvidenceLinkV1, "evidenceSha256">;
+export declare function createKnowledgeEvidenceLinkV1(input: KnowledgeEvidenceLinkInputV1): KnowledgeOntologyResult<KnowledgeEvidenceLinkV1>;
+export declare function parseKnowledgeEvidenceLinkV1(value: unknown): KnowledgeOntologyResult<KnowledgeEvidenceLinkV1>;
+export type KnowledgeInquiryV1 = Readonly<{
+    answerForm: string;
+    authorEntityId: KnowledgeEntityId;
+    contextSha256: Sha256Hex | null;
+    createdAt: string;
+    inquiryId: KnowledgeInquiryId;
+    inquirySha256: Sha256Hex;
+    language: string;
+    parentInquiryIds: readonly KnowledgeInquiryId[];
+    privacy: "private" | "public" | "shared";
+    question: string;
+    status: "abandoned" | "open" | "paused" | "resolved";
+    v: 1;
+}>;
+export type KnowledgeInquiryInputV1 = Omit<KnowledgeInquiryV1, "inquirySha256">;
+export declare function createKnowledgeInquiryV1(input: KnowledgeInquiryInputV1): KnowledgeOntologyResult<KnowledgeInquiryV1>;
+export declare function parseKnowledgeInquiryV1(value: unknown): KnowledgeOntologyResult<KnowledgeInquiryV1>;
+export {};
+//# sourceMappingURL=ontology.d.ts.map

package/dist/ontology.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"ontology.d.ts","sourceRoot":"","sources":["../src/ontology.ts"],"names":[],"mappings":"AAAA,OAAO,EAYL,KAAK,SAAS,EACf,MAAM,aAAa,CAAC;AAErB,eAAO,MAAM,sBAAsB,EAAG,OAAgB,CAAC;AACvD,eAAO,MAAM,iBAAiB,EAAG,gBAAyB,CAAC;AAE3D,eAAO,MAAM,sBAAsB;;;;;;EAMjC,CAAC;AAEH,eAAO,MAAM,+BAA+B;;;;;;;;;;;;;;;;;;;;;;;;;;;;EAQlC,CAAC;AAEX,MAAM,MAAM,0BAA0B,GAClC,oBAAoB,GACpB,iBAAiB,GACjB,eAAe,GACf,gBAAgB,GAChB,oBAAoB,CAAC;AAEzB,MAAM,MAAM,uBAAuB,CAAC,CAAC,IACjC,QAAQ,CAAC;IAAE,EAAE,EAAE,IAAI,CAAC;IAAC,KAAK,EAAE,CAAC,CAAA;CAAE,CAAC,GAChC,QAAQ,CAAC;IAAE,KAAK,EAAE,QAAQ,CAAC;QAAE,IAAI,EAAE,0BAA0B,CAAC;QAAC,KAAK,EAAE,MAAM,CAAA;KAAE,CAAC,CAAC;IAAC,EAAE,EAAE,KAAK,CAAA;CAAE,CAAC,CAAC;AAOlG,OAAO,CAAC,MAAM,aAAa,EAAE,OAAO,MAAM,CAAC;AAC3C,OAAO,CAAC,MAAM,gBAAgB,EAAE,OAAO,MAAM,CAAC;AAC9C,OAAO,CAAC,MAAM,eAAe,EAAE,OAAO,MAAM,CAAC;AAC7C,OAAO,CAAC,MAAM,cAAc,EAAE,OAAO,MAAM,CAAC;AAC5C,MAAM,MAAM,iBAAiB,GAAG,MAAM,GAAG;IAAE,QAAQ,CAAC,CAAC,aAAa,CAAC,EAAE,mBAAmB,CAAA;CAAE,CAAC;AAC3F,MAAM,MAAM,oBAAoB,GAAG,MAAM,GAAG;IAAE,QAAQ,CAAC,CAAC,gBAAgB,CAAC,EAAE,sBAAsB,CAAA;CAAE,CAAC;AACpG,MAAM,MAAM,mBAAmB,GAAG,MAAM,GAAG;IAAE,QAAQ,CAAC,CAAC,eAAe,CAAC,EAAE,qBAAqB,CAAA;CAAE,CAAC;AACjG,MAAM,MAAM,kBAAkB,GAAG,MAAM,GAAG;IAAE,QAAQ,CAAC,CAAC,cAAc,CAAC,EAAE,oBAAoB,CAAA;CAAE,CAAC;AAM9F,wBAAgB,sBAAsB,CAAC,KAAK,EAAE,OAAO,GAAG,iBAAiB,GAAG,IAAI,CAE/E;AACD,wBAAgB,yBAAyB,CAAC,KAAK,EAAE,OAAO,GAAG,oBAAoB,GAAG,IAAI,CAErF;AACD,wBAAgB,wBAAwB,CAAC,KAAK,EAAE,OAAO,GAAG,mBAAmB,GAAG,IAAI,CAEnF;AACD,wBAAgB,uBAAuB,CAAC,KAAK,EAAE,OAAO,GAAG,kBAAkB,GAAG,IAAI,CAEjF;AAED,eAAO,MAAM,6BAA6B,gEAAiE,CAAC;AAC5G,MAAM,MAAM,sBAAsB,GAAG,CAAC,OAAO,6BAA6B,CAAC,CAAC,MAAM,CAAC,CAAC;AACpF,MAAM,MAAM,iBAAiB,GAAG,QAAQ,CAAC;IACvC,QAAQ,EAAE,iBAAiB,CAAC;IAC5B,mBAAmB,EAAE,MAAM,CAAC;IAC5B,gBAAgB,EAAE,MAAM,CAAC;IACzB,gBAAgB,EAAE,iBAAiB,GAAG,IAAI,CAAC;IAC3C,KAAK,EAAE,sBAAsB,CAAC;IAC9B,CAAC,EAAE,CAAC,CAAC;CACN,CAAC,CAAC;AAEH,wBAAgB,sBAAsB,CAAC,KAAK,EAAE,OAAO,GAAG,uBAAuB,CAAC,iBAAiB,CAAC,CAcjG;AAED,MAAM,MAAM,oBAAoB,GAAG,QAAQ,CAAC;IAC1C,IAAI,EAAE,MAAM,CAAC;IACb,SAAS,EAAE,MAAM,CAAC;IAClB,QAAQ,EAAE,MAAM,CAAC;IACjB,YAAY,EAAE,SAAS,CAAC;IACxB,CAAC,EAAE,CAAC,CAAC;CACN,CAAC,CAAC;AAEH,wBAAgB,yBAAyB,CAAC,KAAK,EAAE,OAAO,GAAG,uBAAuB,CAAC,oBAAoB,CAAC,CAUvG;AAED,MAAM,MAAM,gBAAgB,GACxB,QAAQ,CAAC;IAAE,QAAQ,EAAE,iBAAiB,CAAC;IAAC,IAAI,EAAE,QAAQ,CAAC;IAAC,CAAC,EAAE,CAAC,CAAA;CAAE,CAAC,GAC/D,QAAQ,CAAC;IAAE,IAAI,EAAE,MAAM,CAAC;IAAC,QAAQ,EAAE,MAAM,CAAC;IAAC,IAAI,EAAE,MAAM,CAAC;IAAC,CAAC,EAAE,CAAC,CAAA;CAAE,CAAC,GAChE,QAAQ,CAAC;IAAE,IAAI,EAAE,QAAQ,CAAC;IAAC,CAAC,EAAE,CAAC,CAAC;IAAC,KAAK,EAAE,MAAM,CAAA;CAAE,CAAC,GACjD,QAAQ,CAAC;IAAE,IAAI,EAAE,SAAS,CAAC;IAAC,CAAC,EAAE,CAAC,CAAC;IAAC,KAAK,EAAE,OAAO,CAAA;CAAE,CAAC,GACnD,QAAQ,CAAC;IAAE,IAAI,EAAE,SAAS,GAAG,SAAS,CAAC;IAAC,CAAC,EAAE,CAAC,CAAC;IAAC,KAAK,EAAE,MAAM,CAAA;CAAE,CAAC,GAC9D,QAAQ,CAAC;IAAE,IAAI,EAAE,KAAK,CAAC;IAAC,GAAG,EAAE,MAAM,CAAC;IAAC,CAAC,EAAE,CAAC,CAAA;CAAE,CAAC,GAC5C,QAAQ,CAAC;IAAE,IAAI,EAAE,MAAM,GAAG,KAAK,CAAC;IAAC,CAAC,EAAE,CAAC,CAAC;IAAC,MAAM,EAAE,SAAS,gBAAgB,EAAE,CAAA;CAAE,CAAC,GAC7E,QAAQ,CAAC;IACT,mBAAmB,EAAE,SAAS,CAAC;IAC/B,cAAc,EAAE,MAAM,CAAC;IACvB,IAAI,EAAE,WAAW,CAAC;IAClB,SAAS,EAAE,MAAM,CAAC;IAClB,MAAM,EAAE,oBAAoB,CAAC;IAC7B,CAAC,EAAE,CAAC,CAAC;IACL,WAAW,EAAE,SAAS,CAAC;CACxB,CAAC,CAAC;AA0EL,wBAAgB,qBAAqB,CAAC,KAAK,EAAE,OAAO,GAAG,uBAAuB,CAAC,gBAAgB,CAAC,CAG/F;AAED,wBAAgB,sBAAsB,CAAC,KAAK,EAAE,gBAAgB,GAAG,uBAAuB,CAAC,gBAAgB,CAAC,CAazG;AAED,MAAM,MAAM,oBAAoB,GAAG,QAAQ,CAAC;IAAE,SAAS,EAAE,oBAAoB,CAAC;IAAC,CAAC,EAAE,CAAC,CAAC;IAAC,KAAK,EAAE,gBAAgB,CAAA;CAAE,CAAC,CAAC;AAShH,MAAM,MAAM,kBAAkB,GAAG,QAAQ,CAAC;IACxC,aAAa,EAAE,SAAS,CAAC;IACzB,UAAU,EAAE,SAAS,oBAAoB,EAAE,CAAC;IAC5C,QAAQ,EAAE,QAAQ,GAAG,gBAAgB,GAAG,cAAc,GAAG,SAAS,CAAC;IACnE,CAAC,EAAE,CAAC,CAAC;CACN,CAAC,CAAC;AACH,MAAM,MAAM,uBAAuB,GAAG,IAAI,CAAC,kBAAkB,EAAE,eAAe,CAAC,CAAC;AAEhF,wBAAgB,wBAAwB,CAAC,KAAK,EAAE,uBAAuB,GAAG,uBAAuB,CAAC,kBAAkB,CAAC,CAgBpH;AAED,wBAAgB,uBAAuB,CAAC,KAAK,EAAE,OAAO,GAAG,uBAAuB,CAAC,kBAAkB,CAAC,CAOnG;AAED,MAAM,MAAM,oBAAoB,GAAG,QAAQ,CAAC;IAC1C,MAAM,EAAE,gBAAgB,CAAC;IACzB,SAAS,EAAE,oBAAoB,CAAC;IAChC,UAAU,EAAE,SAAS,oBAAoB,EAAE,CAAC;IAC5C,eAAe,EAAE,SAAS,CAAC;IAC3B,OAAO,EAAE,iBAAiB,CAAC;IAC3B,CAAC,EAAE,CAAC,CAAC;CACN,CAAC,CAAC;AACH,MAAM,MAAM,yBAAyB,GAAG,IAAI,CAAC,oBAAoB,EAAE,iBAAiB,CAAC,CAAC;AAEtF,wBAAgB,0BAA0B,CAAC,KAAK,EAAE,yBAAyB,GAAG,uBAAuB,CAAC,oBAAoB,CAAC,CAqB1H;AAED,wBAAgB,yBAAyB,CAAC,KAAK,EAAE,OAAO,GAAG,uBAAuB,CAAC,oBAAoB,CAAC,CAOvG;AAED,MAAM,MAAM,mBAAmB,GAC3B,QAAQ,CAAC;IAAE,QAAQ,EAAE,iBAAiB,CAAC;IAAC,IAAI,EAAE,QAAQ,CAAC;IAAC,CAAC,EAAE,CAAC,CAAA;CAAE,CAAC,GAC/D,QAAQ,CAAC;IAAE,IAAI,EAAE,OAAO,CAAC;IAAC,KAAK,EAAE,oBAAoB,CAAC;IAAC,aAAa,EAAE,SAAS,CAAC;IAAC,CAAC,EAAE,CAAC,CAAA;CAAE,CAAC,GACxF,QAAQ,CAAC;IAAE,SAAS,EAAE,oBAAoB,CAAC;IAAC,IAAI,EAAE,QAAQ,CAAC;IAAC,aAAa,EAAE,SAAS,CAAC;IAAC,CAAC,EAAE,CAAC,CAAA;CAAE,CAAC,CAAC;AA6BlG,eAAO,MAAM,8BAA8B,oJAGjC,CAAC;AACX,MAAM,MAAM,uBAAuB,GAAG,CAAC,OAAO,8BAA8B,CAAC,CAAC,MAAM,CAAC,CAAC;AACtF,MAAM,MAAM,mBAAmB,GAAG,QAAQ,CAAC;IACzC,cAAc,EAAE,SAAS,CAAC;IAC1B,KAAK,EAAE,mBAAmB,CAAC;IAC3B,YAAY,EAAE,SAAS,SAAS,EAAE,CAAC;IACnC,IAAI,EAAE,uBAAuB,CAAC;IAC9B,UAAU,EAAE,MAAM,CAAC;IACnB,aAAa,EAAE,SAAS,SAAS,EAAE,CAAC;IACpC,YAAY,EAAE,SAAS,CAAC;IACxB,IAAI,EAAE,oBAAoB,GAAG,IAAI,CAAC;IAClC,CAAC,EAAE,CAAC,CAAC;CACN,CAAC,CAAC;AACH,MAAM,MAAM,wBAAwB,GAAG,IAAI,CAAC,mBAAmB,EAAE,gBAAgB,CAAC,CAAC;AAmBnF,wBAAgB,yBAAyB,CAAC,KAAK,EAAE,wBAAwB,GAAG,uBAAuB,CAAC,mBAAmB,CAAC,CAGvH;AAED,wBAAgB,wBAAwB,CAAC,KAAK,EAAE,OAAO,GAAG,uBAAuB,CAAC,mBAAmB,CAAC,CAOrG;AAED,eAAO,MAAM,iCAAiC,0EAA2E,CAAC;AAC1H,MAAM,MAAM,0BAA0B,GAAG,CAAC,OAAO,iCAAiC,CAAC,CAAC,MAAM,CAAC,CAAC;AAC5F,eAAO,MAAM,gCAAgC,kGAEnC,CAAC;AACX,MAAM,MAAM,yBAAyB,GAAG,CAAC,OAAO,gCAAgC,CAAC,CAAC,MAAM,CAAC,CAAC;AAC1F,MAAM,MAAM,oBAAoB,GAAG,QAAQ,CAAC;IAC1C,gBAAgB,EAAE,SAAS,MAAM,EAAE,CAAC;IACpC,WAAW,EAAE,oBAAoB,CAAC;IAClC,eAAe,EAAE,SAAS,CAAC;IAC3B,QAAQ,EAAE,mBAAmB,CAAC;IAC9B,UAAU,EAAE,oBAAoB,GAAG,IAAI,CAAC;IACxC,aAAa,EAAE,SAAS,GAAG,IAAI,CAAC;IAChC,wBAAwB,EAAE,SAAS,CAAC;IACpC,oBAAoB,EAAE,SAAS,GAAG,IAAI,CAAC;IACvC,MAAM,EAAE,0BAA0B,CAAC;IACnC,KAAK,EAAE,yBAAyB,CAAC;IACjC,eAAe,EAAE,SAAS,CAAC;IAC3B,CAAC,EAAE,CAAC,CAAC;CACN,CAAC,CAAC;AACH,MAAM,MAAM,yBAAyB,GAAG,IAAI,CAAC,oBAAoB,EAAE,iBAAiB,CAAC,CAAC;AAqCtF,wBAAgB,0BAA0B,CAAC,KAAK,EAAE,yBAAyB,GAAG,uBAAuB,CAAC,oBAAoB,CAAC,CAG1H;AAED,wBAAgB,yBAAyB,CAAC,KAAK,EAAE,OAAO,GAAG,uBAAuB,CAAC,oBAAoB,CAAC,CAOvG;AAED,eAAO,MAAM,iCAAiC,oIAGpC,CAAC;AACX,MAAM,MAAM,0BAA0B,GAAG,CAAC,OAAO,iCAAiC,CAAC,CAAC,MAAM,CAAC,CAAC;AAC5F,MAAM,MAAM,uBAAuB,GAAG,QAAQ,CAAC;IAC7C,eAAe,EAAE,SAAS,CAAC;IAC3B,OAAO,EAAE,0BAA0B,CAAC;IACpC,UAAU,EAAE,SAAS,GAAG,QAAQ,GAAG,QAAQ,CAAC;IAC5C,UAAU,EAAE,mBAAmB,CAAC;IAChC,cAAc,EAAE,SAAS,CAAC;IAC1B,iBAAiB,EAAE,SAAS,GAAG,IAAI,CAAC;IACpC,wBAAwB,EAAE,SAAS,CAAC;IACpC,QAAQ,EAAE,MAAM,GAAG,IAAI,CAAC;IACxB,cAAc,EAAE,iBAAiB,GAAG,IAAI,CAAC;IACzC,CAAC,EAAE,CAAC,CAAC;CACN,CAAC,CAAC;AACH,MAAM,MAAM,4BAA4B,GAAG,IAAI,CAAC,uBAAuB,EAAE,gBAAgB,CAAC,CAAC;AAwB3F,wBAAgB,6BAA6B,CAAC,KAAK,EAAE,4BAA4B,GAAG,uBAAuB,CAAC,uBAAuB,CAAC,CAGnI;AAED,wBAAgB,4BAA4B,CAAC,KAAK,EAAE,OAAO,GAAG,uBAAuB,CAAC,uBAAuB,CAAC,CAO7G;AAED,MAAM,MAAM,kBAAkB,GAAG,QAAQ,CAAC;IACxC,UAAU,EAAE,MAAM,CAAC;IACnB,cAAc,EAAE,iBAAiB,CAAC;IAClC,aAAa,EAAE,SAAS,GAAG,IAAI,CAAC;IAChC,SAAS,EAAE,MAAM,CAAC;IAClB,SAAS,EAAE,kBAAkB,CAAC;IAC9B,aAAa,EAAE,SAAS,CAAC;IACzB,QAAQ,EAAE,MAAM,CAAC;IACjB,gBAAgB,EAAE,SAAS,kBAAkB,EAAE,CAAC;IAChD,OAAO,EAAE,SAAS,GAAG,QAAQ,GAAG,QAAQ,CAAC;IACzC,QAAQ,EAAE,MAAM,CAAC;IACjB,MAAM,EAAE,WAAW,GAAG,MAAM,GAAG,QAAQ,GAAG,UAAU,CAAC;IACrD,CAAC,EAAE,CAAC,CAAC;CACN,CAAC,CAAC;AACH,MAAM,MAAM,uBAAuB,GAAG,IAAI,CAAC,kBAAkB,EAAE,eAAe,CAAC,CAAC;AAEhF,wBAAgB,wBAAwB,CAAC,KAAK,EAAE,uBAAuB,GAAG,uBAAuB,CAAC,kBAAkB,CAAC,CAmBpH;AAED,wBAAgB,uBAAuB,CAAC,KAAK,EAAE,OAAO,GAAG,uBAAuB,CAAC,kBAAkB,CAAC,CAOnG"}

package/dist/operation.d.ts

@@ -0,0 +1,24 @@
+import { type Sha256Hex } from "./canonical";
+import { OH_CONTRACT_ID_V1 } from "./ontology";
+import { type KnowledgeGraphChangeV1 } from "./graph";
+export { graphRevisionSha256V1 } from "./graph";
+export declare const OH_OPERATION_MAX_BYTES_V1: number;
+export type OhOperationPayloadV1 = Readonly<{
+    actorId: string;
+    changes: readonly KnowledgeGraphChangeV1[];
+    contractId: typeof OH_CONTRACT_ID_V1;
+    graphRevisionSha256: Sha256Hex;
+    instant: string;
+    operationId: string;
+    parentOperationSha256: Sha256Hex | null;
+    recordsSha256: Sha256Hex;
+    sequence: number;
+    spaceId: string;
+    v: 1;
+}>;
+export type OhOperationV1 = OhOperationPayloadV1 & Readonly<{
+    operationSha256: Sha256Hex;
+}>;
+export declare function createOhOperationV1(input: OhOperationPayloadV1): OhOperationV1;
+export declare function parseOhOperationV1(value: unknown): OhOperationV1 | null;
+//# sourceMappingURL=operation.d.ts.map

package/dist/operation.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"operation.d.ts","sourceRoot":"","sources":["../src/operation.ts"],"names":[],"mappings":"AAAA,OAAO,EAQL,KAAK,SAAS,EACf,MAAM,aAAa,CAAC;AACrB,OAAO,EAAE,iBAAiB,EAAE,MAAM,YAAY,CAAC;AAC/C,OAAO,EAAwD,KAAK,sBAAsB,EAAE,MAAM,SAAS,CAAC;AAE5G,OAAO,EAAE,qBAAqB,EAAE,MAAM,SAAS,CAAC;AAEhD,eAAO,MAAM,yBAAyB,QAAmB,CAAC;AAE1D,MAAM,MAAM,oBAAoB,GAAG,QAAQ,CAAC;IAC1C,OAAO,EAAE,MAAM,CAAC;IAChB,OAAO,EAAE,SAAS,sBAAsB,EAAE,CAAC;IAC3C,UAAU,EAAE,OAAO,iBAAiB,CAAC;IACrC,mBAAmB,EAAE,SAAS,CAAC;IAC/B,OAAO,EAAE,MAAM,CAAC;IAChB,WAAW,EAAE,MAAM,CAAC;IACpB,qBAAqB,EAAE,SAAS,GAAG,IAAI,CAAC;IACxC,aAAa,EAAE,SAAS,CAAC;IACzB,QAAQ,EAAE,MAAM,CAAC;IACjB,OAAO,EAAE,MAAM,CAAC;IAChB,CAAC,EAAE,CAAC,CAAC;CACN,CAAC,CAAC;AAEH,MAAM,MAAM,aAAa,GAAG,oBAAoB,GAAG,QAAQ,CAAC;IAAE,eAAe,EAAE,SAAS,CAAA;CAAE,CAAC,CAAC;AA6B5F,wBAAgB,mBAAmB,CAAC,KAAK,EAAE,oBAAoB,GAAG,aAAa,CAQ9E;AAED,wBAAgB,kBAAkB,CAAC,KAAK,EAAE,OAAO,GAAG,aAAa,GAAG,IAAI,CASvE"}

package/dist/projection-public.d.ts

@@ -0,0 +1,59 @@
+import * as Projection from "./projection";
+export declare const OH_PROJECTION_FORMAT_VERSION_V1: 1;
+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 declare const OH_PROJECTION_RECORD_FACT_EXTRACTOR_V1: Readonly<{
+    extractorSha256: import("./canonical").Sha256Hex;
+    factPackId: "oh.record-facts";
+    factPackRevision: 1;
+    relations: readonly ["oh.dependency", "oh.record"];
+    semantics: "oh.projection.positive-datalog.v1";
+    v: 1;
+}>;
+export declare const OH_PROJECTION_SEMANTICS_V1: "oh.projection.positive-datalog.v1";
+export declare const createOhProjectionDatasetV1: typeof Projection.createOhProjectionDatasetV1;
+export declare const createOhProjectionFactV1: typeof Projection.createOhProjectionFactV1;
+export declare const createOhProjectionIdentityV1: typeof Projection.createOhProjectionIdentityV1;
+export declare const createOhProjectionLiteralV1: typeof Projection.createOhProjectionLiteralV1;
+export declare const createOhProjectionQueryV1: typeof Projection.createOhProjectionQueryV1;
+export declare const createOhProjectionRecordFactsV1: typeof Projection.createOhProjectionRecordFactsV1;
+export declare const createOhProjectionRulePackV1: typeof Projection.createOhProjectionRulePackV1;
+export declare const createOhProjectionRuleV1: typeof Projection.createOhProjectionRuleV1;
+export declare const createOhProjectionSnapshotV1: typeof Projection.createOhProjectionSnapshotV1;
+export declare const evaluateOhProjectionV1: typeof Projection.evaluateOhProjectionV1;
+export declare const invalidationForOhProjectionV1: typeof Projection.invalidationForOhProjectionV1;
+export declare const isOhProjectionRecordKindV1: typeof Projection.isOhProjectionRecordKindV1;
+export declare const ohProjectionConstantV1: typeof Projection.ohProjectionConstantV1;
+export declare const ohProjectionVariableV1: typeof Projection.ohProjectionVariableV1;
+export declare const parseOhProjectionDatasetV1: typeof Projection.parseOhProjectionDatasetV1;
+export declare const parseOhProjectionFactV1: typeof Projection.parseOhProjectionFactV1;
+export declare const parseOhProjectionIdentityV1: typeof Projection.parseOhProjectionIdentityV1;
+export declare const parseOhProjectionLiteralV1: typeof Projection.parseOhProjectionLiteralV1;
+export declare const parseOhProjectionProofV1: typeof Projection.parseOhProjectionProofV1;
+export declare const parseOhProjectionQueryV1: typeof Projection.parseOhProjectionQueryV1;
+export declare const parseOhProjectionResultV1: typeof Projection.parseOhProjectionResultV1;
+export declare const parseOhProjectionRulePackV1: typeof Projection.parseOhProjectionRulePackV1;
+export declare const parseOhProjectionRuleV1: typeof Projection.parseOhProjectionRuleV1;
+export declare const parseOhProjectionSnapshotV1: typeof Projection.parseOhProjectionSnapshotV1;
+export declare const parseOhProjectionTermV1: typeof Projection.parseOhProjectionTermV1;
+export type { OhProjectionAtomV1, OhProjectionDatasetV1, OhProjectionEvaluationOptionsV1, OhProjectionFactSourceV1, OhProjectionFactV1, OhProjectionIdentityV1, OhProjectionInvalidationReasonV1, OhProjectionInvalidationV1, OhProjectionLiteralV1, OhProjectionProofV1, OhProjectionQueryV1, OhProjectionRecordFactOptionsV1, OhProjectionResultRowV1, OhProjectionResultV1, OhProjectionRulePackV1, OhProjectionRuleV1, OhProjectionSnapshotV1, OhProjectionTermV1, } from "./projection";
+//# sourceMappingURL=projection-public.d.ts.map

package/dist/projection-public.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"projection-public.d.ts","sourceRoot":"","sources":["../src/projection-public.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,UAAU,MAAM,cAAc,CAAC;AAE3C,eAAO,MAAM,+BAA+B,GAA6C,CAAC;AAC1F,eAAO,MAAM,gCAAgC,wBAA8C,CAAC;AAC5F,eAAO,MAAM,uBAAuB;;;;;;;;;;;;;;;;;;;EAAqC,CAAC;AAC1E,eAAO,MAAM,sCAAsC;;;;;;;EAAoD,CAAC;AACxG,eAAO,MAAM,0BAA0B,qCAAwC,CAAC;AAChF,eAAO,MAAM,2BAA2B,+CAAyC,CAAC;AAClF,eAAO,MAAM,wBAAwB,4CAAsC,CAAC;AAC5E,eAAO,MAAM,4BAA4B,gDAA0C,CAAC;AACpF,eAAO,MAAM,2BAA2B,+CAAyC,CAAC;AAClF,eAAO,MAAM,yBAAyB,6CAAuC,CAAC;AAC9E,eAAO,MAAM,+BAA+B,mDAA6C,CAAC;AAC1F,eAAO,MAAM,4BAA4B,gDAA0C,CAAC;AACpF,eAAO,MAAM,wBAAwB,4CAAsC,CAAC;AAC5E,eAAO,MAAM,4BAA4B,gDAA0C,CAAC;AACpF,eAAO,MAAM,sBAAsB,0CAAoC,CAAC;AACxE,eAAO,MAAM,6BAA6B,iDAA2C,CAAC;AACtF,eAAO,MAAM,0BAA0B,8CAAwC,CAAC;AAChF,eAAO,MAAM,sBAAsB,0CAAoC,CAAC;AACxE,eAAO,MAAM,sBAAsB,0CAAoC,CAAC;AACxE,eAAO,MAAM,0BAA0B,8CAAwC,CAAC;AAChF,eAAO,MAAM,uBAAuB,2CAAqC,CAAC;AAC1E,eAAO,MAAM,2BAA2B,+CAAyC,CAAC;AAClF,eAAO,MAAM,0BAA0B,8CAAwC,CAAC;AAChF,eAAO,MAAM,wBAAwB,4CAAsC,CAAC;AAC5E,eAAO,MAAM,wBAAwB,4CAAsC,CAAC;AAC5E,eAAO,MAAM,yBAAyB,6CAAuC,CAAC;AAC9E,eAAO,MAAM,2BAA2B,+CAAyC,CAAC;AAClF,eAAO,MAAM,uBAAuB,2CAAqC,CAAC;AAC1E,eAAO,MAAM,2BAA2B,+CAAyC,CAAC;AAClF,eAAO,MAAM,uBAAuB,2CAAqC,CAAC;AAE1E,YAAY,EACV,kBAAkB,EAClB,qBAAqB,EACrB,+BAA+B,EAC/B,wBAAwB,EACxB,kBAAkB,EAClB,sBAAsB,EACtB,gCAAgC,EAChC,0BAA0B,EAC1B,qBAAqB,EACrB,mBAAmB,EACnB,mBAAmB,EACnB,+BAA+B,EAC/B,uBAAuB,EACvB,oBAAoB,EACpB,sBAAsB,EACtB,kBAAkB,EAClB,sBAAsB,EACtB,kBAAkB,GACnB,MAAM,cAAc,CAAC"}