{
  "classification": "independent portfolio exercise; not client work",
  "date": "2026-08-29",
  "system": {
    "compiler": "Vyper v0.4.3",
    "commit": "bff19ea204059290da652854cd634abef10f6c43",
    "evm_target": "Prague",
    "backends": ["REVM", "Py-EVM"],
    "optimizer_modes": ["none", "gas", "codesize"]
  },
  "integrity": {
    "harness_tests_passing": 9,
    "harness_tests_total": 9,
    "historical_positive_control_reproduced": true,
    "corrected_control_confirmed": true
  },
  "campaigns": {
    "base_raw_return": 264,
    "raw_return_provenance_and_control_flow": 10230,
    "dynamic_abi_encoding": 5424,
    "nested_dynamic_abi_encoding": 4608,
    "bytesm_bitwise_and_padding": 12960,
    "stateful_expression_trees": 1440,
    "typed_event_side_effects_and_encoding": 864,
    "effectful_composite_literals_in_events": 1440,
    "total_oracle_checked_executions": 37230,
    "candidate_mismatches": 0
  },
  "disposition": "No eligible new vulnerability found. Clean results are bounded negative evidence, not proof of absence."
}