# CLIC / DIAL-SKFM

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

## Purpose

Exact closure repair, finite operator uncertainty, active counter-witness acquisition, and unsupported-alternative posterior studies.

## Book location

- Chapter 11: Causal Learning with Infinitesimal Creativity

## 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.
- `lincs-bridge-skfm` — [LINCS BRIDGE/SKFM package](https://github.com/sridharmahadevan/LINCS/tree/c78bfe50ded8d40db90c614e40dd2e0e146a9875/packages/bridge_skfm); **public**; Apache-2.0. Lie-bracket screening and SKFM causal-discovery experiments.

## 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.

- **implementation · staged-not-public** — `synthetic-creativity-archive:dial_skfm_1a_exact_closure_repair.py`. Locate this file in the curated companion packet; no public download is currently offered.
- **base-system · public-pinned** — [`lincs-bridge-skfm:kan_do_dcdi/experiments/bridge_hybrid_random_dag.py`](https://github.com/sridharmahadevan/LINCS/blob/c78bfe50ded8d40db90c614e40dd2e0e146a9875/packages/bridge_skfm/kan_do_dcdi/experiments/bridge_hybrid_random_dag.py). Open the pinned public source file.
- **implementation · staged-not-public** — `synthetic-creativity-archive:dial_skfm_1b_finite_operator_uncertainty.py`. Locate this file in the curated companion packet; no public download is currently offered.
- **implementation · staged-not-public** — `synthetic-creativity-archive:dial_skfm_1c_active_counterwitness.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`
- `completion.json`
- `STATUS.md`

## Resolved code surfaces (32)

- **base-system** — [`lincs-bridge-skfm:kan_do_dcdi/experiments/bridge_hybrid_random_dag.py`](https://github.com/sridharmahadevan/LINCS/blob/c78bfe50ded8d40db90c614e40dd2e0e146a9875/packages/bridge_skfm/kan_do_dcdi/experiments/bridge_hybrid_random_dag.py)
- **base-system** — [`lincs-bridge-skfm:kan_do_dcdi/experiments/bridge_hybrid_random_dag_latent.py`](https://github.com/sridharmahadevan/LINCS/blob/c78bfe50ded8d40db90c614e40dd2e0e146a9875/packages/bridge_skfm/kan_do_dcdi/experiments/bridge_hybrid_random_dag_latent.py)
- **base-system** — [`lincs-bridge-skfm:kan_do_dcdi/experiments/info_geometry_exp1_chain.py`](https://github.com/sridharmahadevan/LINCS/blob/c78bfe50ded8d40db90c614e40dd2e0e146a9875/packages/bridge_skfm/kan_do_dcdi/experiments/info_geometry_exp1_chain.py)
- **base-system** — [`lincs-bridge-skfm:kan_do_dcdi/experiments/info_geometry_exp2_latent_fork.py`](https://github.com/sridharmahadevan/LINCS/blob/c78bfe50ded8d40db90c614e40dd2e0e146a9875/packages/bridge_skfm/kan_do_dcdi/experiments/info_geometry_exp2_latent_fork.py)
- **base-system** — [`lincs-bridge-skfm:kan_do_dcdi/experiments/info_geometry_latent_dag_motifs.py`](https://github.com/sridharmahadevan/LINCS/blob/c78bfe50ded8d40db90c614e40dd2e0e146a9875/packages/bridge_skfm/kan_do_dcdi/experiments/info_geometry_latent_dag_motifs.py)
- **base-system** — [`lincs-bridge-skfm:kan_do_dcdi/experiments/info_geometry_latent_demo.py`](https://github.com/sridharmahadevan/LINCS/blob/c78bfe50ded8d40db90c614e40dd2e0e146a9875/packages/bridge_skfm/kan_do_dcdi/experiments/info_geometry_latent_demo.py)
- **base-system** — [`lincs-bridge-skfm:kan_do_dcdi/experiments/info_geometry_pruned_size_sweep.py`](https://github.com/sridharmahadevan/LINCS/blob/c78bfe50ded8d40db90c614e40dd2e0e146a9875/packages/bridge_skfm/kan_do_dcdi/experiments/info_geometry_pruned_size_sweep.py)
- **base-system** — [`lincs-bridge-skfm:kan_do_dcdi/experiments/info_geometry_pruned_stress_test.py`](https://github.com/sridharmahadevan/LINCS/blob/c78bfe50ded8d40db90c614e40dd2e0e146a9875/packages/bridge_skfm/kan_do_dcdi/experiments/info_geometry_pruned_stress_test.py)
- **base-system** — [`lincs-bridge-skfm:kan_do_dcdi/experiments/info_geometry_s9.py`](https://github.com/sridharmahadevan/LINCS/blob/c78bfe50ded8d40db90c614e40dd2e0e146a9875/packages/bridge_skfm/kan_do_dcdi/experiments/info_geometry_s9.py)
- **base-system** — [`lincs-bridge-skfm:kan_do_dcdi/experiments/info_geometry_sachs.py`](https://github.com/sridharmahadevan/LINCS/blob/c78bfe50ded8d40db90c614e40dd2e0e146a9875/packages/bridge_skfm/kan_do_dcdi/experiments/info_geometry_sachs.py)
- **base-system** — [`lincs-bridge-skfm:kan_do_dcdi/experiments/j_sheaf_regimes.py`](https://github.com/sridharmahadevan/LINCS/blob/c78bfe50ded8d40db90c614e40dd2e0e146a9875/packages/bridge_skfm/kan_do_dcdi/experiments/j_sheaf_regimes.py)
- **base-system** — [`lincs-bridge-skfm:kan_do_dcdi/experiments/j_sheaf_regimes_fast.py`](https://github.com/sridharmahadevan/LINCS/blob/c78bfe50ded8d40db90c614e40dd2e0e146a9875/packages/bridge_skfm/kan_do_dcdi/experiments/j_sheaf_regimes_fast.py)
- **base-system** — [`lincs-bridge-skfm:kan_do_dcdi/experiments/kan_do_info_geometry_pruned.py`](https://github.com/sridharmahadevan/LINCS/blob/c78bfe50ded8d40db90c614e40dd2e0e146a9875/packages/bridge_skfm/kan_do_dcdi/experiments/kan_do_info_geometry_pruned.py)
- **base-system** — [`lincs-bridge-skfm:kan_do_dcdi/experiments/kan_do_lincs.py`](https://github.com/sridharmahadevan/LINCS/blob/c78bfe50ded8d40db90c614e40dd2e0e146a9875/packages/bridge_skfm/kan_do_dcdi/experiments/kan_do_lincs.py)
- **base-system** — [`lincs-bridge-skfm:kan_do_dcdi/experiments/kan_do_pisa2022.py`](https://github.com/sridharmahadevan/LINCS/blob/c78bfe50ded8d40db90c614e40dd2e0e146a9875/packages/bridge_skfm/kan_do_dcdi/experiments/kan_do_pisa2022.py)
- **base-system** — [`lincs-bridge-skfm:kan_do_dcdi/experiments/kan_do_s9.py`](https://github.com/sridharmahadevan/LINCS/blob/c78bfe50ded8d40db90c614e40dd2e0e146a9875/packages/bridge_skfm/kan_do_dcdi/experiments/kan_do_s9.py)
- **base-system** — [`lincs-bridge-skfm:kan_do_dcdi/experiments/kan_do_s9_multivar.py`](https://github.com/sridharmahadevan/LINCS/blob/c78bfe50ded8d40db90c614e40dd2e0e146a9875/packages/bridge_skfm/kan_do_dcdi/experiments/kan_do_s9_multivar.py)
- **base-system** — [`lincs-bridge-skfm:kan_do_dcdi/experiments/kan_do_synth_linear.py`](https://github.com/sridharmahadevan/LINCS/blob/c78bfe50ded8d40db90c614e40dd2e0e146a9875/packages/bridge_skfm/kan_do_dcdi/experiments/kan_do_synth_linear.py)
- **base-system** — [`lincs-bridge-skfm:kan_do_dcdi/experiments/lie_space_intervention_smoke.py`](https://github.com/sridharmahadevan/LINCS/blob/c78bfe50ded8d40db90c614e40dd2e0e146a9875/packages/bridge_skfm/kan_do_dcdi/experiments/lie_space_intervention_smoke.py)
- **base-system** — [`lincs-bridge-skfm:kan_do_dcdi/experiments/sachs_miniexp.py`](https://github.com/sridharmahadevan/LINCS/blob/c78bfe50ded8d40db90c614e40dd2e0e146a9875/packages/bridge_skfm/kan_do_dcdi/experiments/sachs_miniexp.py)
- **base-system** — [`lincs-bridge-skfm:kan_do_dcdi/experiments/sachs_miniexp_enhanced.py`](https://github.com/sridharmahadevan/LINCS/blob/c78bfe50ded8d40db90c614e40dd2e0e146a9875/packages/bridge_skfm/kan_do_dcdi/experiments/sachs_miniexp_enhanced.py)
- **base-system** — [`lincs-bridge-skfm:kan_do_dcdi/experiments/sheaf_glue.py`](https://github.com/sridharmahadevan/LINCS/blob/c78bfe50ded8d40db90c614e40dd2e0e146a9875/packages/bridge_skfm/kan_do_dcdi/experiments/sheaf_glue.py)
- **base-system** — [`lincs-bridge-skfm:kan_do_dcdi/experiments/skfm_algorithm2_compare.py`](https://github.com/sridharmahadevan/LINCS/blob/c78bfe50ded8d40db90c614e40dd2e0e146a9875/packages/bridge_skfm/kan_do_dcdi/experiments/skfm_algorithm2_compare.py)
- **base-system** — [`lincs-bridge-skfm:kan_do_dcdi/experiments/skfm_bridge_runtime_scaling.py`](https://github.com/sridharmahadevan/LINCS/blob/c78bfe50ded8d40db90c614e40dd2e0e146a9875/packages/bridge_skfm/kan_do_dcdi/experiments/skfm_bridge_runtime_scaling.py)
- **base-system** — [`lincs-bridge-skfm:kan_do_dcdi/experiments/skfm_stage1_compare.py`](https://github.com/sridharmahadevan/LINCS/blob/c78bfe50ded8d40db90c614e40dd2e0e146a9875/packages/bridge_skfm/kan_do_dcdi/experiments/skfm_stage1_compare.py)
- **base-system** — [`lincs-bridge-skfm:kan_do_dcdi/experiments/synthetic_linear_gaussian.py`](https://github.com/sridharmahadevan/LINCS/blob/c78bfe50ded8d40db90c614e40dd2e0e146a9875/packages/bridge_skfm/kan_do_dcdi/experiments/synthetic_linear_gaussian.py)
- **implementation** — `synthetic-creativity-archive:dial_skfm_1a_exact_closure_repair.py`
- **implementation** — `synthetic-creativity-archive:dial_skfm_1b_finite_operator_uncertainty.py`
- **implementation** — `synthetic-creativity-archive:dial_skfm_1c_active_counterwitness.py`
- **implementation** — `synthetic-creativity-archive:dial_skfm_1d_explicit_alternative_posterior.py`
- **implementation** — `synthetic-creativity-archive:dial_skfm_factored.py`
- **implementation** — `synthetic-creativity-archive:dial_skfm_typed_transducer.py`

## Frozen run records (7)

- `2026-08-11_dial_skfm_factored_registered`
- `2026-08-11_dial_skfm_typed_transducer_registered`
- `2026-08-13_dial_skfm_1a_exact_closure_repair_v1_registered`
- `2026-08-14_dial_skfm_1b_finite_operator_uncertainty_v1_registered`
- `2026-08-14_dial_skfm_1b_finite_operator_uncertainty_v2_registered`
- `2026-08-14_dial_skfm_1c_active_counterwitness_v1_registered`
- `2026-08-14_dial_skfm_1d_explicit_alternative_posterior_v1_registered`

## Evidence boundary

Only the exact rung meets its registered admission target; later uncertainty studies retain their negative decisions.

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.