@veraanchor/verifier 0.0.0-stage → 0.1.0

package/dist/triangulation/executionPlanV1.js

@@ -0,0 +1,208 @@
+import { verifyExecutionV1WithIntent } from "../profiles/execution/verificationV1.js";
+const UUID = /^[0-9a-f]{8}-[0-9a-f]{4}-[1-5][0-9a-f]{3}-[89ab][0-9a-f]{3}-[0-9a-f]{12}$/i;
+const HASH = /^[0-9a-f]{128}$/i;
+const TOPIC = /^0\.0\.[0-9]+$/;
+const TX = /^(0\.0\.[0-9]+)[@-]([0-9]{1,12})[.-]([0-9]{1,9})$/;
+const MESSAGE = /^(?:([1-9][0-9]*)@(0\.0\.[0-9]+)|(0\.0\.[0-9]+)@([1-9][0-9]*))$/;
+const PROVIDED_ID = "execution.provided.claims";
+const PUBLIC_ID = "execution.public";
+export const EXECUTION_HEDERA_OBSERVATION_V1_ID = "execution.hedera";
+function record(value, field) {
+    if (!value || typeof value !== "object" || Array.isArray(value))
+        throw new TypeError(`${field} must be an object`);
+    return value;
+}
+function optional(value, field, limit = 256) {
+    if (value == null || value === "")
+        return null;
+    if (typeof value !== "string" || value.length > limit || value !== value.trim()) {
+        throw new TypeError(`${field} must be a bounded canonical string`);
+    }
+    return value || null;
+}
+function scopedUuid(value, field, required = false) {
+    const str = optional(value, field, 64)?.toLowerCase() ?? null;
+    if ((required && !str) || (str && !UUID.test(str)))
+        throw new TypeError(`${field} must be a UUID`);
+    return str;
+}
+function digest(value, field) {
+    const str = optional(value, field, 128)?.toLowerCase() ?? null;
+    if (str && !HASH.test(str))
+        throw new TypeError(`${field} must be SHA3-512 hex`);
+    return str;
+}
+function transaction(value, field) {
+    const str = optional(value, field, 128);
+    if (!str)
+        return null;
+    const match = TX.exec(str);
+    if (!match)
+        throw new TypeError(`${field} must be a Hedera transaction identifier`);
+    return `${match[1]}@${match[2]}.${match[3].padStart(9, "0")}`;
+}
+function messageScope(value) {
+    const str = optional(value, "acceptance.hcs.message_id", 128);
+    if (!str)
+        return null;
+    const match = MESSAGE.exec(str);
+    if (!match)
+        throw new TypeError("Invalid acceptance HCS message identifier");
+    const number = Number(match[1] ?? match[4]);
+    if (!Number.isSafeInteger(number) || number < 1)
+        throw new TypeError("Invalid HCS message sequence");
+    return { topic_id: (match[2] ?? match[3]), sequence_number: number };
+}
+function ledgerClaim(value, source, role, network) {
+    if (value == null)
+        return null;
+    const hcs = record(value, `${role}.hcs`);
+    const tx = transaction(hcs.transaction_id, `${role}.hcs.transaction_id`);
+    const msg = role === "acceptance_anchor" ? messageScope(hcs.message_id) : null;
+    const rawTopic = optional(hcs.topic_id, `${role}.hcs.topic_id`, 64);
+    if (rawTopic && !TOPIC.test(rawTopic))
+        throw new TypeError("Invalid HCS topic identifier");
+    const rawSequence = hcs.sequence_number;
+    const seq = rawSequence == null ? null : rawSequence;
+    if (seq != null && (typeof seq !== "number" || !Number.isSafeInteger(seq) || seq < 1)) {
+        throw new TypeError("Invalid HCS sequence number");
+    }
+    if (msg && ((rawTopic && rawTopic !== msg.topic_id) || (seq && seq !== msg.sequence_number))) {
+        throw new TypeError("HCS message locator conflict");
+    }
+    let topic_id = rawTopic ?? msg?.topic_id ?? null;
+    let sequence_number = seq ?? msg?.sequence_number ?? null;
+    if ((topic_id === null) !== (sequence_number === null)) {
+        // Topic without exact message sequence is not independently resolvable.
+        // A separate transaction can still be observed, but never infer its sequence.
+        if (!tx)
+            throw new TypeError("Incomplete HCS message locator");
+        topic_id = null;
+        sequence_number = null;
+    }
+    if (!tx && !topic_id)
+        return null;
+    return Object.freeze({ source, role, network, transaction_id: tx, topic_id, sequence_number,
+        observation_fact_prefix: `ledger.${source}.${role}` });
+}
+function fact(key, value) {
+    return value === null ? Object.freeze({ key, state: "unavailable", reason_code: "EXECUTION_COMMITMENT_UNAVAILABLE" }) :
+        Object.freeze({ key, state: "available", value });
+}
+function addFact(facts, key, value) {
+    facts.push(fact(key, value));
+}
+function scopeFacts(evidence, resultId) {
+    const exe = evidence.execution;
+    const facts = [];
+    addFact(facts, "execution.job_id", scopedUuid(exe?.job_id, "execution.job_id"));
+    addFact(facts, "execution.hedera_network", optional(exe?.hedera_network, "execution.hedera_network", 16));
+    addFact(facts, "execution.program", optional(exe?.program, "execution.program", 128)?.toLowerCase() ?? null);
+    addFact(facts, "execution.pipeline_hash", digest(exe?.pipeline_hash, "execution.pipeline_hash"));
+    addFact(facts, "dataset.fingerprint_sha3_512", digest(exe?.dataset?.dataset_fingerprint_sha3_512, "dataset.fingerprint"));
+    addFact(facts, "dataset.manifest_sha3_512", digest(exe?.dataset?.dataset_manifest_sha3_512, "dataset.manifest"));
+    addFact(facts, "binding.digest", digest(evidence.binding?.digest, "binding.digest"));
+    addFact(facts, "acceptance.digest", digest(evidence.acceptance?.digest, "acceptance.digest"));
+    if (resultId) {
+        addFact(facts, "execution.result_id", scopedUuid(evidence.result_evidence?.result_id ?? exe?.result_id, "result_id"));
+        addFact(facts, "result_evidence.digest", digest(evidence.result_evidence?.digest, "result_evidence.digest"));
+        addFact(facts, "result_evidence.result_hash", digest(evidence.result_evidence?.result_hash, "result_hash"));
+        addFact(facts, "result_evidence.service_hash", digest(evidence.result_evidence?.service_hash, "service_hash"));
+        addFact(facts, "result_evidence.global_hash", digest(evidence.result_evidence?.global_hash, "global_hash"));
+    }
+    return facts;
+}
+function claimFacts(facts, claims, resultId) {
+    for (const role of ["acceptance_anchor", ...(resultId ? ["result_evidence_anchor"] : [])]) {
+        const claim = claims.find((candidate) => candidate.role === role);
+        addFact(facts, `${role}.transaction_id`, claim?.transaction_id ?? null);
+        addFact(facts, `${role}.topic_id`, claim?.topic_id ?? null);
+        addFact(facts, `${role}.sequence_number`, claim?.sequence_number?.toString() ?? null);
+    }
+}
+function observations(evidence, side, subject, resultId, targets) {
+    const facts = scopeFacts(evidence, resultId);
+    claimFacts(facts, targets, resultId);
+    return Object.freeze({ id: side === "public_record" ? PUBLIC_ID : PROVIDED_ID, subject,
+        source: side, facts: Object.freeze(facts) });
+}
+function targetsOf(evidence, side, network, resultId) {
+    const acceptance = ledgerClaim(evidence.acceptance?.hcs, side, "acceptance_anchor", network);
+    const result = resultId ? ledgerClaim(evidence.result_evidence?.hcs, side, "result_evidence_anchor", network) : null;
+    return [acceptance, result].filter((v) => v !== null);
+}
+function pairs(left, right) {
+    const rightKeys = new Set(right.facts.map((f) => f.key));
+    return left.facts.filter((f) => f.state === "available" && rightKeys.has(f.key))
+        .map((f) => Object.freeze({ key: f.key, left_key: f.key, right_key: f.key }));
+}
+function hederaComparisons(targets) {
+    return targets.flatMap((target) => {
+        const comparison = [];
+        const base = target.observation_fact_prefix;
+        if (target.transaction_id)
+            comparison.push(Object.freeze({ key: `${target.role}.transaction_id`,
+                left_key: `${target.role}.transaction_id`, right_key: `${base}.transaction_id` }));
+        if (target.topic_id && target.sequence_number) {
+            comparison.push(Object.freeze({ key: `${target.role}.topic_id`, left_key: `${target.role}.topic_id`, right_key: `${base}.topic_id` }));
+            comparison.push(Object.freeze({ key: `${target.role}.sequence_number`, left_key: `${target.role}.sequence_number`, right_key: `${base}.sequence_number` }));
+        }
+        return comparison;
+    });
+}
+/** Prepare a plan. The returned Mirror observation id is RESERVED, not populated. */
+export function prepareExecutionTriangulationV1(input) {
+    const source = verifyExecutionV1WithIntent(input.execution);
+    if (source.findings.find((f) => f.check_id === "input.bounds")?.outcome !== "pass") {
+        throw new TypeError("Provided execution evidence failed structural bounds");
+    }
+    const subject = source.intent.subject;
+    const network = subject.hedera_network;
+    if (network !== "testnet" && network !== "mainnet")
+        throw new TypeError("Execution network is required");
+    const requestedResult = source.verification_scope.requested_result_id;
+    const pub = input.public_evidence;
+    if (!pub || pub.available !== true)
+        throw new TypeError("Public execution evidence is unavailable");
+    if (scopedUuid(pub.execution?.job_id, "public.execution.job_id", true) !== subject.id ||
+        pub.execution?.hedera_network !== network)
+        throw new TypeError("Public execution scope mismatch");
+    if (requestedResult) {
+        const actual = scopedUuid(pub.result_evidence?.result_id ?? pub.execution?.result_id, "public.result_id", true);
+        if (actual !== requestedResult)
+            throw new TypeError("Public execution result scope mismatch");
+    }
+    const provided = record(input.execution.evidence, "provided execution evidence");
+    const providedResult = requestedResult ? scopedUuid(provided.result_evidence?.result_id ?? provided.execution?.result_id, "provided.result_id") : null;
+    if (providedResult && providedResult !== requestedResult)
+        throw new TypeError("Provided result scope mismatch");
+    if (provided.execution?.job_id && scopedUuid(provided.execution.job_id, "provided.job_id") !== subject.id) {
+        throw new TypeError("Provided execution job scope mismatch");
+    }
+    if (provided.execution?.hedera_network && provided.execution.hedera_network !== network) {
+        throw new TypeError("Provided execution network scope mismatch");
+    }
+    const publicTargets = targetsOf(pub, "public_record", network, requestedResult);
+    const providedTargets = targetsOf(provided, "provided_evidence", network, requestedResult);
+    const publicObservation = observations(pub, "public_record", subject, requestedResult, publicTargets);
+    const providedObservation = observations(provided, "provided_evidence", subject, requestedResult, providedTargets);
+    const pp = pairs(providedObservation, publicObservation);
+    const relationships = [
+        Object.freeze({ id: "provided_public_record", left_observation_id: PROVIDED_ID,
+            right_observation_id: PUBLIC_ID, comparisons: Object.freeze(pp) }),
+        Object.freeze({ id: "public_record_hedera", left_observation_id: PUBLIC_ID,
+            right_observation_id: EXECUTION_HEDERA_OBSERVATION_V1_ID,
+            comparisons: Object.freeze(hederaComparisons(publicTargets)) }),
+        Object.freeze({ id: "provided_hedera", left_observation_id: PROVIDED_ID,
+            right_observation_id: EXECUTION_HEDERA_OBSERVATION_V1_ID,
+            comparisons: Object.freeze(hederaComparisons(providedTargets)) }),
+    ];
+    return Object.freeze({ stage: "unresolved_authority_plan",
+        public_record_acquisition: "not_checked", hedera_resolution: "not_checked",
+        source_report: source,
+        triangulation: Object.freeze({ source_report: source,
+            observations: Object.freeze([providedObservation, publicObservation]),
+            relationships: Object.freeze(relationships) }),
+        hedera_targets: Object.freeze([...publicTargets, ...providedTargets]), });
+}
+//# sourceMappingURL=executionPlanV1.js.map

