Lines of inquiry — A named line of the record’s own argument, so that a line can be set aside as a whole and what depends on it can be found. Retracting a line is a status change on its members, never a deletion (ADR-032).
Nucleating an argument — how an argument developed across stateless sessions settles into stable, addressable structure, and what a project memory contributes — the record itself as the case.
21 of 371 QUESTION documents. Back to the full index.
| # | Title | Summary | Status |
|---|---|---|---|
| QUESTION-037 | When an argument is developed across sessions with collaborators who keep no memory, what makes it settle into a stable structure, and what can a project memory contribute? | The question of the owner’s manuscript “luria: nucleating an argument”, proposed on 2026-10-11 as a title. The reading of the title is the assistant’s, assembled from observations this record and luria’s had already made in separate places (workbench 2026/10/11). An answer has to say what stops an argument from settling, what the record adds that a draft does not, and what that addition costs. | Open |
| QUESTION-038 v2 | What turns a structure that persists into an anchor that later structure can be built on? | Raised by the owner’s reframing (CLAIM-185), which joins two conditions: a structure must persist, and it must be available to serve as an anchor. The first is not enough for the second. An answer names what availability takes, and how a record could tell an anchor from a structure that merely persists. | Open |
| QUESTION-064 | Does an anchor need endorsement as well as addressability, stable identity and discoverability: are entries the record has not accepted built on less than entries it has? | QUESTION-038 lists three candidates for what turns a persistent structure into an anchor. Clark and Chalmers’ criteria for an external resource that counts as part of a mind (LIT-097, read in NOTE-180) include endorsement, which QUESTION-038 lacks. The record has its own form of endorsement, Proposed against Active, so the question can be tested on the record’s citation graph. | Open |
| QUESTION-072 v4 | Does a project memory distribute credibility among an argument’s contributors, by making some contributors’ moves addressable and leaving others’ as unfiled turns, so that what gets a code gets cited and what does not is re-derived or lost? | Filed at the owner’s request, ahead of its readings: Fricker’s account of testimonial and hermeneutical injustice (LIT-1004) is registered unread in the same contribution. CLAIM-182 says addressability is what makes an anchor, and CLAIM-181 says the record’s grammar decides what can be filed. Together they imply that a contributor whose moves are filed gains standing in the argument that one whose moves are not does not. The question asks whether that happens, and whether it is a wrong in Fricker’s sense or only a bias in what persists. | Open |
| QUESTION-098 | When is an inferential structure worth filing: when does the reconstruction it is expected to save outweigh the cost of filing it, keeping it current and the risk of reusing it after it has gone stale? | The owner at U11: “the record could probably benefit from some content to the effect of computation-storage tradeoffs”. A11 posed filing as a decision under uncertainty about future use. QUESTION-038 asks how an anchor works. This asks when one is worth making. | Open |
| QUESTION-099 | Can a sequence of restatements keep an argument’s history recoverable in principle while making it infeasible to reconstruct? | A14 §2. CLAIM-191 reads drift across sessions as iterated transport with a weak return channel. This asks whether continuity can be lost with nothing deleted, because reconstructing it costs too much. | Open |
| QUESTION-105 v2 | What is the least an evolving inquiry must retain, beyond its current conclusions and a closed belief set, which do not fix its revisions, to support a stated family of future revisions, and does the optimal retained state look like provenance, dependencies and defeated alternatives, or like something else? | A5’s first question, A2’s closing question (“the minimal persistent representation that preserves an agent’s epistemic competence”) and A4’s rate-distortion form, from the exchange of 2026-10-14. QUESTION-003 asks the same thing of a translation and a fixed family of communicative decisions. This asks it of an inquiry whose decisions are revisions. | Open |
| QUESTION-107 | When does iterative query reformulation improve access to relevant evidence, and when does it entrench an initial interpretation by narrowing what is encountered next? | A21’s question. The owner suspected at U21 that agent harnesses rediscover old information retrieval: query expansion, relevance feedback, intent classification and slot filling. Classical IR named query drift (LIT-1079, unread). An agent that rewrites its own task adds TERM-056. | Open |
| QUESTION-108 | When a structured record does better than a summary, a transcript or a posterior on revision tasks, is it because it retains more, because what it retains is easier to reach, or because the operations a reviser needs are easier to perform on it? | A5’s second question, with A3’s question B and A4 §4’s decomposition: information retained, information accessible, information used correctly. The three are different findings, and a comparison that does not separate them cannot say which one CLAIM-295 rests on. | Open |
| QUESTION-109 | When does cue-dependent retrieval make bounded reasoning better, and when does it produce anchoring, path dependence or entrenchment? | A20’s question, after the owner tied addressing to anchoring bias at U20. The same selectivity that makes retrieval cheap can make the evidence a judgement sees depend on where it started. | Open |
| QUESTION-112 v3 | How should the sufficiency of a retained state be judged when the family of future decisions can itself change in response to what the inquiry finds? | The owner asked at U10 to “double click” on A8’s closing question: when does justificatory history add value beyond a sufficient current state? A10 answered that, so posed, it never does (CLAIM-300). What is left is this question. Sufficiency is relative to a decision family, and inquiry changes its own family. | Open |
| QUESTION-172 | Does a transient change to one regulator, released with the environment held fixed, leave a bacterium’s other genes in a changed expression state for many generations once slow return is excluded? | The promotion condition formerly on THEORY-178, moved here when THEORY-178 was narrowed to the Boolean model ensemble it was shown in and promoted on 2026-10-19 (ADR-047 v3). LIT-854 predicts lasting expression changes after a transient single-gene perturbation of E. coli’s regulatory core, but no such perturbation has been done in cells. Filed under the nucleating-argument line because CLAIM-184, the claim that grounds on THEORY-178, reads it as evidence about what a lasting state needs. | Open |
| QUESTION-188 | Is delete-and-rederive correct for recursive Datalog views with stratified negation and aggregation, and how large is its overestimate of deletions against the deletions actually needed? | Filed when the promotion audit (batch 042, ADR-047 v2) narrowed and promoted THEORY-387. Theorem 7.1 of Gupta, Mumick and Subrahmanian (LIT-1114) was re-derived for positive recursive Datalog under set semantics. The paper asserts the extension to stratified negation and aggregation and leaves its proof to an unseen 1992 report; it measures no overestimate. This question holds both. | Open |
| QUESTION-201 | Do random patterns stored by the Hebbian outer-product rule stay attractors with basins of nonzero width up to a load near 0.14N at large N, does recall then collapse for every pattern at once, and at what overlap do two stored patterns fuse? | The promotion condition formerly on THEORY-272. THEORY-272 was narrowed to Hopfield’s 1982 simulations at N = 30 and 100 and promoted on 2026-10-20 (ADR-047 v3). Whether the capacity, collapse and fusion it measured hold at large N is open. | Open |
| QUESTION-225 | Are why-provenance and, for traceable queries, where-provenance preserved by Buneman, Khanna and Tan’s rewrite system, and is traceability necessary for where-provenance to be preserved? | Formerly part of THEORY-367’s title. THEORY-367 was promoted on 2026-10-20 (ADR-047 v2) for what is re-derived: minimal witnesses are invariant across equivalent SPJU queries, and where-provenance is not. Whether the paper’s rewrite system preserves why- and where-provenance, and whether traceability is necessary, is open. | Open |
| QUESTION-229 | Does the critical delay of a delayed random Lotka–Volterra community still fall with diversity when self-regulation is weak and interactions set the leading eigenvalue, is its Hopf bifurcation supercritical, and is the divergent phase reported past it real under a stiff delay-equation solver? | The delay-half promotion condition formerly on THEORY-548. THEORY-548 was narrowed and promoted on 2026-10-20 (ADR-047 v2 for the critical delay, v3 with a re-run against an averaging null for the variability). What it does not settle: the weak-self-regulation regime, whether the Hopf bifurcation is supercritical, and whether the divergent phase is real. | Open |
| QUESTION-237 | Does semantic caching keep its ordering against page caching once probe and remainder computation and region upkeep are charged, or in an implemented client-server system? | The promotion condition formerly on THEORY-376, moved unchanged when that account was narrowed and promoted on 2026-10-20 on the one simulation it rests on (ADR-047 v3). Open: whether semantic caching’s advantage survives charging the client for reasoning about what its cache holds. | Open |
| QUESTION-258 | Should a manuscript drawn from the record be chosen as a well-supported connected part of its argument, or as a smallest set of claims that changes what the argument can conclude, and what else must the choice preserve? | The owner’s question at U3 of the exchange of 2026-10-22: “whether manuscript assembly should optimize for a well-supported connected subgraph or for a minimal set of claims that changes the conclusions reachable from the existing graph”. A3 answered that both “fail as general definitions of manuscript value”. The record already says it does not generate manuscripts (CLAIM-178). This question asks what a choice of claims for one should optimize, and how to test that against the record’s own history. | Open |
| QUESTION-288 | Can preserving an inquiry’s justificatory history improve decisions beyond a current state that is sufficient for those decisions, and can such a state stop being sufficient when a source, the model or the decision family changes? | A8’s closing question, the part of QUESTION-112 that A10 answered, split off by the status review of 2026-10-27 under ADR-049, because CLAIM-300 (Active) settles it in full. While a state is sufficient for a decision family under a model, its history cannot improve those decisions. The state can stop being sufficient when a source is discredited, the model is revised or the family changes. | Answered |
| QUESTION-289 | Is an inquiry’s current set of conclusions, or its logically closed belief set, enough to retain to fix its future revisions, and if not, what must a single AGM change of a closed theory have besides the theory? | The lower edge of QUESTION-105, split off by the status review of 2026-10-27 under ADR-049, because CLAIM-294, THEORY-347 and THEORY-353 (all Active) settle it. No: two histories can agree on every current conclusion and call for different revisions, and two bases with one closure can revise to opposite conclusions. For one AGM change of a closed theory, what must be added is a selection function on its remainders, generated by a transitive relation when the supplementary postulates hold, or else a base. | Answered |
| 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 |