@veraanchor/verifier 0.0.0-stage → 0.1.0

package/dist/standards/hcs/jsonCanonicalV1.js

@@ -0,0 +1,160 @@
+/** Internal bounded, strict I-JSON/JCS substrate for pinned open HCS schemas/skills.
+ * Do not use this as a generic JSON Schema evaluator or as an authenticated source.
+ */
+export class HcsJsonV1Error extends Error {
+    code;
+    constructor(code) {
+        super(code);
+        this.code = code;
+        this.name = "HcsJsonV1Error";
+    }
+}
+function invalid(code) { throw new HcsJsonV1Error(code); }
+function plain(value) {
+    if (!value || typeof value !== "object" || Array.isArray(value))
+        return false;
+    const proto = Object.getPrototypeOf(value);
+    return proto === Object.prototype || proto === null;
+}
+function validUnicode(value) {
+    return !/[\uD800-\uDBFF](?![\uDC00-\uDFFF])|(?<![\uD800-\uDBFF])[\uDC00-\uDFFF]/u.test(value);
+}
+/** Canonical JSON ordering uses ECMAScript UTF-16 code-unit order as required by RFC 8785. */
+export function canonicalHcsJsonV1(value, maxBytes) {
+    const seen = new Set();
+    let visited = 0;
+    const walk = (item, depth) => {
+        if (++visited > 100_000 || depth > 64)
+            return invalid("JSON_TOO_LARGE");
+        if (item === null)
+            return "null";
+        if (typeof item === "string") {
+            if (!validUnicode(item))
+                return invalid("JSON_INVALID");
+            return JSON.stringify(item);
+        }
+        if (typeof item === "boolean")
+            return item ? "true" : "false";
+        if (typeof item === "number") {
+            if (!Number.isFinite(item))
+                return invalid("JSON_INVALID");
+            return JSON.stringify(item);
+        }
+        if (!item || typeof item !== "object" || seen.has(item))
+            return invalid("JSON_INVALID");
+        if (!Array.isArray(item) && !plain(item))
+            return invalid("JSON_INVALID");
+        seen.add(item);
+        let result;
+        if (Array.isArray(item)) {
+            result = `[${item.map((child) => walk(child, depth + 1)).join(",")}]`;
+        }
+        else {
+            const object = item;
+            result = `{${Object.keys(object).sort().map((key) => `${walk(key, depth + 1)}:${walk(object[key], depth + 1)}`).join(",")}}`;
+        }
+        seen.delete(item);
+        if (Buffer.byteLength(result, "utf8") > maxBytes)
+            return invalid("JSON_TOO_LARGE");
+        return result;
+    };
+    return walk(value, 0);
+}
+/** Parse after strict UTF-8 decoding and before any canonicalization.
+ * Duplicate property names (including Unicode escape aliases) are rejected.
+ */
+export function parseStrictHcsJsonV1(value, maxBytes) {
+    let text;
+    try {
+        text = typeof value === "string" ? value : new TextDecoder("utf-8", { fatal: true }).decode(value);
+    }
+    catch {
+        return invalid("JSON_INVALID");
+    }
+    if (Buffer.byteLength(text, "utf8") > maxBytes)
+        return invalid("JSON_TOO_LARGE");
+    let result;
+    try {
+        result = JSON.parse(text);
+    }
+    catch {
+        return invalid("JSON_INVALID");
+    }
+    // JSON.parse silently retains the last occurrence of duplicate keys. Check the
+    // source independently instead of canonically hashing an ambiguous object.
+    let index = 0;
+    const space = () => { while (index < text.length && /\s/.test(text[index]))
+        index++; };
+    const quoted = () => {
+        const start = index++;
+        while (index < text.length) {
+            if (text[index] === "\\") {
+                index += 2;
+                continue;
+            }
+            if (text[index++] === '"')
+                return JSON.parse(text.slice(start, index));
+        }
+        return invalid("JSON_INVALID");
+    };
+    let nodes = 0;
+    const visit = (depth) => {
+        if (++nodes > 100_000 || depth > 64)
+            return invalid("JSON_TOO_LARGE");
+        space();
+        if (text[index] === "{") {
+            index++;
+            space();
+            const keys = new Set();
+            while (text[index] !== "}") {
+                const key = quoted();
+                if (keys.has(key))
+                    return invalid("JSON_AMBIGUOUS");
+                keys.add(key);
+                space();
+                if (text[index++] !== ":")
+                    return invalid("JSON_INVALID");
+                visit(depth + 1);
+                space();
+                if (text[index] !== ",")
+                    break;
+                index++;
+                space();
+            }
+            if (text[index++] !== "}")
+                return invalid("JSON_INVALID");
+        }
+        else if (text[index] === "[") {
+            index++;
+            space();
+            while (text[index] !== "]") {
+                visit(depth + 1);
+                space();
+                if (text[index] !== ",")
+                    break;
+                index++;
+                space();
+            }
+            if (text[index++] !== "]")
+                return invalid("JSON_INVALID");
+        }
+        else if (text[index] === '"') {
+            quoted();
+        }
+        else {
+            while (index < text.length && !/[\s,}\]]/.test(text[index]))
+                index++;
+        }
+    };
+    visit(0);
+    space();
+    if (index !== text.length)
+        return invalid("JSON_INVALID");
+    return result;
+}
+export function cloneHcsJsonV1(item) {
+    // Safe only after successful canonicalization; stringification gives a fresh,
+    // JSON-native tree and leaves caller-owned objects and nested arrays untouched.
+    return JSON.parse(JSON.stringify(item));
+}
+//# sourceMappingURL=jsonCanonicalV1.js.map

