@noeos/verification-engine 0.0.0

package/dist/esm/contracts/generated.js

@@ -0,0 +1,509 @@
+// SPDX-License-Identifier: Apache-2.0
+// Generated from contracts/diagnostic-codes.v1.json and contracts/schemas/.
+// Run: npm run contracts:generate
+/** @public */
+export const DIAGNOSTIC_CODES = [
+    {
+        code: "INPUT_REQUIRED",
+        family: "input",
+        severity: "error",
+        exitCode: 3,
+        since: "1.0.0",
+    },
+    {
+        code: "INPUT_TYPE_INVALID",
+        family: "input",
+        severity: "error",
+        exitCode: 3,
+        since: "1.0.0",
+    },
+    {
+        code: "INPUT_LIMIT_EXCEEDED",
+        family: "input",
+        severity: "error",
+        exitCode: 3,
+        since: "1.0.0",
+    },
+    {
+        code: "IDENTIFIER_INVALID",
+        family: "input",
+        severity: "error",
+        exitCode: 3,
+        since: "1.0.0",
+    },
+    {
+        code: "VERSION_INVALID",
+        family: "input",
+        severity: "error",
+        exitCode: 3,
+        since: "1.0.0",
+    },
+    {
+        code: "JSON_SYNTAX_INVALID",
+        family: "input",
+        severity: "error",
+        exitCode: 3,
+        since: "1.0.0",
+    },
+    {
+        code: "JSON_DUPLICATE_KEY",
+        family: "input",
+        severity: "error",
+        exitCode: 3,
+        since: "1.0.0",
+    },
+    {
+        code: "JSON_VALUE_UNSUPPORTED",
+        family: "input",
+        severity: "error",
+        exitCode: 3,
+        since: "1.0.0",
+    },
+    {
+        code: "JSON_NUMBER_UNSAFE",
+        family: "input",
+        severity: "error",
+        exitCode: 3,
+        since: "1.0.0",
+    },
+    {
+        code: "UTF8_INVALID",
+        family: "input",
+        severity: "error",
+        exitCode: 3,
+        since: "1.0.0",
+    },
+    {
+        code: "NDJSON_LINE_EMPTY",
+        family: "input",
+        severity: "error",
+        exitCode: 3,
+        since: "1.0.0",
+    },
+    {
+        code: "NDJSON_LINE_TOO_LARGE",
+        family: "input",
+        severity: "error",
+        exitCode: 3,
+        since: "1.0.0",
+    },
+    {
+        code: "PROFILE_UNKNOWN",
+        family: "profile",
+        severity: "error",
+        exitCode: 7,
+        since: "1.0.0",
+    },
+    {
+        code: "PROFILE_VERSION_UNSUPPORTED",
+        family: "profile",
+        severity: "error",
+        exitCode: 7,
+        since: "1.0.0",
+    },
+    {
+        code: "PROFILE_VERSION_CONFLICT",
+        family: "profile",
+        severity: "error",
+        exitCode: 7,
+        since: "1.0.0",
+    },
+    {
+        code: "PROFILE_INPUT_KIND_MISMATCH",
+        family: "profile",
+        severity: "error",
+        exitCode: 7,
+        since: "1.0.0",
+    },
+    {
+        code: "NORMALIZATION_FAILED",
+        family: "profile",
+        severity: "error",
+        exitCode: 7,
+        since: "1.0.0",
+    },
+    {
+        code: "ALGORITHM_UNKNOWN",
+        family: "algorithm",
+        severity: "error",
+        exitCode: 7,
+        since: "1.0.0",
+    },
+    {
+        code: "ALGORITHM_FORBIDDEN",
+        family: "algorithm",
+        severity: "error",
+        exitCode: 7,
+        since: "1.0.0",
+    },
+    {
+        code: "ALGORITHM_VERIFY_ONLY",
+        family: "algorithm",
+        severity: "warning",
+        exitCode: 0,
+        since: "1.0.0",
+    },
+    {
+        code: "DIGEST_ENCODING_INVALID",
+        family: "algorithm",
+        severity: "error",
+        exitCode: 3,
+        since: "1.0.0",
+    },
+    {
+        code: "DIGEST_LENGTH_INVALID",
+        family: "algorithm",
+        severity: "error",
+        exitCode: 3,
+        since: "1.0.0",
+    },
+    {
+        code: "FRAME_MAGIC_INVALID",
+        family: "frame",
+        severity: "error",
+        exitCode: 3,
+        since: "1.0.0",
+    },
+    {
+        code: "FRAME_VERSION_UNSUPPORTED",
+        family: "frame",
+        severity: "error",
+        exitCode: 7,
+        since: "1.0.0",
+    },
+    {
+        code: "FRAME_KIND_UNKNOWN",
+        family: "frame",
+        severity: "error",
+        exitCode: 3,
+        since: "1.0.0",
+    },
+    {
+        code: "FRAME_FIELD_UNKNOWN",
+        family: "frame",
+        severity: "error",
+        exitCode: 3,
+        since: "1.0.0",
+    },
+    {
+        code: "FRAME_FIELD_MISSING",
+        family: "frame",
+        severity: "error",
+        exitCode: 3,
+        since: "1.0.0",
+    },
+    {
+        code: "FRAME_FIELD_DUPLICATE",
+        family: "frame",
+        severity: "error",
+        exitCode: 3,
+        since: "1.0.0",
+    },
+    {
+        code: "FRAME_FIELD_ORDER_INVALID",
+        family: "frame",
+        severity: "error",
+        exitCode: 3,
+        since: "1.0.0",
+    },
+    {
+        code: "FRAME_FIELD_TYPE_INVALID",
+        family: "frame",
+        severity: "error",
+        exitCode: 3,
+        since: "1.0.0",
+    },
+    {
+        code: "FRAME_LENGTH_INVALID",
+        family: "frame",
+        severity: "error",
+        exitCode: 3,
+        since: "1.0.0",
+    },
+    {
+        code: "FRAME_TRAILING_DATA",
+        family: "frame",
+        severity: "error",
+        exitCode: 3,
+        since: "1.0.0",
+    },
+    {
+        code: "EVIDENCE_SCHEMA_UNKNOWN",
+        family: "evidence",
+        severity: "error",
+        exitCode: 7,
+        since: "1.0.0",
+    },
+    {
+        code: "EVIDENCE_INVALID",
+        family: "evidence",
+        severity: "error",
+        exitCode: 3,
+        since: "1.0.0",
+    },
+    {
+        code: "CONTENT_DIGEST_MISMATCH",
+        family: "chain",
+        severity: "error",
+        exitCode: 1,
+        since: "1.0.0",
+    },
+    {
+        code: "RECORD_DIGEST_MISMATCH",
+        family: "chain",
+        severity: "error",
+        exitCode: 1,
+        since: "1.0.0",
+    },
+    {
+        code: "RECORD_ID_DUPLICATE",
+        family: "chain",
+        severity: "error",
+        exitCode: 1,
+        since: "1.0.0",
+    },
+    {
+        code: "CONTENT_DUPLICATE",
+        family: "chain",
+        severity: "warning",
+        exitCode: 0,
+        since: "1.0.0",
+    },
+    {
+        code: "LINK_DIGEST_DUPLICATE",
+        family: "chain",
+        severity: "error",
+        exitCode: 1,
+        since: "1.0.0",
+    },
+    {
+        code: "POSITION_MISMATCH",
+        family: "chain",
+        severity: "error",
+        exitCode: 1,
+        since: "1.0.0",
+    },
+    {
+        code: "PREVIOUS_LINK_MISMATCH",
+        family: "chain",
+        severity: "error",
+        exitCode: 1,
+        since: "1.0.0",
+    },
+    {
+        code: "LINK_DIGEST_MISMATCH",
+        family: "chain",
+        severity: "error",
+        exitCode: 1,
+        since: "1.0.0",
+    },
+    {
+        code: "CHAIN_CONFIGURATION_MISMATCH",
+        family: "chain",
+        severity: "error",
+        exitCode: 1,
+        since: "1.0.0",
+    },
+    {
+        code: "CHAIN_FORK",
+        family: "chain",
+        severity: "error",
+        exitCode: 1,
+        since: "1.0.0",
+    },
+    {
+        code: "EXPECTED_COUNT_MISMATCH",
+        family: "chain",
+        severity: "error",
+        exitCode: 1,
+        since: "1.0.0",
+    },
+    {
+        code: "FINAL_LINK_MISMATCH",
+        family: "chain",
+        severity: "error",
+        exitCode: 1,
+        since: "1.0.0",
+    },
+    {
+        code: "BOUNDARY_UNVERIFIED",
+        family: "chain",
+        severity: "warning",
+        exitCode: 4,
+        since: "1.0.0",
+    },
+    {
+        code: "EMPTY_CHAIN_FORBIDDEN",
+        family: "chain",
+        severity: "error",
+        exitCode: 1,
+        since: "1.0.0",
+    },
+    {
+        code: "RULE_FAILED",
+        family: "rule",
+        severity: "error",
+        exitCode: 1,
+        since: "1.0.0",
+    },
+    {
+        code: "RULE_EXECUTION_FAILED",
+        family: "rule",
+        severity: "error",
+        exitCode: 1,
+        since: "1.0.0",
+    },
+    {
+        code: "RULE_VERSION_CONFLICT",
+        family: "rule",
+        severity: "error",
+        exitCode: 1,
+        since: "1.0.0",
+    },
+    {
+        code: "DIAGNOSTIC_LIMIT_REACHED",
+        family: "operation",
+        severity: "warning",
+        exitCode: 0,
+        since: "1.0.0",
+    },
+    {
+        code: "INPUT_STREAM_FAILED",
+        family: "operation",
+        severity: "error",
+        exitCode: 3,
+        since: "1.0.0",
+    },
+    {
+        code: "OUTPUT_SINK_FAILED",
+        family: "operation",
+        severity: "error",
+        exitCode: 6,
+        since: "1.0.0",
+    },
+    {
+        code: "OPERATION_ABORTED",
+        family: "operation",
+        severity: "info",
+        exitCode: 130,
+        since: "1.0.0",
+    },
+    {
+        code: "RESOURCE_BUDGET_EXCEEDED",
+        family: "operation",
+        severity: "error",
+        exitCode: 5,
+        since: "1.0.0",
+    },
+    {
+        code: "CONCURRENT_USE_FORBIDDEN",
+        family: "operation",
+        severity: "error",
+        exitCode: 1,
+        since: "1.0.0",
+    },
+    {
+        code: "BUILDER_FINALIZED",
+        family: "operation",
+        severity: "error",
+        exitCode: 1,
+        since: "1.0.0",
+    },
+    {
+        code: "BUILDER_FAILED",
+        family: "operation",
+        severity: "error",
+        exitCode: 1,
+        since: "1.0.0",
+    },
+    {
+        code: "OBSERVER_FAILED",
+        family: "operation",
+        severity: "warning",
+        exitCode: 0,
+        since: "1.0.0",
+    },
+    {
+        code: "IO_READ_FAILED",
+        family: "operation",
+        severity: "error",
+        exitCode: 6,
+        since: "1.0.0",
+    },
+    {
+        code: "IO_WRITE_FAILED",
+        family: "operation",
+        severity: "error",
+        exitCode: 6,
+        since: "1.0.0",
+    },
+    {
+        code: "OUTPUT_EXISTS",
+        family: "operation",
+        severity: "error",
+        exitCode: 6,
+        since: "1.0.0",
+    },
+    {
+        code: "INTERNAL_INVARIANT_BROKEN",
+        family: "operation",
+        severity: "error",
+        exitCode: 70,
+        since: "1.0.0",
+    },
+];
+/** @public */
+export const SCHEMA_ASSETS = [
+    {
+        name: "chain-summary",
+        id: "urn:noeos:verification-engine:chain-summary:1",
+        path: "chain-summary.v1.schema.json",
+    },
+    {
+        name: "diagnostic",
+        id: "urn:noeos:verification-engine:diagnostic:1",
+        path: "diagnostic.v1.schema.json",
+    },
+    {
+        name: "link-evidence",
+        id: "urn:noeos:verification-engine:link-evidence:1",
+        path: "link-evidence.v1.schema.json",
+    },
+    {
+        name: "record-evidence",
+        id: "urn:noeos:verification-engine:record-evidence:1",
+        path: "record-evidence.v1.schema.json",
+    },
+    {
+        name: "vector-set",
+        id: "urn:noeos:verification-engine:vector-set:1",
+        path: "vector-set.v1.schema.json",
+    },
+];
+/** @public */
+export const VECTOR_SET = {
+    version: "1.0.0",
+    protocolVersion: 1,
+    files: [
+        {
+            path: "evidence.json",
+            category: "evidence",
+            sha256: "b4e3b4a38f67e7489eafb05528fd309ee931db66e1a0c230ffbd0e103db1f032",
+        },
+        {
+            path: "framing.json",
+            category: "framing",
+            sha256: "bacc590419dcee44ad0fa3e707d00a9bf322ac51243efc0a0418821fc6c92ea8",
+        },
+        {
+            path: "hashing.json",
+            category: "hashing",
+            sha256: "8722eba9ec01c80bdfa5f08fe13bc4c010b4712f61f417e5e2f748a8cbad44b3",
+        },
+        {
+            path: "invalid.json",
+            category: "invalid",
+            sha256: "05d098aa80412ce8d85aafea1b4ce4add53381e2fe4a4cda1cad88d9fa286fa6",
+        },
+    ],
+};

