Assembled from record/changelog.d/ fragments by luria collect on a weekly cadence — never hand-edited.

Added

  • The record exists. It is a Luria record with LIT, NOTE and THEORY schemes ported from the Anthology of the SOTA, a closed topic vocabulary seeded from the anthology’s out-of-scope clusters, and an ANTH remote for citing the anthology (ADR-001).

Added

  • The first 29 works, seeded from abstracts and skims: every out-of-scope work the anthology’s reading-time triage set aside, bar the five that went to the anthology. Each LIT is Deferred; 26 carry a Skimmed NOTE.
  • A reading order for the deeper readings still owed, in the curation entry of 2026-09-25.

Changed

  • Five works read in full. Spekkens’s Quasi-quantization, Abramsky & Brandenburger, the U.S. v. Google remedies opinion, and Mediano et al. alongside Varley & Hoel. Each of their Skimmed NOTEs is now a Read one, and each LIT is now Active.

Fixed

  • The “bridge” claim is withdrawn. The reading order had called Abramsky & Brandenburger this record’s bridge to the anthology’s topos and sheaf work, and it is not.
  • A curation entry no longer asks the owner to mark NOTEs Read. It had suggested this based on the owner’s reading time. A Read NOTE is earned by reading the work.

Changed

  • Nine more works read in full:

    • Weber et al. on Forman–Ricci curvature (LIT-020), Active
    • the spectral-dimensions letter (LIT-028), Active
    • Lindgren & Liukkonen (LIT-001), Rejected
    • the two Spekkens-group papers (LIT-019, LIT-003), Active
    • Fuchs’s thesis (LIT-018), Active
    • the nested HDP (LIT-002), Active
    • JP 3-12, Cyberspace Operations (LIT-015), Active
    • the Rhode Island Hospital subpoena order (LIT-024), Active

    Each Skimmed NOTE is now a Read one.

  • published: is now the exact date of first appearance where a source gives one (ADR-002). All 29 LITs were backfilled; three keep month precision because no source gives a day.

Changed

  • Nine more works read in full, which completes the reading order. They are:
    • Artime & De Domenico (LIT-021)
    • Bourrat (LIT-005), Proposed
    • Ni et al. (LIT-004)
    • Lim et al. (LIT-013)
    • the Eulalia impact shower (LIT-009), Proposed
    • the waste-collection routing paper (LIT-008)
    • the quantum-thermodynamics review (LIT-010)
    • Spectral Sets (LIT-011)
    • Spectral Networks (LIT-017), Proposed
  • Four non-papers read in full: the ISW report (LIT-023), the Segundo hearing transcript (LIT-012), Drezner (LIT-022) and Gelman (LIT-014).
  • 27 of 29 works now have a Read NOTE. The two that remain are not open access and could not be obtained.

Added

  • 65 works seeded from the survey of what the anthology had set aside as out of scope. Each is Deferred; 60 carry a Skimmed NOTE.
  • A reading order, in the curation entry of 2026-09-25.

Added

  • philosophy-of-science joins the topics and the philosophy group (ADR-004). Structural Realism takes it as primary; three quantum-foundations works take it as secondary.

Added

  • philosophy-of-science joins the topics and the philosophy group (ADR-004).

Changed

  • 31 survey works read in full (the first tier and all medium-priority works). Each Skimmed NOTE, or none, is now a Read one.
    • 24 are Active.
    • 6 are Proposed.
    • 1 is Rejected: The Relativity of Causal Knowledge.

Fixed

  • The reading order no longer calls Bourrat’s coarse-graining paper the successor to LIT-005. It is the predecessor.

Changed

  • 30 low-priority survey works read in full. Every reachable work in the record now has a Read NOTE. LIT-068 (local separators) and LIT-050 (Rosenblatt mean-field games) are Rejected.
  • LIT-040, the nLab two-level type theory page, is Superseded by Annenkov, Capriotti, Kraus & Sattler, now filed.

Fixed

  • The Broadview Six transcript’s caption is United States v. Rabbitt et al.

Changed

  • LIT-064, Talagrand Meets Talagrand, is Superseded by ANTH-LIT-726. The owner filed it in the anthology, and its reading moved with it.

Added

  • Nagel, What Is It Like to Be a Bat? (1974), Active, with a Read NOTE. It is the source of the “something it is like” criterion that LIT-056 adopts, and of the argument that functional analysis cannot settle whether the criterion is met.

Added

  • An anthology-candidate tag, and a flags tag group holding it (ADR-005). A work that may belong in the Anthology of the SOTA carries it after its topics. Its generated tag page is the list of pending transfers. LIT-056, LIT-058 and LIT-085 carry it, because their readings already named the anthology as a possible home.

Added

  • 119 philosophy works from the papers-feed tracker, all Deferred: 95 with a Skimmed NOTE, and 24 seeded from the abstract. They cover philosophy of physics and structural realism, philosophy of biology, AI consciousness and philosophy of mind, epistemology and philosophy of science, and ethics. The curation entry of 2026-09-26 05:58 has the funnel and the reading order.
  • epistemology and logic join the topics and the philosophy group (ADR-006).

Changed

  • The four seeds on the mereology tag are read in full and now Active:

    • the SEP Mereology (LIT-124)
    • Carroll (LIT-123)
    • Register (LIT-138)
    • Meincke (LIT-142)

    Each reading corrects its skim.

  • Eight held works whose subject is parts and wholes now carry the mereology tag, after their existing topics.

Changed

  • The six works newly tagged mereology are read in full.
    • Five are Active: the SEP Biological Individuals, Bourrat’s Reproducees, Baedke’s The Organism, Schwitzgebel on the United States, and The Extended Mind.
    • Scaffolding individuality is Proposed.

Fixed

  • Ten LIT summaries had lost their citation head (year and identifier). A reading-application script had cut it at the first ”. ” inside “et al.” or a DOI. All ten are restored from each document’s own fields.

Changed

  • Sixteen works on the agency tag are read in full.
    • Twelve are Active.
    • The observer-theory paper (LIT-133) and Terziyan et al. (LIT-182) are Rejected.
    • Enoch (LIT-117) and Sharman (LIT-197) could not be obtained and stay Deferred, with the attempts recorded.
  • LIT-182 loses anthology-candidate: the reading found no ML practice in it.
  • LIT-046 and LIT-211 are tagged agency, and LIT-206 takes agency as its primary topic.

Fixed

  • Reading notes no longer name local download paths. 140 LITs, NOTEs and one curation entry had recorded where a reader saved a file (raw4/…, rawM/…, scratchpad/…), which means nothing outside the session that made it. The paths are removed. What was read, and how it was extracted, is kept.

Added

  • ADR-008: no reader sends an email address to any service. A reader sent the owner’s address to a lookup service’s API. Every agent reading, seeding or filing for this record now omits such fields, or uses noreply@anthropic.com. The rule is in the reading brief.

Changed

  • Thirty works on the metaphysics tag are read in full.
    • 27 are Active.
    • Allori is Proposed.
    • Karpenko and the pregeometry paper are Rejected.
    • Pernu 2015 and Carson could not be obtained and stay Deferred.
  • philosophy-of-mathematics and religion join the topics (ADR-007). Six works are retagged.
  • Four works take metaphysics as their primary topic, and four more are newly tagged metaphysics.

Fixed

  • LIT-110 no longer says Hazelwood argues against it. His target is Laland and colleagues.

Changed

  • Five works on the identity tag are read in full and Active. Philosophy of Fame and Celebrity could not be obtained.
  • Five more works are tagged identity: individuality, structural realism, and the three duality works.
  • Corfield takes philosophy-of-mathematics as primary.
  • LIT-116 carries its printed title.

Fixed

  • Five LIT summaries had kept their seed’s opening in front of the reading’s summary: LIT-045, 047, 059, 066, 075. The leftover is removed.

Added

  • Schwitzgebel’s The Weirdness of the World (LIT-216), filed at the owner’s request and read in full from the author’s final manuscript. LIT-159 now notes that it reappears, revised, as a chapter.

Changed

  • Eleven works on the consciousness tag are read in full.
    • 7 are Active.
    • Winkielman et al. and Terrill & Veit are Proposed.
    • Vieira and Šekrst are Rejected.
  • Birch’s paper gains its PsyArXiv DOI.
  • Five secondary tags are added on the readings’ recommendation.

Added

  • Four sources for Ladyman and Ross’s ontic structural realism and rainforest realism, filed at the owner’s request and read in full:

    • Ladyman 2001;
    • Ladyman, Patterns All the Way Up;
    • Ross 2008;
    • Dennett 1991, Real Patterns.

    Every Thing Must Go could not be obtained legitimately. The curation entry records the gaps and the sources that would close them.

Added

  • An account of the Yoneda lemma, and the category-theory-and-OSR debate:

    • the nLab page;
    • Bain 2013;
    • Lam & Wüthrich 2015, which corrects Bain.

    Each is read in full. No source in that literature names the lemma. The curation entry says what the lemma does and does not support.

Added

Changed

Added

Changed

  • ethics added to LIT-206, whose §7 takes up welfare and moral consideration.
  • ethics removed from LIT-101, which is descriptive moral psychology and draws no normative conclusion. It now leads with social-science.
  • Four unreachable works stay Deferred, and each status note now says what was tried: LIT-128, LIT-174, LIT-183 and LIT-214.

Added

Changed

Fixed

  • Two two-author citations no longer say “et al.”: Prinzing & Vazquez, and Bottou & Schölkopf.

Added

  • philosophy-of-language topic (ADR-009), in the philosophy group. It covers theories of meaning, meaning holism, assertion and whether machines assert, and conceptual change.
  • Close readings of six works on the philosophy-of-science tag:

Changed

Added

  • A close reading of LIT-145, Turner’s Ultrafilters as Propositional Theories. It is Active.

Changed

  • logic added to LIT-032, LIT-054 and LIT-095.
  • philosophy-of-mathematics added to LIT-151.
  • philosophy-of-language added to LIT-207.
  • LIT-106 stays Deferred. Its status note now records why it could not be fetched.

Changed

  • information-theory added to four works about information: LIT-005, LIT-010, LIT-025 and LIT-027. Every work already on the tag had been read.

Fixed

  • Thirty summaries no longer cite a two-author paper as “X et al.” They now name both authors (e.g. “Frigg & Werndl”). The seeded citation heads had used “et al.” whatever the author count. The fix was checked against each work’s own author line.

Added

  • Twenty-two works from an owner-supplied reading list, all Deferred:

    • knowledge sheaves;
    • Kolmogorov complexity, structure functions and MDL (Vitányi and collaborators; Grünwald & Roos);
    • compression and rate–distortion generalization bounds (Sefidgaran and collaborators);
    • the information and conditional-entropy bottlenecks;
    • the SEP entry Natural Kinds;
    • the Riesz representation theorem, bra–ket notation and the GNS construction;
    • six papers on self-supervised learning, five of them spectral accounts.

    Twenty-one have a Skimmed NOTE.

  • Topics representation-learning and learning-theory (ADR-010).

Changed

  • The seed filer no longer writes “et al.” for a two-author work. One author gives the surname, two give “X & Y”, and three or more give “X et al.”

Added

  • Sixteen works found pursuing the owner’s Riesz, Radon–Nikodym and GNS question, all Deferred with Skimmed NOTEs. They cover:
    • the spectral and density-ratio accounts of contrastive learning;
    • kernel mean embeddings;
    • the representer theorem;
    • SSL-HSIC;
    • variational mutual-information bounds;
    • representational similarity and decodability;
    • identifiability;
    • GNS for kernels.
  • The record’s first nine THEORY documents, all Proposed. Six are proved in their sources and promote on a close reading. Three are inferences, each with a stated test. They are linked by extends.

Added

  • van Rijsbergen, The Geometry of Information Retrieval (Cambridge, 2004), filed Deferred at the owner’s request. The book is closed access. Its seed rests on the publisher’s contents and opening excerpts, the book’s annotated bibliography, and Kantor’s review.
  • Topic information-retrieval (ADR-011). It is also added to Knowledge Sheaves.

Added

  • Topic contextuality (ADR-012). It leads on LIT-016 and LIT-003 and is added to LIT-007, LIT-019 and LIT-077.
  • Four bridging works on contextuality, Deferred with Skimmed NOTEs:
    • Spekkens (2005);
    • the contextual fraction;
    • Budroni et al.’s review;
    • Contextuality-by-Default applied to behavioural data.
  • Seven THEORY documents bringing the record’s contextuality threads together. Two are Active, resting on read works. Five are Proposed.

Changed

  • LIT-262 (van Rijsbergen, The Geometry of Information Retrieval) is read and Active, from text the owner supplied (chapters 1–6 with front matter). It has a Read NOTE, and its seed is corrected on two points: the Riesz connection, and the book’s treatment of non-commuting observables.

Added

  • ADR-013: a work may be held in both records when each reads it for its own question. It narrows ADR-001’s “nothing is filed in both”.
  • Xiong, The Lattice Representation Hypothesis of Large Language Models, also held in the anthology as ANTH-LIT-460. It is re-read here against van Rijsbergen’s geometry of IR, and is Proposed with a Read NOTE.

Added

  • Bricken & Pehlevan, Attention Approximates Sparse Distributed Memory, also held in the anthology as ANTH-LIT-641 (ADR-013). It is read here as associative memory and a kernel read, Active with a Read NOTE.
  • ZipNN, Lossless Compression for AI Models, read for the entropy structure of trained weights. It is Active with a Read NOTE and tagged anthology-candidate.

Fixed

  • Acknowledgement directives are added to NOTE-239 and NOTE-240 for their citations of Proposed documents.

Added

  • Aerts et al., Identifying Quantum Structure in AI Language (Entropy 28(6):622), read and Rejected. Its CHSH values are computed over context-dependent marginals, the confound THEORY-013 records for the same test design, and its Bose–Einstein fit is a relabelled Zipf curve.

Added

  • Guo & Draper, Neural Tangent Kernel of Matrix Product States (arXiv 2111.14046), read and Rejected. Its sound core, that the infinite-bond MPS NTK is a constant multiple of its own GP product kernel, is covered rigorously by ANTH-LIT-557. Its lazy-training lemma is circular, and its positive-definiteness claim is proved only as semi-definiteness.

Added

  • DisCoCat. Coecke, Sadrzadeh & Clark, Mathematical Foundations for a Compositional Distributional Model of Meaning (arXiv 1003.4394), and its Frobenius-algebra sequel by Kartsaklis, Sadrzadeh, Pulman & Coecke (arXiv 1401.5980). Both are read and Active, as specifications rather than results: the first proves and tests nothing, and the second re-reports COLING 2012 numbers (best ρ = 0.172).

Fixed

  • LIT-271 carried a duplicate number: key.

Added

  • THEORY-017 (Proposed): in a Hilbert-space model only unitarily invariant structure is intrinsic. A basis or factorisation is extra data, and Carroll, van Rijsbergen and the two DisCoCat papers differ in where they get it. It extends THEORY-004.

Changed

  • NOTE-134 (Carroll, Reality as a Vector in Hilbert Space) now connects to the Hilbert-space works filed after it was read.

Added

  • Coecke, Pavlovic & Vicary, A New Description of Orthogonal Bases (arXiv 0810.0812), read and Active. Commutative †-Frobenius algebras on a finite-dimensional complex Hilbert space are its orthogonal bases, and the special ones are its orthonormal bases.

Changed

  • THEORY-017 restates the basis–Frobenius correspondence as proved and adds that it fails over the reals. It stays Proposed on its remaining condition.
  • NOTE-246 corrects two statements attributed to that paper.

Added

  • Abramsky & Heunen, H*-algebras and nonunital Frobenius algebras (arXiv 1011.6123), read and Active. Without a unit, commutative special †-Frobenius algebras satisfying the H*-axiom are orthonormal bases on a complex Hilbert space of any dimension.

Changed

  • THEORY-017’s finite-dimensional caveat is narrowed to continuous observables, and its real-scalar caveat extended to every dimension. It stays Proposed.

Added

  • Ghose, Measurement as Sheafification (arXiv 2512.12249 v2), read and Rejected. It restates Abramsky–Brandenburger by citation. Its “sheafification”, Heyting algebra and σ–λ dynamics are never constructed, and v2’s added Čech obstruction class is a coboundary’s, so it is always zero.

Added

  • Abramsky, Mansfield & Barbosa, The Cohomology of Non-Locality and Contextuality (arXiv 1111.3620), read and Active. The Čech obstruction is a sufficient witness of contextuality that misses Hardy’s model.

Changed

  • THEORY-012 now says that the cohomological witness is sufficient, not necessary.

Fixed

  • NOTE-249 (Ghose) described Abramsky, Mansfield & Barbosa’s obstruction class wrongly; the description is corrected and the verdict is unchanged.

Added

  • Abramsky, Barbosa, Kishida, Lal & Mansfield, Contextuality, Cohomology and Paradox (arXiv 1502.03097), read and Active. All-vs-Nothing arguments over any ring imply strong contextuality, which the cohomology detects. The paradox connection is one exact case plus analogy.

Changed

  • THEORY-012’s cohomology line now says the witness is complete for All-vs-Nothing models.

Added

  • Carù, On the Cohomology of Contextuality (arXiv 1701.00656), read and Active. A strongly contextual model on a symmetric Bell cover has a vanishing cohomological obstruction on every section, refuting Conjecture 8.1 of LIT-277.

Changed

  • THEORY-012’s cohomology line records that refutation and the cases still open.

Added

  • Carù, Towards a complete cohomology invariant for non-locality and contextuality (arXiv 1807.04203), read and Active. The iterated joint-model cohomology is exact on cyclic scenarios (Thm 7.7), but its general conjecture fails on the §8 cover of LIT-277.

Changed

  • THEORY-012’s cohomology line records the cyclic repair and the refutation.

Added

  • Carù, Logical and Topological Contextuality in Quantum Mechanics and Beyond (DPhil thesis, Oxford 2019), read and Active. It republishes the 2017–2018 cohomology results without repairing the false extension or the refuted conjecture.

Changed

  • THEORY-012’s cohomology line cites the thesis.

Added

  • Amartya Sen’s capability approach, assembled from nine texts, all read and Active:

    • Sen’s own Equality of What? (1979), Nobel lecture (1998) and Impossibility of a Paretian Liberal (1970);
    • the SEP and IEP overviews;
    • Robeyns’s Wellbeing, Freedom and Social Justice (2017);
    • critiques by Nussbaum (2003) and Valentini (2010);
    • Zwolinski’s review of The Idea of Justice.

    A curation entry sets out the account piece by piece, marking what was read in Sen himself and what is second-hand, and lists the Sen texts that could not be obtained.

Added

  • Harry Frankfurt’s account of higher-order volitions, assembled from seven texts, all read and Active:

    • Frankfurt’s own Tanner Lectures (2004);
    • the SEP Compatibilism, SEP Personal Autonomy, IEP Autonomy and SEP Alternative Possibilities entries;
    • two Velleman critiques (1992, 2002).

    A curation entry sets out the 1971 hierarchy, wantons and persons, the mature view, Watson’s objection and Frankfurt’s replies. It marks what was read in Frankfurt himself, and records where the secondary sources disagree.

Fixed

  • source-ok acknowledgements for three older title mismatches (LIT-009, LIT-032, LIT-256) that the lint’s remote check now catches.

Added

  • Every reference in the owner’s prior-art novelty map is now registered. Of 63 works, 6 were already held. The other 57 are new Deferred seeds with verified identifiers: quantum cognition and IR, topos and contextuality, representation theory, structural realism, conceptual spaces, the linear-representation and interpretability papers, and the thermodynamics of learning. A curation entry maps each reference to its code.

Added

  • Close readings of the prior-art novelty map’s references. 36 of the 57 seeds were read (34 in full, 2 books in part), each with a NOTE, and now carry a status from the reading: 35 Active, one Proposed. The other 21, mostly in-copyright books and paywalled papers, stay Deferred and record what was tried. A curation entry collects what the readings imply for the map.

Fixed

  • First-appearance published: dates for Aerts–Gabora I–II, Isham–Butterfield I, Döring–Isham I–IV and the information bottleneck paper.
  • Stone 1936’s printed title.
  • Tags on three entries.
  • Source URLs for Gelfand–Naimark 1943 and Toy Models of Superposition.

Added

  • Supplemental readings for the prior-art novelty map. Nine works are registered as the citations the map should use where the earlier readings found it wrong or unreachable:

    • Stone 1937 for Stone duality;
    • Husimi 1937 on orthomodularity;
    • Stanley’s hyperplane-arrangement notes and Zaslavsky’s 1975 announcement for topes;
    • Cohen & Welling 2014 and Lenc & Vedaldi 2015 as symmetry-detection prior art;
    • Russo & Zou for the information-usage bound;
    • Bennett on Landauer’s principle;
    • Earman on superselection.

    Seven are read. Zaslavsky’s announcement and Earman stay Deferred. A curation entry gives the verdict for each map row.

Fixed

  • Dated corrections in four earlier reading notes:
    • NOTE-282: abelian groups do force degenerate pairs over ℝ;
    • NOTE-288: the relay of Lenc & Vedaldi was overstated;
    • NOTE-275: Husimi uses the orthomodular law but does not isolate it;
    • NOTE-306: Russo & Zou’s quantity was given in Xu & Raginsky’s notation.
  • Stone 1936 now points to Stone 1937.

Added

  • Signal detection theory. Five sources registered:

    • Neyman & Pearson 1933;
    • Peterson & Birdsall’s 1953 report (the 1954 IRE paper’s precursor);
    • Tanner & Swets 1954;
    • Green & Swets 1966;
    • Stanislaw & Todorov 1999.

    Three are read. Neyman & Pearson and Green & Swets stay Deferred. A curation entry records what the record now says about SDT, and that Peterson & Birdsall can stand in for the unreachable Van Trees on the detection half of the prior-art map’s row 14.

Changed

  • LIT-351 (Van Trees) names the reachable stand-in.

Added

  • Twenty-five THEORY documents (9 Active, 14 Proposed, 2 Rejected), drawn from readings the record already held. They cover information and learning theory, the thermodynamics of computation, representation and symmetry, logic and quantum logic, signal detection, agency, ethics, consciousness, structural realism and real patterns. Before this, 21 topics had no theory.
  • Four works on phases of training: Saxe et al. 2018, Zucchet et al. 2025, Prakash & Martin 2025 and Zhou et al. 2025, all read. Saxe and Zucchet are also held in the anthology. Together they back the rejection of the information-bottleneck compression account, and a new theory that the later phases of training differ in kind.

Added

  • Chuai & Zhao 2020, Anger makes fake news viral online, seeded as Deferred from the reading feed (the anthology’s issue 180), where it was read on three separate days. Its subject, how emotion drives the spread of false news, has no anthology topic, so it is filed here beside the record’s other information-operations work. Read for triage only, so no NOTE yet.
  • Döring & Isham 2008, ‘What is a Thing?’: Topos Theory in the Foundations of Physics, filed Active and read in full, at the owner’s direction after it had been set aside as out of scope. It is the one-volume statement of the topos programme whose four papers the record holds. Its new material is small, and it leaves THEORY-037’s open Heyting implication open.

Added

  • Li 2026, “The two dragons of cognition: recursive condensation for predictive processing” (Frontiers in Computational Neuroscience), read in full at the owner’s request and filed Rejected. It is a hypothesis essay with no data or model, and it rests on two misstated results:

    • “memoized Savitch” inverts the theorem, which saves space by recomputing and still takes exponential time;
    • Urysohn’s lemma is stated as an “if and only if”, and is made to yield a linear readout it does not give.

    Its abstract’s “demonstrate”, “prove” and “derive” are not borne out in the text. Connections to THEORY-030 and THEORY-035 are recorded in the note.

Fixed

  • Two title mismatches against arXiv, acknowledged with source-ok.
    • LIT-041 was retitled in arXiv v2 (2026-09-30). The record keeps the v1 title of first appearance.
    • LIT-369’s title differs only by arXiv’s TeX markup.

Added

  • Li, “Structural Decoupling: A Scaffold-Flow Theory of Generalization and Alignment” (arXiv 2506.20699 v2), read in full at the owner’s request as possible follow-up to LIT-373, and filed Rejected.
    • What it proves is standard.
    • Its new results do not hold up:
      • the phase transition at width assumes its conclusion;
      • the width-versus-VC example contradicts itself;
      • the “fundamental theorem” is false as stated (it should use fat-shattering, not pseudo-dimension);
      • nothing shows the spectral estimator recovers width.
    • It repairs none of LIT-373’s grounds for rejection, so LIT-373 stays Rejected.
    • published: is v2’s date, because v1 under the same number is an unrelated paper.

Fixed

  • NOTE-321 said LIT-373’s metabolic maintenance cost “runs against” THEORY-030. It does not, as the owner pointed out: a standing cost of holding structure means the structure is dissipative, which Landauer’s principle allows. THEORY-030 now says so under “What this does not say”, noting that error correction against noise is itself an erasure it prices.

Changed

  • Xin Li’s structural-learning programme, re-read as one, charitably. LIT-374 moves from Rejected to Proposed. LIT-373 stays Rejected, but on new grounds: after repair it is unoriginal, its predictions do not discriminate, and its Theorem 2 is unargued, rather than the repairable mathematical slips. NOTE-321 and NOTE-322 carry new summaries and superseding sections.

Added

  • The programme’s two companion papers, both Proposed:

    • arXiv 2602.07974 v2, “Structural Learning Theory”, its fullest formal statement;
    • arXiv 2603.15412 v1, “Local Urysohn Width”. The identifier now serves an unrelated v2.

    A curation entry gives verdicts takeaway by takeaway.

Added

  • Isham–Butterfield’s “topos perspective on the Kochen–Specker theorem”, parts II–IV, read together as one series continuing part I (LIT-325):

    • II (Butterfield & Isham 1998), Active. The sieve-valued semantics also arises classically, so it is generic, not a way around Kochen–Specker.
    • III (Hamilton, Isham & Butterfield 1999), Superseded by IV. It moves the base to commutative von Neumann algebras, with propositions as clopen regions of Gelfand spectra. It stays the citation for introducing that base.
    • IV (Butterfield & Isham 2001), Active. It proves the correspondence between coarse-graining and clopen regions, and shows that a state’s valuation is fixed by its supports.

    The series’ major takeaways are argued appropriately; the theorems are thin, and Döring–Isham is its mature form.

Fixed

  • LIT-325’s note on the series gave Part II the wrong title and author order. NOTE-292 had Part III’s author order wrong.
  • arXiv identifiers that have served two different papers are now version-qualified.
    • LIT-374 and LIT-377 both held 2506.20699, so the identifier claimed two documents and main’s lint failed. They are now 2506.20699v2 and 2506.20699v1, the paper each actually is.
    • LIT-375 is now 2602.07974v2.
    • LIT-376 is now 2603.15412v1. Its source-ok directive is gone, since the identifier now names the paper recorded.

Added

  • Antonio Damasio, six works. They run from the 1989 retroactivation proposal through the somatic marker hypothesis and Bechara et al.’s gambling task to feelings as the source of consciousness. Three were read in full, with NOTEs. Three are Deferred seeds because no full text was reachable.
  • emotion-and-affect joins the topics (ADR-014), in the philosophy group. LIT-379 (anger and fake news) takes it.
  • The works held in both records now name their anthology entries (ADR-013), now that the anthology has numbered them: ZipNN (ANTH-LIT-750), the context-content paper’s v1 and v2 (ANTH-LIT-769), work capacity (ANTH-LIT-756), collective intelligence (ANTH-LIT-742) and Ricci-flow community detection (ANTH-LIT-766). ZipNN drops its anthology-candidate flag, since the transfer it awaited is decided.

Fixed

  • main failed the unique-identifier check. LIT-377 (context-content v1) and LIT-374 (the author’s v2, filed in parallel) share arXiv 2506.20699. LIT-377 now names LIT-374 as its superseded_by, and each note names the other.

Added

  • Marvin Minsky’s Society of Mind programme, eight works. They run from the 1974 frames memo through The Society of Mind (1986) to The Emotion Machine (2006, read from the author’s posted draft). Six were read in full. The memos are linked by extends: as their own texts describe.
  • Douglas Hofstadter, eight works. Four are papers on analogy and Copycat, including his lead essay in the world-models collection that LIT-195 introduces. Four are books. One was read in full; the rest are Deferred seeds because no lawful full text was reachable.
  • A bridge from Minsky’s society of mind to Schwitzgebel’s conscious United States: eleven works and a THEORY. The works are Selfridge, Putnam, Block, Lycan, Brooks, List & Pettit, Huebner, IIT 3.0, Kammerer, List and Levin; seven were read in full. THEORY-043 (Proposed) holds that the two are one functionalist move run in opposite directions. It finds that what separates them is an anti-nesting principle or an architectural criterion, and that the readings supply neither on principled grounds.

Fixed

  • The source check on main failed when arXiv answered. LIT-376 and LIT-377 carry version-qualified arXiv ids, which arXiv resolves to the latest version’s title. Their source-ok acknowledgements now name the versioned ids.

Added

  • Isham 1997, “Topos theory and consistent histories” (LIT-390), Active. This is the paper the Kochen–Specker topos series names as its motivation. It puts the consistent-histories formalism over the poset of Boolean subalgebras, and gives probability claims sieve-valued truth values in a Heyting logic. It is now a source for THEORY-024’s rejection, as the record’s cleanest counterexample: global sections exist for every proposition, yet excluded middle fails.
  • Isham & Butterfield 1999, “Some possible roles for topos theory in quantum theory and quantum gravity” (LIT-389), Active, narrowly. It is the programme’s manifesto, proves nothing new, and is mostly superseded by the series and the topos book.

Fixed

  • NOTE-277 records that “neo-realism” appears in Isham 1997, eleven years before Döring–Isham’s “we coin the term”.

Added

  • David Chalmers, thirteen works, eleven read in full. These are the hard problem, fading qualia, the meta-problem, the combination problem, implementation and LLM consciousness, plus the extended-mind programme around LIT-097: Chalmers’s foreword and 2019 chapter, Clark’s reply, and the critics Adams & Aizawa and Rupert.
  • Daniel Dennett, twelve works, and The Mind’s I with Turing and Searle filed from it. Ten are read in full, across the intentional stance, “Quining Qualia”, multiple drafts, “Facing Backwards”, the narrative self and “Where Am I?”.
  • THEORY-043 gains a section from these readings. Agency is cheap to agree on, discharge licenses only the downward move, invariance narrows the dispute to architecture, and there are two new candidate criteria.

Fixed

  • Three older notes corrected from later readings.
    • NOTE-131 v3: Block’s counterexample to Putnam, Putnam’s paraphrased “quotation” and first printing, and which Brooks wrote “Brain City”.
    • NOTE-180 v3: the coupling–constitution objection is attributed to Adams & Aizawa 2001, now filed, with the name from their later work.
    • NOTE-188 v2: Kammerer’s principle is stated with both its conditions.

Added

  • The personal-identity literature, eighteen works, twelve read in full. Locke, Hume, Williams, Parfit and Lewis; Olson’s SEP entry, Strawson’s “Against Narrativity”, Gallagher 2000 and Metzinger’s “Self models”; and Shanahan’s three papers on LLM selves. Reasons and Persons, The Human Animal, The Constitution of Selves, Subjectivity and Selfhood, Being No One and Chalmers’s “What we talk to” are Deferred.
  • Six of the seven unidentified converted texts. Frankish 2016, Taylor 2024, Schwitzgebel’s reply to Kammerer, Dennett’s reply to Stich, Adams & Aizawa’s “Defending the Bounds of Cognition” and Burns’s review of Fluid Concepts, all read in full. The seventh is an excerpt of LIT-439.
  • Two topics. self-and-personhood (ADR-015) and phenomenology (ADR-016).

Changed

  • identity is renamed individuation and narrowed to the individuation of things; the self and the person are now self-and-personhood (ADR-015).

Fixed

  • NOTE-362 v2: Schwitzgebel’s reply presses Kammerer’s condition A, not B.
  • THEORY-043 v2: takes in the reply’s condition-A gap, its simplicity dilemma and its Leo case.
  • NOTE-180 v4: the “coupling–constitution fallacy” name was in use by late 2005.

Added

  • Social ontology, twenty-four works, eight read in full. Searle 2006, North 1991, Hindriks & Guala 2015, Epstein’s SEP “Social Ontology”, Durkheim’s “Qu’est-ce qu’un fait social ?”, Haslanger 2000 and both Ritchie papers are read. Searle 1990 and 1995, Gilbert 1989 and 1990, Bratman 1992 and 2014, Tuomela & Miller, Lewis’s Convention, Bicchieri, Guala 2016, The Ant Trap, Berger & Luckmann, Hacking, Ásta, Thomasson and Tollefsen are Deferred.
  • social-ontology joins the topics (ADR-017), and six existing works take it.

Changed

  • THEORY-043 v3: a scoping note from Ritchie and Epstein on which group a criterion for group minds applies to; Tollefsen joins its unread works.

Changed

  • CI pins luria 0.34.0, up from 0.31.0, in the docs and pages workflows. The record needed no migration: repair and link --fix have nothing to do under it, and the lint gives the same findings as 0.31.0, now listing each retired or unresolved citation’s sites inline.

Added

  • Moral psychology, twenty-one works, seventeen read in full. Morality-as-cooperation’s own programme (Curry 2016, the MAC-Q, “Moral Molecules”, the 256-society study, the Turkish validation); its rivals (Haidt 2001, Haidt & Joseph 2004, Graham et al. 2013, the MFQ-2, Rai & Fiske, Baumard, André & Sperber; Schein & Gray Deferred); and its evolutionary sources (Hamilton 1964 I and II, Trivers, Maynard Smith & Price, Axelrod & Hamilton, Nowak; Alexander, Boehm and Tomasello 2016 Deferred).
  • Two topics. moral-psychology (ADR-018) and game-theory (ADR-019).

Fixed

  • NOTE-034 v3: the hawk–dove attribution to Maynard Smith & Price 1973 is corrected, C7’s comparison with Moral Foundations Theory is qualified, and the replies to the purity objection are connected.

Added

  • Dissipative structures, twenty-three works, fourteen read in full. Prigogine’s Nobel lecture, Turing 1952, the BZ reaction and Cross & Hohenberg (skimmed); the critics and fluctuation theorems (Dewar, Grinstein & Linsker, Kleidon, Jarzynski, Crooks, Seifert); and life as dissipation (Schneider & Kay, Morowitz & Smith, England 2013, Perunov, Marsland & England, Friston 2013). Glansdorff & Prigogine, Nicolis & Prigogine, Order out of Chaos, Landauer 1975, Martyushev & Seleznev, What Is Life?, Incomplete Nature and Biological Autonomy are Deferred.
  • thermodynamics joins the topics (ADR-020); twenty-seven works and two THEORYs take it.

Fixed

  • NOTE-094 v3: LIT-211 is read, not Deferred, and the demarcation question points to the new readings.

Added

  • Psychopathology, emotion and psychotherapy: eighteen notes on fifteen requested works, ten of them read in full.
    • Read in full: Borsboom’s network theory, Hofmann & Hayes on process-based therapy, Salkovskis et al. on mechanisms of change, Gross on emotion regulation, Barrett’s constructed emotion, the ACT model (Hayes et al. 2006) and Kashdan & Rottenberg on psychological flexibility.
    • Read in place of a work that could not be read: Kendler 2008 for Kendler 2005, Frijda et al. 2014 for The Emotions, and Barnes-Holmes et al. 2004 for Relational Frame Theory.
    • Deferred, with no lawful full text: Engel 1977, Kendler 2005, Emotion and Adaptation, The Emotions, the RFT book, Hayes et al. 1996, Macri & Rogge 2024 and Bandura 1977.
  • psychopathology-and-treatment joins the topics (ADR-021). Fifteen of the eighteen notes take it.
  • rivals joins the LIT and THEORY relations (ADR-022). It is symmetric: two accounts of the same phenomenon that cannot both be right, where neither yet corrects the other. Its first use is Barrett’s constructed emotion against Lazarus’s and Frijda’s appraisal theories.

Added

  • Fifteen theories from the psychopathology, emotion and psychotherapy batch and from self-determination theory. One is Active, that a treatment’s efficacy is not evidence for its theory of change. The other fourteen are Proposed. They cover:
    • felt affect as the body’s regulatory state;
    • constructed emotion against appraisal theory, declared rivals;
    • regulation not separate from generation;
    • biology implementing psychology;
    • maintenance loops;
    • transdiagnostic inflexibility and need frustration;
    • ACT’s account of the self, and self-as-context as a treatment process;
    • autonomy as graded integration, and acquisition history fixing it;
    • cognitive evaluation theory, and the reward undermining effect. Each is set against the record’s philosophy-of-mind holdings. Those holdings now point back at the theories.
  • Self-determination theory: five works read in full, plus the Cameron & Pierce side of the reward dispute as Deferred seeds.
  • motivation joins the topics (ADR-023).

Added

  • Agency, self, control and self-governance: 44 readings (27 read, 17 Deferred seeds), filed in five groups:
    • biological autonomy, enaction and the free-energy principle;
    • control and self-control;
    • evidence-accumulation models;
    • self, person and practical reason;
    • authenticity and self-governance.
  • Two Markov-blanket critiques now correct LIT-526.
  • Nineteen theories from the batch, two Active and seventeen Proposed:
    • Behavioural integration (7):
      • accumulator optimality: leak balanced by inhibition, Active;
      • the readiness potential;
      • goals as accumulation parameters;
      • Ainslie’s bargaining;
      • model-based and model-free arbitration by reliability;
      • the expected value of control;
      • HKB coordination.
    • Individuation and agency (4):
      • a Markov blanket is relative to a chosen internal set, Active;
      • blankets do not individuate;
      • organisms against dissipative structures, the record’s first answer to NOTE-094;
      • minimal agency.
    • Self-governance, narrative and the self (8):
      • Bratman’s diachronic self-governance, declared rivals with Ainslie’s bargaining;
      • Korsgaard on the unity of agency, and on obligation;
      • narrative identity;
      • self-concordance;
      • authenticity constructs;
      • Metzinger’s self-model;
      • phenomenal unity.
  • Six topics (ADR-025): well-being, learning-and-conditioning, psychometrics, philosophy-of-biology, embodied-cognition and free-will. They are applied across 82 existing documents, and nine of those now take one first.