package/dist/standards/hcs/jsonCanonicalV1.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"jsonCanonicalV1.js","sourceRoot":"","sources":["../../../src/standards/hcs/jsonCanonicalV1.ts"],"names":[],"mappings":"AAAA;;GAEG;AACH,MAAM,OAAO,cAAe,SAAQ,KAAK;IAClB;IAArB,YAAqB,IAA0D;QAC7E,KAAK,CAAC,IAAI,CAAC,CAAC;QADO,SAAI,GAAJ,IAAI,CAAsD;QAE7E,IAAI,CAAC,IAAI,GAAG,gBAAgB,CAAC;IAC/B,CAAC;CACF;AAED,SAAS,OAAO,CAAC,IAA4B,IAAW,MAAM,IAAI,cAAc,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;AAEzF,SAAS,KAAK,CAAC,KAAc;IAC3B,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,YAAY,CAAC,KAAa;IACjC,OAAO,CAAC,yEAAyE,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;AAChG,CAAC;AAED,8FAA8F;AAC9F,MAAM,UAAU,kBAAkB,CAAC,KAAc,EAAE,QAAgB;IACjE,MAAM,IAAI,GAAG,IAAI,GAAG,EAAU,CAAC;IAC/B,IAAI,OAAO,GAAG,CAAC,CAAC;IAChB,MAAM,IAAI,GAAG,CAAC,IAAa,EAAE,KAAa,EAAU,EAAE;QACpD,IAAI,EAAE,OAAO,GAAG,OAAO,IAAI,KAAK,GAAG,EAAE;YAAE,OAAO,OAAO,CAAC,gBAAgB,CAAC,CAAC;QACxE,IAAI,IAAI,KAAK,IAAI;YAAE,OAAO,MAAM,CAAC;QACjC,IAAI,OAAO,IAAI,KAAK,QAAQ,EAAE,CAAC;YAC7B,IAAI,CAAC,YAAY,CAAC,IAAI,CAAC;gBAAE,OAAO,OAAO,CAAC,cAAc,CAAC,CAAC;YACxD,OAAO,IAAI,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC;QAC9B,CAAC;QACD,IAAI,OAAO,IAAI,KAAK,SAAS;YAAE,OAAO,IAAI,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,OAAO,CAAC;QAC9D,IAAI,OAAO,IAAI,KAAK,QAAQ,EAAE,CAAC;YAC7B,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,IAAI,CAAC;gBAAE,OAAO,OAAO,CAAC,cAAc,CAAC,CAAC;YAC3D,OAAO,IAAI,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC;QAC9B,CAAC;QACD,IAAI,CAAC,IAAI,IAAI,OAAO,IAAI,KAAK,QAAQ,IAAI,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC;YAAE,OAAO,OAAO,CAAC,cAAc,CAAC,CAAC;QACxF,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,IAAI,CAAC,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC;YAAE,OAAO,OAAO,CAAC,cAAc,CAAC,CAAC;QACzE,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;QACf,IAAI,MAAc,CAAC;QACnB,IAAI,KAAK,CAAC,OAAO,CAAC,IAAI,CAAC,EAAE,CAAC;YACxB,MAAM,GAAG,IAAI,IAAI,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,IAAI,CAAC,KAAK,EAAE,KAAK,GAAG,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC;QACxE,CAAC;aAAM,CAAC;YACN,MAAM,MAAM,GAAG,IAA+B,CAAC;YAC/C,MAAM,GAAG,IAAI,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,IAAI,EAAE,CAAC,GAAG,CAAC,CAAC,GAAG,EAAE,EAAE,CAClD,GAAG,IAAI,CAAC,GAAG,EAAE,KAAK,GAAG,CAAC,CAAC,IAAI,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,EAAE,KAAK,GAAG,CAAC,CAAC,EAAE,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC;QAC5E,CAAC;QACD,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC;QAClB,IAAI,MAAM,CAAC,UAAU,CAAC,MAAM,EAAE,MAAM,CAAC,GAAG,QAAQ;YAAE,OAAO,OAAO,CAAC,gBAAgB,CAAC,CAAC;QACnF,OAAO,MAAM,CAAC;IAChB,CAAC,CAAC;IACF,OAAO,IAAI,CAAC,KAAK,EAAE,CAAC,CAAC,CAAC;AACxB,CAAC;AAED;;GAEG;AACH,MAAM,UAAU,oBAAoB,CAAC,KAA0B,EAAE,QAAgB;IAC/E,IAAI,IAAY,CAAC;IACjB,IAAI,CAAC;QACH,IAAI,GAAG,OAAO,KAAK,KAAK,QAAQ,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,IAAI,WAAW,CAAC,OAAO,EAAE,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC;IACrG,CAAC;IAAC,MAAM,CAAC;QAAC,OAAO,OAAO,CAAC,cAAc,CAAC,CAAC;IAAC,CAAC;IAC3C,IAAI,MAAM,CAAC,UAAU,CAAC,IAAI,EAAE,MAAM,CAAC,GAAG,QAAQ;QAAE,OAAO,OAAO,CAAC,gBAAgB,CAAC,CAAC;IACjF,IAAI,MAAe,CAAC;IACpB,IAAI,CAAC;QAAC,MAAM,GAAG,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;IAAC,CAAC;IAAC,MAAM,CAAC;QAAC,OAAO,OAAO,CAAC,cAAc,CAAC,CAAC;IAAC,CAAC;IAC5E,+EAA+E;IAC/E,2EAA2E;IAC3E,IAAI,KAAK,GAAG,CAAC,CAAC;IACd,MAAM,KAAK,GAAG,GAAG,EAAE,GAAG,OAAO,KAAK,GAAG,IAAI,CAAC,MAAM,IAAI,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,KAAK,CAAE,CAAC;QAAE,KAAK,EAAE,CAAC,CAAC,CAAC,CAAC;IACxF,MAAM,MAAM,GAAG,GAAW,EAAE;QAC1B,MAAM,KAAK,GAAG,KAAK,EAAE,CAAC;QACtB,OAAO,KAAK,GAAG,IAAI,CAAC,MAAM,EAAE,CAAC;YAC3B,IAAI,IAAI,CAAC,KAAK,CAAC,KAAK,IAAI,EAAE,CAAC;gBAAC,KAAK,IAAI,CAAC,CAAC;gBAAC,SAAS;YAAC,CAAC;YACnD,IAAI,IAAI,CAAC,KAAK,EAAE,CAAC,KAAK,GAAG;gBAAE,OAAO,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,KAAK,EAAE,KAAK,CAAC,CAAW,CAAC;QACnF,CAAC;QACD,OAAO,OAAO,CAAC,cAAc,CAAC,CAAC;IACjC,CAAC,CAAC;IACF,IAAI,KAAK,GAAG,CAAC,CAAC;IACd,MAAM,KAAK,GAAG,CAAC,KAAa,EAAQ,EAAE;QACpC,IAAI,EAAE,KAAK,GAAG,OAAO,IAAI,KAAK,GAAG,EAAE;YAAE,OAAO,OAAO,CAAC,gBAAgB,CAAC,CAAC;QACtE,KAAK,EAAE,CAAC;QACR,IAAI,IAAI,CAAC,KAAK,CAAC,KAAK,GAAG,EAAE,CAAC;YACxB,KAAK,EAAE,CAAC;YAAC,KAAK,EAAE,CAAC;YACjB,MAAM,IAAI,GAAG,IAAI,GAAG,EAAU,CAAC;YAC/B,OAAO,IAAI,CAAC,KAAK,CAAC,KAAK,GAAG,EAAE,CAAC;gBAC3B,MAAM,GAAG,GAAG,MAAM,EAAE,CAAC;gBACrB,IAAI,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC;oBAAE,OAAO,OAAO,CAAC,gBAAgB,CAAC,CAAC;gBACpD,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;gBAAC,KAAK,EAAE,CAAC;gBACvB,IAAI,IAAI,CAAC,KAAK,EAAE,CAAC,KAAK,GAAG;oBAAE,OAAO,OAAO,CAAC,cAAc,CAAC,CAAC;gBAC1D,KAAK,CAAC,KAAK,GAAG,CAAC,CAAC,CAAC;gBAAC,KAAK,EAAE,CAAC;gBAC1B,IAAI,IAAI,CAAC,KAAK,CAAC,KAAK,GAAG;oBAAE,MAAM;gBAC/B,KAAK,EAAE,CAAC;gBAAC,KAAK,EAAE,CAAC;YACnB,CAAC;YACD,IAAI,IAAI,CAAC,KAAK,EAAE,CAAC,KAAK,GAAG;gBAAE,OAAO,OAAO,CAAC,cAAc,CAAC,CAAC;QAC5D,CAAC;aAAM,IAAI,IAAI,CAAC,KAAK,CAAC,KAAK,GAAG,EAAE,CAAC;YAC/B,KAAK,EAAE,CAAC;YAAC,KAAK,EAAE,CAAC;YACjB,OAAO,IAAI,CAAC,KAAK,CAAC,KAAK,GAAG,EAAE,CAAC;gBAC3B,KAAK,CAAC,KAAK,GAAG,CAAC,CAAC,CAAC;gBAAC,KAAK,EAAE,CAAC;gBAC1B,IAAI,IAAI,CAAC,KAAK,CAAC,KAAK,GAAG;oBAAE,MAAM;gBAC/B,KAAK,EAAE,CAAC;gBAAC,KAAK,EAAE,CAAC;YACnB,CAAC;YACD,IAAI,IAAI,CAAC,KAAK,EAAE,CAAC,KAAK,GAAG;gBAAE,OAAO,OAAO,CAAC,cAAc,CAAC,CAAC;QAC5D,CAAC;aAAM,IAAI,IAAI,CAAC,KAAK,CAAC,KAAK,GAAG,EAAE,CAAC;YAC/B,MAAM,EAAE,CAAC;QACX,CAAC;aAAM,CAAC;YACN,OAAO,KAAK,GAAG,IAAI,CAAC,MAAM,IAAI,CAAC,UAAU,CAAC,IAAI,CAAC,IAAI,CAAC,KAAK,CAAE,CAAC;gBAAE,KAAK,EAAE,CAAC;QACxE,CAAC;IACH,CAAC,CAAC;IACF,KAAK,CAAC,CAAC,CAAC,CAAC;IAAC,KAAK,EAAE,CAAC;IAClB,IAAI,KAAK,KAAK,IAAI,CAAC,MAAM;QAAE,OAAO,OAAO,CAAC,cAAc,CAAC,CAAC;IAC1D,OAAO,MAAM,CAAC;AAChB,CAAC;AAED,MAAM,UAAU,cAAc,CAAI,IAAO;IACvC,8EAA8E;IAC9E,gFAAgF;IAChF,OAAO,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,SAAS,CAAC,IAAI,CAAC,CAAM,CAAC;AAC/C,CAAC"}