package/dist/triangulation/executionPlanV1.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"executionPlanV1.js","sourceRoot":"","sources":["../../src/triangulation/executionPlanV1.ts"],"names":[],"mappings":"AAQA,OAAO,EAAE,2BAA2B,EAAiD,MAAM,yCAAyC,CAAC;AAGrI,MAAM,IAAI,GAAG,4EAA4E,CAAC;AAC1F,MAAM,IAAI,GAAG,kBAAkB,CAAC;AAChC,MAAM,KAAK,GAAG,gBAAgB,CAAC;AAC/B,MAAM,EAAE,GAAG,mDAAmD,CAAC;AAC/D,MAAM,OAAO,GAAG,iEAAiE,CAAC;AAClF,MAAM,WAAW,GAAG,2BAA2B,CAAC;AAChD,MAAM,SAAS,GAAG,kBAAkB,CAAC;AACrC,MAAM,CAAC,MAAM,kCAAkC,GAAG,kBAAkB,CAAC;AAwBrE,SAAS,MAAM,CAAC,KAAc,EAAE,KAAa;IAC3C,IAAI,CAAC,KAAK,IAAI,OAAO,KAAK,KAAK,QAAQ,IAAI,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC;QAAE,MAAM,IAAI,SAAS,CAAC,GAAG,KAAK,oBAAoB,CAAC,CAAC;IACnH,OAAO,KAAgC,CAAC;AAC1C,CAAC;AACD,SAAS,QAAQ,CAAC,KAAc,EAAE,KAAa,EAAE,KAAK,GAAG,GAAG;IAC1D,IAAI,KAAK,IAAI,IAAI,IAAI,KAAK,KAAK,EAAE;QAAE,OAAO,IAAI,CAAC;IAC/C,IAAI,OAAO,KAAK,KAAK,QAAQ,IAAI,KAAK,CAAC,MAAM,GAAG,KAAK,IAAI,KAAK,KAAK,KAAK,CAAC,IAAI,EAAE,EAAE,CAAC;QAChF,MAAM,IAAI,SAAS,CAAC,GAAG,KAAK,qCAAqC,CAAC,CAAC;IACrE,CAAC;IACD,OAAO,KAAK,IAAI,IAAI,CAAC;AACvB,CAAC;AACD,SAAS,UAAU,CAAC,KAAc,EAAE,KAAa,EAAE,QAAQ,GAAG,KAAK;IACjE,MAAM,GAAG,GAAG,QAAQ,CAAC,KAAK,EAAE,KAAK,EAAE,EAAE,CAAC,EAAE,WAAW,EAAE,IAAI,IAAI,CAAC;IAC9D,IAAI,CAAC,QAAQ,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,GAAG,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;QAAE,MAAM,IAAI,SAAS,CAAC,GAAG,KAAK,iBAAiB,CAAC,CAAC;IACnG,OAAO,GAAG,CAAC;AACb,CAAC;AACD,SAAS,MAAM,CAAC,KAAc,EAAE,KAAa;IAC3C,MAAM,GAAG,GAAG,QAAQ,CAAC,KAAK,EAAE,KAAK,EAAE,GAAG,CAAC,EAAE,WAAW,EAAE,IAAI,IAAI,CAAC;IAC/D,IAAI,GAAG,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC;QAAE,MAAM,IAAI,SAAS,CAAC,GAAG,KAAK,uBAAuB,CAAC,CAAC;IACjF,OAAO,GAAG,CAAC;AACb,CAAC;AACD,SAAS,WAAW,CAAC,KAAc,EAAE,KAAa;IAChD,MAAM,GAAG,GAAG,QAAQ,CAAC,KAAK,EAAE,KAAK,EAAE,GAAG,CAAC,CAAC;IACxC,IAAI,CAAC,GAAG;QAAE,OAAO,IAAI,CAAC;IACtB,MAAM,KAAK,GAAG,EAAE,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;IAC3B,IAAI,CAAC,KAAK;QAAE,MAAM,IAAI,SAAS,CAAC,GAAG,KAAK,0CAA0C,CAAC,CAAC;IACpF,OAAO,GAAG,KAAK,CAAC,CAAC,CAAC,IAAI,KAAK,CAAC,CAAC,CAAC,IAAI,KAAK,CAAC,CAAC,CAAE,CAAC,QAAQ,CAAC,CAAC,EAAE,GAAG,CAAC,EAAE,CAAC;AACjE,CAAC;AACD,SAAS,YAAY,CAAC,KAAc;IAClC,MAAM,GAAG,GAAG,QAAQ,CAAC,KAAK,EAAE,2BAA2B,EAAE,GAAG,CAAC,CAAC;IAC9D,IAAI,CAAC,GAAG;QAAE,OAAO,IAAI,CAAC;IACtB,MAAM,KAAK,GAAG,OAAO,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;IAChC,IAAI,CAAC,KAAK;QAAE,MAAM,IAAI,SAAS,CAAC,2CAA2C,CAAC,CAAC;IAC7E,MAAM,MAAM,GAAG,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,IAAI,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC;IAC5C,IAAI,CAAC,MAAM,CAAC,aAAa,CAAC,MAAM,CAAC,IAAI,MAAM,GAAG,CAAC;QAAE,MAAM,IAAI,SAAS,CAAC,8BAA8B,CAAC,CAAC;IACrG,OAAO,EAAE,QAAQ,EAAE,CAAC,KAAK,CAAC,CAAC,CAAC,IAAI,KAAK,CAAC,CAAC,CAAC,CAAE,EAAE,eAAe,EAAE,MAAM,EAAE,CAAC;AACxE,CAAC;AACD,SAAS,WAAW,CAClB,KAAc,EAAE,MAAY,EAAE,IAAU,EAAE,OAAsB;IAEhE,IAAI,KAAK,IAAI,IAAI;QAAE,OAAO,IAAI,CAAC;IAC/B,MAAM,GAAG,GAAG,MAAM,CAAC,KAAK,EAAE,GAAG,IAAI,MAAM,CAAC,CAAC;IACzC,MAAM,EAAE,GAAG,WAAW,CAAC,GAAG,CAAC,cAAc,EAAE,GAAG,IAAI,qBAAqB,CAAC,CAAC;IACzE,MAAM,GAAG,GAAG,IAAI,KAAK,mBAAmB,CAAC,CAAC,CAAC,YAAY,CAAC,GAAG,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC;IAC/E,MAAM,QAAQ,GAAG,QAAQ,CAAC,GAAG,CAAC,QAAQ,EAAE,GAAG,IAAI,eAAe,EAAE,EAAE,CAAC,CAAC;IACpE,IAAI,QAAQ,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,QAAQ,CAAC;QAAE,MAAM,IAAI,SAAS,CAAC,8BAA8B,CAAC,CAAC;IAC3F,MAAM,WAAW,GAAG,GAAG,CAAC,eAAe,CAAC;IACxC,MAAM,GAAG,GAAG,WAAW,IAAI,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,WAAW,CAAC;IACrD,IAAI,GAAG,IAAI,IAAI,IAAI,CAAC,OAAO,GAAG,KAAK,QAAQ,IAAI,CAAC,MAAM,CAAC,aAAa,CAAC,GAAG,CAAC,IAAI,GAAG,GAAG,CAAC,CAAC,EAAE,CAAC;QACtF,MAAM,IAAI,SAAS,CAAC,6BAA6B,CAAC,CAAC;IACrD,CAAC;IACD,IAAI,GAAG,IAAI,CAAC,CAAC,QAAQ,IAAI,QAAQ,KAAK,GAAG,CAAC,QAAQ,CAAC,IAAI,CAAC,GAAG,IAAI,GAAG,KAAK,GAAG,CAAC,eAAe,CAAC,CAAC,EAAE,CAAC;QAC7F,MAAM,IAAI,SAAS,CAAC,8BAA8B,CAAC,CAAC;IACtD,CAAC;IACD,IAAI,QAAQ,GAAG,QAAQ,IAAI,GAAG,EAAE,QAAQ,IAAI,IAAI,CAAC;IACjD,IAAI,eAAe,GAAI,GAAqB,IAAI,GAAG,EAAE,eAAe,IAAI,IAAI,CAAC;IAC7E,IAAI,CAAC,QAAQ,KAAK,IAAI,CAAC,KAAK,CAAC,eAAe,KAAK,IAAI,CAAC,EAAE,CAAC;QACvD,wEAAwE;QACxE,8EAA8E;QAC9E,IAAI,CAAC,EAAE;YAAE,MAAM,IAAI,SAAS,CAAC,gCAAgC,CAAC,CAAC;QAC/D,QAAQ,GAAG,IAAI,CAAC;QAChB,eAAe,GAAG,IAAI,CAAC;IACzB,CAAC;IACD,IAAI,CAAC,EAAE,IAAI,CAAC,QAAQ;QAAE,OAAO,IAAI,CAAC;IAClC,OAAO,MAAM,CAAC,MAAM,CAAC,EAAE,MAAM,EAAE,IAAI,EAAE,OAAO,EAAE,cAAc,EAAE,EAAE,EAAE,QAAQ,EAAE,eAAe;QACzF,uBAAuB,EAAE,UAAU,MAAM,IAAI,IAAI,EAAE,EAAE,CAAC,CAAC;AAC3D,CAAC;AACD,SAAS,IAAI,CAAC,GAAW,EAAE,KAAoB;IAC7C,OAAO,KAAK,KAAK,IAAI,CAAC,CAAC,CAAC,MAAM,CAAC,MAAM,CAAC,EAAE,GAAG,EAAE,KAAK,EAAE,aAAsB,EAAE,WAAW,EAAE,kCAAkC,EAAE,CAAC,CAAC,CAAC;QAC9H,MAAM,CAAC,MAAM,CAAC,EAAE,GAAG,EAAE,KAAK,EAAE,WAAoB,EAAE,KAAK,EAAE,CAAC,CAAC;AAC/D,CAAC;AACD,SAAS,OAAO,CAAC,KAAyB,EAAE,GAAW,EAAE,KAAoB;IAC3E,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,EAAE,KAAK,CAAC,CAAC,CAAC;AAC/B,CAAC;AACD,SAAS,UAAU,CAAC,QAA0C,EAAE,QAAuB;IACrF,MAAM,GAAG,GAAG,QAAQ,CAAC,SAAS,CAAC;IAC/B,MAAM,KAAK,GAAuB,EAAE,CAAC;IACrC,OAAO,CAAC,KAAK,EAAE,kBAAkB,EAAE,UAAU,CAAC,GAAG,EAAE,MAAM,EAAE,kBAAkB,CAAC,CAAC,CAAC;IAChF,OAAO,CAAC,KAAK,EAAE,0BAA0B,EAAE,QAAQ,CAAC,GAAG,EAAE,cAAc,EAAE,0BAA0B,EAAE,EAAE,CAAC,CAAC,CAAC;IAC1G,OAAO,CAAC,KAAK,EAAE,mBAAmB,EAAE,QAAQ,CAAC,GAAG,EAAE,OAAO,EAAE,mBAAmB,EAAE,GAAG,CAAC,EAAE,WAAW,EAAE,IAAI,IAAI,CAAC,CAAC;IAC7G,OAAO,CAAC,KAAK,EAAE,yBAAyB,EAAE,MAAM,CAAC,GAAG,EAAE,aAAa,EAAE,yBAAyB,CAAC,CAAC,CAAC;IACjG,OAAO,CAAC,KAAK,EAAE,8BAA8B,EAAE,MAAM,CAAC,GAAG,EAAE,OAAO,EAAE,4BAA4B,EAAE,qBAAqB,CAAC,CAAC,CAAC;IAC1H,OAAO,CAAC,KAAK,EAAE,2BAA2B,EAAE,MAAM,CAAC,GAAG,EAAE,OAAO,EAAE,yBAAyB,EAAE,kBAAkB,CAAC,CAAC,CAAC;IACjH,OAAO,CAAC,KAAK,EAAE,gBAAgB,EAAE,MAAM,CAAC,QAAQ,CAAC,OAAO,EAAE,MAAM,EAAE,gBAAgB,CAAC,CAAC,CAAC;IACrF,OAAO,CAAC,KAAK,EAAE,mBAAmB,EAAE,MAAM,CAAC,QAAQ,CAAC,UAAU,EAAE,MAAM,EAAE,mBAAmB,CAAC,CAAC,CAAC;IAC9F,IAAI,QAAQ,EAAE,CAAC;QACb,OAAO,CAAC,KAAK,EAAE,qBAAqB,EAAE,UAAU,CAAC,QAAQ,CAAC,eAAe,EAAE,SAAS,IAAI,GAAG,EAAE,SAAS,EAAE,WAAW,CAAC,CAAC,CAAC;QACtH,OAAO,CAAC,KAAK,EAAE,wBAAwB,EAAE,MAAM,CAAC,QAAQ,CAAC,eAAe,EAAE,MAAM,EAAE,wBAAwB,CAAC,CAAC,CAAC;QAC7G,OAAO,CAAC,KAAK,EAAE,6BAA6B,EAAE,MAAM,CAAC,QAAQ,CAAC,eAAe,EAAE,WAAW,EAAE,aAAa,CAAC,CAAC,CAAC;QAC5G,OAAO,CAAC,KAAK,EAAE,8BAA8B,EAAE,MAAM,CAAC,QAAQ,CAAC,eAAe,EAAE,YAAY,EAAE,cAAc,CAAC,CAAC,CAAC;QAC/G,OAAO,CAAC,KAAK,EAAE,6BAA6B,EAAE,MAAM,CAAC,QAAQ,CAAC,eAAe,EAAE,WAAW,EAAE,aAAa,CAAC,CAAC,CAAC;IAC9G,CAAC;IACD,OAAO,KAAK,CAAC;AACf,CAAC;AACD,SAAS,UAAU,CAAC,KAAyB,EAAE,MAA0C,EAAE,QAAuB;IAChH,KAAK,MAAM,IAAI,IAAK,CAAC,mBAAmB,EAAE,GAAG,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,wBAAwB,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAY,EAAE,CAAC;QACtG,MAAM,KAAK,GAAG,MAAM,CAAC,IAAI,CAAC,CAAC,SAAS,EAAE,EAAE,CAAC,SAAS,CAAC,IAAI,KAAK,IAAI,CAAC,CAAC;QAClE,OAAO,CAAC,KAAK,EAAE,GAAG,IAAI,iBAAiB,EAAE,KAAK,EAAE,cAAc,IAAI,IAAI,CAAC,CAAC;QACxE,OAAO,CAAC,KAAK,EAAE,GAAG,IAAI,WAAW,EAAE,KAAK,EAAE,QAAQ,IAAI,IAAI,CAAC,CAAC;QAC5D,OAAO,CAAC,KAAK,EAAE,GAAG,IAAI,kBAAkB,EAAE,KAAK,EAAE,eAAe,EAAE,QAAQ,EAAE,IAAI,IAAI,CAAC,CAAC;IACxF,CAAC;AACH,CAAC;AACD,SAAS,YAAY,CACnB,QAA0C,EAAE,IAAU,EAAE,OAA+C,EACvG,QAAuB,EAAE,OAA2C;IAEpE,MAAM,KAAK,GAAG,UAAU,CAAC,QAAQ,EAAE,QAAQ,CAAC,CAAC;IAC7C,UAAU,CAAC,KAAK,EAAE,OAAO,EAAE,QAAQ,CAAC,CAAC;IACrC,OAAO,MAAM,CAAC,MAAM,CAAC,EAAE,EAAE,EAAE,IAAI,KAAK,eAAe,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,WAAW,EAAE,OAAO;QACpF,MAAM,EAAE,IAAI,EAAE,KAAK,EAAE,MAAM,CAAC,MAAM,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC;AACjD,CAAC;AACD,SAAS,SAAS,CAAC,QAA0C,EAAE,IAAU,EACvE,OAAsB,EAAE,QAAuB;IAC/C,MAAM,UAAU,GAAG,WAAW,CAAC,QAAQ,CAAC,UAAU,EAAE,GAAG,EAAE,IAAI,EAAE,mBAAmB,EAAE,OAAO,CAAC,CAAC;IAC7F,MAAM,MAAM,GAAG,QAAQ,CAAC,CAAC,CAAC,WAAW,CAAC,QAAQ,CAAC,eAAe,EAAE,GAAG,EAAE,IAAI,EAAE,wBAAwB,EAAE,OAAO,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC;IACrH,OAAO,CAAC,UAAU,EAAE,MAAM,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,EAAgC,EAAE,CAAC,CAAC,KAAK,IAAI,CAAC,CAAC;AACtF,CAAC;AACD,SAAS,KAAK,CAAC,IAA6B,EAAE,KAA8B;IAC1E,MAAM,SAAS,GAAG,IAAI,GAAG,CAAC,KAAK,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC;IACzD,OAAO,IAAI,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,KAAK,KAAK,WAAW,IAAI,SAAS,CAAC,GAAG,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC;SAC7E,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,MAAM,CAAC,MAAM,CAAC,EAAE,GAAG,EAAE,CAAC,CAAC,GAAG,EAAE,QAAQ,EAAE,CAAC,CAAC,GAAG,EAAE,SAAS,EAAE,CAAC,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC;AAClF,CAAC;AACD,SAAS,iBAAiB,CAAC,OAA2C;IACpE,OAAO,OAAO,CAAC,OAAO,CAAC,CAAC,MAAM,EAAE,EAAE;QAChC,MAAM,UAAU,GAA8B,EAAE,CAAC;QACjD,MAAM,IAAI,GAAG,MAAM,CAAC,uBAAuB,CAAC;QAC5C,IAAI,MAAM,CAAC,cAAc;YAAE,UAAU,CAAC,IAAI,CAAC,MAAM,CAAC,MAAM,CAAC,EAAE,GAAG,EAAE,GAAG,MAAM,CAAC,IAAI,iBAAiB;gBAC7F,QAAQ,EAAE,GAAG,MAAM,CAAC,IAAI,iBAAiB,EAAE,SAAS,EAAE,GAAG,IAAI,iBAAiB,EAAE,CAAC,CAAC,CAAC;QACrF,IAAI,MAAM,CAAC,QAAQ,IAAI,MAAM,CAAC,eAAe,EAAE,CAAC;YAC9C,UAAU,CAAC,IAAI,CAAC,MAAM,CAAC,MAAM,CAAC,EAAE,GAAG,EAAE,GAAG,MAAM,CAAC,IAAI,WAAW,EAAE,QAAQ,EAAE,GAAG,MAAM,CAAC,IAAI,WAAW,EAAE,SAAS,EAAE,GAAG,IAAI,WAAW,EAAE,CAAC,CAAC,CAAC;YACvI,UAAU,CAAC,IAAI,CAAC,MAAM,CAAC,MAAM,CAAC,EAAE,GAAG,EAAE,GAAG,MAAM,CAAC,IAAI,kBAAkB,EAAE,QAAQ,EAAE,GAAG,MAAM,CAAC,IAAI,kBAAkB,EAAE,SAAS,EAAE,GAAG,IAAI,kBAAkB,EAAE,CAAC,CAAC,CAAC;QAC9J,CAAC;QACD,OAAO,UAAU,CAAC;IACpB,CAAC,CAAC,CAAC;AACL,CAAC;AAED,qFAAqF;AACrF,MAAM,UAAU,+BAA+B,CAAC,KAG9C;IACA,MAAM,MAAM,GAAG,2BAA2B,CAAC,KAAK,CAAC,SAAS,CAAC,CAAC;IAC5D,IAAI,MAAM,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,QAAQ,KAAK,cAAc,CAAC,EAAE,OAAO,KAAK,MAAM,EAAE,CAAC;QACnF,MAAM,IAAI,SAAS,CAAC,sDAAsD,CAAC,CAAC;IAC9E,CAAC;IACD,MAAM,OAAO,GAAG,MAAM,CAAC,MAAM,CAAC,OAAO,CAAC;IACtC,MAAM,OAAO,GAAG,OAAO,CAAC,cAAc,CAAC;IACvC,IAAI,OAAO,KAAK,SAAS,IAAI,OAAO,KAAK,SAAS;QAAE,MAAM,IAAI,SAAS,CAAC,+BAA+B,CAAC,CAAC;IACzG,MAAM,eAAe,GAAG,MAAM,CAAC,kBAAkB,CAAC,mBAAmB,CAAC;IACtE,MAAM,GAAG,GAAG,KAAK,CAAC,eAAe,CAAC;IAClC,IAAI,CAAC,GAAG,IAAI,GAAG,CAAC,SAAS,KAAK,IAAI;QAAE,MAAM,IAAI,SAAS,CAAC,0CAA0C,CAAC,CAAC;IACpG,IAAI,UAAU,CAAC,GAAG,CAAC,SAAS,EAAE,MAAM,EAAE,yBAAyB,EAAE,IAAI,CAAC,KAAK,OAAO,CAAC,EAAE;QACjF,GAAG,CAAC,SAAS,EAAE,cAAc,KAAK,OAAO;QAAE,MAAM,IAAI,SAAS,CAAC,iCAAiC,CAAC,CAAC;IACtG,IAAI,eAAe,EAAE,CAAC;QACpB,MAAM,MAAM,GAAG,UAAU,CAAC,GAAG,CAAC,eAAe,EAAE,SAAS,IAAI,GAAG,CAAC,SAAS,EAAE,SAAS,EAClF,kBAAkB,EAAE,IAAI,CAAC,CAAC;QAC5B,IAAI,MAAM,KAAK,eAAe;YAAE,MAAM,IAAI,SAAS,CAAC,wCAAwC,CAAC,CAAC;IAChG,CAAC;IACD,MAAM,QAAQ,GAAG,MAAM,CAAC,KAAK,CAAC,SAAS,CAAC,QAAQ,EAAE,6BAA6B,CAAqC,CAAC;IACrH,MAAM,cAAc,GAAG,eAAe,CAAC,CAAC,CAAC,UAAU,CAAC,QAAQ,CAAC,eAAe,EAAE,SAAS,IAAI,QAAQ,CAAC,SAAS,EAAE,SAAS,EACtH,oBAAoB,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC;IAC/B,IAAI,cAAc,IAAI,cAAc,KAAK,eAAe;QAAE,MAAM,IAAI,SAAS,CAAC,gCAAgC,CAAC,CAAC;IAChH,IAAI,QAAQ,CAAC,SAAS,EAAE,MAAM,IAAI,UAAU,CAAC,QAAQ,CAAC,SAAS,CAAC,MAAM,EAAE,iBAAiB,CAAC,KAAK,OAAO,CAAC,EAAE,EAAE,CAAC;QAC1G,MAAM,IAAI,SAAS,CAAC,uCAAuC,CAAC,CAAC;IAC/D,CAAC;IACD,IAAI,QAAQ,CAAC,SAAS,EAAE,cAAc,IAAI,QAAQ,CAAC,SAAS,CAAC,cAAc,KAAK,OAAO,EAAE,CAAC;QACxF,MAAM,IAAI,SAAS,CAAC,2CAA2C,CAAC,CAAC;IACnE,CAAC;IACD,MAAM,aAAa,GAAG,SAAS,CAAC,GAAG,EAAE,eAAe,EAAE,OAAO,EAAE,eAAe,CAAC,CAAC;IAChF,MAAM,eAAe,GAAG,SAAS,CAAC,QAAQ,EAAE,mBAAmB,EAAE,OAAO,EAAE,eAAe,CAAC,CAAC;IAC3F,MAAM,iBAAiB,GAAG,YAAY,CAAC,GAAG,EAAE,eAAe,EAAE,OAAO,EAAE,eAAe,EAAE,aAAa,CAAC,CAAC;IACtG,MAAM,mBAAmB,GAAG,YAAY,CAAC,QAAQ,EAAE,mBAAmB,EAAE,OAAO,EAAE,eAAe,EAAE,eAAe,CAAC,CAAC;IACnH,MAAM,EAAE,GAAG,KAAK,CAAC,mBAAmB,EAAE,iBAAiB,CAAC,CAAC;IACzD,MAAM,aAAa,GAAsC;QACvD,MAAM,CAAC,MAAM,CAAC,EAAE,EAAE,EAAE,wBAAwB,EAAE,mBAAmB,EAAE,WAAW;YAC5E,oBAAoB,EAAE,SAAS,EAAE,WAAW,EAAE,MAAM,CAAC,MAAM,CAAC,EAAE,CAAC,EAAE,CAAC;QACpE,MAAM,CAAC,MAAM,CAAC,EAAE,EAAE,EAAE,sBAAsB,EAAE,mBAAmB,EAAE,SAAS;YACxE,oBAAoB,EAAE,kCAAkC;YACxD,WAAW,EAAE,MAAM,CAAC,MAAM,CAAC,iBAAiB,CAAC,aAAa,CAAC,CAAC,EAAE,CAAC;QACjE,MAAM,CAAC,MAAM,CAAC,EAAE,EAAE,EAAE,iBAAiB,EAAE,mBAAmB,EAAE,WAAW;YACrE,oBAAoB,EAAE,kCAAkC;YACxD,WAAW,EAAE,MAAM,CAAC,MAAM,CAAC,iBAAiB,CAAC,eAAe,CAAC,CAAC,EAAE,CAAC;KACpE,CAAC;IACF,OAAO,MAAM,CAAC,MAAM,CAAC,EAAE,KAAK,EAAE,2BAAoC;QAChE,yBAAyB,EAAE,aAAsB,EAAE,iBAAiB,EAAE,aAAsB;QAC5F,aAAa,EAAE,MAAM;QACrB,aAAa,EAAE,MAAM,CAAC,MAAM,CAAC,EAAE,aAAa,EAAE,MAAM;YAClD,YAAY,EAAE,MAAM,CAAC,MAAM,CAAC,CAAC,mBAAmB,EAAE,iBAAiB,CAAC,CAAC;YACrE,aAAa,EAAE,MAAM,CAAC,MAAM,CAAC,aAAa,CAAC,EAAE,CAAC;QAChD,cAAc,EAAE,MAAM,CAAC,MAAM,CAAC,CAAC,GAAG,aAAa,EAAE,GAAG,eAAe,CAAC,CAAC,GACtE,CAAC,CAAC;AACL,CAAC"}

