property-based-testing/examples/native-property-evidence.json

Version 82fe82262526.bb1 · CC-BY-SA-4.0. This preview displays packaged text and does not execute code. Treat the contents as untrusted instructions.

← Return to resource and package checksum

{
  "executed_at": "2026-10-04T08:41:09.266631+00:00",
  "python": "3.12.4",
  "platform": "Windows-11-10.0.26300-SP0",
  "hypothesis": "6.168.3",
  "probe_sha256": "3cd2309427870c92d528112f5de1f409062d53a088d1a4ead9a8811a27513f59",
  "cases": [
    {
      "name": "base64_roundtrip",
      "status": "passed",
      "examples_executed": 202,
      "distinct_inputs": 200,
      "domain": "bounded synthetic inputs; no production data"
    },
    {
      "name": "json_utf8_roundtrip",
      "status": "passed",
      "examples_executed": 202,
      "distinct_inputs": 197,
      "domain": "bounded synthetic inputs; no production data"
    },
    {
      "name": "sort_order_and_multiplicity",
      "status": "passed",
      "examples_executed": 202,
      "distinct_inputs": 201,
      "domain": "bounded synthetic inputs; no production data"
    },
    {
      "name": "NFC_idempotence_and_canonical_preservation",
      "status": "passed",
      "examples_executed": 202,
      "distinct_inputs": 201,
      "domain": "bounded synthetic inputs; no production data"
    },
    {
      "name": "negative_control_trailing_zero_loss",
      "status": "passed",
      "counterexample_hex": "00",
      "decoded_hex": "",
      "classification": "intentional fixture implementation defect"
    },
    {
      "name": "negative_control_sort_deduplication",
      "status": "passed",
      "counterexample": [
        0,
        0
      ],
      "actual": [
        0
      ],
      "classification": "intentional fixture implementation defect"
    },
    {
      "name": "negative_control_json_field_loss",
      "status": "passed",
      "counterexample": {
        "": 0
      },
      "actual": {},
      "classification": "intentional fixture implementation defect"
    },
    {
      "name": "negative_control_constant_normalizer",
      "status": "passed",
      "counterexample": "0",
      "actual": "",
      "classification": "intentional fixture implementation defect"
    },
    {
      "name": "weak_idempotence_accepts_constant",
      "status": "passed",
      "counterexample": "0",
      "meaning": "idempotence alone misses this preservation defect"
    },
    {
      "name": "strict_base64_invalid_3f",
      "status": "passed",
      "input_ascii": "?",
      "classification": "documented error path"
    },
    {
      "name": "strict_base64_invalid_41",
      "status": "passed",
      "input_ascii": "A",
      "classification": "documented error path"
    },
    {
      "name": "strict_base64_invalid_3d3d3d",
      "status": "passed",
      "input_ascii": "===",
      "classification": "documented error path"
    },
    {
      "name": "strict_base64_invalid_413d3d3d",
      "status": "passed",
      "input_ascii": "A===",
      "classification": "documented error path"
    },
    {
      "name": "strict_base64_invalid_25252525",
      "status": "passed",
      "input_ascii": "%%%%",
      "classification": "documented error path"
    },
    {
      "name": "surrogate_outside_scalar_text_domain",
      "status": "passed",
      "classification": "out-of-domain strategy example, not an in-domain encoder bug"
    }
  ],
  "observations": 15,
  "generated_families": 4,
  "property_examples": {
    "base64_roundtrip": 202,
    "json_utf8_roundtrip": 202,
    "sort_order_and_multiplicity": 202,
    "NFC_idempotence_and_canonical_preservation": 202
  },
  "native_fixture_tested": true,
  "runtime_tested": false,
  "scope": "Native Hypothesis on four synthetic property families and four intentional negative controls, five invalid encodings and an out-of-domain surrogate. No AI client, whole skill, upstream harness, smart-contract engine, paid model or production input."
}