package/dist/triangulation/compareV1.d.ts

@@ -0,0 +1,50 @@
+import type { EvidenceConsistency, VerificationObservation, VerificationOutcome, VerificationReport } from "../contracts/verification.js";
+/**
+ * Pure scalar-consistency comparison for already normalized observations.
+ * A matching observation is NOT proof that its provider is authentic or that
+ * Explorer-disclosed plaintext is cryptographically bound to HCS ciphertext.
+ * Plans must come from a trusted evidence profile, not an untrusted receipt.
+ */
+export type TriangulationRelationshipId = "provided_public_record" | "public_record_hedera" | "provided_hedera";
+export type TriangulationFactPlanV1 = Readonly<{
+    key: string;
+    left_key: string;
+    right_key: string;
+}>;
+export type TriangulationRelationshipPlanV1 = Readonly<{
+    id: TriangulationRelationshipId;
+    left_observation_id: string;
+    right_observation_id: string;
+    comparisons: readonly TriangulationFactPlanV1[];
+}>;
+export type TriangulationV1Input = Readonly<{
+    /** Produced by an actual offline verifier invocation, not an authenticated attestation. */
+    source_report: VerificationReport;
+    /** Public/Mirror observations obtained outside this pure function. */
+    observations: readonly VerificationObservation[];
+    /** Explicit field mappings defined by the verifier's evidence profile. */
+    relationships: readonly TriangulationRelationshipPlanV1[];
+}>;
+export type TriangulationFactResultV1 = Readonly<{
+    key: string;
+    outcome: VerificationOutcome;
+    reason_code: string | null;
+}>;
+export type TriangulationRelationshipResultV1 = Readonly<{
+    id: TriangulationRelationshipId;
+    status: EvidenceConsistency | "not_applicable";
+    fact_comparisons: readonly TriangulationFactResultV1[];
+}>;
+export type TriangulationV1Result = Readonly<{
+    /** Consistency only, NOT cryptographic ledger authentication or policy approval. */
+    consistency: EvidenceConsistency;
+    relationships: readonly TriangulationRelationshipResultV1[];
+    report: VerificationReport;
+}>;
+/**
+ * Compare bounded scalar facts with explicitly mapped, asymmetric field keys.
+ * Network/subject checks apply independently of the requested fact comparisons.
+ * This does not verify the authenticity of a resolver or of source_report itself.
+ */
+export declare function compareEvidenceTriangulationV1(input: TriangulationV1Input): TriangulationV1Result;
+//# sourceMappingURL=compareV1.d.ts.map

package/dist/triangulation/compareV1.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"compareV1.d.ts","sourceRoot":"","sources":["../../src/triangulation/compareV1.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EACV,mBAAmB,EAGnB,uBAAuB,EACvB,mBAAmB,EACnB,kBAAkB,EAEnB,MAAM,8BAA8B,CAAC;AAEtC;;;;;GAKG;AACH,MAAM,MAAM,2BAA2B,GACnC,wBAAwB,GACxB,sBAAsB,GACtB,iBAAiB,CAAC;AAEtB,MAAM,MAAM,uBAAuB,GAAG,QAAQ,CAAC;IAC7C,GAAG,EAAE,MAAM,CAAC;IACZ,QAAQ,EAAE,MAAM,CAAC;IACjB,SAAS,EAAE,MAAM,CAAC;CACnB,CAAC,CAAC;AAEH,MAAM,MAAM,+BAA+B,GAAG,QAAQ,CAAC;IACrD,EAAE,EAAE,2BAA2B,CAAC;IAChC,mBAAmB,EAAE,MAAM,CAAC;IAC5B,oBAAoB,EAAE,MAAM,CAAC;IAC7B,WAAW,EAAE,SAAS,uBAAuB,EAAE,CAAC;CACjD,CAAC,CAAC;AAEH,MAAM,MAAM,oBAAoB,GAAG,QAAQ,CAAC;IAC1C,2FAA2F;IAC3F,aAAa,EAAE,kBAAkB,CAAC;IAClC,sEAAsE;IACtE,YAAY,EAAE,SAAS,uBAAuB,EAAE,CAAC;IACjD,0EAA0E;IAC1E,aAAa,EAAE,SAAS,+BAA+B,EAAE,CAAC;CAC3D,CAAC,CAAC;AAEH,MAAM,MAAM,yBAAyB,GAAG,QAAQ,CAAC;IAC/C,GAAG,EAAE,MAAM,CAAC;IACZ,OAAO,EAAE,mBAAmB,CAAC;IAC7B,WAAW,EAAE,MAAM,GAAG,IAAI,CAAC;CAC5B,CAAC,CAAC;AAEH,MAAM,MAAM,iCAAiC,GAAG,QAAQ,CAAC;IACvD,EAAE,EAAE,2BAA2B,CAAC;IAChC,MAAM,EAAE,mBAAmB,GAAG,gBAAgB,CAAC;IAC/C,gBAAgB,EAAE,SAAS,yBAAyB,EAAE,CAAC;CACxD,CAAC,CAAC;AAEH,MAAM,MAAM,qBAAqB,GAAG,QAAQ,CAAC;IAC3C,oFAAoF;IACpF,WAAW,EAAE,mBAAmB,CAAC;IACjC,aAAa,EAAE,SAAS,iCAAiC,EAAE,CAAC;IAC5D,MAAM,EAAE,kBAAkB,CAAC;CAC5B,CAAC,CAAC;AAsJH;;;;GAIG;AACH,wBAAgB,8BAA8B,CAAC,KAAK,EAAE,oBAAoB,GAAG,qBAAqB,CAuGjG"}

package/dist/triangulation/compareV1.js

