commit ab73834876afd342327510849579bc572f6286d2 parent 00e388437301229880c97bca03540c32ba732191 Author: triesap <tyson@radroots.org> Date: Thu, 24 Sep 2026 16:01:50 +0000 C004: add int64 endpoint examples and labelled uniqueness/coverage semantic cases Diffstat:
4 files changed, 7 insertions(+), 0 deletions(-)
diff --git a/schemas/hyf_ops_v2/examples/corpus.json b/schemas/hyf_ops_v2/examples/corpus.json @@ -14,6 +14,7 @@ {"file": "examples/valid/quantity.known_zero.json", "target": "def:reported_quantity", "schema_valid": true}, {"file": "examples/valid/quantity.negative_signed.json", "target": "def:reported_quantity", "schema_valid": true}, {"file": "examples/valid/quantity.nine_fractional_digits.json", "target": "def:reported_quantity", "schema_valid": true}, + {"file": "examples/valid/quantity.int64_max.json", "target": "def:reported_quantity", "schema_valid": true}, {"file": "examples/valid/quantity.unknown.json", "target": "def:reported_quantity", "schema_valid": true}, {"file": "examples/valid/taxonomy.unicode.json", "target": "def:taxonomy_bundle", "schema_valid": true}, {"file": "examples/valid/normalization.full.json", "target": "def:normalization_bundle", "schema_valid": true}, @@ -28,6 +29,7 @@ {"file": "examples/invalid/quantity.unknown_field.json", "target": "def:reported_quantity", "schema_valid": false}, {"file": "examples/invalid/quantity.negative_zero.json", "target": "def:reported_quantity", "schema_valid": true, "semantic": "negative_zero"}, {"file": "examples/invalid/quantity.negative_zero_scaled.json", "target": "def:reported_quantity", "schema_valid": true, "semantic": "negative_zero"}, + {"file": "examples/invalid/quantity.int64_overflow.json", "target": "def:reported_quantity", "schema_valid": true, "semantic": "int64_coefficient_overflow"}, {"file": "examples/invalid/taxonomy.empty_terms.json", "target": "def:taxonomy_bundle", "schema_valid": false}, {"file": "examples/invalid/normalization.bad_denominator.json", "target": "def:normalization_bundle", "schema_valid": false}, {"file": "examples/invalid/normalization.pack_zero.json", "target": "def:normalization_bundle", "schema_valid": false}, diff --git a/schemas/hyf_ops_v2/examples/invalid/quantity.int64_overflow.json b/schemas/hyf_ops_v2/examples/invalid/quantity.int64_overflow.json @@ -0,0 +1 @@ +{"state": "known", "value": "9223372036854775808", "unit": "kg", "qualifier": "exact"} diff --git a/schemas/hyf_ops_v2/examples/valid/quantity.int64_max.json b/schemas/hyf_ops_v2/examples/valid/quantity.int64_max.json @@ -0,0 +1 @@ +{"state": "known", "value": "9223372036854775807", "unit": "kg", "qualifier": "exact"} diff --git a/schemas/hyf_ops_v2/semantic-cases.json b/schemas/hyf_ops_v2/semantic-cases.json @@ -25,6 +25,9 @@ {"id": "present_null_optional_scalar", "path": "context.timezone=null", "expect": "reject", "wire": "invalid_request", "owner": "C004", "enforced_by": "schema type string; parser rejects present null"}, {"id": "missing_selector", "path": "context.versions absent", "expect": "reject", "wire": "invalid_request", "owner": "C004", "enforced_by": "operation-context parse requires versions"}, {"id": "unknown_selector", "path": "context.versions.schema is not hyf_ops_v2", "expect": "reject", "wire": "invalid_request", "owner": "C004", "enforced_by": "selector detection falls back to the legacy parser, which rejects versions"}, + {"id": "taxonomy_catalogue_id_duplicate", "path": "input.references.taxonomy.products[].catalogue_id unique", "expect": "reject", "wire": "invalid_request", "owner": "C023", "enforced_by": "C004 labelled semantic script; C023 typed consistency"}, + {"id": "normalization_unit_duplicate", "path": "input.references.normalization.units[].unit unique", "expect": "reject", "wire": "invalid_request", "owner": "C023", "enforced_by": "C004 labelled semantic script; C023 typed consistency"}, + {"id": "coverage_count_disagreement", "path": "input.coverage evaluated/excluded counts disagree with actual inputs/results", "expect": "reject", "wire": "invalid_request", "owner": "C023", "enforced_by": "supplied_only coverage accounting; C023 typed consistency"}, {"id": "deterministic_path_reports_model_non_use", "path": "context.versions.model present with deterministic execution", "expect": "accepted_no_call", "wire": "capability_unavailable (pre-activation)", "owner": "C042-C046", "enforced_by": "C004 unavailability guard issues zero provider calls"} ] }