@veraanchor/verifier 0.0.0-stage → 0.1.0

package/dist/profiles/execution/recomputationV1.js

@@ -0,0 +1,144 @@
+// ============================================================================
+// File: src/profiles/execution/recomputationV1.ts
+// Version: 1.0.0 | 2026-10-15
+// Purpose: Pure, deterministic execution verification primitives extracted from
+//   Explorer's executionVerificationRecomputation.ts baseline (2026-10-07).
+// Notes:
+//   - No Explorer, Core, DB, resolver, or network imports.
+//   - This is NOT the HF hashing contract (which uses different framing).
+//   - UTC/Hedera ordering uses bigint nanoseconds, never floating milliseconds.
+//   - These helpers do not establish an execution, acceptance, or identity claim.
+// ============================================================================
+import { createHash } from "node:crypto";
+function plainObject(value) {
+    if (!value || typeof value !== "object" || Array.isArray(value))
+        return false;
+    const proto = Object.getPrototypeOf(value);
+    return proto === Object.prototype || proto === null;
+}
+function assertPairedSurrogates(value, path) {
+    for (let i = 0; i < value.length; i += 1) {
+        const unit = value.charCodeAt(i);
+        if (unit >= 0xd800 && unit <= 0xdbff) {
+            const next = value.charCodeAt(i + 1);
+            if (!(next >= 0xdc00 && next <= 0xdfff)) {
+                throw new TypeError(`Unpaired UTF-16 surrogate at ${path}.`);
+            }
+            i += 1;
+        }
+        else if (unit >= 0xdc00 && unit <= 0xdfff) {
+            throw new TypeError(`Unpaired UTF-16 surrogate at ${path}.`);
+        }
+    }
+}
+function canonical(value, path, depth) {
+    if (depth > 64)
+        throw new TypeError(`Maximum canonical JSON depth exceeded at ${path}.`);
+    if (value === null)
+        return "null";
+    if (typeof value === "string") {
+        assertPairedSurrogates(value, path);
+        return JSON.stringify(value);
+    }
+    if (typeof value === "boolean")
+        return value ? "true" : "false";
+    if (typeof value === "number") {
+        if (!Number.isFinite(value))
+            throw new TypeError(`Non-finite canonical JSON number at ${path}.`);
+        return JSON.stringify(value);
+    }
+    if (Array.isArray(value)) {
+        return `[${value.map((item, index) => canonical(item, `${path}[${index}]`, depth + 1)).join(",")}]`;
+    }
+    if (!plainObject(value))
+        throw new TypeError(`Unsupported canonical JSON value at ${path}.`);
+    const keys = Object.keys(value).sort();
+    const parts = [];
+    for (const key of keys) {
+        assertPairedSurrogates(key, `${path}.{key}`);
+        const child = value[key];
+        if (child === undefined || typeof child === "function" || typeof child === "symbol" || typeof child === "bigint") {
+            throw new TypeError(`Unsupported canonical JSON value at ${path}.${key}.`);
+        }
+        parts.push(`${JSON.stringify(key)}:${canonical(child, `${path}.${key}`, depth + 1)}`);
+    }
+    return `{${parts.join(",")}}`;
+}
+/** Canonicalization must match the frozen Explorer execution contract, not HF v1. */
+export function canonicalizeExecutionVerificationValue(value) {
+    return canonical(value, "$", 0);
+}
+/** SHA3-512(UTF8(domain) || 0x00 || UTF8(canonical JSON)). */
+export function computeExecutionDomainSeparatedSha3_512(domainSeparator, value) {
+    if (typeof domainSeparator !== "string")
+        throw new TypeError("Domain separator must be a string");
+    return createHash("sha3-512")
+        .update(Buffer.from(domainSeparator, "utf8"))
+        .update(Buffer.from([0]))
+        .update(Buffer.from(canonicalizeExecutionVerificationValue(value), "utf8"))
+        .digest("hex");
+}
+const UTC_RE = /^(\d{4})-(\d{2})-(\d{2})[T ](\d{2}):(\d{2}):(\d{2})(?:\.(\d{1,9}))?(?:Z|\+00(?::?00)?)$/;
+const HEDERA_RE = /^(\d{1,20})\.(\d{9})$/;
+const NANOS_PER_SECOND = 1000000000n;
+const NANOS_PER_MILLISECOND = 1000000n;
+/** Exact Hedera consensus seconds.nanoseconds. Returns null if unsupported. */
+export function hederaConsensusTimestampNanos(value) {
+    if (typeof value !== "string")
+        return null;
+    const match = HEDERA_RE.exec(value.trim());
+    if (!match)
+        return null;
+    const seconds = match[1];
+    const nanos = match[2];
+    if (seconds === undefined || nanos === undefined)
+        return null;
+    try {
+        return BigInt(seconds) * NANOS_PER_SECOND + BigInt(nanos);
+    }
+    catch {
+        return null;
+    }
+}
+/** Exact UTC ISO-like timestamp; does not round fractional seconds. */
+export function executionTimestampNanos(value) {
+    if (value instanceof Date) {
+        const ms = value.getTime();
+        return Number.isFinite(ms) ? BigInt(ms) * NANOS_PER_MILLISECOND : null;
+    }
+    if (typeof value !== "string")
+        return null;
+    const match = UTC_RE.exec(value.trim());
+    if (!match)
+        return null;
+    const year = Number(match[1]);
+    const month = Number(match[2]);
+    const day = Number(match[3]);
+    const hour = Number(match[4]);
+    const minute = Number(match[5]);
+    const second = Number(match[6]);
+    if (![year, month, day, hour, minute, second].every(Number.isInteger))
+        return null;
+    if (year < 1970 || year > 9999 || month < 1 || month > 12 || day < 1 || day > 31 ||
+        hour > 23 || minute > 59 || second > 59)
+        return null;
+    const wholeMs = Date.UTC(year, month - 1, day, hour, minute, second, 0);
+    if (!Number.isFinite(wholeMs))
+        return null;
+    const date = new Date(wholeMs);
+    if (date.getUTCFullYear() !== year || date.getUTCMonth() !== month - 1 ||
+        date.getUTCDate() !== day || date.getUTCHours() !== hour ||
+        date.getUTCMinutes() !== minute || date.getUTCSeconds() !== second)
+        return null;
+    const fraction = (match[7] ?? "").padEnd(9, "0");
+    return BigInt(Math.trunc(wholeMs / 1000)) * NANOS_PER_SECOND + BigInt(fraction || "0");
+}
+/** Display-only UTC ISO normalization; never use for exact ordering. */
+export function executionTimestampIso(value) {
+    const nanos = executionTimestampNanos(value);
+    if (nanos === null)
+        return null;
+    const ms = Number(nanos / 1000000n);
+    return Number.isSafeInteger(ms) ? new Date(ms).toISOString() : null;
+}
+//# sourceMappingURL=recomputationV1.js.map