@@ -0,0 +1,236 @@
+const MAX_OBSERVATIONS = 32;
+const MAX_FACTS = 256;
+const MAX_RELATIONSHIPS = 3;
+const MAX_COMPARISONS = 64;
+const MAX_SOURCE_FINDINGS = 256;
+const ID_RE = /^[a-z][a-z0-9._:-]{0,127}$/;
+const FACT_KEY_RE = /^[a-z][a-z0-9._:-]{0,159}$/;
+function checkedId(value, field, pattern) {
+    if (typeof value !== "string" || !pattern.test(value)) {
+        throw new TypeError(`Invalid ${field}`);
+    }
+    return value;
+}
+function matchesSubject(actual, expected) {
+    return actual.kind === expected.kind && actual.id === expected.id;
+}
+function factsByKey(observation) {
+    if (!Array.isArray(observation.facts) || observation.facts.length > MAX_FACTS) {
+        throw new TypeError("Triangulation observation exceeds the fact limit");
+    }
+    const facts = new Map();
+    for (const fact of observation.facts) {
+        const key = checkedId(fact?.key, "fact key", FACT_KEY_RE);
+        if (facts.has(key))
+            throw new TypeError(`Duplicate observation fact: ${key}`);
+        if (fact.state === "available") {
+            if (!Object.hasOwn(fact, "value") ||
+                (typeof fact.value === "number" && !Number.isFinite(fact.value)) ||
+                (typeof fact.value !== "string" && typeof fact.value !== "number" &&
+                    typeof fact.value !== "boolean" && fact.value !== null) ||
+                (typeof fact.value === "string" && fact.value.length > 4096)) {
+                throw new TypeError(`Invalid available fact: ${key}`);
+            }
+        }
+        else if (fact.state === "unavailable" || fact.state === "not_applicable") {
+            if (fact.reason_code !== undefined && fact.reason_code !== null &&
+                (typeof fact.reason_code !== "string" || fact.reason_code.length > 160)) {
+                throw new TypeError(`Invalid fact reason: ${key}`);
+            }
+        }
+        else {
+            throw new TypeError(`Invalid fact state: ${key}`);
+        }
+        facts.set(key, fact);
+    }
+    return facts;
+}
+function observationIndex(input) {
+    const all = [...input.source_report.observations, ...input.observations];
+    if (all.length > MAX_OBSERVATIONS)
+        throw new TypeError("Too many triangulation observations");
+    const map = new Map();
+    for (const entry of all) {
+        const id = checkedId(entry?.id, "observation id", ID_RE);
+        if (map.has(id))
+            throw new TypeError(`Duplicate triangulation observation: ${id}`);
+        if (!entry.subject || typeof entry.subject.id !== "string" ||
+            typeof entry.subject.kind !== "string") {
+            throw new TypeError(`Invalid triangulation observation subject: ${id}`);
+        }
+        factsByKey(entry);
+        map.set(id, entry);
+    }
+    // An external caller may not replace an offline source observation.
+    for (const entry of input.observations) {
+        if (entry.source === "local_computation") {
+            throw new TypeError("External observations cannot assert local computation");
+        }
+    }
+    return map;
+}
+function roleAllowed(relationship, left, right) {
+    if (relationship === "provided_public_record") {
+        return (left.source === "provided_evidence" || left.source === "local_computation") &&
+            right.source === "public_record";
+    }
+    if (relationship === "provided_hedera") {
+        return (left.source === "provided_evidence" || left.source === "local_computation") &&
+            right.source === "hedera_mirror";
+    }
+    return left.source === "public_record" && right.source === "hedera_mirror";
+}
+function scopeOutcome(actual, expected) {
+    if (!matchesSubject(actual.subject, expected)) {
+        return { outcome: "fail", reason: "OBSERVATION_SUBJECT_MISMATCH" };
+    }
+    if (!expected.hedera_network) {
+        return { outcome: "indeterminate", reason: "EXPECTED_NETWORK_UNAVAILABLE" };
+    }
+    if (!actual.subject.hedera_network) {
+        return { outcome: "indeterminate", reason: "OBSERVATION_NETWORK_UNAVAILABLE" };
+    }
+    if (actual.subject.hedera_network !== expected.hedera_network) {
+        return { outcome: "fail", reason: "OBSERVATION_NETWORK_MISMATCH" };
+    }
+    return { outcome: "pass", reason: null };
+}
+function unavailableReason(fact) {
+    return fact.state === "available" ? null : fact.reason_code ?? null;
+}
+function compareFacts(left, right) {
+    if (!left || !right)
+        return { outcome: "indeterminate", reason: "FACT_MISSING" };
+    if (left.state === "not_applicable" || right.state === "not_applicable") {
+        return { outcome: "skipped", reason: unavailableReason(left) ?? unavailableReason(right) ?? "FACT_NOT_APPLICABLE" };
+    }
+    if (left.state !== "available" || right.state !== "available") {
+        return { outcome: "indeterminate", reason: unavailableReason(left) ?? unavailableReason(right) ?? "FACT_UNAVAILABLE" };
+    }
+    const matches = Object.is(left.value, right.value);
+    return { outcome: matches ? "pass" : "fail", reason: matches ? null : "FACT_MISMATCH" };
+}
+function aggregate(results) {
+    if (results.length === 0 || results.every((check) => check.outcome === "skipped"))
+        return "not_applicable";
+    if (results.some((check) => check.outcome === "fail"))
+        return "conflict";
+    if (results.some((check) => check.outcome === "indeterminate" || check.outcome === "unsupported"))
+        return "incomplete";
+    return "consistent";
+}
+function check(id, outcome, reason, observationIds) {
+    return Object.freeze({
+        check_id: id,
+        outcome,
+        reason_code: reason,
+        observation_ids: Object.freeze([...observationIds]),
+    });
+}
+/**
+ * Compare bounded scalar facts with explicitly mapped, asymmetric field keys.
+ * Network/subject checks apply independently of the requested fact comparisons.
+ * This does not verify the authenticity of a resolver or of source_report itself.
+ */
+export function compareEvidenceTriangulationV1(input) {
+    if (!input || !input.source_report?.intent?.subject ||
+        !Array.isArray(input.source_report.findings) ||
+        input.source_report.findings.length > MAX_SOURCE_FINDINGS ||
+        !Array.isArray(input.source_report.observations) ||
+        !Array.isArray(input.relationships) || input.relationships.length > MAX_RELATIONSHIPS ||
+        !Array.isArray(input.observations)) {
+        throw new TypeError("Invalid triangulation input");
+    }
+    const map = observationIndex(input);
+    const usedRelationships = new Set();
+    const findings = [...input.source_report.findings];
+    const usedCheckIds = new Set(findings.map((entry) => entry.check_id));
+    const results = [];
+    for (const relationship of input.relationships) {
+        if (!["provided_public_record", "public_record_hedera", "provided_hedera"].includes(relationship.id) ||
+            usedRelationships.has(relationship.id)) {
+            throw new TypeError("Unknown or duplicated triangulation relationship");
+        }
+        usedRelationships.add(relationship.id);
+        if (!Array.isArray(relationship.comparisons) || relationship.comparisons.length > MAX_COMPARISONS) {
+            throw new TypeError("Too many triangulation fact comparisons");
+        }
+        const leftId = checkedId(relationship.left_observation_id, "left observation id", ID_RE);
+        const rightId = checkedId(relationship.right_observation_id, "right observation id", ID_RE);
+        if (leftId === rightId)
+            throw new TypeError("Triangulation cannot compare an observation with itself");
+        const left = map.get(leftId);
+        const right = map.get(rightId);
+        if (left && right && !roleAllowed(relationship.id, left, right)) {
+            throw new TypeError("Triangulation observation sources do not match their relationship roles");
+        }
+        const leftFacts = left ? factsByKey(left) : null;
+        const rightFacts = right ? factsByKey(right) : null;
+        const compared = [];
+        const usedKeys = new Set();
+        for (const comparison of relationship.comparisons) {
+            const key = checkedId(comparison.key, "comparison key", FACT_KEY_RE);
+            const leftKey = checkedId(comparison.left_key, "left comparison key", FACT_KEY_RE);
+            const rightKey = checkedId(comparison.right_key, "right comparison key", FACT_KEY_RE);
+            if (usedKeys.has(key))
+                throw new TypeError(`Duplicate triangulation comparison: ${key}`);
+            usedKeys.add(key);
+            const checkId = `triangulation.${relationship.id}.${key}`;
+            if (usedCheckIds.has(checkId))
+                throw new TypeError(`Duplicate triangulation check: ${checkId}`);
+            usedCheckIds.add(checkId);
+            let evaluated;
+            if (!left || !right) {
+                evaluated = { outcome: "indeterminate", reason: "OBSERVATION_UNAVAILABLE" };
+            }
+            else {
+                const leftScope = scopeOutcome(left, input.source_report.intent.subject);
+                const rightScope = scopeOutcome(right, input.source_report.intent.subject);
+                if (leftScope.outcome === "fail" || rightScope.outcome === "fail") {
+                    evaluated = { outcome: "fail", reason: leftScope.outcome === "fail" ? leftScope.reason : rightScope.reason };
+                }
+                else if ((leftScope.outcome !== "pass" && left.source !== "local_computation") ||
+                    (rightScope.outcome !== "pass" && right.source !== "local_computation")) {
+                    evaluated = { outcome: "indeterminate", reason: "NETWORK_SCOPE_UNAVAILABLE" };
+                }
+                else {
+                    evaluated = compareFacts(leftFacts?.get(leftKey), rightFacts?.get(rightKey));
+                }
+            }
+            compared.push(Object.freeze({ key, outcome: evaluated.outcome, reason_code: evaluated.reason }));
+            findings.push(check(checkId, evaluated.outcome, evaluated.reason, [leftId, rightId].filter((id) => map.has(id))));
+        }
+        results.push(Object.freeze({
+            id: relationship.id,
+            status: aggregate(compared),
+            fact_comparisons: Object.freeze(compared),
+        }));
+    }
+    // Source verification is a prerequisite, not a fourth independent authority.
+    // A supplied report is NOT an authenticated attestation: callers must obtain
+    // it through the SDK's own source-verification entry points.
+    const requiredSourceChecks = [
+        `${input.source_report.intent.subject.kind}.source_binding`,
+        `${input.source_report.intent.subject.kind}.bundle_consistency`,
+        "intent.subject",
+    ];
+    const requiredResults = requiredSourceChecks.map((id) => input.source_report.findings.find((entry) => entry.check_id === id)?.outcome);
+    const consistency = input.source_report.findings.some((entry) => entry.outcome === "fail") ||
+        results.some((entry) => entry.status === "conflict")
+        ? "conflict"
+        : requiredResults.some((outcome) => outcome !== "pass") ||
+            results.length === 0 || results.some((entry) => entry.status !== "consistent")
+            ? "incomplete"
+            : "consistent";
+    const observations = [...input.source_report.observations, ...input.observations];
+    return Object.freeze({
+        consistency,
+        relationships: Object.freeze(results),
+        report: Object.freeze({
+            intent: input.source_report.intent,
+            findings: Object.freeze(findings),
+            observations: Object.freeze(observations),
+        }),
+    });
+}
+//# sourceMappingURL=compareV1.js.map

