proof.resolve + escrow hooks. Highest complexity/risk profile (R5: escrow custody inherits native chain crypto, not PQC — confirmed in research.md A3: IOTA accounts are Ed25519).
Scope
Done
The three resolution paths (uncontested_assertion / mutual_settlement / ruling, + formula_split) work end-to-end · escrow amounts + dispute windows bounded (R5).
ANP backflow
assert/dispute/evidence/rule/appeal/enforce/settle/receipt (with epic #13).
Blocked by: #8 (anchor-iota), #12 (mandate/gate).
Refs: plan.md §5.1, §5.2, R5; ANP §9.4, §6.2.1.
proof.resolve+ escrow hooks. Highest complexity/risk profile (R5: escrow custody inherits native chain crypto, not PQC — confirmed in research.md A3: IOTA accounts are Ed25519).Scope
proof.anchor-iota@1:openEscrow(terms)/enforce(directive)(ANP §10 / §6.2.1) incl. bond funding + challenge windowsproof.resolve({thread_ref, action: assert|dispute|evidence, payload})— optimistic dispute (ANP §9.4)splitformula instead of a forum)Done
The three resolution paths (uncontested_assertion / mutual_settlement / ruling, + formula_split) work end-to-end · escrow amounts + dispute windows bounded (R5).
ANP backflow
assert/dispute/evidence/rule/appeal/enforce/settle/receipt(with epic #13).Blocked by: #8 (anchor-iota), #12 (mandate/gate).
Refs: plan.md §5.1, §5.2, R5; ANP §9.4, §6.2.1.