package/dist/esm/contracts/schema-assets.js

@@ -0,0 +1,2 @@
+// SPDX-License-Identifier: Apache-2.0
+export { SCHEMA_ASSETS } from "./generated.js";

package/dist/esm/contracts/vector-assets.js

@@ -0,0 +1,2 @@
+// SPDX-License-Identifier: Apache-2.0
+export { VECTOR_SET } from "./generated.js";

package/dist/esm/domain/algorithm-id.js

@@ -0,0 +1,2 @@
+// SPDX-License-Identifier: Apache-2.0
+export const ALGORITHM_IDS = ["sha-256", "sha-384", "sha-512"];

package/dist/esm/domain/byte-view.js

@@ -0,0 +1,4 @@
+// SPDX-License-Identifier: Apache-2.0
+export function copyBytes(value) {
+    return Uint8Array.from(value);
+}

package/dist/esm/domain/chain.js

@@ -0,0 +1,2 @@
+// SPDX-License-Identifier: Apache-2.0
+export {};

package/dist/esm/domain/diagnostic.js

@@ -0,0 +1,3 @@
+// SPDX-License-Identifier: Apache-2.0
+/** @public */
+export const DIAGNOSTIC_SCHEMA = "urn:noeos:verification-engine:diagnostic:1";

package/dist/esm/domain/digest.js

