# Judo Calculus causal-discovery experiments

- **Registry ID:** `catagi-judo`
- **Book:** Categories for AGI
- **Documentation status:** `public-code-linked`
- **Experimental status:** synthetic and Sachs benchmark studies
- **Canonical documentation URL:** https://categorical-ai.sridharmahadevan.com/experiments/catagi-judo

## Purpose

Sheaf/Kan causal-discovery experiments with DCDI and GES comparisons.

## Book location

- Chapter 20: Judo Calculus

## Documented studies

- Synthetic j-stable DCDI comparison
- Descriptive runtime measurement
- Sachs pooled versus regime-stable study
- GES, CGES, and TC-GES comparison
- OECD PISA regime-stability study

## Associated code packages

- `causal-sheaves` — [Causal Discovery on Sheaves](https://github.com/sridharmahadevan/Causal-Discovery-on-Sheaves/tree/875ec6ee97c6f32e05bfc176d4e3d69ecb2c8f39); **public**; not specified. Sheaf-theoretic causal-discovery implementation and artifacts supporting the Judo Calculus studies.
- `kan-do-dcdi-archive` — Kan-do DCDI experiment archive; **local-not-public**; license decision pending. Additional Judo Calculus drivers, regime-stability studies, and archived result tables used alongside Causal Discovery on Sheaves. A curated public packet remains to be prepared.

## 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 · public-pinned** — [`causal-sheaves:experiments/psifci/run_psifci_jstable.py`](https://github.com/sridharmahadevan/Causal-Discovery-on-Sheaves/blob/875ec6ee97c6f32e05bfc176d4e3d69ecb2c8f39/experiments/psifci/run_psifci_jstable.py). Open the pinned public source file.
- **runner · staged-not-public** — `kan-do-dcdi-archive:experiments/j_sheaf_regimes.py`. Locate this file in the curated companion packet; no public download is currently offered.
- **runner · public-pinned** — [`causal-sheaves:experiments/sachs/run_ges.py`](https://github.com/sridharmahadevan/Causal-Discovery-on-Sheaves/blob/875ec6ee97c6f32e05bfc176d4e3d69ecb2c8f39/experiments/sachs/run_ges.py). Open the pinned public source file.
- **runner · public-pinned** — [`causal-sheaves:experiments/dcdi/dcdi_benchmark_val.py`](https://github.com/sridharmahadevan/Causal-Discovery-on-Sheaves/blob/875ec6ee97c6f32e05bfc176d4e3d69ecb2c8f39/experiments/dcdi/dcdi_benchmark_val.py). Open the pinned public source file.

## Entry points

- `artifacts/`
- `kan_do_dcdi experiments`

## Result artifacts

- `synthetic and Sachs result tables`

## Resolved code surfaces (31)

- **runner** — [`causal-sheaves:experiments/dcdi/dcdi_benchmark_val.py`](https://github.com/sridharmahadevan/Causal-Discovery-on-Sheaves/blob/875ec6ee97c6f32e05bfc176d4e3d69ecb2c8f39/experiments/dcdi/dcdi_benchmark_val.py)
- **runner** — [`causal-sheaves:experiments/dcdi/dcdi_run_patched_v15.py`](https://github.com/sridharmahadevan/Causal-Discovery-on-Sheaves/blob/875ec6ee97c6f32e05bfc176d4e3d69ecb2c8f39/experiments/dcdi/dcdi_run_patched_v15.py)
- **runner** — [`causal-sheaves:experiments/dcdi/jstable_eval.py`](https://github.com/sridharmahadevan/Causal-Discovery-on-Sheaves/blob/875ec6ee97c6f32e05bfc176d4e3d69ecb2c8f39/experiments/dcdi/jstable_eval.py)
- **runner** — [`causal-sheaves:experiments/interference/interference_minimal_v2.py`](https://github.com/sridharmahadevan/Causal-Discovery-on-Sheaves/blob/875ec6ee97c6f32e05bfc176d4e3d69ecb2c8f39/experiments/interference/interference_minimal_v2.py)
- **runner** — [`causal-sheaves:experiments/interference/interference_plots.py`](https://github.com/sridharmahadevan/Causal-Discovery-on-Sheaves/blob/875ec6ee97c6f32e05bfc176d4e3d69ecb2c8f39/experiments/interference/interference_plots.py)
- **runner** — [`causal-sheaves:experiments/psifci/alpha_sweep_psifci.py`](https://github.com/sridharmahadevan/Causal-Discovery-on-Sheaves/blob/875ec6ee97c6f32e05bfc176d4e3d69ecb2c8f39/experiments/psifci/alpha_sweep_psifci.py)
- **runner** — [`causal-sheaves:experiments/psifci/run_psifci_jstable.py`](https://github.com/sridharmahadevan/Causal-Discovery-on-Sheaves/blob/875ec6ee97c6f32e05bfc176d4e3d69ecb2c8f39/experiments/psifci/run_psifci_jstable.py)
- **runner** — [`causal-sheaves:experiments/sachs/align_and_eval_sachs.py`](https://github.com/sridharmahadevan/Causal-Discovery-on-Sheaves/blob/875ec6ee97c6f32e05bfc176d4e3d69ecb2c8f39/experiments/sachs/align_and_eval_sachs.py)
- **runner** — [`causal-sheaves:experiments/sachs/make_env_labels_sachs.py`](https://github.com/sridharmahadevan/Causal-Discovery-on-Sheaves/blob/875ec6ee97c6f32e05bfc176d4e3d69ecb2c8f39/experiments/sachs/make_env_labels_sachs.py)
- **runner** — [`causal-sheaves:experiments/sachs/run_ges.py`](https://github.com/sridharmahadevan/Causal-Discovery-on-Sheaves/blob/875ec6ee97c6f32e05bfc176d4e3d69ecb2c8f39/experiments/sachs/run_ges.py)
- **dependency** — `kan-do-dcdi-archive:edge_scores.py`
- **dependency** — `kan-do-dcdi-archive:edge_scores_fastpatch.py`
- **runner** — `kan-do-dcdi-archive:experiments/j_sheaf_regimes.py`
- **runner** — `kan-do-dcdi-archive:experiments/j_sheaf_regimes_fast.py`
- **runner** — `kan-do-dcdi-archive:experiments/kan_do_lincs.py`
- **runner** — `kan-do-dcdi-archive:experiments/kan_do_pisa2022.py`
- **runner** — `kan-do-dcdi-archive:experiments/kan_do_s9.py`
- **runner** — `kan-do-dcdi-archive:experiments/kan_do_s9_multivar.py`
- **runner** — `kan-do-dcdi-archive:experiments/kan_do_synth_linear.py`
- **runner** — `kan-do-dcdi-archive:experiments/sachs_miniexp.py`
- **runner** — `kan-do-dcdi-archive:experiments/sachs_miniexp_enhanced.py`
- **runner** — `kan-do-dcdi-archive:experiments/sheaf_glue.py`
- **runner** — `kan-do-dcdi-archive:experiments/synthetic_linear_gaussian.py`
- **runner** — `kan-do-dcdi-archive:kan_do_dcdi_core.py`
- **runner** — `kan-do-dcdi-archive:kan_ops.py`
- **runner** — `kan-do-dcdi-archive:lincs_m_hspa8.py`
- **dependency** — `kan-do-dcdi-archive:metrics.py`
- **dependency** — `kan-do-dcdi-archive:mmd_utils.py`
- **runner** — `kan-do-dcdi-archive:pisa_run_calib_hisei_escs.py`
- **dependency** — `kan-do-dcdi-archive:rn_flow.py`
- **dependency** — `kan-do-dcdi-archive:sheaf_metrics.py`

## Frozen run records (0)

- No frozen run-level record is registered. Consult the result-artifact list and evidence boundary above for the exact surviving evidence; absence of a run record is not evidence that no experiment was run.

## Evidence boundary

The mixed and negative Sachs results remain part of the evidence; runtime plots are descriptive implementation measurements.

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.