# Categorical AI-Feynman ladder

- **Registry ID:** `ic-ai-feynman`
- **Book:** Infinitesimal Creativity
- **Documentation status:** `local-curated`
- **Experimental status:** registered symbolic-law construction ladder
- **Canonical documentation URL:** https://categorical-ai.sridharmahadevan.com/experiments/ic-ai-feynman

## Purpose

Categorical symbolic regression, ambiguity, unnamed generators, sequential probes, open generator search, and proposal-aware acquisition.

## 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:af0_categorical_feynman.py`. Locate this file in the curated companion packet; no public download is currently offered.
- **runner · staged-not-public** — `synthetic-creativity-archive:af1_ambiguous_active_feynman.py`. Locate this file in the curated companion packet; no public download is currently offered.
- **runner · staged-not-public** — `synthetic-creativity-archive:af2_unnamed_generator.py`. Locate this file in the curated companion packet; no public download is currently offered.
- **runner · staged-not-public** — `synthetic-creativity-archive:af3_sequential_generator_probes.py`. Locate this file in the curated companion packet; no public download is currently offered.

## Entry points

- `named AF scripts and packet drivers`

## Result artifacts

- `GPT_OSS_20B_REPORT.md`
- `RESULTS.md`

## Resolved code surfaces (6)

- **runner** — `synthetic-creativity-archive:af0_categorical_feynman.py`
- **runner** — `synthetic-creativity-archive:af1_ambiguous_active_feynman.py`
- **runner** — `synthetic-creativity-archive:af2_unnamed_generator.py`
- **runner** — `synthetic-creativity-archive:af3_sequential_generator_probes.py`
- **runner** — `synthetic-creativity-archive:af4_open_generator_search.py`
- **runner** — `synthetic-creativity-archive:af5_proposal_aware_active.py`

## Frozen run records (10)

- `2026-08-07_af0_categorical_feynman_registered`
- `2026-08-07_af0_categorical_feynman_v2_registered`
- `2026-08-07_af1_ambiguous_active_feynman_registered`
- `2026-08-07_af2_unnamed_generator_registered`
- `2026-08-07_af2_unnamed_generator_v2_registered`
- `2026-08-07_af3_sequential_generator_probes_registered`
- `2026-08-07_af3_sequential_generator_probes_registered_v2`
- `2026-08-07_af4_open_generator_search_registered`
- `2026-08-07_af4_open_generator_search_registered_v2`
- `2026-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.

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.