# GLP-1 theory and grant construction

- **Registry ID:** `ic-glp1`
- **Book:** Infinitesimal Creativity
- **Documentation status:** `local-curated`
- **Experimental status:** registered pilots and proposal-realization ladder
- **Canonical documentation URL:** https://categorical-ai.sridharmahadevan.com/experiments/ic-glp1

## Purpose

Hidden-context pilots, semantic admission, typed IR, cross-field invariants, auditable realization, length bounds, and controlled paraphrase.

## Book location

- Chapter 17: From Scientific Documents to Testable Theories

## 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-20_glp1_grant0_program_compilation_registered/run.py`. Locate this file in the curated companion packet; no public download is currently offered.
- **runner · staged-not-public** — `synthetic-creativity-archive:2026-08-20_glp1_grant1_semantic_firewall_registered/run.py`. Locate this file in the curated companion packet; no public download is currently offered.
- **runner · staged-not-public** — `synthetic-creativity-archive:2026-08-20_glp1_grant2_typed_ir_roundtrip_registered/run.py`. Locate this file in the curated companion packet; no public download is currently offered.
- **runner · staged-not-public** — `synthetic-creativity-archive:2026-08-20_glp1_grant3_cross_field_invariants_registered/run.py`. Locate this file in the curated companion packet; no public download is currently offered.

## Entry points

- `run.py in registered packets`

## Result artifacts

- `RESULTS.md`
- `MANUAL_SEMANTIC_AUDIT.md`
- `auditable_proposal_clean.md`

## Resolved code surfaces (11)

- **runner** — `synthetic-creativity-archive:2026-08-20_glp1_grant0_program_compilation_registered/run.py`
- **runner** — `synthetic-creativity-archive:2026-08-20_glp1_grant1_semantic_firewall_registered/run.py`
- **runner** — `synthetic-creativity-archive:2026-08-20_glp1_grant2_typed_ir_roundtrip_registered/run.py`
- **runner** — `synthetic-creativity-archive:2026-08-20_glp1_grant3_cross_field_invariants_registered/run.py`
- **runner** — `synthetic-creativity-archive:2026-08-20_glp1_grant4_1_sanitized_realization_registered/run.py`
- **runner** — `synthetic-creativity-archive:2026-08-20_glp1_grant4_2_structure_first_realization_registered/run.py`
- **runner** — `synthetic-creativity-archive:2026-08-20_glp1_grant4_3_bounded_realization_registered/run.py`
- **runner** — `synthetic-creativity-archive:2026-08-20_glp1_grant4_4_controlled_paraphrase_registered/run.py`
- **runner** — `synthetic-creativity-archive:2026-08-20_glp1_grant4_auditable_realization_registered/run.py`
- **runner** — `synthetic-creativity-archive:2026-08-20_glp1_pilot0_withdrawal_context_registered/run.py`
- **runner** — `synthetic-creativity-archive:2026-08-20_glp1_pilot1_hidden_context_registered/run.py`

## Frozen run records (11)

- `2026-08-20_glp1_grant0_program_compilation_registered`
- `2026-08-20_glp1_grant1_semantic_firewall_registered`
- `2026-08-20_glp1_grant2_typed_ir_roundtrip_registered`
- `2026-08-20_glp1_grant3_cross_field_invariants_registered`
- `2026-08-20_glp1_grant4_1_sanitized_realization_registered`
- `2026-08-20_glp1_grant4_2_structure_first_realization_registered`
- `2026-08-20_glp1_grant4_3_bounded_realization_registered`
- `2026-08-20_glp1_grant4_4_controlled_paraphrase_registered`
- `2026-08-20_glp1_grant4_auditable_realization_registered`
- `2026-08-20_glp1_pilot0_withdrawal_context_registered`
- `2026-08-20_glp1_pilot1_hidden_context_registered`

## Evidence boundary

Formal gate passage is not scientific correctness, fundability, or evidence of improved prose; the negative evaluator results remain explicit.

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.