package/dist/triangulation/executionPublicV1.d.ts

@@ -0,0 +1,22 @@
+import type { ExecutionV1Input } from "../profiles/execution/verificationV1.js";
+import { type ExplorerExecutionV1Result } from "../resolvers/explorerExecutionV1.js";
+import { type ExecutionMirrorV1Result } from "../resolvers/executionMirrorV1.js";
+import type { ExplorerPublicTransportV1 } from "../resolvers/explorerTransportV1.js";
+import type { HederaMirrorV1Config } from "../resolvers/hederaMirrorV1.js";
+import { type TriangulationV1Result } from "./compareV1.js";
+import { type ExecutionTriangulationPlanV1 } from "./executionPlanV1.js";
+export type PublicExecutionTriangulationV1Config = Readonly<{
+    explorer: ExplorerPublicTransportV1;
+    mirror?: HederaMirrorV1Config;
+}>;
+export type PublicExecutionTriangulationV1Result = Readonly<{
+    status: "resolved" | "not_found" | "unavailable" | "invalid" | "conflict" | "verification_material_unavailable";
+    reason_code: string | null;
+    public_record_acquisition: ExplorerExecutionV1Result["status"];
+    hedera_resolution: ExecutionMirrorV1Result["status"] | "not_checked";
+    plan: ExecutionTriangulationPlanV1 | null;
+    mirror: ExecutionMirrorV1Result | null;
+    comparison: TriangulationV1Result | null;
+}>;
+export declare function triangulatePublicExecutionV1(config: PublicExecutionTriangulationV1Config, execution: ExecutionV1Input): Promise<PublicExecutionTriangulationV1Result>;
+//# sourceMappingURL=executionPublicV1.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"executionPublicV1.d.ts","sourceRoot":"","sources":["../../src/triangulation/executionPublicV1.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,gBAAgB,EAAE,MAAM,yCAAyC,CAAC;AAEhF,OAAO,EAA8B,KAAK,yBAAyB,EAAE,MAAM,qCAAqC,CAAC;AACjH,OAAO,EAA4B,KAAK,uBAAuB,EAAE,MAAM,mCAAmC,CAAC;AAC3G,OAAO,KAAK,EAAE,yBAAyB,EAAE,MAAM,qCAAqC,CAAC;AACrF,OAAO,KAAK,EAAE,oBAAoB,EAAE,MAAM,gCAAgC,CAAC;AAC3E,OAAO,EAAkC,KAAK,qBAAqB,EAAE,MAAM,gBAAgB,CAAC;AAC5F,OAAO,EAAmC,KAAK,4BAA4B,EAAE,MAAM,sBAAsB,CAAC;AAE1G,MAAM,MAAM,oCAAoC,GAAG,QAAQ,CAAC;IAC1D,QAAQ,EAAE,yBAAyB,CAAC;IACpC,MAAM,CAAC,EAAE,oBAAoB,CAAC;CAC/B,CAAC,CAAC;AACH,MAAM,MAAM,oCAAoC,GAAG,QAAQ,CAAC;IAC1D,MAAM,EAAE,UAAU,GAAG,WAAW,GAAG,aAAa,GAAG,SAAS,GAAG,UAAU,GAAG,mCAAmC,CAAC;IAChH,WAAW,EAAE,MAAM,GAAG,IAAI,CAAC;IAC3B,yBAAyB,EAAE,yBAAyB,CAAC,QAAQ,CAAC,CAAC;IAC/D,iBAAiB,EAAE,uBAAuB,CAAC,QAAQ,CAAC,GAAG,aAAa,CAAC;IACrE,IAAI,EAAE,4BAA4B,GAAG,IAAI,CAAC;IAC1C,MAAM,EAAE,uBAAuB,GAAG,IAAI,CAAC;IACvC,UAAU,EAAE,qBAAqB,GAAG,IAAI,CAAC;CAC1C,CAAC,CAAC;AAEH,wBAAsB,4BAA4B,CAChD,MAAM,EAAE,oCAAoC,EAC5C,SAAS,EAAE,gBAAgB,GAC1B,OAAO,CAAC,oCAAoC,CAAC,CA+B/C"}

