Topics — What a work is about. Nucleation holds whatever reading the owner files here, whether or not an Anthology of the SOTA topic could also hold it; instruction for ML practice belongs to the anthology (ADR-048). The words are seeded from the clusters the reading-time triage of 2026-09-25 found, and grow by decision.
Causality — causation and the structure of causal relations — causal order, definite and indefinite, and its combinatorics, topology and geometry; sheaf- and process-theoretic accounts of causality; causal models, causal inference and interventionist accounts of what a causal relation is; and the metaphysics of causation — exclusion, mental causation, causal emergence and closure, reciprocal causation (ADR-035).
13 of 547 CLAIM documents. Back to the full index.
| # | Title | Summary | Status |
|---|---|---|---|
| CLAIM-127 v3 | Conditioning on a communicative situation, intervening on it and intervening on what the interpreter is told are three different operations, so a framing intervention should index the empirical model, e_C^a = P(Y_C | do(a)), not enter its cover as one more context | The owner’s do() move at U41, formalized at A129 §1 and §5 and restated in the review relayed the same day. A129 keeps three operations apart: conditioning on the situation, intervening on it, and intervening on what the interpreter is told. It keeps one cover, with the empirical laws indexed by intervention. The link to signalling is the record’s extrapolation, and A129’s own graph gives a second route to it. | Proposed |
| CLAIM-130 v4 | Telling an interpreter about a communicative situation, do(I = a), is a different intervention from changing the situation, do(S = s): only a do(S) intervenes on the relations that would constitute an act, and in a vignette or rating study every manipulation is a do(I) | The owner proposed Pearl’s do() at U41, and A129 §1 drew the distinction. It recurs at A151, A191, A203, A214 and A218. CLAIM-127 is about where the index sits in the formalism; this claim is about what an experiment manipulates. The sharp edge: in a vignette or rating study every manipulation is a do(I). | Active |
| CLAIM-141 v2 | Causal-loop consistency and sheaf contextuality are both local-to-global problems, but passing to distributions affects them oppositely: a loop with no deterministic solution has a distributional fixed point, while a model with no global section in its supports has no global distribution either | A161, after the owner’s U46, sharpened. A161 saw that a causal loop and a contextual model are “not the same”, but not that they run in opposite directions under passage to distributions, or why. Its parity pattern is LIT-278’s identification of Liar cycles with contextual support tables, which the record holds and has read (NOTE-251). A173 and A178 kept the three kinds of global consistency apart; A218 Ch10.9 keeps the feedback case. | Active |
| CLAIM-333 | Measuring every relevant variable is necessary but not sufficient for a Granger-causal analysis to say anything about interventions: the intervention must also be an isolated exogenous change and no influence may act within one sampling step, and then Granger noncausality implies no intervention effect and the effect is identified from the observational predictor, but a Granger-causal relation is still only potentially causal | The record’s answer to NOTE-010’s C5, “if all relevant variables are measured, Granger- and Pearl-type analyses coincide”, which the ΦID review asserts without conditions. Eichler and Didelez (THEORY-704) give sufficient conditions, and complete measurement is one of them. A two-variable process with nothing hidden shows it is not enough: a acts on b within one step, a is Granger-noncausal for b, and setting a(t) changes the mean of b(t + 1) by ργ. Checked by hand and by simulation. | Active |
| CLAIM-334 | Granger causation from a macro variable to the micro variables it supervenes on, Seth’s downward Granger causation, is not evidence of a macro-to-micro intervention effect, even with every micro variable measured: supervenience leaves no intervention on the macro variable that holds its micro base fixed at the same time | Seth measures downward causation as Granger causation from the flock’s centre of mass to each boid, and calls it “ontologically innocent” (THEORY-703). The record files the boundary so that the stronger reading has an address. If M(t) = f(m(t)), setting M(t) means changing m(t), so the intervention Eichler and Didelez’s Assumption 2.3(i) requires does not exist (THEORY-704). Measuring every boid does not help, by CLAIM-333. | Active |
| CLAIM-335 v3 | Transfer entropy measures directed predictive improvement, not information flow: as a conditional mutual information it is the source’s unique information about the target’s next value plus its synergy with the target’s past, so it can credit a source with a bit the source carries only jointly and read zero from sources that jointly fix the target, and conditioning on more series does not remove the synergy | The record’s position on whether transfer entropy measures information flow. James, Barnett and Crutchfield show it does not, if flow is information attributable to the source alone (THEORY-707). Williams and Beer’s decomposition shows why, for any partial information decomposition satisfying the consistency equations (THEORY-712). Both papers’ examples were recomputed exactly. This is a different failure from CLAIM-333’s, prediction against intervention. It leaves transfer entropy standing as a predictive quantity. | Active |
| CLAIM-396 v2 | Directional information measures between reciprocally coupled units follow the path of a one-sided drive rather than the symmetry of the coupling, so the observed direction of information flow does not by itself reveal which way, or whether both ways, the units are coupled | The record’s generalization of one study (Das, Manikandan and Banerjee, THEORY-275) beyond its system, filed under ADR-047 v4 as the record’s own claim, since the source makes no general claim. It bears on the claims that read peer or hierarchical architecture from the direction of coupling. | Proposed |
| CLAIM-399 | Causal abstraction in the senses of Rubenstein et al., Beckers and Halpern, and Beckers, Eberhardt and Halpern does not secure governance-response sufficiency: exact transformation, τ-abstraction and zero approximate-abstraction distance all accept the hidden-bit coarse-graining, which loses ρ(h = 1) bits of the response to h, because each lets high-level noise carry what the coarse state drops; for one outcome and the identity correspondence, sufficiency is their compatibility condition with the high-level context fixed to the coarse state, and strong abstraction rejects the case only through interventions on the hidden parameter | The record’s join, on 2026-10-21, of its readings of the causal-abstraction papers (NOTE-1037, NOTE-1032, NOTE-1045) with CLAIM-407. A25 of the exchange of 2026-10-20: “We should not present governance-preserving coarse-graining as a new general theory of causal abstraction.” That stands. But it is not an instance of these papers’ notions either: their criteria compare interventional laws and let the high-level context be any map that works, so they accept the hidden governance bit, whose coarse state keeps nothing of the response to h. Re-checked step by step against the three THEORYs. It corrects TERM-067’s first wording, which read the profile as TERM-043’s causal component with the identity correspondence. | Active |
| CLAIM-407 v3 | A coarse-graining exactly informationally closed under a process’s ordinary dynamics need not preserve its responses to an intervention on the mechanism: for a declared intervention distribution ρ, independent of the state, the deficiency Γ = I(S; Y^(I) | T(S), I) can be positive, as in the hidden governance bit, where it is ρ(h = 1) bits; and Γ = 0 exactly when, for every intervention ρ charges, the response kernels are constant on T’s fibres over the states of positive probability | A16 §3–4 of the exchange of 2026-10-20 and A17 §4.2–4.3, its paper’s Proposition 1, reused at A18 and in A23’s audit. A16: “a representation can be perfectly informationally closed under the ordinary dynamics while failing to preserve a governance-relevant counterfactual distinction.” The witness is CASE-125; the proof is in the body, checked exactly on 2026-10-21. The qualitative point was on file: CLAIM-350’s “What it does not say” (A22’s Construction B of 2026-10-17, CLAIM-127), and CLAIM-122’s supervisory test, whose note of 2026-10-18 has it without parameters. New here are the parameters, the deficiency Γ and the exact condition for Γ = 0. It is an application of ordinary causal sufficiency, not new information theory, and it does not say the system governs itself. | Active |
| CLAIM-447 v2 | Model-based wanting is a pursuit process’s ranking of the futures it predicts under candidate interventions, P(S | do(a)) against P(S | do(a₀)), while cue-triggered wanting is learned salience that need not compute those futures; a process’s causal model, its wanting and its practical efficacy are separable, so learning to want differently, learning that a want will not pay, and learning not to act on it are three different changes | The owner’s, 2026-10-23, asking what the record’s account of wanting is: “i just found myself characterizing it as a kind of a prediction about a future state, and realized that really this is a do() operation and the future state that’s being anticipated is what might or might not happen given a candidate intervention.” Worked through the same day (workbench entry of 2026-10-24, U6–U7). It says what CLAIM-437’s pursuit process ranks, keeps cue-triggered wanting as a second level, and separates wanting from will. A dated part of 2026-10-24 adds that governance can change what is wanted through what it lets be represented. | Proposed |
| CLAIM-497 v2 | A system’s causes are found at the coarsest description whose interventions are unambiguous: a macro description is causally proportionate where it merges only micro states that intervention cannot tell apart, and no coarse-graining carries more causal information than the micro description it supervenes on | The record’s position on causal emergence after THEORY-787 was rejected. A coarse-graining can be the right causal description, but not by beating the micro. Under one intervention distribution at both levels, no coarse-graining of a transition carries more effective information than its micro (THEORY-1167). The ones that lose nothing are exactly causal feature learning’s partitions, which merge only micro states with the same interventional effects (THEORY-1169). The step from there to “the causes are found at the coarsest such description” is the record’s own, in the sense of proportionality. It does not say the macro adds causal information. | Active |
| CLAIM-522 v2 | Recovery under interventions on state cannot show where maintenance is realized: an outside controller that measures the constraint capacities and supplies the internal production law as state feedback yields the same trajectory under every perturbation of state, damage and recovery included, even with every capacity observed exactly; only interventions on the production mechanisms, relative to a declared boundary, separate the two | From A10 §4 (its Proposition 5) of the exchange “Analyze nucleation concepts” (2026-10-31). Close to definitional, and checked: substituting the controller gives the same differential equation. It extends CLAIM-414 from passive observation to every intervention on state. As the reader noted, the causal dependence among the capacities is the same in both systems; only where the mechanism sits relative to the boundary differs, which is CLAIM-194’s point about boundaries. | Active |
| CLAIM-528 | That a mechanism realizes a capacity can mean that the capacity is produced through it over time or that the capacity consists in it at a time, and interventions show only the first: a pathway whose disabling changes the capacity after a delay is a cause, can be intervened on surgically, and can be located relative to a declared boundary, whereas every intervention on a capacity that consists in its parts also changes some part along another path, so that relation is underdetermined by intervention data and is inferred by abduction or from simultaneity and settled parthood; and which of the two a given dependence is depends on the time resolution at which a description treats the parts’ response as instantaneous | Filed on reading the fat-handedness debate after Craver: Baumgartner & Gebharter 2016, Baumgartner & Casini 2017 and Baumgartner, Casini & Krickel 2020. It says what their result does and does not reach in the record. CLAIM-522’s conclusion is causal and is left standing; CLAIM-515’s “realized”, read synchronically, is not shown by discriminating interventions; and the debate’s own line between causation and constitution, simultaneity, moves with the time scale, as CLAIM-480’s chain shows. It does not say that constitution is unknowable, or that the record’s organizations have constituents in the mechanists’ sense. | Proposed |