Experimental contract
What this family tests
registered causal-learning 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: DIAL-SKFM–1A.11.2 Exact closure and typed repair · reported result or audit · direct chapter family
- Experiment: DIAL-SKFM–1B.11.3 Finite operators and propagated uncertainty · reported result or audit · direct chapter family
- Experiment: DIAL-SKFM–1C.11.4 Active counter-witness interventions · reported result or audit · direct chapter family
- Experiment: DIAL-SKFM–1D.11.5 Explicit alternative posteriors · reported result or audit · direct chapter 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.
- implementation · staged-not-public —
synthetic-creativity-archive:dial_skfm_1a_exact_closure_repair.pyLocate 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↗Open the pinned public source file. - implementation · staged-not-public —
synthetic-creativity-archive:dial_skfm_1b_finite_operator_uncertainty.pyLocate 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.pyLocate this file in the curated companion packet; no public download is currently offered.
Author-declared entry points
run.py in registered packets
Resolved code
base-system · 26
lincs-bridge-skfm:kan_do_dcdi/experiments/bridge_hybrid_random_dag.py↗lincs-bridge-skfm:kan_do_dcdi/experiments/bridge_hybrid_random_dag_latent.py↗lincs-bridge-skfm:kan_do_dcdi/experiments/info_geometry_exp1_chain.py↗lincs-bridge-skfm:kan_do_dcdi/experiments/info_geometry_exp2_latent_fork.py↗lincs-bridge-skfm:kan_do_dcdi/experiments/info_geometry_latent_dag_motifs.py↗lincs-bridge-skfm:kan_do_dcdi/experiments/info_geometry_latent_demo.py↗lincs-bridge-skfm:kan_do_dcdi/experiments/info_geometry_pruned_size_sweep.py↗lincs-bridge-skfm:kan_do_dcdi/experiments/info_geometry_pruned_stress_test.py↗lincs-bridge-skfm:kan_do_dcdi/experiments/info_geometry_s9.py↗lincs-bridge-skfm:kan_do_dcdi/experiments/info_geometry_sachs.py↗lincs-bridge-skfm:kan_do_dcdi/experiments/j_sheaf_regimes.py↗lincs-bridge-skfm:kan_do_dcdi/experiments/j_sheaf_regimes_fast.py↗lincs-bridge-skfm:kan_do_dcdi/experiments/kan_do_info_geometry_pruned.py↗lincs-bridge-skfm:kan_do_dcdi/experiments/kan_do_lincs.py↗lincs-bridge-skfm:kan_do_dcdi/experiments/kan_do_pisa2022.py↗lincs-bridge-skfm:kan_do_dcdi/experiments/kan_do_s9.py↗lincs-bridge-skfm:kan_do_dcdi/experiments/kan_do_s9_multivar.py↗lincs-bridge-skfm:kan_do_dcdi/experiments/kan_do_synth_linear.py↗lincs-bridge-skfm:kan_do_dcdi/experiments/lie_space_intervention_smoke.py↗lincs-bridge-skfm:kan_do_dcdi/experiments/sachs_miniexp.py↗lincs-bridge-skfm:kan_do_dcdi/experiments/sachs_miniexp_enhanced.py↗lincs-bridge-skfm:kan_do_dcdi/experiments/sheaf_glue.py↗lincs-bridge-skfm:kan_do_dcdi/experiments/skfm_algorithm2_compare.py↗lincs-bridge-skfm:kan_do_dcdi/experiments/skfm_bridge_runtime_scaling.py↗lincs-bridge-skfm:kan_do_dcdi/experiments/skfm_stage1_compare.py↗lincs-bridge-skfm:kan_do_dcdi/experiments/synthetic_linear_gaussian.py↗
implementation · 6
synthetic-creativity-archive:dial_skfm_1a_exact_closure_repair.pysynthetic-creativity-archive:dial_skfm_1b_finite_operator_uncertainty.pysynthetic-creativity-archive:dial_skfm_1c_active_counterwitness.pysynthetic-creativity-archive:dial_skfm_1d_explicit_alternative_posterior.pysynthetic-creativity-archive:dial_skfm_factored.pysynthetic-creativity-archive:dial_skfm_typed_transducer.py
Evidence record
Artifacts and frozen runs
Result artifacts
RESULTS.mdcompletion.jsonSTATUS.md
Run records
7 registered runs
2026-08-11_dial_skfm_factored_registered2026-08-11_dial_skfm_typed_transducer_registered2026-08-13_dial_skfm_1a_exact_closure_repair_v1_registered2026-08-14_dial_skfm_1b_finite_operator_uncertainty_v1_registered2026-08-14_dial_skfm_1b_finite_operator_uncertainty_v2_registered2026-08-14_dial_skfm_1c_active_counterwitness_v1_registered2026-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.
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.