DIAL-URL coalgebraic theory construction

Experimental contract

What this family tests

registered five-rung ladder

The current catalog registers this at family and run level rather than assigning separate study titles.

Book-to-code crosswalk

The highlighted Experiment cards covered here

1. Experiment: DIAL-URL–0: Exact Coalgebra-Type Recovery.15.13.7 In what sense is this theory construction? · reported result or audit · direct family
2. Experiment: DIAL-URL–1: Finite-Trajectory Accommodation.15.13.8 Finite-trajectory accommodation · reported result or audit · direct family
3. Experiment: DIAL-URL–2: Active Coalgebraic Discrimination.15.13.9 Active coalgebraic discrimination · reported result or audit · direct family
4. Experiment: DIAL-URL–3: Behavior-Functor Grammar Synthesis.15.13.10 From named families to functor expressions · reported result or audit · direct family
5. Experiment: DIAL-URL–4: Withheld Comparison-Law Discovery.15.13.11 Discovering a withheld composition law · reported result or audit · direct family

Implementation map

From entry point to source surface

Start here

These concrete files are selected from the complete registered source surface to orient the reader.

• runner · staged-not-public — synthetic-creativity-archive:2026-08-19_dial_url_0_exact_type_recovery_registered/run_dial_url_0.pyLocate 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.pyLocate 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.pyLocate 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.pyLocate this file in the curated companion packet; no public download is currently offered.

Author-declared entry points

• run.py in each packet

Resolved code

Evidence record

Artifacts and frozen runs

Result artifacts

• RESULTS.md
• PREREGISTRATION.md

Run records