package/dist/triangulation/executionPublicV1.js

@@ -0,0 +1,39 @@
+import { verifyExecutionV1WithIntent } from "../profiles/execution/verificationV1.js";
+import { resolveExplorerExecutionV1 } from "../resolvers/explorerExecutionV1.js";
+import { resolveExecutionHederaV1 } from "../resolvers/executionMirrorV1.js";
+import { compareEvidenceTriangulationV1 } from "./compareV1.js";
+import { prepareExecutionTriangulationV1 } from "./executionPlanV1.js";
+export async function triangulatePublicExecutionV1(config, execution) {
+    const initial = verifyExecutionV1WithIntent(execution);
+    if (initial.findings.find((item) => item.check_id === "input.bounds")?.outcome !== "pass") {
+        throw new TypeError("Invalid execution verification input");
+    }
+    const subject = initial.intent.subject;
+    if (subject.kind !== "execution" || !subject.hedera_network)
+        throw new TypeError("Execution verification subject is required");
+    const publicRecord = await resolveExplorerExecutionV1(config.explorer, {
+        job_id: subject.id, network: subject.hedera_network,
+        result_id: initial.verification_scope.requested_result_id,
+    });
+    if (publicRecord.status !== "resolved" || !publicRecord.evidence) {
+        return Object.freeze({ status: publicRecord.status, reason_code: publicRecord.reason_code,
+            public_record_acquisition: publicRecord.status, hedera_resolution: "not_checked",
+            plan: null, mirror: null, comparison: null });
+    }
+    const plan = prepareExecutionTriangulationV1({ execution, public_evidence: publicRecord.evidence });
+    const mirror = await resolveExecutionHederaV1(config.mirror ?? {}, {
+        subject: plan.source_report.intent.subject, targets: plan.hedera_targets,
+    });
+    const comparison = compareEvidenceTriangulationV1({
+        ...plan.triangulation,
+        observations: Object.freeze([...plan.triangulation.observations, mirror.observation]),
+    });
+    const status = mirror.status === "conflict" || comparison.consistency === "conflict"
+        ? "conflict" : mirror.status;
+    const reason_code = comparison.consistency === "conflict" && mirror.status !== "conflict"
+        ? "EXECUTION_SOURCE_OR_COMPARISON_CONFLICT" : mirror.reason_code;
+    return Object.freeze({ status, reason_code,
+        public_record_acquisition: "resolved", hedera_resolution: mirror.status,
+        plan, mirror, comparison });
+}
+//# sourceMappingURL=executionPublicV1.js.map