@@ -0,0 +1,32 @@
+// SPDX-License-Identifier: Apache-2.0
+import { copyBytes } from "./byte-view.js";
+const HEX = "0123456789abcdef";
+const TRUSTED_BYTES = new WeakMap();
+/** @public */
+export class Digest {
+    algorithm;
+    bytes;
+    constructor(algorithm, bytes) {
+        this.algorithm = algorithm;
+        this.bytes = bytes;
+    }
+    static fromValidated(algorithm, bytes) {
+        const digest = new Digest(algorithm, copyBytes(bytes));
+        TRUSTED_BYTES.set(digest, digest.bytes);
+        Object.freeze(digest);
+        return digest;
+    }
+    toBytes() {
+        return copyBytes(this.bytes);
+    }
+    toHex() {
+        let output = "";
+        for (const byte of this.bytes)
+            output += HEX.charAt(byte >>> 4) + HEX.charAt(byte & 0x0f);
+        return output;
+    }
+}
+/** Internal framing access; the returned view never escapes the trusted frame writer. */
+export function digestBytesForTrustedFrame(value) {
+    return TRUSTED_BYTES.get(value) ?? value.toBytes();
+}

package/dist/esm/domain/duplicate-policy.js

@@ -0,0 +1,2 @@
+// SPDX-License-Identifier: Apache-2.0
+export {};

