Experimental contract
What this family tests
registered symbolic-law construction 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
- Experiment: AI Feynman extension benchmark.6.14 A four-level symbolic-discovery challenge · proposed · proposed benchmark to reference family
- Experiment: Cellular-automaton emergence benchmark.15.11 Cellular-automaton theory induction · proposed · proposed benchmark to reference family
- Experiment: AGENTIC-MATH–0.15.12 An integrated 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:af0_categorical_feynman.pyLocate this file in the curated companion packet; no public download is currently offered. - runner · staged-not-public —
synthetic-creativity-archive:af1_ambiguous_active_feynman.pyLocate this file in the curated companion packet; no public download is currently offered. - runner · staged-not-public —
synthetic-creativity-archive:af2_unnamed_generator.pyLocate this file in the curated companion packet; no public download is currently offered. - runner · staged-not-public —
synthetic-creativity-archive:af3_sequential_generator_probes.pyLocate this file in the curated companion packet; no public download is currently offered.
Author-declared entry points
named AF scripts and packet drivers
Resolved code
runner · 6
synthetic-creativity-archive:af0_categorical_feynman.pysynthetic-creativity-archive:af1_ambiguous_active_feynman.pysynthetic-creativity-archive:af2_unnamed_generator.pysynthetic-creativity-archive:af3_sequential_generator_probes.pysynthetic-creativity-archive:af4_open_generator_search.pysynthetic-creativity-archive:af5_proposal_aware_active.py
Evidence record
Artifacts and frozen runs
Result artifacts
GPT_OSS_20B_REPORT.mdRESULTS.md
Run records
10 registered runs
2026-08-07_af0_categorical_feynman_registered2026-08-07_af0_categorical_feynman_v2_registered2026-08-07_af1_ambiguous_active_feynman_registered2026-08-07_af2_unnamed_generator_registered2026-08-07_af2_unnamed_generator_v2_registered2026-08-07_af3_sequential_generator_probes_registered2026-08-07_af3_sequential_generator_probes_registered_v22026-08-07_af4_open_generator_search_registered2026-08-07_af4_open_generator_search_registered_v22026-08-07_af5_proposal_aware_active_registered
Evidence boundary
Superseded runs remain diagnostic records and are excluded from the reported endpoints for stated protocol defects.
This registry links the experiments reported by the three books to their executable or archived code surfaces. A code link establishes traceability, not independent reproduction, correctness, or support for a claim beyond the experiment's stated boundary.