Experimental contract
What this family tests
controlled synthetic and benchmark studies
- Random-DAG closure calibration
- Injected latent-confounding recovery
- Sachs benchmark study
- Lie-bracket screening and graph extraction
- Runtime and robustness comparison
Book-to-code crosswalk
The highlighted Experiment cards covered here
- Experiment: BRIDGE/SKFM nonlinear-DAG sweep11.8 What the experiments establish · 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.
- runner · public-pinned —
lincs-bridge-skfm:kan_do_dcdi/experiments/bridge_hybrid_random_dag.py↗Open the pinned public source file. - runner · public-pinned —
lincs-bridge-skfm:kan_do_dcdi/experiments/bridge_hybrid_random_dag_latent.py↗Open the pinned public source file. - runner · public-pinned —
lincs-bridge-skfm:kan_do_dcdi/experiments/info_geometry_exp1_chain.py↗Open the pinned public source file. - runner · public-pinned —
lincs-bridge-skfm:kan_do_dcdi/experiments/info_geometry_exp2_latent_fork.py↗Open the pinned public source file.
Author-declared entry points
kan_do_dcdi/experiments/
Resolved code
runner · 30
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↗lincs-bridge-skfm:tces/__init__.py↗lincs-bridge-skfm:tces/tces_both_and_compare.py↗lincs-bridge-skfm:tces/tces_run_experiment.py↗lincs-bridge-skfm:tces/topos_regularizers.py↗
Evidence record
Artifacts and frozen runs
Result artifacts
package reports and benchmark summaries
Run records
No run-level packet is registered. The family retains code-level provenance, but public run reproduction still requires curation.
Evidence boundary
Lie-bracket nonclosure is a diagnostic under registered semantics, not unique identification of a latent confounder.
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.