package/dist/triangulation/compareV1.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"compareV1.js","sourceRoot":"","sources":["../../src/triangulation/compareV1.ts"],"names":[],"mappings":"AA8DA,MAAM,gBAAgB,GAAG,EAAE,CAAC;AAC5B,MAAM,SAAS,GAAG,GAAG,CAAC;AACtB,MAAM,iBAAiB,GAAG,CAAC,CAAC;AAC5B,MAAM,eAAe,GAAG,EAAE,CAAC;AAC3B,MAAM,mBAAmB,GAAG,GAAG,CAAC;AAChC,MAAM,KAAK,GAAG,4BAA4B,CAAC;AAC3C,MAAM,WAAW,GAAG,4BAA4B,CAAC;AAEjD,SAAS,SAAS,CAAC,KAAc,EAAE,KAAa,EAAE,OAAe;IAC/D,IAAI,OAAO,KAAK,KAAK,QAAQ,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC,KAAK,CAAC,EAAE,CAAC;QACtD,MAAM,IAAI,SAAS,CAAC,WAAW,KAAK,EAAE,CAAC,CAAC;IAC1C,CAAC;IACD,OAAO,KAAK,CAAC;AACf,CAAC;AAED,SAAS,cAAc,CAAC,MAA2B,EAAE,QAA6B;IAChF,OAAO,MAAM,CAAC,IAAI,KAAK,QAAQ,CAAC,IAAI,IAAI,MAAM,CAAC,EAAE,KAAK,QAAQ,CAAC,EAAE,CAAC;AACpE,CAAC;AAED,SAAS,UAAU,CAAC,WAAoC;IACtD,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,WAAW,CAAC,KAAK,CAAC,IAAI,WAAW,CAAC,KAAK,CAAC,MAAM,GAAG,SAAS,EAAE,CAAC;QAC9E,MAAM,IAAI,SAAS,CAAC,kDAAkD,CAAC,CAAC;IAC1E,CAAC;IACD,MAAM,KAAK,GAAG,IAAI,GAAG,EAA4B,CAAC;IAClD,KAAK,MAAM,IAAI,IAAI,WAAW,CAAC,KAAK,EAAE,CAAC;QACrC,MAAM,GAAG,GAAG,SAAS,CAAC,IAAI,EAAE,GAAG,EAAE,UAAU,EAAE,WAAW,CAAC,CAAC;QAC1D,IAAI,KAAK,CAAC,GAAG,CAAC,GAAG,CAAC;YAAE,MAAM,IAAI,SAAS,CAAC,+BAA+B,GAAG,EAAE,CAAC,CAAC;QAC9E,IAAI,IAAI,CAAC,KAAK,KAAK,WAAW,EAAE,CAAC;YAC/B,IACE,CAAC,MAAM,CAAC,MAAM,CAAC,IAAI,EAAE,OAAO,CAAC;gBAC7B,CAAC,OAAO,IAAI,CAAC,KAAK,KAAK,QAAQ,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;gBAChE,CAAC,OAAO,IAAI,CAAC,KAAK,KAAK,QAAQ,IAAI,OAAO,IAAI,CAAC,KAAK,KAAK,QAAQ;oBAC/D,OAAO,IAAI,CAAC,KAAK,KAAK,SAAS,IAAI,IAAI,CAAC,KAAK,KAAK,IAAI,CAAC;gBACzD,CAAC,OAAO,IAAI,CAAC,KAAK,KAAK,QAAQ,IAAI,IAAI,CAAC,KAAK,CAAC,MAAM,GAAG,IAAI,CAAC,EAC5D,CAAC;gBACD,MAAM,IAAI,SAAS,CAAC,2BAA2B,GAAG,EAAE,CAAC,CAAC;YACxD,CAAC;QACH,CAAC;aAAM,IAAI,IAAI,CAAC,KAAK,KAAK,aAAa,IAAI,IAAI,CAAC,KAAK,KAAK,gBAAgB,EAAE,CAAC;YAC3E,IAAI,IAAI,CAAC,WAAW,KAAK,SAAS,IAAI,IAAI,CAAC,WAAW,KAAK,IAAI;gBAC7D,CAAC,OAAO,IAAI,CAAC,WAAW,KAAK,QAAQ,IAAI,IAAI,CAAC,WAAW,CAAC,MAAM,GAAG,GAAG,CAAC,EAAE,CAAC;gBAC1E,MAAM,IAAI,SAAS,CAAC,wBAAwB,GAAG,EAAE,CAAC,CAAC;YACrD,CAAC;QACH,CAAC;aAAM,CAAC;YACN,MAAM,IAAI,SAAS,CAAC,uBAAuB,GAAG,EAAE,CAAC,CAAC;QACpD,CAAC;QACD,KAAK,CAAC,GAAG,CAAC,GAAG,EAAE,IAAI,CAAC,CAAC;IACvB,CAAC;IACD,OAAO,KAAK,CAAC;AACf,CAAC;AAED,SAAS,gBAAgB,CAAC,KAA2B;IACnD,MAAM,GAAG,GAAG,CAAC,GAAG,KAAK,CAAC,aAAa,CAAC,YAAY,EAAE,GAAG,KAAK,CAAC,YAAY,CAAC,CAAC;IACzE,IAAI,GAAG,CAAC,MAAM,GAAG,gBAAgB;QAAE,MAAM,IAAI,SAAS,CAAC,qCAAqC,CAAC,CAAC;IAC9F,MAAM,GAAG,GAAG,IAAI,GAAG,EAAmC,CAAC;IACvD,KAAK,MAAM,KAAK,IAAI,GAAG,EAAE,CAAC;QACxB,MAAM,EAAE,GAAG,SAAS,CAAC,KAAK,EAAE,EAAE,EAAE,gBAAgB,EAAE,KAAK,CAAC,CAAC;QACzD,IAAI,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC;YAAE,MAAM,IAAI,SAAS,CAAC,wCAAwC,EAAE,EAAE,CAAC,CAAC;QACnF,IAAI,CAAC,KAAK,CAAC,OAAO,IAAI,OAAO,KAAK,CAAC,OAAO,CAAC,EAAE,KAAK,QAAQ;YACxD,OAAO,KAAK,CAAC,OAAO,CAAC,IAAI,KAAK,QAAQ,EAAE,CAAC;YACzC,MAAM,IAAI,SAAS,CAAC,8CAA8C,EAAE,EAAE,CAAC,CAAC;QAC1E,CAAC;QACD,UAAU,CAAC,KAAK,CAAC,CAAC;QAClB,GAAG,CAAC,GAAG,CAAC,EAAE,EAAE,KAAK,CAAC,CAAC;IACrB,CAAC;IACD,oEAAoE;IACpE,KAAK,MAAM,KAAK,IAAI,KAAK,CAAC,YAAY,EAAE,CAAC;QACvC,IAAI,KAAK,CAAC,MAAM,KAAK,mBAAmB,EAAE,CAAC;YACzC,MAAM,IAAI,SAAS,CAAC,uDAAuD,CAAC,CAAC;QAC/E,CAAC;IACH,CAAC;IACD,OAAO,GAAG,CAAC;AACb,CAAC;AAED,SAAS,WAAW,CAClB,YAAyC,EACzC,IAA6B,EAC7B,KAA8B;IAE9B,IAAI,YAAY,KAAK,wBAAwB,EAAE,CAAC;QAC9C,OAAO,CAAC,IAAI,CAAC,MAAM,KAAK,mBAAmB,IAAI,IAAI,CAAC,MAAM,KAAK,mBAAmB,CAAC;YACjF,KAAK,CAAC,MAAM,KAAK,eAAe,CAAC;IACrC,CAAC;IACD,IAAI,YAAY,KAAK,iBAAiB,EAAE,CAAC;QACvC,OAAO,CAAC,IAAI,CAAC,MAAM,KAAK,mBAAmB,IAAI,IAAI,CAAC,MAAM,KAAK,mBAAmB,CAAC;YACjF,KAAK,CAAC,MAAM,KAAK,eAAe,CAAC;IACrC,CAAC;IACD,OAAO,IAAI,CAAC,MAAM,KAAK,eAAe,IAAI,KAAK,CAAC,MAAM,KAAK,eAAe,CAAC;AAC7E,CAAC;AAED,SAAS,YAAY,CACnB,MAA+B,EAC/B,QAA6B;IAE7B,IAAI,CAAC,cAAc,CAAC,MAAM,CAAC,OAAO,EAAE,QAAQ,CAAC,EAAE,CAAC;QAC9C,OAAO,EAAE,OAAO,EAAE,MAAM,EAAE,MAAM,EAAE,8BAA8B,EAAE,CAAC;IACrE,CAAC;IACD,IAAI,CAAC,QAAQ,CAAC,cAAc,EAAE,CAAC;QAC7B,OAAO,EAAE,OAAO,EAAE,eAAe,EAAE,MAAM,EAAE,8BAA8B,EAAE,CAAC;IAC9E,CAAC;IACD,IAAI,CAAC,MAAM,CAAC,OAAO,CAAC,cAAc,EAAE,CAAC;QACnC,OAAO,EAAE,OAAO,EAAE,eAAe,EAAE,MAAM,EAAE,iCAAiC,EAAE,CAAC;IACjF,CAAC;IACD,IAAI,MAAM,CAAC,OAAO,CAAC,cAAc,KAAK,QAAQ,CAAC,cAAc,EAAE,CAAC;QAC9D,OAAO,EAAE,OAAO,EAAE,MAAM,EAAE,MAAM,EAAE,8BAA8B,EAAE,CAAC;IACrE,CAAC;IACD,OAAO,EAAE,OAAO,EAAE,MAAM,EAAE,MAAM,EAAE,IAAI,EAAE,CAAC;AAC3C,CAAC;AAED,SAAS,iBAAiB,CAAC,IAAsB;IAC/C,OAAO,IAAI,CAAC,KAAK,KAAK,WAAW,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,WAAW,IAAI,IAAI,CAAC;AACtE,CAAC;AAED,SAAS,YAAY,CACnB,IAAkC,EAClC,KAAmC;IAEnC,IAAI,CAAC,IAAI,IAAI,CAAC,KAAK;QAAE,OAAO,EAAE,OAAO,EAAE,eAAe,EAAE,MAAM,EAAE,cAAc,EAAE,CAAC;IACjF,IAAI,IAAI,CAAC,KAAK,KAAK,gBAAgB,IAAI,KAAK,CAAC,KAAK,KAAK,gBAAgB,EAAE,CAAC;QACxE,OAAO,EAAE,OAAO,EAAE,SAAS,EAAE,MAAM,EAAE,iBAAiB,CAAC,IAAI,CAAC,IAAI,iBAAiB,CAAC,KAAK,CAAC,IAAI,qBAAqB,EAAE,CAAC;IACtH,CAAC;IACD,IAAI,IAAI,CAAC,KAAK,KAAK,WAAW,IAAI,KAAK,CAAC,KAAK,KAAK,WAAW,EAAE,CAAC;QAC9D,OAAO,EAAE,OAAO,EAAE,eAAe,EAAE,MAAM,EAAE,iBAAiB,CAAC,IAAI,CAAC,IAAI,iBAAiB,CAAC,KAAK,CAAC,IAAI,kBAAkB,EAAE,CAAC;IACzH,CAAC;IACD,MAAM,OAAO,GAAG,MAAM,CAAC,EAAE,CAAC,IAAI,CAAC,KAAK,EAAE,KAAK,CAAC,KAAK,CAAC,CAAC;IACnD,OAAO,EAAE,OAAO,EAAE,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,MAAM,EAAE,MAAM,EAAE,OAAO,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,eAAe,EAAE,CAAC;AAC1F,CAAC;AAED,SAAS,SAAS,CAAC,OAA6C;IAC9D,IAAI,OAAO,CAAC,MAAM,KAAK,CAAC,IAAI,OAAO,CAAC,KAAK,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,OAAO,KAAK,SAAS,CAAC;QAAE,OAAO,gBAAgB,CAAC;IAC3G,IAAI,OAAO,CAAC,IAAI,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,OAAO,KAAK,MAAM,CAAC;QAAE,OAAO,UAAU,CAAC;IACzE,IAAI,OAAO,CAAC,IAAI,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,OAAO,KAAK,eAAe,IAAI,KAAK,CAAC,OAAO,KAAK,aAAa,CAAC;QAAE,OAAO,YAAY,CAAC;IACvH,OAAO,YAAY,CAAC;AACtB,CAAC;AAED,SAAS,KAAK,CACZ,EAAU,EACV,OAA4B,EAC5B,MAAqB,EACrB,cAAiC;IAEjC,OAAO,MAAM,CAAC,MAAM,CAAC;QACnB,QAAQ,EAAE,EAAE;QACZ,OAAO;QACP,WAAW,EAAE,MAAM;QACnB,eAAe,EAAE,MAAM,CAAC,MAAM,CAAC,CAAC,GAAG,cAAc,CAAC,CAAC;KACpD,CAAC,CAAC;AACL,CAAC;AAED;;;;GAIG;AACH,MAAM,UAAU,8BAA8B,CAAC,KAA2B;IACxE,IAAI,CAAC,KAAK,IAAI,CAAC,KAAK,CAAC,aAAa,EAAE,MAAM,EAAE,OAAO;QACjD,CAAC,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,aAAa,CAAC,QAAQ,CAAC;QAC5C,KAAK,CAAC,aAAa,CAAC,QAAQ,CAAC,MAAM,GAAG,mBAAmB;QACzD,CAAC,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,aAAa,CAAC,YAAY,CAAC;QAChD,CAAC,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,aAAa,CAAC,IAAI,KAAK,CAAC,aAAa,CAAC,MAAM,GAAG,iBAAiB;QACrF,CAAC,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,YAAY,CAAC,EAAE,CAAC;QACrC,MAAM,IAAI,SAAS,CAAC,6BAA6B,CAAC,CAAC;IACrD,CAAC;IACD,MAAM,GAAG,GAAG,gBAAgB,CAAC,KAAK,CAAC,CAAC;IACpC,MAAM,iBAAiB,GAAG,IAAI,GAAG,EAA+B,CAAC;IACjE,MAAM,QAAQ,GAAG,CAAC,GAAG,KAAK,CAAC,aAAa,CAAC,QAAQ,CAAC,CAAC;IACnD,MAAM,YAAY,GAAG,IAAI,GAAG,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,QAAQ,CAAC,CAAC,CAAC;IACtE,MAAM,OAAO,GAAwC,EAAE,CAAC;IAExD,KAAK,MAAM,YAAY,IAAI,KAAK,CAAC,aAAa,EAAE,CAAC;QAC/C,IAAI,CAAC,CAAC,wBAAwB,EAAE,sBAAsB,EAAE,iBAAiB,CAAC,CAAC,QAAQ,CAAC,YAAY,CAAC,EAAE,CAAC;YAClG,iBAAiB,CAAC,GAAG,CAAC,YAAY,CAAC,EAAE,CAAC,EAAE,CAAC;YACzC,MAAM,IAAI,SAAS,CAAC,kDAAkD,CAAC,CAAC;QAC1E,CAAC;QACD,iBAAiB,CAAC,GAAG,CAAC,YAAY,CAAC,EAAE,CAAC,CAAC;QACvC,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,YAAY,CAAC,WAAW,CAAC,IAAI,YAAY,CAAC,WAAW,CAAC,MAAM,GAAG,eAAe,EAAE,CAAC;YAClG,MAAM,IAAI,SAAS,CAAC,yCAAyC,CAAC,CAAC;QACjE,CAAC;QACD,MAAM,MAAM,GAAG,SAAS,CAAC,YAAY,CAAC,mBAAmB,EAAE,qBAAqB,EAAE,KAAK,CAAC,CAAC;QACzF,MAAM,OAAO,GAAG,SAAS,CAAC,YAAY,CAAC,oBAAoB,EAAE,sBAAsB,EAAE,KAAK,CAAC,CAAC;QAC5F,IAAI,MAAM,KAAK,OAAO;YAAE,MAAM,IAAI,SAAS,CAAC,yDAAyD,CAAC,CAAC;QACvG,MAAM,IAAI,GAAG,GAAG,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC;QAC7B,MAAM,KAAK,GAAG,GAAG,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC;QAC/B,IAAI,IAAI,IAAI,KAAK,IAAI,CAAC,WAAW,CAAC,YAAY,CAAC,EAAE,EAAE,IAAI,EAAE,KAAK,CAAC,EAAE,CAAC;YAChE,MAAM,IAAI,SAAS,CAAC,yEAAyE,CAAC,CAAC;QACjG,CAAC;QACD,MAAM,SAAS,GAAG,IAAI,CAAC,CAAC,CAAC,UAAU,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC;QACjD,MAAM,UAAU,GAAG,KAAK,CAAC,CAAC,CAAC,UAAU,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC;QACpD,MAAM,QAAQ,GAAgC,EAAE,CAAC;QACjD,MAAM,QAAQ,GAAG,IAAI,GAAG,EAAU,CAAC;QAEnC,KAAK,MAAM,UAAU,IAAI,YAAY,CAAC,WAAW,EAAE,CAAC;YAClD,MAAM,GAAG,GAAG,SAAS,CAAC,UAAU,CAAC,GAAG,EAAE,gBAAgB,EAAE,WAAW,CAAC,CAAC;YACrE,MAAM,OAAO,GAAG,SAAS,CAAC,UAAU,CAAC,QAAQ,EAAE,qBAAqB,EAAE,WAAW,CAAC,CAAC;YACnF,MAAM,QAAQ,GAAG,SAAS,CAAC,UAAU,CAAC,SAAS,EAAE,sBAAsB,EAAE,WAAW,CAAC,CAAC;YACtF,IAAI,QAAQ,CAAC,GAAG,CAAC,GAAG,CAAC;gBAAE,MAAM,IAAI,SAAS,CAAC,uCAAuC,GAAG,EAAE,CAAC,CAAC;YACzF,QAAQ,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;YAClB,MAAM,OAAO,GAAG,iBAAiB,YAAY,CAAC,EAAE,IAAI,GAAG,EAAE,CAAC;YAC1D,IAAI,YAAY,CAAC,GAAG,CAAC,OAAO,CAAC;gBAAE,MAAM,IAAI,SAAS,CAAC,kCAAkC,OAAO,EAAE,CAAC,CAAC;YAChG,YAAY,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC;YAE1B,IAAI,SAA4E,CAAC;YACjF,IAAI,CAAC,IAAI,IAAI,CAAC,KAAK,EAAE,CAAC;gBACpB,SAAS,GAAG,EAAE,OAAO,EAAE,eAAe,EAAE,MAAM,EAAE,yBAAyB,EAAE,CAAC;YAC9E,CAAC;iBAAM,CAAC;gBACN,MAAM,SAAS,GAAG,YAAY,CAAC,IAAI,EAAE,KAAK,CAAC,aAAa,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC;gBACzE,MAAM,UAAU,GAAG,YAAY,CAAC,KAAK,EAAE,KAAK,CAAC,aAAa,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC;gBAC3E,IAAI,SAAS,CAAC,OAAO,KAAK,MAAM,IAAI,UAAU,CAAC,OAAO,KAAK,MAAM,EAAE,CAAC;oBAClE,SAAS,GAAG,EAAE,OAAO,EAAE,MAAM,EAAE,MAAM,EAAE,SAAS,CAAC,OAAO,KAAK,MAAM,CAAC,CAAC,CAAC,SAAS,CAAC,MAAM,CAAC,CAAC,CAAC,UAAU,CAAC,MAAM,EAAE,CAAC;gBAC/G,CAAC;qBAAM,IACL,CAAC,SAAS,CAAC,OAAO,KAAK,MAAM,IAAI,IAAI,CAAC,MAAM,KAAK,mBAAmB,CAAC;oBACrE,CAAC,UAAU,CAAC,OAAO,KAAK,MAAM,IAAI,KAAK,CAAC,MAAM,KAAK,mBAAmB,CAAC,EACvE,CAAC;oBACD,SAAS,GAAG,EAAE,OAAO,EAAE,eAAe,EAAE,MAAM,EAAE,2BAA2B,EAAE,CAAC;gBAChF,CAAC;qBAAM,CAAC;oBACN,SAAS,GAAG,YAAY,CAAC,SAAS,EAAE,GAAG,CAAC,OAAO,CAAC,EAAE,UAAU,EAAE,GAAG,CAAC,QAAQ,CAAC,CAAC,CAAC;gBAC/E,CAAC;YACH,CAAC;YACD,QAAQ,CAAC,IAAI,CAAC,MAAM,CAAC,MAAM,CAAC,EAAE,GAAG,EAAE,OAAO,EAAE,SAAS,CAAC,OAAO,EAAE,WAAW,EAAE,SAAS,CAAC,MAAM,EAAE,CAAC,CAAC,CAAC;YACjG,QAAQ,CAAC,IAAI,CAAC,KAAK,CAAC,OAAO,EAAE,SAAS,CAAC,OAAO,EAAE,SAAS,CAAC,MAAM,EAAE,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC,MAAM,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC;QACpH,CAAC;QACD,OAAO,CAAC,IAAI,CAAC,MAAM,CAAC,MAAM,CAAC;YACzB,EAAE,EAAE,YAAY,CAAC,EAAE;YACnB,MAAM,EAAE,SAAS,CAAC,QAAQ,CAAC;YAC3B,gBAAgB,EAAE,MAAM,CAAC,MAAM,CAAC,QAAQ,CAAC;SAC1C,CAAC,CAAC,CAAC;IACN,CAAC;IAED,6EAA6E;IAC7E,6EAA6E;IAC7E,6DAA6D;IAC7D,MAAM,oBAAoB,GAAG;QAC3B,GAAG,KAAK,CAAC,aAAa,CAAC,MAAM,CAAC,OAAO,CAAC,IAAI,iBAAiB;QAC3D,GAAG,KAAK,CAAC,aAAa,CAAC,MAAM,CAAC,OAAO,CAAC,IAAI,qBAAqB;QAC/D,gBAAgB;KACjB,CAAC;IACF,MAAM,eAAe,GAAG,oBAAoB,CAAC,GAAG,CAAC,CAAC,EAAE,EAAE,EAAE,CACtD,KAAK,CAAC,aAAa,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,QAAQ,KAAK,EAAE,CAAC,EAAE,OAAO,CAC7E,CAAC;IACF,MAAM,WAAW,GACf,KAAK,CAAC,aAAa,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,OAAO,KAAK,MAAM,CAAC;QACtE,OAAO,CAAC,IAAI,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,MAAM,KAAK,UAAU,CAAC;QAClD,CAAC,CAAC,UAAU;QACZ,CAAC,CAAC,eAAe,CAAC,IAAI,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC,OAAO,KAAK,MAAM,CAAC;YACnD,OAAO,CAAC,MAAM,KAAK,CAAC,IAAI,OAAO,CAAC,IAAI,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,MAAM,KAAK,YAAY,CAAC;YAChF,CAAC,CAAC,YAAY;YACd,CAAC,CAAC,YAAY,CAAC;IACrB,MAAM,YAAY,GAAG,CAAC,GAAG,KAAK,CAAC,aAAa,CAAC,YAAY,EAAE,GAAG,KAAK,CAAC,YAAY,CAAC,CAAC;IAClF,OAAO,MAAM,CAAC,MAAM,CAAC;QACnB,WAAW;QACX,aAAa,EAAE,MAAM,CAAC,MAAM,CAAC,OAAO,CAAC;QACrC,MAAM,EAAE,MAAM,CAAC,MAAM,CAAC;YACpB,MAAM,EAAE,KAAK,CAAC,aAAa,CAAC,MAAM;YAClC,QAAQ,EAAE,MAAM,CAAC,MAAM,CAAC,QAAQ,CAAC;YACjC,YAAY,EAAE,MAAM,CAAC,MAAM,CAAC,YAAY,CAAC;SAC1C,CAAC;KACH,CAAC,CAAC;AACL,CAAC"}

