{
  "id": "ic-dial-url",
  "title": "DIAL-URL coalgebraic theory construction",
  "bookId": "infinitesimal-creativity",
  "chapters": [
    15
  ],
  "status": "registered five-rung ladder",
  "summary": "Exact type recovery, finite trajectories, active discrimination, grammar synthesis, and a withheld composition law.",
  "boundary": "The final rung misses its hardest prespecified endpoint; no reported run constructs the full reusable coalgebraic learning theory.",
  "packageIds": [
    "synthetic-creativity-archive"
  ],
  "entryPoints": [
    "run.py in each packet"
  ],
  "resultArtifacts": [
    "RESULTS.md",
    "PREREGISTRATION.md"
  ],
  "documentationStatus": "local-curated",
  "runs": [
    "2026-08-19_dial_url_0_exact_type_recovery_registered",
    "2026-08-19_dial_url_1_finite_trajectory_registered",
    "2026-08-19_dial_url_2_active_discrimination",
    "2026-08-19_dial_url_3_grammar_synthesis",
    "2026-08-19_dial_url_4_withheld_composition_law"
  ],
  "runCount": 5,
  "codeRecords": [
    {
      "packageId": "synthetic-creativity-archive",
      "role": "runner",
      "path": "2026-08-19_dial_url_0_exact_type_recovery_registered/run_dial_url_0.py",
      "publicUrl": null
    },
    {
      "packageId": "synthetic-creativity-archive",
      "role": "runner",
      "path": "2026-08-19_dial_url_1_finite_trajectory_registered/run_dial_url_1.py",
      "publicUrl": null
    },
    {
      "packageId": "synthetic-creativity-archive",
      "role": "runner",
      "path": "2026-08-19_dial_url_2_active_discrimination/run_dial_url_2.py",
      "publicUrl": null
    },
    {
      "packageId": "synthetic-creativity-archive",
      "role": "runner",
      "path": "2026-08-19_dial_url_3_grammar_synthesis/run_dial_url_3.py",
      "publicUrl": null
    },
    {
      "packageId": "synthetic-creativity-archive",
      "role": "runner",
      "path": "2026-08-19_dial_url_4_withheld_composition_law/run_dial_url_4.py",
      "publicUrl": null
    }
  ],
  "codeRecordCount": 5,
  "startHere": [
    {
      "packageId": "synthetic-creativity-archive",
      "path": "2026-08-19_dial_url_0_exact_type_recovery_registered/run_dial_url_0.py",
      "role": "runner",
      "publicUrl": null,
      "availability": "staged-not-public",
      "readerAction": "Locate this file in the curated companion packet; no public download is currently offered.",
      "packageStatus": "local-curated"
    },
    {
      "packageId": "synthetic-creativity-archive",
      "path": "2026-08-19_dial_url_1_finite_trajectory_registered/run_dial_url_1.py",
      "role": "runner",
      "publicUrl": null,
      "availability": "staged-not-public",
      "readerAction": "Locate this file in the curated companion packet; no public download is currently offered.",
      "packageStatus": "local-curated"
    },
    {
      "packageId": "synthetic-creativity-archive",
      "path": "2026-08-19_dial_url_2_active_discrimination/run_dial_url_2.py",
      "role": "runner",
      "publicUrl": null,
      "availability": "staged-not-public",
      "readerAction": "Locate this file in the curated companion packet; no public download is currently offered.",
      "packageStatus": "local-curated"
    },
    {
      "packageId": "synthetic-creativity-archive",
      "path": "2026-08-19_dial_url_3_grammar_synthesis/run_dial_url_3.py",
      "role": "runner",
      "publicUrl": null,
      "availability": "staged-not-public",
      "readerAction": "Locate this file in the curated companion packet; no public download is currently offered.",
      "packageStatus": "local-curated"
    }
  ],
  "startHereCount": 4
}