{
  "schema_version": 1,
  "id": "neurobrick-operational-proof-publication-2026-09-30",
  "reviewed_at": "2026-09-30T05:26:09.554527+00:00",
  "deployment_verified": false,
  "effect_verified": false,
  "economic_validation_verified": false,
  "external_attestation": false,
  "improvements": [
    {
      "id": "heartbeat",
      "title": "A file touch cannot establish operating health",
      "before": "A running synthetic process with a freshly touched but malformed or timestamp-less state file was classified HEALTHY.",
      "after": "Uninterpretable heartbeat evidence provides no age. A running target is UNKNOWN unless an existing degradation priority applies; unknown targets stay in the total population but outside healthy and operational numerators.",
      "commit": "9fa70597d98f91c850b549258bd5dbf9488caf45",
      "base_sha": "df28b938d735d57aa51ec783a5e0a5a7c30ebfe1",
      "repository": "mxroach/neuropublic",
      "symbol": "_state_age / run_once_sync / read_daemon_health / _section_daemons",
      "independent_test_count": 17,
      "tests": "Six base failures became 17 passing heartbeat tests. The internal reviewer independently repeated 17; a further isolated run of the focused and adjacent selection passed 88 tests.",
      "boundary": "Existing staleness and classification priorities remain. PID presence and a parsed timestamp do not establish installed code identity or successful application work.",
      "stage": "draft_published",
      "pr_url": "https://github.com/mxroach/neuropublic/pull/4929",
      "publication": "Reviewed Draft published at the pinned revision. Required local repository selection: 922 passed and 60 skipped, exit code 0. The platform-specific skips are not evaluated. No verified deployment or natural operating effect.",
      "publication_checks": {
        "selected_files": 71,
        "workers": 3,
        "exit_code": 0,
        "counts": {
          "passed": 922,
          "failed": 0,
          "skipped": 60
        },
        "skip_boundary": "54 POSIX shell hook cases, 3 POSIX permission-bit cases, 1 POSIX watchdog probe, 2 LaunchAgents fleet walks; not evaluated on this Windows host."
      }
    },
    {
      "id": "performance",
      "title": "Carried performance keeps its original observation time",
      "before": "A valid old flow plus a malformed record could be treated as a complete ledger and produce fresh positive TWR. The dashboard also discarded carry status and original observation time.",
      "after": "Partial unreadable input follows the existing degraded path. Carried values retain degraded status, carry markers and their original observation time across repeated publication; legacy records acquire no fabricated provenance.",
      "commit": "5918e95232754e48d178f37249528526215c2dc5",
      "base_sha": "40ef77543003e051f1e8ff0d44fe36179dd6ad33",
      "repository": "mxroach/neuropublic",
      "symbol": "_read_capital_flows / evaluate / read_trading",
      "independent_test_count": 47,
      "tests": "The actual producer-to-dashboard base failed three cases. The final combined selection passed 109 tests, including 47 focused tests; the internal reviewer independently repeated 47. A pre-integration schema suite passed 39 tests.",
      "boundary": "Existing return formulas, flow schemas, sizing and authority are preserved. NAV-based TWR and input readability do not establish fee-matched realized profit, broker reconciliation or sustained net performance.",
      "stage": "draft_published",
      "pr_url": "https://github.com/mxroach/neuropublic/pull/4916",
      "publication": "Reviewed Draft published at the pinned revision. Required local repository selection: 922 passed and 60 skipped, exit code 0. The platform-specific skips are not evaluated. No verified deployment or natural operating effect.",
      "publication_checks": {
        "selected_files": 71,
        "workers": 3,
        "exit_code": 0,
        "counts": {
          "passed": 922,
          "failed": 0,
          "skipped": 60
        },
        "skip_boundary": "54 POSIX shell hook cases, 3 POSIX permission-bit cases, 1 POSIX watchdog probe, 2 LaunchAgents fleet walks; not evaluated on this Windows host."
      }
    },
    {
      "id": "recovery",
      "title": "Recovery requires a direct observation of the affected target",
      "before": "A successful recovery attempt could be counted effective when no health history existed, the observation was outside the window, or only other targets were measured.",
      "after": "The producer emits untruncated direct HEALTHY targets. The consumer requires target evidence in the configured window, gives direct unhealthy observations priority, and retains unknowns outside verified and effective counts.",
      "commit": "3cc129f4a2675855843dc367ed8aadc5de3e20d0",
      "base_sha": "df28b938d735d57aa51ec783a5e0a5a7c30ebfe1",
      "repository": "mxroach/neuropublic",
      "symbol": "daemon_health_master.evaluate / _recovery_health_in_window / auto_recovery_effectiveness_tracker.evaluate",
      "independent_test_count": 69,
      "tests": "Seven initial base failures and five further review counterexamples were reproduced. Final 69 passed, including the actual producer-to-consumer path; the internal independent reviewer repeated 69.",
      "boundary": "HEALTHY remains process/log health, not proof of completed domain work or durable restoration. Naive health timestamps, malformed target evidence and legacy absence remain unknown.",
      "stage": "draft_published",
      "pr_url": "https://github.com/mxroach/neuropublic/pull/4932",
      "publication": "Reviewed Draft published at the pinned revision. Required local repository selection: 922 passed and 60 skipped, exit code 0. The platform-specific skips are not evaluated. No verified deployment or natural operating effect.",
      "publication_checks": {
        "selected_files": 71,
        "workers": 3,
        "exit_code": 0,
        "counts": {
          "passed": 922,
          "failed": 0,
          "skipped": 60
        },
        "skip_boundary": "54 POSIX shell hook cases, 3 POSIX permission-bit cases, 1 POSIX watchdog probe, 2 LaunchAgents fleet walks; not evaluated on this Windows host."
      }
    }
  ],
  "proof_levels": [
    {
      "id": "implementation",
      "title": "Implementation and local behavior",
      "status": "Locally verified",
      "detail": "Pinned changes, actual producer/consumer counterexamples and separate internal source review. Required local repository checks passed on every exact revision; platform skips remain unevaluated. Draft publication does not establish operating adoption."
    },
    {
      "id": "runtime",
      "title": "Operating adoption and effect",
      "status": "Not verified",
      "detail": "No installed-version receipt or natural-run before/after effect was obtained for these revisions."
    },
    {
      "id": "economic",
      "title": "Sustained net performance",
      "status": "Not verified",
      "detail": "No reconciled fill, fee, funding and external-flow series establishes sustained strategy or account performance here."
    },
    {
      "id": "independence",
      "title": "External reproducibility and attestation",
      "status": "Not verified",
      "detail": "Reviewers are internal agents. Private source references and public file hashes do not constitute independent attestation."
    }
  ],
  "counterexamples": {
    "heartbeat": {
      "population": 1,
      "inputs": {
        "running": true,
        "fresh_file_touch": true,
        "state_content": "{broken"
      },
      "before": {
        "category": "HEALTHY"
      },
      "after": {
        "category": "UNKNOWN",
        "healthy": 0,
        "unknown": 1,
        "operational_pct": 0
      }
    },
    "performance": {
      "partial": {
        "inputs": {
          "valid_old_flow_records": 1,
          "malformed_tail_records": 1,
          "synthetic_nav_increased": true,
          "prior_performance_present": false
        },
        "before": {
          "ledger_status": "ok",
          "new_positive_twr": true
        },
        "after": {
          "ledger_status": "read_error",
          "new_positive_twr": false,
          "flow_count": null
        }
      },
      "carry": {
        "original_as_of": "2026-09-28T00:00:00+00:00",
        "republished_at": "2026-10-01T00:00:00+00:00",
        "after": {
          "carried": true,
          "ledger_status": "read_error",
          "as_of": "2026-09-28T00:00:00+00:00"
        }
      }
    },
    "recovery": {
      "missing": {
        "population": 1,
        "inputs": {
          "successful_non_dry_attempts": 1,
          "target_health_observations_in_window": 0
        },
        "before": {
          "verified": 1,
          "effective": 1,
          "flap_rate": 0
        },
        "after": {
          "verified": 0,
          "effective": 0,
          "unknown": 1,
          "flap_rate": null
        }
      },
      "positive_control": {
        "population": 3,
        "list_limit": 1,
        "emitted_healthy": 2,
        "effective": 2,
        "unknown": 1,
        "idle_targets": 1
      }
    }
  },
  "reproduction_boundary": "The structured file discloses sanitized counterexample inputs and internally verified outcomes. It contains no private balances or real account data. Reproducing the original evaluations requires access to the private source and tests; this artifact alone is not an executable reproduction bundle. SHA-256 identifies these public bytes, not the correctness of a private run.",
  "observation_boundary": "The engineering counterexamples are synthetic. They do not replace, refresh or combine the dates or populations of the separate operating inspection and earlier lineage/readiness observations.",
  "previous_reviews": [
    "/evidence/2026-09-30-engineering-progress.json",
    "/evidence/2026-09-30-engineering-progress-round2.json"
  ],
  "remaining": [
    "Owner-authorized adoption of each exact revision, installed identity, and an independent natural-run receipt with declared coverage.",
    "Affected-target observation after recovery plus domain health checks; process/log health alone cannot establish completed work.",
    "Reconciled realized fills, fees, funding and external flows, matched by account, strategy and time, across a declared evaluation window.",
    "A repeatable research-to-authority-to-execution-to-accounting path with consistent identifiers and explicit denominators.",
    "External reproduction through sanitized runnable evidence and independent observer access; internal reviews and checksums are insufficient."
  ],
  "implementation_reviewed_at": "2026-09-30T03:42:25.227192+00:00",
  "previous_operational_review": "/evidence/2026-09-30-operational-proof.json"
}