package/dist/triangulation/executionPublicV1.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"executionPublicV1.js","sourceRoot":"","sources":["../../src/triangulation/executionPublicV1.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,2BAA2B,EAAE,MAAM,yCAAyC,CAAC;AACtF,OAAO,EAAE,0BAA0B,EAAkC,MAAM,qCAAqC,CAAC;AACjH,OAAO,EAAE,wBAAwB,EAAgC,MAAM,mCAAmC,CAAC;AAG3G,OAAO,EAAE,8BAA8B,EAA8B,MAAM,gBAAgB,CAAC;AAC5F,OAAO,EAAE,+BAA+B,EAAqC,MAAM,sBAAsB,CAAC;AAgB1G,MAAM,CAAC,KAAK,UAAU,4BAA4B,CAChD,MAA4C,EAC5C,SAA2B;IAE3B,MAAM,OAAO,GAAG,2BAA2B,CAAC,SAAS,CAAC,CAAC;IACvD,IAAI,OAAO,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,QAAQ,KAAK,cAAc,CAAC,EAAE,OAAO,KAAK,MAAM,EAAE,CAAC;QAC1F,MAAM,IAAI,SAAS,CAAC,sCAAsC,CAAC,CAAC;IAC9D,CAAC;IACD,MAAM,OAAO,GAAG,OAAO,CAAC,MAAM,CAAC,OAAO,CAAC;IACvC,IAAI,OAAO,CAAC,IAAI,KAAK,WAAW,IAAI,CAAC,OAAO,CAAC,cAAc;QAAE,MAAM,IAAI,SAAS,CAAC,4CAA4C,CAAC,CAAC;IAC/H,MAAM,YAAY,GAAG,MAAM,0BAA0B,CAAC,MAAM,CAAC,QAAQ,EAAE;QACrE,MAAM,EAAE,OAAO,CAAC,EAAE,EAAE,OAAO,EAAE,OAAO,CAAC,cAAc;QACnD,SAAS,EAAE,OAAO,CAAC,kBAAkB,CAAC,mBAAmB;KAC1D,CAAC,CAAC;IACH,IAAI,YAAY,CAAC,MAAM,KAAK,UAAU,IAAI,CAAC,YAAY,CAAC,QAAQ,EAAE,CAAC;QACjE,OAAO,MAAM,CAAC,MAAM,CAAC,EAAE,MAAM,EAAE,YAAY,CAAC,MAAM,EAAE,WAAW,EAAE,YAAY,CAAC,WAAW;YACvF,yBAAyB,EAAE,YAAY,CAAC,MAAM,EAAE,iBAAiB,EAAE,aAAsB;YACzF,IAAI,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,UAAU,EAAE,IAAI,EAAE,CAAC,CAAC;IAClD,CAAC;IACD,MAAM,IAAI,GAAG,+BAA+B,CAAC,EAAE,SAAS,EAAE,eAAe,EAAE,YAAY,CAAC,QAAQ,EAAE,CAAC,CAAC;IACpG,MAAM,MAAM,GAAG,MAAM,wBAAwB,CAAC,MAAM,CAAC,MAAM,IAAI,EAAE,EAAE;QACjE,OAAO,EAAE,IAAI,CAAC,aAAa,CAAC,MAAM,CAAC,OAAO,EAAE,OAAO,EAAE,IAAI,CAAC,cAAc;KACzE,CAAC,CAAC;IACH,MAAM,UAAU,GAAG,8BAA8B,CAAC;QAChD,GAAG,IAAI,CAAC,aAAa;QACrB,YAAY,EAAE,MAAM,CAAC,MAAM,CAAC,CAAC,GAAG,IAAI,CAAC,aAAa,CAAC,YAAY,EAAE,MAAM,CAAC,WAAW,CAAC,CAAC;KACtF,CAAC,CAAC;IACH,MAAM,MAAM,GAAG,MAAM,CAAC,MAAM,KAAK,UAAU,IAAI,UAAU,CAAC,WAAW,KAAK,UAAU;QAClF,CAAC,CAAC,UAAU,CAAC,CAAC,CAAC,MAAM,CAAC,MAAM,CAAC;IAC/B,MAAM,WAAW,GAAG,UAAU,CAAC,WAAW,KAAK,UAAU,IAAI,MAAM,CAAC,MAAM,KAAK,UAAU;QACvF,CAAC,CAAC,yCAAyC,CAAC,CAAC,CAAC,MAAM,CAAC,WAAW,CAAC;IACnE,OAAO,MAAM,CAAC,MAAM,CAAC,EAAE,MAAM,EAAE,WAAW;QACxC,yBAAyB,EAAE,UAAmB,EAAE,iBAAiB,EAAE,MAAM,CAAC,MAAM;QAChF,IAAI,EAAE,MAAM,EAAE,UAAU,EAAE,CAAC,CAAC;AAChC,CAAC"}