package/dist/triangulation/executionPlanV1.d.ts

@@ -0,0 +1,39 @@
+/**
+ * Pure execution triangulation preparation.
+ * Claimed locations are never treated as independently resolved evidence.
+ * Original/private HCS anchors establish provenance identifiers only, not
+ * plaintext-publication or application-data-hash integrity.
+ */
+import type { HederaNetwork } from "../contracts/verification.js";
+import type { PublicExecutionStandardsEvidence } from "../profiles/execution/contractV1.js";
+import { type ExecutionV1Input, type ExecutionV1Report } from "../profiles/execution/verificationV1.js";
+import type { TriangulationV1Input } from "./compareV1.js";
+export declare const EXECUTION_HEDERA_OBSERVATION_V1_ID = "execution.hedera";
+type Side = "provided_evidence" | "public_record";
+type Role = "acceptance_anchor" | "result_evidence_anchor";
+export type ExecutionHederaTargetV1 = Readonly<{
+    source: Side;
+    role: Role;
+    network: HederaNetwork;
+    transaction_id: string | null;
+    topic_id: string | null;
+    sequence_number: number | null;
+    /** Mirrors must derive facts from actual retrieved bytes/metadata, not from this claim. */
+    observation_fact_prefix: string;
+}>;
+export type ExecutionTriangulationPlanV1 = Readonly<{
+    stage: "unresolved_authority_plan";
+    /** Public input has not yet been acquired or authenticated by an SDK resolver. */
+    public_record_acquisition: "not_checked";
+    hedera_resolution: "not_checked";
+    source_report: ExecutionV1Report;
+    triangulation: TriangulationV1Input;
+    hedera_targets: readonly ExecutionHederaTargetV1[];
+}>;
+/** Prepare a plan. The returned Mirror observation id is RESERVED, not populated. */
+export declare function prepareExecutionTriangulationV1(input: Readonly<{
+    execution: ExecutionV1Input;
+    public_evidence: PublicExecutionStandardsEvidence;
+}>): ExecutionTriangulationPlanV1;
+export {};
+//# sourceMappingURL=executionPlanV1.d.ts.map

