# DIAL-URL coalgebraic theory construction

- **Registry ID:** `ic-dial-url`
- **Book:** Infinitesimal Creativity
- **Documentation status:** `local-curated`
- **Experimental status:** registered five-rung ladder
- **Canonical documentation URL:** https://categorical-ai.sridharmahadevan.com/experiments/ic-dial-url

## Purpose

Exact type recovery, finite trajectories, active discrimination, grammar synthesis, and a withheld composition law.

## Book location

- Chapter 15: Mathematical Theory Construction

## Documented studies

- No study-level titles are registered; consult the family-level record.

## Associated code packages

- `synthetic-creativity-archive` — Infinitesimal Creativity registered experiment archive; **local-curated**; license decision pending. Registered, developmental, negative, and transport experiment directories underlying Chapters 10–19. Public packets require separate provenance, dependency, rights, and privacy review.

## Start here

These concrete files are selected from the complete resolved source surface. They orient the reader; they are not a claim that every family is independently reproducible.

- **runner · staged-not-public** — `synthetic-creativity-archive:2026-08-19_dial_url_0_exact_type_recovery_registered/run_dial_url_0.py`. Locate this file in the curated companion packet; no public download is currently offered.
- **runner · staged-not-public** — `synthetic-creativity-archive:2026-08-19_dial_url_1_finite_trajectory_registered/run_dial_url_1.py`. Locate this file in the curated companion packet; no public download is currently offered.
- **runner · staged-not-public** — `synthetic-creativity-archive:2026-08-19_dial_url_2_active_discrimination/run_dial_url_2.py`. Locate this file in the curated companion packet; no public download is currently offered.
- **runner · staged-not-public** — `synthetic-creativity-archive:2026-08-19_dial_url_3_grammar_synthesis/run_dial_url_3.py`. Locate this file in the curated companion packet; no public download is currently offered.

## Entry points

- `run.py in each packet`

## Result artifacts

- `RESULTS.md`
- `PREREGISTRATION.md`

## Resolved code surfaces (5)

- **runner** — `synthetic-creativity-archive:2026-08-19_dial_url_0_exact_type_recovery_registered/run_dial_url_0.py`
- **runner** — `synthetic-creativity-archive:2026-08-19_dial_url_1_finite_trajectory_registered/run_dial_url_1.py`
- **runner** — `synthetic-creativity-archive:2026-08-19_dial_url_2_active_discrimination/run_dial_url_2.py`
- **runner** — `synthetic-creativity-archive:2026-08-19_dial_url_3_grammar_synthesis/run_dial_url_3.py`
- **runner** — `synthetic-creativity-archive:2026-08-19_dial_url_4_withheld_composition_law/run_dial_url_4.py`

## Frozen run records (5)

- `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`

## Evidence boundary

The final rung misses its hardest prespecified endpoint; no reported run constructs the full reusable coalgebraic learning theory.

A code or artifact link establishes traceability. It does not by itself establish independent reproduction, statistical adequacy, correctness, or support for a claim beyond this boundary.