reduce_records.v1.json (3288B)
1 { 2 "suite": "trade", 3 "contract_version": "1.0.0", 4 "vectors": [ 5 { 6 "id": "trade_reduce_agreed_projection_digest_001", 7 "kind": "trade.reduce_records", 8 "input": { 9 "shape": "proposal_plus_seller_acceptance_with_live_all_line_reservation", 10 "mutation_order": "arbitrary_with_duplicate_transport_observations", 11 "attestation_records": [] 12 }, 13 "expected": { 14 "negotiation_state": "open", 15 "agreement_state": "agreed", 16 "evidence_state": "complete", 17 "conflict_state": "none", 18 "attestation_state": "none", 19 "projection_digest": "35a5f555344febe675f4e5e6b15865356400b2b8f7791fc631590e0f1e1fd441" 20 } 21 }, 22 { 23 "id": "trade_reduce_contested_claims_002", 24 "kind": "trade.reduce_records", 25 "input": { 26 "shape": "proposal_plus_two_causally_unordered_incompatible_acceptances", 27 "winner_selection": "forbidden" 28 }, 29 "expected": { 30 "agreement_state": "contested", 31 "conflict_state": "double_acceptance", 32 "contested_claim_ids": "all_incompatible_claim_mutation_ids_sorted", 33 "forbidden_winner_inputs": [ 34 "timestamp", 35 "transport_event_id", 36 "relay_order", 37 "observation_order", 38 "first_seen" 39 ] 40 } 41 }, 42 { 43 "id": "trade_reduce_attestation_only_003", 44 "kind": "trade.reduce_records", 45 "input": { 46 "shape": "agreed_claim_plus_invalid_attestation_record" 47 }, 48 "expected": { 49 "agreement_state": "agreed", 50 "attestation_state": "present_invalid", 51 "attestation_agreement_authority": false 52 } 53 }, 54 { 55 "id": "trade_reduce_missing_parent_004", 56 "kind": "trade.reduce_records", 57 "input": { 58 "shape": "known_acceptance_with_missing_direct_parent" 59 }, 60 "expected": { 61 "evidence_state": "missing", 62 "agreement_claim_visibility": "retained_when_local_claim_is_known", 63 "global_invalidity": false 64 } 65 }, 66 { 67 "id": "trade_reduce_unsupported_version_isolated_005", 68 "kind": "trade.reduce_records", 69 "input": { 70 "shape": "unsupported_version_proposal_without_supported_records" 71 }, 72 "expected": { 73 "evidence_state": "unsupported_version", 74 "negotiation_state": "none", 75 "agreement_state": "none", 76 "unsupported_record_domain_authority": false 77 } 78 }, 79 { 80 "id": "trade_reduce_private_evidence_precedence_006", 81 "kind": "trade.reduce_records", 82 "input": { 83 "shape": "agreed_private_terms_candidate_with_conflicting_duplicate_evidence", 84 "evidence_order": "arbitrary" 85 }, 86 "expected": { 87 "private_terms_state": "commitment_mismatch", 88 "projection_digest": "input_order_independent" 89 } 90 }, 91 { 92 "id": "trade_reduce_attestation_deduplication_007", 93 "kind": "trade.reduce_records", 94 "input": { 95 "shape": "agreed_claim_with_duplicate_valid_and_distinct_invalid_attestations", 96 "attestation_order": "arbitrary" 97 }, 98 "expected": { 99 "attestation_state": "conflicting", 100 "duplicate_records": "removed", 101 "projection_digest": "input_order_independent" 102 } 103 } 104 ] 105 }