package/dist/triangulation/executionPlanV1.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"executionPlanV1.d.ts","sourceRoot":"","sources":["../../src/triangulation/executionPlanV1.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AACH,OAAO,KAAK,EAAE,aAAa,EAA6C,MAAM,8BAA8B,CAAC;AAC7G,OAAO,KAAK,EAAE,gCAAgC,EAAE,MAAM,qCAAqC,CAAC;AAC5F,OAAO,EAA+B,KAAK,gBAAgB,EAAE,KAAK,iBAAiB,EAAE,MAAM,yCAAyC,CAAC;AACrI,OAAO,KAAK,EAAE,oBAAoB,EAA4D,MAAM,gBAAgB,CAAC;AASrH,eAAO,MAAM,kCAAkC,qBAAqB,CAAC;AAErE,KAAK,IAAI,GAAG,mBAAmB,GAAG,eAAe,CAAC;AAClD,KAAK,IAAI,GAAG,mBAAmB,GAAG,wBAAwB,CAAC;AAC3D,MAAM,MAAM,uBAAuB,GAAG,QAAQ,CAAC;IAC7C,MAAM,EAAE,IAAI,CAAC;IACb,IAAI,EAAE,IAAI,CAAC;IACX,OAAO,EAAE,aAAa,CAAC;IACvB,cAAc,EAAE,MAAM,GAAG,IAAI,CAAC;IAC9B,QAAQ,EAAE,MAAM,GAAG,IAAI,CAAC;IACxB,eAAe,EAAE,MAAM,GAAG,IAAI,CAAC;IAC/B,2FAA2F;IAC3F,uBAAuB,EAAE,MAAM,CAAC;CACjC,CAAC,CAAC;AACH,MAAM,MAAM,4BAA4B,GAAG,QAAQ,CAAC;IAClD,KAAK,EAAE,2BAA2B,CAAC;IACnC,kFAAkF;IAClF,yBAAyB,EAAE,aAAa,CAAC;IACzC,iBAAiB,EAAE,aAAa,CAAC;IACjC,aAAa,EAAE,iBAAiB,CAAC;IACjC,aAAa,EAAE,oBAAoB,CAAC;IACpC,cAAc,EAAE,SAAS,uBAAuB,EAAE,CAAC;CACpD,CAAC,CAAC;AA0IH,qFAAqF;AACrF,wBAAgB,+BAA+B,CAAC,KAAK,EAAE,QAAQ,CAAC;IAC9D,SAAS,EAAE,gBAAgB,CAAC;IAC5B,eAAe,EAAE,gCAAgC,CAAC;CACnD,CAAC,GAAG,4BAA4B,CAmDhC"}