{
  "paths": [
    ".worktrees/hertz-307-evidence/crates/spt-daemon/tests/support/refresh_freeze/producer.py",
    ".worktrees/hertz-307-evidence/crates/spt-daemon/tests/fixtures/refresh_rig_fixture.rs"
  ],
  "interfaces": {
    "producer": "python producer.py --spt <absolute executable> --home <existing absolute isolated home> --id <endpoint> --session-id <session> [--period-ms 100]",
    "fixture": "refresh_rig_fixture sockets; explicit absolute SPT_HOME; stdout exactly production home, broker socket name, seed socket name on three lines",
    "evidence": "Preserved generator-bind.json, generator-input.jsonl, generator-state.json; PROG n generated_ms generation8; ACK tag ordinal generated_ms; STATE ordinal hashprefix16 generated_ms; full hash chain in ledger."
  },
  "behavior": "Stdlib-only real API bind. Input persistence precedes ACK enqueue; fsynced ledger and atomic state replacement never acquire stdout locks. Single FIFO writer preserves honest output backlog under blocking. No refresh-specific behavior or resident mutation.",
  "validation": "Not run: assignment explicitly prohibits builds/tests/linters/formatters. Main owns integrated compilation and execution."
}