{
  "status": "passed",
  "scope": "engineering witness only; no trained models or experiments",
  "runtime_version": "R-v1",
  "executed_at_utc": "2026-10-14T16:42:22Z",
  "python": "3.9.6",
  "source_sha256": "0982ffb13fd18bbd5125bf4d0969e0e6aa7244730a57208462f141632ffb722a",
  "checks_passed": 17,
  "checks": [
    "heterogeneous composition and numeric recurrence",
    "deterministic development",
    "development/execution edges accounted separately",
    "explicit carry versus reset",
    "node cap rejection",
    "edge cap rejection",
    "tick cap rejection",
    "missing cue rejection",
    "shape rejection",
    "semantic rejection despite equal shapes",
    "delay rejection",
    "invalid runtime input rejection",
    "shared deterministic rule cannot break identical observed roles",
    "explicit state duplication plus mean readout retains trajectory",
    "naive sum duplication changes behavior",
    "topology regrowth does not recover erased state",
    "independent widths accepted by witness"
  ],
  "development_ticks": 3,
  "nodes": 2,
  "developmental_edges": 1,
  "execution_edges": 1,
  "example_inputs": [
    [
      2.0,
      -2.0
    ],
    [
      0.0,
      4.0
    ]
  ],
  "example_outputs": [
    [
      2.0,
      -2.0
    ],
    [
      1.0,
      3.0
    ]
  ],
  "duplicated_state_mean_readout_max_error": 0.0,
  "wall_seconds": 0.0006657090000000004,
  "check_cpu_seconds": 0.0006649999999999989,
  "process_cpu_seconds": 0.040172,
  "process_peak_rss_bytes": 15417344,
  "memory_enforcement": "bounded structures plus measured RSS; RLIMIT_AS unavailable on this host",
  "earlier_attempts": [
    "Python 3.9 postponed-annotation compatibility corrected before checks ran",
    "Darwin rejected RLIMIT_AS before checks ran; bounded structures and RSS validation used"
  ],
  "limits": {
    "workers": 1,
    "wall_seconds": 30,
    "cpu_seconds": 30,
    "address_space_bytes": 536870912,
    "nodes": 8,
    "combined_edges": 16,
    "development_ticks": 8,
    "vector_width": 8,
    "sequence_length": 128
  },
  "limitations": [
    "hand-authored gain and memory primitive",
    "no adaptation or capacity advantage tested",
    "only the two-cell schedule implemented",
    "no pruning, randomness, or feedback implementation",
    "numeric equality here is not a theorem for arbitrary operators"
  ]
}