{
  "artifact_id": "equivalence-partitioning-numeric-field-v1",
  "boundary_convention": "Chosen neighbors of the two accepted endpoints only; no exhaustive class-boundary or standard-wide BVA denominator.",
  "count_note": "Three initial representatives plus six accepted-endpoint neighbors overlap at65536,giving eight unique selected inputs. Six gates make41calls,not41unique inputs. Three authored classes are sampled,not proved uniform.",
  "counts_and_units": {
    "authored_behavior_classes": 3,
    "boundary_neighbor_cases": 6,
    "function_invocations": 41,
    "initial_representatives": 3,
    "invalid_values_in_refined_eight": 3,
    "overlap_representative_and_boundary": 1,
    "structured_gate_runs": 6,
    "unique_selected_integer_values": 8,
    "unit": "One exact exported validator call with one integer input; repeated runs are not new unique cases.",
    "valid_values_in_refined_eight": 5
  },
  "limits": [
    "No historical execution authenticated: the old port table was illustrative. All captured runs are new.",
    "No product, customer or network incident or discovered production defect.",
    "The fictional rejection of 0 is not general socket-bind, OS or network-port policy.",
    "No text/byte parser, malformed string, boolean/type validator, fixed-width overflow, upstream contract, container/duration/resource/concurrency or network behavior is executed.",
    "No exhaustive input enumeration, formal proof, statistical sampling, mutation-campaign score or all-member class equivalence is demonstrated.",
    "No Proof CLI, solver, generated model witness or authored data-constraint check is executed by this standard-library kit."
  ],
  "observation_finished_utc": "2026-10-28T11:51:19.975679+00:00",
  "observation_started_utc": "2026-10-28T11:51:19.708442+00:00",
  "observed_sha256": {
    "observed/accept-all-refined-eight.stderr.txt": "e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855",
    "observed/accept-all-refined-eight.stdout.json": "1d5e88e86bb605304eb0d885a7cd263ac7973bcd94ddaa3f755330dbd5c1fdbd",
    "observed/baseline-refined-eight.stderr.txt": "e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855",
    "observed/baseline-refined-eight.stdout.json": "591e0658fe1412c0740088d134050c5136ed1c14ff42dad2423a5f875c276fda",
    "observed/baseline-representatives.stderr.txt": "e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855",
    "observed/baseline-representatives.stdout.json": "6dd85c467c7401472b1382f6a354d77c07b2cc579b976daff86649fabbacd00c",
    "observed/baseline-six-neighbors.stderr.txt": "e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855",
    "observed/baseline-six-neighbors.stdout.json": "46898d14044df2ab4d5c97660d9f7e7b88f70b63ee647f3c7efc4ae41c7f7089",
    "observed/corrected-refined-eight.stderr.txt": "e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855",
    "observed/corrected-refined-eight.stdout.json": "838f6aa5716dc888cfc3fe031c650a8107b95ece612035c1bc732424aa1e5370",
    "observed/reject-all-refined-eight.stderr.txt": "e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855",
    "observed/reject-all-refined-eight.stdout.json": "c970d6657141066b51f3fb33ad79601ef560ce3c0b033a1bdfa070ce9a0948a1",
    "observed/reproduction-summary.json": "8d02fd82bd410945f3c32097264a7658b78196aad3fdc44ebc9c18af5d867faa"
  },
  "oracle": "Whole literal response,exact keys andexact value types; Pythonbool/int equality cannot silently pass.",
  "origin": "New original fictional numeric-field example with actual exported validator calls; no customer/production/network incident. Existing article table was illustrative, not historical execution.",
  "policy": "Fictional exact-int field accepts/preserves1..65535inclusive,rejectsbelow/above with typed literal outcomes.0 remains in incoming domain and is rejected by this field rule,not a universal OS/socket policy.",
  "proposed_public_base": "/assets/equivalence-partitioning/research-rerun/",
  "recorded_utc": "2026-10-28T11:52:15.738559+00:00",
  "reproduction": "python3 reproduce.py from extracted kit directory; Python3.10+standard library,no Proof/network/credential/package.",
  "runtime": {
    "debug_assertions_enabled": true,
    "executable": "/opt/homebrew/opt/python@3.14/bin/python3.14",
    "optimize_flag": 0,
    "python": "3.14.7",
    "python_build": "3.14.7 (main, Aug  5 2026, 10:29:49) [Clang 21.0.0 (clang-2100.1.1.101)]"
  },
  "source_sha256": {
    "README.md": "696ffa7d454640b06b22c84b434a606d9a81af11dfce3b34b4d014d8be056cb9",
    "cases.json": "57484d2f946888ab493d39c0f79d23a46f4e25afd011a45e033309a68dbe6698",
    "contract.json": "4aa5bc9c041bdac9887ebbd800286684cb630979fbe689892b08e5e129d67be1",
    "origin.json": "fc78342d7b613ecc8981e47ea68a75b6dc531a5514fc950c38021cdbd440183d",
    "reproduce.py": "b70f7ffb56fa692959a6898db0359314414d2821882326072b7a10e2278f68bd",
    "run_cases.py": "db7a2eecdea99e3b7b565af39d3bd6e953765658fa25230e0fecd1e3a2cf9196",
    "validator.py": "87d38bff76c89416617815c691383b254f3b7b0ade64440b6ee0b0a7644b7c4d"
  },
  "success_interpretation": "Wrapper success reproduces expected passing AND failing gates; representative success is not acceptance of every class member or a proof."
}