Changed

  • Agent, individual, self and person are kept apart, and four unities are represented separately (ADR-024).
    • self-and-personhood is retired into self and personhood.
    • New topics: behavioral-integration, phenomenal-unity, narrative-unity and self-governance.
    • Forty-two documents were retagged, twenty-one took a unity word, and prose that ran the terms together was corrected.
  • THEORY-029, THEORY-040, THEORY-044 and THEORY-051 take the batch’s readings: Frankfurt’s 1987 essay, Bratman’s and Korsgaard’s stopping points, Korsgaard’s structural account, and the Metzinger and IFS contrasts.

Added

  • Model comparison and Fisher geometry: eighteen readings, seventeen read in full, filed in three groups:
    • model comparison: Savage–Dickey, Bayesian model reduction, structure learning, MacKay, Watanabe’s WBIC;
    • Fisher geometry and spectra: Amari, K-FAC, Shampoo, Papyan, neural collapse;
    • kernel spectra and SAEs: Bietti & Bach, Cao et al., Basri et al., Gemma Scope.
  • model-comparison and information-geometry join the topics (ADR-026).

Changed

  • LIT-354. Watanabe 2009 names WBIC as its read substitute.

Documentation

  • CLAUDE.md. The boundary section now states ADR-013’s dual-holding rule.

Changed

  • Dickey (1971), LIT-610, is now read. It was Deferred, then read in full from a copy the owner supplied (a JSTOR scan, OCR’d and checked against the page images), with a NOTE.
    • The Savage–Dickey ratio is its Eq. 3.9. It holds for any continuous likelihood.
    • Dickey credits the formula to Savage and the proof to Dickey & Lientz.
    • THEORY-081 now takes it as a source for its point-mass clause.
    • LIT-609, LIT-620, NOTE-484 and NOTE-487 now cite it as read. LIT-620’s description of Wagenmakers’s continuity condition is corrected: Dickey’s theorem needs both the continuity condition and the shared likelihood.

Added

  • Neural dynamics and consciousness: eight readings, six read in full, filed in two groups:
    • neural dynamics: co-ripple co-firing, interacting cortical spirals, sustained visual perception, and a traveling-waves review (Deferred);
    • consciousness and biophysics: tryptophan superradiance, conscious birds, ALARM theory, and spontaneous radiation versus Orch OR (Deferred).
  • Seven Proposed theories from the batch, including a rival pair on what consciousness was first for: alarm, or a common currency for trade-offs.

Changed

  • NOTE-330. Its unfiled subcortical-feeling candidate now points to the theory that carries it.

Added

  • Ned Block on consciousness: seven papers, all read in full from Block’s own deposits: access vs phenomenal consciousness (1995), the harder problem (2002), two neural correlates (2005), overflow and the mesh argument (2007, 2011), comparing the major theories (2009), and the no-report paradigm (2019).
  • Four Proposed theories from them: perceptual consciousness overflows access; its basis is recurrent sensory activity, not prefrontal access machinery; neither report nor no-report paradigms isolate that basis; and a deficit that removes consciousness and a capacity together does not show the capacity is a function of phenomenal consciousness.

Changed

  • THEORY-023 (v2). Block 2002 (meta-inaccessibility) and Block 2009 (the biological theory) join its sources.

Added (continued)

  • Ned Block on functionalism, meaning, AI and perception: eight works read from his own deposits:
    • Block & Fodor 1972, which corrects Putnam’s machine-state theory;
    • “Psychologism and Behaviorism” (Blockhead), which corrects Turing’s sufficient condition;
    • conceptual role semantics, in the “Advertisement” and in “Functional Role and Truth Conditions” (the record’s “Block 1987”);
    • “Inverted Earth”;
    • “The Mind as the Software of the Brain”;
    • “Mental Paint”;
    • the précis of The Border Between Seeing and Thinking. The book is seeded Deferred.
  • Mashour, Roelfsema, Changeux & Dehaene 2020, the record’s first global-workspace source. It rivals Block’s overflow and no-report papers and IIT.
  • Damasio & Damasio 2022, “Homeostatic feelings and the biology of consciousness”. It was skimmed through a summarising fetch tool, since the publisher’s page is bot-challenged.

Changed

Added (theories)

  • Five more Proposed theories from the Block batch and its companions:
    • psychologism: behavioural capacity does not fix intelligence;
    • long-arm accounts of phenomenal character fail;
    • two-factor content;
    • global availability by ignition, which rivals the two overflow theories;
    • consciousness supplied by homeostatic feeling, which extends THEORY-045 and rivals global availability.

Added

  • loss-landscapes joins the topics (ADR-027).

  • Mode connectivity, loss landscapes and model merging: 33 readings, all read, filed in four groups:

    • foundations (Garipov, Draxler, Frankle, Kuditipudi, Entezari, Git Re-Basin, Ferbach, Benton);
    • extensions (mechanistic, layerwise, geodesic and star-shaped connectivity, the symmetry account, transformers, mixtures of experts, adversarial robustness);
    • merging and other settings (TIES, ZipIt!, fine-tuning regions, continual and federated learning, GNNs, generative models, the ELBO);
    • landscape theory and generalization (Yang et al., Martin & Mahoney, two double-descent papers, and three on where generalization is carried).

    Entezari et al. and Git Re-Basin are ADR-013 second readings of anthology holdings.

Added (theories)

  • Fourteen Proposed theories from the batch:
    • Landscape structure:
      • found solutions lie in one connected low-loss set;
      • linear connectivity emerges in training;
      • barriers vanish modulo the full symmetry group, with width lowering them and depth raising them;
      • star domains.
    • Mechanisms and merging:
      • a surviving barrier marks different mechanisms;
      • along a linear path, features interpolate;
      • shared-start connectivity needs shared structure;
      • fine-tuning regions;
      • ZipIt!‘s unmatched deep features;
      • TIES’s coordinate interference.
    • Generalization:
      • global structure over curvature;
      • the double-descent peak in random features;
      • the out-of-distribution-best readout lies below the top layer;
      • diversity, not volume, for compositional generalization.

Changed

  • LIT-669 and NOTE-538. These were filed in this contribution as saying Lubana et al. prove their Conjecture 1 for one hidden layer. Appendix F.3 proves the converse, and both now say so.

Added

  • Susan Wolf’s Reason View, seeded: “Asymmetrical Freedom”, “Sanity and the Metaphysics of Responsibility”, and Freedom Within Reason. All three are Deferred, because no lawful open copy exists. Each says what the secondary sources report and what a reader could supply.
  • Fischer & Ravizza’s reasons-responsiveness: the 1987 chapter and Responsibility and Control, both Deferred. Fischer’s open-access “Stories and the Meaning of Life” and the SEP Moral Responsibility entry were both read.
  • Three Proposed theories: Wolf’s Reason View, her praise/blame asymmetry, and Fischer & Ravizza’s guidance control. The asymmetry and guidance control are rivals on blame. Each says it rests on secondary reports.
  • Harry Frankfurt, first-hand: the 1969 Frankfurt-cases paper and the 1971 “Freedom of the Will and the Concept of a Person”, both read. The 1982 essay, “The Faintest Passion” and the 1988 collection are seeded Deferred.
  • Two Proposed theories from Frankfurt: the hierarchical (endorsement) account, which rivals the regress, self-determination theory, Wolf and Fischer & Ravizza; and the falsity of the PAP, which Fischer & Ravizza now extend.

Added

  • Posani et al. 2026, “Rarely categorical, highly separable representations along the cortical hierarchy”, read as an ADR-013 second reading of ANTH-LIT-696. It comes with one Proposed theory: within an area, no neuron types, but near-total separability.

Fixed

  • Anthology note citations. LIT-652, LIT-661, NOTE-532 and NOTE-537 cited the anthology’s notes as bare NOTE codes, which resolved to this record’s own notes. They now read ANTH-NOTE-131 and ANTH-NOTE-116.
  • The ANTH remote now knows the anthology’s NOTE scheme (record/notes.d). An ANTH-NOTE code used to link into literature.d, which has no notes.
  • Collective emotions and group agency: eleven readings.
    • Read: Huebner, List & Pettit 2006, List 2014, von Scheve & Ismer, and Barsade’s manuscript.
    • Deferred: Gilbert, Schmid, Wimsatt, Isaacs, Sanchez-Burks & Huy, Ashforth & Humphrey, and Frijda 1988.
    • Four Proposed theories: convergence, genuinely collective emotion, contagion, and judgment aggregation.
  • Stray tool-call markup removed from the ends of nineteen literature and note files, ten of which were already on main.

Added

  • ecology joins the topics (ADR-028).
  • Corals as composite systems: four readings, all read.
    • Goulet et al. 2020 on the holobiont paradigm;
    • Boilard et al. 2020 on bleaching as dysbiosis;
    • Kaniewska et al. 2015 on moonlight and mass spawning;
    • Hughes et al. 2007 on herbivory and reef resilience.
  • Three Proposed theories: bleaching as breakdown of host–symbiont regulation, spawning timed by the night-light regime, and reef recovery depending on herbivory.

Added

  • Sources cited by an essay on organizational will, none of which the record held:
    • Aubin, Viability Theory (1991), registered; his 1999 mini-course notes, read;
    • Longino, Science as Social Knowledge (1990) and The Fate of Knowledge (2002), registered; her SEP entry on the social dimensions of scientific knowledge, read;
    • Ostrom, Governing the Commons (1990), registered; her Nobel lecture on polycentric governance, read;
    • Zollman 2007, 2010 and 2013 on epistemic networks, and Rosenstock, Bruner & O’Connor 2017 on their robustness, read.
  • Five theories: viability relative to a constraint set (Active); Longino’s community norms of objectivity (Proposed); Ostrom’s design principles of durable self-governance (Active); the Zollman effect, confined to hard inquiry (Proposed); transient diversity (Proposed).

Added

  • Supplements to the essay on organizational will, chosen against the draft’s gaps:
    • List & Menzies 2009 on realization-insensitive causation, read;
    • Pettit, Responsibility Incorporated (2007), registered; his 2017 chapter “The Conversable, Responsible Corporation”, read;
    • Holling 1973 on resilience and stability, read;
    • Scheffer et al. 2001, registered; Scheffer & Carpenter 2003 on evidence for alternative stable states, read;
    • Rasmussen 1997 on migration toward the boundary of acceptable performance, read;
    • Argyris 1977 on double-loop learning, registered; his 2002 article “Double-Loop Learning, Teaching, and Research”, read.
  • Six theories:
    • realization-insensitive higher-level causation (Proposed);
    • corporate fitness to be held responsible (Proposed, extending THEORY-127);
    • stability versus resilience (Active);
    • the standard of evidence for alternative stable states (Active);
    • drift toward the boundary (Proposed);
    • defensive routines blocking double-loop learning (Proposed).

Added

  • The remaining readings suggested for the essay on organizational will.
    • Read: French 1979, March 1991, Aktipis et al. 2015, Holman & Bruner 2017.
    • Read in place of a closed work:
      • Woodward’s SEP entry, for Making Things Happen;
      • the Columbia Accident Investigation Board’s “History As Cause”, for Vaughan;
      • Hirschman’s “Further Reflections”;
      • Beer’s 1984 paper on the Viable System Model;
      • Doctorow’s “Tiktok’s enshittification”;
      • Okasha 2022;
      • Wolf’s 2013 lecture;
      • List & Pettit’s Episteme replies;
      • Tollefsen 2025.
    • Each closed work is registered, as is Holman & Bruner 2015.
  • Twelve theories, one for each read work except the List & Pettit replies.

Changed

  • Fischer read first-hand. On the owner’s authorisation of Andrew M. Bailey’s collection, Fischer’s 1987 “Responsiveness and Moral Responsibility” (LIT-687) is read and Active, and the Fischer & Ravizza précis is filed and read. THEORY-121 now takes both as sources and is Active, as its promotion condition set out.

  • Unread entries for Wolf, Fischer & Ravizza, Group Agency and Groups as Agents now record the 2026-10-05 search and the substitutes read.

Added

  • presupposes joins the THEORY relations (ADR-029), with the converse presupposed_by. It means one account takes another’s conclusion as a premise for a claim about something else. It joins no chain, so it needs no shared topic. First uses: THEORY-136 presupposes THEORY-132.

Changed

  • THEORY-139’s extends: THEORY-127 is re-filed as presupposes. Pettit’s responsibility claim rests on List and Pettit’s aggregation result without refining it.

Changed

  • Relation audit of the THEORY scheme under ADR-029. Every pair of theories where one names the other without a declared relation (250 pairs by a count that turned out to include five false matches) was read against the relation definitions, and so was every declared relation (60).
  • Seven extends re-filed as presupposes, each an account that takes the other’s conclusion as a premise for a claim about something else: THEORY-098 on THEORY-103, THEORY-126 on THEORY-055, THEORY-079 on THEORY-087, THEORY-084 on THEORY-086, THEORY-051 on THEORY-050, THEORY-002 on THEORY-004, and THEORY-019 on THEORY-017. THEORY-002 gains a Connections section saying what it takes.
  • Four relations the prose already stated are declared. THEORY-077 presupposes THEORY-054, THEORY-115 presupposes THEORY-114 and THEORY-098 presupposes THEORY-094, each of which said so (or said the equivalent) before the relation existed; and THEORY-080 extends THEORY-087, which both documents’ Connections already said and neither frontmatter carried.
  • The remaining 241 pairs stay undeclared: contrasts, parallels in other domains, shared sources, and cross-references, which the relations are not for. Five more were false matches on anthology citations.

Added

  • Cameron, Banko & Pierce (2001), LIT-562, read (NOTE-587), on the owner’s instruction. It moves from Deferred to Active.
  • THEORY-154: whether an expected tangible reward lowers or raises later intrinsic motivation depends on how tightly its stated contingency ties it to performance and success. Proposed, and declared a rival of cognitive evaluation theory (THEORY-049).
  • Eisenberger, Pierce & Cameron (1999), LIT-754, registered Deferred. It is the comment that compares rewards against controls given the same feedback, the comparison THEORY-049’s refutation clause needs. It is closed at APA, and the entry is written from LIT-562’s account.

Changed

  • THEORY-046 is Active. Its promotion condition was this reading. The reply finds the same undermining by rewards offered for doing an interesting task (K = 57, −0.35), so both sides of the dispute find the effect.
  • THEORY-049 stays Proposed, with the reading recorded. Rewards for exceeding others raise free choice in the reply. That would refute the account, but only against a control given the same feedback, and the reply pools both kinds of control.
  • The documents that called LIT-562 unread are updated: LIT-556, LIT-557, LIT-559, NOTE-438 and NOTE-442.

Added

  • The design-rationale literature, filed as cautionary evidence for the argument-development schemes the owner is considering. Nine works, registered and unread, all Deferred:
    • Kunz & Rittel 1970 (IBIS), LIT-758;
    • Conklin & Begeman 1988 (gIBIS), LIT-762;
    • MacLean et al. 1991 (QOC), LIT-763;
    • Conklin & Burgess Yakemovic 1991 (the field trial), LIT-755;
    • Grudin 1988 and 1994 on why groupware fails, LIT-759 and LIT-757;
    • Buckingham Shum & Hammond 1994, LIT-761;
    • Lee 1997, LIT-760;
    • Shipman & Marshall 1999, LIT-756.
  • design-rationale joins the topics (ADR-030).

Added

  • Four works cited by the owner’s essay “The Organization of Will”, registered Deferred and unread, so the essay’s argument record has something to point at: Fraenkel, The Dual State (LIT-805); Ashby, Design for a Brain (LIT-787); Canguilhem, On the Normal and the Pathological (LIT-817); Craver, Explaining the Brain (LIT-832). Each is written from secondary description.

Added

  • Five schemes for developing the record’s own arguments (ADR-032): QUESTION, CLAIM (with a voice — thesis, counter, granted, disclaimed, supposed — beside its credence), CASE, TERM and ARG. Also a workbench journal, and lines and works vocabularies. THEORY gains answers and supports; LIT gains supports.
  • The owner’s essay exchange of 2026-10-04 to 2026-10-06 filed as a demonstration: 5 questions, 7 terms, 14 cases, 29 claims, 5 arguments and 5 workbench entries.
  • Chains over the record’s own argument: lines of argument (rests_on, reporting a step that crosses from one line of inquiry to another), objections and replies (objects_to), and how claims and terms were revised (supersedes). Claims and questions are indexed by line of inquiry.

Changed

  • CI runs luria 0.36.0, which lets a reference name several schemes.