package/dist/triangulation/messageObservationV1.d.ts

@@ -0,0 +1,26 @@
+import type { VerificationObservation, VerificationSubject } from "../contracts/verification.js";
+export type MirrorMessageV1Input = Readonly<{
+    id: string;
+    subject: VerificationSubject;
+    topic_id: string;
+    sequence_number: number;
+    message_bytes: Uint8Array;
+}>;
+/**
+ * Recompute SHA3-512 over exact supplied HCS ciphertext/message bytes.
+ * This is a local byte check, not proof the bytes came from Hedera; a Mirror
+ * resolver must separately establish and attribute the network observation.
+ */
+export declare function observeMirrorMessageV1(input: MirrorMessageV1Input): VerificationObservation;
+export type CoreMessageBindingV1Input = Readonly<{
+    id: string;
+    subject: VerificationSubject;
+    /** The scoped public Core decrypt service's claimed exact-message binding. */
+    binding: unknown;
+}>;
+/**
+ * Normalize Core's claimed ciphertext binding, not its decrypted plaintext.
+ * Only comparison with separately recomputed Mirror bytes can corroborate it.
+ */
+export declare function observeCoreMessageBindingV1(input: CoreMessageBindingV1Input): VerificationObservation;
+//# sourceMappingURL=messageObservationV1.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"messageObservationV1.d.ts","sourceRoot":"","sources":["../../src/triangulation/messageObservationV1.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,uBAAuB,EAAE,mBAAmB,EAAE,MAAM,8BAA8B,CAAC;AAOjG,MAAM,MAAM,oBAAoB,GAAG,QAAQ,CAAC;IAC1C,EAAE,EAAE,MAAM,CAAC;IACX,OAAO,EAAE,mBAAmB,CAAC;IAC7B,QAAQ,EAAE,MAAM,CAAC;IACjB,eAAe,EAAE,MAAM,CAAC;IACxB,aAAa,EAAE,UAAU,CAAC;CAC3B,CAAC,CAAC;AAEH;;;;GAIG;AACH,wBAAgB,sBAAsB,CAAC,KAAK,EAAE,oBAAoB,GAAG,uBAAuB,CAsB3F;AAKD,MAAM,MAAM,yBAAyB,GAAG,QAAQ,CAAC;IAC/C,EAAE,EAAE,MAAM,CAAC;IACX,OAAO,EAAE,mBAAmB,CAAC;IAC7B,8EAA8E;IAC9E,OAAO,EAAE,OAAO,CAAC;CAClB,CAAC,CAAC;AAEH;;;GAGG;AACH,wBAAgB,2BAA2B,CAAC,KAAK,EAAE,yBAAyB,GAAG,uBAAuB,CA6BrG"}

package/dist/triangulation/messageObservationV1.js

@@ -0,0 +1,69 @@
+import { sha3_512Hex } from "../crypto/sha3.js";
+const TOPIC_ID_RE = /^0\.0\.[1-9][0-9]*$/;
+const OBSERVATION_ID_RE = /^[a-z][a-z0-9._:-]{0,127}$/;
+const MAX_MESSAGE_BYTES = 1024 * 1024;
+/**
+ * Recompute SHA3-512 over exact supplied HCS ciphertext/message bytes.
+ * This is a local byte check, not proof the bytes came from Hedera; a Mirror
+ * resolver must separately establish and attribute the network observation.
+ */
+export function observeMirrorMessageV1(input) {
+    if (!OBSERVATION_ID_RE.test(input.id) ||
+        !input.subject ||
+        (input.subject.hedera_network !== "mainnet" && input.subject.hedera_network !== "testnet") ||
+        typeof input.subject.id !== "string" || !input.subject.id ||
+        !TOPIC_ID_RE.test(input.topic_id) ||
+        !Number.isSafeInteger(input.sequence_number) || input.sequence_number < 1 ||
+        !(input.message_bytes instanceof Uint8Array) ||
+        input.message_bytes.byteLength > MAX_MESSAGE_BYTES) {
+        throw new TypeError("Invalid or oversized Mirror message observation");
+    }
+    return Object.freeze({
+        id: input.id,
+        source: "hedera_mirror",
+        subject: Object.freeze({ ...input.subject }),
+        facts: Object.freeze([
+            Object.freeze({ key: "hedera.topic_id", state: "available", value: input.topic_id }),
+            Object.freeze({ key: "hedera.sequence_number", state: "available", value: input.sequence_number }),
+            Object.freeze({ key: "publication.message_sha3_512", state: "available", value: sha3_512Hex(input.message_bytes) }),
+            Object.freeze({ key: "publication.message_bytes", state: "available", value: input.message_bytes.byteLength }),
+        ]),
+    });
+}
+const DIGEST_RE = /^[0-9a-f]{128}$/i;
+const CORE_BINDING_SCHEMA = "vera.hcs-message-binding.v1";
+/**
+ * Normalize Core's claimed ciphertext binding, not its decrypted plaintext.
+ * Only comparison with separately recomputed Mirror bytes can corroborate it.
+ */
+export function observeCoreMessageBindingV1(input) {
+    if (!OBSERVATION_ID_RE.test(input.id) || !input.subject ||
+        typeof input.subject.id !== "string" || !input.subject.id) {
+        throw new TypeError("Invalid Core message-binding observation");
+    }
+    const raw = input.binding;
+    const binding = raw && typeof raw === "object" && !Array.isArray(raw)
+        ? raw : null;
+    const missing = !binding;
+    const schema = binding?.schema_version;
+    const algorithm = binding?.algorithm;
+    const digest = binding?.message_sha3_512;
+    const length = binding?.message_bytes;
+    const valid = schema === CORE_BINDING_SCHEMA && algorithm === "sha3-512" &&
+        typeof digest === "string" && DIGEST_RE.test(digest) &&
+        typeof length === "number" && Number.isSafeInteger(length) && length >= 0;
+    const reason = missing ? "CORE_MESSAGE_BINDING_UNAVAILABLE" : "CORE_MESSAGE_BINDING_INVALID";
+    return Object.freeze({
+        id: input.id,
+        source: "public_record",
+        subject: Object.freeze({ ...input.subject }),
+        facts: Object.freeze(valid ? [
+            Object.freeze({ key: "publication.message_sha3_512", state: "available", value: digest.toLowerCase() }),
+            Object.freeze({ key: "publication.message_bytes", state: "available", value: length }),
+        ] : [
+            Object.freeze({ key: "publication.message_sha3_512", state: "unavailable", reason_code: reason }),
+            Object.freeze({ key: "publication.message_bytes", state: "unavailable", reason_code: reason }),
+        ]),
+    });
+}
+//# sourceMappingURL=messageObservationV1.js.map

