{
  "corpus_id": "SREG-PILOT-001-018",
  "status": "PILOT",
  "protocol_mapping": "Retrospective mapping to SREG-F08-v0.1; not pre-registered",
  "source_file": "SREG_Play_Log_001-018_Canonical.md",
  "source_sha256": "492116e0b8496ec471281aaf12dfacc7e23122befc20e6da10856ee0b2447dca",
  "runs": 18,
  "states": 1080,
  "state_range": [
    1,
    1080
  ],
  "confirmatory_status": false,
  "known_limitations": [
    "Single lineage / non-independent sequential continuation",
    "No pre-registered universe manifest",
    "No controlled cross-model matrix",
    "No clean-room removal of pretrained mathematical prior",
    "No formal proof certificate for every state transition",
    "No prospective ART/FDT suite",
    "Established mathematical vocabulary appears throughout the trace"
  ],
  "recommended_use": [
    "motif discovery",
    "candidate operator extraction",
    "proof-debt mining",
    "closure-pattern discovery",
    "seed design for confirmatory multi-universe experiments"
  ]
}