{
  "schema_version": 1,
  "id": "neurobrick-verification-2026-10-02",
  "observed_at": "2026-10-02T11:45:08.212489+00:00",
  "evidence_grade": "internal_local_verification",
  "source": {
    "repository": "mxroach/neuropublic",
    "base_sha": "f2d669c57e491b83d0317d053806e77d4d43b732",
    "commit": "d6e06a514f5bf07ad7d1d3205975c87a9d611cd9",
    "symbol": "kill_tree / run_pytest_once",
    "source_sha256": "75f6296470174813368f0c95b0bee13b2d15eec4f7c474a8de9fff0bfd15cf91",
    "test_sha256": "119fb6dd244eeafcdd9fff1b1ea3992f885d9e8b0e0eeb9d025d3d36205078c7"
  },
  "verification": {
    "exit_code": 0,
    "collected": 18,
    "passed": 18,
    "failed": 0,
    "errors": 0,
    "skipped": 0,
    "junit_sha256": "4d33acfe564c65c2fce7b92b9b184b054ef8cefdbf85f5e212c182f74c7d1a48",
    "receipt_sha256": "dff753cdf825b7e880d3274d8a29ee7121e7fdde835cdcfd15967657651eb478",
    "negative_controls_rejected": 6,
    "review": "separate_internal_readonly_source_review"
  },
  "boundaries": {
    "full_repository_verified": false,
    "exact_head_ci_verified": false,
    "deployment_verified": false,
    "effect_verified": false,
    "economic_validation_verified": false,
    "external_attestation": false
  },
  "changes": [
    {
      "id": "cleanup",
      "title": "Cleanup failure stays unresolved",
      "before": "An unsuccessful Windows tree-termination command could return without attempting the direct-child fallback.",
      "after": "A nonzero tree-termination result attempts the direct-child fallback. Cleanup failure remains an unknown outcome.",
      "limit": "Controlled dependencies exercise the termination branches. Actual descendant-process reaping is not established."
    },
    {
      "id": "deadline",
      "title": "Timeout cleanup has a finite observation window",
      "before": "An implicit process context exit or an unbounded output read could keep the probe waiting after the execution deadline.",
      "after": "The probe retains its execution deadline and limits the post-failure output read to five seconds. Unresolved cleanup returns a timeout outcome.",
      "limit": "This bounds the tested cleanup read. It does not prove an absolute wall-clock bound for every operating-system interaction."
    },
    {
      "id": "output",
      "title": "Unreadable output cannot become a pass",
      "before": "Locale-dependent text capture could lose UTF-8 output or interrupt attribution; unavailable output could also fail attribution.",
      "after": "Binary capture is decoded strictly as UTF-8. Unavailable captured output or a UTF-8 decoding failure produces an explicit unverified outcome even with a zero exit code.",
      "limit": "One isolated real child exercises UTF-8 output across a forced legacy text-decoding boundary. The other cleanup counterexamples use controlled process dependencies. This verifies capture availability and decoding, not output completeness; valid empty output retains the process exit-code result."
    }
  ],
  "acceptance": [
    {
      "id": "operating",
      "title": "Operating effect",
      "required": "The installed revision, a natural-run observation from the affected component, declared coverage and a comparison window.",
      "state": "not_verified"
    },
    {
      "id": "lineage",
      "title": "End-to-end decision evidence",
      "required": "Research, authorization, execution and accounting records sharing consistent identifiers; missing records retained in the denominators.",
      "state": "not_verified"
    },
    {
      "id": "economic",
      "title": "Sustained net performance",
      "required": "Realized fills reconciled with fees, funding and external flows, matched by account, strategy and time over a declared evaluation window.",
      "state": "not_verified"
    },
    {
      "id": "external",
      "title": "External reproducibility",
      "required": "A sanitized runnable reproduction bundle and an observer able to check the original evidence independently.",
      "state": "not_verified"
    }
  ],
  "reproduction_boundary": "The local result is tied to private source and test bytes. Public JSON and SHA-256 identify this disclosure; they do not independently reproduce or attest to the private execution. The website claim checks can be run from the website repository.",
  "historical_boundary": "Earlier disclosures retain their own dates, populations and publication stages. This local test result does not refresh fleet observations or resolve the held full-regression candidate.",
  "previous_reviews": [
    "/evidence/2026-09-30-operational-proof-publication.json",
    "/evidence/2026-09-30-engineering-progress-round2.json"
  ]
}