package/dist/triangulation/messageObservationV1.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"messageObservationV1.js","sourceRoot":"","sources":["../../src/triangulation/messageObservationV1.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,WAAW,EAAE,MAAM,mBAAmB,CAAC;AAEhD,MAAM,WAAW,GAAG,qBAAqB,CAAC;AAC1C,MAAM,iBAAiB,GAAG,4BAA4B,CAAC;AACvD,MAAM,iBAAiB,GAAG,IAAI,GAAG,IAAI,CAAC;AAUtC;;;;GAIG;AACH,MAAM,UAAU,sBAAsB,CAAC,KAA2B;IAChE,IAAI,CAAC,iBAAiB,CAAC,IAAI,CAAC,KAAK,CAAC,EAAE,CAAC;QACnC,CAAC,KAAK,CAAC,OAAO;QACd,CAAC,KAAK,CAAC,OAAO,CAAC,cAAc,KAAK,SAAS,IAAI,KAAK,CAAC,OAAO,CAAC,cAAc,KAAK,SAAS,CAAC;QAC1F,OAAO,KAAK,CAAC,OAAO,CAAC,EAAE,KAAK,QAAQ,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,EAAE;QACzD,CAAC,WAAW,CAAC,IAAI,CAAC,KAAK,CAAC,QAAQ,CAAC;QACjC,CAAC,MAAM,CAAC,aAAa,CAAC,KAAK,CAAC,eAAe,CAAC,IAAI,KAAK,CAAC,eAAe,GAAG,CAAC;QACzE,CAAC,CAAC,KAAK,CAAC,aAAa,YAAY,UAAU,CAAC;QAC5C,KAAK,CAAC,aAAa,CAAC,UAAU,GAAG,iBAAiB,EAAE,CAAC;QACrD,MAAM,IAAI,SAAS,CAAC,iDAAiD,CAAC,CAAC;IACzE,CAAC;IACD,OAAO,MAAM,CAAC,MAAM,CAAC;QACnB,EAAE,EAAE,KAAK,CAAC,EAAE;QACZ,MAAM,EAAE,eAAwB;QAChC,OAAO,EAAE,MAAM,CAAC,MAAM,CAAC,EAAE,GAAG,KAAK,CAAC,OAAO,EAAE,CAAC;QAC5C,KAAK,EAAE,MAAM,CAAC,MAAM,CAAC;YACnB,MAAM,CAAC,MAAM,CAAC,EAAE,GAAG,EAAE,iBAAiB,EAAE,KAAK,EAAE,WAAoB,EAAE,KAAK,EAAE,KAAK,CAAC,QAAQ,EAAE,CAAC;YAC7F,MAAM,CAAC,MAAM,CAAC,EAAE,GAAG,EAAE,wBAAwB,EAAE,KAAK,EAAE,WAAoB,EAAE,KAAK,EAAE,KAAK,CAAC,eAAe,EAAE,CAAC;YAC3G,MAAM,CAAC,MAAM,CAAC,EAAE,GAAG,EAAE,8BAA8B,EAAE,KAAK,EAAE,WAAoB,EAAE,KAAK,EAAE,WAAW,CAAC,KAAK,CAAC,aAAa,CAAC,EAAE,CAAC;YAC5H,MAAM,CAAC,MAAM,CAAC,EAAE,GAAG,EAAE,2BAA2B,EAAE,KAAK,EAAE,WAAoB,EAAE,KAAK,EAAE,KAAK,CAAC,aAAa,CAAC,UAAU,EAAE,CAAC;SACxH,CAAC;KACH,CAAC,CAAC;AACL,CAAC;AAED,MAAM,SAAS,GAAG,kBAAkB,CAAC;AACrC,MAAM,mBAAmB,GAAG,6BAA6B,CAAC;AAS1D;;;GAGG;AACH,MAAM,UAAU,2BAA2B,CAAC,KAAgC;IAC1E,IAAI,CAAC,iBAAiB,CAAC,IAAI,CAAC,KAAK,CAAC,EAAE,CAAC,IAAI,CAAC,KAAK,CAAC,OAAO;QACrD,OAAO,KAAK,CAAC,OAAO,CAAC,EAAE,KAAK,QAAQ,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,EAAE,EAAE,CAAC;QAC5D,MAAM,IAAI,SAAS,CAAC,0CAA0C,CAAC,CAAC;IAClE,CAAC;IACD,MAAM,GAAG,GAAG,KAAK,CAAC,OAAO,CAAC;IAC1B,MAAM,OAAO,GAAG,GAAG,IAAI,OAAO,GAAG,KAAK,QAAQ,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,GAAG,CAAC;QACnE,CAAC,CAAE,GAA+B,CAAC,CAAC,CAAC,IAAI,CAAC;IAC5C,MAAM,OAAO,GAAG,CAAC,OAAO,CAAC;IACzB,MAAM,MAAM,GAAG,OAAO,EAAE,cAAc,CAAC;IACvC,MAAM,SAAS,GAAG,OAAO,EAAE,SAAS,CAAC;IACrC,MAAM,MAAM,GAAG,OAAO,EAAE,gBAAgB,CAAC;IACzC,MAAM,MAAM,GAAG,OAAO,EAAE,aAAa,CAAC;IACtC,MAAM,KAAK,GAAG,MAAM,KAAK,mBAAmB,IAAI,SAAS,KAAK,UAAU;QACtE,OAAO,MAAM,KAAK,QAAQ,IAAI,SAAS,CAAC,IAAI,CAAC,MAAM,CAAC;QACpD,OAAO,MAAM,KAAK,QAAQ,IAAI,MAAM,CAAC,aAAa,CAAC,MAAM,CAAC,IAAI,MAAM,IAAI,CAAC,CAAC;IAC5E,MAAM,MAAM,GAAG,OAAO,CAAC,CAAC,CAAC,kCAAkC,CAAC,CAAC,CAAC,8BAA8B,CAAC;IAC7F,OAAO,MAAM,CAAC,MAAM,CAAC;QACnB,EAAE,EAAE,KAAK,CAAC,EAAE;QACZ,MAAM,EAAE,eAAwB;QAChC,OAAO,EAAE,MAAM,CAAC,MAAM,CAAC,EAAE,GAAG,KAAK,CAAC,OAAO,EAAE,CAAC;QAC5C,KAAK,EAAE,MAAM,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC;YAC3B,MAAM,CAAC,MAAM,CAAC,EAAE,GAAG,EAAE,8BAA8B,EAAE,KAAK,EAAE,WAAoB,EAAE,KAAK,EAAE,MAAM,CAAC,WAAW,EAAE,EAAE,CAAC;YAChH,MAAM,CAAC,MAAM,CAAC,EAAE,GAAG,EAAE,2BAA2B,EAAE,KAAK,EAAE,WAAoB,EAAE,KAAK,EAAE,MAAM,EAAE,CAAC;SAChG,CAAC,CAAC,CAAC;YACF,MAAM,CAAC,MAAM,CAAC,EAAE,GAAG,EAAE,8BAA8B,EAAE,KAAK,EAAE,aAAsB,EAAE,WAAW,EAAE,MAAM,EAAE,CAAC;YAC1G,MAAM,CAAC,MAAM,CAAC,EAAE,GAAG,EAAE,2BAA2B,EAAE,KAAK,EAAE,aAAsB,EAAE,WAAW,EAAE,MAAM,EAAE,CAAC;SACxG,CAAC;KACH,CAAC,CAAC;AACL,CAAC"}

package/dist/triangulation/publicV1.d.ts

@@ -0,0 +1,29 @@
+import type { VerificationReport } from "../contracts/verification.js";
+import { type ExplorerPublishedEvidenceV1 } from "../resolvers/explorerPublicationV1.js";
+import type { ExplorerPublicTransportV1 } from "../resolvers/explorerTransportV1.js";
+import { type HederaMirrorV1Config, type HederaPublicationObservationV1 } from "../resolvers/hederaMirrorV1.js";
+import { type TriangulationV1Result } from "./compareV1.js";
+import { type DatasetV1IntentInput, type IngestV1IntentInput } from "../verification/sourceIntentV1.js";
+export type PublicTriangulationV1Config = Readonly<{
+    explorer: ExplorerPublicTransportV1;
+    mirror?: HederaMirrorV1Config;
+}>;
+export type PublicIngestTriangulationV1Input = IngestV1IntentInput & Readonly<{
+    /** Source identity and Core Merkle anchor identity are distinct. */
+    anchor_request_id: string;
+}>;
+export type PublicTriangulationV1Result = Readonly<{
+    consistency: TriangulationV1Result["consistency"];
+    relationships: TriangulationV1Result["relationships"];
+    report: VerificationReport;
+    resolution: Readonly<{
+        public_record: ExplorerPublishedEvidenceV1["public_record"]["status"];
+        publication_disclosure: ExplorerPublishedEvidenceV1["disclosure"]["status"];
+        hedera_mirror: HederaPublicationObservationV1["status"] | "not_requested";
+    }>;
+}>;
+/** Full Dataset source recomputation -> public record -> Explorer disclosure -> direct Mirror observation. */
+export declare function triangulateDatasetV1(config: PublicTriangulationV1Config, input: DatasetV1IntentInput): Promise<PublicTriangulationV1Result>;
+/** Full Ingest source recomputation; public anchor identity must be provided independently by caller. */
+export declare function triangulateIngestV1(config: PublicTriangulationV1Config, input: PublicIngestTriangulationV1Input): Promise<PublicTriangulationV1Result>;
+//# sourceMappingURL=publicV1.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"publicV1.d.ts","sourceRoot":"","sources":["../../src/triangulation/publicV1.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAkE,kBAAkB,EAAuB,MAAM,8BAA8B,CAAC;AAC5J,OAAO,EACL,KAAK,2BAA2B,EAAE,MAAM,uCAAuC,CAAC;AAClF,OAAO,KAAK,EAAE,yBAAyB,EAAE,MAAM,qCAAqC,CAAC;AAErF,OAAO,EAA8B,KAAK,oBAAoB,EAC5D,KAAK,8BAA8B,EAAE,MAAM,gCAAgC,CAAC;AAC9E,OAAO,EAAkC,KAAK,qBAAqB,EAC3B,MAAM,gBAAgB,CAAC;AAC/D,OAAO,EACL,KAAK,oBAAoB,EAAE,KAAK,mBAAmB,EAAE,MAAM,mCAAmC,CAAC;AAEjG,MAAM,MAAM,2BAA2B,GAAG,QAAQ,CAAC;IACjD,QAAQ,EAAE,yBAAyB,CAAC;IACpC,MAAM,CAAC,EAAE,oBAAoB,CAAC;CAC/B,CAAC,CAAC;AACH,MAAM,MAAM,gCAAgC,GAAG,mBAAmB,GAAG,QAAQ,CAAC;IAC5E,oEAAoE;IACpE,iBAAiB,EAAE,MAAM,CAAC;CAC3B,CAAC,CAAC;AACH,MAAM,MAAM,2BAA2B,GAAG,QAAQ,CAAC;IACjD,WAAW,EAAE,qBAAqB,CAAC,aAAa,CAAC,CAAC;IAClD,aAAa,EAAE,qBAAqB,CAAC,eAAe,CAAC,CAAC;IACtD,MAAM,EAAE,kBAAkB,CAAC;IAC3B,UAAU,EAAE,QAAQ,CAAC;QACnB,aAAa,EAAE,2BAA2B,CAAC,eAAe,CAAC,CAAC,QAAQ,CAAC,CAAC;QACtE,sBAAsB,EAAE,2BAA2B,CAAC,YAAY,CAAC,CAAC,QAAQ,CAAC,CAAC;QAC5E,aAAa,EAAE,8BAA8B,CAAC,QAAQ,CAAC,GAAG,eAAe,CAAC;KAC3E,CAAC,CAAC;CACJ,CAAC,CAAC;AAsJH,8GAA8G;AAC9G,wBAAsB,oBAAoB,CACxC,MAAM,EAAE,2BAA2B,EACnC,KAAK,EAAE,oBAAoB,GAC1B,OAAO,CAAC,2BAA2B,CAAC,CAQtC;AAED,yGAAyG;AACzG,wBAAsB,mBAAmB,CACvC,MAAM,EAAE,2BAA2B,EACnC,KAAK,EAAE,gCAAgC,GACtC,OAAO,CAAC,2BAA2B,CAAC,CAUtC"}

