{
  "run": "P6-P27",
  "date_local": "2026-10-24",
  "checked_utc": "2026-10-25T02:45:36.259749+00:00",
  "os": "macOS-27.0.1-arm64-arm-64bit",
  "python": "3.12.14",
  "iverilog": "Icarus Verilog version 13.0 (stable) (v13_0)",
  "script_sha256": "24c1aae523bbd46e0e26b77ea2089eea3671c09ca6e40aa7aa11c8ecded9144f",
  "example_input_sha256": {
    "handoff.json": "1dceaa9282e5a2ca711ef89cfc3669ff082cfff03b17b74a7cf2c05047c793c3",
    "tb.sv": "7a2edf1a252f7e000d1be1a1abe36ba485c6d3b2d5689450da34897de1951b61",
    "clock.sdc": "7a86246dd8d82a89fdfe455e0bff503c3c20524fbe1679c2009da4b2f257e8f8",
    "counter.sv": "c8c4da12120e82f09d2534d341c5d860d51f6131290fab9df3bc780124819484"
  },
  "manifest_sha256": "3a1167c58b6c6450948221e5d2ffbbd177f04270e568ef36ccc28ac2986bb6da",
  "events": [
    {
      "case": "compile",
      "command": [
        "iverilog",
        "-g2012",
        "-s",
        "tb",
        "-o",
        "simulation",
        "counter.sv",
        "tb.sv"
      ],
      "command_kind": "portable equivalent; executed_arguments is the recorded invocation",
      "executed_arguments": [
        "${IVERILOG}",
        "-B",
        "${ICARUS_LIB}",
        "-g2012",
        "-s",
        "tb",
        "-o",
        "${SIMULATION}",
        "counter.sv",
        "tb.sv"
      ],
      "working_directory": "${PROJECT}",
      "returncode": 0,
      "stdout": "",
      "stderr": ""
    },
    {
      "case": "simulate",
      "command": [
        "vvp",
        "simulation"
      ],
      "command_kind": "portable equivalent; executed_arguments is the recorded invocation",
      "executed_arguments": [
        "${VVP}",
        "-M",
        "${ICARUS_LIB}",
        "${SIMULATION}"
      ],
      "working_directory": "${WORKSPACE}",
      "returncode": 0,
      "stdout": "PASS count=3\ntb.sv:16: $finish called at 40000 (1ps)\n",
      "stderr": ""
    },
    {
      "case": "create",
      "command": [
        "python",
        "P27.py",
        "example-project",
        "manifest.json"
      ],
      "command_kind": "portable equivalent; executed_arguments is the recorded invocation",
      "executed_arguments": [
        "${PYTHON}",
        "${SCRIPT}",
        "${PROJECT}",
        "${MANIFEST}"
      ],
      "working_directory": "${WORKSPACE}",
      "returncode": 0,
      "stdout": "WROTE: 3 inputs\n",
      "stderr": ""
    },
    {
      "case": "check",
      "command": [
        "python",
        "P27.py",
        "example-project",
        "manifest.json",
        "--check"
      ],
      "command_kind": "portable equivalent; executed_arguments is the recorded invocation",
      "executed_arguments": [
        "${PYTHON}",
        "${SCRIPT}",
        "${PROJECT}",
        "${MANIFEST}",
        "--check"
      ],
      "working_directory": "${WORKSPACE}",
      "returncode": 0,
      "stdout": "PASS: manifest matches 3 inputs\n",
      "stderr": ""
    },
    {
      "case": "repeat create",
      "command": [
        "python",
        "P27.py",
        "example-project",
        "manifest.json"
      ],
      "command_kind": "portable equivalent; executed_arguments is the recorded invocation",
      "executed_arguments": [
        "${PYTHON}",
        "${SCRIPT}",
        "${PROJECT}",
        "${MANIFEST}"
      ],
      "working_directory": "${WORKSPACE}",
      "returncode": 0,
      "stdout": "WROTE: 3 inputs\n",
      "stderr": ""
    },
    {
      "case": "changed RTL",
      "command": [
        "python",
        "P27.py",
        "example-project",
        "manifest.json",
        "--check"
      ],
      "command_kind": "portable equivalent; executed_arguments is the recorded invocation",
      "executed_arguments": [
        "${PYTHON}",
        "${SCRIPT}",
        "${PROJECT}",
        "${MANIFEST}",
        "--check"
      ],
      "working_directory": "${WORKSPACE}",
      "returncode": 1,
      "stdout": "FAIL: manifest differs from current inputs or configuration\n",
      "stderr": ""
    },
    {
      "case": "missing constraint",
      "command": [
        "python",
        "P27.py",
        "example-project",
        "manifest.json",
        "--check"
      ],
      "command_kind": "portable equivalent; executed_arguments is the recorded invocation",
      "executed_arguments": [
        "${PYTHON}",
        "${SCRIPT}",
        "${PROJECT}",
        "${MANIFEST}",
        "--check"
      ],
      "working_directory": "${WORKSPACE}",
      "returncode": 1,
      "stdout": "FAIL: missing input: clock.sdc\n",
      "stderr": ""
    },
    {
      "case": "restored inputs",
      "command": [
        "python",
        "P27.py",
        "example-project",
        "manifest.json",
        "--check"
      ],
      "command_kind": "portable equivalent; executed_arguments is the recorded invocation",
      "executed_arguments": [
        "${PYTHON}",
        "${SCRIPT}",
        "${PROJECT}",
        "${MANIFEST}",
        "--check"
      ],
      "working_directory": "${WORKSPACE}",
      "returncode": 0,
      "stdout": "PASS: manifest matches 3 inputs\n",
      "stderr": ""
    }
  ],
  "path_tokens": {
    "IVERILOG": "Icarus Verilog 13.0 executable",
    "VVP": "Icarus Verilog 13.0 runtime",
    "ICARUS_LIB": "Icarus Verilog 13.0 lib/ivl directory in the isolated installation",
    "PYTHON": "Python 3.12.14 interpreter",
    "SCRIPT": "review/examples/P27.py",
    "PROJECT": "harness/reproducible-handoff/example-project",
    "MANIFEST": "Generated manifest outside the project directory; copied to harness/reproducible-handoff/expected-manifest.json",
    "SIMULATION": "Compiled output outside the source project",
    "WORKSPACE": "Package authoring workspace"
  },
  "scope": "Original manifest generation and integrity checks; original RTL simulation. Constraints recorded, not timed; no sign-off or commercial tool execution."
}