{
  "iter_id": "it.3",
  "date": "2026-05-15",
  "mode": "standard",
  "outcome": "BLOCKED",
  "tasks_total": 7,
  "tasks_completed": 1,
  "reloops_per_task": { "1": 0 },
  "review_loops_spec": 0,
  "review_loops_quality": 0,
  "blocked_reason": "spec-ambiguous",
  "blocked_detail": {
    "task": 1,
    "boundary": "Task-1.3 spec-delegated sweep -> Task-2 migration",
    "signal": "6 corpus fixtures contain a recursive fn that is neither structural recursion (no ADT param) nor expressible as (loop)/recur (double non-tail recursion building a binary Tree on an Int depth counter); fires NonStructuralRecursion once Task 4 removes the no-ADT-candidate skip; DD-3 forbids softening Task 4 or restoring the exemption; carrier forbids reshaping the LLM-natural fixture",
    "fixtures": [
      "examples/bench_tree_walk.ail::build_tree",
      "examples/bench_latency_explicit.ail::build_tree",
      "examples/bench_latency_implicit.ail::build_tree",
      "examples/rc_let_owned_app_leak.ail::build",
      "examples/rc_pin_recurse_implicit.ail::build",
      "examples/rc_let_alias_implicit_param.ail::build"
    ]
  },
  "task1_enumeration": {
    "fixtures_classified": 40,
    "oracles_captured": 40,
    "class_a_tail_app_files": 23,
    "no_adt_loop_migratable_fns": 13,
    "no_adt_blocked_tree_recursion_fns": 6,
    "structural_no_migration_fixtures": 22
  },
  "rc_rss_gate_reached": false,
  "task_5b_needed": null,
  "production_code_modified": false,
  "working_tree_artifacts": ["bench/it3-oracle/MANIFEST.tsv", "bench/it3-oracle/*.out (40)"]
}