package/dist/triangulation/publicV1.js

@@ -0,0 +1,170 @@
+import { resolveExplorerDatasetPublicationV1, resolveExplorerIngestPublicationV1 } from "../resolvers/explorerPublicationV1.js";
+import { resolveHederaPublicationV1 } from "../resolvers/hederaMirrorV1.js";
+import { compareEvidenceTriangulationV1 } from "./compareV1.js";
+import { verifyDatasetV1WithIntent, verifyIngestV1WithIntent } from "../verification/sourceIntentV1.js";
+const PROOF_DATASET = "publication.proof.fingerprint";
+const PROOF_INGEST_FINGERPRINT = "publication.proof.ingest_fingerprint";
+const PROOF_INGEST_BUNDLE = "publication.proof.ingest_bundle_digest";
+function requiredNetwork(subject) {
+    if (subject.hedera_network !== "testnet" && subject.hedera_network !== "mainnet") {
+        throw new TypeError("Public triangulation requires an explicit Hedera network in verification intent");
+    }
+    return subject.hedera_network;
+}
+function notAvailable(key, reason) {
+    return Object.freeze({ key, state: "unavailable", reason_code: reason });
+}
+function available(key, value) {
+    return Object.freeze({ key, state: "available", value });
+}
+function mergePublicFacts(profile, disclosure) {
+    const publicObs = disclosure.public_record.observation;
+    if (!publicObs)
+        return null;
+    const claims = disclosure.disclosure.receipt_observation;
+    const keys = profile === "dataset"
+        ? ["publication.proof.dataset_key", PROOF_DATASET]
+        : ["publication.proof.ingest_object_key", PROOF_INGEST_FINGERPRINT, PROOF_INGEST_BUNDLE];
+    const extra = claims?.facts ?? keys.map((key) => notAvailable(key, disclosure.disclosure.reason_code ?? "PUBLICATION_DISCLOSURE_UNAVAILABLE"));
+    return Object.freeze({ ...publicObs,
+        // Both original and disclosed receipt are Explorer-sourced; never count as two independent authorities.
+        facts: Object.freeze([...publicObs.facts, ...extra]),
+    });
+}
+function mergeBindingFacts(subject, pub, disclosure) {
+    const claim = disclosure.disclosure.message_binding_observation;
+    const reason = disclosure.disclosure.reason_code ?? "PUBLICATION_MESSAGE_BINDING_UNAVAILABLE";
+    const binding = claim?.facts ?? [
+        notAvailable("publication.message_sha3_512", reason),
+        notAvailable("publication.message_bytes", reason),
+    ];
+    return Object.freeze({
+        id: `${subject.kind}.core_binding`,
+        subject: Object.freeze({ ...subject }),
+        source: "public_record",
+        resolver_id: "explorer.publication-claims.v1",
+        facts: Object.freeze([
+            ...binding,
+            pub?.topic_id ? available("publication.topic_id", pub.topic_id) : notAvailable("publication.topic_id", "PUBLICATION_LOCATOR_UNAVAILABLE"),
+            pub?.sequence_number != null ? available("publication.sequence_number", pub.sequence_number) :
+                notAvailable("publication.sequence_number", "PUBLICATION_LOCATOR_UNAVAILABLE"),
+        ]),
+    });
+}
+function plans(profile) {
+    const publicComparisons = profile === "dataset"
+        ? [
+            { key: "dataset_fingerprint", left_key: "dataset_fingerprint", right_key: "dataset_fingerprint" },
+            { key: "publication_subject", left_key: "source_subject_id", right_key: "publication.proof.dataset_key" },
+            { key: "publication_fingerprint", left_key: "dataset_fingerprint", right_key: PROOF_DATASET },
+        ]
+        : [
+            { key: "ingest_fingerprint", left_key: "fingerprint", right_key: "fingerprint" },
+            { key: "ingest_bundle_digest", left_key: "bundle_digest", right_key: "bundle_digest" },
+            { key: "publication_subject", left_key: "source_subject_id", right_key: "publication.proof.ingest_object_key" },
+            { key: "publication_fingerprint", left_key: "fingerprint", right_key: PROOF_INGEST_FINGERPRINT },
+            { key: "publication_bundle_digest", left_key: "bundle_digest", right_key: PROOF_INGEST_BUNDLE },
+        ];
+    return Object.freeze([
+        Object.freeze({
+            id: "provided_public_record",
+            left_observation_id: `${profile}.bundle`,
+            right_observation_id: `${profile}.public_record`,
+            comparisons: Object.freeze(publicComparisons),
+        }),
+        Object.freeze({
+            id: "public_record_hedera",
+            left_observation_id: `${profile}.core_binding`,
+            right_observation_id: `${profile}.hedera_mirror`,
+            comparisons: Object.freeze([
+                { key: "publication_topic", left_key: "publication.topic_id", right_key: "hedera.topic_id" },
+                { key: "publication_sequence", left_key: "publication.sequence_number", right_key: "hedera.sequence_number" },
+                { key: "message_sha3_512", left_key: "publication.message_sha3_512", right_key: "publication.message_sha3_512" },
+                { key: "message_bytes", left_key: "publication.message_bytes", right_key: "publication.message_bytes" },
+            ]),
+        }),
+    ]);
+}
+async function execute(config, profile, sourceReport, publicEvidence) {
+    const subject = sourceReport.intent.subject;
+    const publicRecord = mergePublicFacts(profile, publicEvidence);
+    const pub = publicEvidence.public_record.publication;
+    const mirror = pub ? await resolveHederaPublicationV1(config.mirror ?? {}, pub, subject) : null;
+    const binding = mergeBindingFacts(subject, pub, publicEvidence);
+    const disclosureReceipt = publicEvidence.disclosure.receipt_observation;
+    const observations = [
+        ...(publicRecord ? [publicRecord] : []),
+        binding,
+        ...(disclosureReceipt ? [disclosureReceipt] : []),
+        ...(mirror?.observation ? [mirror.observation] : []),
+    ];
+    // Actual offline hash verification was invoked above; no caller-supplied report is accepted.
+    const scopedReport = Object.freeze({ ...sourceReport,
+        observations: Object.freeze(sourceReport.observations.map((entry) => entry.id !== `${profile}.bundle`
+            ? entry : Object.freeze({ ...entry, facts: Object.freeze([...entry.facts,
+                available("source_subject_id", subject.id),
+            ]) }))),
+    });
+    const compared = compareEvidenceTriangulationV1({
+        source_report: scopedReport,
+        observations,
+        relationships: plans(profile),
+    });
+    const check = Object.freeze({
+        check_id: "triangulation.plaintext_ciphertext_binding",
+        outcome: "indeterminate",
+        reason_code: disclosureReceipt ? "EXPLORER_ASSISTED_DECRYPTION" : "PUBLICATION_DISCLOSURE_UNAVAILABLE",
+        observation_ids: Object.freeze(disclosureReceipt ? [disclosureReceipt.id] : []),
+    });
+    const conflicts = [];
+    if (publicEvidence.public_record.status === "conflict")
+        conflicts.push(Object.freeze({
+            check_id: "triangulation.public_record_scope", outcome: "fail",
+            reason_code: publicEvidence.public_record.reason_code, observation_ids: Object.freeze([]),
+        }));
+    if (publicEvidence.disclosure.status === "conflict")
+        conflicts.push(Object.freeze({
+            check_id: "triangulation.publication_disclosure", outcome: "fail",
+            reason_code: publicEvidence.disclosure.reason_code, observation_ids: Object.freeze([]),
+        }));
+    if (mirror?.status === "conflict")
+        conflicts.push(Object.freeze({
+            check_id: "triangulation.mirror_transaction", outcome: "fail",
+            reason_code: mirror.reason_code, observation_ids: Object.freeze([]),
+        }));
+    return Object.freeze({
+        consistency: conflicts.length ? "conflict" : compared.consistency,
+        relationships: compared.relationships,
+        report: Object.freeze({ ...compared.report, findings: Object.freeze([...compared.report.findings, check, ...conflicts]) }),
+        resolution: Object.freeze({
+            public_record: publicEvidence.public_record.status,
+            publication_disclosure: publicEvidence.disclosure.status,
+            hedera_mirror: mirror?.status ?? "not_requested",
+        }),
+    });
+}
+/** Full Dataset source recomputation -> public record -> Explorer disclosure -> direct Mirror observation. */
+export async function triangulateDatasetV1(config, input) {
+    const network = requiredNetwork(input.intent.subject);
+    if (input.intent.subject.kind !== "dataset")
+        throw new TypeError("Dataset triangulation requires dataset intent");
+    const source = await verifyDatasetV1WithIntent(input);
+    const published = await resolveExplorerDatasetPublicationV1(config.explorer, {
+        dataset_key: input.intent.subject.id, network,
+    });
+    return execute(config, "dataset", source, published);
+}
+/** Full Ingest source recomputation; public anchor identity must be provided independently by caller. */
+export async function triangulateIngestV1(config, input) {
+    const network = requiredNetwork(input.intent.subject);
+    if (input.intent.subject.kind !== "ingest")
+        throw new TypeError("Ingest triangulation requires ingest intent");
+    const source = await verifyIngestV1WithIntent(input);
+    const published = await resolveExplorerIngestPublicationV1(config.explorer, {
+        ingest_object_key: input.intent.subject.id,
+        anchor_request_id: input.anchor_request_id,
+        network,
+    });
+    return execute(config, "ingest", source, published);
+}
+//# sourceMappingURL=publicV1.js.map