{
  "schema": "asn.local-deterministic-validator-evidence.v1",
  "created_at": "2026-10-19T06:23:34.464Z",
  "scope": "local_shadow_only",
  "suite": {
    "schema": "asn.local-deterministic-validator-suite.v1",
    "suite_id": "fresh-unit-price-shipping-validator-20261019-v1",
    "condition_family": "integer_unit_price_and_shipping",
    "candidate_fields": [
      "merchandise_total_cents",
      "amount_due_cents"
    ],
    "oracle_method": "Three newly authored numeric cases have explicit integer-cent oracle values independently recalculated in the artifact. Corruption and invalid-input labels are injected transformations with known expected rejection; this is a deterministic consistency-mechanism probe, not a model benchmark or customer study.",
    "oracle_review_state": "operator_recomputed_integer_arithmetic",
    "cases": [
      {
        "id": "fresh-pack-01",
        "units": 11,
        "unit_price_cents": 314,
        "shipping_cents": 275,
        "expected": {
          "merchandise_total_cents": 3454,
          "amount_due_cents": 3729
        },
        "manual_check": {
          "multiplication": "11 × 314 = 3454",
          "addition": "3454 + 275 = 3729"
        }
      },
      {
        "id": "fresh-pack-02",
        "units": 4,
        "unit_price_cents": 1265,
        "shipping_cents": 80,
        "expected": {
          "merchandise_total_cents": 5060,
          "amount_due_cents": 5140
        },
        "manual_check": {
          "multiplication": "4 × 1265 = 5060",
          "addition": "5060 + 80 = 5140"
        }
      },
      {
        "id": "fresh-pack-03",
        "units": 23,
        "unit_price_cents": 8,
        "shipping_cents": 99,
        "expected": {
          "merchandise_total_cents": 184,
          "amount_due_cents": 283
        },
        "manual_check": {
          "multiplication": "23 × 8 = 184",
          "addition": "184 + 99 = 283"
        }
      }
    ],
    "trial_count": 12
  },
  "suite_sha256": "03871bdac954531298072912a226be127f4fa8d8f9a02ce98cfd503be8ea0938",
  "validator_version": "asn.arithmetic-consistency.v1",
  "validator_source": "sites/deterministic-arithmetic-validator.mjs",
  "evidence": {
    "trials": [
      {
        "case_id": "fresh-pack-01",
        "variant": "correct",
        "oracle_valid": true,
        "candidate": {
          "pack_id": "PK-981",
          "units": 11,
          "unit_price_cents": 314,
          "merchandise_total_cents": 3454,
          "shipping_cents": 275,
          "amount_due_cents": 3729
        },
        "result": {
          "schema": "asn.arithmetic-consistency.v1",
          "state": "consistent",
          "checks": [
            {
              "field": "merchandise_total_cents",
              "expected": 3454,
              "observed": 3454,
              "passed": true
            },
            {
              "field": "amount_due_cents",
              "expected": 3729,
              "observed": 3729,
              "passed": true
            }
          ],
          "issues": []
        },
        "detected": false,
        "correct": true
      },
      {
        "case_id": "fresh-pack-01",
        "variant": "corrupt_merchandise_total_plus_one",
        "oracle_valid": false,
        "candidate": {
          "pack_id": "PK-981",
          "units": 11,
          "unit_price_cents": 314,
          "merchandise_total_cents": 3455,
          "shipping_cents": 275,
          "amount_due_cents": 3729
        },
        "result": {
          "schema": "asn.arithmetic-consistency.v1",
          "state": "inconsistent",
          "checks": [
            {
              "field": "merchandise_total_cents",
              "expected": 3454,
              "observed": 3455,
              "passed": false
            },
            {
              "field": "amount_due_cents",
              "expected": 3729,
              "observed": 3729,
              "passed": true
            }
          ],
          "issues": [
            "merchandise_total_cents_mismatch"
          ]
        },
        "detected": true,
        "correct": true
      },
      {
        "case_id": "fresh-pack-01",
        "variant": "corrupt_amount_due_plus_one",
        "oracle_valid": false,
        "candidate": {
          "pack_id": "PK-981",
          "units": 11,
          "unit_price_cents": 314,
          "merchandise_total_cents": 3454,
          "shipping_cents": 275,
          "amount_due_cents": 3730
        },
        "result": {
          "schema": "asn.arithmetic-consistency.v1",
          "state": "inconsistent",
          "checks": [
            {
              "field": "merchandise_total_cents",
              "expected": 3454,
              "observed": 3454,
              "passed": true
            },
            {
              "field": "amount_due_cents",
              "expected": 3729,
              "observed": 3730,
              "passed": false
            }
          ],
          "issues": [
            "amount_due_cents_mismatch"
          ]
        },
        "detected": true,
        "correct": true
      },
      {
        "case_id": "fresh-pack-02",
        "variant": "correct",
        "oracle_valid": true,
        "candidate": {
          "pack_id": "BX-212",
          "units": 4,
          "unit_price_cents": 1265,
          "merchandise_total_cents": 5060,
          "shipping_cents": 80,
          "amount_due_cents": 5140
        },
        "result": {
          "schema": "asn.arithmetic-consistency.v1",
          "state": "consistent",
          "checks": [
            {
              "field": "merchandise_total_cents",
              "expected": 5060,
              "observed": 5060,
              "passed": true
            },
            {
              "field": "amount_due_cents",
              "expected": 5140,
              "observed": 5140,
              "passed": true
            }
          ],
          "issues": []
        },
        "detected": false,
        "correct": true
      },
      {
        "case_id": "fresh-pack-02",
        "variant": "corrupt_merchandise_total_plus_one",
        "oracle_valid": false,
        "candidate": {
          "pack_id": "BX-212",
          "units": 4,
          "unit_price_cents": 1265,
          "merchandise_total_cents": 5061,
          "shipping_cents": 80,
          "amount_due_cents": 5140
        },
        "result": {
          "schema": "asn.arithmetic-consistency.v1",
          "state": "inconsistent",
          "checks": [
            {
              "field": "merchandise_total_cents",
              "expected": 5060,
              "observed": 5061,
              "passed": false
            },
            {
              "field": "amount_due_cents",
              "expected": 5140,
              "observed": 5140,
              "passed": true
            }
          ],
          "issues": [
            "merchandise_total_cents_mismatch"
          ]
        },
        "detected": true,
        "correct": true
      },
      {
        "case_id": "fresh-pack-02",
        "variant": "corrupt_amount_due_plus_one",
        "oracle_valid": false,
        "candidate": {
          "pack_id": "BX-212",
          "units": 4,
          "unit_price_cents": 1265,
          "merchandise_total_cents": 5060,
          "shipping_cents": 80,
          "amount_due_cents": 5141
        },
        "result": {
          "schema": "asn.arithmetic-consistency.v1",
          "state": "inconsistent",
          "checks": [
            {
              "field": "merchandise_total_cents",
              "expected": 5060,
              "observed": 5060,
              "passed": true
            },
            {
              "field": "amount_due_cents",
              "expected": 5140,
              "observed": 5141,
              "passed": false
            }
          ],
          "issues": [
            "amount_due_cents_mismatch"
          ]
        },
        "detected": true,
        "correct": true
      },
      {
        "case_id": "fresh-pack-03",
        "variant": "correct",
        "oracle_valid": true,
        "candidate": {
          "pack_id": "INV-638",
          "units": 23,
          "unit_price_cents": 8,
          "merchandise_total_cents": 184,
          "shipping_cents": 99,
          "amount_due_cents": 283
        },
        "result": {
          "schema": "asn.arithmetic-consistency.v1",
          "state": "consistent",
          "checks": [
            {
              "field": "merchandise_total_cents",
              "expected": 184,
              "observed": 184,
              "passed": true
            },
            {
              "field": "amount_due_cents",
              "expected": 283,
              "observed": 283,
              "passed": true
            }
          ],
          "issues": []
        },
        "detected": false,
        "correct": true
      },
      {
        "case_id": "fresh-pack-03",
        "variant": "corrupt_merchandise_total_plus_one",
        "oracle_valid": false,
        "candidate": {
          "pack_id": "INV-638",
          "units": 23,
          "unit_price_cents": 8,
          "merchandise_total_cents": 185,
          "shipping_cents": 99,
          "amount_due_cents": 283
        },
        "result": {
          "schema": "asn.arithmetic-consistency.v1",
          "state": "inconsistent",
          "checks": [
            {
              "field": "merchandise_total_cents",
              "expected": 184,
              "observed": 185,
              "passed": false
            },
            {
              "field": "amount_due_cents",
              "expected": 283,
              "observed": 283,
              "passed": true
            }
          ],
          "issues": [
            "merchandise_total_cents_mismatch"
          ]
        },
        "detected": true,
        "correct": true
      },
      {
        "case_id": "fresh-pack-03",
        "variant": "corrupt_amount_due_plus_one",
        "oracle_valid": false,
        "candidate": {
          "pack_id": "INV-638",
          "units": 23,
          "unit_price_cents": 8,
          "merchandise_total_cents": 184,
          "shipping_cents": 99,
          "amount_due_cents": 284
        },
        "result": {
          "schema": "asn.arithmetic-consistency.v1",
          "state": "inconsistent",
          "checks": [
            {
              "field": "merchandise_total_cents",
              "expected": 184,
              "observed": 184,
              "passed": true
            },
            {
              "field": "amount_due_cents",
              "expected": 283,
              "observed": 284,
              "passed": false
            }
          ],
          "issues": [
            "amount_due_cents_mismatch"
          ]
        },
        "detected": true,
        "correct": true
      },
      {
        "case_id": "zero_units",
        "variant": "invalid_zero_units",
        "oracle_valid": false,
        "candidate": {
          "units": 0,
          "unit_price_cents": 1,
          "merchandise_total_cents": 0,
          "shipping_cents": 0,
          "amount_due_cents": 0
        },
        "result": {
          "schema": "asn.arithmetic-consistency.v1",
          "state": "invalid_input",
          "checks": [],
          "issues": [
            "invalid_units"
          ]
        },
        "detected": true,
        "correct": true
      },
      {
        "case_id": "negative_shipping",
        "variant": "invalid_negative_shipping",
        "oracle_valid": false,
        "candidate": {
          "units": 1,
          "unit_price_cents": 1,
          "merchandise_total_cents": 1,
          "shipping_cents": -1,
          "amount_due_cents": 0
        },
        "result": {
          "schema": "asn.arithmetic-consistency.v1",
          "state": "invalid_input",
          "checks": [],
          "issues": [
            "invalid_shipping_cents"
          ]
        },
        "detected": true,
        "correct": true
      },
      {
        "case_id": "unsafe_product",
        "variant": "invalid_overflow",
        "oracle_valid": false,
        "candidate": {
          "units": 9007199254740991,
          "unit_price_cents": 2,
          "merchandise_total_cents": 0,
          "shipping_cents": 0,
          "amount_due_cents": 0
        },
        "result": {
          "schema": "asn.arithmetic-consistency.v1",
          "state": "invalid_input",
          "checks": [],
          "issues": [
            "computed_amount_exceeds_safe_integer_range"
          ]
        },
        "detected": true,
        "correct": true
      }
    ],
    "true_accepts": 3,
    "true_rejects": 9,
    "false_accepts": 0,
    "false_rejects": 0,
    "all_labels_correct": true,
    "valid_cases": 3,
    "invalid_variants": 9,
    "precision_on_injected_invalids": 1,
    "sensitivity_on_injected_invalids": 1
  },
  "limits": {
    "model_calls": 0,
    "external_actions": 0,
    "spend_microusd": 0,
    "production_changes": false,
    "source_fact_extraction_verified": false,
    "identifier_or_semantic_correctness_verified": false,
    "business_rule_correctness_verified": false,
    "general_capability_verified": false,
    "customer_usefulness_verified": false,
    "local_compute_cost_measured": false,
    "ranking_eligible": false,
    "execution_authorized": false
  },
  "artifact_sha256": "3f4962593ef7c91659bb1ae8a5b36e1ec79d0917c525f921467c335748ac6fc5"
}