package/dist/esm/domain/evidence.js

@@ -0,0 +1,7 @@
+// SPDX-License-Identifier: Apache-2.0
+/** @public */
+export const RECORD_EVIDENCE_SCHEMA = "urn:noeos:verification-engine:record-evidence:1";
+/** @public */
+export const LINK_EVIDENCE_SCHEMA = "urn:noeos:verification-engine:link-evidence:1";
+/** @public */
+export const CHAIN_SUMMARY_EVIDENCE_SCHEMA = "urn:noeos:verification-engine:chain-summary:1";

package/dist/esm/domain/identifiers.js

@@ -0,0 +1,45 @@
+// SPDX-License-Identifier: Apache-2.0
+const recordIdBrand = Symbol("RecordId");
+const sequenceIdBrand = Symbol("SequenceId");
+const contextIdBrand = Symbol("ContextId");
+const profileIdBrand = Symbol("ProfileId");
+export class RecordId {
+    value;
+    [recordIdBrand] = true;
+    constructor(value) {
+        this.value = value;
+    }
+    static fromValidated(value) {
+        return Object.freeze(new RecordId(value));
+    }
+}
+export class SequenceId {
+    value;
+    [sequenceIdBrand] = true;
+    constructor(value) {
+        this.value = value;
+    }
+    static fromValidated(value) {
+        return Object.freeze(new SequenceId(value));
+    }
+}
+export class ContextId {
+    value;
+    [contextIdBrand] = true;
+    constructor(value) {
+        this.value = value;
+    }
+    static fromValidated(value) {
+        return Object.freeze(new ContextId(value));
+    }
+}
+export class ProfileId {
+    value;
+    [profileIdBrand] = true;
+    constructor(value) {
+        this.value = value;
+    }
+    static fromValidated(value) {
+        return Object.freeze(new ProfileId(value));
+    }
+}

