{
  "checker": {
    "claims": [
      {
        "claim": "The offline synthetic-data quick start runs the analysis and produces its report artifacts.",
        "command": "/tmp/microsegments-venv/bin/microsegments run examples/synth.toml -o /tmp/microsegments-coldpass-claim-output",
        "evidence": "538 segments, 5 hotspots (read 0.2s coverage 0.1s network 0.2s place 0.4s passages 0.4s count 0.1s analyse 0.1s hotspots 0.1s)\n",
        "expected": "538 segments and 5 hotspots; analysis.json and report.html are produced",
        "input": "examples/synth.toml with generated synthetic data",
        "kind": "claim",
        "outcome": "Real input produced the expected result: 538 segments, 5 hotspots",
        "returncode": 0,
        "source": "microsegments run examples/synth.toml -o out/     # result.parquet, analysis.json, report.html, matrix_dir*.png",
        "source_checked": true,
        "source_file": "README.md",
        "verdict": "yes"
      }
    ],
    "cycle_checks": [
      {
        "claim": "Scheduled or looping main behavior",
        "command": "",
        "evidence": "README and CLI entry points describe batch analysis commands (run, tune, hotspots, inspect, compare, sensitivity-table); no scheduled or recurring product cycle is documented.",
        "expected": "identify the product trigger",
        "input": "source inspection",
        "kind": "cycle",
        "outcome": "README and CLI entry points describe batch analysis commands (run, tune, hotspots, inspect, compare, sensitivity-table); no scheduled or recurring product cycle is documented.",
        "source": "repository entry points",
        "verdict": "yes"
      }
    ],
    "details": {
      "argv": [
        "/tmp/microsegments-venv/bin/microsegments",
        "run",
        "examples/synth.toml",
        "-o",
        "/tmp/microsegments-coldpass-output"
      ],
      "kind": "cli",
      "needs_browser": false,
      "needs_credentials": false,
      "returncode": 0,
      "scope": "product operation",
      "stderr": "observations: 201,368 rows\nnetwork: 6 patterns over 15 dates\nplaced: 235,639 rows\nanalysis: 15 days included, 0 excluded\nhotspots: 5\ndone: 15 days, 538 segments, 5 hotspots (read 0.1s coverage 0.1s network 0.1s place 0.4s passages 0.4s count 0.1s analyse 0.1s hotspots 0.1s)",
      "stdout": "/tmp/microsegments-coldpass-output/result.parquet\n/tmp/microsegments-coldpass-output/cube.parquet\n/tmp/microsegments-coldpass-output/excluded_days.parquet\n/tmp/microsegments-coldpass-output/versions.parquet\n/tmp/microsegments-coldpass-output/coverage.parquet\n/tmp/microsegments-coldpass-output/hotspots.parquet\n/tmp/microsegments-coldpass-output/hotspots.geojson\n/tmp/microsegments-coldpass-output/analysis.json\n/tmp/microsegments-coldpass-output/report.html\n/tmp/microsegments-coldpass-output/matrix_dir0.png\n/tmp/microsegments-coldpass-output/matrix_dir1.png",
      "working": true
    },
    "evidence_strength": "readme_checked",
    "example_checks": [
      {
        "claim": "README offline synthetic data quick start",
        "command": "/tmp/microsegments-venv/bin/microsegments run examples/synth.toml -o /tmp/microsegments-coldpass-example-output",
        "deferred": false,
        "evidence": "ass-example-output/hotspots.parquet\n/tmp/microsegments-coldpass-example-output/hotspots.geojson\n/tmp/microsegments-coldpass-example-output/analysis.json\n/tmp/microsegments-coldpass-example-output/report.html\n/tmp/microsegments-coldpass-example-output/matrix_dir0.png\n/tmp/microsegments-coldpass-example-output/matrix_dir1.png\nobservations: 201,368 rows\nnetwork: 6 patterns over 15 dates\nplaced: 235,639 rows\nanalysis: 15 days included, 0 excluded\nhotspots: 5\ndone: 15 days, 538 segments, 5 hotspots (read 0.2s coverage 0.2s network 0.1s place 0.4s passages 0.4s count 0.1s analyse 0.1s hotspots 0.1s)",
        "expected": "Analysis completes and writes result.parquet, analysis.json, report.html and matrix images",
        "input": "Synthetic S1 data generated with the documented script; examples/synth.toml",
        "kind": "example",
        "outcome": "command completed successfully",
        "returncode": 0,
        "source": "README.md / Quick start (offline, synthetic data)",
        "verdict": "yes"
      }
    ],
    "status": "PASS"
  },
  "deviations": [
    "Reproduced the test environment defect once: python3 examples/make_synth.py failed with ModuleNotFoundError: No module named 'microsegments'. Re-running the documented generator with the installed virtual environment Python succeeded."
  ],
  "fault_owner": null,
  "main_blocker": null,
  "operation": "Run synthetic S1 analysis using the documented CLI",
  "operation_scope": "Python 3.12.3; install microsegments[plot] in /tmp/microsegments-venv, generate examples/data with that venv Python, then run microsegments run examples/synth.toml",
  "outcome": "working",
  "plain_failure": null,
  "steps": [
    "python3 -m venv /tmp/microsegments-venv",
    "/tmp/microsegments-venv/bin/python -m pip install '.[plot]'",
    "/tmp/microsegments-venv/bin/python examples/make_synth.py",
    "/tmp/microsegments-venv/bin/microsegments run examples/synth.toml -o /tmp/microsegments-run"
  ],
  "stuck_step": null,
  "suggested_fix": null
}