{
  "checker": {
    "claims": [
      {
        "claim": "SMP parses repositories into a knowledge graph",
        "command": "/tmp/smp-bin/smp ingest . --graph-path /tmp/smp-claim-graph.smpg --max-size 100000",
        "evidence": "Ingested 207 files: 4506 nodes, 18495 edges, 0 errors\n\u001b[2m2026-10-27T15:11:14.883472Z\u001b[0m [\u001b[32m\u001b[1minfo     \u001b[0m] \u001b[1mjournal_replayed              \u001b[0m [\u001b[0m\u001b[1m\u001b[34msmp.store.graph.mmap_store\u001b[0m]\u001b[0m \u001b[36medges\u001b[0m=\u001b[35m28791\u001b[0m \u001b[36mlocks\u001b[0m=\u001b[35m0\u001b[0m \u001b[36mnodes\u001b[0m=\u001b[35m4713\u001b[0m \u001b[36mpath\u001b[0m=\u001b[35m/tmp/smp-claim-graph.smpg\u001b[0m \u001b[36msessions\u001b[0m=\u001b[35m0\u001b[0m \u001b[36mtx_aborted\u001b[0m=\u001b[35m0\u001b[0m \u001b[36mtx_committed\u001b[0m=\u001b[35m0\u001b[0m \u001b[36mtx_records_corrupt\u001b[0m=\u001b[35m0\u001b[0m \u001b[36mtx_records_dropped\u001b[0m=\u001b[35m0\u001b[0m\n\u001b[2m2026-10-27T15:11:14.885518Z\u001b[0m [\u001b[33m\u001b[1mwarning  \u001b[0m] \u001b[1mfile_too_large            ",
        "expected": "Ingested 207 files",
        "input": ".",
        "kind": "claim",
        "outcome": "Real input produced the expected result: Ingested 207 files",
        "returncode": 0,
        "source": "SMP parses your repository into a knowledge graph (memory-mapped, no database)",
        "source_checked": true,
        "source_file": "README.md",
        "verdict": "yes"
      }
    ],
    "cycle_checks": [
      {
        "claim": "Scheduled or looping main behavior",
        "command": "",
        "evidence": "Inspected README, CLI entry points, and repository scheduler references; SMP's documented behavior is explicit ingestion and query, with no product scheduler or recurring cycle.",
        "expected": "identify the product trigger",
        "input": "source inspection",
        "kind": "cycle",
        "outcome": "Inspected README, CLI entry points, and repository scheduler references; SMP's documented behavior is explicit ingestion and query, with no product scheduler or recurring cycle.",
        "source": "repository entry points",
        "verdict": "yes"
      }
    ],
    "details": {
      "argv": [
        "/tmp/smp-bin/smp",
        "ingest",
        ".",
        "--graph-path",
        "/tmp/smp-replay-graph.smpg",
        "--max-size",
        "100000"
      ],
      "kind": "cli",
      "needs_browser": false,
      "needs_credentials": false,
      "returncode": 0,
      "scope": "product operation",
      "stderr": "26-10-27T15:11:13.542849Z[0m [[32m[1minfo     [0m] [1mplaceholder_skipped_ambiguous_inherits[0m [[0m[1m[34msmp.store.graph.mmap_store[0m][0m [36mcandidates[0m=[35m0[0m [36mname[0m=[35mmsgspec.Struct[0m\n[2m2026-10-27T15:11:13.543349Z[0m [[32m[1minfo     [0m] [1mplaceholder_skipped_ambiguous_inherits[0m [[0m[1m[34msmp.store.graph.mmap_store[0m][0m [36mcandidates[0m=[35m0[0m [36mname[0m=[35mmsgspec.Struct[0m\n[2m2026-10-27T15:11:13.543822Z[0m [[32m[1minfo     [0m] [1mplaceholder_skipped_ambiguous_inherits[0m [[0m[1m[34msmp.store.graph.mmap_store[0m][0m [36mcandidates[0m=[35m0[0m [36mname[0m=[35mmsgspec.Struct[0m\n[2m2026-10-27T15:11:13.544243Z[0m [[32m[1minfo     [0m] [1mplaceholder_skipped_ambiguous_inherits[0m [[0m[1m[34msmp.store.graph.mmap_store[0m][0m [36mcandidates[0m=[35m0[0m [36mname[0m=[35mmsgspec.Struct[0m\n[2m2026-10-27T15:11:13.544739Z[0m [[32m[1minfo     [0m] [1mplaceholder_skipped_ambiguous_inherits[0m [[0m[1m[34msmp.store.graph.mmap_store[0m][0m [36mcandidates[0m=[35m0[0m [36mname[0m=[35mFileSystemEventHandler[0m\n[2m2026-10-27T15:11:13.545309Z[0m [[32m[1minfo     [0m] [1mplaceholder_skipped_ambiguous_inherits[0m [[0m[1m[34msmp.store.graph.mmap_store[0m][0m [36mcandidates[0\n[excerpt truncated]",
      "stdout": "\nIngested 207 files: 4506 nodes, 18495 edges, 0 errors",
      "working": true
    },
    "evidence_strength": "readme_checked",
    "example_checks": [
      {
        "claim": "Ingest repository into graph",
        "command": "/tmp/smp-bin/smp ingest . --graph-path /tmp/smp-example-graph.smpg --max-size 100000",
        "deferred": false,
        "evidence": "0m]\u001b[0m \u001b[36mdirectory\u001b[0m=\u001b[35m<guest-path> \u001b[36medges\u001b[0m=\u001b[35m18495\u001b[0m \u001b[36melapsed_s\u001b[0m=\u001b[35m3.83\u001b[0m \u001b[36merrors\u001b[0m=\u001b[35m0\u001b[0m \u001b[36mfiles\u001b[0m=\u001b[35m207\u001b[0m \u001b[36mgraph_path\u001b[0m=\u001b[35m/tmp/smp-example-graph.smpg\u001b[0m \u001b[36mlinked\u001b[0m=\u001b[35m12100\u001b[0m \u001b[36mnodes\u001b[0m=\u001b[35m4506\u001b[0m \u001b[36mphases\u001b[0m=\u001b[35m{'collect': 0.08, 'parse_apply': 3.63, 'apply': 1.21, 'count_edges': 0.0, 'resolve': 0.09}\u001b[0m \u001b[36mskipped\u001b[0m=\u001b[35m2\u001b[0m\n\u001b[2m2026-10-27T15:11:23.464107Z\u001b[0m [\u001b[32m\u001b[1minfo     \u001b[0m] \u001b[1mingest_closed                 \u001b[0m [\u001b[0m\u001b[1m\u001b[34msmp.cli\u001b[0m]\u001b[0m \u001b[36mclose_s\u001b[0m=\u001b[35m0.01\u001b[0m",
        "expected": "ingestion summary reports indexed files",
        "input": "repository root",
        "kind": "example",
        "outcome": "command completed successfully",
        "returncode": 0,
        "source": "README.md / How it works",
        "verdict": "yes"
      }
    ],
    "status": "PASS"
  },
  "deviations": [
    "Initial ingest failed because installed dependencies omitted tree-sitter-languages; installing that package in the installation venv corrected it.",
    "Installer reported a cosmetic stamp write warning because its default stamp path resolved to <guest-path>; installation and launchers succeeded."
  ],
  "fault_owner": null,
  "main_blocker": null,
  "operation": "Index the repository into SMP's graph",
  "operation_scope": "Installed SMP from the checkout with Python 3.12.3, then indexed the repository using the documented smp ingest command. The first attempt revealed the installed venv lacked tree-sitter-languages; installed it into that venv and reran successfully.",
  "outcome": "working",
  "plain_failure": null,
  "steps": [
    "Checked README requirements; Python 3.12.3 satisfies Python 3.11+.",
    "Ran bash install.sh --local --skip-skills --skip-mcp --dir /tmp/smp-home --bin-dir /tmp/smp-bin.",
    "Installed tree-sitter-languages in /tmp/smp-home/venv after the first ingest exposed its absence.",
    "Ran /tmp/smp-bin/smp ingest . --graph-path /tmp/smp-manual-graph.smpg --max-size 100000.",
    "Validated and replayed probe, README claim, example, and cycle evidence with the coldpass checker."
  ],
  "stuck_step": null,
  "suggested_fix": null
}