corpus.json (10989B)
1 { 2 "schema_version": 1, 3 "program": "hyf_http_v1", 4 "revision": "hyf_ops_v2", 5 "note": "Reference-validation corpus for C004 (ADR-0026 D46 CR01-CR03 and ADR-0027 D47 BP01-BP03 successor). schema_valid records the JSON Schema outcome; semantic names a labelled obligation that JSON Schema cannot express and that is exercised separately (semantic-cases.json). Targets: '<operation>.<request|response>' uses that operation schema; 'def:<name>' validates against that named $defs entry in any hyf_ops_v2 schema (resolved across all schemas, first match). The CR01 envelope algebra, BP01 money/provenance and CR02 linkage/degradation controls are executed programmatically by the successor reference diagnostic (docs/execution/evidence/hyf_http_v1/C004-requalification-6/reference-schema-validate.v11.py.txt).", 6 "entries": [ 7 {"file": "examples/valid/farm_update_interpret.request.json", "target": "farm_update.interpret.request", "schema_valid": true}, 8 {"file": "examples/valid/farm_update_interpret.response.json", "target": "farm_update.interpret.response", "schema_valid": true}, 9 {"file": "examples/valid/buyer_request_interpret.request.json", "target": "buyer_request.interpret.request", "schema_valid": true}, 10 {"file": "examples/valid/buyer_request_interpret.response.json", "target": "buyer_request.interpret.response", "schema_valid": true}, 11 {"file": "examples/valid/buyer_request_match.request.json", "target": "buyer_request.match.request", "schema_valid": true}, 12 {"file": "examples/valid/buyer_request_match.response.json", "target": "buyer_request.match.response", "schema_valid": true}, 13 {"file": "examples/valid/quantity.integer_string.json", "target": "def:reported_quantity", "schema_valid": true}, 14 {"file": "examples/valid/quantity.known_zero.json", "target": "def:reported_quantity", "schema_valid": true}, 15 {"file": "examples/valid/quantity.negative_signed.json", "target": "def:reported_quantity", "schema_valid": true}, 16 {"file": "examples/valid/quantity.nine_fractional_digits.json", "target": "def:reported_quantity", "schema_valid": true}, 17 {"file": "examples/valid/quantity.int64_max.json", "target": "def:reported_quantity", "schema_valid": true}, 18 {"file": "examples/valid/quantity.unknown.json", "target": "def:reported_quantity", "schema_valid": true}, 19 {"file": "examples/valid/taxonomy.unicode.json", "target": "def:taxonomy_bundle", "schema_valid": true}, 20 {"file": "examples/valid/normalization.full.json", "target": "def:normalization_bundle", "schema_valid": true}, 21 {"file": "examples/valid/evidence.record_field.json", "target": "def:evidence_ref", "schema_valid": true}, 22 {"file": "examples/invalid/evidence.span_with_record_fields.json", "target": "def:evidence_ref", "schema_valid": false}, 23 {"file": "examples/invalid/quantity.ten_fractional_digits.json", "target": "def:reported_quantity", "schema_valid": false, "semantic": "fractional_width_10"}, 24 {"file": "examples/invalid/quantity.leading_zero.json", "target": "def:reported_quantity", "schema_valid": false, "semantic": "ambiguous_leading_zero"}, 25 {"file": "examples/invalid/quantity.exponent.json", "target": "def:reported_quantity", "schema_valid": false, "semantic": "exponent_spelling"}, 26 {"file": "examples/invalid/quantity.leading_plus.json", "target": "def:reported_quantity", "schema_valid": false, "semantic": "leading_plus"}, 27 {"file": "examples/invalid/quantity.unknown_with_value.json", "target": "def:reported_quantity", "schema_valid": false, "semantic": "unknown_quantity_with_value"}, 28 {"file": "examples/invalid/quantity.known_without_value.json", "target": "def:reported_quantity", "schema_valid": false, "semantic": "known_quantity_without_value"}, 29 {"file": "examples/invalid/quantity.number_not_string.json", "target": "def:reported_quantity", "schema_valid": false, "semantic": "type_coercion_number_for_string"}, 30 {"file": "examples/invalid/quantity.bad_qualifier.json", "target": "def:reported_quantity", "schema_valid": false}, 31 {"file": "examples/invalid/quantity.unknown_field.json", "target": "def:reported_quantity", "schema_valid": false}, 32 {"file": "examples/invalid/quantity.negative_zero.json", "target": "def:reported_quantity", "schema_valid": true, "semantic": "negative_zero"}, 33 {"file": "examples/invalid/quantity.negative_zero_scaled.json", "target": "def:reported_quantity", "schema_valid": true, "semantic": "negative_zero"}, 34 {"file": "examples/invalid/quantity.int64_overflow.json", "target": "def:reported_quantity", "schema_valid": true, "semantic": "int64_coefficient_overflow"}, 35 {"file": "examples/invalid/taxonomy.empty_terms.json", "target": "def:taxonomy_bundle", "schema_valid": false}, 36 {"file": "examples/invalid/normalization.bad_denominator.json", "target": "def:normalization_bundle", "schema_valid": false}, 37 {"file": "examples/invalid/normalization.pack_zero.json", "target": "def:normalization_bundle", "schema_valid": false}, 38 {"file": "examples/invalid/farm_update_interpret.request.unknown_field.json", "target": "farm_update.interpret.request", "schema_valid": false}, 39 {"file": "examples/invalid/farm_update_interpret.request.missing_actor.json", "target": "farm_update.interpret.request", "schema_valid": false}, 40 {"file": "examples/invalid/farm_update_interpret.request.present_null_timezone.json", "target": "farm_update.interpret.request", "schema_valid": false, "semantic": "present_null_optional_scalar"}, 41 {"file": "examples/invalid/farm_update_interpret.response.unknown_field.json", "target": "farm_update.interpret.response", "schema_valid": false}, 42 {"file": "examples/invalid/farm_update_interpret.response.negative_zero_quantity.json", "target": "farm_update.interpret.response", "schema_valid": true, "semantic": "negative_zero"}, 43 {"file": "examples/invalid/buyer_request_interpret.request.farm_id_forbidden.json", "target": "buyer_request.interpret.request", "schema_valid": false}, 44 {"file": "examples/invalid/buyer_request_match.request.missing_references.json", "target": "buyer_request.match.request", "schema_valid": false}, 45 {"file": "examples/invalid/buyer_request_match.request.need_actor_missing.json", "target": "buyer_request.match.request", "schema_valid": false}, 46 {"file": "examples/invalid/buyer_request_match.request.unknown_selector.json", "target": "buyer_request.match.request", "schema_valid": false, "semantic": "unknown_selector"}, 47 {"file": "examples/valid/price.known_zero.json", "target": "def:snapshot_price", "schema_valid": true}, 48 {"file": "examples/valid/price.known_max_coefficient.json", "target": "def:snapshot_price", "schema_valid": true}, 49 {"file": "examples/valid/price.unknown.json", "target": "def:snapshot_price", "schema_valid": true}, 50 {"file": "examples/valid/price.with_fees.json", "target": "def:snapshot_price", "schema_valid": true}, 51 {"file": "examples/invalid/price.known_with_null_amount.json", "target": "def:snapshot_price", "schema_valid": false, "semantic": "price_known_requires_scaled_facts"}, 52 {"file": "examples/invalid/price.missing_scale.json", "target": "def:snapshot_price", "schema_valid": false, "semantic": "price_known_requires_scaled_facts"}, 53 {"file": "examples/invalid/price.unknown_with_value.json", "target": "def:snapshot_price", "schema_valid": false, "semantic": "price_unknown_is_not_zero"}, 54 {"file": "examples/invalid/price.decimal_amount.json", "target": "def:snapshot_price", "schema_valid": false, "semantic": "price_known_requires_scaled_facts"}, 55 {"file": "examples/invalid/price.unsupported_basis.json", "target": "def:snapshot_price", "schema_valid": false, "semantic": "price_basis_closed"}, 56 {"file": "examples/invalid/price.scale_out_of_range.json", "target": "def:snapshot_price", "schema_valid": false, "semantic": "price_known_requires_scaled_facts"}, 57 {"file": "examples/invalid/price.adjacent_overflow.json", "target": "def:snapshot_price", "schema_valid": true, "semantic": "price_coefficient_int64_bound"}, 58 {"file": "examples/invalid/price.fee_missing_kind.json", "target": "def:snapshot_price", "schema_valid": false, "semantic": "price_fee_family_closed"}, 59 {"file": "examples/invalid/price.fee_decimal_amount.json", "target": "def:snapshot_price", "schema_valid": false, "semantic": "price_fee_family_closed"}, 60 {"file": "examples/valid/provenance.farm.json", "target": "def:farm_output_provenance", "schema_valid": true}, 61 {"file": "examples/valid/provenance.farm_with_clarification.json", "target": "def:farm_output_provenance", "schema_valid": true}, 62 {"file": "examples/valid/provenance.buyer.json", "target": "def:interpret_output_provenance", "schema_valid": true}, 63 {"file": "examples/valid/provenance.match_empty.json", "target": "def:match_output_provenance", "schema_valid": true}, 64 {"file": "examples/valid/provenance.match.json", "target": "def:match_output_provenance", "schema_valid": true}, 65 {"file": "examples/invalid/provenance.farm_missing_source.json", "target": "def:farm_output_provenance", "schema_valid": false, "semantic": "provenance_required_on_success"}, 66 {"file": "examples/invalid/provenance.farm_prior_record_without_revision.json", "target": "def:farm_output_provenance", "schema_valid": false, "semantic": "provenance_identity_closed"}, 67 {"file": "examples/invalid/provenance.farm_unknown_field.json", "target": "def:farm_output_provenance", "schema_valid": false, "semantic": "provenance_identity_closed"}, 68 {"file": "examples/invalid/provenance.buyer_with_prior_records.json", "target": "def:interpret_output_provenance", "schema_valid": false, "semantic": "provenance_farm_prior_records_only"}, 69 {"file": "examples/invalid/provenance.match_missing_snapshots.json", "target": "def:match_output_provenance", "schema_valid": false, "semantic": "provenance_required_on_success"}, 70 {"file": "examples/invalid/provenance.match_unknown_field.json", "target": "def:match_output_provenance", "schema_valid": false, "semantic": "provenance_identity_closed"}, 71 {"file": "examples/invalid/farm_update_interpret.response.missing_provenance.json", "target": "farm_update.interpret.response", "schema_valid": false, "semantic": "provenance_required_on_success"}, 72 {"file": "examples/invalid/buyer_request_interpret.response.missing_provenance.json", "target": "buyer_request.interpret.response", "schema_valid": false, "semantic": "provenance_required_on_success"}, 73 {"file": "examples/invalid/buyer_request_match.response.missing_provenance.json", "target": "buyer_request.match.response", "schema_valid": false, "semantic": "provenance_required_on_success"}, 74 {"file": "examples/valid/buyer_request_match.response.zero_plan_with_provenance.json", "target": "buyer_request.match.response", "schema_valid": true}, 75 {"file": "examples/valid/buyer_request_match.response.no_evaluation_empty_provenance.json", "target": "buyer_request.match.response", "schema_valid": true} 76 ] 77 }