Corpus-to-testable-theory construction

Experimental contract

What this family tests

registered six-study 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: CTTE–0: source-ledger theory construction.17.8.1 Source discipline (CTTE–0) · reported result or audit · direct family
2. Experiment: CTTE–1: alias registration under uncertainty.17.8.2 Entity registration (CTTE–1) · reported result or audit · direct family
3. Experiment: CTTE–2: inferred context covers.17.8.3 Context-cover construction (CTTE–2) · reported result or audit · direct family
4. Experiment: CTTE–3: active acquisition of a missing overlap.17.8.4 Active overlap acquisition (CTTE–3) · reported result or audit · direct family
5. Experiment: CTTE–4: finite sketch extension and probe synthesis.17.8.5 Missing-presentation construction (CTTE–4) · reported result or audit · direct family
6. Experiment: CTTE–5: provenance-safe domain transport.17.8.6 Cross-domain transport (CTTE–5) · reported result or audit · direct family
7. Experiment: AGENTIC-CORPUS–0.17.13 Toward an integrated open-domain benchmark · proposed · proposed benchmark to reference 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-20_ctte0_generated_corpus_registered/run.pyLocate this file in the curated companion packet; no public download is currently offered.
• runner · staged-not-public — synthetic-creativity-archive:2026-08-20_ctte1_alias_registration_registered/run.pyLocate this file in the curated companion packet; no public download is currently offered.
• runner · staged-not-public — synthetic-creativity-archive:2026-08-20_ctte2_context_cover_registered/run.pyLocate this file in the curated companion packet; no public download is currently offered.
• runner · staged-not-public — synthetic-creativity-archive:2026-08-20_ctte3_active_acquisition_registered/run.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
• registration.json

Run records