Changed

  • luria.yaml declares the relations luria used to supply on its own. luria now takes relation semantics only from configuration (dmarx/luria#360), so luria upgrade explicit-relations wrote them down. That added a superseded_by reference, with the old required-when-retired and forbidden-when-active conditions, to LIT, NOTE, THEORY, ADR, DP, QUESTION, CASE and ARG. It also added active, retires_on and successor roles wherever they were missing. LIT’s successor may name an anthology code, because one already does. CLAIM and TERM kept their own declarations. The upgrade only adds lines, and the record renders and lints as before.
  • CI runs luria 1.0.0, the release that carries the change.

Added

  • Twenty-two works from the owner’s manuscript reference list. The other two works on the list were already held (LIT-016, LIT-338). Each work was read where a lawful full text could be reached, on its own merits and without the manuscript.
  • Five Proposed THEORY documents: comparison of experiments (THEORY-156), sufficiency theorems in Markov categories (THEORY-157), a Noether theorem for Markov processes (THEORY-158), linguistic value (THEORY-159), and iterated learning converging to the prior (THEORY-155).
  • compositionality and mathematical-statistics join the topics (ADR-031). LIT-667, THEORY-117, LIT-272, LIT-273 and LIT-349 are retagged.

Changed

  • THEORY-014 gains Contextuality-by-Default as a third instance, and its claim is unchanged.

Added

  • What Survives Translation?, the owner’s working manuscript, filed as a work (what-survives-translation) on a new line, pragmatic-transport. It has a title question (QUESTION-002), eight Proposed theses, and five granted claims where the readings filed from its references cut against how it uses them: Saussure (CLAIM-072), Contextuality-by-Default (CLAIM-069), Baez & Fong (CLAIM-094), iterated learning (CLAIM-066) and T2I-CompBench (CLAIM-097). The workbench entry of 2026-10-09 records the session.
  • The exchange that produced it, reconstructed from the full transcript (39 owner turns, every outline and draft), in seven workbench entries for 2026-10-08. The thesis is chained through its eleven versions, from the owner’s frame thesis to the manuscript’s. Redefined terms (“frame” six times, “fidelity” repeatedly) are TERM chains, and the relativity and quantum-measurement analogies are ARGs with their undercuts. The four experiments are cases with their results as stated, and none of those results reached a later draft. Claims and questions the drafts dropped are recovered as Proposed, outside the work, each saying where it was last present and why it fell out. C7’s appendices were read: Proposition 1’s proof holds, and Proposition 2 holds as stated, though its appendix proof is circular.

Added

  • The bibliography of What Survives Translation? registered. These are the 46 works the manuscript dropped, plus the prior art the exchange conceded: Krifka 2024, the semantic-communication survey, Chai et al. and Zhao et al. 2025.
    • 44 new LITs: 35 read and Active, 8 filed but not read (in copyright, with no lawful copy), and 1 Rejected (withdrawn by its authors).
    • The 7 works already held: LIT-264 and LIT-265 now read; LIT-277 was already read; the other four are still unreachable.
    • 12 Proposed THEORYs.
    • The readings are noted on the claims of the manuscript’s argument they bear on. See the curation entry of 2026-10-09.
  • translation (ADR-033), pragmatics and myth-and-folklore (ADR-034) join the topics, and causality (ADR-035), which is added beside existing tags on every work whose subject is causation.

Fixed

  • LIT-316’s and LIT-344’s history entries now run oldest first.
  • The links in the U1–U13 workbench entry resolve from where it renders.

Fixed

  • Four documents’ history: entries were written newest-first (LIT-830, LIT-837, TERM-008, TERM-024). The lint failed on them after the manuscript stack merged, so the Docs workflow failed and the site was not redeployed. They now run oldest-first.

Changed

  • ADR-032, the argument-development schemes, is accepted: Proposed → Active.

Added

  • Abramsky & Sadrzadeh 2014, “Semantic Unification: A sheaf theoretic approach to natural language” (LIT-841), read in full and filed at the owner’s request. It extends LIT-016. It is noted on three claims of the What Survives Translation? argument: ambiguity versus contextuality (sharpened), objects as local sections (prior art, with a different emphasis), and the narrowed novelty claim.

Added

  • Two works read and filed at the owner’s request:
    • Wang, Sadrzadeh, Abramsky & Cervantes 2021, “On the Quantum-like Contextuality of Ambiguous Phrases” (LIT-842). Its two contextual systems fail its own bootstrap, and every corpus model is signalling.
    • Abramsky, Barbosa & Searle 2024, “Combining contextuality and causality: a game semantics approach” (LIT-843), which becomes a second source for THEORY-171.
  • Both are noted on the What Survives Translation? claims they bear on: CLAIM-009, CLAIM-037, CLAIM-038 and CLAIM-044.

Added

  • Six works read and filed at the owner’s request.
    • The BERT contextuality study: Lo, Sadrzadeh & Mansfield 2025 (LIT-844).

    • Simulations between empirical models:

      • Karvonen 2018 (LIT-846);
      • Abramsky, Barbosa, Karvonen & Mansfield 2019 (LIT-847);
      • Barbosa, Karvonen & Mansfield, “Closing Bell” (LIT-845).

      A Proposed THEORY comes with them (THEORY-174): classical simulations never create contextuality.

    • Large AI models as cultural and social technologies: Farrell, Gopnik, Shalizi & Evans 2025 (LIT-848), with a Proposed THEORY (THEORY-173).

    • Shanahan et al., role play (LIT-460): already held and read, so only a history line was added.

  • What the readings change in the What Survives Translation? argument:
    • The open problem of transport between changing covers (CLAIM-100) is answered in part.
    • The manuscript’s Propositions 1 and 2 (CLAIM-121, CLAIM-070) are special cases of Karvonen 2018.

Changed

  • The open problem of transport between changing covers is narrowed, at the owner’s request. CLAIM-100 is Superseded by CLAIM-125, which holds open only what the simulations literature leaves: when a cover-changing transport preserves decision-relevant information, and how it extends to signalling data. Karvonen 2018 (LIT-846), Abramsky, Barbosa, Karvonen & Mansfield 2019 (LIT-847) and “Closing Bell” (LIT-845) are its grounds and its first prior art.
  • The manuscript’s Propositions 1 and 2 (CLAIM-121, CLAIM-070) now name Karvonen 2018 (LIT-846) and THEORY-174 in their grounds.

Added

  • Two works on comparing neural representations read and filed at the owner’s request, as candidate prior art for the pragmatic-transport line:
    • Bansal, Nakkiran & Barak 2021, “Revisiting Model Stitching to Compare Neural Representations” (LIT-850), with a Proposed THEORY (THEORY-176): a task-loss stitching penalty is not Blackwell’s order.
    • Moschella et al. 2023, “Relative representations enable zero-shot latent space communication” (LIT-849), with a Proposed THEORY (THEORY-175): cosines to matched anchors are invariant exactly to cosine-preserving maps, and independently trained encoders agree in them only approximately.
  • A Proposed thesis on the pragmatic-transport line (CLAIM-126): model stitching tests the decision-relevant half of CLAIM-125 only in its reconstruction form, in one direction, within its map class.

Changed

  • The structuralist premise (CLAIM-082) gains a qualification from machine representations: relative representations (LIT-849, THEORY-175) carry a decoder between systems by relations alone, but only once anchors are matched by an outside correspondence, and lossily. THEORY-175 is added to its grounds.

Added

  • Wang, Sadrzadeh, Abramsky & Cervantes 2021, “Analysing Ambiguous Nouns and Verbs with Quantum Contextuality Tools” (LIT-851), the journal follow-up to LIT-842, read and filed at the owner’s request. A Proposed THEORY comes with it (THEORY-177): in a binary cyclic system, the CbD signalling measure is twice the least direct influence any canonical causal model must contain. The reading finds that the paper’s verb–noun headline does not hold over all systems, and that its homonymy result is significant only one-sided.

Changed

  • CLAIM-125 gains a section and a ground: language data are typically signalling, so the extension of transport to signalling data is needed, and the paper supplies a quantity a transport could be asked to bound.
  • LIT-842 now points to the follow-up as filed.

Added

  • Three works on persistent states in bacteria, read and filed at the owner’s request:
    • Bhattacharyya et al. 2023, “A heritable iron memory enables decision-making in Escherichia coli” (LIT-853), with a Proposed THEORY (THEORY-179): swarming potential is a short-lived inherited state, shared for about four generations and lost by about seven, tracking iron status rather than a bistable switch.
    • Zhao, Wytock, Reynolds & Motter 2024, “Irreversibility in bacterial regulatory networks” (LIT-854), with a Proposed THEORY (THEORY-178): in models, a transient change to one regulator can leave the network in a different self-maintaining state, only through a gene that reaches a positive circuit. No transient-perturbation experiment in cells was done.
    • Van Ngo et al. 2026, “A sensor of oxidative stress confers virulence via response memory in Acinetobacter baumannii” (LIT-852), an unrefereed bioRxiv preprint (DOI prefix 10.64898, openRxiv’s). No THEORY: its mechanism is assembled from reporters, correlative metal detection and simulation.

Fixed

  • NOTE-645 no longer calls the journal follow-up’s verb-share difference “significant at 95%”: recomputed in NOTE-654, it is significant one-sided only (Welch p ≈ 0.03; two-sided ≈ 0.06), and over all signalling systems verbs do not carry more of Δ than nouns.

Added

  • Five papers on the theory of trained networks, read and filed at the owner’s request: Boncoraglio et al. on single-head attention (LIT-857, THEORY-180), Karkada et al. on word2vec dynamics (LIT-855, THEORY-182), Mainali & Teixeira on in-context learning dynamics (LIT-859), Liu et al. on grokking (LIT-858, THEORY-181), and Staats, Thamm & Rosenow on small singular values (LIT-856, also held in the anthology as ANTH-LIT-517).

Changed

  • ADR-002, version 2: when sources disagree on a date, or the rules leave first appearance open, published: takes the earlier date (the owner’s ruling of 2026-10-09).

Added

  • Two papers read and filed at the owner’s request:
    • Yang, Poggio, Chuang & Ziyin 2025, “Topological Invariance and Breakdown in Learning” (LIT-861), with a Proposed THEORY (THEORY-184): below a step-size bound, distinct neurons cannot merge. Its experiments show fragmentation, not the merging it predicts.
    • Karkada, Korchinski, Nava, Wyart & Bahri 2026, “Symmetry in language statistics shapes the geometry of model representations” (LIT-860), with a Proposed THEORY (THEORY-183): a translation-invariant co-occurrence kernel puts words on its Fourier modes.

Changed

  • THEORY-022, version 2: Liu et al. 2022 (LIT-858) and Karkada et al. 2026 (LIT-860) join its sources; the claim is unchanged.
  • CLAIM-118 is grounded in LIT-859 and THEORY-169, with a section on the exactly solved linear-attention case.
  • CLAIM-082 gains THEORY-182 as a ground and a section on word-embedding models whose meanings are purely relational.

Added

  • Two works LIT-860 builds on, read and filed at the owner’s request:
    • Korchinski, Karkada, Bahri & Wyart 2025, “On the Emergence of Linear Analogies in Word Embeddings” (LIT-863), with a Proposed THEORY (THEORY-185): independent binary attributes make the PMI embedding realise analogy parallelograms exactly.
    • Saxe, McClelland & Ganguli 2019, “A mathematical theory of semantic development in deep neural networks” (LIT-862), with a Proposed THEORY (THEORY-186): a deep linear network learns singular modes one at a time, in order of strength. The stepwise picture that LIT-855 and LIT-859 cite comes from Saxe et al. 2014, which neither record holds.

Changed

Added

  • Saxe, McClelland & Ganguli 2014, “Exact solutions to the nonlinear dynamics of learning in deep linear neural networks” (LIT-864), read and filed at the owner’s request, with a Proposed THEORY (THEORY-187) on how depth sets the learning time through each mode’s initial strength.
  • ADR-036: learning-theory widens to cover training dynamics, at the owner’s ruling.

Changed

  • THEORY-186, version 2: the 2014 paper joins its sources as the first appearance of the result; the claim is unchanged.

Added

  • QUESTION-025: do correlated or hierarchical attributes in co-occurrence still give linear attribute directions, and a concept lattice that is not Boolean?

Changed

  • THEORY-185, version 2: a Connections section on the Lattice Representation Hypothesis. The result derives that hypothesis’s premise and, by the same independence, makes its lattice Boolean.
  • LIT-267, version 3, and CLAIM-119 note the same connection and the open question.

Added

  • Thirteen works on hierarchy and hyperbolic geometry, read and filed at the owner’s request, with nine Proposed THEORY and a curation entry: the random hierarchy model (LIT-877), Krioukov et al. 2010 (LIT-865), Sala et al. 2018 (LIT-874), Ganea et al. 2018 (LIT-866), Lin et al. 2023 (LIT-870), Yang et al. 2023 (LIT-871), Zhang et al. 2022 (LIT-876), Zhou, Smith & Sharpee 2018 (LIT-872), Sharpee 2019 (LIT-875), Bianconi & Rahmede 2017 (LIT-867), García-Pérez et al. 2018 (LIT-869), Koch-Janusz & Ringel 2018 (LIT-873) and Larsson et al. 2022 (LIT-868).

Changed

  • QUESTION-025 gains a section on what the record holds toward an answer.

Added

  • Seven works cited by the hierarchy and hyperbolic-geometry batch that neither record held, read and filed at the owner’s request, with five Proposed THEORY: Sclocchi, Favero & Wyart (LIT-884), Tomasini & Wyart (LIT-880) and Cagnetta & Wyart (LIT-883), follow-ups to the random hierarchy model; Lenggenhager et al. 2020 (LIT-881) and Gökmen et al. 2021 (LIT-878), sequels to Koch-Janusz & Ringel; Mehta & Schwab 2014 (LIT-882), the position Koch-Janusz & Ringel dispute; and Ganea, Bécigneul & Hofmann’s Hyperbolic Neural Networks (LIT-879).

Changed

  • THEORY-194, version 2: the two sequels join its sources; the claim is unchanged.
  • QUESTION-025 gains two items on what the record holds toward an answer.

Added

  • Five more works, read and filed at the owner’s request: Gordon, Banerjee, Koch-Janusz & Ringel 2021 (LIT-885), Gökmen et al. 2021 (LIT-889), Lin, Tegmark & Rolnick (LIT-887), Cagnetta, Raventós, Ganguli & Wyart 2026 on scaling laws (LIT-888) and Sclocchi, Favero, Levi & Wyart 2025 (LIT-886), with four Proposed THEORY.

Fixed

  • THEORY-197 and NOTE-683 no longer call the free-energy point the reader’s alone: Lin, Tegmark & Rolnick’s v2 appendix makes it in substance, and Mehta & Schwab conceded Eq. 8’s “iff” as a typo.

Changed

  • THEORY-194, version 3: Gordon et al. and Gökmen et al. 2021 join its sources; THEORY-197, version 2, adds Lin, Tegmark & Rolnick.

Added

  • Rolnick & Tegmark, “The power of deeper networks for expressing natural functions” (ICLR 2018; LIT-890), the sequel to LIT-887, read and filed at the owner’s request, with a Proposed THEORY (THEORY-206): a single hidden layer’s cost grows exponentially with a monomial’s degree in distinct variables, not with the number of inputs. The reading finds the paper’s uniform-approximation lower bounds rest on a false step; only the Taylor-sense versions are established.

Added

  • Schwab & Mehta, “Comment on ‘Why does deep and cheap learning work so well?’” (arXiv 1609.03541; LIT-891), read and filed at the owner’s request. It concedes Eq. 8’s “iff” and shows Lin & Tegmark’s v1 counterexample violates the trace condition.

Fixed

  • LIT-887 no longer calls the comment “published”; NOTE-688 no longer attributes the reader’s trace formula to it.

Changed

  • THEORY-197, version 3: the comment joins its sources.

Added

  • A claim that a framing intervention indexes the empirical model, e_C^do(a), and is not one more context in its cover (CLAIM-127).
  • A question asking whether DisCoCat’s composition constrains transport between empirical models (QUESTION-026).
  • A workbench entry checking a review the owner relayed against the record: which of its points were already filed, what was filed from it, and what was left to the owner and why.

Fixed

  • source-ok acknowledgement for LIT-891, whose arXiv title appends the identifier of the paper it comments on. This mismatch was failing luria lint on main.

Added

  • The exchange behind What Survives Translation?, reconstructed for owner turns U40–U60 (2026-10-09 07:23 to 2026-10-10 03:26), in four workbench entries for 2026-10-10. With the existing entry for U42 (2026-10-09, 23:05:42) they cover 21 owner turns. The last entry closes the reconstruction: the thesis end to end, the owner’s one-line moves, and the items most worth recovering.
  • The thesis after the manuscript, filed so that its changes are visible. The v7 thesis, “relational continuity under admissible transformation” (CLAIM-133, A151 and A178), is Superseded by the October thesis (CLAIM-139, A203, A214 and A218). The October thesis answers a new top-level question (QUESTION-029) that refines QUESTION-002 and QUESTION-021. A granted claim records that it replaces the receiver with the analyst’s identifiability, unargued (CLAIM-140). Both later theses complement CLAIM-115, which stays the manuscript’s thesis because no draft carries either.
  • The observational object. The communicative object as a context-indexed system of empirical constraints over a cover (TERM-042); a compatible family of event-sheaf sections always glues, so the obstruction lies in supports or distributions (CLAIM-131); and the weighted parity triangle (CASE-037).
  • The causal layer. Measurement context as the elicitation protocol (TERM-039); telling an interpreter, do(I = a), is not changing the situation, do(S = s) (CLAIM-130); descriptive, causal and constitutive relations (TERM-038); and which interventions tell constitutive relations from diagnostic ones (QUESTION-030).
  • Fidelity. Fidelity as a profile of directed distortions (TERM-043), and transports whose profiles trade off are incomparable until a task fixes weights (CLAIM-128).
  • Correspondence and the relativity analogy. Correspondence before comparison (CLAIM-143); the meeting-point case (CASE-039); frames differ in coordinates, not in gluing (CLAIM-144); causal loops and contextuality respond oppositely to distributions (CLAIM-141); and the owner’s argument from causality paradoxes, Rejected and undercut by both (ARG-010).
  • Restricted probes. Observational equivalence is relative to the probes (CLAIM-142), and when a probe family separates what a task needs (QUESTION-031).
  • Tropes. TV Tropes as a case (CASE-038), a trope as a family of profiles around a preserved core (CLAIM-147), and the record’s objection that trope analysis is Propp’s and Lévi-Strauss’s and its labels are fitted to their examples (CLAIM-145). They are tagged translation and pragmatics until a word for narrative tropes is decided.
  • Probes in training. FID and Projected GANs as a case, cited by anthology code (CASE-041), and a probe family that trains a transformation cannot also certify it (CLAIM-149).
  • The ontology of U52–U56. Partial constitution of the act by its relations (CLAIM-151); communicative kind (TERM-040); the owner’s U54 position in two parts, classificatory priority of a character-like invariant (CLAIM-137) and relata without identity beyond their relations (CLAIM-136); character-like structural signature (TERM-041); the limits of characters (CLAIM-132); two objections the exchange did not raise, Chakravartty’s dilemma (CLAIM-134) and Newman as the collapse objection in ontology (CLAIM-138); identification is not constitution (CLAIM-150); and when a category is a real effective kind (QUESTION-028).
  • Matrix factorization (U57–U60). Collaborative filtering and topic models as a case (CASE-042); the topic × act factorial design (CASE-040); factorization gauge is not a symmetry of the data (CLAIM-148); the owner’s prior-art objection, conceded (CLAIM-146); reconstruction, identification and constitution are three achievements (CLAIM-135); a topic can survive a change of act (CLAIM-129); and the signature question (QUESTION-027).
  • Four works registered unread, Deferred, to ground those claims: Pearl’s Causality (LIT-894), Serre’s Linear Representations of Finite Groups (LIT-893), Deutsch on closed timelike lines (LIT-892) and Esfeld & Lam on moderate structural realism (LIT-895). None is held in the anthology. A curation entry states their depth and lists the works cited by anthology code and the anthology candidates left there.

Fixed

  • CLAIM-127 → version 2. Its provenance was wrong. The do() move is the owner’s, at U41, and A129 §1 and §5 formalized it before the review that version 1 credited. Version 1 also counted observing and conditioning as two operations, which in Pearl’s calculus are one. The three are now A129’s: conditioning on the situation, intervening on it, and intervening on what the interpreter is told.
  • TERM-002 is Superseded by TERM-042. “A compatible family of local sections” always glues in the event sheaf, so the definition presupposed nothing. The supersession is carried to CLAIM-038 (version 2, retitled), CLAIM-044, CASE-035 and TERM-014, and inactive-ok annotations are added where TERM-002 is still cited.
  • Workbench 2026/10/09/230542 gains a dated correction line. The “Pearl-inspired refinement” it could not find is U41 and A129; the principle it called a first appearance was drafted at A129 §4; and LIT-841 and LIT-843 were recommended at A129 before #99 and #100 filed them.
  • TERM-026, TERM-031 and TERM-033 are Active with superseded_by set, and nothing said why. Each now has a section saying which sense survives and where. Their statuses are unchanged. A relation for “split off, old sense still in force” would be a design change, and is left to the owner.

Changed

  • TERM-043 supersedes TERM-010 as the foundation of fidelity. The scalar survives as one weighting. TERM-015 and TERM-021 stay Active as components.
  • Notes on where existing entries went in U40–U60: CLAIM-115 (restated twice, and the receiver dropped), CLAIM-078 (recognition of the same communicative kind), CLAIM-125 (displaced without argument), CLAIM-011 (four new uses), CLAIM-004 (re-derived four times without citation), QUESTION-021 (three further answers), TERM-014 (equivalence relative to the probes), CASE-004 and CASE-018 (formalized and varied).
  • Notes that qualify existing claims: CLAIM-105 (classical transports preserve noncontextuality, and coarse-graining can lower it), CLAIM-103 (among Markov kernels on finite sets the invertible core is the relabellings), CLAIM-107 (on a finite irreducible chain every harmonic function is constant), CLAIM-005 (an unconditional distance cannot see a broken input–output pairing) and THEORY-038 (Eva 2016 recommended again, still unread).
  • Left to the owner, not changed: a tag for narrative tropes; whether “conceptual revision requires formal reconciliation” becomes a DP, now that this filing is its first practice; whether to join CLAIM-011 and CLAIM-077; whether the October thesis supersedes CLAIM-115; which of two individuation theses the owner holds; and whether the ontology is meant for objects in general, which would need a line of its own.

Added

  • Floridi’s line on artificial agency, at the owner’s request: six works, all read. Read, each with a NOTE: the target, Floridi 2025 on AI as agency without intelligence and the Multiple Realisability of Agency thesis (LIT-897, NOTE-702), read in full from the published version the owner supplied after no open copy could be reached; Floridi 2023, “AI as Agency Without Intelligence” on ChatGPT and LLMs (LIT-896, NOTE-697); Floridi & Sanders 2004, “On the Morality of Artificial Agents” (LIT-898, NOTE-701); and Floridi 2008, “The Method of Levels of Abstraction” (LIT-900, NOTE-700). The target is a taxonomy of kinds of agency, not an argument for its thesis, and its account is filed Proposed as THEORY-208, rival to the organisational account of minimal agency (THEORY-071) and to the account of large models as social technologies (THEORY-173). The other two were registered unread and then read in full from the published versions the owner supplied: Floridi 2013, “Distributed Morality in an Information Society” (LIT-901, NOTE-698), and Floridi 2016, “Faultless responsibility” (LIT-899, NOTE-699), whose account of allocating responsibility is filed Proposed as THEORY-207. None of the six is held in the anthology. A curation entry states the depth of each, the relations between them, and where the line meets the record’s distributed-agency claims and QUESTION-009.

Added

  • Thirty-four objections to the pragmatic-transport line, filed as CLAIMs from the record’s audit of the line on 2026-10-10 (structure, formal and empirical lenses), each a weakness no CLAIM or QUESTION had stated. By role: 15 granted (Active), which concede a point that is elementary or checkable from the texts, and 19 counters (Proposed), which are open and say what would answer them. By severity: 7 load-bearing, 22 significant and 5 minor. They fall in three groups: the tests of the central theses, the premises (cases, readings, constitution and the October thesis), and the formal and measurement structure. The load-bearing ones:
    • CLAIM-233 (granted): the central defeat conditions pit the theses only against embedding, propositional or surface similarity, which no rival account holds.
    • CLAIM-243 (counter): read as description, CLAIM-115 is close to true by definition; read as a criterion, it is a schema until its decision family is fixed.
    • CLAIM-244 (counter): the defeat tests take one holistic, task-free judgement of fidelity as ground truth, though the line makes fidelity task- and interpreter-relative.
    • CLAIM-206 (counter): if a communicative kind can outrun every probe, human same-kind judgements can neither confirm nor defeat CLAIM-139.
    • CLAIM-207 (granted): the transports of Propositions 1–2 and of D_obs act on judgement outcomes, not texts, and for one source–target pair a constant kernel transports any overlap-consistent target.
    • CLAIM-258 (counter): Blackwell’s order compares experiments about one parameter, and compensation and context-aware translation leave that case.
    • CLAIM-225 (counter): Blackwell’s order describes an ideal decision-maker, and the line’s claims that a rendering can improve access describe garblings that real receivers do better with.
  • And the record’s replies to them (workbench 2026-10-10/160148). Of the 34: 2 refuted (CLAIM-236 and CLAIM-246, now Rejected), 7 reconciled, 23 repaired and 2 conceded. Twelve counters that were right go Active as conceded; six stay Proposed with a “Where it stands” note. 22 new entries: 18 claims, the discriminating study CASE-055, and 3 questions. The revised theses CLAIM-220 (beside CLAIM-115) and CLAIM-204 (beside CLAIM-139) are proposals; adopting them is the owner’s call. The line’s distinctive contribution gets its own thesis, CLAIM-202. Thirteen existing entries are restated at version 2, with each replaced wording quoted in its history.
  • The interlocutor’s reading of this PR (U61–U62, workbench 2026-10-10/225718). The owner shared a continuation in which the assistant read PR #121 and wrote a revised proposal (A232) and a hierarchy of six theses (A240). Nearly all of A232 was already held. New: the ontological thesis split out and narrowed (CLAIM-215) and the restricted-recoverability thesis answering QUESTION-027 (CLAIM-209), both Proposed; the objection that the October thesis makes its clauses rise or fall together (CLAIM-216, against CLAIM-204 and CLAIM-139); competent uptake as a defeasible standard (CLAIM-241, against CLAIM-217, open); and a granted overreach in CLAIM-228’s title (CLAIM-200), repaired at version 2. Dated notes are added to CASE-055 (what A232 adds to the design) and CLAIM-125 (part 1 restored to the agenda). The assistant’s recommendations, to supersede CLAIM-115 and CLAIM-139 and to make CLAIM-202 the principal empirical thesis, are recorded, not taken.
  • Twenty cases for the points in the argument that had none, filed in the same PR at the owner’s request and missing from this fragment until now (DP-6). Seventeen are documented: the holy kiss (CASE-056), Dolly’s ты (CASE-066), Hafez’s “Shirazi Turk” (CASE-072), Tatiana’s letter (CASE-059), contextuality tests on meaning data (CASE-053), an order effect reversed across a rendering (CASE-065), Labov’s sounding sessions (CASE-069), joking relationships (CASE-054), Lindsey Stone’s photograph (CASE-064), “wonder-working power” (CASE-061), the Kia Provo (CASE-073), the Ace Attorney localization (CASE-063), the reception of The Vegetarian (CASE-067), BLEU-tied systems that differ on ты and вы (CASE-070), metric bias in MBR decoding (CASE-071), risk messages in diffusion chains (CASE-068), and FactBank against stance-triangle annotation (CASE-058). Three are stipulated, two on documented sources: simplified texts for two kinds of reader (CASE-062), the T/V swap (CASE-057), and two identical unnumbered ballots (CASE-060). With the discriminating study, these are the PR’s “17 documented and 4 constructed”.

Added

  • The self as a multi-agent system, connected to synchronization through temporal discounting, mindfulness and flow, in the will-organization line: QUESTION-034, TERM-050 (intrapersonal synchronization), claims CLAIM-169 (crossing curves make the population), CLAIM-162 (flow as synchronization), CLAIM-156 (mindfulness as suspension), the open objection CLAIM-163, and CASE-051 (the absorbed writer). All Proposed.
  • Five works on flow and on mindfulness and discounting, registered unread: LIT-914, LIT-912, LIT-910, LIT-906, LIT-916.
  • Extended self and entrainment (distributed-agency): CLAIM-172 (mutual entrainment bounds the coupled system) and its open objection CLAIM-165 (dancers: a system, not a self).
  • Storage and meaning (pragmatic-transport): the owner’s claim CLAIM-160 (intended meaning is fixed by the write), its open objection CLAIM-171, and three cases: the tree in the woods (CASE-049), data written and never read (CASE-043), and a film joke seen as a child and as an adult (CASE-048).
  • CASE-050: a corporate all-hands as a synchronization mechanism for the firm as a kind of self (distributed-agency).
  • The owner’s reply to the dancers objection, CLAIM-175: a dancing couple is one combined cognitive form on the extended-mind thesis’s own terms. With it, CASE-046 (a partner-dancing couple), the objection CLAIM-165 narrowed to the subject sense of “self” (version 2), and CLAIM-172 restated with “combined form” for “extended self” (version 2).
  • Readings behind the vocabulary discussion: Simon (1962), “The Architecture of Complexity”, read (LIT-905, NOTE-704); and Kelso et al. (1984), Kugler, Kelso & Turvey (1980), Turvey (1977), Bernstein (1967) and Koestler (1967), registered unread (LIT-902, LIT-913, LIT-904, LIT-907, LIT-908).
  • Mathematics of Meaning registered as the remote MOM (ADR-037, Proposed), and five of its entries dual-filed here for system boundaries: CLAIM-154 (the Occam-priced threshold, MOM-CLM-160), CLAIM-164 (the gap picks the object, MOM-CLM-144), CLAIM-153 (unity as a monodromy, MOM-CLM-165), CLAIM-161 (selfhood as conserved coherence, MOM-CLM-153) and CLAIM-152 (target-relativity, MOM-POS-001). LIT-603 and LIT-905 name their MOM twins.
  • A threshold criterion for one system: QUESTION-035, the proposed answer CLAIM-157 (a nearly decomposable block whose gap beats its Occam factor, relative to a target), the open objection CLAIM-173 (strength is not direction; one-way drive passes) and a stipulated motion-capture study of the dancing couple, CASE-045.
  • One-way drive passes: the owner’s challenge, filed as CLAIM-167. CLAIM-173 is Rejected. CLAIM-172 goes to version 3: mutual entrainment marks a peer architecture and is not a condition of membership. The threshold question and claim, and the dancing-couple study, are revised to match.
  • The agency question as drive profiles: QUESTION-033, TERM-051 (drive profile, provisional name), the owner’s CLAIM-158 (a spectrum of cross-level kinds) and CLAIM-166 (drive is not constant, and can come from below: the microbiome), CLAIM-159 (the accounts of will sit in different cells), and CASE-047. Two reviews were read for the microbiome example (LIT-903, LIT-915). The dancing-couple study adds a drive-profile measurement.
  • Agents as the jurisdiction of a will-organization: QUESTION-032, TERM-047, the owner’s thesis CLAIM-170, the admission test CLAIM-174 (system, description, adaptation), the open circularity counter CLAIM-168 and the thermostat case CASE-044. Orseau et al. (2018) and Kenton et al. (2022) were read (LIT-911, LIT-909), both flagged anthology-candidate.
  • Willed agents and a concept pass: CLAIM-155 (control system, then agent, then willed agent, then self, nested strictly). The owner’s thesis CLAIM-170, the admission test CLAIM-174, TERM-047 and QUESTION-032 go to version 2. New TERMs for combined form, agent, willed agent, the senses of self, and notation (TERM-049, TERM-044, TERM-048, TERM-045, TERM-046). uses: links were swept across the day’s claims. The notation term records that δ/ε is used in two senses, which the threshold criterion joins by assumption.
  • Concept sweep over all claims. TERM-045 version 2 adds the integrated sense of “self” (ADR-024’s behavioral integration). CLAIM-169 and CLAIM-172 state their sense of “self”. uses: links were added where the vocabulary carries an argument, including to CLAIM-021 and CLAIM-122. TERM-044 version 2 records the will paper’s sense of “agent”.
  • ADR-038 (Proposed): a concept invoked as the record defines it is cited by its TERM code at its first use. A word used in another’s sense is left unlinked. uses: lists only the terms a claim is stated in. Applied across the argument schemes: 25 inline citations, 13 uses: entries.
  • CLAIM uses declares explain: cited in luria.yaml, so every TERM a claim lists must be cited in its body. Turning it on reported 70 rows; each is cleared by a [[uses::TERM-…]] citation at the point of use or by a ref::uses-file: statement with its reason. ADR-038 goes to version 2 to adopt the mechanism, and the phrase check it cannot cover is filed upstream as dmarx/luria#370.
  • ADR-037 (Mathematics of Meaning as the remote MOM) and ADR-038 (citing a TERM where its concept is invoked) are accepted by the owner and Active. TERM-051 goes to version 2: the name “drive profile” is settled, with the alternatives it was kept over.

Added

  • The owner’s manuscript luria: nucleating an argument as a works term, with a new line of inquiry, nucleating-argument. A first reading of the argument is filed against it: two questions, nine Proposed theses, two counters and a term (the owner’s “crystallized argument”), among them the owner’s reframing of the nucleation threshold as whatever triggers persistence, and a workbench entry saying where each piece was already in the record.

  • Eight works on nucleation, polymorphism, growth instability and self-organization, filed unread and Deferred for that line: Dunitz & Bernstein 1995, Ostwald 1897, De Yoreo & Vekilov 2003, Vekilov’s two papers of 2010, Langer 1980, Witten & Sander 1981 and Haken 1977.

  • Four works on memory for that line, filed unread: Hebb 1949, Kanerva’s Sparse Distributed Memory (1988) and his 1992 review, both also held in the anthology (ADR-013), and Hopfield 1982, flagged anthology-candidate.

  • Readings of Ostwald 1897 and Vekilov’s 2010 perspective, both read in full from lawful open copies and now Active. The takeaways they had been filed with, from memory, are corrected; the other six works have no open copy and stay unread.

  • A question on the translation manuscript’s line, pragmatic-transport: whether a communicative kind’s symmetries can be reconstructed from its realizations, the Tannaka-style question A198 posed and A203 left out.

Fixed

  • LIT-899 and LIT-901 list their history: oldest first, so luria lint reads their current version correctly.

Added

  • Four works on stability theory for the nucleating-argument line, filed unread: Farrell & Ioannou 1996, “Generalized Stability Theory” Parts I and II; Trefethen et al. 1993, “Hydrodynamic Stability Without Eigenvalues”; and May 1972, “Will a Large Complex System be Stable?”.
  • Notes on CLAIM-185, CLAIM-181, CLAIM-186 and CLAIM-179 on what viability and generalized stability theory say about persistence, drift and capture, with THEORY-134 and the new works as grounds.

Added

  • A synthesis round from a review of the record: a narrowing of CLAIM-154 for singular candidate structures; a claim that an argument’s persistence constraint set is fixed by decision; the first bridge between the pragmatic-transport and nucleating-argument lines, as a thesis and its counter; typed partial answers on QUESTION-025; new grounds on CLAIM-030, CLAIM-183 and CLAIM-184; and notes on the 18 unanswered transport questions listing material that may bear on them.

Added

  • A second synthesis round: tests for the persistence claims on CLAIM-184 and CLAIM-185; CLAIM-177’s unargued thesis changes read as a case of CLAIM-030; two templates for the transport line’s invariant questions, one answering QUESTION-031; grounds for the deferred ownership claim CLAIM-016; a question whether an anchor needs endorsement; a counter that anchoring measures cannot certify reduced drift; and three questions making unmarked tensions between THEORY entries explicit.

Added

  • A third synthesis round over the 138 THEORY entries that had no edge to any claim or question: 39 typed edges (grounds on claims, partial answers on questions), each with a dated note giving its caveat; a counter, objecting to CLAIM-157 and CLAIM-174, that a gap or coupling criterion cannot tell a boundary a system produces from one imposed on it; and prose notes on CLAIM-003 and CLAIM-039 recording THEORYs that bear against them.

Added

  • CLAIM-197, dual-filed from MOM-CLM-088 under ADR-037 and Active after a re-check. Sections over contexts that do not overlap always glue, so a sense that differs between disjoint contexts, such as “tall” for people and for trees, is not a gluing failure. A failure needs an overlap, and the cover decides.
  • CLAIM-198 (Proposed): preference reversal is not yet disunity. Interests that govern a choice at disjoint times glue, and a self is divided only on an overlap, which the agent’s self-prediction creates. It answers CLAIM-163’s missing coupling in part.
  • CLAIM-196 (Proposed), ported from MoM’s manuscript (v1 §11.5) in defensible form: a person’s roles in contexts that do not meet cannot contradict, and role conflict needs an overlap, which segregating audiences prevents and collapsed contexts create. With CASE-052 (Carmichael’s two speaking styles) and boyd (2008), Taken Out of Context, read in part (LIT-1001, NOTE-710).

Changed

  • CASE-048 goes to version 2: the child’s and the adult’s readings of the joke glue until memory brings them together.
  • TERM-045 goes to version 3 with a seventh sense of “self”: presented, the self a person gives to audiences. CLAIM-196 is stated in it.

Added

Added

  • Two lines of inquiry, evidence-for-experience and learned-structure (ADR-039), and 27 questions placing the THEORY entries that no claim or question had asked for, with six partial answers on existing questions. Twelve readings are left unplaced, each with its reason.

Added

  • Four works filed unread: Fricker 2007, Bandura 2001, Haggard 2017 and Mackenzie & Stoljar 2000, on epistemic justice, personal agency, the sense of agency and relational autonomy; and a question on the nucleating-argument line, whether a project memory distributes credibility among an argument’s contributors.
  • Four works on manipulation, filed unread: Noggle’s SEP entry, Susser, Roessler & Nissenbaum 2019, Coons & Weber 2014 and Pereboom 2001; and two questions, on whether a will-organization can be manipulated without its present structure showing it, and whether an organized whole can manipulate when no member intends to.
  • “On Targeted Manipulation and Deception when Optimizing LLMs for User Feedback” (Williams et al. 2024), from the owner’s papers-feed, filed unread as a second case for the question on manipulation by an organized whole.

Added

  • Sixty-eight works from the owner’s papers-feed, matched to the record’s questions by embedding similarity, judged against each question and filed unread, with their citations checked against arXiv and Crossref.

Fixed

  • CHANGELOG.md now exists, with the insertion marker luria collect needs. The weekly scheduled Docs run failed in its collect step because the file the fragments: setting names had never been created.

Changed

  • PR #121 reconciled with the record after #122–#129: dated notes and typed relations where later entries had called unassessed what #121 assessed, or left #121’s cases and assessments unlinked; neutral notes on four opposed positions now left to the owner.

Added

  • An interlocutor’s reading of PR #121 and its reconciliation, filed as advice: two counters (a strong contextual baseline for the incremental thesis; three operations behind a “change of cover”), a question on predicting unobserved compositions, three Proposed theses (intention, act and recognition as distinct variables; kinds as invariance hypotheses; accountability structure as the fidelity object of a developing argument), and notes on the entries it addresses.

Added

  • An interlocutor’s reading of LIT-638 against CLAIM-163, filed as advice: a note on CLAIM-163 and two will-line questions, on whether acting as one needs synchronized or only coordinated interests, and on whether coordination is discrete switching or continuous reorganization.
  • The owner’s answers to both questions, as Proposed theses:
    • synchronization of interests is desirable but not necessary, as internal conflict shows (CLAIM-261);
    • coordination is discrete or continuous depending on the agent’s constitution (CLAIM-262). Its example is a new case, Twitch Plays Pokémon’s crowd-steered navigation (CASE-075).
  • A stipulated variant, Twitch Plays Pokémon in democracy mode with the tally visible as votes come in (CASE-074). The owner judges it the better demonstration of drift-diffusion dynamics.
  • What the democracy-mode case bears on:

Added

  • ADR-040: a claim may hold more than one line, and a new formal-apparatus line is held as a second value by the general results other lines borrow. Setting pragmatic-transport aside no longer retires them. Approved by the owner.
  • formal-apparatus added to the 24 group A claims. Twenty come from pragmatic-transport, including CLAIM-197, which CLAIM-198 and CLAIM-196 rest on. Four come from distributed-agency: CLAIM-152, 154, 164 and 188.
  • The 7 group B claims split. Each general content is a new formal-apparatus claim resting on nothing: from 056, 081, 142, 143, 149, 193 and 126. Each original now rests on its general form. CLAIM-189, 190 and 191 (nucleating-argument) re-point to the general forms. Their only remaining premises in pragmatic-transport are CLAIM-034 and CLAIM-002.
  • Group C, decided by the owner as recommended:
    • CLAIM-011, 079 and 123 tagged formal-apparatus;
    • CLAIM-187 split, with its protocol for trained networks filed as the first learned-structure claim (CLAIM-263);
    • CLAIM-059, 213 and 237 left as they are.

Changed

  • luria.yaml: CLAIM’s line field is declared many: true, and the lines vocabulary gains formal-apparatus.

Added

  • Kunin et al. (2021), The Limiting Dynamics of SGD, read and filed: LIT-1011, NOTE-711 and THEORY-209. Its account: a converged network is not at a point and does not sample its training loss. It samples a modified loss in broken detailed balance, at a speed and spread set by the optimizer. The THEORY answers QUESTION-069 in part, on the regime. Also held in the anthology (ANTH-LIT-454), under ADR-013.

Added

  • LIT-970 (Zhao, Walters & Yu, Symmetry in Neural Network Parameter Spaces) read and promoted to Active. The new entries are NOTE-712 and THEORY-210. The account: continuous symmetries make connected flat minima, and give gradient flow conserved quantities that SGD breaks, so the position along an orbit is set by initialization and optimizer. It answers QUESTION-069 and QUESTION-058 in part, and covers the null space that THEORY-209 leaves out.
  • QUESTION-080 (learned-structure, refines QUESTION-051): what stays fixed while a converged network’s parameters keep moving, and whether neural collapse’s geometry is among it.
  • A note on THEORY-209: THEORY-085’s bearing on its noise assumption and on the scope of its isotropy test, the null-space account, and the new question.

Fixed

  • The CLAIM template scaffolds line: as a list, matching the plural field ADR-040 declared, so a claim copied from the form starts in the contract’s shape.

Added

  • The argument chain walks the steps an argument draws, through a new path pattern argued_from (dmarx/luria#372). An ARG’s premises are its rests_on and its conclusion is its concludes, so no single field related the two claims, and a chain over rests_on never showed them. Each such step now renders under its premise, “through” the argument that draws it: ARG-006, ARG-007 and ARG-008. A Rejected argument draws no step, so ARG-004 stays off the page.

Changed

  • CI runs luria 1.1.0, which adds path patterns. It also names a chain step’s other parents by the relation that holds them (dmarx/luria#359), so the dialectic page reads “also objects to” where it wrongly read “also extends”, which was dmarx/nucleation#92. The lineage page uses the relation’s label: “also carries further”.

Added

  • Neural Mechanics (Kunin et al. 2021) read: LIT-1013, NOTE-713. Symmetries give conservation laws under gradient flow, and weight decay and finite steps break them.
  • Ziyin, Li & Ueda, Noise Balance and Stationary Distribution of SGD, read: LIT-1012, NOTE-714, and THEORY-211, the law of balance. Along a rescaling symmetry, minibatch noise drives SGD to a noise-balanced point at a rate set by η/S.

Changed

  • THEORY-210, version 2: the two new readings added as sources, and the survey’s attribution “imbalance decays exponentially with large learning rates” corrected, since Neural Mechanics attributes the decay to weight decay.
  • Notes on NOTE-712 (the survey’s two reports checked against their sources) and on THEORY-209. Its constant-covariance assumption is what freezes the symmetry directions that the law of balance moves.

Added

Added

  • Ten works the Mathematics of Meaning survey pointed to, each filed for a named question:

    • boundaries: Smith & Varzi (LIT-1024), Casati & Varzi (LIT-1022), Weber & Varela (LIT-1018);
    • composition and the problem of the many: van Inwagen (LIT-1016), Unger (LIT-1020), Lewis (LIT-1015);
    • viability and norms: Di Paolo (LIT-1017);
    • transport between systems of distinctions: Barwise & Seligman (LIT-1019);
    • composition as coarse-graining: Gallego & Orús (LIT-1023), held in both records with ANTH-LIT-695;
    • influence without deception: Kamenica & Gentzkow (LIT-1021).
  • Six of them read in full the same day:

    The other four stay Deferred: no lawful full text was found, and each entry records where its reader looked.

    The curation entries of 2026-10-13 17:01 and 17:34 give the reasons, what the readings corrected in the filings, and the follow-ups left open.

Added

  • A LIT status, Unavailable (“No copy reached”), for a work whose lawful full text was looked for and not reached. The status note says where the reader looked (ADR-041). Deferred now means no search is recorded.

Changed

  • 177 LITs moved from Deferred to Unavailable, because their status notes record a failed search. 8 of them have a lawful copy this client could not fetch, which the owner could clear by hand:

    168 LITs stay Deferred.

Added

  • The intention-based line of illocution, which CLAIM-221 and QUESTION-073 named as held nowhere in the record:
    • Grice, “Meaning” (1957), read in full: LIT-1042, NOTE-735.
    • Strawson, “Intention and Convention in Speech Acts” (1964), read in full: LIT-1043, NOTE-736.
    • Grice, “Logic and Conversation” (1975), read only at pp. 45–47 (the Cooperative Principle and the maxims): LIT-1041 (Unavailable: no full lawful copy reached), NOTE-734 (Skimmed).
    • Bach and Harnish, Linguistic Communication and Speech Acts (1979), filed unread because no lawful copy was reachable: LIT-1040 (Unavailable).
  • Notes of 2026-10-13 on CLAIM-221 and QUESTION-073. Strawson confirms the objection in substance. But his account makes uptake a condition of the act and lets standing enter through the content of an order’s intention, so CLAIM-151’s defeat condition still does not fire.

Added

  • A question and a thesis on polling and collective reasons. The question (QUESTION-082) asks whose reasons a polity’s decisions carry when it is steered by polls. The claim (CLAIM-271) rests on CLAIM-030 and is grounded in THEORY-127, THEORY-131 and THEORY-139. It says a collective’s reasons need not be any member’s, so aggregating conclusions, as a poll does, can yield verdicts the collective’s own reasons do not support.

Added

  • The 2026-10-13 exchange on meaning operators and selfhood (chatgpt.com/share/6ace9fd9-…), filed as a workbench reconstruction of U1–U11.

    • Seven claims:
      • endorsement without self-allocation of authority, CLAIM-285;
      • its algebraic limit, granted, CLAIM-282;
      • emergent trust and entrenchment, CLAIM-277;
      • roles as policy-relative regimes, CLAIM-279;
      • persistent product against persistent producer, CLAIM-280;
      • a self-governing self as an organization governing the conditions of its own persistence, CLAIM-284;
      • the record’s counter on modeller-fixed objectives, CLAIM-288.
    • The owner’s r/place case, CASE-079.
    • A question on telling self-maintenance from self-constitution, QUESTION-086.
    • A term for endorsement between processes, TERM-053.
  • Eleven of the fifteen works registered below read the same day, each with a NOTE and a THEORY. Four had no lawful copy reachable and are Unavailable.

  • Fifteen works registered, at first unread: the 2026 autonomy cluster, four r/place studies, three Hawkes-process sources, Hoel et al. 2013 and Bickhard 2000.

  • The manuscript “The Self as a Recursive Ecology of Meaning and Influence” in the works vocabulary (self-as-recursive-ecology), with nineteen member claims.

Documentation

Added

  • ADR-042: a required kind field on CASE, from a closed vocabulary of six (specimen, thought-experiment, construction, reported-study, proposed-study, executed-study), orthogonal to standing. Approved by the owner and applied to all 81 cases. The stipulated blurb is widened for proposed studies, and the CASE template documents the field.

Documentation

  • A curation entry triages the 167 Deferred LITs. It ranks them by their priority lines, the questions and theories that cite them, and how much the record has worked on those questions. It checks each one’s open copy through OpenAlex and one fetch. The result is a read-next queue, a queue for afterwards, a low-value list, and the valuable works that wait on the owner for a copy. No status changed.

Changed

  • 22 LITs between LIT-301 and LIT-366 move from Deferred to Unavailable. Their bodies record a failed search for a lawful copy, which ADR-041’s migration missed because it read only the status notes.

Added

Fixed

  • The 2026-10-14 triage entry overstated LIT-950 as the identifiability half of QUESTION-027. It bears on the unrestricted, in-probe form only.

Changed

  • THEORY and QUESTION entries corrected to say what the close readings found: THEORY-001, 002, 004, 005, 006, 007, 008, 009, 011, 015, 016, 018 and 035, and QUESTION-009, 027, 067, 070 and 071. THEORY-006, 007, 011 and 015 are promoted to Active, because the readings meet every clause of their promote_when. LIT-245 is now compared_against LIT-240, not corrects.

Added

Documentation

  • Existing THEORYs, QUESTIONs and the read LITs now point to the new THEORYs filed from them. Stale inactive-ok directives for codes that became Active in this contribution are removed.

Added

Changed

Fixed

Added

  • Kornblith et al. (2021), filed at the owner’s request, read, and the source of a Proposed THEORY: losses that tighten last-layer class clusters buy trained-class accuracy and lower fixed-feature transfer to new classes. LIT-233 and LIT-236 carry anthology-candidate, and CLAIM-172’s defeated_if is reworded so that a complete micro model no longer meets it, both at the owner’s request.

Added

  • Close readings of the Deferred LITs left after the second queue: the open-access works the argument cites, with the Proposed THEORYs each supports, and lawful-copy searches for the closed ones. A work with no lawful copy is set Unavailable (ADR-041) with the places searched.

Changed

  • Existing THEORY, QUESTION, CLAIM, CASE and NOTE entries corrected where the third batch’s readings found them misstating a paper, among them THEORY-003 (the HSIC constant), THEORY-001, 004, 005, 007, 008, 009, 011, 012, 013 and 015, CLAIM-179 and CLAIM-186, QUESTION-047, 067, 071 and 072, and CASE-046. Stale directives naming codes now in force are trimmed. No question is answered and no theory changes status.

Fixed

Changed

  • The last 14 Deferred LITs are resolved: each is read or, where no lawful copy was reached, set Unavailable with the places searched (ADR-041). The four in-copyright books under the owner’s book rule (LIT-746, LIT-753, LIT-715, LIT-546) were searched for the first time and are now Unavailable; each is still read through its named substitute. ADR-041 kept LIT-746, LIT-753 and LIT-715 Deferred only because no search was recorded, which no longer holds.
  • The ten low-value Deferred LITs: six read (the Riesz, bra-ket and GNS Wikipedia pages, Adler’s REU paper, a 2017 concussion review, and Chuai & Zhao on anger and fake news, which yields one Proposed THEORY), four Unavailable. THEORY-004 and THEORY-009 now cite the Riesz and GNS articles only for what they say. No LIT remains Deferred.
  • Promotions at the owner’s direction, after an audit of every Proposed THEORY’s promote_when against the readings now held: THEORY-003, THEORY-004 and THEORY-260 are Active. No other THEORY met every clause.
  • LIT-074 (a YouTube talk): a transcript was sought by every route a text-only client has, and each was bot-blocked. It stays Unavailable until a transcript is supplied.

Added

  • Lawful substitutes for two unread books. For Fricker’s Epistemic Injustice (LIT-1004): her 2003, 2006 and 2017 papers, read in full, and two Proposed THEORYs. For Pereboom’s four-case argument (LIT-1006): Caruso’s SEP entry and De Marco & Cyr (2024), read in full, and one Proposed THEORY. THEORY-317, filed from Fricker’s précis, now names the 2006 paper’s generic definition (THEORY-326) as its rival; the book would settle between them.
  • CLAIM-291: the adjoint of a square-integrable integral operator is the integral operator with the conjugate-transposed kernel, proved by Cauchy–Schwarz and Fubini. It is the step THEORY-009 marks as the record’s own rather than the Riesz article’s, and THEORY-009 now cites it.
  • CLAIM-290 and CLAIM-289: the other two steps this PR’s promotions call the record’s own, each with its proof. The first gives uniqueness of a kernel’s minimal realizations up to a unitary, and the finite case with centring that THEORY-004 uses, including rows that do not span. The second carries LIT-239’s non-stochastic strings to total recursive models at O(log n), for THEORY-260. It corrects LIT-239’s §VI-D threshold to n − √n − O(log n), and NOTE-787 is annotated to match.

Added

  • Random projections, which the record used in three places without holding the theory behind them. Seven anchor works are registered, and six are read the same day, each with a NOTE: Johnson & Lindenstrauss, Dasgupta & Gupta, Achlioptas, Larsen & Nelson, Baraniuk et al. on RIP, and Donoho & Tanner. Dasgupta et al. on the fly’s hash is Unavailable: its bioRxiv preprint refused this client. QUESTION-120 asks whether random features, the superposition compressed-sensing bound and the expand-and-threshold codes of SDM and the mushroom body share one concentration fact. The readings answer it for distances and sparse recovery on the side of sufficiency only. The fly’s matrix is not an Achlioptas ensemble, and the JL lower bound does not bound superposition capacity.
  • After main moved: the question (now v3) and the fly LIT point to Indyk and Motwani (LIT-1106), its LSH account (THEORY-388) and the SDM recall account (THEORY-261), which reach the expand-and-threshold thread the readings did not. The fly LIT is tagged databases (ADR-045).
  • Four THEORY documents from the readings: random projection keeps a fixed set’s squared distances at k of order ε⁻² ln n (THEORY-397); that order is necessary for the worst set, up to a constant (THEORY-395); JL concentration gives the RIP at k log(N/k) measurements, as a sufficient condition only (THEORY-390); and the ℓ₁ recovery transition’s observed universality across ensembles, Proposed (THEORY-391). All four answer QUESTION-120.
  • Johnson and Lindenstrauss’s extension theorems, filed for later use: THEORY-392 (√(log n) for n-point sets, with a near-matching lower bound in L_p) and THEORY-398 (6D/ε into Hilbert space, 4D/ε into any Banach space, for separated sets).
  • Four later works on dimension reduction and Lipschitz extension. Three are read, each with a NOTE and THEORY documents: Linial, London and Rabinovich (Bourgain’s O(log n) embedding and the expander lower bound, THEORY-394), Lee and Naor (extension by random partitions, THEORY-396 and THEORY-400) and Alon and Klartag (the JL lower bound for every ε ≥ 2/√n, and a bipartite JL lemma, THEORY-399 and THEORY-393). Bourgain (1985) is Unavailable and read through Linial, London and Rabinovich.

Fixed

  • NOTE-679’s citation of a Euclidean lower bound for trees to Linial, London and Rabinovich is annotated as wrong; that paper contains no such bound.

Changed

  • After the THEORY backfill, existing documents are brought into line with it: THEORY-034’s title and sources corrected, rivals and presupposes edges and grounds drawn to the new accounts (THEORY-043, -060, -071, -138, -172, CLAIM-029, -287), wrong key takeaways in LIT-124, LIT-165, LIT-175 and LIT-188 corrected, skim-era text in 187 read LITs marked as preceding its reading, dated notes added to 82 NOTEs now cited by a THEORY, and stale directives fixed.
  • Every inactive-ok-file directive now names the status its cited works hold: 877 corrected (most said “Deferred” of works now Unavailable), codes now Active dropped, and 40 obsolete directives removed.

Added

  • warrant on CLAIM (ADR-043, now Active): demonstrated, empirical or interpretive, how a claim as stated is supported, apart from status and role. Required on every CLAIM; all 315 are classified (87 demonstrated, 12 empirical, 216 interpretive). Nineteen compound claims are listed in ADR-043 for splitting.

Changed

Added

  • Thirteen THEORYs from the first half of the cognition readings: the extended mind, Turing, Putnam, Dennett, Searle, Chalmers on implementation, Aerts and Gabora’s concept model, the Iowa gambling task, and five recent papers on perception, representation, fictionalism and chatbots.

Added

  • Twelve THEORYs from the second half of the cognition readings: the extended-mind dispute as three rival accounts and the coupling point they share, belief ascription, machine-table functionalism, high-level perception, Minsky’s emotions and frames, Block’s border between seeing and thinking, word learning and human iterated learning. Pandemonium (LIT-427) and Singh’s exposition (LIT-444) get none, and the curation entry says why.

Added

  • Thirteen THEORYs from the complex-systems readings: individuality measures, ΦID and synergy-bias emergence, variance pooling, non-reciprocal cycles, collective intelligence and the ants-and-humans puzzle, delayed Lotka–Volterra, the marks of emergence, dissipative structures, Turing’s instability and near-decomposability.

Added

  • Thirteen THEORYs from the consciousness readings (the hard problem and its illusionist rival, organisational invariance, the combination and meta-problems, IIT’s ill-definedness, and others); LIT-459 and LIT-411 join THEORY-043 and THEORY-023 as sources.

Fixed

  • CLAIM-056’s warrant is now interpretive. Its derivation is CLAIM-267’s, and its defeat condition is empirical with no observation under it. This carries out the promotion audit’s batch-004 decision (ADR-047). The status is unchanged.

Changed

Fixed

  • CLAIM-188 put the singularity in the model left after a candidate is removed. It is in the model with the candidate, where the candidate is switched off. The title is restated in that form, as the conditional the argument supports.
  • CLAIM-193’s demonstrated part is CLAIM-269’s, so its warrant is now interpretive, and the defeat disjunct the two shared is dropped from it.
  • Both carry out the promotion audit’s batch-003 decisions (ADR-047). Statuses are unchanged.

Fixed

  • CLAIM-308 dropped its source’s “deterministic”. No deterministic rule without foresight beats twice the hindsight cost, but a randomized rule can in expectation. The qualifier is restored.
  • CLAIM-251 said only changing the compatibility structure engages gluing. On a fixed CHSH cover, changing the response distribution alone can make a model contextual. The title now separates changes of scenario from changes of empirical model.
  • Both corrections carry out the promotion audit’s batch-002 decisions (ADR-047). Statuses are unchanged.

Changed

  • THEORY-481 corrected, still Proposed. Its per-mode logistic dynamics and finite-context fixed point are exact in the long-context limit, and at finite N only for isotropic inputs. In general the modes couple at order 1/N, because the source commutes the non-diagonal empirical covariance at (A71) and (A73). NOTE-658 records the error. This carries out the promotion audit’s batch-016 decision (ADR-047).

Fixed

  • CLAIM-077 and CLAIM-098 were filed as demonstrated. Their defeat conditions are an impossibility argument and a comparison of predictive power, so both are interpretive (ADR-043). This carries out the promotion audit’s batch-001 decisions (ADR-047). Statuses are unchanged.

Added

  • Twenty-three works at the intersection of database theory and semantic search, twenty-one read with NOTEs and THEORYs: staleness and refresh, answering queries using views, semantic caching, incremental view maintenance, provenance, and approximate nearest-neighbour search including HNSW. QUESTION-114 and QUESTION-105 record what they give.
  • CLAIM-314 objects to CLAIM-308: recognizing that a filed argument answers a new question is a search whose cost grows with what is filed.
  • CLAIM-312 supersedes CLAIM-306: the medic’s rule asserts operational unavailability, and absence needs a certificate about the unsearched remainder, not exhaustion (CLAIM-311).
  • CLAIM-313 objects to CLAIM-310: with copies, partitions coexist.

Added

  • An ecological-coexistence and feature-learning bridge for the distributed-agency line, from a synthesis the owner relayed on 2026-10-18 (workbench entry of that date):

    • In symmetric resource competition, Lotka–Volterra dynamics are multiplicative gradient flow on a feature-selection objective, invasion fitness is its negative partial derivative, and uninvadable equilibria are its KKT points. Demonstrated and Active, CLAIM-369.
    • Two constructions:
      • CASE-118: two components, where one Gram matrix supports coexistence or exclusion depending on the growth rates;
      • CASE-119: three demands, pairwise compatible but not jointly, relieved by enlarging the attainable set.
    • Four questions:
      • feature geometry against coexistence, QUESTION-135;
      • recovery when rare against imposed or entrenched roles, QUESTION-132;
      • relief of structural frustration by specialization, QUESTION-133;
      • competence lost through influence-dependent training, QUESTION-134.
    • A proposed population study, CASE-117.
  • Eight works on coexistence theory, ecological optimization and mean-field feature learning registered unread. Chizat and Bach (2018), LIT-1232, is held in both records under ADR-013, beside ANTH-LIT-298.

  • Revised before merge at the owner’s review: the bridge is stated for abundances, not normalized authority shares, with a sign condition for the competitive reading; recovery is tested from a small positive start, and internally maintained exploration is separated from external reintroduction; the study matches context-conditioned participation and separates fixed from revisable authority rules.

Documentation

Added

  • Seventeen THEORYs from the ethics and agency readings (moral status and precaution, Sen and Rawls, parasocial ethics, rule-consequentialism, intentional action, interpretationism, agent discovery, subsumption, distributed morality), with rivals and a presupposes edge.

Added

  • The owner’s thesis that a lucid agent’s model is kept in touch by a loop of judgement and observation, in which each judgement reshapes the observer, and not by action and perception, CLAIM-341. It rests on the operator model’s circuit (CLAIM-297) and on CLAIM-275, and sets the stronger synchronic form aside as open.
  • Its counters: mental action, felt fluency and structure learning already run the loop inside active inference, CLAIM-337; cut off from action, the loop loses one source of evidence it did not select, CLAIM-339.
  • The answer to the second, CLAIM-342: what anchors such a loop is evidence whose arrival or scoring does not pass through the interpretation it tests, after CLAIM-330 and CLAIM-141.
  • Locked-in syndrome as a documented case, CASE-107, and eight works registered unread for it and for the claims.
  • The owner’s thesis that the pragmatic-transport and will-organization lines describe one model, with a mapping of both into the operator model that the owner has not yet endorsed, CLAIM-336.
  • A question on what plays the part of independent scoring in a single mind, with five candidates, QUESTION-121.
  • Nine more works registered unread, for covert awareness, measurement effects, Pattee’s epistemic cut, QBism and perceptual control theory.
  • A demonstrated answer to the formal part of that question: in the linearized operator model, scoring committed predictions gives a coupling with the sign of κ′ − κ̄, so commitment before evidence is not by itself independent scoring, CLAIM-340, with its construction, CASE-106.
  • Readings of six of the registered works (Owen et al., Monti et al., Feldman & Lynch, Slovic, QBism, Pattee, Powers 1973), two marked Unavailable, and Powers, Clark & McFarland (1960) registered.
  • Four works the owner named, on attempted out-of-body perception, goal and uncertainty codes, emotion maps and auditory–prefrontal loops, read or found Unavailable. The eight works registered at the start and Powers et al. (1960, both parts) were read, and Laureys et al. and Bauby found Unavailable. The locked-in case, both counters and the thesis were corrected from the readings.
  • The owner’s thesis that active inference’s selective sampling is the authority space of the coupled meaning–authority model, so that the free-energy agent is a coupled loop without independent scoring, CLAIM-338.

Added

  • QUESTION-131: how structural frustration among jointly incompatible demands relates to operative thwarting of a constituent’s demand, and when one can occur without the other. A replacement term that would have superseded TERM-060 was withdrawn before merge; the question records its candidate definitions as relayed proposals, neither adopted.

Changed

  • CLAIM-347: structural frustration defined as joint infeasibility, S ∉ 𝒦(𝒪; D), on attainable outcomes within a horizon and budget; improvement, maintenance and threshold demands kept apart; relief as strict enlargement of 𝒦 under fixed reference demands.
  • CLAIM-357: structural infeasibility, realized violation, minimax suboptimality and causal governance failure kept apart; positive regret can hold while every requirement is met.
  • CLAIM-368: frustration is independent of strain; the structural definition is CLAIM-347’s.

Documentation

  • A dated note on TERM-060 records an error in it, the refinements to keep, and that its structural sense is defined exactly in CLAIM-347. The review entry of 2026-10-18 records the later reviews and how relayed reviews are attributed.

Added

  • Granger causality, which nine documents named without the record holding it. Five works are registered. Three are read the same day, each with a NOTE and a THEORY: Barnett, Barrett and Seth on the Gaussian equivalence with transfer entropy (THEORY-700), Seth on G-autonomy and G-emergence (THEORY-703, Proposed), and Eichler and Didelez on when Granger noncausality implies no intervention effect (THEORY-704). Granger (1969) and Geweke (1982) are Unavailable and read through them.
  • The record’s own terms for it: TERM-058 defines Granger causality, CLAIM-333 says when it bears on interventions, with a counterexample to complete measurement being enough, and CLAIM-334 disclaims reading macro-to-micro Granger causation as downward causation.

Changed

Fixed

  • NOTE-010’s C5, “if all relevant variables are measured, Granger- and Pearl-type analyses coincide”, is annotated as false as stated. NOTE-053’s C7 is checked against its source.

Added

  • Ten THEORYs from the linguistics, pragmatics, philosophy-of-language and myth-and-folklore readings: wordhood, lexicalism, speaker meaning, illocution, stance, informative speakers, distributional holism, scorekeeping and Lévi-Straussian transformation.

Added

  • Twenty THEORYs from the representation-learning, learning-theory and loss-landscapes readings: concept lattices, the Platonic measurements, group equivariance, sparse-autoencoder fidelity, in-context demonstrations, order and test-time training, small singular values, hyperbolic hierarchy, structural width, phase transitions, attention dynamics and mode connectivity beyond classifiers.

Added

  • The LEGO material from Mathematics of Meaning, ported at the owner’s request, with the whole monograph read (curation entry of 2026-10-15 03:31):
    • the owner’s LEGO parable, a case, CASE-094;
    • retrieval and evidence as opposed criteria for a category, Active, CLAIM-307, from MOM-CLM-166, re-checked;
    • sortings conflict as arrangements, not as descriptions, Active, CLAIM-310, with the construction CASE-095; the monograph’s contextuality, rebuilt on MOM-CLM-137;
    • blow-up adds no observation, Active, CLAIM-305, against the monograph’s “resolution restores identifiability”;
    • the castle topic persists as no eigenmode, a construction, CASE-097;
    • the owner’s smoothie line, CASE-096, and goodness against discriminability, Active, CLAIM-309;
    • “If I can’t find it, it isn’t there” as a default stronger than negation as failure, Active, CLAIM-306;
    • two questions: sorting as amortized search, QUESTION-114, refining QUESTION-095, with a survey of database physical design; and three criteria for naming a category, QUESTION-113.
  • Treisman and Gelade 1980, read (LIT-1082); Duncan and Humphreys 1989, Unavailable (LIT-1081); Reiter 1978 and Clark 1978, read (LIT-1088, LIT-1087).
  • Four works on database physical design and amortized organization, registered and read for QUESTION-114: Finkelstein et al. 1988 (LIT-1084), Yao 1981 (LIT-1097), Idreos et al. 2007 (LIT-1090), Sleator and Tarjan 1985 (LIT-1093).
  • ADR-044, accepted and applied: a corroborates relation between claims, for evidence that is not a dependency, with its converse corroborated_by; first applied to CLAIM-310 and CLAIM-296.
  • Harinarayan, Rajaraman and Ullman 1996 (LIT-1094), registered and read for the same question: which answers to precompute.
  • ADR-045: databases (Databases and data structures) joins the topics, on the five works above.
  • Three more for the sorting question, at the owner’s request: Comer 1978, Unavailable (LIT-1086); Piatetsky-Shapiro 1983, read (LIT-1089), now cited for workload-based index selection being NP-hard; Karlin, Manasse, Rudolph and Sleator 1988, read (LIT-1096), rent-or-buy.
  • Chaudhuri and Narasayya 1997, read (LIT-1083): workload-driven index selection in practice.
  • Bruno and Chaudhuri 2007, read (LIT-1095): online index tuning, the nearest the record has to the joint cost model; Athanassoulis et al. 2016, read (LIT-1085): the RUM conjecture.
  • Gupta 1997, read (LIT-1091): view selection with maintenance cost, the follow-up the owner asked for as Harinarayan’s.
  • Gupta and Mumick 1999, read (LIT-1092): view selection under a maintenance-time budget; upkeep is not additive, and staleness is not priced.
  • Gupta and Mumick 2005, read (LIT-1080): the journal version of both ICDT papers; it adds proofs, not new results.
  • Thirty-one THEORYs for the readings of this contribution and of PR #148, which filed none; claims that grounded read works as bare LITs now ground the accounts. Errors found while drafting are corrected.
  • CLAIM-308 objects to CLAIM-303 from the rent-or-buy result: where reuse cannot be forecast, cost-weighted recurrence is the filing criterion.

Added

  • Eighteen THEORYs from the mathematics readings: fifteen proved results stated with their conditions, Active, and three accounts resting on an unrefereed preprint or a skim, Proposed.

Added

  • Thirteen THEORYs from the twelve read metaphysics and mereology works that no THEORY cited: one Active formal result on the axioms of classical mereology (THEORY-493) and twelve Proposed accounts.

Added

  • Twelve THEORYs for the moral-psychology readings, which had none: morality-as-cooperation and Moral Foundations Theory as rival accounts, the puritanical-morality, partner-choice, relationship-regulation, social-intuitionist and shared-obligation accounts, and the findings each rests on. Moral Molecules (LIT-509) and the 256-society dictionary study (LIT-512) get none, and the curation entry says why.

Added

  • The rest of the partial-information-decomposition literature the record leaned on. Four works read, each with a NOTE and a THEORY: Griffith and Koch’s synergy (THEORY-716), Griffith et al.’s intersection information (THEORY-715), Rauh et al.’s three-source impossibility (THEORY-713) and Ince’s I_ccs (THEORY-714, Proposed).
  • CLAIM-343: for three or more parts no ΦID redundancy function can have both the identity property and nonnegative atoms, so such a verdict must name the axiom it drops.

Changed

Added

  • Ten THEORY documents backfilled from the natural-sciences topic group’s readings (six Active, four Proposed): the morality-as-cooperation lineage (Hamilton I and II, Maynard Smith and Price, Trivers, Axelrod and Hamilton, Nowak), the Eulalia impact shower, the individualized niche, REST2 convergence diagnostics, and the Belousov-Zhabotinsky oscillation.

Added

  • Fourteen THEORYs from thirteen philosophy-of-science readings, part 1 of 2 (four Active, ten Proposed).

Added

  • Eleven THEORYs for the second half of the philosophy-of-science readings (explanatory power, niche concepts, structural realism, duality, randomisation and evidence, open science, individuality, the Price equation), two Active and nine Proposed.

Added

  • The foundations of partial information decomposition, which the record’s transfer-entropy, ΦID and emergence readings used without holding. Three works read, each with a NOTE and a THEORY: Williams and Beer’s I_min and redundancy lattice (THEORY-706), Harder, Salge and Polani’s I_red (THEORY-708) and Bertschinger et al.’s unique information (THEORY-705).

Changed

Fixed

  • NOTE-320’s “Kraskov estimator” for H(T) is the Kozachenko–Leonenko entropy estimator, per Saxe et al.’s own appendix.

Added

  • Eighteen THEORYs from the probabilistic-modeling, information-theory and contextuality readings that had none, with a curation entry.

Changed

  • CLAIM-267 (per-step errors compound through later sensitivity) and CLAIM-270 (retention and drift are different properties) are promoted to Active, carrying out the promotion audit’s batch-001 decisions (ADR-047). CLAIM-267’s indices are pinned to one map, with exact witnesses for each regime. CLAIM-270 gains two-state constructions for all four combinations of retention and drift.

Changed

  • CLAIM-313 is promoted to Active: copies let several partitions coexist, so bins realize one partition only when each item is stored once. CLAIM-310, the thesis it countered, now states that one-copy condition. This carries out the promotion audit’s batch-002 decision (ADR-047).

Changed

  • CLAIM-268 (model stitching certifies an order of information only in its reconstruction form) is promoted to Active. The composition argument, the difference-of-upper-bounds step and a 1×1-stitcher construction are now written out, and the empirical disjunct of its defeat condition is restated as a proof of monotonicity.
  • CLAIM-107 is narrowed to what it shows and promoted to Active: a harmonic observable’s mean is invariant under Markov kernels and drifts by at most Σ ε_i when nearly harmonic. “Conserved” and “Noether-type” leave the title, as CLAIM-094 (granted) said they should.
  • Both carry out the promotion audit’s batch-003 decisions (ADR-047).

Added

  • QUESTION-141: what replaces eigenfunctions for asymmetric self-supervised objectives, formerly THEORY-009’s promotion condition.
  • QUESTION-140: how far CKA and normalized Bures similarity disagree in trained networks, formerly a clause of THEORY-233’s promotion condition.

Changed

  • THEORY-009 is narrowed to the positive-pair papers, where self-adjointness comes from the symmetry of the positive-pair distribution, and promoted to Active. The title now names the family’s other routes to self-adjointness.
  • THEORY-233 (the rank envelope between CKA and normalized Bures similarity) is promoted to Active, with the envelope and eqs. 27–28 derived directly.
  • Both carry out the promotion audit’s batch-007 decisions (ADR-047), under the owner’s rule that a checked re-derivation meets a promotion condition that asks for a proof.

Added

  • QUESTION-146: whether a positivity-preserving map exists between sheaf signed global sections and GPT quasiprobability representations, the condition formerly on THEORY-014.
  • QUESTION-145: whether trained models reach the exact superposition configurations, the condition formerly on THEORY-021. It refines QUESTION-058.

Changed

  • THEORY-014 is promoted to Active. Each half is a theorem proved in a work the record has read, and its promotion condition, which asked for a map between the formalisms that the title does not claim, moves to a QUESTION.
  • THEORY-021 is narrowed to the exact configurations of uniform superposition and promoted to Active, with the frame-operator algebra re-derived. The square antiprism is excluded until checked.
  • Both carry out the promotion audit’s batch-010 decisions (ADR-047).

Added

Changed

  • THEORY-171, THEORY-160 and THEORY-158 are narrowed to what is checked and promoted to Active, carrying out the promotion audit’s batch-008 decisions (ADR-047). The narrowed claims are the non-gluing of causal functions, the symmetry–conservation equivalence for a bracket with unique flows, and the finite-state equivalence. Each cites its re-derivation, which by the owner’s rule of 2026-10-19 meets the request for a proof the record lacked.

Added

  • THEORY-730, Active: for an embedding with W Wᵀ = |M*| at full rank, words on a periodic lattice whose positive and negative co-occurrence parts are each translation invariant have Fourier modes as principal components, in degenerate cos/sin pairs (LIT-860 Propositions 1, 3 and 4 and Corollary 2). Split from THEORY-183, with Proposition 1 and Corollary 2 re-derived.

Changed

  • THEORY-193, Active after correction: the grown complex’s 1-skeleton has 2-thin geodesic triangles at every size and for every flavor, so its graph metric is Gromov hyperbolic because of the growth. The equal-link ideal-simplex drawing tiles H² for d = 2 with s = −1, and is not a tiling of H^d for d ≥ 3. The dual-tree statement is corrected for s = 0, 1.
  • THEORY-183 stays Proposed for its empirical account and now extends the new entry. These changes carry out the promotion audit’s batch-011 decisions (ADR-047).

Added

  • QUESTION-149: whether the relational linear properties reported in released language models lie in the subspaces that enter the logits, so that they are properties of the distribution. This is the trained-model half of the condition formerly on THEORY-234.

Changed

  • THEORY-234 is narrowed and promoted to Active. Its title said a relational property is shared across equivalent models “only when” it lies in the logit subspaces. Theorem 14 gives a sufficient condition, so the title now says “when”. Theorems 5 and 14 are re-derived in a dated note.
  • THEORY-239 is narrowed and promoted to Active. The top-d left singular span attains the minimum worst-case linear-probe error, but it is not the unique span that does, as its title and the thesis said. A dated note re-derives the bound, gives the counterexample, and works a non-reversible three-state case. NOTE-770, LIT-975 and QUESTION-052 are corrected to match.
  • Both carry out the promotion audit’s batch-012 decisions (ADR-047).

Added

  • QUESTION-139: whether the one-hidden-layer ∏(rᵢ+1) lower bound holds for uniform approximation, and what replaces it with biases. This is the open half of THEORY-206’s former promotion condition.

Changed

  • THEORY-247 is narrowed to the fixed-point definition of the bisimulation metric and promoted to Active. The identification and the occupancy-coupling LP are re-derived in a note, and the logical characterisation is marked as cited.
  • THEORY-206 is narrowed to Taylor matching at the origin, keeping the uniform upper bounds, and promoted to Active. The lower bound is re-derived in a note.
  • Both carry out the promotion audit’s batch-006 decisions (ADR-047).

Added

  • QUESTION-147: whether symmetry-cluster stability predictions hold in a second system of near-identical units, formerly THEORY-276’s promotion condition.
  • QUESTION-148: whether bilinear knowledge-graph scores admit a sheaf-coboundary representation, formerly part of THEORY-299’s promotion condition.

Changed

  • THEORY-276 (symmetry orbits as synchronization clusters, and isolated desynchronization) is promoted to Active. The invariance is derived through fixed-point subspaces, and the hypothesis that the cluster’s factor moves nothing else is made explicit.
  • THEORY-299 (knowledge-graph embeddings as sheaf 0-cochains) is narrowed: each triple is scored by a norm of its coboundary, and the summed score is the Laplacian form only in the squared-Euclidean variant. It is promoted to Active.
  • THEORY-301 (Procrustes against decoding distance, through the participation ratio) is promoted to Active, with eqs. 25–26 derived directly for real matrices.
  • Each carries out the promotion audit’s batch-013 decisions (ADR-047), under the owner’s rule that a checked re-derivation meets a promotion condition that asks for a proof.

Added

  • THEORY-731, Active: for softmax cross-entropy with balanced classes, the Gauss–Newton matrix splits exactly into four positive semidefinite terms, and its k-th eigenvalue is never below that of the class-centre term, a rank-C matrix read from a C × C Gram matrix. Split from THEORY-078, with the derivation.

Changed

  • THEORY-309 is Active: if a context is any jointly measurable set, every nondisturbing behaviour is realized by effects proportional to the identity on a one-dimensional system. The general scenario is re-derived in the entry.
  • THEORY-078 stays Proposed for its measured attribution and extends the new entry. These changes carry out the promotion audit’s batch-017 decisions (ADR-047).

Changed

  • THEORY-312 is promoted to Active. The large-batch InfoNCE loss is −HSIC(Z,Y) plus a nonnegative log-mean-exp, and Theorem B.1’s remainder enters with a plus sign. Both are re-derived in a dated note, which settles the sign question its promotion condition asked about.
  • CLAIM-123 is promoted to Active. It was reviewed again as demonstrated after its correction in #165: score addition composes conditions exactly when the conditional dependence ratio does not vary with x.
  • Both carry out the promotion audit’s batch-014 decisions (ADR-047). Stale inactive-ok entries naming either code are trimmed.

Added

  • ADR-047: the promotion audit runs in small, persisted batches, ranked by expected yield, with decisions recorded apart from status changes.
  • record/promotion-audit/: the audit’s versioned queue with a hand-off block, one decision file per reviewed candidate, batch files, working notes, and check.py, which fails when the queue and the decisions disagree. Batch 001 reviewed five demonstrated CLAIMs. CLAIM-267 and CLAIM-270 are to be promoted, CLAIM-285 split, and CLAIM-077 and CLAIM-098 have misclassified warrants. No status changes here.

Added

  • CLAIM-371, Active: under the componentwise order on distortion profiles, incomparability is exactly a trade-off, and positive weights can rank a trade-off either way but never reverse a dominance. Split from CLAIM-128.
  • QUESTION-137: whether human transmission chains converge to an independently measured prior, the empirical test formerly in THEORY-155’s promotion condition.
  • The proved parts of three Proposed THEORYs, filed apart and Active: THEORY-719 (spectral and NT-Logistic minimizers, from THEORY-001), THEORY-717 (Blackwell’s theorem for finite outcome spaces, from THEORY-156), and CLAIM-370 (the conditional-expectation operator is Hilbert–Schmidt exactly when χ² is finite, the record’s own derivation from THEORY-005, now with a proof).
  • QUESTION-136: the population form of the readout identities, formerly a clause of THEORY-008’s promotion condition.
  • THEORY-718, Active: in linear-Gaussian models the evidence is exactly best fit times an Occam factor costing (k/2) log n. Split from THEORY-087.

Fixed

  • CLAIM-123 said adding conditional scores composes conditions only under conditional independence. That condition is sufficient, not necessary. The claim now gives the exact criterion and an example of dependent conditions that meet it.
  • CLAIM-264 implied that a strong generator identifies objects. It makes the restricted Yoneda functor conservative, which is weaker: (ℤ/p)³ and the Heisenberg group mod p look the same through ℤ.

Changed

  • CLAIM-264 and THEORY-155 are promoted to Active. THEORY-155’s title now states the ergodicity its convergence needs.
  • CLAIM-128 keeps only its task-relativity thesis, and its warrant is now interpretive.
  • THEORY-008 is confined to a finite stimulus set, where its identities are proved, and promoted to Active.
  • THEORY-087’s promotion condition no longer says its regular half is derived in the sources. Only the linear-Gaussian case is derived there, and the condition now asks for a proof of the general regular case as well.
  • CLAIM-323 now rests on the finite-outcome Blackwell THEORY. CLAIM-237 and CLAIM-326 cite it alongside THEORY-156.

Added

  • The 2026-10-14 exchange on prompting, epistemic memory and retrieval (chatgpt.com/share/6ad01c63-…), filed as a workbench reconstruction of U1–U23.
    • Thirteen claims:
      • current conclusions are not a sufficient state for revision, Active, CLAIM-294;
      • sufficiency is relative to model and decisions, Active, CLAIM-300;
      • support topology does not fix revision, granted, CLAIM-293;
      • what keeping justifications can buy, CLAIM-295;
      • sufficiency, accountability and correctness come apart, Active, CLAIM-299;
      • filing moves work across time, CLAIM-303;
      • feasible tests can be far coarser than statistical ones, Active and conditional, CLAIM-302, and a rendering can keep a distinction and make it infeasible to recover, CLAIM-304;
      • possession, knowledge and deployability differ, CLAIM-296;
      • a frame can act on what is reachable, CLAIM-298;
      • iterative retrieval can turn a guess into a premise, CLAIM-301, with the granted limit CLAIM-292;
      • coupled meaning and influence can capture an interpretation, CLAIM-297.
    • Sixteen questions, from QUESTION-105 to QUESTION-100.
    • Twelve cases, among them the owner’s EMT case, CASE-085.
    • Two terms: operational availability, TERM-055; question drift, TERM-056.
  • Eight works registered unread: selective accessibility (Strack and Mussweiler, two papers), Goldreich, Gibson, Hutchins, query drift (Mitra et al.), AGM and Hansson’s survey of belief revision.
  • ADR-043, proposed: a warrant field on CLAIM, piloted before it is required.

Documentation

  • Dated notes on CLAIM-029, CLAIM-199, CLAIM-250 and CLAIM-264.
  • Readings of the registered works: Strack & Mussweiler 1997, AGM 1985, Hansson’s survey and Harris et al. 2019 read; Goldreich’s 1995 draft skimmed (chapters 1–3); Mussweiler & Strack 1999, Gibson, Hutchins and Mitra et al. Unavailable. Harris et al. 2019 and Goldreich 1990 registered.

Changed

  • From the readings: the feasible-test separation claim (unconditional; only samplability needs generators), the hidden-bit claim and the generator case, the anchoring claim (retrieval step inferred, not measured), and the question on retained state (narrowed).
  • A question on amortized retrieval as amortized computation, from the cockpit reading, with eight works on offloading and amortization registered and read (Kirsh & Maglio, Kirsh, Ballard et al., Risko & Gilbert, Gray & Fu, Dasgupta et al., Lieder & Griffiths, Gershman & Goodman) and a citation search for prior joint treatments.
  • A question on signal detection and computational indistinguishability, with Geisler 2011, Håstad et al. 1999, Dwork et al. 2021 and Hébert-Johnson et al. 2018 registered and read; and Kirsh 1996, Gray et al. 2006 and Dasgupta & Gershman 2021 read for the amortization question.
  • Three scaling-law works on training against inference compute (Jones 2021, Sardana et al. 2024, Snell et al. 2024) registered and read for the amortization question.
  • Howes et al. 2016 registered and read; the description of it as a memorize-or-look-up trade, from Lieder & Griffiths, corrected.

Added

  • Twenty THEORYs for the quantum-foundations readings that no THEORY cited: ψ-ontology, wave-function readings, steering, quantum work, and the topos programme; THEORY-037 now presupposes the clopen-region result.

Added

  • Fourteen THEORYs for the readings on the self, personhood and individuation, one Active and thirteen Proposed, drawn from fifteen of the sixteen readings that had none: Locke, Hume, Parfit, Lewis and Williams on persons over time; Dennett, Strawson, Gallagher and Shanahan on selves; Meincke and Wilson and Barker on biological individuals.

Added

  • Twenty THEORYs from sixteen readings in the small topics: status distrust, infinite fair lotteries, stratified belief, averaging over theories, network epistemology, somatic markers, emotion regulation, fluency, IFS, the gut–brain axis, causaltopes, do() as surgery, Łoś and compactness, waste-collection routing, duality, participatory sense-making, options in HRL and their neural mapping, structure learning by model reduction, and Shampoo.

Added

  • Twenty-two THEORYs from the social-science, network-science, compositionality, neuroscience and philosophy-of-biology readings that had none, with five claims’ grounds pointed at them.

Added

  • Nine THEORYs from the social-ontology, game-theory, religion and design-rationale readings: Ritchie on groups (two), Haslanger, Searle against Hindriks & Guala, Durkheim, Epstein, List & Pettit on non-redundancy (Proposed), and Kamenica & Gentzkow’s Bayesian persuasion (Active).

Added

  • Eleven THEORYs from twenty society-and-governance readings: the Google remedies opinion, Doctorow’s four constraints on platform decay, competitive authoritarianism, Russian hybrid war and the information-war narrative, EEAS FIMI attribution, DISINFOX, algorithmic nudging, Gelman, Thompson and Moynihan.

Changed

  • Citations of content that ADR-043’s splits moved out of a claim now name the claim that holds it: twenty-four places in claims, questions, a case, a THEORY and reading notes. Quotations keep their original code with the new home added.

Added

  • CLAIM-379, Active: on a finite set of stimuli, regularized linear readouts with ridge b > 0 collapse exactly the orthogonal orbit of a centred representation, and the CCA member the invertible-linear orbit. Split from CLAIM-269 (promotion audit, batch 015, ADR-047), which rests on it and stays Proposed for its THEORY-002 and THEORY-019 clauses.

Added

  • CLAIM-375, Active: under one-hop allocation within an epoch, an operator’s authority stays fixed while endorsing an ally nearer its own policy moves the collective decision toward it. A construction, split from CLAIM-285 under the promotion audit’s batch-001 decision (ADR-047).

Changed

  • CLAIM-285 keeps the incentive thesis: that delegation does work in a population, and that the two conditions are not confined to one hop. It rests on the new claim and is now interpretive.

Added

  • CLAIM-373, Active: the commutator-distortion identity with its norm bound, Φ[A,B] − [A′,B′]Φ = A′E_B + E_A B − B′E_A − E_B A, split from CLAIM-063.
  • CLAIM-374, Active: on consistently connected systems, Contextuality-by-Default and the sheaf criterion agree, split from CLAIM-037 and proved.

Changed

  • CLAIM-063 and CLAIM-037 keep their theses, rest on the new claims, and become interpretive. This carries out the promotion audit’s batch-002 decisions (ADR-047).

Added

  • CLAIM-380, Active, demonstrated. For finitely many states and outcomes, the directed Bayes-risk term D⁺ is zero from a garbling back to its source. It vanishes for every finite problem and prior exactly when the rendering is at least as informative (THEORY-717), and A86’s D_Q is its symmetrization. Split from CLAIM-326.
  • CLAIM-381, Active, demonstrated. Over finitely many items with finite judgement outcomes:
    • a constant kernel fits only item-independent target responses;
    • exact fit is a garbling;
    • Le Cam’s deficiency is one linear programme. Split from CLAIM-228.

Changed

  • CLAIM-326 rests on the new claim and keeps the unrestricted case, which needs THEORY-156. It stays Proposed.
  • CLAIM-228 rests on the new claim and keeps the proposal that the restated measure is informative. Its warrant is corrected to empirical.
  • CLAIM-212’s warrant is corrected from demonstrated to interpretive, because it is a proposal whose defeat condition is a reception study.
  • All carry out the promotion audit’s batch-014 decisions (ADR-047).

Added

  • THEORY-723, Active: for a softmax model’s final layer, the output distribution fixes the representation only up to an invertible linear map. Whether closeness in distribution bounds representational dissimilarity depends on the distance. Split from THEORY-002.
  • THEORY-725, Active: on the court agenda, majority voting is not robustly rational and the premise-based procedure is, with set-wise supervenience and discontinuity. Split from THEORY-127.
  • THEORY-729, Active: an adjunction into an opposite category restricts to a dual equivalence on its fixed points. Split from THEORY-604, with the proof the source omits.

Changed

Added

  • THEORY-720, Active: classical simulations between no-signalling empirical models never create contextuality, and only non-contextual models can be cloned. This is the proved half of THEORY-174.
  • THEORY-722, Active: in Contextuality-by-Default 2.0, coarse-graining can turn a noncontextual system into a contextual one, and CbD 1.0 and 2.0 agree on two-variable connections. This is the proved part of THEORY-168.
  • Both carry out the promotion audit’s batch-005 decisions (ADR-047). THEORY-174 and THEORY-168 extend the new entries and stay Proposed.

Added

  • THEORY-734 (Active): the planar lower bound on the precision of hyperbolic tree embeddings, split from THEORY-196. A root with deg_max ≥ 15 chains needs Ω((ℓ/ε) log deg_max) bits per coordinate at distortion 1 + ε ≤ 2. It is proved by exact hyperbolic trigonometry, with explicit constants, where LIT-874 used a small-angle approximation as an equality.
  • THEORY-733 (Active): exact dynamical independence in linear VAR models, split from THEORY-257. The VAR criterion is re-derived. For order above 1 the exceptional set is proved Lebesgue-null, where LIT-979 counted equations. For VAR(1), exact coarse-grainings exist on open sets but not at every scale generically.
  • QUESTION-150: whether the code-based upper bound for tree embeddings in H^r, r > 2, is matched by a lower bound. This is the higher-dimensional half of the condition formerly on THEORY-196.

Changed

  • THEORY-196 extends THEORY-734 and stays Proposed. Its promote_when narrows to Sarkar’s distortion bound, the upper bound it still rests on.
  • THEORY-257 extends THEORY-733 and stays Proposed. Its title now restricts “generically none is exact” to VAR order above 1, its VAR(1) bullet is corrected, and NOTE-791’s C4 is annotated.
  • Both carry out the promotion audit’s batch-012 decisions (ADR-047).

Added

  • CLAIM-382 (demonstrated, Active): with i.i.d. Gaussian initialisation and SGD or momentum SGD, the law of an autoencoder’s learned representation inherits the activation’s orthogonal symmetry group, so radial activations privilege no basis in law. Split from THEORY-288, with the optimiser condition the argument needs.
  • CLAIM-383 (demonstrated, Active): the lift-up lower bounds for plane Couette and Poiseuille flow, with transient growth at least cR, resonance at least cR², and a destabilizing perturbation of norm at most CR⁻². Split from THEORY-304.

Changed

  • THEORY-288 and THEORY-304 cite the new claims and keep their empirical or computed titles, Proposed, with their promote_whens unchanged. This carries out the promotion audit’s batch-013 decisions (ADR-047).

Added

  • THEORY-724, Active: non-normality is necessary for time dependence to destabilize a uniformly stable operator, and a switched non-normal oscillator is unstable. Split from THEORY-325.
  • CLAIM-376, Active: shifting by −δI makes a system stable at every instant while keeping a positive exponent λ − δ. On the switched oscillator, λ = 0.0955 at δ = 0.1.
  • CLAIM-378, Active: an index invariant to every invertible linear map depends only on the column space, which settles the column-centred case of THEORY-236.

Changed

  • THEORY-236 is promoted to Active.
  • THEORY-325 is narrowed to its stochastic half and stays Proposed.
  • These carry out the promotion audit’s batch-006 decisions (ADR-047).

Added

  • THEORY-728, Active: on a finite data set, the diffusion-map embedding turns the 1/π-weighted diffusion distance into Euclidean distance exactly. Split from THEORY-565.
  • CLAIM-377, Active: the Gauss–Newton Fisher βJᵀJ and the NTK Gram matrix JJᵀ share their non-zero spectrum, with the proof. Split from THEORY-084.
  • THEORY-726, Active: weight decay on factors is a nuclear-norm penalty on their product. Split from THEORY-180.

Changed

  • THEORY-565, THEORY-084 and THEORY-180 stay Proposed for their remaining parts. Each now extends or cites the new entry. These changes carry out the promotion audit’s batch-010 decisions (ADR-047).

Added

  • THEORY-721, Active: no basis or tensor factorisation of a finite-dimensional Hilbert space is distinguished by the space alone, and over ℂ, but not over ℝ, orthonormal bases are exactly the commutative special †-Frobenius algebras. Split from THEORY-017 under the promotion audit’s batch-005 decision (ADR-047).

Changed

  • THEORY-017 keeps its cross-source synthesis and extends the new THEORY. Its promotion condition now names only the per-placement check.

Added

  • THEORY-732, Active: for ReLU networks on a linear path, weak additivity and commutativity at every layer give exact layerwise linear feature connectivity, output linearity bounds the path’s error by twice the endpoints’, and one hidden layer with interpolating minima gives the exact case. Split from THEORY-111.

Changed

  • THEORY-369, Active, narrowed to a fixed number of points and clusters of at least two: as dimension grows, an optimal nearest-neighbour search must read every such cluster, with probability tending to 1. The record’s concentration proof is written in.
  • THEORY-111 stays Proposed for its empirical regularity and the step to many-model averages, and now extends THEORY-732. These changes carry out the promotion audit’s batch-016 decisions (ADR-047).

Added

  • The 2026-10-16 exchange on what kind of thing a sports fandom is (chatgpt.com/share/6ad17889-…), filed as a workbench reconstruction of U1–U15.
    • Six claims:
      • persistence through total turnover is causal transmission of the producing organization, not resemblance, CLAIM-329;
      • the owner’s timescale facet of a level of organization, CLAIM-331;
      • a slow collective variable is part of the dynamics when members use it and so regenerate it, CLAIM-327;
      • the dual canvases linearized: only the loop destabilizes symmetry, at βγ > (1 − α)(1 − δ), along a mixed direction, Active and demonstrated, CLAIM-330, a partial answer to QUESTION-100;
      • plural succession: separated continuities give several successors without identity branching, CLAIM-328;
      • distributed cultural uptake: a loose population can change an outside institution without a collective intention, CLAIM-332.
    • Five questions: what must be transmitted for a collective to persist (QUESTION-118); a time-lagged block criterion (QUESTION-116); joint individuation by information, closure, effective information and an Occam price (QUESTION-115); stance and effect without a procedure (QUESTION-119); the dual canvases against reflected appraisal and adaptive networks (QUESTION-117).
    • Eight cases: a rivalry, a reputation, a hated executive, the Washington Senators (documented), a college program through roster churn, the Juggernaut line (documented), three matched populations, and CASE-092 linearized.
  • Twenty-five works registered unread (curation entry of 2026-10-16), among them Krakauer et al. on the information theory of individuality, Flack on multiple time-scales, Feldman and Pentland on routines, and Jia et al. on the DeGroot–Friedkin model; and five candidates for two works the exchange cited that could not be identified uniquely (curation entry of 2026-10-16, 01:54).

Documentation

  • Dated notes on CASE-092 (the linearization and the analyses proposed for it) and QUESTION-093 (Hoel et al. 2013 is read, not unread).

Added

  • The 2026-10-17 exchange “Synthesis opportunities analysis” (chatgpt.com/share/6ad41263-…), filed as a workbench reconstruction of U1–U47 in four entries of 2026-10-18.

    • Twenty-five claims. Six are demonstrated, all Active; one of these is granted. Eighteen are interpretive theses, all Proposed. One is a counter.
      • Graded freedom and autonomy (the owner’s U9), compared by inclusion, CLAIM-354; control cost is not controllability rank, CLAIM-345; Sen’s two aspects of freedom (the owner’s U11), CLAIM-352.
      • Relationally indexed normative judgment (the owner’s U17–U18), CLAIM-363; judgment-preserving coarse-graining, granted, CLAIM-350; no target-free normative adequacy, CLAIM-348.
      • The owner a self-model presents, with the binding real (the owner’s U26–U27), CLAIM-355; training-time conditions belong to the unit whose jurisdiction governs the updates (U31), CLAIM-367.
      • Frustration, not distress (the owner’s U33), CLAIM-368; a zero aggregate gradient conceals it, CLAIM-351; frustration is ordinal first (the owner’s U37 correction), CLAIM-347; invariance of common descent, CLAIM-366; the residual and its dual, CLAIM-365; structural against governance-induced frustration, CLAIM-357; three independent obstructions (the owner’s U36), CLAIM-346; jurisdiction, not information, CLAIM-353.
      • An external objective can become a goal of the training organization (the owner’s U35), against CLAIM-288, CLAIM-356; relief judged against the original demands (U38), CLAIM-361; wide against deep (the owner’s U38), CLAIM-360.
      • Robustness to compromised insiders (U41), CLAIM-359; access, authority and action, and overcontrol (the owner’s U42), CLAIM-349; resolve (the owner’s U37 frame), CLAIM-344.
      • Learned local accommodation can reduce the amortized cost of recurrent arbitration (the owner’s U45), CLAIM-358; non-domination as a candidate constituent of authenticity (the owner’s U45), CLAIM-362, with its counter, CLAIM-364.
    • Nine questions, among them normativity from first principles (the owner’s U16), QUESTION-128, and a gauge account (the owner’s U19), QUESTION-130.
    • Nine cases, among them the owner’s two people with one commitment, CASE-109, five constructions and two proposed studies.
    • Three terms: relational normative realism, TERM-059; frustration, TERM-060; practical synchronization, TERM-061, a dimension independent of TERM-050’s valuational concordance, which is unchanged.
  • Twenty-five works registered unread (curation entry of 2026-10-18), among them Arrow 1950, Halpern and Moses on common knowledge, Désidéri’s multiple-gradient descent, Edmondson on psychological safety, Guida et al. on organizational flexibility, DBT and RO-DBT sources, Chesson on coexistence and Kahneman 2011.

  • The owner’s review of the filing, before merge (workbench entry of 2026-10-18): ordinal acceptance sets corrected so that the baseline does not satisfy every demand; practical synchronization set beside valuational concordance as an independent dimension, not its generalization; five claims and terms narrowed. A position note says how the entries fit into one account, with the recoverability of a rare specialist’s influence made explicit.

Documentation

  • Dated notes on 55 existing entries that the exchange re-derived, extended or misread. Among them: CLAIM-027, whose essay the exchange’s first manuscript rebuilds without citing; QUESTION-086, now with five second appearances; THEORY-232, whose measure of frustration is an aggregate; CLAIM-288, to which the owner objected; CLAIM-039 and TERM-006, whose set-aside lines the exchange reopened. Whether those lines reopen is left to the owner.

Changed

  • A TERM may be Proposed: its status is the standing of its definition, not a credence (ADR-046). TERM gains rivals, complements and refines/refined_by, the relations THEORY, CLAIM and QUESTION already use, and supersedes is kept for an adoption that retires the earlier term. The TERM template lists the statuses and relations.
  • TERM-050 and TERM-061 complement each other. TERM-010 now refines TERM-043 instead of being superseded by it, since it was never retired.

Changed

  • THEORY-037 is promoted to Active. The record re-derives that the clopen sub-objects of the spectral presheaf form a complete Heyting algebra, that its negation is the source’s pseudo-complement, and that excluded middle fails in the ℂ² case. This carries out the promotion audit’s batch-009 decision under ADR-047 v2.

Fixed

  • THEORY-686 said the observations without generative effects are exactly the left adjoints. Having no generative effect is weaker than preserving all joins: the constant map to the top has none, and is not a left adjoint. The title now says “preserve all joins”, with two counterexamples. With the record’s re-derivations of Prop. 1.111 and Thm 1.115, the corrected account is promoted to Active (batch 009, ADR-047 v2).

Added

  • CLAIM-372, Active: within a fixed scenario the contextual fraction is piecewise linear and Lipschitz in the empirical table, with a constant set by the scenario. This is the record’s own derivation, split from THEORY-165, with a proof.

Changed

  • THEORY-184 (coincident neurons stay coincident, and distinct ones cannot merge in finitely many steps below 1/K) is promoted to Active. The independent check its promotion condition asked for is the audit’s.
  • THEORY-165 is narrowed to what LIT-265 proves, the linear programme and convexity under mixing, and promoted to Active.
  • Both carry out the promotion audit’s batch-005 decisions (ADR-047).

Added

  • THEORY-727, Active: for a fixed linear operator, finite-time growth is the propagator’s top singular value, which the eigenvalues bound only from below. Growth starts at the numerical abscissa, and the forced response is bounded by κ(E)/dist(iω, Λ(A)). Split from THEORY-323.
  • QUESTION-138: when the truncated functional-map matrix stays nearly orthogonal under a near-isometry, the clause formerly in THEORY-297’s promotion condition.

Changed

  • THEORY-297 is promoted to Active, with “equivalent” qualified as “up to null sets” and its three statements re-derived in a dated note.
  • THEORY-323 is narrowed to the white-noise variance clause, which its source cites and does not prove, and stays Proposed.
  • Both carry out the promotion audit’s batch-007 decisions (ADR-047), under the owner’s ruling of 2026-10-19 that a checked re-derivation meets a condition asking for a proof the record does not hold.

Added

  • Eight THEORYs (three Active, five Proposed) from the ten thermodynamics readings: the fluctuation theorems, England’s macrostate bound, dissipative adaptation, gradient dissipation, life forced by geochemistry, maximum entropy production, the critique of its derivation, and life with planetary MEP.

Added

  • Transfer entropy, which the record used in a dozen documents while holding one source for it. Eight works are registered and seven read, each with a NOTE and a THEORY: Schreiber’s definition (THEORY-701), Kraskov, Stögbauer and Grassberger’s nearest-neighbour estimators (THEORY-709), Lizier, Prokopenko and Zomaya’s local transfer entropy (THEORY-702), Williams and Beer’s decomposition of it (THEORY-712), James, Barnett and Crutchfield’s critique (THEORY-707), Massey’s directed information (THEORY-711) and Ay and Polani’s interventional information flow (THEORY-710). Kaiser and Schreiber (2002) is Unavailable.
  • TERM-057 defines transfer entropy with its history lengths and conditioning set explicit. CLAIM-335 holds that it measures directed predictive improvement, unique plus synergistic information, and not information flow.

Changed

Fixed

  • NOTE-788’s transfer entropy is Schreiber’s only at lag 1; annotated, with “flow” there read as predictive direction, as in THEORY-275. NOTE-799’s open question on a ΦID of transfer entropy is annotated.

Changed

  • Fourteen claims ADR-043 found compound are split so that each claim carries one warrant: eleven new claims, three pointers to claims that already held the part. CLAIM-240 is kept whole.

Added

  • The rest of A39’s examination of “I am whatever you say I am”, from the exchange of 2026-10-22, filed at the owner’s request around CLAIM-415:
    • a Proposed term for the attributed self in four senses, held, imagined, imagined audience and appropriated (TERM-075), which gathers the exchange’s “socially operative identity” and “recursive social self-modeling”;
    • a Proposed claim that self-governance with respect to social judgement keeps access to others’ judgements while making their authority depend on grounds, not visibility, repetition or attributed plurality (CLAIM-425);
    • an objection to that claim from hyperstition, raised by the owner on 2026-10-23: where a judgement’s circulation helps bring about what it says, its visibility is evidence about what it will bring about, so the visibility rule holds for judgements of what already is (CLAIM-426), with three works registered unread: Carstens and Land’s interview defining hyperstition (LIT-1396), MacKenzie’s An Engine, Not a Camera (LIT-1395) and Soros on reflexivity (LIT-1397);
    • three stipulated cases: the label that confirms itself (CASE-141), its variant confirmed by resistance (CASE-142), and the attributed self as a test of the imagined audience (CASE-140);
    • a question on whether correcting the distribution of opinion dissolves an apparent consensus, refining QUESTION-119 (QUESTION-261);
    • two works registered: the song (LIT-1394) and Merton’s “The Self-Fulfilling Prophecy” (LIT-1398).

Changed

  • CLAIM-415 revised: its sentence on Cooley no longer overstates him, step 2 cites Cooley’s “remoter conformity” and the new resistance case, Cooley is added to its grounds, and the majority illusion is limited to the perceived-majority route.
  • A dated note on TERM-045 points to the new term. The definition is unchanged.

Added

  • Berniūnas & Dranseika 2016, the reply to Nichols & Bruno 2010 on folk concepts of person and identity, filed Unavailable from its abstract.

Changed

  • ADR-048: nucleation files any work the owner wants here, whether or not an anthology topic could hold it, and no anthology check comes before filing. Instructions for ML practice still belong to the anthology. An ANTH- code is cited when known and is no longer required. Whether a work is also held there is the anthology’s question. The anthology-candidate flag is still applied. ADR-001, ADR-005 and ADR-013 take history notes, and CLAUDE.md, the topics blurb and the README are rewritten to match.

CLAIM-265 is restated relative to a specified class of admissible correspondences, and its proviso is limited to a correspondence admitted only because it removes the disagreement (promotion audit, batch 040). The singular “only once the correspondence is fixed” was too strong: a disagreement can survive every member of a class with no one member fixed. A derivation in a dated note moves its warrant to demonstrated. Its status is unchanged.

Added

  • From the exchange of 2026-10-19 on coarse-to-fine processes and the physics of model reduction: CLAIM-388 (demonstrated, Active), that exact dynamical closure of a collective variable does not need a nearly decomposable block, with its construction CASE-120; six questions: three orders of coarse-to-fine (QUESTION-217), nested optimal abstractions (QUESTION-220), whether near-decomposability bounds dynamical dependence (QUESTION-221), closure without a block (QUESTION-218), memory and Markovian augmentation (QUESTION-222) and flux-based organization (QUESTION-219); nineteen works registered unread, among them the first Mori–Zwanzig and turbulence readings; dated notes on CLAIM-157 and CLAIM-331; a workbench entry and a curation entry.

  • The first reading of the program: Shpak, Stadler, Wagner & Hermisson (2004), LIT-1242, read in full in NOTE-979, with THEORY-755 (Active, re-derived): a linear system’s block sums close for every state iff the partition is column-equitable, which is aggregation without decomposition. Its companion preprint on Simon–Ando decomposability, LIT-1241, is registered unread.

  • Further readings of 2026-10-20, each read in full with a NOTE: Shpak, Stadler, Wagner & Altenberg (2004), Eyink & Aluie (2009), Parish & Duraisamy (2017), and Chorin, Hald & Kupferman (2000, 2002); THEORYs THEORY-754, THEORY-760 and THEORY-752 (Active) and THEORY-747 (Proposed). Three demonstrated claims from them, re-checked: dependence of a block is second order in its incoming coupling (CLAIM-390); the Simon–Ando aggregate’s closure defect is exactly QA(I − VQ) (CLAIM-386); in VAR(1) independence implies zero Mori–Zwanzig memory, not conversely (CLAIM-389). Dated notes on CLAIM-157, CLAIM-331 and THEORY-257; a curation entry for the batch.

  • A second batch of readings of 2026-10-20: Equitz & Cover (1991), Raju, Machta & Sethna (2018), Shalizi & Crutchfield (2002), Crutchfield & Shalizi (1999), Rosas et al. (2020) and Coifman & Lafon (2006), each with a NOTE; THEORYs THEORY-742, THEORY-743, THEORY-756, THEORY-764, THEORY-745 (Active) and THEORY-751, THEORY-744 (Proposed). CLAIM-387 (demonstrated): optimal deterministic information-bottleneck partitions need not nest. Notes on CLAIM-152 and QUESTION-115; connections on THEORY-202, THEORY-257 and THEORY-497.

  • A third batch of readings of 2026-10-20: Constantin, E & Titi (1994), Wiskott & Sejnowski (2002), Granero-Belinchón, Roux & Garnier (2016), Rahaman et al. (2019) and Coifman & Maggioni (2006), each with a NOTE; THEORYs THEORY-749, THEORY-746, THEORY-750, THEORY-748, THEORY-761, THEORY-758 (Active) and THEORY-759 (Proposed). Connections on THEORY-086 and THEORY-754; CLAIM-331’s note extended.

  • Follow-ups registered and read on 2026-10-20: No, Ingber & Weissman (2016), Isett (2018, skimmed) and Nadler, Lafon, Coifman & Kevrekidis (2006); THEORY-762 (Active: a reversible diffusion’s eigenfunctions have no Mori–Zwanzig memory in mean, and are Markov in law only under a gradient condition) and THEORY-763 (Proposed: Onsager’s negative half, flux surviving in both directions). Notes on CLAIM-164 and CLAIM-157.

  • Charvin, Catenacci Volpi & Polani (2023) registered and read: THEORY-753 (refinability as garbling, and its hull test) and THEORY-757 (refinable when Y = f(X) or both binary), Active; CLAIM-392 (demonstrated): stochastic information-bottleneck optima need not nest.

  • Buckmaster, De Lellis, Székelyhidi & Vicol (2019) registered and read (LIT-1300, NOTE-1013): THEORY-776 (Proposed), Hölder Euler solutions below 1/3 whose energy follows any strictly decreasing profile, so the flux into vanishing scales is one-way for the whole box. Ando & Fisher (1963), LIT-1294, and Turner & Sahani (2007), LIT-1287, are registered Unavailable.

  • Machta, Chachra, Transtrum & Sethna (2013) and Bousquet & Slotine (2015) registered and read: THEORY-774 (Active: a hopping model’s Fisher eigenvalues scale as t^{3/2−k}), THEORY-777 (Proposed: Ising decimation rates) and THEORY-771 (Proposed: a first-order trajectory-error bound for near-decomposable contracting systems).

  • Giri, Kwon & Novack (2023, skimmed) and Schüler & Wiskott (2025) registered and read: THEORY-772 (Proposed: Onsager’s negative half with a local energy inequality, in an L³-based class), THEORY-775 (Active: the linear optimum of variational slow feature analysis) and CLAIM-394 (demonstrated: in a reversible linear Gaussian VAR(1), slow features are exactly dynamically independent).

  • Del Vecchio & Slotine (2013) registered and read: THEORY-773 (Active: contraction bounds make the memoryless quasi-steady-state reduction accurate to O(ε) for all time, provided the reduced system contracts, a hypothesis the paper’s Theorem 3 omits).

  • Isett (2017, skimmed) and Chorin & Lu (2015) registered and read: THEORY-821 (Proposed: Hölder Euler flows below 1/15 with the local energy inequality, dissipating only during a final drain), THEORY-818 (Proposed: a NARMAX closure of Lorenz 96) and CLAIM-398 (demonstrated: a scalar linear coarse variable of a Gaussian VAR(1) is exactly ARMA, so its memory has a finite augmentation in its own history).

  • Rosas et al. (2024) registered and read: THEORY-820 (Active: informational closure, causal closure and dynamical independence coincide) and THEORY-822 (Active: closure of a Markov-chain partition is strong lumpability).

  • Lin & Lu (2019) registered and read: THEORY-819 (Active: the discrete Mori–Zwanzig identity and its Wiener-projection form) and CLAIM-397 (demonstrated: a scalar process’s Mori memory is fixed by its autocovariance, with Hankel rank one less).

Changed

Fixed

  • NOTE-988 credited the log-loss refinability result to No, Ingber & Weissman (2016); it is No & Weissman (2015), and it concerns direct log-loss, which does not bear on the information bottleneck.

  • THEORY-661 said the record does not hold Simon & Ando (1961); it is LIT-1127.

Added

  • At the owner’s request, the record’s position on the corporation as a psychopathic entity:
    • a question: is “psychopathic” a category error for a corporation, or can the construct, its affective features included, be assigned to it functionally (QUESTION-265);
    • a claim: a corporation can be an agent fit to be held responsible and the bearer of functional affect, so psychopathy’s affective features can be assigned to it; it lacks remorse, functionally, when harm to others reaches its decisions only as a threat from regulators or markets and never as its own concern (CLAIM-432);
    • its objection: a corporation’s functional remorse cannot be told from prudence, since every concern it has was installed for its own ends (CLAIM-431);
    • Wells Fargo’s sales practices, from the board’s own investigation, as a documented case (CASE-151);
    • psychopathy as one dimensional construct with no essential component, from Hare and Neumann (THEORY-892).
  • Eight works: two read in full (the Wells Fargo report; Hare and Neumann 2008), six Unavailable (Bakan, Velasquez 1983 and 2003, Hare 1996, Boddy, Collins). A curation entry.

Changed

  • At the owner’s word, CLAIM-039 (affective states as properties of organized systems, after Frijda) is Proposed again, from Deferred, and is the corporate-psychopathy claim’s premise.

Changed

  • CLAIM-052’s warrant corrected from interpretive to empirical, still Proposed. That interpretive framing operations generally do not commute is a generalization only an observation could settle, and its defeat condition is one. This carries out the promotion audit’s batch-022 decision (ADR-047).

Changed

  • CLAIM-081’s warrant corrected from demonstrated to interpretive, still Proposed. It is the last ADR-040 parent that was still marked demonstrated. Its general content is CLAIM-270’s, and what it keeps is a reading of serial reconstruction through CLAIM-056 (ADR-043). This carries out the promotion audit’s batch-029 decision (ADR-047).

Corrections from the promotion audit’s batch 021 (ADR-047), statuses unchanged. CLAIM-192 and CLAIM-271 re-ground from THEORY-127 to THEORY-725, which holds the court-agenda possibility each uses. CLAIM-030 adds THEORY-725 as its formal anchor and says List and Pettit’s aggregation can fail, not that it always does. CLAIM-126’s warrant becomes interpretive: its formal content is CLAIM-268’s.

Added

Changed

Fixed

  • The μ arrow of CASE-124 and CLAIM-400 was described as the question’s κ′ reading; it is a direct effect of the regime on scoring, and a regime that only varies κ′ enters at second order.

  • QUESTION-222’s inactive-ok annotation listed LIT-1245, LIT-1253 and LIT-1259 as Deferred; all three are Active, and it now names only LIT-1251, Unavailable.

  • TERM-067 said the governance-response profile narrows TERM-043’s causal component, as that component with the identity correspondence. The readings showed that component is zero for the hidden governance bit, where sufficiency fails; the refines link, and its converse on TERM-043, are removed, and the relation is CLAIM-399.

  • Inactive-ok annotations written earlier in this PR named works as Deferred that the readings made Active or Unavailable (CLAIM-025, CLAIM-342, CLAIM-348, QUESTION-117, LIT-751, LIT-1021); they now give the current status, or are removed where the work is Active.

Added

  • From the exchange of 2026-10-21 on experience and interpretation: the owner’s thesis that experience is constituted by interpretive organization, not produced by it (CLAIM-412, Proposed), with its objection that, under the broad nonphenomenal definition, much processing not shown to be experiential counts as interpretation, so the thesis lacks a sufficiency condition (CLAIM-411, counter); the owner’s grounding premise restated as a relation that comes apart from whether an experience occurs (CLAIM-413, resting on CLAIM-342); two questions: what makes an interpretive organization an experiential perspective (QUESTION-254, narrowing QUESTION-046) and whether a model that genuinely fails to glue can take part in one unified experience (QUESTION-255, set against CLAIM-153); twenty-two works registered unread; a note on CASE-114; a workbench entry and a curation entry.
  • From U8–U11 of the same exchange (2026-10-22): two Proposed terms, interpretation (TERM-073) and perspective in three senses, organizational, represented and phenomenal (TERM-072); a demonstrated claim that matched ordinary trajectories can conceal differences in an interpretation’s efficacy, its endogenous allocation and the maintenance of its constraints, which a specified intervention exposes (CLAIM-414, Active), with its construction CASE-126; dated notes on QUESTION-254, QUESTION-255, CLAIM-411 and CLAIM-412; a second workbench entry.
  • The twenty-two registered works sought on 2026-10-22: eighteen read in full from lawful copies, each with a NOTE, and nineteen Proposed THEORYs filed from them; He et al., Isaac, Villalobos & Cea and Putnam are Unavailable. Dated notes on the exchange’s claims, questions and terms, and on CLAIM-355, record how the readings bear; a curation entry lists the corrections they made to the exchange.

Changed

  • After a review the owner relayed on 2026-10-22: the counter-claim no longer says “any definition” or “most interpretation”; the unity question separates conflicts that glue from genuine non-gluing; the perspective question’s grounding condition is narrowed to current veridical grounding and it gains the perspectival-target problem; the perspective term keeps a represented perspective apart from a represented owner; the demonstrated claim is narrowed to its two constructions; and the constitutive thesis no longer lists rival or confounded readings as its grounds.

Added

  • LIT-1298 and NOTE-1023: Lessig’s Remix: Making Art and Commerce Thrive in the Hybrid Economy (2008), read in full from the CC BY-NC Bloomsbury Academic edition. It is the record’s first work on remix culture.

Changed

  • LIT-1121 (Convergence Culture) and LIT-1143 (Spreadable Media): Deferred → Unavailable under ADR-041, after a search for a lawful full text reached none.

Added

  • Seven works in conversation with Lessig’s Remix on property and expression, each read in full with a NOTE:
    • Andy Warhol Foundation v. Goldsmith (2023), LIT-1302;
    • the Copyright Office’s Generative AI Training report (2025), LIT-1293, flagged anthology-candidate;
    • Boyle’s The Public Domain (2008), LIT-1301;
    • Boyle’s The Line (2024), LIT-1288;
    • Perzanowski & Schultz’s The End of Ownership (2016), LIT-1297;
    • Tushnet’s “Worth a Thousand Words” (2012), LIT-1303;
    • Balganesh’s review of Drassinower (2017), LIT-1291.
  • Three more registered as Unavailable after a search reached no lawful copy: Drassinower (LIT-1285), Netanel (LIT-1286), McLeod & DiCola (LIT-1290).

Added

  • CASE-121: one melody from a 1951 gospel record to a 2005 Katrina protest song, each link a different relation (illustrates CLAIM-002 and CLAIM-210).
  • CASE-122: Warhol v. Goldsmith, one rendering judged by purpose and by meaning (illustrates CLAIM-034 and CLAIM-210).
  • CLAIM-393: a counter to CLAIM-174. Attributions of agency to artifacts track whether the mechanism is understood, so they cannot defeat its test.

Added

  • From the exchange of 2026-10-22, “Ben Franklin Effect Explained”:
    • the favour as a perspectival invitation, an interaction that makes available a way of relating its participants’ perspectives did not hold (CLAIM-430);
    • an intervention on a coupled interpretation–cooperation loop changes its state or its coupling, and only the second changes how later evidence is taken (CLAIM-429);
    • material interdependence does not fix the perspective that organizes it (CLAIM-428);
    • cases: Franklin’s borrowed book (CASE-143), two friendships across a group line (CASE-146), Kalla and Broockman’s conversations against arguments (CASE-147), Kleinman, Liu and Redding’s economic and political alignment (CASE-150);
    • a question refining QUESTION-259, on state against coupling and taking part against being told (QUESTION-262).
  • From the exchange of 2026-10-23, “Framework Overview Request”:
    • three grades of evidence for the organizational-perspective framework, of which only out-predicting the strongest alternatives under intervention bears on its defeater (CLAIM-427);
    • when the organizations of significance, authority and reproduction coincide or diverge, proposed as the manuscript’s research problem (QUESTION-264);
    • three proposed studies: the evaluator that stops tracking (CASE-144), perspective transplantation (CASE-148), perspective without collective agency (CASE-145);
    • Bigand et al.’s dance synchrony, read, as CASE-149 and a Proposed THEORY answering QUESTION-063 in part (THEORY-891);
    • QUESTION-063 split under ADR-049: its negative part, answered by THEORY-275, is the Answered child QUESTION-263.
  • Twenty-six works registered: one read, three Unavailable, twenty-two unread. Two workbench entries and a curation entry.

Changed

  • Dated notes on the proposed studies CASE-045, CASE-078, CASE-092, CASE-101, CASE-108, CASE-114 and CASE-117, and on QUESTION-063, QUESTION-089 and QUESTION-118, saying what published results already settle and what is left.
  • QUESTION-063 reworded to its open remainder, and THEORY-275’s answers moved to the child.
  • At the owner’s direction, a CASE can name where the record got it: reported_in links it to LITs, NOTEs and THEORYs, with the converse reports (ADR-051). Used on the four documented cases this filing adds; existing cases are not backfilled.
  • Two claims’ references to other claims moved from uses, which names TERMs only, to rests_on and complements.

Added

  • From the exchange of 2026-10-23/24: the owner’s reading of wanting as prediction under do(), with model-based and cue-triggered levels kept apart and wanting kept apart from will (CLAIM-447); a learned prior over which processes govern, as a mechanism for durable authority and for amortization, where persistence alone is not amortization (CLAIM-443); cycles in an organization’s wins read as nonintegrability, separated from tension and from cognitive dissonance (CLAIM-451); governance-maintained anxiety as a candidate answer to QUESTION-045 (CLAIM-446), and its form across institutions and states (CLAIM-445); two objections to CLAIM-440, on contested rankings against frustrated demands (CLAIM-449) and on coherence produced by selective contestation (CLAIM-448); three standards for a communicative distinction, connecting Amari and Watanabe to the pragmatic-transport line (CLAIM-450). Four cases: a proposed sentry study (CASE-153), a legibility filter giving CASE-124’s ν (CASE-156), a bounded-observer trade-off between tasks (CASE-154), and a singular response model (CASE-152). Also a question on accurate evaluations denied authority (QUESTION-270), a Proposed term for belief (TERM-079), works registered unread, and dated notes on fourteen entries. A workbench entry and a curation entry.

  • At the owner’s request, Soma et al., “The hive mind is a single reinforcement learning agent” (arXiv:2410.17517), filed and read in full (LIT-1484, NOTE-1132), with two Proposed THEORYs: the proved equivalence of imitation with bandit learning in expectation (THEORY-899) and its finite-population limits (THEORY-905).

  • At the owner’s direction, the replicator tools applied to the record’s governance dynamics: a construction reading authority as a replicator population, with evidence-tracking authority as Bayes’ rule and lock-in under authority-dependent scoring at an explicit threshold (CASE-155), and the claim that the replicator model is the special case of the meaning–authority–legibility model in which interpretation is the authority-weighted mixture and legibility keeps no memory (CLAIM-444).

Changed

  • The third review of PR #327, left unapplied at merge: TERM-078 no longer derives resumption from a Lyapunov function, and TERM-077’s four senses of currency are stated as an evidential pair and a representational pair, not a chain of implications.

Added

  • At the owner’s request, the record’s first multi-agent learning and learning-in-games literature: twenty-one works registered and sought, eighteen read and three Unavailable, with twenty-three Proposed THEORYs (curation entry of 2026-10-24); a question on capture-resistant evaluation of an organization’s processes (QUESTION-271); and dated notes on the replicator construction and claim, the cycles claim, the anxiety claim and the correlated-equilibrium reading of institutions.
  • At the owner’s direction, the owner’s 2014 BoostTheVote model filed as an executed study, re-run through a Python port in scratch/formal/: full-information multiplicative weights as the counterpart of the replicator construction, with the capture its author predicted and a proposed three-axis extension (CASE-157).
  • At the owner’s direction, the BoostTheVote extension run (scratch/formal/boost_the_vote_extension.py): an endogenous metric and outcome-conditional observation each suffice for lock-in, bandit feedback over voters changes little, and age-targeted renewal rescues all but full endogeneity; recorded in CASE-157, with a note on CLAIM-446.

The narrowing-loss sweep (ADR-047 v4, batch 068) files the wider claims five narrowed THEORYs had dropped as new Proposed THEORYs: E. coli regulatory memory, the data-limited horizon mechanism, optimizer-driven skill order, grokking’s critical fraction for addition, and SGD noise toward mirror subspaces.

Added

  • From the exchange of 2026-10-22, “Graph Learning Applications”: the owner’s thesis that the record’s selves are better described as organizational perspectives, narrowed to TERM-045’s senses 2, 3, 5 and 6 with the subject sense left apart (CLAIM-417); reflexive governance of a perspective, re-scoping CLAIM-284 (CLAIM-424); competition over the tests that measure competitors (CLAIM-416); story, perspective and descent as separate legacies (CLAIM-420); the owner’s thesis that timescales help decide authority in political collectives (CLAIM-423); act, procedure and maintained capacity (CLAIM-422); the imagined audience as a false unity (CLAIM-415); and the owner’s observation that the record amends its grammar when a move does not fit, the first reply to CLAIM-181 (CLAIM-419). All Proposed.
  • Three questions: what continuity self-governance needs and what can be supplied from outside (QUESTION-256); how perspectives are generated and when one governs itself, refining QUESTION-090 (QUESTION-259); and how a manuscript should be chosen from the record (QUESTION-258).
  • Eleven cases, six documented: Clive Wearing (CASE-137), the Brookhollow fire (CASE-135), Challenger to Columbia (CASE-138), United 173 and Crew Resource Management (CASE-127), party realignment (CASE-133), Gracie jiu-jitsu against luta livre (CASE-130); and the record’s own ADR-044 as a specimen (CASE-131); with four stipulated: Northstar’s commander handoff (CASE-134), the alarm that learned and the alarm that was disabled (CASE-129), the voluntary delegation (CASE-128), and one complaint under two taxonomies (CASE-132).
  • Twenty-three works registered unread, two workbench entries and a curation entry.
  • From the branch of the same exchange (B37–B39): kinds of interruption of a perspective, of activation, enactment and reproduction (CLAIM-421); a perspective is not thereby an agent, and perspectival, agential and institutional boundaries need not coincide (CLAIM-418); two questions, on interruption and reconstruction (QUESTION-257) and on when a perspective is an agent’s own (QUESTION-260, refining QUESTION-093); two documented cases, the doorway effect (CASE-136) and Chinese martial traditions through the Cultural Revolution (CASE-139); six works registered unread, a workbench entry and a curation entry.
  • From a proposal the owner relayed on 2026-10-22, “Toward a controlled vocabulary for Nucleation”: a Proposed term for organization in four senses, relational arrangement (the default), organizational maintenance, collective institution and organizational closure (TERM-074); and a Proposed usage protocol, under which a claim that calls something organized, a perspective, an agent, effective, exhausted, constituted or grounded says which sense, target or criterion it means (ADR-050).
  • A works term for the owner’s manuscript from the exchange, “The Organization of Perspective: Character, Practical Authority, and Historical Persistence Across Minds and Institutions” (organization-of-perspective), with CLAIM-417, CLAIM-424, CLAIM-420, CLAIM-423, CLAIM-422 and CLAIM-418 marked as in it; and four works terms for the 6,000-word essays it was assembled from, “The Self Without a Sovereign” (self-without-a-sovereign), “Who Gets to Say Stop?” (who-gets-to-say-stop), “The Character That Changed Parties” (character-that-changed-parties) and “Who Makes the Promise When Governments Change?” (who-makes-the-promise), each with the claims it argues. CLAIM-355 joins the first essay and the synthesis, and CLAIM-329 the third and the synthesis. Membership is not endorsement: every claim marked stays Proposed.

Changed

  • Dated notes on TERM-072 (the owner’s U31, and a perspective with many carriers, for the owner’s adoption decision), TERM-045, CLAIM-355, CLAIM-284, CLAIM-329, CLAIM-364, CASE-014 and CASE-036. None changes what the entry holds.
  • After a review relayed by the owner from the branch: TERM-045’s note no longer has Clive Wearing failing persistence; the organizational-perspectives claim and TERM-072’s note allow a perspective realized across several carriers, and no longer reduce narrative, presented and modeled selves to representations of a perspective; reflexive governance is attributed to a perspective-bearing organization; the party-realignment case and the note on CLAIM-329 no longer say the parties’ perspective did not persist; the Challenger case no longer implies one unchanged cause; the timescales and competition claims gain qualifications; two documented cases say their standing is the event’s, not the reading’s.
  • A note on TERM-072 lists what “the same perspective” can mean (realization, kind, lineage, distributed realization, representation) and keeps the relayed restatement of sense 1 as a candidate. The definition is unchanged.
  • After the owner’s final review of 2026-10-22: the agency claim no longer asserts that agency is exercised through perspectives in general, only where a perspective contributes; the interruption claim is about the dispositions, capacities and reproductive relationships that outlast a perspective’s enactment, and its defeat condition no longer turns on the doorway effect; the organization term no longer calls closure its strongest sense; ADR-050 exempts unambiguous ordinary uses.

Added

  • Readings of the 29 works registered unread from the exchange of 2026-10-22, “Graph Learning Applications” (LIT-1365 to LIT-1393): 17 read and 4 skimmed, each with a NOTE; 8 Unavailable under ADR-041. Seven Proposed THEORYs: event segmentation, the doorway effect as interference between event models, the majority illusion, Swidler’s two models of culture, path dependence in politics, the county legacy of slavery, and the Ledger of Will’s revision closure. A curation entry lists the outcomes.

Changed

Changed

  • From the owner’s v2.7–v2.9 proposals, checked against the stored results of the Perspective Population Lab’s v2.7 to v2.9 (dmarx/PerspectiveLab@c54617e: trained affect, the perspective engine and endogenous frames): new dated notes of 2026-10-26 on six entries. CLAIM-427 (v2.7 matches the information given to fitted predictors but not their complexity, its uptake predictor loses in the world built for it, and v2.9’s ridge rival is weaker, not stronger), CLAIM-278 (no added constraint, and a hand-written frame that helps or harms as its reading fits the world), CLAIM-336 (frames enter the lab, and in v2.9 the engine reduces to a one-feature selector), QUESTION-088 (habit fitted within one phenomenon, and reframing built), QUESTION-270 (predictors fitted to the same experiences, with registration and authority set by the experimenter rather than measured) and QUESTION-273 (one mechanism built, with grant and exclusion effect measured). Each is titled “(later)” where the entry already had a note of that date. The proposed notes on CLAIM-437, CLAIM-286, CLAIM-453, CASE-160 and QUESTION-031 were not applied. No title, status or warrant changed. A workbench entry records what was kept, corrected and declined.

The titles of CLAIM-033, CLAIM-087 and CLAIM-105 are restated as claims of prevalence, to match the defeat conditions they were given on 2026-10-10 after CLAIM-238 (promotion audit, batch 034). Each title still said “can”, which one instance settles and no rate defeats. Defeat conditions, statuses and warrants are unchanged.

Added

  • From an owner-supplied package of proposed updates (“Priority A”), checked against the stored results of the Perspective Population Lab, now held as dmarx/PerspectiveLab (v1.0 at @41e56df, v1.1–v1.8 at @7e2edc2, v1.9–v2.2 at @9f82bfd): four Proposed cases. Capture and selectively admitted evidence in a four-variable model and a 32-member population, with the router still ahead in CASE-158’s design run with equal audit delay and cost (CASE-162); a 192-state organization on which informational closure, strong lumpability and intervention deficiency give different verdicts on one kernel, with Γ = 0.55·H₂(1/3) ≈ 0.5051 bits and finite-sample estimates that misread it (CASE-164); reciprocally produced, externally reset and feedback-only governing rules separated by loss, repair and producer interventions with ordinary trajectories identical (CASE-161); and identification of the maintaining mechanism and its parameters from diagnostic probes within a known catalog (CASE-163). A workbench entry records what was kept, corrected and declined.

Changed

  • Dated notes of 2026-10-26 from the same package on fifteen entries: CLAIM-278 (the router result reproduced, and run on equal terms), CLAIM-297 (two running realizations, without retrieval), CLAIM-336 (the lab held, and its later versions), CLAIM-401 (one kernel, several verdicts), CLAIM-407 (a second exact witness), CLAIM-414 (the maintenance separation in a population), CLAIM-427 (where the lab stands on the grades), QUESTION-031 (a nonlinear case, with a known catalog), QUESTION-086 (interventions named, for arrangements the modeller assigns), QUESTION-088 (the lab is not yet the comparison), QUESTION-100 (a nonlinear fold, and capture in a population), QUESTION-117 (phenomena shown, no comparison made), QUESTION-222 (history against state, in finite chains), QUESTION-252 (pairwise separations on one kernel) and QUESTION-271 (two failures run, in weakened form). The package’s note on CLAIM-443 was not applied. No title, status or warrant changed.

Fixed

  • QUESTION-031’s history item for its split was dated 2026-10-21; the split was made on 2026-10-25, as its note says.
  • From the owner’s v2.3 amendment, the same day: the notes on CLAIM-427, CLAIM-278 and QUESTION-117 extended with the lab’s v2.3 matched comparator (dmarx/PerspectiveLab@e9efcf4). With equal source data and fitted-parameter counts, a same-basis state-space model ties the structural model exactly, and a generic 20-coefficient polynomial transports better on most withheld production laws. The structural basis is still unpriced, and no status changes.
  • From the owner’s v2.5 amendment, the same day: the notes on CLAIM-427, QUESTION-031 and QUESTION-086 extended with the lab’s v2.4 and v2.5 (dmarx/PerspectiveLab@f392084). Adaptive probes change the organization they diagnose; an adequacy alarm catches one out-of-catalog law and its fallback hurts under another; and a same-kernel conventional controller takes every action the guard takes. No status changes.
  • From the owner’s v2.6 amendment, the same day: dated notes on QUESTION-270 and CLAIM-437, and the notes on CLAIM-427 and QUESTION-088 extended, with the lab’s v2.6 affective dissociation (dmarx/PerspectiveLab@74621fb). Five stipulated causes of pursuit after devaluation share one pursuit probability and are separated by interventions; a registered evaluation denied authority is told apart from one never registered by intervention, not by passive history; a same-kernel conventional predictor ties; and an unmodelled hybrid is assigned to a catalog class in every test world. No status changes.

THEORY-026, THEORY-177 and THEORY-294 are narrowed and promoted under ADR-047 v2 on derivations written out in their dated notes: THEORY-026’s nostalgia bound under its two conditions, with the rest moved to QUESTION-191; THEORY-177’s correspondence between canonical models and couplings, held to the sum of per-content minima; and THEORY-294’s proportional kernels, held to one-dimensional zero-bias data, with the wider case moved to QUESTION-192 (promotion audit, batch 045).

THEORY-166, THEORY-172 and THEORY-175 are narrowed and promoted under ADR-047 (promotion audit, batch 048): THEORY-166 to the 66 Pew surveys, with the QQ equality and a classical model that meets it worked in a dated note and a preregistered test moved to QUESTION-210; THEORY-172 to what Frank and Goodman’s and Bergen, Goodman and Levy’s games measured, with a test against named rivals moved to QUESTION-209; THEORY-175 to its anchor-cosine invariance, re-derived, and Moschella et al.’s experiments, with a direct measurement of the maps between trained spaces moved to QUESTION-211.

Added

  • QUESTION-159: whether an exact train-then-predict identity holds for further sequence-layer classes, or is bounded by some standard attention layer. It holds THEORY-169’s former scope test, unchanged.
  • QUESTION-158: whether gradient descent, without a spectral initialization, reaches the hierarchical multi-index thresholds, and whether they survive a second input law. It holds THEORY-283’s former promote_when, unchanged, and refines QUESTION-039.

Changed

  • THEORY-169, Active after narrowing: for unnormalized causal linear attention and for softmax attention, conditioning on a context is a learner’s train-then-predict step. The three identities are re-derived.
  • THEORY-283, Active after narrowing: the sample-size thresholds and rates are stated for the Bayes-optimal and spectral estimators and for a network with a spectral first layer, not for gradient descent. These changes carry out the promotion audit’s batch-024 decisions (ADR-047).

Added

  • QUESTION-162: whether hyperbolic networks’ advantage on tree-like data goes with the Möbius bias translations and the distance-based output layer. It holds THEORY-566’s former promote_when, unchanged, and refines QUESTION-025.
  • QUESTION-163: whether Blackwell-equivalent representations of trained networks stitch differently by a measurable margin under the paper’s protocol. It holds THEORY-176’s former promote_when, unchanged.

Changed

  • THEORY-566, Active: in Ganea et al.’s hyperbolic networks, curvature acts only through the bias translations and the distance-based output layer. The composition argument is written out, with the sense of “conjugated”.
  • THEORY-176, Active: the stitching penalty is not Blackwell’s order. A constructed example now shows that Blackwell-equivalent representations can stitch differently, inside the paper’s own map class. These changes carry out the promotion audit’s batch-027 decisions (ADR-047).

THEORY-178 is narrowed to the Boolean model ensemble on the E. coli regulatory core and promoted under ADR-047 v3, with its positive-circuit condition stated for that network and its cell experiment moved to QUESTION-172. THEORY-306 is narrowed to MSN’s and SwAV’s explicit cluster-size prior and one study’s imbalanced-batch measurement and promoted under ADR-047 v3, with its derivation and long-tail conditions moved to QUESTION-171 (promotion audit, batch 033).

THEORY-181 is narrowed to the zero-loss model with an injective decoder, whose theorem is re-derived, and to the one size Liu et al. measured, non-modular addition with p = 10, and promoted under ADR-047 v2 and v3, with the test across sizes moved to QUESTION-199. THEORY-237 is promoted with every member’s optimum derived, InfoNCE’s included, and its title now says each bound attains its supremum, rather than is tight, at the log density ratio up to its free term (promotion audit, batch 043).

Promotion audit, batch 037 (ADR-047 v2). THEORY-185 is narrowed and promoted: Korchinski et al.’s conditional theorem on independent multiplicative attributes is re-derived, its PMI clauses stand, and its raw-ratio clause is held to the full, balanced hypercube with the exact condition on the strengths. THEORY-161 is narrowed and promoted: its two identities are re-derived, and its reading of the field is held to the two frameworks read in full. The premise measurement and the field-wide reading move to QUESTION-178 and QUESTION-177.

Added

  • QUESTION-166: whether the depth law of deep linear networks holds from starts off the decoupled set, such as random orthogonal weights. It holds THEORY-187’s former promote_when, unchanged, and refines QUESTION-039.
  • QUESTION-165: whether the number of examples a deep network needs on the Random Hierarchy Model is set by the detectability of patch–label correlations or by the grammar’s size. It holds THEORY-195’s former promote_when, unchanged.
  • QUESTION-164: whether the law of balance holds in a deep network trained on real data. It holds THEORY-211’s former promote_when, unchanged, and refines QUESTION-069.

Changed

  • THEORY-187, Active after narrowing: the depth law of deep linear networks is stated for whitened inputs and decoupled, balanced starts, with iterations counted at the stable step size. The finite-depth plateau exponent and the iteration count are re-derived.
  • THEORY-195, Active after narrowing under ADR-047 v3: what the Random Hierarchy Model experiments measured, in the range they cover. The attribution of the sample size to correlation detection moves to a QUESTION.
  • THEORY-211, Active after narrowing: the law of balance in the SDE model of SGD, whenever both groups carry noise, re-derived by Itô’s lemma. These changes carry out the promotion audit’s batch-027 decisions (ADR-047).

THEORY-189 is promoted under ADR-047 v2 with a proof of the source’s unproved Theorem 4, that the closed-form hyperbolic entailment cones are transitive in every dimension, and its bound on K is corrected to ε/(1 − ε²). THEORY-305 is promoted with Tan et al.’s identity re-derived and a finite-graph counterexample showing InfoNCE’s minimizer outside every bottom-eigenvector span. THEORY-313 is narrowed to say the kernel bound is tight for every pair only for an orthonormal embedding, and to the kernel family its O(σ²) gap is proved for, and promoted, with the wider rate moved to QUESTION-198 (promotion audit, batch 043).

Added

  • QUESTION-153, Open: whether the hyperbolic Betti-curve matches in odour space and in CA1 separate a hyperbolic metric from a flat sphere or a flat multiscale code, and whether they replicate. It holds THEORY-191’s and THEORY-192’s former promote_when clauses, unchanged.

Changed

  • THEORY-191, Active: in four natural odour sources, concentration correlations have the Betti-curve signature of a 3D hyperbolic shell and not of any uniform Euclidean cube tried, and 127 odorants’ descriptor profiles that of a full 3D hyperbolic ball (LIT-872). The title is narrowed to the data measured.
  • THEORY-192, Active: in twelve rat CA1 sessions from three data sets, correlations have the Betti-curve signature of a uniform 3D hyperbolic ball, and the fitted radius rose with log exploration time (LIT-876). The title is narrowed to the data measured.
  • Both carry out the promotion audit’s batch-018 decisions under the owner’s single-study rule (ADR-047 v3).

Added

  • QUESTION-154: whether a coarse-graining short of full capture keeps longer-range couplings bounded by the information lost, in two or more dimensions. It holds THEORY-198’s former promote_when, unchanged, and refines QUESTION-065.
  • QUESTION-155: whether a lossy-compression generalisation bound gives a non-trivial value for an algorithm with infinite I(S;W). It holds THEORY-248’s former promote_when, unchanged.

Changed

  • THEORY-315, Active: for a state whose four-state reflection orbit is realizable, preparation noncontextuality bounds |⟨X⟩| + |⟨Z⟩| ≤ 1. An independent derivation, which needs no outcome determinism, meets its promote_when.
  • THEORY-198, Active after narrowing: full capture makes the coarse measure factorize across the block in 1D, and in D dimensions under the per-block capture hypothesis, now stated in the title with the no-cancellation exclusion. The Lemma is re-derived.
  • THEORY-248, Active after narrowing: the Lipschitz rate-distortion bound is finite wherever the output law’s rate-distortion function is finite at distortion ε/(2L). Theorem 4 and Corollary 6 are re-derived. These changes carry out the promotion audit’s batch-019 decisions (ADR-047).

THEORY-204 (the data-limited scaling exponent γ/(2β)) and THEORY-243 (basis-related alignments tying under interchange interventions) are narrowed and promoted. THEORY-204 now states the measured match on two corpora and the re-derived conditional exponent min(δ, γ/(2β)); THEORY-243 states what the constructed three-unit network proves. Each one’s wider test moves to a new QUESTION.

THEORY-205 is re-derived exactly and promoted under ADR-047 v2, narrowed to the point where the uninformative information-bottleneck encoder first loses stability, since on a skewed 3-state chain the uninformative encoder stops being optimal earlier; when the two coincide is QUESTION-185. THEORY-275 is narrowed to the one hydrodynamically coupled bead system it was measured in, and THEORY-365 to what the HNSW paper’s text reports, and both are promoted under ADR-047 v3, with their promote_when conditions moved to QUESTION-186 and QUESTION-187 (promotion audit, batch 039).

Promotion audit, batch 037 (ADR-047 v2). THEORY-228 is narrowed and promoted: HaoChen et al.’s guarantee for the spectral contrastive loss is re-derived step by step on a finite augmentation space, and the title says so and states the bound up to constant and logarithmic factors. THEORY-319 is narrowed and promoted: Tosh et al.’s redundancy lemma and landmark bound are re-derived for a general joint law of two views, and the title states mean squared error and the exact, square-integrable ratio. Their promote_whens’ wider clauses move to QUESTION-183 and QUESTION-182.

Promotion audit, batch 038 (ADR-047 v2 and v3). Three learning-theory accounts are narrowed and promoted. THEORY-238: the constant in Theorem 4 of LIT-245 is re-derived and stands, because the proof applies Lemma 3 at λ/2; the lossy-finiteness clause now says “can stay finite”. THEORY-266: Theorem 7 of LIT-233 is re-checked, and its title now names the theorem’s hypotheses and its 4Lε term. THEORY-278: the measured half is narrowed to LIT-974’s fifteen cells, and the renormalized dynamics are re-derived. Their promote_when requests, which ask whether the bounds or the dynamics account for trained networks, move to QUESTION-179, QUESTION-180 and QUESTION-181.

THEORY-244, THEORY-259 and THEORY-271 are promoted under ADR-047 v2 on derivations the record wrote out (promotion audit, batch 050). THEORY-244 is narrowed to the entropy and mutual-information bridges, re-derived from domination and the coding theorem; its distortion-rate bridge, which rests on an asserted step, moves to QUESTION-208. THEORY-259 is restated as an identity: under the universal prior, the Bayesian and ideal-MDL two-part lengths differ by the data’s randomness deficiency for the hypothesis, up to a constant fixed by the likelihood family, so the paper’s slack is an upper bound and not the gap. THEORY-271’s toy-corpus theorem is proved for every labelling and for any number of aspects.

Promotion audit, batch 063 (ADR-047 v2 and v3). THEORY-246 is narrowed to what Kornblith et al. measured among ImageNet-trained ResNet-50s and promoted; its general claim that tighter class clusters buy training accuracy at the cost of new tasks leaves the title. THEORY-334 is narrowed to what Ballard et al. observed in block copying and promoted; the inference that holding information costs more than re-fetching it, which THEORY-346 contests, stays in the body. The Random Hierarchy Model’s derived statistics are split from THEORY-201 as THEORY-778, re-derived to leading order and checked by exact computation; THEORY-201 keeps the learning curves and the argued link and stays Proposed. The generality, mechanism and powered-replication requests move to QUESTION-236 and QUESTION-235.

THEORY-253 and THEORY-382 are promoted under ADR-047 v3 on single studies read in full: THEORY-253 narrowed to the Geometry model’s measured split between gradient and sign descent, which the record reproduced, with a derivation and a trained-network test moved to QUESTION-193; THEORY-382 with its freshness-tracking clause held to the authors’ reading of their curves, and its distance from the best plan moved to QUESTION-194 (promotion audit, batch 045).

Promotion audit, batch 036 (ADR-047 v2 and v3). THEORY-263 is promoted: its PAC-Bayes clause is re-derived in any measurable space by the disintegrated change of measure, and the request for a covering-argument source moves to QUESTION-174. THEORY-293 is narrowed and promoted: Theorem 4.3 is re-derived by exchange, the facts are learned in full only once capacity exceeds the threshold by their total entropy, the Pythia runs are said to show a threshold, not the same one, and the link test moves to QUESTION-176. THEORY-229 is narrowed and promoted to small aligned initialization of common scale, with Propositions 4.1, 4.3 and 5.1 re-derived; generic initialization moves to QUESTION-175.

THEORY-267 and THEORY-261 are promoted (promotion audit, batch 050). THEORY-267 is narrowed under ADR-047 v3 to what Rasooly and Rozzi’s randomised experiment on Manifold measured, about 59% of a random price shock still present after 60 days, with their model’s mechanism reported as theirs; replication elsewhere and whether traders came to believe the shocked price move to QUESTION-212. THEORY-261’s sparse-distributed-memory capacity analysis is confirmed by the record’s own simulation of the basic design at up to 200,000 hard locations, which the former promote_when named as sufficient; the title now says exact cues and capacity rising toward a tenth of the locations.

Promotion audit, batch 042 (ADR-047 v2). THEORY-280 is narrowed and promoted: Theorem 1 of Calo et al. was re-checked against the arXiv text, the rate holds with constant-level slips, the title now names the occupancy-sampling model, observed finite states, the known bounded cost and the probability 1 − δ, and the ε⁻² lower-bound request moves to QUESTION-190; NOTE-763’s dual radii are corrected. THEORY-289 is narrowed and promoted to least squares on reused isotropic Gaussian covariates, with Theorems 1 and 2 re-derived; the extension request moves to QUESTION-189. THEORY-387 is narrowed and promoted to positive recursive Datalog under set semantics, with Theorem 7.1 re-derived for that case; stratified negation, aggregation and the overestimate’s size move to QUESTION-188.

Promotion audit, batch 051 (ADR-047 v2). THEORY-281 is narrowed to X of finite support and promoted: the erasure cap, the necessity of the permutation condition for deterministic maps, its sufficiency under disjoint groups and the stochastic attainment condition are re-derived. THEORY-284 is promoted with its title unchanged: Theorem 1 is re-derived in both directions, with the shortest-path step for the intrinsic length metric. THEORY-282 is promoted with its title unchanged: the construction behind its possibility claim is re-derived, and its promote_when about the measured GPT-2 cases moves to QUESTION-200.

Promotion audit, batch 025 (ADR-047 v2). THEORY-308 is narrowed and promoted: its approximation lemma is closed by a two-sided truncation, its estimation lemma restated as almost-sure convergence, and its sample-complexity clause re-derived with its assumptions named. THEORY-314 is promoted over the completed RKHS, with sufficient conditions for a minimizer to exist. THEORY-320 is split: the exact residual identity is a new Active THEORY-737, and THEORY-320 keeps its toy clauses, Proposed, with a note recording a reconstruction that reproduces Theorem 5.2 but not Theorem 5.3 or Lemma 5.4.

Promotion audit, batch 053 (ADR-047 v2). THEORY-332 is promoted with a corrected title: Bruno and Chaudhuri’s single-index tuner is not three-competitive for any bound on step size, since a constructed workload with steps at most fB approaches 3 + 2f times the optimum; the upper-bound question moves to QUESTION-224. THEORY-362 is promoted: counting-based maintenance of nonrecursive views with stratified negation and aggregation is re-derived from the delta rules’ telescoping identity and checked against full recomputation. THEORY-367 is narrowed to SPJU queries and promoted: minimal witnesses are proved invariant across equivalent queries, and where-provenance is shown not to be; the rewrite-system clauses move to QUESTION-225.

Promotion audit, batch 054. THEORY-377 is narrowed to Olston, Loo and Widom’s simulations and promoted (ADR-047 v3); its convergence and other-data request moves to QUESTION-227. THEORY-380 is promoted with Theorems 5.6, 6.4 and 6.5 of Green, Karvounarakis and Tannen proved (ADR-047 v2); its infinite-coefficient clause, false as the paper states it, is corrected to a unit-rule cycle on any tuple in a derivation tree. THEORY-419 is narrowed to the do-operator as Pearl defines it in the pages read and promoted with its two consequences derived; the book-wide reading moves to QUESTION-226.

Promotion audit, batch 025 (ADR-047 v3). THEORY-391 is narrowed and promoted to what Donoho and Tanner measured, with the Gaussian transition attributed to the authors’ earlier face-counting theorems and the N^(−1/2) exponent marked as fitted on the same data; its promote_when moves to QUESTION-168, refining QUESTION-120. THEORY-472 is narrowed and promoted: the size principle derived from an informative speaker under a point-mass intent and uniform literal meanings, and the two studies’ results as measured; its promote_when, a discriminating experiment, moves to QUESTION-167.

Promotion audit, batch 026 (ADR-047 v2). THEORY-478 is narrowed to the equivalence its proof gives under two Hellinger bounds, with the admissible range α < θ/β, and promoted, re-derived in a dated note; its condition on tree heat kernels and sampled data moves to QUESTION-160. THEORY-231 is promoted, with the Leibnizianity-to-noncontextuality chain and the prepare-measure realizability claim re-derived. THEORY-614 stays Proposed: its promote_when, which asked about trained networks the title disclaims, moves to QUESTION-161, and it now asks for the one unchecked step of Theorem 1.

Promotion audit, batch 055 (ADR-047 v2 and v3). THEORY-580 is promoted with its title unchanged, after the proofs of Theorem 2.25 and Proposition 2.29 were read and checked against the definitions they take from “The Topology of Causality”; NOTE-624 records the check. THEORY-548 is narrowed and promoted: the critical-delay formula and transversal crossing are re-derived, and a re-run at the paper’s setting shows community variability falling with diversity exactly as an averaging null does. THEORY-527 is narrowed to Kenton et al.’s recovery theorem on their definition of agents, re-derived; the verdicts argued from the definition leave the title. Their wider requests move to QUESTION-229 and QUESTION-228.

Promotion audit, batch 060 (ADR-047 v2). THEORY-751 is promoted with its title unchanged. The two steps it lacked are now re-derived: achievability by superposition coding, and a closed-form degrading channel between the Hamming rate–distortion optima of every finite source. THEORY-744 is narrowed and promoted. The source’s kernel expansion is re-derived for a compact manifold without boundary, and the title now says “without boundary” and that the limit is minus the diffusion’s generator. The boundary rate and the semigroup limit move to QUESTION-231.

Narrowed and promoted THEORY-127 (batch 023 of the promotion audit, ADR-047 v2): the record re-derives List and Pettit’s Proposition 3 for the court agenda by the decisive-coalition argument, with Proposition 2 as a corollary; the title now names the court agenda and the two connectedness conditions the proof uses, since issue-wise parity on affine agendas refutes the unconditioned form. The extension to corporate attitudes moves to QUESTION-152.

THEORY-190 is narrowed and promoted under ADR-047 v2 (promotion audit, batch 048): the S¹ model’s closure under geometric coarse-graining is proved at large separation with its error bounded, and shown in a worked example to fail between nearby supernodes, and the source’s degree flow, which rests on closure at every separation, moves to QUESTION-203.

Promotion audit, batch 038 (ADR-047 v2). THEORY-197 is promoted. Its promote_when asked for a second derivation stating Mehta and Schwab’s correspondence with the same scope, and LIT-887 and LIT-891, which the record already held, state it. The identity, the exactness condition and the free-energy point are re-derived, with one refinement: a perfect fit gives an exact step only up to a constant shift of the RBM energy.

THEORY-216 is narrowed to what Wu and Silva measured on the 2017 r/place log (low early predictability from four coalition-state features, recovered coalitions growing larger, and persistence under attack in existence form) and promoted under ADR-047 v3, with its population and interaction-feature condition moved to QUESTION-169. CLAIM-273’s citation of the dropped universal clause is restated (promotion audit, batch 031).

Added

  • THEORY-735, Active: under a local quadratic model with the greedy optimal step, per-step progress is ΔL_max/(1 + B_noise/B), and the steps–examples hyperbola (S/S_min − 1)(E/E_min − 1) = 1 holds exactly (LIT-348, re-derived). Split from THEORY-033.
  • QUESTION-156, Open: which published concept-combination models reproduce overextension by dropping conjunction-as-meet, and which by dropping a monotone membership weight.

Changed

  • THEORY-255, Active: in any lattice with an order-preserving membership weight, whatever its negation, conjunction as meet cannot overextend. So a model of the guppy-type deviations must drop the meet or monotonicity. The generalisation of Aerts’s Theorem 9 is checked in a dated note, and the title no longer says an emergent concept is needed.
  • THEORY-033 stays Proposed, extends the new entry, and is corrected. The noise scale tracks the critical batch within about 10× on six of eight tasks and about 20× on two, not “within an order of magnitude”.
  • These changes carry out the promotion audit’s batch-018 decisions (ADR-047).

Added

  • QUESTION-157: whether factored-process results replicate on other generator families or objectives, and what loss gap the factored representation pays when noise makes it lossy. It holds THEORY-256’s former promote_when, unchanged, and refines QUESTION-060.

Changed

  • THEORY-256, Active after narrowing: the lossless per-factor embedding of a tensor-product generator’s predictive state, re-derived, together with what LIT-986 measured. That is 4-layer GPT-2-style transformers on five Mess3 and Bloch Walk factors, settling near the factored dimension in linearly independent subspaces that are approximately orthogonal in their leading components, and reaching it first under the token noise tested. It is promoted on one study read in full under ADR-047 v3, carrying out the promotion audit’s batch-019 decision.

Promotion audit, batch 051 (ADR-047 v3). THEORY-272 is narrowed to Hopfield’s 1982 simulations at N = 30 and 100 and promoted. The energy argument and the crosstalk estimate are checked, the fusion and overload clauses are held to the measured cases, and the forgetting clause, reported only in words, is dropped. The large-N request moves to QUESTION-201.

THEORY-290 is narrowed to the two-debater, three-proposition model of deductive debate it was computed in and promoted under ADR-047 v3, with its group and richer-strategy conditions moved to QUESTION-173 (promotion audit, batch 041).

THEORY-295 is narrowed to a consensus that a single test can replace and promoted under ADR-047 v3, with its replication-and-memory condition moved to QUESTION-151. THEORY-546’s title is corrected: fission needs a non-branching clause or multiple occupancy, and quasi-memory answers circularity; it stays Proposed (promotion audit, batch 020).

Promotion audit, batch 036 (ADR-047 v2). THEORY-321 is narrowed and promoted: Golub and Jackson’s characterization of wisdom under DeGroot averaging is re-derived for a strongly connected society, the title now says so, and the former promote_when, a case outside the model, moves to QUESTION-184 together with a check of the case with several closed groups.

Promotion audit, batch 032 (ADR-047 v2). THEORY-324 is narrowed and promoted: Ashby’s necessity and sufficiency deductions for ultrastability are re-derived step by step, the second feedback must change the parameters whenever, and for as long as, an essential variable is outside its limits, and the unknown environment is stated as one whose effect on the essential variables the system does not know. Its promote_when’s wider form, any system that comes to keep its essential variables within limits, moves to QUESTION-170.

Promotion audit, batch 053 (ADR-047 v3). THEORY-368 is narrowed and promoted on Indyk and Xu’s single study, rechecked against the arXiv text: the “until about 10% of the points” clause is held to fast-preprocessing DiskANN, HNSW and NSG, and the ten-index comparison to Table 1’s recall@5 at queue length 0.1n. The replication request moves to QUESTION-230.

Promotion audit, batch 063 (ADR-047 v3). THEORY-385 is narrowed to HNSW and promoted after an independent re-run of Malkov and Yashunin’s clustered test: on 30,000 points in 100 isolated clusters, linking each item to its nearest neighbours left part of the bottom layer unreachable and capped recall@10 at 0.72–0.83, at matched build cost and at lower and higher degree, while the pruning rule reached 0.999 with half the links; on uniform data the two rules were within about 0.02. Candidate extension, which the paper recommends for clustered data, did not help in the re-run and leaves the title.

Added

  • ADR-049: a QUESTION is Answered when Active CLAIMs or THEORYs answer it as posed and in full scope. An Active THEORY counts, so a CLAIM is not filed only to restate a reading. A partly answered question is split: the answered part becomes a child QUESTION that refines the parent and is marked Answered, and the parent is reworded to what is left and stays Open.

Changed

  • The Answered status blurb in luria.yaml now says “an Active CLAIM or THEORY” and cites ADR-049.

Fixed

Chalmers and McQueen’s consciousness-collapse paper is filed and read in part, to check how LIT-164 represents it for THEORY-485 (promotion audit, batch 059); NOTE-112 and NOTE-615 get dated notes, the latter recording what Propp’s appendices show about the sample behind THEORY-167’s order claim.

Changed

  • At the owner’s direction, reported_in backfilled on existing CASEs under ADR-051. Of the 146 cases reviewed, 18 gained the field, naming the LITs, NOTEs and THEORYs they were taken from; with the four filed under ADR-051 itself, 22 cases now carry it. The converse reports was written on 50 LITs, NOTEs and THEORYs. About 26 documented cases stay without it, because the work they were taken from is not registered here, and a work named only in passing, or supplying no fact the case states, is not counted as its report.

Added

  • From the continuation of the exchange of 2026-10-23/24 (U28–U47, 2026-10-24/25): the owner’s hypothesis that a population of perspectives advocating one of two interpretations decides by drift diffusion, stated with its conditions and demonstrated in two constructions, corroborating CLAIM-262 (CLAIM-453); the reduction behind it, in which the influence-weighted support of interacting accumulators on a row-stochastic network is exactly an Ornstein–Uhlenbeck process and a drift-diffusion process when coupling balances leak, with the nonlinear transition corrected to κ_c = λ/E[sech² ε] (CASE-160); the Fisher metric of an organization’s responses as the pullback of the metric on authority shares, never larger and zero between processes that respond alike (CASE-159); a proposed study of audited governance against a contextual router after a reversal of expertise, with the exchange’s results recorded as reported and not reproduced (CASE-158); and a question on the owner’s three mechanisms of influence and how far nominal influence predicts counterfactual influence (QUESTION-273). Seven works registered unread: Bartók et al. on partial monitoring (LIT-1528), Chaloner and Verdinelli on Bayesian experimental design (LIT-1525), Kwon and Perchet on approachability under partial monitoring (LIT-1526), Wald’s sequential tests (LIT-1523), DeGroot’s consensus (LIT-1527), MultiDiffusion (LIT-1522) and Multi-LoRA Composition (LIT-1529). A workbench entry and a curation entry.

  • The same day, five of the seven works read and made Active, each with a NOTE and two THEORYs: Bartók et al. (NOTE-1164; the observability lemma, THEORY-962, and the four-class classification, THEORY-964), Kwon and Perchet (NOTE-1159; the rates, THEORY-947, and the exploration floor that decision-dependent signals need, THEORY-957), Chaloner and Verdinelli (NOTE-1161; linear Bayesian design, THEORY-956, and nonlinear design as prior-averaged local design, THEORY-954), MultiDiffusion (NOTE-1158; the fusion step as a per-pixel weighted mean, THEORY-958, and its reported results, THEORY-948) and Multi-LoRA Composition (NOTE-1160; its reported results, THEORY-955, and the switching ablation, THEORY-949). The readings corrected MultiDiffusion’s Eq. 4 (as printed it weights by W², and Eq. 5 is exact only for 0/1 weights), Multi-LoRA Composition’s §5.1.1 (it gives LoRA Switch’s 6.56 and 5.08 to LoRA Composite) and named a confound in its comparison (the merge baseline is not rescaled, so its scale grows with the number of LoRAs). Wald and DeGroot were sought and found Unavailable, and were then read from copies the owner supplied (below). Left for the owner: Lattimore and Szepesvári 2019 (arXiv:1805.09247), the corrected adversarial classification, is not registered; a child QUESTION of QUESTION-031 and a CLAIM on identifying mixture shares, both proposed by the readings, were not filed.

  • At the owner’s direction, 2026-10-25: CLAIM-452 (demonstrated, Active), that the authority shares of a mixture of known response profiles are identifiable from a set of probe contexts exactly when the profiles over them are affinely independent; and QUESTION-272, split from QUESTION-031 under ADR-049 and Answered by it and by THEORY-962. QUESTION-031 is reworded to the nonlinear remainder and stays Open.

  • Drafted at the owner’s request of 2026-10-25, and accepted the same day (below): ADR-053, a LIT status Unfetched (“Copy found, not fetched”) for works whose lawful free copy was located and this client could not fetch, with the copy’s address required in the note, so that the generated status page is the owner’s queue. A triage of the 140 Unavailable notes that record an access obstacle found 43 such works; 37 would move on acceptance.

  • At the owner’s request, 2026-10-25: Lattimore and Szepesvári 2019, the corrected classification of adversarial partial monitoring, registered and read (LIT-1524, NOTE-1162): the four classes for every finite game, with the trivial class as no pair of neighbouring actions (THEORY-963, Active); how degenerate and duplicate actions enter, with the corrected kernel step of the T^2/3 lower bound (THEORY-961, Active); and RelExp3’s bound for point-locally observable games (THEORY-950, Proposed). THEORY-964’s promote_when is met, but two of its clauses are mis-stated, so the reading proposes it be Superseded by THEORY-963; that is left for the owner.

  • The owner supplied Wald (1945) and DeGroot (1974), which had been sought and not reached. Both were read in full from the copies (NOTE-1165, NOTE-1157) and are Active (LIT-1523, LIT-1527), with three THEORYs filed Active: Wald’s boundaries and error inequalities (THEORY-952), the SPRT’s OC, ASN and optimality up to the overshoot, with its overshoot-free formulas exactly those of Brownian motion (THEORY-951), and DeGroot’s consensus conditions and weights (THEORY-960).

  • Accepted by the owner, 2026-10-25: ADR-053, and with it the LIT status Unfetched (“Copy found, not fetched”) in luria.yaml, with Unavailable narrowed to works with no lawful copy found or only a paywalled one. 34 of the 37 LITs it names moved, each with a history item and the copy’s address in its note; three stay Unavailable on its own lines (an unconfirmed uploader, no exact address, a host down for a second fetcher too). ADR-041 gets a dated note, and the LIT template names the new status.

  • At the owner’s decision, 2026-10-25: THEORY-964 (Bartók et al.’s classification) Superseded by THEORY-963 rather than promoted, under ADR-047.

  • At the owner’s request, 2026-10-25: Isaac (2025), “Phenomenal structure: What is it and what is it for?” (LIT-1361), which had stayed Unavailable under ADR-053, read in full from the publisher’s open-access copy and made Active, with NOTE-1163 and two THEORYs filed Proposed: constancies as invariants of transformations within experience, and after Cassirer as what separates subject from object (THEORY-959), and convergence of quality-space models from different behavioural procedures as the evidence that they target experience (THEORY-953). The finding: a programmatic structuralism that, unlike Lyre’s, says geometry is not enough and adds constancy and valence/affordance layers, but the author calls those layers “mere suggestive sketches”, and its subject–object claim has no criterion that would separate it from mere invariant extraction.

Changed

  • Dated notes of 2026-10-25 from the same turns on twenty-five entries: CLAIM-357 (approachability and what averaging costs), CLAIM-400 (when the slow regime can be reduced), CLAIM-444 (the geometry in which evidence arrives), QUESTION-031 (choosing probes), CLAIM-450 (information design is not efficacy), CASE-153 (proposed again, and partly run), QUESTION-270 (four rivals for failed uptake), CLAIM-446 (the approach–avoid game as partial monitoring), CASE-156 (the reported run, checked: the app’s carried rule reproduces A22’s numbers), CASE-155 (two processes as a drift-diffusion decider, and the conformity arm), CASE-074 (the crowd as a network of accumulators), CLAIM-262 (the owner’s hypothesis, restated for a simulation), THEORY-321 (influence concentration in diffusion form), QUESTION-117 (endogenous influence and repeated messages), QUESTION-252 (predictive closure proposed for a population), TERM-067 (the matched-populations test), CLAIM-279 (learned operators), QUESTION-271 (asked again, and an arm per failure), TERM-066 (built in by design), CLAIM-336 (a running instance, and a typed workspace), CLAIM-277 (the entrenchment loop, named and not run), CLAIM-123 (masked composition of perspectives’ predictions), CASE-144 (run without citation, with a router added), CLAIM-278 (evidence reported for the objection) and CASE-157 (an independent convergence).
  • After the readings of 2026-10-25: the notes of the same day on CLAIM-446 (the avoid-only phrase made exact, two variants with suppressed feedback and a dominated check, the floor sufficient but not required; THEORY-962 added to grounds), CLAIM-357 (the target and distance Kwon and Perchet use), QUESTION-031 (the criteria named, and one decision family answered), CLAIM-123 (A45’s step as MultiDiffusion’s, and an average is not a sum) and CLAIM-336 (A45’s distinction mapped onto the two papers) extended; dated notes on THEORY-405 (compositions that average) and THEORY-611 (guided fields combined convexly); CASE-159 (a worked D-optimal probe design), CASE-158 (prior art for the fixed arm), QUESTION-273 (the third mechanism’s published forms) and CASE-160 (aperiodicity in discrete time) amended.
  • After the reading of Lattimore and Szepesvári: LIT-1528, NOTE-1164, THEORY-962, THEORY-964, QUESTION-272 and CLAIM-446 (the easy case is k ≤ Hc/(H + c), and the construction is the paper’s spam game) updated.
  • After the readings of Wald and DeGroot from the owner’s copies: CLAIM-453 (the SPRT link read in the primary source, the connectivity condition made DeGroot’s single closed class, and the three new THEORYs added to grounds) and CASE-160 (ℓ as DeGroot’s Theorem 3, aperiodicity as his own statement, and a W with one closed class and transient members covered) amended; CASE-155’s note of the same day sharpened (the walk is Wald’s Z_m, and the limit is not his statement); dated notes on THEORY-068 (optimality up to the overshoot, and the limit as the case where Wald’s formulas are exact) and THEORY-321 (DeGroot’s original conditions); the curation entry and the workbench entry of the session updated to say both works were read and are Active; and ADR-053’s Wald bullet updated.
  • After the reading of Isaac (LIT-1361): NOTE-1060 and NOTE-1054 (stale text and inactive-ok comments calling it Unavailable or unreached updated), QUESTION-255 (the same fix, and a dated note: its dynamical structure is material for kind (1), not kind (2)) and QUESTION-254 (a dated note: a structural mark of a perspective, with no criterion against a perspective-free invariant extractor); dated notes on CLAIM-412 (Isaac addresses character only, and his layers are a structural analogue of interpretive organization; no grounds added), THEORY-880 (a structuralist who cites Lyre and denies that geometry suffices), THEORY-867 (not a similarity structuralist; his DKL case bears on the test, not the premise), THEORY-868 (the methodological structuralism Negro allows), CLAIM-138 (Newman set aside, relations fixed by named behavioural procedures: a further instance of the remedy) and CLAIM-368 (the tea towel, an analogy for managing a frustrated demand by altering the field).

Added

  • Five works on the rubber hand illusion and bodily self-consciousness, each with a LIT and a full-reading NOTE: Botvinick & Cohen 1998, Lenggenhager et al. 2007, Blanke & Metzinger 2009, Apps & Tsakiris 2014 and Seth 2013. They supply the evidence behind claim C6 of NOTE-372, and link the record’s interoception holdings to body ownership.
  • Four Proposed THEORYs from that batch: the rubber hand synchrony effect; ownership as a graded belief about the common cause of multisensory input; interoceptive signals in body ownership; and minimal selfhood as identification with the whole body, with agency only enabling it.
  • Nine experimental works building on the rubber hand illusion, each read in full: the suggestion debate (Lush 2020; Lush et al. 2020; Ehrsson et al. 2022; Lush & Seth 2022; Roseboom & Lush 2022), two studies separating proprioceptive drift from ownership (Rohde et al. 2011; Abdulkarim & Ehrsson 2016), Longo et al. 2008 and Kalckert & Ehrsson 2012.
  • Six more: Hohwy & Paton 2010 and Alsmith & Longo 2014, experiments by philosophers on the rubber hand and on self-location; and folk-concept experimental philosophy on where the self is (Starmans & Bloom 2012), personal identity (Nichols & Bruno 2010) and whether pain is in the body (Reuter, Sienhold & Sytsma 2019; Borg et al. 2020).

Changed

  • The rubber hand synchrony THEORY is Rejected by its own refutation condition and corrected by a narrower one about reports. The other three rubber-hand THEORYs take tighter promotion tests that control for expectation.
  • The rubber hand THEORY on ownership as a graded belief notes that the cooling evidence its source cites is thinner than cited.
  • THEORY-458 takes Kalckert & Ehrsson 2012 as a source and records one refutation route as closed, subject to an expectation control. THEORY-531 notes that ordinary verdicts on Williams’s two tellings do not follow the person of the telling (Nichols & Bruno 2010).

Added

Changed

  • QUESTION-120 is reworded to what its child leaves open. The five THEORYs’ answers links move to the child.

Fixed

Added

Changed

Added

Changed

Added

Changed

  • QUESTION-052, QUESTION-093 and QUESTION-115 are reworded to what their children leave open. The seven THEORYs’ answers links move to the children.
  • THEORY-239 no longer says the directed case on one space is unworked. Its note of 2026-10-19 works it.

Added

Changed

  • QUESTION-220, 221 and 222 are reworded to what their children leave open. The four CLAIMs’ answers links move to the children.

Added

  • THEORY-739, Active: for word2vec’s quartic proxy with tied weights and symmetric reweighting, the rank-d minimisers are the top eigenvectors of M*, and from an aligned start each is acquired in a logistic rise, in order of eigenvalue. Split from THEORY-182, re-derived.
  • THEORY-740, Active: a two-layer linear network from a decoupled, balanced start learns its correlation’s singular modes one at a time in order of strength, while one layer learns them all on one timescale. Split from THEORY-186, re-derived.
  • THEORY-738, Active: the unconstrained-features max-margin geometry under step imbalance is simplex-encoded-label interpolation, and the simplex ETF only for balanced or binary data. Split from THEORY-286, re-derived by a dual certificate.

Changed

  • THEORY-182, THEORY-186 and THEORY-286 extend the new entries and keep their unproved parts, Proposed, with their promote_whens unchanged. These changes carry out the promotion audit’s batch-024 decisions (ADR-047).

THEORY-109’s formal core, Kuditipudi et al.’s Theorem 1 that ε-dropout-stable ReLU solutions are ε-connected, with Draxler et al.’s concatenation bound, is split into THEORY-736 and filed Active (promotion audit, batch 030). THEORY-109 extends it and stays Proposed for the claim that training’s solutions form one connected set.

THEORY-209’s exact result, Kunin et al.’s stationary state of SGD with momentum on linear regression with Hessian-proportional noise, is split off as a new Active THEORY after the promotion audit re-derived it. THEORY-209 keeps the claim that converged deep networks are in that state and stays Proposed. A dated note corrects “broken detailed balance”: in the model the current is reversible.

Added

  • At the owner’s direction, valence as ordering-potential:
    • a term: goal-conduciveness valence as a regime in which an ordering of a system’s own states by their bearing on its maintenance prevails in the negotiation among its perspectives (TERM-076);
    • the owner’s thesis: appraisal is that negotiation, a common currency is its admitting an ordering, valence presupposes frustration, sign is progress against a reference course, intensity is the potential’s strength, and ambivalence differs from neutrality (CLAIM-440);
    • a demonstrated claim: on finite options an ordering is a currency; the lexicographic order of the square has none; a continuous ordering has a continuous one (Eilenberg; Debreu); a threshold override has a discontinuous one (CLAIM-436);
    • Veit’s currency and ALARM’s override recast as continuous and overriding potential, with a trade-off test (CLAIM-435);
    • two questions: how potential is measured (QUESTION-268), and whether potential of a proxy for maintenance is valence (QUESTION-267).
    • a question on operationalizing felt valence in three independently measured layers (QUESTION-266), and a candidate claim: valence is felt when the system models its own potential (CLAIM-439);
    • Berridge’s liking–wanting dissociation (THEORY-893), and from it an objection that potential tracks wanting, not liking (CLAIM-438).
    • a reply conceding that objection in a principled form, on the component process model’s levels of valence: the account is of goal-conduciveness valence (CLAIM-433).
    • incentive sensitization (THEORY-895), and notes on CLAIM-433 and QUESTION-267 relating it and a taxonomy of addictive design features to the account.
    • the owner’s claim that ‘wanting’ and ‘liking’ are saliences relative to different processes, with valence relative to a perspective (CLAIM-437);
    • a demonstrated claim: a potential exists exactly when winning moves never cycle; a transitive binary record’s cyclic share is (n − 2)/3n in a complete tournament but not on a sparse graph; the Hodge gradient can reverse a comparison the wins settle; netting erases alternation; a record fixes a class of potentials; coherence is not alignment (CLAIM-434);
    • two terms carrying the hierarchy a review proposed: ordinal potential (TERM-077) and persistent potential (TERM-078), under goal-conduciveness valence and the felt candidate;
    • synthetic cases for each measure, in scratch/formal/valence.py.
  • Forty new works in six batches, and a note on NOTE-1063 relating the beautiful-loop reading to the felt candidate. A curation entry.

Changed

  • After a review of the pull request, before merge: a common currency means only the weakest ordinal sense, as against scalar currency and cardinal trade-off structure; existence, coherence and intensity are ordinal, and the Hodge decomposition measures only cardinal inconsistency; valence is undefined without contested pairs; ambivalence is read in windows, not in a netted record, against a graph-preserving null model; the potential is reported as a class and identified by intervention; and the predicted coincidence of pleasantness and goal conduciveness is made conditional (TERM-076, CLAIM-440, QUESTION-268, QUESTION-266).
  • After a second review, before merge: the first level renamed ordinal extendibility, since acyclic wins show only that some complete ordering fits them (TERM-077); an approximate persistent potential separated from an exact one, which alone is a Lyapunov function (TERM-078); sign and intensity set-valued across the class of potentials, and a selected ordering scored on held-out contests (TERM-076); three more parts of CLAIM-434 and four more cases in scratch/formal/valence.py.
  • At the owner’s direction, the thesis and its term revised before merge from “hedonic” to “goal-conduciveness” valence, and the wanting–liking objection conceded.
  • “Dominance” renamed “potential” throughout the line, to avoid the pleasure–arousal–dominance and decision-theoretic senses.
  • CLAIM-432’s defeater corrected: THEORY-101 threatens it only joined to a denial that a corporation is conscious. A dated note relates it to valence as ordering-potential.
  • Dated notes on THEORY-101 and THEORY-090 recasting their rivalry.

Changed

  • ADR-043 v2: warrant records how a claim is supported now, not how it would have to be settled. That is the owner’s decision on the promotion audit’s batch 028 question. An untested empirical generalization stays interpretive until the record holds the observations.
  • CLAIM-052’s warrant is restored to interpretive, reversing #204. The record holds no observation of the framing-order effect it predicts. It is still Proposed.

Added

  • At the owner’s direction, from a comparison of the will-organization and affect lines:
    • a claim: emotion is on the claim side of the gap between claimed precedence and granted authority, a perspective’s valence on its claims, the system’s valence on grants, so suspension changes the system’s valence and not the perspectives’ (CLAIM-442);
    • an objection: flow, with nothing contested, has undefined valence on the potential account yet is reported as positive, with four exits (CLAIM-441);
    • a question: does the potential account need accessibility, jurisdiction, suspension and transformation beside who wins (QUESTION-269);
    • a decision: the record’s own argument is stated ordinally first, with a measure’s cardinality stated and partial identification reported as a result (ADR-052).
  • A dated note on QUESTION-267 reading a proxy-keyed potential as a protective lock-in.

Fixed

  • The dialectic page now shows undercuts. A claim that undercuts an ARG joins the thread of the claim the argument concludes, through the undercuts_support_of pattern, and names the argument it went through. Five undercuts were on no thread before (CLAIM-032, CLAIM-035, CLAIM-085, CLAIM-141, CLAIM-144) (ADR-061).

Documentation

  • ADR-061, Proposed: the boundary between CLAIM and ARG is redrawn by subject. An ARG is any claim about support, a negative verdict included, and a claim about what a source says is a THEORY. It reports a classification of the 453 claims filed by 2026-10-26 (42 about support, 21 about a source, 17 mixed) and leaves the migration until the decision is accepted. A support claim that Active claims rest on is split rather than superseded, so that no Active claim is left resting on a retired one.

Added

  • Three works on self-categorization theory, filed at the owner’s request: Turner et al. 1987, Rediscovering the Social Group (LIT-1723); Turner, Oakes, Haslam and McGarty 1994, “Self and Collective” (LIT-1794); and Hornsey 2008’s historical review of social identity and self-categorization theory (LIT-1742). The record had held social identity work only as unread fandom papers citing the theory, with none of its sources.
  • The two articles read in full from copies the owner supplied, each Unavailable → Active with a NOTE: Turner et al. 1994 (NOTE-1284) and Hornsey 2008 (NOTE-1253). The 1987 book stays Unavailable: the only lawful copy found is an Internet Archive lending item.
  • THEORY-1114 (Proposed): self-categorization theory’s core claim, that the level, kind, content and prototype of a self-category vary lawfully with the comparative frame by metacontrast and normative fit, with depersonalization as salience rises. Every result behind it comes through the theory’s authors without data, so its promote_when asks for a primary study that varies only the frame. The authors’ further speculation, that the self is generated rather than stored, is recorded in the NOTE and not filed.
  • Three open works read in full in place of the 1987 book, each filed Active with a NOTE. Skorich’s “Self-Categorization Theory 2.0” (LIT-1765, NOTE-1295), a PsyArXiv critique that quotes the book’s chapter 3 with page numbers. Reimer, Schmid, Hewstone and Al Ramiah’s textbook chapter (LIT-1790, NOTE-1251). León’s “Being one of us” (LIT-1721, NOTE-1309), CC BY. The book’s LIT stays Unavailable and now lists what was read in its place, and what is still missing.
  • THEORY-1112 (Proposed, from Skorich): perceiving people as a group entity requires cues to collective intentionality; similarity yields interchangeable members, not a group. It rivals THEORY-1114 on the mechanism.
  • THEORY-1115 (Proposed, from León): a we-identity can arise through mutual individualization, as in close relationships, without depersonalization.

Added

  • The fandom works registered on 2026-10-16, worked through. Four read in full, each Deferred → Active with a NOTE:
  • Three Proposed THEORYs from them:
    • rivalry’s gains for fans run through perceived reciprocity (THEORY-1113);
    • superordinate fan identification coexists with club identity and is independent of views of governance (THEORY-1116);
    • the four-type spectator taxonomy and its drift towards the flâneur (THEORY-1111).

Changed

  • Four fandom works could not be read:
    • Čater et al. 2026 (LIT-1138) and Qi et al. 2026 (LIT-1131) are Unfetched: CC-licensed copies exist at SAGE, which refused this client.
    • Wegner et al. 2020 (LIT-1140) and Talarico and Moore 2012 (LIT-1125) are Unavailable: paywalled, with no open copy found.
  • CASE-098 and CASE-100 each take a dated note on what the readings add. The Ringer piece dates the Juggernaut line to reshoots but gives no production testimony on why it was added.

Added

  • social-identity and altruism join the topics (ADR-062), at the owner’s word that the vocabulary may be expanded where merited.

    • They are applied first to this contribution’s works on group membership and on self-interest.
    • They are added beside existing tags on Pettigrew, von Scheve and Ismer, the fandom LITs, Hamilton, Boehm and Parfit.
  • Twenty-eight works filed unread (Deferred), each checked against Crossref or Open Library. They are listed in the curation entry of 2026-10-29. They cover:

    • the primary studies behind THEORY-1114;
    • Tajfel’s minimal-group experiment and social identity theory;
    • group-based emotion, crowds and recategorization;
    • rivalry;
    • the phenomenology of the “we”;
    • the empathy–altruism debate, self-expansion, identity fusion, self-construal, team reasoning, identity economics, Sober and Wilson, and Johnston.
  • The owner’s thesis that no action is selfless, only aimed at a larger self (CLAIM-491, Proposed). It comes with its question (QUESTION-300) and two counters (CLAIM-494, CLAIM-492).

  • Two candidate answers to QUESTION-119 (CLAIM-493, CLAIM-490), a question on whether a rivalry’s perceived reciprocity is accurate (QUESTION-298), and a Proposed term distinguishing a group entity from a category of members (TERM-096).

  • Ten works on legacy, the self extended in time, filed unread (Deferred) with a question (QUESTION-301), at the owner’s word that Johnston’s Surviving Death opened that angle. They are listed in the curation entry of 2026-10-29 (022531). Hershfield 2011, the one with an open copy, is Unfetched: Europe PMC refused this client.

  • Fifteen open works read in place of unavailable ones, each Active with a NOTE. The originals stay Unavailable and gain a “Read in its place” section; the curation entry lists the pairs. No stand-in was found for Haslam et al. 1992.

  • Sixteen works on obligations to the future (longtermism, existential risk, person-affecting views, intergenerational justice, the psychology of concern for the future), filed with QUESTION-299 at the owner’s word extending the legacy line. ADR-063 adds the topic future-generations.

  • Sixteen works on intergenerational trauma and epigenetic transmission, filed with QUESTION-297 at the owner’s question: the epigenetic evidence and its sceptics, survivors’ descendants, and trauma as group identity.

  • Four works on memory that survives metamorphosis and regeneration, filed with QUESTION-302 at the owner’s recollection of a child’s caterpillar experiment, which turns out to be unpublished.

  • The legacy works are Unavailable, each with its search recorded. Ten open works were read in place of seven of them, among them Scheffler’s Tanner Lectures, Many Labs 4 and Chen et al. on terror management. Castano et al. 2002 and Hershfield 2011 were read themselves.

  • Eight of the works on obligations to the future were read, three from the authors’ working papers.

  • At the owner’s word, “read anything that’s still unread”, fourteen more works were read: Gardiner, Parfit 2017 and Ramsey on obligations to the future; the moth study and its authors’ perspective; and, by other lawful routes than the ones refused before, Markus and Kitayama, Akerlof and Kranton, Zahavi, Rubin and Hewstone, and Botzung et al. Eight works were read in place of seven that stay closed; the curation entry lists the pairs. Six are now Unavailable and Ord’s book Unfetched.

  • Six of the trauma works were read: Dias and Ressler, Costa et al., Heijmans et al. (from a thesis reprint) and the three sceptical reviews. Seven are Unavailable and three Unfetched, each with its search recorded. Eight works were read in place of seven of them; the curation entry lists the pairs. Danieli, Norris and Engdahl 2016 was read, on the owner’s word, from a co-author’s institutional posting of the publisher’s PDF. No stand-in was read for Lehrner and Yehuda.

Changed

  • NOTE-1244, NOTE-1309, NOTE-1251, THEORY-1114 and CASE-098 name the newly filed works they point to.
  • First readings from the batch:
    • Salice and Miyazono (LIT-1686, NOTE-1266) and Robertson, Akles and Van Bavel (LIT-1743, NOTE-1245) are read and Active. Both filing summaries were corrected by the reading.
    • Six are Unfetched: free copies were located but refused to this client. They are Botzung et al. (PMC), Zahavi (Copenhagen), Rubin and Hewstone (Durham), Turner 2005 (Wiley), Tyler and Cobbs (SSRN) and Akerlof and Kranton (Duke).
    • CLAIM-491 takes a note on Salice and Miyazono’s team reasoner versus team benefactor.
    • Swann et al. on identity fusion (LIT-1735, NOTE-1256) and Kilduff, Elfenbein and Staw on rivalry (LIT-1755, NOTE-1292) are read and Active, from copies on co-authors’ institutional pages.
    • Markus and Kitayama is Unfetched: Markus’s own posting survives only in the Wayback Machine, which refused this client.
    • The other seventeen, fourteen articles and three books, are Unavailable. Each status note records where a lawful copy was sought.
    • CLAIM-491 takes a note on fusion, CASE-098 a note on Kilduff et al., and QUESTION-298 their partial evidence on reciprocity.
    • CLAIM-491, CLAIM-492 and CLAIM-494 take notes on the readings done in place of unavailable works.
    • LIT-1700 and CLAIM-494 no longer say Batson et al. ran four experiments; the SEP says two.

Added

  • The exchange “Paper assessment” (2026-10-28 to 29) is filed. The owner asked whether Sarkar, Mukherjee and Sato’s “Attention as Lattice Gauge Theory” (LIT-1820) is on to something or AI slop, and then how it connects to the record. It is read in full (NOTE-1331), and its companion paper is skimmed (LIT-1803, NOTE-1326). Verdict: a sound conditional theorem, standard in lattice gauge theory and synchronization, with framing that outruns it.

  • THEORY-1140 (Active): under per-entity O(d) frame freedom, transports interact only around cycles, through class functions of their holonomy, and an equivariant edge update is Ψ(H)Tᵢⱼ. The symmetry fixes a family of updates, not one mechanism. THEORY-1158 (Proposed): on S4 synchronization, composition gives most of the gain and Wilson-loop routing adds 0.6–7.8 points; the 0.99 AUC is a ceiling the data’s construction sets, recomputed here.

  • The record’s own argument: CLAIM-496 (Active, demonstrated) holds that agreement between translation routes measures coherence, not fidelity, and is independent of task loss. CLAIM-495 (Active, demonstrated) holds that for O(d) connections compatibility can be partial and graded by direction, where for U(1) it is all or nothing. QUESTION-319 asks whether an organization’s holonomy is an error or a feature it maintains. CASE-185 is a proposed relay-translation study, a variant of CASE-055.

  • Twenty-three works the exchange recommended are registered unread, every identifier checked. They cover pragmatic corpora and measures, Gromov–Wasserstein alignment and its extensions, learned sheaves, consistency failures, causal and active transport, and the POT library.

  • At the owner’s request, all twenty-three works are read in full, each with a NOTE. So are Goguen and Burstall’s Institutions (LIT-1661, from the owner’s copy, Unfetched → Active) and Nicholson 2026 on Paul Weiss (LIT-1821, registered at the owner’s request). Thirty-nine THEORYs are filed from them. The curation entry of 09:16 lists them.

  • TERM-097 (Active, adopted by the owner): coherence, as agreement among the members of a family under a stated correspondence structure, distinct from fidelity, integration and knowledge. It was filed on the owner’s question whether the record had TERMs for both; fidelity already has several.

Changed

  • CASE-185 is corrected by its sources’ readings. Its items must be written for it, its criterion must be a panel mean, and its correspondence arm states the identification limits of GW, COOT and anchoring.

  • QUESTION-130 (v2) names LIT-1820 as carrying its construction further without answering it.

Fixed

  • 282 lint annotations that no longer applied are removed from 267 entries. Each excused nothing: the entries they named have gone Active, or nothing in scope cites them. Two source-ok directives that read as stale only because upstream identifiers could not be verified in CI are kept.

Documentation

  • CLAUDE.md now states ADR-008: no agent sends an email address to an outside service, and a brief written for another agent must say so. The rule had lived only in the ADR, and this filing broke it three times.

Added

  • At the owner’s request (“we have a ton of deferred LITs. file readings for any you can find”), the record’s 99 Deferred LITs were searched on 2026-10-29 for lawful full texts.
    • 51 were read in full, and each got a NOTE (Read). They are now Active.
    • 3 were skimmed: SP 800-53, the SEI insider-threat guide and Herd & Moynihan’s introduction. Each got a Skimmed NOTE and stays Deferred.
    • 14 are now Unfetched, each with the address of a free copy this client was blocked from.
    • 31 are now Unavailable, each with where the search looked.
  • Three THEORYs, two of them Active and re-derived:
    • THEORY-1163: Krakauer et al.’s individuality measures cannot decrease as a candidate boundary grows.
    • THEORY-1162: where Blumenthal et al.’s consumer–resource fixed point loses stability.
    • THEORY-1161 (Proposed): whether reflected appraisal concentrates power depends on the single-issue step.
  • A curation entry with the outcome for every work and the errors found in the works. It also lists more than a hundred works the readings named that are not registered, and flags two copies taken from course pages for the owner to rule on.
  • The readings found substantive errors in the works, among them:
    • Zhang et al.’s Proposition 5 is false;
    • Switch Transformers’ auxiliary loss is not minimized by uniform routing;
    • Hofbauer & Schreiber swap two invasion conditions;
    • RefraMED’s “throughout” fails at 7 months, and its Fisher test does not reproduce.

Fixed

  • Five LIT summaries were wrong in substance and were corrected against the readings: LIT-1128, LIT-1134, LIT-1223, LIT-1594 and LIT-1619. In all, 49 of the 51 read works’ summaries were rewritten against the reading.
  • The acknowledgement in CLAIM-426 of LIT-1395, which is now Unavailable, carries an until date.

Added

  • ADR-064, on the owner’s ruling of 2026-10-29. Copies of published articles on university course, faculty and scholarly third-party pages, and authors’ own uploads, count as lawful copies to read. Shadow libraries and uploads of whole in-copyright books still do not. ADR-053 gets a dated note.
  • The ten works whose copies the first deferred-LIT pass turned down were sought again.
    • Nine were read in full and are now Active, each with a Read NOTE: Edmondson 1999, the three Pettigrew contact papers, Merton 1948, Nisbett & Wilson 1977, Akkoyunlu et al. 1975, Seeley et al. 2012 and Revonsuo 1999.
    • Carver 2003 is now Unfetched: its academia.edu upload blocked this client.
  • A curation entry for the pass. It records that Akkoyunlu et al. do state the coordinated attack problem, and finds a misprinted Sobel statistic in Pettigrew & Tropp 2008 (4.38 for 12.43).

Fixed

Added

  • A triage of the 162 works that the readings of 2026-10-29 named and did not register, done at the owner’s request. Each work was judged by what reading it would do for the record’s Open QUESTIONs and open entries.
    • 18 to file. Among them: Eberhardt & Lee 2022 with Comolatti & Hoel 2022, which together could settle THEORY-787 and QUESTION-204; Pfante et al. 2014 for QUESTION-252; DeMarzo, Vayanos & Zwiebel 2001 for CLAIM-297; Chesson 1990 or 1994 for QUESTION-083 and QUESTION-132; and Lemmer & Wagner 2015 with Scacco & Warren 2018 for CLAIM-430 and QUESTION-262.
    • 59 to consider.
    • 85 to skip: cited in passing, ML practice, not findable, or already held.
  • Nothing was registered. The curation entry lists each work with the entry it bears on, plus the calls left to the owner.

Added

  • The triage’s 18 File-tier works were registered and searched for lawful copies at the owner’s request.
    • 8 were read in full and are now Active: Eberhardt & Lee 2022, Comolatti & Hoel 2022, Ito & Kaneko 2002, Serván & Allesina 2021, the RefraMED EME monograph, Scacco & Warren 2018, Lemmer & Wagner 2015, and the Abrego Garcia remand’s discovery order (ECF 79).
    • 4 are Unfetched: Chesson 1990, Revonsuo & Newman 1999, Edmondson 1996 and Bancoult No 1. Each records the copy’s address.
    • 6 are Unavailable.
  • Two THEORYs, both Active and re-derived:
    • THEORY-1167: under one intervention distribution, macro effective information cannot exceed micro.
    • THEORY-1168: a symmetric Lotka–Volterra community’s invasion graph is acyclic.
  • THEORY-787’s own defeater is met for effective information. A move to Rejected is put to the owner.
  • CASE-118’s 1 − ρ turns out to be Chesson’s niche difference, not his overlap.
  • A curation entry for the pass, and dated notes on the entries the readings bear on.

Fixed

  • The record’s citation of Bond 2018 (LIT-1218) is corrected: pp. 185–199, in Wilson & Hayes (eds.).

Added

  • The two candidate readings named on 2026-10-29, filed at the owner’s request (“find those new candidate readings”).
    • Causal feature learning: Chalupka, Perona & Eberhardt 2016 and the 2017 overview, both read and Active.
    • THEORY-1169 (Active, re-derived and checked numerically): under one common intervention distribution, a coarse-graining keeps all the micro effective information exactly at causal feature learning’s partitions. This gives QUESTION-204’s second half its test and a partial answer.
    • Cernat 2011 is registered and Unfetched. Its abstract shows it does not test CLAIM-430’s defeater.
  • The readings found that Theorems 5 and 12 of Chalupka et al. 2016 are false as stated: effects with proportional columns merge without loss.

Changed

  • THEORY-787 (Hoel, Albantakis & Tononi’s causal emergence from effective information) moves from Proposed to Rejected, at the owner’s direction of 2026-10-30. Its own refutation condition is met: THEORY-1167 shows the macro advantage disappears whenever one intervention distribution is used at both levels. The body is unchanged. THEORY-1167 now corrects it.

Added

  • CLAIM-497 (Proposed, thesis, interpretive), the record’s own position in place of THEORY-787. A system’s causes are found at the coarsest description whose interventions are unambiguous: a macro can be the proportionate description, but it never carries more causal information than the micro. It answers QUESTION-204 in part.
  • ARG-041 (formal-application), the inference behind that claim. It goes from THEORY-1167 and THEORY-1169 to proportionality, and names the one interpretive premise.
  • QUESTION-335 holds the case the bound does not reach: Hoel’s temporal and spatio-temporal macros. Do their gains survive a common distribution, or do they come from comparing a k-step macro with a one-step micro?
  • A dated note on QUESTION-204. Its status is left to the status review.

Added

  • From the owner’s exchange “About the Chagossians” (2026-10-26, U1–U12): five documented cases, the Chagossians’ expulsion and diaspora (CASE-169), federal science and education in 2025–2026 (CASE-172), the US Institute of Peace takeover and the police entry before any ruling (CASE-176), CECOT (CASE-175) and the East Wing (CASE-170), each with its particulars held as the exchange’s; a Proposed claim that an intervention can change what it would take to correct it (CLAIM-464); a demonstrated claim that no unilateral capacity to remedy is not no capacity (CLAIM-457); a Proposed claim that capacity for action and capacity to be corrected are held in different relations (CLAIM-462); questions on correction between institutions (QUESTION-278, refining QUESTION-041) and on what certifies that no remedy exists (QUESTION-279); six Proposed terms, organizational achievement (TERM-086), correctability (TERM-085), consciousness (TERM-082), collective intention (TERM-080), moral standing (TERM-083) and moral worth (TERM-081); and a Proposed decision to pilot a kind for TERMs (ADR-056). Twenty works registered unread. A workbench entry and a curation entry.
  • From an audit of all 171 cases, at the owner’s request, for propositions a case states that no claim holds: eight claims, each grounded in its case. A4’s restoration claim from CASE-111 (CLAIM-463, demonstrated, Active); a transformation legible for one task and not another (CLAIM-455, from CASE-154, Active); efficacy without transition (CLAIM-459, from CASE-112, Active); internal maintenance as the more fragile (CLAIM-456, from CASE-161); different remedies for selection and self-scoring (CLAIM-466, from CASE-162); governance no better than a router under full information (CLAIM-467, from CASE-158); release as well as escalation (CLAIM-465, from CASE-135); and the locked-in state’s evidential asymmetry (CLAIM-460, from CASE-107). Twenty-four further candidates are listed for the owner in a workbench entry. Three objections that were written only into claims’ notes are filed as counters: on compensation against CLAIM-212 (CLAIM-461), on access against CLAIM-240 (CLAIM-458), and on valence intensity against CLAIM-440 (CLAIM-468).

Changed

  • Dated notes of 2026-10-27 on eight entries: CLAIM-421 (three interruptions at the scale of a people and a research community), QUESTION-257 (restated by the exchange, and a third case), CLAIM-348 (an override is not a merge), CLAIM-418 (a people’s perspective without one agent, and two governments without one), QUESTION-118 (continuation relations and the record’s structural realism), CLAIM-328 (a second case of the respects coming apart), CLAIM-410 (interpretation and organizational control in the profile) and CLAIM-312 (an institution’s “we cannot” as a failed search). No status, title or warrant changed.
  • CLAIM-210 and CASE-054 reworded so that they agree: a rendering’s provenance is supplied by transport, and descent by common ancestry relates realizations with no transport between them. Neither changes what it claims.
  • A term for descent and its four senses, provenance, lineage, common ancestry and causal descent (TERM-084), so that a claim using the word says which; adopted by the owner, and named in uses by the nine claims that use the word in one of those senses (CLAIM-002, CLAIM-191, CLAIM-204, CLAIM-210, CLAIM-246, CLAIM-287, CLAIM-329, CLAIM-417, CLAIM-420).

Changed

  • ADR-061 accepted, with its migration: claims about support between the record’s entries are now ARGs. 29 ARGs filed, 14 claims superseded by them and 15 split to their subject matter.
  • The ARG scheme gains uses (a TERM’s used_by now names arguments too) and works, and one ARG may conclude several theses. The ARGs that replaced claims carry those claims’ terms and manuscripts.

Changed

  • Three overdue decisions are given a status at the owner’s request.
    • ADR-041 (Unavailable for a LIT whose lawful text was sought and not reached) is Active; it has been in force since it was filed.
    • ADR-050 (a usage protocol for “organized”, “perspective”, “agent” and kindred words) is Deferred at the owner’s decision; its terms TERM-074 and TERM-072 are unaffected.
    • ADR-056 (a kind field for TERM) is Rejected on the pilot it asked for. Eleven of sixteen sampled TERMs sort cleanly. Five force an arbitrary choice, chiefly at the boundary between construct and criterion where the field was meant to work. A curation entry reports the pilot.

Fixed

  • Narrowings’ dropped claims routed by ADR-047’s four kinds. Status reviews 8 to 14 moved every narrowed reading’s wide form to a QUESTION. The sweep (workbench entry of 2026-10-30) files 22 Proposed readings for wide forms the sources assert (kind 1), each extending its narrowed entry and inheriting its promote_when; 2 interpretive claims for the record’s own extrapolations (kind 2); and dated notes on THEORY-335, -481, -913, -904, -146, -917 and -920 for clauses that were mis-statements (kind 3). The QUESTIONs stay Open beside them.

Added

  • The exchange “Analyze nucleation concepts” (2026-10-30 to 31, U1–U29) is filed. It went from what the record says about specification and individuation, through constructions of endogenous maintenance, dissipative thermodynamics, SLT and self-distillation, to corrigibility, legibility, normativity and will. Seven readers read every turn, checked every record code the replies cited and redid their mathematics. A workbench entry records each turn’s findings, what the replies got right and missed, and what was not filed.

  • The owner’s own contributions:

    • a Proposed thesis that competent behaviour does not establish an internal world model (CLAIM-519);
    • a Proposed thesis that a normative judgment takes a diachronic relatum, what it would have persist, change, come to be or end, resting on CLAIM-363 (CLAIM-518), with its unanswered objection (CLAIM-512);
    • two questions, on when SGD’s order over training time follows the posterior’s order over sample size (QUESTION-363) and on recursive production as self-distillation (QUESTION-361);
    • a question on when a learned distinction becomes a concept (QUESTION-360).
  • Five demonstrated claims, each rechecked:

    • acyclic production goes extinct, and a self-loop is not closure (CLAIM-516);
    • interventions on state cannot locate maintenance (CLAIM-522);
    • coupling strength need not reveal the stability of its maintenance (CLAIM-521);
    • connectedness of equivalent realizations depends on the admissible paths, and a resource budget below √2 disconnects them (CLAIM-524);
    • distillation preserves viability only through coverage of the boundary contexts (CLAIM-517).
  • The constructions behind those claims, as two cases (CASE-189, a variant of CASE-111; CASE-190).

  • A proposed study of maintained inquiry under capture, damage and out-of-family change (CASE-186).

  • A disclaimer that the record has not established corrigibility’s desirability (CLAIM-511).

  • A question on the continuation of will under revision of its own authorizing standards (QUESTION-364).

  • Twenty-one works registered unread, every identifier checked, and a curation entry.

  • At the owner’s decisions of 2026-10-31: control-theory joins the topics (ADR-066), and is added beside the existing tags of the viability and contraction entries (LIT-738, LIT-714, THEORY-134, LIT-1292, THEORY-771, THEORY-773); a Proposed term for “concept” (TERM-098), beside its question.

  • The twenty-one works are read at the owner’s request: twenty-one NOTEs, two of them Skimmed in part, and twenty-eight THEORYs, twenty-one Active. A curation entry lists them, with the errors found in the papers and in the registration.

  • A counter to the owner’s world-model thesis, from Richens et al. (CLAIM-513, Active, demonstrated): across a family of goals, a competent policy fixes the world model, a lookup table’s included. It defeats the thesis’s functional reading only.

  • At the owner’s review: a proposed study of corrigible resolve against entrenchment (CASE-188), and two synthesis notes on QUESTION-364, one on legibility, volitional efficacy and correctability and one on historically situated corrective authority.

  • At the owner’s question “no ARGs?” (ADR-061): ARG-042, Rejected, holds the verdict that the record’s constructions of maintained correction do not establish that corrigibility ought to be kept; CLAIM-520 (Active, demonstrated) holds that its value is conditional, and undercuts it. The owner’s synthesis on legibility, volitional efficacy and correctability is filed as a claim, CLAIM-523 (Proposed).

  • At the owner’s second review: a question separating five notions of world model (QUESTION-362); the owner’s formulation of world-modeling as a family of resource-bounded, query-relative capabilities, of which a representational world model is one realization (CLAIM-514, Proposed); the general principle that having a cognitive property is four questions, recoverable, exercisable, realized and maintainable (CLAIM-515, Proposed); and a proposed study comparing architectures matched on competence (CASE-187).

Changed

  • Dated notes on CLAIM-474 (the achievements form a partial order, not a nesting, at the owner’s U20), CLAIM-475 (three kinds of reachability), CASE-152, CLAIM-337, TERM-085 (correctability bounded by legibility) and QUESTION-285. No status, title or warrant of an existing entry changed.
  • CLAIM-474 version 3, at the owner’s decision: its title states a partial order of achievements rather than a nested sequence. The five demonstrated claims filed Active stay Active, at the owner’s decision.
  • What the readings changed, each in place: the world-model thesis (its generalization item and defeated_if), the SGD question (Chen et al. deny a necessary relation; the maps run from noise scale, not training time), the self-distillation question (Teoh’s student is not less informed), the nucleation case and the acyclic-production claim (reversible chemistry, finite size, the infinite-affinity limit), the fold claim (the coupling is lost at the escape time), and the kinetic case (robust invariance, not input-to-state safety). THEORY-671 gets a note on the Schlögl counterevidence. A second workbench entry records the decisions and these changes.
  • At the owner’s review: the normative thesis narrowed to judgments that need diachronic relations, with evaluation separated from prescription (CLAIM-518 v2, its objection v2); the corrigibility study’s endpoints made robust to first-stage selection, with a matched-first-stage branch (CASE-186 v2); correctability taken out of the definition of a concept (TERM-098 v2); the world-model thesis’s evidential standard sharpened (CLAIM-519 v2); the thermodynamic qualifications made precise (CASE-189, CLAIM-521). A third workbench entry records the review.
  • CLAIM-511 version 2: split under ADR-061, now the bare proposition, disclaimed and Proposed, as the ARG’s conclusion.
  • At the owner’s second review: CLAIM-519 says competence is “not sufficient to establish” a world model, not “not evidence”; ARG-042 sorts its premises into executed studies, a construction and a proposed experiment.

Added

  • Bencherki, Brummans and Vézy 2024, “Agency Without Agents” (LIT-1902), read in full from the owner’s copy (NOTE-1484), with two Proposed THEORYs: agency redescribed as the affective force by which individuation processes take up one another’s excess action (THEORY-1280), and communication as transduction, the continuity of action through processes (THEORY-1278). The reading finds a vocabulary for redescription without a criterion that could count against it, and sets it beside CLAIM-355, CLAIM-418, CLAIM-430 and CLAIM-515. Every open copy was refused to this client; a curation entry records where it looked.

Added

  • The works Bencherki, Brummans and Vézy 2024 lean on, at the owner’s request: twenty-three registered, every citation checked and every lawful route recorded. Seven are read: Iliadis 2013, Bencherki & Iliadis 2021, Bencherki 2017, Massumi & McKim 2009, The Principle of Unrest, Tsoukas & Chia 2002 and Wilhoit 2016. They come with seven NOTEs and nine Proposed THEORYs. Fifteen are Unavailable and one Unfetched. A curation entry lists them and what the sources show about the paper’s use of them.

  • At the owner’s word that the readings connect more richly to the record, the readings are read against the record’s own lines: pragmatic transport, distributed agency and individuation, will-organization, organizational affect and authenticity, and the nucleating argument. Fifty-three dated notes, and new entries:

    • CLAIM-525: Simondonian information is a change of interpreter, not Blackwell evidence.
    • CLAIM-526: coexisting levels remove the question of how agents add up, not the question of levels.
    • CLAIM-527: viable reach, valence and emotion are three quantities.
    • QUESTION-365: settling an internal conflict outward.
    • QUESTION-366: whether knowing needs the inquiry’s own history.
    • ARG-047, Rejected: correcting the first filing’s link to CLAIM-418.

    A workbench entry records the pass.

  • Six ARGs for support relations the connections pass recorded in dated notes (ADR-061).

    • Proposed: Tsoukas & Chia’s radial extension as a second line for CLAIM-418 (ARG-048); the MSF meeting for CLAIM-430’s first and third parts (ARG-044); Bencherki’s checklist and daycare for CLAIM-518 (ARG-043).
    • Rejected: the Navy TQ case does not hold proposals fixed for CLAIM-122 (ARG-046); the MSF transcript’s marks of conflict do not discriminate CLAIM-484 from the paper’s reading (ARG-049); Simondon’s crystallization supports CLAIM-185 only by analogy (ARG-045).

Changed

  • NOTE-1484 and THEORY-1280 are corrected by the sources. Massumi’s formula is a proposition and runs both ways. Hernes’s “agency without agents” is an objection he anticipates. Tsoukas & Chia keep reflexive actors. Wilhoit does not make the claim attributed to her. Bencherki 2017 is the ancestor.
  • Each new reading gains a section bearing on the record’s own argument, and its THEORYs gain relations to the questions they bear on. Citations of Tsoukas & Chia corrected from p. 580 to p. 579. LIT-1648 records a further unsuccessful search for a lawful copy.

Changed

  • Work is pushed to its pull request as it is made, and the pull request’s docs-check job does the repair and the lint (ADR-054, Active, at the owner’s direction). Contributors no longer run luria repair, link --fix, index or lint as a gate before pushing; luria new stays local, a red check is fixed on the branch, and a narrow local command is still fine for diagnosing. CLAUDE.md’s “Working” section and its rule on link targets say so.

Added

  • At the owner’s request (2026-10-26: “how’s the record on neural circuit theory?”, then “go ahead and register and read those”), fourteen core mechanistic-interpretability works registered and read the same day, all now Active: LIT-1543 (Zoom In), LIT-1534 (A Mathematical Framework for Transformer Circuits), LIT-1540 (IOI), LIT-1536 (ROME), LIT-1549 (causal scrubbing), LIT-1547 (ACDC), LIT-1531 (AtP*), LIT-1551 (DAS), LIT-1545 (Towards Monosemanticity), LIT-1533 (Scaling Monosemanticity), LIT-1532 (Sparse Feature Circuits), LIT-1554 (transcoders), LIT-1552 (Circuit Tracing) and LIT-1541 (On the Biology of a Large Language Model). Fourteen NOTEs, all Read, and thirty-two THEORYs, twenty-three Active and nine Proposed. The readings found, among other errors, that DAS’s MoNLI brute-force row copies its Table 1 digit for digit; that ACDC’s §4.1 claims a win on tracr-reverse that its own Table 2 does not show; that the IOI paper calls the naive circuit’s faithfulness “comparable” where by its own measure it is better; that ROME’s §2.1 and Appendix B.1 disagree on the hidden-state AIE; and that the Biology paper’s revenue-table arithmetic is off by $30.
  • QUESTION-274, raised by two of the readings: whether two dictionaries of equal fidelity give the same validated circuit, THEORY-802’s thesis asked of dictionaries.
  • A curation entry for the reading: the request, the fourteen works with their LIT, NOTE and THEORY codes, what was read of each (the Biology NOTE in two passes the same day), the errors found, and seven works the readers named and did not register (among them Hase et al. 2023, Geva et al. 2021, MEMIT and Curve Detectors).
  • The readings cross-cited among themselves and written into the entries filed earlier in this contribution: QUESTION-275, CLAIM-454, NOTE-1173, THEORY-973, THEORY-990, NOTE-1169, THEORY-968, THEORY-997, NOTE-1183, THEORY-1004, NOTE-1186, THEORY-975, THEORY-967, THEORY-981 and THEORY-1009.

Changed

  • Dated notes of 2026-10-27 from the circuits readings on thirteen entries: LIT-323 (its first case, Zoom In’s, and its sequels), NOTE-782 and NOTE-809 (ROME, IOI and DAS now held), THEORY-802 and QUESTION-234 (ties by construction in the instruments, a trained-network case of refinement, and dictionaries), THEORY-018 (the residual stream’s basis freedom), CLAIM-263 (universality), CLAIM-367 (IOI’s backup heads), LIT-1310 (causal abstraction through DAS and causal scrubbing), NOTE-106 (ACDC now held), NOTE-482 (the transcoder finding it reverses, scoped so the two do not contradict), THEORY-504 (residual-stream error terms) and THEORY-022 (addition in a language model is not all Fourier). No title, status or warrant changed.

Added

  • Ten more endosymbiosis works read in full, each Deferred → Active with a NOTE and Proposed THEORYs:

Changed

  • The other 21 unread works in the cluster are Unfetched (11, ADR-053) or Unavailable (10, ADR-041), with the fetch attempts in their status notes.
  • Dated notes on QUESTION-277, CASE-167, CASE-168, CASE-171, CASE-173, CASE-174, CASE-177 and THEORY-1049, from what the readings corrected:
    • transfer and import is mostly import of host-encoded proteins;
    • the eukaryogenesis programmes disagree on donors and on stem-length timing, not on a two-partner merger;
    • no import into a symbiont below 200 kb is shown.
  • CASE-168 and CASE-174 are retitled.
  • LIT-1561’s history corrects the preprint title given in its first note.

Added

  • Reductive evolution and endosymbiosis, from the exchange of 2026-10-27 on the record’s coverage, where the record had nothing: eighteen works registered unread (Deferred), on genome reduction and its causes (McCutcheon & Moran, LIT-1559; the Black Queen Hypothesis, LIT-1568; Moran 1996, LIT-1573; McCutcheon et al. 2024, LIT-1571), nested and split insect symbioses (LIT-1565, LIT-1569, LIT-1572, LIT-1563), organellogenesis (LIT-1557, LIT-1562, LIT-1560), organelle loss (LIT-1567, LIT-1574), eukaryogenesis (LIT-1564, LIT-1566, LIT-1558, LIT-1561) and the evolution of dependence and cohesion (Athreya et al., LIT-1570).
  • QUESTION-277, refining QUESTION-035: which properties each route to dependence produces, and which of them make a partnership a new evolutionary individual. A curation entry records what was registered, what the lookups corrected, and what was named and not registered.

Added

  • Readings in full of three of the four works the coverage exchange of 2026-10-27 called “Critical”, each Deferred → Active with a NOTE:
    • The Black Queen Hypothesis (LIT-1568, NOTE-1212), filed as THEORY-1048: dependence by individual selection on leaky functions, with no collective.
    • McCutcheon et al. 2024 (LIT-1571, NOTE-1213), filed as THEORY-1049: endosymbionts lose their envelope genes below about 400 kb and translation genes below about 200 kb, and the host presumably supplies what is missing.
    • Athreya, Czuppon & Gokhale 2025 (LIT-1570, NOTE-1211), filed as THEORY-1050 and THEORY-1051: the faster partner becomes obligate first, and the other’s fate turns on births and deaths inside the collective. The “dependence before cohesion” result is set by the authors’ trait mapping and reverses under the opposite one.

Changed

  • Dated notes on QUESTION-277 (what the readings say of its routes and dimensions, correcting its account of Athreya et al.), CASE-173 (a host-encoded protein in Buchnera’s cytoplasm; the model’s prediction for the host) and CASE-171 (Tremblaya as a tipping-point endosymbiont).
  • Moran 1996 (LIT-1573) is Deferred → Unfetched under ADR-053. Its free copy at PubMed Central and Europe PMC answered this client with a challenge page.
  • LIT-1570’s history corrects its first note: version 1 of the preprint had a different title. Its published: date is unchanged.

Added

  • endosymbiosis joins the topics, labelled “Endosymbiosis and reductive evolution” (ADR-055). It covers how one organism comes to live inside another and depend on it, and how that ends. ecology keeps symbiosis as an ecological interaction. ADR-028 takes a history note.
  • Six Proposed, documented CASEs for the systems in QUESTION-277: aphid–Buchnera (CASE-173), the mealybug’s nested symbionts (CASE-171), Hodgkinia’s splitting in cicadas (CASE-177), Paulinella (CASE-174), the nitroplast (CASE-167) and Monocercomonoides (CASE-168).
  • Seventeen works registered unread for what the exchange of 2026-10-27 mentioned without citing. Found: the Magicicada and Tettigades Hodgkinia papers (LIT-1612, LIT-1602, LIT-1586), host compensation at transmission (LIT-1590), the Buchnera and Paulinella genome papers (LIT-1596, LIT-1621), endosymbiotic gene transfer (LIT-1588), and the syntrophy and mito-late scenarios of eukaryogenesis (LIT-1597, LIT-1591, LIT-1595). Adjacent, for ideas named with no work: gene-loss models (LIT-1611, LIT-1616), metabolic-network constraints (LIT-1585), mutualism theory (LIT-1603), host–symbiont conflict and host control (LIT-1617, LIT-1605) and branching processes (LIT-1608).

Changed

  • The eighteen LITs of the first pass and QUESTION-277 are retagged with endosymbiosis. QUESTION-277 has a dated note pointing to the cases and the new works.

Added

  • From turns T18–T24 of the exchange “Experimental Infrastructure Review” (a saved page the owner uploaded, since the share could not be fetched; T24’s reply pasted by the owner; T0–T17 absent): five entries. QUESTION-276 asks how overlapping higher-level perspectives can be inferred from members’ activity without inserting them or fixing their number, told from common-cause coactivity, and tested against interventions; it refines QUESTION-259, with the owner’s hLDA and Indian buffet proposals as candidate methods. CLAIM-454 (Proposed, interpretive) holds that a latent feature inferred from activity is at most a constituent of a perspective. CASE-166 (proposed-study) is the multilevel Northstar design, with the reply’s PerspectiveLab v2.11 results held as reported and not reproduced, since dmarx/PerspectiveLab holds nothing past v2.9 (c54617e). CASE-165 (construction) is the reply’s dynamic beta–Bernoulli model of members, with its mathematics re-checked: at sixteen features it falls short of the Indian buffet process it quotes (6.83 occupied features against 9.31), its persistence term does not hold rare features, and having a capacity is not identified from using it. QUESTION-275, refining QUESTION-039, is the owner’s question whether the setup can serve as an interpretive framework for transformer learning dynamics, with prospective prediction from early checkpoints as its test.
  • Thirteen works registered and, at the owner’s request (“go ahead and read all of them”), read in full the same day, all now Active: LIT-1556, LIT-1542, LIT-1546, LIT-1553, LIT-1537, LIT-1548, LIT-1544, LIT-1538, LIT-1550, LIT-1535, LIT-1555, LIT-1539 and LIT-1530, with a curation entry recording the lookups, the corrections they made, the works named but not registered, and the readings. Thirteen NOTEs, all Read, and twenty-two THEORYs, fifteen Active and seven Proposed. The readings found that the IBP review gives αH_N only for the infinite limit, so T23’s figure at sixteen features has no source; that the correlated latent-feature paper supports features that reinforce or depend on one another but not ones that inhibit, as T22 cited it; that the dependent IBP’s marginals are an IBP only in its collapsed form; that the author–topic model and the mixed membership blockmodel are unidentified along a continuum, beyond the permutations they name, and the blockmodel’s sparsity estimate is fixed whatever the fit; and that the fine-tuning paper’s node-against-edge contrast is what a fixed edge budget alone produces. The induction-heads paper takes its first-publication date, 8 March 2022.
  • The readings’ bearing written into CASE-165, QUESTION-276, QUESTION-275 and CLAIM-454.
  • A workbench entry for the span, one bullet per owner turn, with what was filed and not filed.

Changed

Changed

  • line: takes several values in QUESTION, CASE, TERM and ARG, as it already did in CLAIM (ADR-067), at the owner’s word.
    • QUESTION-365 gets distributed-agency back, and ARG-050 gets formal-apparatus back. Both had been cut to pass lint.
  • line: is required in CASE and ARG, as it already was in QUESTION and CLAIM. TERM stays optional.

Changed

  • luria pinned to 1.5.0 (from 1.3.0). Its pattern pages render as outlines, and patterns that share an output merge into one page.

Added

  • Arguments by conclusion (docs/arguments-by-conclusion.md): every claim an argument concludes, its arguments beneath it, and beneath each argument the claims that undercut it. An argument nothing undercuts is on no dialectic thread, so this page is where it shows. It is two patterns, argued_for and argued_for_undercut, sharing one output.

Changed

  • CI pins luria 1.6.0 (was 1.5.0) in the docs and pages workflows. Its one change is a faster luria lint, measured on this record at 614 s before and 145 s after with identical output (luria#384).

Added

  • Mechanistic constitution and dynamical mechanistic explanation, at the owner’s request. Eleven works on Craver’s constitutive relevance and the debate after it, and Bechtel & Abrahamsen 2010, are registered.
    • Five are read: Craver & Bechtel 2007, Bechtel & Abrahamsen 2010, Baumgartner & Gebharter 2016, Baumgartner & Casini 2017, and Baumgartner, Casini & Krickel 2020. They come with eight THEORYs.
    • New claims: mutual manipulability separates an internal producer from an outside controller only through a declared boundary (CLAIM-530); “realized” has two senses, produced through and consists in, divided by time scale (CLAIM-528).
    • ARG-050 (Active): the fat-handedness objection does not reach CLAIM-522.
  • Griesemer & Shavit 2023 re-read. New claims: entrenchment does not by itself give closure (CLAIM-531); only criteria stated on interactions individuate an organization without presupposing it (CLAIM-529). Six of its sources are registered unread.

Changed

  • NOTE-173 (v3) and THEORY-418 (v3) corrected on re-reading Griesemer & Shavit. Dated notes go on some thirty claims, questions, cases and terms in the maintenance and individuation neighbourhood. A curation entry records the readings and where every copy was looked for.

Added

  • Metzinger’s later work, at the owner’s request.
    • Read: “The myth of cognitive agency” (2013), “M-autonomy” (2015), “The problem of mental action” (2017) and “Minimal phenomenal experience” (2020), and The Elephant and the Blind (2024) in part. They come with six THEORYs.
    • Not reachable: “Artificial suffering” is Unfetched and The Ego Tunnel Unavailable. Being No One was retried.
  • New entries:
    • QUESTION-367: is an agent’s representation of its control capacity a condition of that capacity’s efficacy?
    • QUESTION-368: would experience without self-model or valence ground moral standing?
    • ARG-051 (Proposed): mental autonomy as an analogy for CLAIM-027.
  • Dated notes on the will-organization and evidence-for-experience lines, and on THEORY-063, THEORY-064 and NOTE-1058. A curation entry records the readings.

Added

  • At the owner’s request (2026-10-27: “get started on the seven works and markov IBP”), the works the circuits readings named without registering, ten in all, registered and read the same day, all now Active: LIT-1578 (Hase et al., Does Localization Inform Editing?), LIT-1576 (Geva et al., feed-forward layers as key–value memories), LIT-1582 (MEMIT), LIT-1575 (Curve Detectors), LIT-1581 (Nanda’s attribution patching post), LIT-1584 (Auditing language models for hidden objectives), causal scrubbing’s three companion posts, each its own work extending LIT-1549 (LIT-1580, the paren balance checker; LIT-1579, induction heads; LIT-1583, the appendix), and LIT-1577 (Van Gael, Teh and Ghahramani’s infinite factorial HMM, which introduces the Markov IBP, dated to NIPS 21 of December 2008 where the record had “2009” from the review’s printed volume). Ten NOTEs, all Read, and sixteen THEORYs, eleven Active and five Proposed. The readings found, among other errors, that a row of Hase et al.’s Table 3 was taken from the wrong table; that the infinite factorial HMM’s two printed predictive rules are both wrong against its own eq. (6); that causal scrubbing’s two results posts measure against baselines on different scales, which LIT-1549’s summary sets side by side; and that the induction post’s headline 89% is a bonus hypothesis, not the 86% the main post reports.
  • A curation entry for the reading: the request, the ten works with their LIT, NOTE and THEORY codes and what was read of each, the decision to file the companion posts separately, the Markov IBP’s year, the errors found, the question for the owner on THEORY-1011, and the works the readers named and did not register (among them An Overview of Early Vision in InceptionV1 and Curve Circuits).

Changed

Added

  • At the owner’s request (2026-10-27: “file the next readings”), the eight works the readings of PR #338 named without registering, registered and read the same day, all now Active: LIT-1624 (Olah et al., An Overview of Early Vision in InceptionV1), LIT-1629 (Cammarata et al., Curve Circuits, extends LIT-1575), LIT-1625 (Scherlis et al., Polysemanticity and Capacity in Neural Networks, the causal scrubbing appendix’s “polysemanticity toy model paper”, extends LIT-323), LIT-1623 (Griffiths and Ghahramani 2005, the Indian buffet process’s original paper), LIT-1627 (Teh, Görür and Ghahramani, the stick-breaking construction), LIT-1622 (Van Gael, Saatci, Teh and Ghahramani, the beam sampler), LIT-1628 (Ghahramani and Jordan, Factorial Hidden Markov Models, dated 1995-11 by its NIPS 8 version under ADR-002) and LIT-1626 (Knowles and Ghahramani, infinite sparse factor analysis and ICA). Eight NOTEs, all Read, and twelve THEORYs, eight Active and four Proposed. Early Vision and Curve Circuits cite their distill.pub URLs, because the DOIs they print (.002 and .006) do not resolve. The readings found, among other errors, that Curve Circuits places in mixed4a the curve shapes its links put in mixed3b; that Scherlis et al.’s §4.3 keeps a scale error that v4 corrected in §4.4, and that its contributions credit an author it does not list; that a footnote of Ghahramani and Jordan’s claims that orthogonal features decouple the chains under any diagonal noise, where only isotropic noise does; and that Knowles and Ghahramani call Nα the total number of features.
  • A curation entry for the reading: the request, the eight works with their LIT, NOTE and THEORY codes and what was read of each, the unresolvable DOIs, the factorial HMM’s date, the errors found, and the works the readers named and did not register.

Changed

Changed

  • ADR-065: a reading’s promote_when asks only for what its title asserts. Reported and one-study titles go Active on their reading; wider demands move to a QUESTION or to a Proposed THEORY that extends the entry. General titles keep their strict conditions.
  • The held timer stays as a floor (ADR-057 v7): the worklist now also brings a held entry back early when something its blocker note names has moved, an entry revised or a work read.
  • Twenty-second status review (ADR-057; workbench entry of 2026-10-30): ADR-065 applied to the 58 readings its survey flagged.
  • Promoted: 53 readings. 29 were narrowed first, seven of them for titles that misstated their sources (THEORY-375, 383, 1158, 889, 1104, 924, 943).
  • Filed beside them: 46 new entries: 32 Proposed THEORYs carrying the sources’ wider theses with the old conditions, 10 QUESTIONs, and 4 interpretive CLAIMs carrying the record’s own critiques.
  • Kept: THEORY-989, 613, 1192, 564 and 351. THEORY-1192’s condition now asks for what its title claims.
  • Proofs: ten proofs are promoted on a second checker’s re-derivation, which each body now writes out.
  • Endosymbiosis readings: their edges to QUESTION-277 become bears_on.
  • README: a version-of-record demand with no discrepancy named is dropped, as ADR-065 §4 says.

Added

  • From the owner’s exchange “Field Existence Question” (2026-10-27, U1–U10), which went from a field that interacts with nothing to structural realism, Barad’s apparatus and agential cut, Jaksland, and luria: a Proposed thesis, the owner’s U8 analogy, that relata stand to relations as realizations to specifications and that the constraints are realized too, unrestricted in domain (CLAIM-477); an Active demonstrated claim, the owner’s U6 observation, that in the record a typed relation is more constrained than its relata and that its rigidity is not soundness (CLAIM-479); a Proposed thesis, the owner’s U7, that luria is an apparatus in Barad’s sense for a record’s objects and only for them, resting on CLAIM-419 and CLAIM-195 (CLAIM-476); a Proposed thesis that choosing an apparatus is open to evaluation while a cut’s exclusions fix no obligation (CLAIM-472); questions on when constraints constitute rather than characterize, with detected, maintained and constituted boundaries (QUESTION-284, refined by QUESTION-030), and on whether independence can be approximately true (QUESTION-280, Jaksland’s); and a Proposed term for three senses of “cut” (TERM-087). Thirteen works registered unread, Barad’s three among them. A workbench entry and a curation entry.
  • Read in full, at the owner’s request, the two open works the exchange put first: Jaksland 2024 (LIT-1673, NOTE-1230) and Faye and Jaksland 2021 (LIT-1672, NOTE-1220), both now Active; five THEORYs, three Active (Barad’s agential realism as naturalized metaphysics applied once, not a template, THEORY-1083; Bohr’s phenomena epistemic and his relata real, THEORY-1076; quantum mechanics not entailing agential realism, THEORY-1071) and two Proposed (Jaksland’s no-approximation conditional, THEORY-1086; the measurement-problem challenge, THEORY-1091). Barad 2003 (LIT-1653) is Unavailable under ADR-041. A curation entry records the lookups and findings.
  • From U11–U14 of the same exchange (a second share, 08:15–09:05 UTC): a Proposed thesis, the owner’s U12, that scale separation makes constraints and organization makes separation, resting on CLAIM-477 and CLAIM-331 (CLAIM-478); a question, the owner’s U14, on the transitions by which forms arise and pass away and whether creation, stabilization and a constitutive role are separate achievements (QUESTION-281). Thirteen works registered unread (Rheinberger, Pickering, Bowker and Star, Deutsch and Marletto, Rosen, Fenichel, Haken 1996, Flack 2017, Wilson 1975, Knobloch 2015, Langer 1969, Ashwin et al. 2012, Toner and Tu 1995). A second workbench entry and a curation entry.
  • The remaining twenty-three works from the exchange looked for, at the owner’s request (“take care of those readings”): five read in full and Active, Rovelli 1996 (NOTE-1227), Deutsch and Marletto 2015 (NOTE-1219), Flack 2017 (NOTE-1216), Ashwin et al. 2012 (NOTE-1215) and Toner and Tu 1995 (NOTE-1228), with eleven THEORYs, eight Active and three Proposed; three Unfetched under ADR-053 (Goguen and Burstall, Fenichel, Knobloch) and fifteen Unavailable under ADR-041. A curation entry.
  • The record’s own rates measured, at the owner’s request (“run your measurements against the record”): an executed study of every commit to this record (CASE-180, with scratch/formal/record_rates.py). Once an entry’s first day is past, its prose is revised about once in 22 days, its status once in 128, its relations once in 132, and no relation type has been redeclared; in the first day every layer moves, and validation runs at the rate of the edits it follows.
  • The grammar’s growth measured by level, at the owner’s direction (CASE-178, with scratch/formal/schema_rates.py, run on this record, luria’s and strata-g’s): documents on all 32 days, vocabulary terms on 18, scheme members on 8, schemes and remote projects on one each. Each refinement came in the pull request whose documents needed it, nine times in ten with an ADR, and the grammar’s rates fell while filing rose.
  • From U15–U23 of the same exchange (a third share, 14:41–16:26 UTC), which the owner said “revealed significant maturation of the theory”: the owner’s theses that inquiry is a form of specification (CLAIM-470) and that specifying is itself a resource-bounded realization (CLAIM-475), both Proposed; the owner’s U20 that interactions generate constraints acting as gluing conditions between local descriptions, restated from “inertial frames” through CLAIM-144 (CLAIM-471, Proposed), and its less confident second half that coupling necessarily induces scale separation (CLAIM-473), Rejected on filing against a demonstrated counterexample and condition (CLAIM-481, Active); a demonstrated result that composing interactions turns an equilibrated interior into a boundary constraint, or into memory when the interior is slow (CLAIM-480, Active); a question on observation and inquiry without a conscious investigator (QUESTION-285); and a proposed operational sense of “apparatus” (TERM-089). Twenty-one works registered unread. A third workbench entry and a curation entry.
  • The twenty-one works registered from U15–U23 looked for, at the owner’s request (“get started on the readings”): thirteen read in full and Active (Hansen and Ghrist 2019 and 2021, Singer, Robinson, Torres-Hugas et al., Baez and Fong, Spivak, Stewart, Golubitsky and Pivato, Di Biagio and Rovelli 2021 and 2025, Zurek, Simon 1973, Clarke et al. 2000), with thirteen NOTEs and twenty-eight THEORYs; three Unfetched under ADR-053 (Lindley, Thorstad, Cervera et al.) and five Unavailable under ADR-041 (Fagin and Halpern, Willems, Dewey, Collingwood, Chang). A curation entry.
  • At the owner’s review of the pull request: the operational half of the luria apparatus claim (CLAIM-469, Proposed, demonstrated for three of four functions), split from CLAIM-476; questions on how interaction generates correspondence structures (QUESTION-282) and on when composition forces a richer relational vocabulary (QUESTION-283); a synthesis, that interconnection, compatibility, dynamics, individuation and inquiry are distinct achievements none of which implies the next (CLAIM-474), with the study that would make them come apart (CASE-179, proposed); a workbench entry.
  • At the owner’s request for more terms, five Proposed TERMs for notions the exchange’s claims kept using without a name: correspondence structure, held as formed, discovered or adapted (TERM-093); effective boundary constraint of a composite (TERM-090); relational vocabulary of a class of descriptions (TERM-091); individuation in four senses, with organizational autonomy apart (TERM-088); and inquiry frontier (TERM-092). CLAIM-471, CLAIM-480, CLAIM-474 and CLAIM-475 now name the terms they are stated in.

Changed

  • CLAIM-151 version 3, at the owner’s direction at U6 (“that should be changed. the project’s ambitions are extremely abstract and unrestricted”): the sentence bounding the record (“not about fundamental ontology”) is withdrawn, the claim’s argument and scope are kept, and the general frame is named. Title, defeater, status and warrant are unchanged.
  • Dated notes of 2026-10-27 on six entries: CLAIM-136 (the scope it was filed under), CLAIM-138 (Newman’s paper registered, and the cost carried to the general frame), CLAIM-150 (the guard restated by the exchange), CLAIM-405 (discovered or enacted boundaries, and approximate independence), CLAIM-419 (the loop found again in luria without this claim) and TERM-038 (asked without a domain). No status, title or warrant changed.
  • From the readings: dated notes on CLAIM-476 (its comparison is on the template conception Barad rejects), CLAIM-477 (an unrestricted template; Bohr, not Barad, as its non-eliminative precedent), CLAIM-472, QUESTION-280 (Jaksland leans yes on individuals; a third, contingent answer) and CLAIM-136; TERM-087 corrected in place on the Heisenberg cut, with Barad’s definition of an apparatus at second hand. No status, title or warrant changed.
  • From U11–U14: dated notes on CLAIM-395 (read as the centre of a multiscale account), CLAIM-157 (pressures from the dynamics of transitions), CLAIM-479 (why the relation is rigid: CLAIM-184’s entrenchment and a disparity of rates), CLAIM-476 (Rheinberger, second-order observation, and unmeasured rates), CLAIM-477 (mechanism, universality and kinds) and CLAIM-472 (Bowker and Star). CLAIM-181’s parenthesis that no crystal-growth work is held is corrected in a note: LIT-919 was filed the same day and has been read. No status, title or warrant changed.
  • From those readings: dated notes on CLAIM-327 (its third stage, regeneration by use, is not among Flack’s criteria), CASE-116, CLAIM-478 (supported and widened by Flack, Ashwin et al. and Toner and Tu), QUESTION-281 (a worked case of creation and stabilization coming apart; rate-induced tipping corrected), CLAIM-157, CLAIM-477 (constructor theory’s modal individuation presses its defeater), THEORY-1071 (the 1996 RQM has no ontology of events) and THEORY-136. Ashwin et al. and Toner and Tu take their arXiv v1 dates. No status, title or warrant of a claim changed.
  • From the measurement: dated notes on CLAIM-476 (its rate reading tested), CLAIM-479 (the rigidity in the rates; types are added beside, not redeclared) and CLAIM-478 (a hierarchy with a window, its direction untested). No status, title or warrant changed.
  • From the growth measurement: dated notes on CLAIM-478 (a hierarchy made by thresholds in one loop, not by slow modes), CLAIM-476 (the apparatus reconstituted in the act of filing, by decision) and CASE-180.
  • From U15–U23: dated notes on CLAIM-477 (the synthesis the exchange ended on, and the pressure that conservation laws are not realized by the interactions they constrain), CLAIM-476 (inquiry as specification; the operational sense of apparatus as a split the claim could take), CLAIM-478 (coupling, spectra and evolving gluing), CLAIM-342 (re-derived for an apparatus and for gluing), CLAIM-144, QUESTION-281 (suppression, amplification and frustration as routes), TERM-065 (where its query family comes from; not amended) and CASE-178. No existing entry’s status, title or warrant changed.
  • From the readings of the U15–U23 works: dated notes on CLAIM-471, CLAIM-481, CLAIM-480, CLAIM-473, CLAIM-475, CLAIM-470, CLAIM-419, CLAIM-476, CLAIM-477, CLAIM-143, CLAIM-342, CLAIM-478, QUESTION-285, QUESTION-280, QUESTION-281, QUESTION-063, TERM-089, THEORY-621 and THEORY-276; QUESTION-285 and CLAIM-471 corrected in place where the readings showed an attribution wrong. No status, title or warrant changed.
  • At the owner’s review: CLAIM-471 version 2, restated around physical constraint formation, correspondence discovery and correspondence adaptation; CLAIM-480 version 2, a memory kernel counted as a constraint and the higher-order sheaf reduction (THEORY-1090) brought in; CLAIM-476 version 2, the constitutive thesis only, resting on CLAIM-469; TERM-089 adopted (Active); CASE-180 and CASE-178 version 2, event rates kept apart from time-scale separation; CLAIM-478’s notes corrected to match. No status or warrant of a claim changed.

Changed

Changed

Changed

Changed

Changed

Changed

Changed

Changed

  • Seventeenth status review (ADR-057; workbench entry of 2026-10-30): the pragmatic-transport line is ruled through.
  • Promoted claims:
  • CLAIM-004 leaves rests_on of CLAIM-143 and CLAIM-151, where it was only an attribution. CLAIM-255 now rests on CLAIM-151 and CLAIM-160.
  • 30 claims kept Proposed, each with a note saying what holds it back.
  • Worklist: an objection now counts when only the objector records it, and a claim argued only by unsound arguments is no longer listed as ready.

Changed

Changed

  • Nineteenth status review (ADR-057; workbench entry of 2026-10-30). No claim is left ready for a ruling.
  • Promoted claims: CLAIM-122, CLAIM-353, CLAIM-411 (conceded in CLAIM-412), CLAIM-460, CLAIM-497.
  • CLAIM-282 narrowed to its body. The leave-one-out construction that showed its old title false is filed as CLAIM-502, Active and demonstrated.
  • Eight Active claims no longer ground on unread works: CLAIM-019, -023, -061, -132, -141, -233, -436 and -470.
  • Kept Proposed, each with a note saying what holds it back: 11 claims and THEORY-1114.
  • Worklist: a history note that only mentions an objection no longer counts as writing it in.

Changed

  • Twentieth status review (ADR-057; workbench entry of 2026-10-30).
  • Promoted: CASE-161 and CASE-162, the first lab cases promoted. They rest on their stored results at PerspectiveLab@7e2edc2, re-checked figure by figure. CLAIM-456, CLAIM-466 and CLAIM-454 are promoted with them.
  • No live claim now grounds on a work no NOTE reads. 26 such edges on 14 Proposed claims are dropped. Three move to entries the record holds: CLAIM-471 to CLAIM-480, CLAIM-488 to CLAIM-381, and CLAIM-494 to LIT-1729.
  • Moved to corroboration: THEORY-871 on CLAIM-412. CLAIM-137’s note is brought up to date.
  • Worklist: it lists only the sole blockers that no recent blocker note already answers.

Changed

  • Twenty-third status review (ADR-057; workbench entry of 2026-10-30).
  • Promoted: CLAIM-172 (on a split of THEORY-069), CLAIM-448 and CLAIM-467 (their sole blockers moved to corroboration), and CLAIM-506 (narrowed), 508 and 509. THEORY-937 is promoted narrowed to the gate’s logit, with an exact counterexample for the mixing proportion. THEORY-1100 and 906 are promoted as reports, with their wider theses filed beside them.
  • Held entries rechecked: 15 of the 16 whose blocker notes named something that had moved stay held, each with a dated note. The README now says a recheck leaves a dated note, which is what clears the flag.
  • Worklist: a blocker note naming a temporary code now watches that entry too.

Changed

  • Twenty-fourth status review (ADR-057, ADR-065; workbench entry of 2026-10-30): a reading-based sweep of the 570 Proposed readings with a source read in full.
  • Promoted: 29 readings, about half after narrowing, and CLAIM-471 narrowed to “estimate”. The wider claims are filed beside them as 21 Proposed THEORYs and 14 QUESTIONs.
  • Kept: THEORY-277, 339, 355, 359, 476 and 777, and CLAIM-160.
  • Corrections:
    • CLAIM-448’s removed ground was LIT-1146’s alias, not a code naming nothing.
    • Thirteen NOTE-xxxx placeholders are replaced.

Changed

  • Fourth status review (ADR-057; workbench entry of 2026-10-28).
  • CLAIM-277 promoted. It is promoted on CASE-182, a construction of its two loops (scratch/formal/trust_loop.py). It now rests on CLAIM-282, as its body said. QUESTION-083 is split, and QUESTION-295 is Answered.
  • 168 offered answers moved. Of the 240 Proposed answers edges on Open questions, 168 move to bears_on. ADR-060 version 2 covers offered part-answers.
  • The worklist leaves out sound arguments whose held undercutters already narrow them (ADR-059).
  • Blockers recorded: CLAIM-063’s and CLAIM-004’s are now on the entries.
  • luria 1.3.0 adopted (ADR-057, mechanisms 3–5).
    • reliance ranks the pending report by dependents, and load_bearing: 5 names the most relied on (38, a warning).
    • Four credence checks are reported patterns and fail the lint (all 0).
    • Acknowledgements of retired premises without until are held at a baseline of 41.
  • The owner’s rulings on the five UNSURE edges.
    • CLAIM-160, CLAIM-296 and THEORY-219 now bear on their questions rather than answering them. CLAIM-160 complements CLAIM-204, on intended meaning against the act.
    • CLAIM-485 is filed as the bridge that answers QUESTION-092: what endogenous governance adds in the self-governing sense is revision of its own standards, not allocation of authority.

Changed

Changed

Changed

Changed

Changed

Changed

  • Status-review worklist reordered (ADR-057 version 6). The sections that must be empty come first, now including stale converses (a Proposed reading still supporting an Active claim). Then the work: claims ready for a ruling (unblocked and not held by a recent blocker note), grouped by line; sole blockers, the unheld premises ranked by how many claims each alone holds back; blocker notes a premise has changed since; and readings no source of which is read in full. Reach, which had flattened to 1, is printed last.

Added

  • record/status-review/README.md: how a pass is run, from building the worklist to landing the pull request, including ADR-047’s routing of a narrowing’s dropped clauses. It replaces briefs kept outside the record.

Added

  • ADR-057 (Proposed): status review is ranked by reliance, derived from the record on each pass, covers relations as well as statuses, and makes its changes in the pull request that decides them. It proposes five lint forcing functions against a repeat of the backlog.
  • record/status-review/worklist.py, with tests: load-bearing Proposed entries, credence inversions, retired premises, Open questions with an Active answer, and unblocked Proposed claims.
  • CLAIM-482: a reply to CLAIM-089 on CLAIM-434’s result.
  • TERM-095: inquiry, as (Σ, A, 𝓘, 𝓞, 𝓚, 𝓑).

Changed

  • stale_days: 14. The default of 90 could not name a stale document in a record a month old.
  • CLAIM-365 complements CLAIM-347 instead of resting on it. CLAIM-159 objects_to CLAIM-024. CLAIM-470 and CLAIM-475 use the new TERM.
  • The workbench entry of 2026-10-27 records the pass.
  • The owner’s rulings, 2026-10-27:
  • The five promotions ADR-047’s audit decided and never carried out:
  • Pass 2 (workbench entry of 2026-10-27):
    • CLAIM-283, CLAIM-025 and CLAIM-177 are promoted. CLAIM-283 and CLAIM-177 are narrowed, with their dropped halves filed as CLAIM-484 and CLAIM-483.
    • TERM-094 (Frijda’s action readiness) and CASE-181 (Frankfurt’s unwilling addict) take the place of contested THEORYs as the grounds of claims that used only their concept or case.
    • Four claims move off Superseded TERMs.
    • The worklist counts inversions on ARGs.
  • Pass 3 (workbench entry of 2026-10-27):
    • ADR-058: a THEORY can corroborate a CLAIM. 16 edges move from grounds to corroborated_by.
    • THEORY-1096 states Blackwell’s definitions and easy direction with a proof, and ten claims move onto it. Five claims move from THEORY-174 to THEORY-720.
    • Credence inversions go from 38 to 3. The three that remain need the owner’s ruling.
    • Eight questions are split under ADR-049. ADR-049 version 2 sizes splits by ADR-057’s pass.
  • The owner’s rulings on pass 3:
    • CLAIM-069 and CLAIM-438 are Proposed.
    • ADR-060 adds bears_on and bearing, and moves 102 Active answers edges on Open questions to bears_on.
    • ADR-059 (Proposed) says what a status means for an ARG (credence in its inference) and for a conceded counter (recorded by the target’s revision).
  • ADR-059 is accepted. The worklist lists sound arguments with unheld conclusions in place of ARG premise inversions, and the claims template’s convention for conceded counters is rewritten.

Added

  • Readings filed for unread works that held entries wait on (2026-10-30). 30 new LITs and 38 NOTEs. Five held works return to Active, read from lawful copies: LIT-1728, LIT-588, LIT-1375, LIT-756 and LIT-1079. Works located but not fetchable are filed or marked Unfetched, with their addresses.
  • CLAIM-503: Le Cam’s randomization criterion for finite experiments, derived and checked. Active and demonstrated.

Changed

Changed

  • THEORY-1011 is Rejected at the owner’s decision. Its localization part, that the middle layers causal tracing implicates are where a fact is stored, met its own refutation clause: Hase et al. (THEORY-1024) find edits of equal quality at layers tracing does not implicate. Its promote_when now says what would reinstate it. The conjecture its title bundled, that any fact could be stored equally in any middle MLP layer, is split out to THEORY-1039 (Proposed), under ADR-047’s rule on dropped claims. Its promote_when asks for a clean-run ablation, layer by layer, and rules out more successful edits as evidence. Dated notes on NOTE-1166 and LIT-968.
  • docs.yml cancels a pull request’s docs-check run when a newer push overtakes it. The overtaken run’s repair rebased in the newer push’s unrepaired commits and linted them red. Runs on the default branch are not affected. ADR-054 records it as a consequence (version 2).

Changed

  • Worklist: concessions (ADR-057 v4). The section now reads every Active objection, not only role: granted ones, so counters that went Active when conceded (CLAIM-222, CLAIM-226, CLAIM-243, CLAIM-071) are listed. A target filed with the concession already in its text says so under a fixed note heading, “filed with its concessions”, instead of a version bump.
  • Worklist: live objections. An Active objection written into its target no longer counts as live, so a narrowed claim can show as unblocked.

Changed

  • The status-review worklist (ADR-057, version 3) gains two sections.
    • Held: an entry with a blocker note under 14 days old, headed what holds it back, is listed as held rather than as work, so the next pass does not re-review it.
    • Concessions not written into their targets: an Active granted claim whose target has no revision since the concession. It lists 14 today.
  • THEORY-067’s and CLAIM-169’s blocker notes take the fixed heading.

Changed

  • Worklist: a concession is written only where it is named (ADR-057 v5). A target revised for something else after an objection no longer counts as having conceded it; its history note, or a “filed with its concessions” note, must name the objection. A Proposed objection written in no longer counts as live. Fired on main: eight unwritten concessions surface, among them CLAIM-031 and CLAIM-208 against CLAIM-056.