package/dist/esm/domain/json-value.js

@@ -0,0 +1,2 @@
+// SPDX-License-Identifier: Apache-2.0
+export {};

package/dist/esm/domain/limits.js

@@ -0,0 +1,21 @@
+// SPDX-License-Identifier: Apache-2.0
+export const DEFAULT_LIMITS = Object.freeze({
+    maxPayloadBytes: 1 * 1024 * 1024,
+    maxJsonDepth: 64,
+    maxObjectProperties: 10_000,
+    maxArrayElements: 100_000,
+    maxStringBytes: 1 * 1024 * 1024,
+    maxNdjsonLineBytes: 1 * 1024 * 1024,
+    maxDiagnostics: 1_000,
+    maxFullRecords: 1_000_000,
+});
+export const HARD_LIMITS = Object.freeze({
+    maxPayloadBytes: 16 * 1024 * 1024,
+    maxJsonDepth: 128,
+    maxObjectProperties: 100_000,
+    maxArrayElements: 1_000_000,
+    maxStringBytes: 16 * 1024 * 1024,
+    maxNdjsonLineBytes: 16 * 1024 * 1024,
+    maxDiagnostics: 10_000,
+    maxFullRecords: 5_000_000,
+});

package/dist/esm/domain/operation-result.js

@@ -0,0 +1,15 @@
+// SPDX-License-Identifier: Apache-2.0
+const EMPTY_DIAGNOSTICS = Object.freeze([]);
+export function success(value, diagnostics = []) {
+    return Object.freeze({
+        ok: true,
+        value,
+        diagnostics: diagnostics.length === 0 ? EMPTY_DIAGNOSTICS : Object.freeze([...diagnostics]),
+    });
+}
+export function failure(diagnostics) {
+    return Object.freeze({
+        ok: false,
+        diagnostics: diagnostics.length === 0 ? EMPTY_DIAGNOSTICS : Object.freeze([...diagnostics]),
+    });
+}

package/dist/esm/domain/position.js

@@ -0,0 +1,12 @@
+// SPDX-License-Identifier: Apache-2.0
+const positionBrand = Symbol("Position");
+export class Position {
+    value;
+    [positionBrand] = true;
+    constructor(value) {
+        this.value = value;
+    }
+    static fromValidated(value) {
+        return Object.freeze(new Position(value));
+    }
+}

package/dist/esm/domain/protocol-version.js

@@ -0,0 +1,2 @@
+// SPDX-License-Identifier: Apache-2.0
+export const CURRENT_PROTOCOL_VERSION = 1;

package/dist/esm/domain/rule.js

@@ -0,0 +1,2 @@
+// SPDX-License-Identifier: Apache-2.0
+export {};

package/dist/esm/domain/stream.js

@@ -0,0 +1,2 @@
+// SPDX-License-Identifier: Apache-2.0
+export {};