[
  {
    "local_id": "C1",
    "type": "resource",
    "core": true,
    "statement": "Among 277 consecutive retained Crohn’s specimen intervals under the specified read-filtered, species-relative-abundance-decline and paired-transcript eligibility rules, EC 2.8.3.8, 2.7.2.7, 2.8.3.9 and 2.3.1.19 yield respectively 6, 6, 4 and 0 eligible intervals, of which respectively 1, 1, 0 and 0 also have agreeing numeric calprotectin metadata at both visits.",
    "evidence": [
      {
        "result": "R1.intervals",
        "produced_by": "code/run.py"
      },
      {
        "result": "R1.eligible_events",
        "produced_by": "code/run.py"
      },
      {
        "result": "R1.eligible_fecalcal",
        "produced_by": "code/run.py"
      },
      {
        "result": "validation.all_agree",
        "produced_by": "code/run.py"
      }
    ],
    "depends_on": [],
    "falsified_if": "A rerun of the declared source bytes and eligibility rules produces different interval or biomarker-availability counts.",
    "confidence": 0.98
  }
]