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.
Philosophy of science — what science is and what its theories say about the world — realism and structural realism, explanation, causation and evidence, the interpretation of physical theories (group: philosophy).
20 of 371 QUESTION documents. Back to the full index.
| # | Title | Summary | Status |
|---|---|---|---|
| QUESTION-005 | How can corresponding communicative environments and responses be operationalized without building the preferred notion of fidelity into the measurement procedure? | A48’s closing, “The main unresolved issue”. Partly met by admissible correspondences (A49) and by the manuscript’s preregistered measurement cover (§10), neither of which says who fixes the correspondence of contexts. | Open |
| QUESTION-028 v2 | When does independently generalizable, intervention-relevant relational structure warrant treating a communicative category as a real effective kind rather than an arbitrary taxonomy? | A218’s RQ7, in these words, after A187 §8, A191 §7, A203 §X and A214 §13. It asks what evidence licenses the step from a useful category to a real one. The record’s reading of real patterns (THEORY-036) says compressibility alone admits almost every non-random pattern, so the work falls on the question’s own qualifiers. No criterion has been given. | Open |
| QUESTION-047 v2 | Can a community of individually sound inquirers settle on a belief none of them reasoned their way to, as an organized whole can settle on a course none of its members intends, and which community-level mechanisms set it? | Filed in the fourth synthesis pass to give readings no question asked for a place in the argument. It bears on CLAIM-030, CLAIM-060, CLAIM-192 and QUESTION-049. THEORY-143, THEORY-148, THEORY-146 and THEORY-151 answer it in part; the body gives each one’s limit. | Open |
| QUESTION-048 v3 | What can report, no-report, deficit and architectural evidence each establish about experience as opposed to access, and does any of it survive in a system that lacks cortex or biology? | Filed in the fourth synthesis pass to give readings no question asked for a place in the argument. It bears on CLAIM-039 and CLAIM-003. THEORY-091, THEORY-094, THEORY-100 and THEORY-023 answer it in part; the body gives each one’s limit. | Open |
| QUESTION-056 | When the mechanisms composing a will-organization are described by control theory and executive-control research, does that description implement the will-organization account or replace it, and what result would show the agent-level description had become idle? | Filed in the fourth synthesis pass to give readings no question asked for a place in the argument. It bears on CLAIM-024, CLAIM-021, CLAIM-122 and CLAIM-174. THEORY-048 answers it in part; the body gives each one’s limit. | Open |
| QUESTION-074 | Can the transport structure fitted to single transformations predict what receivers recover under a composition of transformations no data were fitted on, within the conditions under which approximate transports compose? | From the interlocutor’s reading of PR #121 and its reconciliation, relayed by the owner on 2026-10-12. It names the test the reading takes to separate a structural formalism from a richer feature set. Its scope is set by CLAIM-260: approximate transports compose only under conditions. | Open |
| QUESTION-151 | Does the decoupling of reproducibility from convergence survive a consensus with memory, where a challenger must win repeatedly or evidence accumulates, and scientists can learn? | The promotion condition formerly on THEORY-295, moved here when THEORY-295 was narrowed to a consensus that a single test can replace and promoted on 2026-10-19 (ADR-047 v3). LIT-988 shows the decoupling only for a memoryless consensus and agents that do not learn. Whether a population that never pits the true model against the consensus still holds a reproducible false consensus once the consensus has memory is untested. | Open |
| QUESTION-213 | In which causal systems would the effect still occur had a higher-level property been realized differently, and how would an intervention show it? | The promotion condition formerly on THEORY-133. THEORY-133 was narrowed and promoted on 2026-10-20 (ADR-047 v2) as a result inside List and Menzies’s difference-making account: a higher-level property that makes a difference is the cause, and its realizer is not, exactly when in some nearest situation the property is realized differently and the effect still occurs. Which systems meet that condition is the open part. | Open |
| QUESTION-226 | Does Pearl’s Causality define intervention as surgery on autonomous equations throughout, in the chapters on identification and the do-calculus, on structural counterfactuals, and on whether do(x) is universal, and what conditions does it put on the surgery there? | The promotion condition formerly on THEORY-419. THEORY-419 was narrowed to the do-operator as Pearl defines it in the pages of Causality that NOTE-696 read, and promoted on 2026-10-20 (ADR-047 v2). Whether the book defines intervention the same way in the chapters not read is open. | Open |
| QUESTION-234 v3 | Do interchange interventions leave the mediating direction underdetermined in trained networks: do two basis-related alignments in a trained model tie on every interchange drawn from the data, and for which networks are alignments that agree on all such interventions unique up to a stated symmetry? | Filed when the promotion audit (batch 062, ADR-047 v2) narrowed and promoted THEORY-243 to what the constructed three-unit network proves: two basis-related alignments tie on every interchange intervention on the input. Whether such ties occur in trained networks, or are ruled out for some class up to a symmetry, was the old promote_when, and it moves here. | Open |
| QUESTION-252 v6 | For the conditions an effective description is asked to meet (predictive sufficiency for a declared target, dynamical independence of the omitted variables, memory closure under a declared projection, approximation fidelity in a declared metric and horizon, and tractability within a declared budget), which can fail while all the others hold, and which such configurations are impossible in which model classes? | The owner’s idea at U3 of the exchange of 2026-10-20: “what if we censor or negate each virtue one at a time? that reduces our combinations from n! to n.” A3 corrected the count (2ⁿ presence/absence configurations, not n!) and fixed five conditions, asking whether each leave-one-out case is realizable: “An impossible configuration is itself a substantive result.” The record holds pairwise non-implications only, none a leave-one-out witness: CLAIM-389 gives zero memory without independence in VAR(1), CLAIM-304 retention without feasible recovery. A4 and A5 then found that some conditions are parameters rather than conditions (CLAIM-401); that part is QUESTION-324, Answered. The same form as QUESTION-093 and QUESTION-115, on a new list. | Open |
| QUESTION-274 v2 | Do two dictionaries of equal fidelity, trained on the same model with different seeds or widths, give the same validated circuit for the same prompt and behaviour, or is a feature circuit fixed only relative to the dictionary that supplies its units? | Feature circuits (sparse feature circuits, transcoder circuits, attribution graphs) are stated over the units of a learned dictionary. The dictionaries are not unique: features split and merge as the dictionary grows, and which concepts get a feature depends on their frequency relative to its size. Whether the circuit found for a behaviour survives a change of dictionary at equal fidelity is the question THEORY-802 asks of alignments, asked of dictionaries. No work the record holds has run the comparison. | Open |
| QUESTION-280 | Can the independence of individuals be approximately true of a world in which individuals are relationally constituted, as Newtonian mechanics is approximately true of a quantum world, or do some ontological features resist approximation however well a system is decoupled? | Jaksland’s question (LIT-1673, read in NOTE-1230), as A6 §5B gave it at the owner’s U6 request for “Rasmus Jaksland’s thoughts”, and as A9 §11 kept it against the exchange’s own synthesis (“Jaksland’s objection remains”). The record’s block criterion (CLAIM-157) measures how far a system is decoupled, which is graded; whether that grade is a grade of independence, or only of operational separability, is this question. | Open |
| QUESTION-284 | In any domain, when do the constraints on an entity’s relations only characterize an entity individuated without them, and when do they partly constitute its identity, its boundary or what it can do; and are a boundary a process detects, one it maintains and one it constitutes three different things? | Asked three times in the exchange of 2026-10-27 (A5 §5, A6 §8, A10 §8) once the owner had set the record’s scope as unrestricted (U6). It is QUESTION-030’s question for communicative acts, asked without a domain, with A5’s split of boundaries into detected, dynamically maintained and constituted. CLAIM-477 answers it in general and only in part; an answer says, for a stated kind, what evidence would tell constitution from characterization and from ordinary causal modification. | Open |
| QUESTION-285 | What organization turns an interaction into a measurement, a measurement into a record that something uses, and observation into inquiry, without a conscious investigator; and what keeps an apparatus that revises its own discriminations answerable to what it did not produce? | The owner’s U19 of the exchange of 2026-10-27: “let’s double click on the relationship between inquiry and interaction, since this might elucidate (or connect us to) a generic notion of observation/measurement that doesn’t require the presence of a conscious investigator … maybe I’m connecting us back to apparatus here?” A19 answered with a ladder of separable achievements (interaction, correlation, measurement, record, use, revision) and found the record already holding Rovelli, Pattee and the judgement–observation loop (CLAIM-341, CLAIM-342). The question asks for criteria at each rung, and for the condition that keeps the top rung from confirming itself. TERM-089 names the apparatus whose functions the rungs are. | Open |
| QUESTION-315 | Does industrial selection, industry funding of researchers whose methods already favour its product, produce industry-favourable consensus in real research fields through those researchers’ productivity and their training of newcomers, rather than through funded researchers changing their methods or results, and does an independent funder that discounts industry-funded work counteract it? | The promotion condition formerly on THEORY-146, moved here when the eleventh status review narrowed THEORY-146 to what Holman and Bruner’s model and figures show and promoted it, as THEORY-285’s moved to QUESTION-303. The model shows the mechanism can work; whether real fields work this way is this question. | Open |
| QUESTION-324 | Are the conditions an effective description is asked to meet (predictive sufficiency, dynamical independence, memory closure, approximation fidelity, tractability) of one logical kind, or are some of them parameters of the regime under which the others are assessed rather than conditions in their own right? | The last clause of QUESTION-252, split off by the thirteenth status review under ADR-049 because CLAIM-401 (Active) settles it: they are not of one kind. Predictive sufficiency and approximation fidelity are adequacy relative to a declared target, metric and horizon; tractability restricts the operations under which adequacy is assessed; dynamical independence and memory closure are relations of the representation to the system, memory relative to a chosen projection. Which conditions can fail while the others hold, and which configurations are impossible in which model classes, stays QUESTION-252’s. | Answered |
| QUESTION-336 | Do the founding texts of non-eliminative ontic structural realism (Ladyman 1998, French and Ladyman 2003, Every Thing Must Go) keep relata while denying them every intrinsic identity-fixing feature, and so fall within Chakravartty’s dilemma? | The promotion condition formerly on THEORY-034, moved here when the fifteenth status review narrowed THEORY-034’s census to the seven texts it places and promoted it, as THEORY-140’s moved to QUESTION-334. The founding texts were never placed, so whether they are of the target kind is open scope, and it is this question. | Open |
| QUESTION-362 | Which predictive and causal query capabilities are implied by competence across specified goal families, which are available to the agent under its actual resource constraints, and which require distinct internal modeling mechanisms; and under what conditions can those mechanisms and capabilities be maintained, revised or reconstructed endogenously? | The owner’s question at the second review of the filing of the exchange “Analyze nucleation concepts” (2026-10-31). The record’s world-model thesis (CLAIM-519) and its counter from Richens et al. (CLAIM-513) disagree less than they seem, because “world model” names several things. This question separates them so that the record can investigate each without presupposing that one is fundamental. | Open |
| QUESTION-366 | Does an inquiry need the record of its own development to know its object, as Simondon’s method and its organization-studies readers hold, or only to revise its conclusions, which is what the record has shown? | Bencherki, Brummans and Vézy (2024, p. 1366), quoting Simondon, hold that research “consists in following the being in its genesis, in accomplishing the genesis of thought at the same time as the genesis of the object”, and Bencherki and Iliadis (proposition 4) that knowledge of an entity “should reflect on the way that knowledge itself has individuated”. The record has shown a narrower thing: an inquiry’s history is needed to fix its revisions (CLAIM-294), and a stabilized specification lets later inquiry proceed without repeating the history that made it (CLAIM-475). Whether the history is needed for anything besides revision is open, and an answer would also say whether the record’s objects are constituted by its inquiry in any sense beyond CLAIM-469’s operational one, which is CLAIM-476’s unanswered defeater. | Open |