package/dist/profiles/execution/recomputationV1.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"recomputationV1.js","sourceRoot":"","sources":["../../../src/profiles/execution/recomputationV1.ts"],"names":[],"mappings":"AAAA,+EAA+E;AAC/E,kDAAkD;AAClD,8BAA8B;AAC9B,gFAAgF;AAChF,4EAA4E;AAC5E,SAAS;AACT,2DAA2D;AAC3D,0EAA0E;AAC1E,gFAAgF;AAChF,kFAAkF;AAClF,+EAA+E;AAE/E,OAAO,EAAE,UAAU,EAAE,MAAM,aAAa,CAAC;AAEzC,SAAS,WAAW,CAAC,KAAc;IACjC,IAAI,CAAC,KAAK,IAAI,OAAO,KAAK,KAAK,QAAQ,IAAI,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC;QAAE,OAAO,KAAK,CAAC;IAC9E,MAAM,KAAK,GAAG,MAAM,CAAC,cAAc,CAAC,KAAK,CAAC,CAAC;IAC3C,OAAO,KAAK,KAAK,MAAM,CAAC,SAAS,IAAI,KAAK,KAAK,IAAI,CAAC;AACtD,CAAC;AAED,SAAS,sBAAsB,CAAC,KAAa,EAAE,IAAY;IACzD,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,KAAK,CAAC,MAAM,EAAE,CAAC,IAAI,CAAC,EAAE,CAAC;QACzC,MAAM,IAAI,GAAG,KAAK,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC;QACjC,IAAI,IAAI,IAAI,MAAM,IAAI,IAAI,IAAI,MAAM,EAAE,CAAC;YACrC,MAAM,IAAI,GAAG,KAAK,CAAC,UAAU,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC;YACrC,IAAI,CAAC,CAAC,IAAI,IAAI,MAAM,IAAI,IAAI,IAAI,MAAM,CAAC,EAAE,CAAC;gBACxC,MAAM,IAAI,SAAS,CAAC,gCAAgC,IAAI,GAAG,CAAC,CAAC;YAC/D,CAAC;YACD,CAAC,IAAI,CAAC,CAAC;QACT,CAAC;aAAM,IAAI,IAAI,IAAI,MAAM,IAAI,IAAI,IAAI,MAAM,EAAE,CAAC;YAC5C,MAAM,IAAI,SAAS,CAAC,gCAAgC,IAAI,GAAG,CAAC,CAAC;QAC/D,CAAC;IACH,CAAC;AACH,CAAC;AAED,SAAS,SAAS,CAAC,KAAc,EAAE,IAAY,EAAE,KAAa;IAC5D,IAAI,KAAK,GAAG,EAAE;QAAE,MAAM,IAAI,SAAS,CAAC,4CAA4C,IAAI,GAAG,CAAC,CAAC;IACzF,IAAI,KAAK,KAAK,IAAI;QAAE,OAAO,MAAM,CAAC;IAClC,IAAI,OAAO,KAAK,KAAK,QAAQ,EAAE,CAAC;QAC9B,sBAAsB,CAAC,KAAK,EAAE,IAAI,CAAC,CAAC;QACpC,OAAO,IAAI,CAAC,SAAS,CAAC,KAAK,CAAC,CAAC;IAC/B,CAAC;IACD,IAAI,OAAO,KAAK,KAAK,SAAS;QAAE,OAAO,KAAK,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,OAAO,CAAC;IAChE,IAAI,OAAO,KAAK,KAAK,QAAQ,EAAE,CAAC;QAC9B,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,KAAK,CAAC;YAAE,MAAM,IAAI,SAAS,CAAC,uCAAuC,IAAI,GAAG,CAAC,CAAC;QACjG,OAAO,IAAI,CAAC,SAAS,CAAC,KAAK,CAAC,CAAC;IAC/B,CAAC;IACD,IAAI,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,EAAE,CAAC;QACzB,OAAO,IAAI,KAAK,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,KAAK,EAAE,EAAE,CAAC,SAAS,CAAC,IAAI,EAAE,GAAG,IAAI,IAAI,KAAK,GAAG,EAAE,KAAK,GAAG,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC;IACtG,CAAC;IACD,IAAI,CAAC,WAAW,CAAC,KAAK,CAAC;QAAE,MAAM,IAAI,SAAS,CAAC,uCAAuC,IAAI,GAAG,CAAC,CAAC;IAC7F,MAAM,IAAI,GAAG,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,IAAI,EAAE,CAAC;IACvC,MAAM,KAAK,GAAa,EAAE,CAAC;IAC3B,KAAK,MAAM,GAAG,IAAI,IAAI,EAAE,CAAC;QACvB,sBAAsB,CAAC,GAAG,EAAE,GAAG,IAAI,QAAQ,CAAC,CAAC;QAC7C,MAAM,KAAK,GAAG,KAAK,CAAC,GAAG,CAAC,CAAC;QACzB,IAAI,KAAK,KAAK,SAAS,IAAI,OAAO,KAAK,KAAK,UAAU,IAAI,OAAO,KAAK,KAAK,QAAQ,IAAI,OAAO,KAAK,KAAK,QAAQ,EAAE,CAAC;YACjH,MAAM,IAAI,SAAS,CAAC,uCAAuC,IAAI,IAAI,GAAG,GAAG,CAAC,CAAC;QAC7E,CAAC;QACD,KAAK,CAAC,IAAI,CAAC,GAAG,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,IAAI,SAAS,CAAC,KAAK,EAAE,GAAG,IAAI,IAAI,GAAG,EAAE,EAAE,KAAK,GAAG,CAAC,CAAC,EAAE,CAAC,CAAC;IACxF,CAAC;IACD,OAAO,IAAI,KAAK,CAAC,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC;AAChC,CAAC;AAED,qFAAqF;AACrF,MAAM,UAAU,sCAAsC,CAAC,KAAc;IACnE,OAAO,SAAS,CAAC,KAAK,EAAE,GAAG,EAAE,CAAC,CAAC,CAAC;AAClC,CAAC;AAED,8DAA8D;AAC9D,MAAM,UAAU,uCAAuC,CAAC,eAAuB,EAAE,KAAc;IAC7F,IAAI,OAAO,eAAe,KAAK,QAAQ;QAAE,MAAM,IAAI,SAAS,CAAC,mCAAmC,CAAC,CAAC;IAClG,OAAO,UAAU,CAAC,UAAU,CAAC;SAC1B,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,eAAe,EAAE,MAAM,CAAC,CAAC;SAC5C,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;SACxB,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,sCAAsC,CAAC,KAAK,CAAC,EAAE,MAAM,CAAC,CAAC;SAC1E,MAAM,CAAC,KAAK,CAAC,CAAC;AACnB,CAAC;AAED,MAAM,MAAM,GAAG,yFAAyF,CAAC;AACzG,MAAM,SAAS,GAAG,uBAAuB,CAAC;AAC1C,MAAM,gBAAgB,GAAG,WAAc,CAAC;AACxC,MAAM,qBAAqB,GAAG,QAAU,CAAC;AAEzC,+EAA+E;AAC/E,MAAM,UAAU,6BAA6B,CAAC,KAAc;IAC1D,IAAI,OAAO,KAAK,KAAK,QAAQ;QAAE,OAAO,IAAI,CAAC;IAC3C,MAAM,KAAK,GAAG,SAAS,CAAC,IAAI,CAAC,KAAK,CAAC,IAAI,EAAE,CAAC,CAAC;IAC3C,IAAI,CAAC,KAAK;QAAE,OAAO,IAAI,CAAC;IACxB,MAAM,OAAO,GAAG,KAAK,CAAC,CAAC,CAAC,CAAC;IACzB,MAAM,KAAK,GAAG,KAAK,CAAC,CAAC,CAAC,CAAC;IACvB,IAAI,OAAO,KAAK,SAAS,IAAI,KAAK,KAAK,SAAS;QAAE,OAAO,IAAI,CAAC;IAC9D,IAAI,CAAC;QACH,OAAO,MAAM,CAAC,OAAO,CAAC,GAAG,gBAAgB,GAAG,MAAM,CAAC,KAAK,CAAC,CAAC;IAC5D,CAAC;IAAC,MAAM,CAAC;QACP,OAAO,IAAI,CAAC;IACd,CAAC;AACH,CAAC;AAED,uEAAuE;AACvE,MAAM,UAAU,uBAAuB,CAAC,KAAc;IACpD,IAAI,KAAK,YAAY,IAAI,EAAE,CAAC;QAC1B,MAAM,EAAE,GAAG,KAAK,CAAC,OAAO,EAAE,CAAC;QAC3B,OAAO,MAAM,CAAC,QAAQ,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,EAAE,CAAC,GAAG,qBAAqB,CAAC,CAAC,CAAC,IAAI,CAAC;IACzE,CAAC;IACD,IAAI,OAAO,KAAK,KAAK,QAAQ;QAAE,OAAO,IAAI,CAAC;IAC3C,MAAM,KAAK,GAAG,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,IAAI,EAAE,CAAC,CAAC;IACxC,IAAI,CAAC,KAAK;QAAE,OAAO,IAAI,CAAC;IACxB,MAAM,IAAI,GAAG,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC;IAC9B,MAAM,KAAK,GAAG,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC;IAC/B,MAAM,GAAG,GAAG,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC;IAC7B,MAAM,IAAI,GAAG,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC;IAC9B,MAAM,MAAM,GAAG,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC;IAChC,MAAM,MAAM,GAAG,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC;IAChC,IAAI,CAAC,CAAC,IAAI,EAAE,KAAK,EAAE,GAAG,EAAE,IAAI,EAAE,MAAM,EAAE,MAAM,CAAC,CAAC,KAAK,CAAC,MAAM,CAAC,SAAS,CAAC;QAAE,OAAO,IAAI,CAAC;IACnF,IAAI,IAAI,GAAG,IAAI,IAAI,IAAI,GAAG,IAAI,IAAI,KAAK,GAAG,CAAC,IAAI,KAAK,GAAG,EAAE,IAAI,GAAG,GAAG,CAAC,IAAI,GAAG,GAAG,EAAE;QAC5E,IAAI,GAAG,EAAE,IAAI,MAAM,GAAG,EAAE,IAAI,MAAM,GAAG,EAAE;QAAE,OAAO,IAAI,CAAC;IACzD,MAAM,OAAO,GAAG,IAAI,CAAC,GAAG,CAAC,IAAI,EAAE,KAAK,GAAG,CAAC,EAAE,GAAG,EAAE,IAAI,EAAE,MAAM,EAAE,MAAM,EAAE,CAAC,CAAC,CAAC;IACxE,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,OAAO,CAAC;QAAE,OAAO,IAAI,CAAC;IAC3C,MAAM,IAAI,GAAG,IAAI,IAAI,CAAC,OAAO,CAAC,CAAC;IAC/B,IAAI,IAAI,CAAC,cAAc,EAAE,KAAK,IAAI,IAAI,IAAI,CAAC,WAAW,EAAE,KAAK,KAAK,GAAG,CAAC;QAClE,IAAI,CAAC,UAAU,EAAE,KAAK,GAAG,IAAI,IAAI,CAAC,WAAW,EAAE,KAAK,IAAI;QACxD,IAAI,CAAC,aAAa,EAAE,KAAK,MAAM,IAAI,IAAI,CAAC,aAAa,EAAE,KAAK,MAAM;QAAE,OAAO,IAAI,CAAC;IACpF,MAAM,QAAQ,GAAG,CAAC,KAAK,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,MAAM,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC;IACjD,OAAO,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,OAAO,GAAG,IAAI,CAAC,CAAC,GAAG,gBAAgB,GAAG,MAAM,CAAC,QAAQ,IAAI,GAAG,CAAC,CAAC;AACzF,CAAC;AAED,wEAAwE;AACxE,MAAM,UAAU,qBAAqB,CAAC,KAAc;IAClD,MAAM,KAAK,GAAG,uBAAuB,CAAC,KAAK,CAAC,CAAC;IAC7C,IAAI,KAAK,KAAK,IAAI;QAAE,OAAO,IAAI,CAAC;IAChC,MAAM,EAAE,GAAG,MAAM,CAAC,KAAK,GAAG,QAAU,CAAC,CAAC;IACtC,OAAO,MAAM,CAAC,aAAa,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,IAAI,CAAC,EAAE,CAAC,CAAC,WAAW,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC;AACtE,CAAC"}

package/dist/profiles/execution/rulesV1.d.ts

@@ -0,0 +1,6 @@
+import { type ExecutionVerificationRule } from "./contractV1.js";
+export declare const EXECUTION_VERIFICATION_RULES: readonly ExecutionVerificationRule[];
+export default EXECUTION_VERIFICATION_RULES;
+/** Common Vera Anchor execution checks, excluding standards-backed SAGE rules. */
+export declare const COMMON_EXECUTION_VERIFICATION_RULES: readonly ExecutionVerificationRule[];
+//# sourceMappingURL=rulesV1.d.ts.map

package/dist/profiles/execution/rulesV1.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"rulesV1.d.ts","sourceRoot":"","sources":["../../../src/profiles/execution/rulesV1.ts"],"names":[],"mappings":"AAUA,OAAO,EAsBL,KAAK,yBAAyB,EAQ/B,MAAM,iBAAiB,CAAC;AAgTzB,eAAO,MAAM,4BAA4B,EAAE,SAAS,yBAAyB,EAmqB3E,CAAC;AAEH,eAAe,4BAA4B,CAAC;AAE5C,kFAAkF;AAClF,eAAO,MAAM,mCAAmC,EAAE,SAAS,yBAAyB,EAEnF,CAAC"}