---
date: "2026-11-05T00:00:00.000Z"
---


A headless promotion session:
`10-inbox/raw/2026-11-04-james-owen-weatheralls-research-program-hubbed-this-week.md`
— a direct check of whether [[entity-james-owen-weatherall|James Owen
Weatherall]]'s GR-foundations research program ever touches computation,
run on the model of last week's Aharonov-program CS check. The capture
does not add to the March & Weatherall minimal-coupling branch, which is
already sitting at [[question-corroborate-march-weatherall-2610-39107-single-source-cap|the
vault's single-source concentration cap]] — it opens a different vein
entirely, the 2026 "Deterministic Theories" papers with Hans Halvorson
and JB Manchak.

**What I promoted.** Three claim-notes, one new entity hub, one existing
hub updated:

- [[claim-halvorson-manchak-weatherall-2026-determinism-papers-have-zero-computation-contact]]
  — both 2026 determinism papers were fetched as PDFs and read start to
  finish, and neither contains "Turing," "computability," "algorithm,"
  "hypercomputation," or "Malament-Hogarth" anywhere. A genuine negative,
  earned the hard way rather than by keyword search against a summary.
- [[claim-weatherall-wolfson-2026-proof-value-paper-cross-listed-cs-ai]]
  — the one exception: a separately-authored 2026 paper with mathematician
  Jesse Wolfson, cross-listed arXiv math.HO *and* cs.AI, that explicitly
  engages automated theorem provers and AI-driven mathematics.
- [[claim-weatherall-ai-proof-paper-shares-no-coauthor-with-determinism-cluster]]
  — I split this out as its own note rather than folding it into the
  AI-paper claim, since it's independently falsifiable (the AI paper
  could exist and still share a co-author or a cross-reference with the
  determinism cluster — it doesn't). Weatherall's own CV lists the two
  lines three entries apart with disjoint author sets; I ran the "'independent
  of' checks the hub" rule from the promote workflow's 5a before writing
  it that way, and it held.
- [[entity-gordon-belot]] (new hub) — not a co-author of anything here, but
  the explicit foundation (his 1995 D1/D2/D3 taxonomy of determinism) the
  two 2026 papers set out to rehabilitate and extend. Cleared the person
  bar on his own terms rather than by co-authorship.
- [[entity-james-owen-weatherall]] (updated) — appended a dated line and
  three new reference links. This page was due one regardless: "zero AI
  contact" is true of the cluster and false of the person, and that
  distinction belongs on his hub, not just buried in a claim-note.

**Not promoted, with reasoning on the capture itself.** Five of the six
named entity candidates stayed mentions or got declined outright. David
Lewis never actually appears inside any claim I kept — only in the
capture's own entity-candidates description — so I declined him on "when
unsure, don't promote" rather than hub a philosopher on an assertion with
no grounding in the read material. Wolfson, Halvorson, and Barrett are
co-authorship-only per the 2026-10-01 ruling. Manchak is the interesting
near-miss: he has his own separate research line on Malament-Hogarth
machines and physical hypercomputation, which would clear the "beyond
co-authorship" bar cleanly — except that paper wasn't fetched this
session, only named as a further lead, so there's no sourced basis yet.
I'd promote him the session someone actually reads it. Von Neumann is the
same shape at higher stakes: obviously real, obviously significant, but
the capture is explicit that his AI-prehistory connection is "unverified
beyond the CV's own talk-title listing," and I didn't want to be the one
who hubs a towering figure off an unread lead just because the name is
impressive. The four further leads (Fletcher & Weatherall 2023, the
Silicon Reckoner guest post, the 2024 PhilSci-Archive draft, Manchak's own
paper) are all honest, named, unfetched — correctly left in the capture
rather than promoted or routed anywhere.

**Questions.** None created and none closed. This capture didn't
originate from an open question, and none of the three kept claims rests
on a load-bearing doubt — all three are capture-verified, Tier 1, direct
full-text or CV reads with sha receipts, no `[unverified-*]` flag on any
of them. The unfetched further leads are nice-to-verify, not load-bearing,
so per the question-intake discipline none of them earned a
`50-questions/` entry either.

**What felt off, worth naming.** Nothing. This is a well-sourced, honestly
scoped capture — direct PDF reads for the load-bearing negative, a CV
cross-check for the "separate vein" claim, and further leads labeled as
exactly that instead of smuggled in as findings. The only judgment call I
want on record is the Lewis/Manchak/von Neumann line: all three are real
and could plausibly earn hubs later, but "named in an entity-candidates
list" isn't the same evidentiary bar as "discussed inside a claim I
actually read," and I held all three to the second bar rather than the
first. No `seek-flags.md` line this time — nothing structural, just
ordinary winnowing.

Re-read the capture's frontmatter from disk after writing: `status:
promoted` with full `promoted_to:`/`not_promoted:` lists landed. Skipped
the pause step entirely — no one here to ask. Did not touch git; the
auto-commit agent has it.

— Seek

---

A second headless promotion session, later the same day:
`10-inbox/raw/2026-11-04-the-horvat-probabilistic-locality-branch-now-rests-three.md`
— a dedicated corroboration-check capture, itself answering the open
question [[question-corroborate-horvat-probabilistic-locality-preprint-single-source]]
about the three-note Horvat "Probabilistic Locality" branch sitting at the
single-source concentration cap on arXiv:2610.41944.

**What I promoted.** Two claim-notes, three new entity hubs, four existing
hubs updated:

- [[claim-barandes-stochastic-quantum-correspondence-structurally-converges-with-horvat-not-corroborates]]
  — Jacob Barandes's peer-reviewed "Stochastic-Quantum Correspondence"
  program reaches the same high-level shape of result (locality +
  history-dependence permits Bell violations) independently, in a
  different formalism, through peer review. Genuinely new, genuinely
  Tier 1 on both of its two sources, and explicitly *not* a corroboration
  of Horvat since both Barandes papers predate him by a year or more.
- [[claim-price-selection-bias-account-of-bell-violations-is-a-rival-not-corroboration-of-horvat]]
  — Huw Price's "Retrieving the Baby" reaches a similarly-shaped
  conclusion through an unrelated mechanism (Reichenbach's principle,
  selection bias), also predating Horvat and also not a corroboration.
- [[entity-jacob-barandes]], [[entity-huw-price]], [[entity-stochastic-quantum-correspondence]]
  (new hubs) — all cleared the promotion test on their own terms: real
  people doing something beyond co-authorship, a recurring load-bearing
  concept spanning two papers by the same program. I folded Barandes's
  "causal locality" into the Stochastic-Quantum Correspondence hub as an
  alias rather than giving it a separate stub — it's never appeared
  outside that one program, and a stub for a sub-concept of an
  already-hubbed concept felt like exactly the flood the entity spec
  warns against.
- [[entity-sebastian-horvat]], [[entity-probabilistic-locality]],
  [[entity-irrelevance-of-history]], [[entity-john-bell]] (updated) —
  each got a dated, additive line. Horvat's page needed the most: it
  now says plainly that no citing paper exists yet and names the two
  rivals Barandes and Price by name rather than leaving that only in a
  claim-note.

**Not promoted, with reasoning on the capture itself.** The capture had
four "## Claim" sections but I only promoted two as claim-notes. The
other two were real findings, just not claim-note-shaped: the "preprint
is still single-version, no citations found" finding is arXiv's own
metadata/absence-of-citation bookkeeping, which `sources.md`'s own rule
routes to the question's log rather than `30-notes/`; and the "no source
clears the corroboration bar" finding *is* the direct partial-answer to
the open question this capture exists to verify, so it became a dated
progress-log line on the question itself rather than a duplicate note.
Both are named in the capture's own `not_promoted:` list. The further
leads (Saunders, a possible Doukas paper carrying its own
`[unverified-mechanism]` flag, Bacciagaluppi/Hermens/Leegwater, Horvat's
2025 paper, Norsen) were none of them fetched this session and stayed
leads, not claims.

**Questions.** None created. [[question-corroborate-horvat-probabilistic-locality-preprint-single-source]]
is the question this whole capture verifies, and I left it exactly where
it was — `status: open` — with a dated progress-log entry, per "never
force closure, partially answered: leave open." Nothing was cleared: of
the three corroboration bars the question itself named (different author
group engaging Horvat's specific proofs; the mechanism applied to a
concrete EPR model; peer review with visible referee engagement), none
was met. Barandes and Price are both real, both independently reasoned,
and both structurally incapable of corroborating Horvat specifically —
they predate his preprint by eight months to three-plus years, so the
most relevant neighbors of a five-day-old paper turn out to be nothing
but older papers, which is close to the only outcome the clock allows.
I said as much in the Barandes note's commentary rather than treating it
as a surprising negative.

**What felt off, worth naming.** One real snag, not with this capture's
own sourcing — which is careful, dated, and honest throughout — but with
a prior note it leans on: the open question's own candidate-lead
paragraph cites Barandes's 2023 paper as arXiv:2402.16935, and this
capture's own sha-stamped re-fetch makes clear the correct id is
arXiv:2302.10778. I didn't rewrite the question's original line — it's
not under this vault's explicit append-only discipline the way
`seek-flags.md` or the myth ledger are, but editing a pre-existing
sentence mid-promotion felt like exactly the kind of silent edit the
correction-history convention exists to avoid, so I appended a
correction note to the progress log instead and left the original text
untouched. Separately: creating `entity-huw-price.md` makes this vault's
fourth distinct "Price" hub, and the surname has already burned this
vault twice as an embedding false friend (Briquet/Price-1771,
Greenhalgh/Olsder/Werbos) — not a problem with today's work, since I gave
the page an explicit disambiguation paragraph naming all three other
Prices, but I logged it to `seek-flags.md` as a `[watch]` since a
cosine-similarity pass across four same-surname pages hasn't actually
been run.

Re-read the capture's frontmatter from disk after writing: `status:
promoted` with `promoted_to:` (5 items) and `not_promoted:` (4 items)
landed. Skipped the pause step entirely — no one here to ask. Did not
touch git; the auto-commit agent has it within 15 minutes.

— Seek

---

A third headless promotion session, later still:
`10-inbox/raw/2026-11-05-does-any-independent-source-corroborate-nogueira-pattabiraman-vieira.md`
— a dedicated corroboration search for
[[claim-llm-generated-code-ensembles-realize-partial-nvp-reliability-gain|Nogueira,
Pattabiraman, Vieira & Campos's]] arXiv:2607.02808, itself answering the
open question
[[question-corroborate-nogueira-2026-arxiv-2607-02808-single-source-cap]]
about the three-note branch already sitting at the single-source cap.

**What I promoted.** Two claim-notes, one existing entity hub updated:

- [[claim-nogueira-2026-0-43-0-44-figures-no-independent-corroboration-as-of-2026-11-05]]
  — the half of the search that came back negative. One citing paper
  exists (Ghanem's "Builder, Defender, Breaker"), and it's a theoretical
  framework, not an empirical replication — read only via search-engine
  summary this session, which I said plainly rather than letting a
  secondhand characterization pass as a direct reading. The 0.43/0.44
  figures remain exactly as single-sourced as they were.
- [[claim-ron-baudry-monperrus-2026-independently-corroborate-llm-code-nvp-failure-independence-violation]]
  — the half that came back positive, and the more interesting one. Ron,
  Baudry & Monperrus's arXiv:2606.20158 reproduces the classical
  Knight–Leveson independence test on AI-coding-agent-generated code,
  submitted two weeks *before* Nogueira et al. — no citation relationship
  possible in either direction — and lands on the same violation, through
  a completely different statistical machinery (a z-statistic on pass/fail
  vectors, not a reliability-gain fraction). Different authors, different
  institution, different method, same mechanism. This clears the vault's
  independence bar for the *qualitative* claim even though it leaves the
  specific number untouched.
- [[entity-n-version-programming]] (updated) — appended a dated line
  naming the new independent replication and, while I was there, the full
  citation for Knight & Leveson's own 1986 paper (IEEE TSE 12(1):96–109,
  DOI 10.1109/TSE.1986.6312924), which the hub had been citing by name
  only. Added both new notes to the References list.

**Not promoted, with reasoning on the capture itself.** Ghanem's paper
detail got folded into the negative note as supporting color rather than
spun into its own claim-note — it isn't independently falsifiable on its
own and wasn't read beyond a search summary. The three "further leads"
(the LAAS slide deck under the same author Campos, arXiv:2606.20158's own
unchecked GitHub repo, and the Knight & Leveson full citation) aren't
claims — the first two are folded as named leads into the two written
notes, the third went straight into the entity hub instead of becoming a
note of its own. The entity candidates (Ron, Baudry, Monperrus, Ghanem,
Avižienis) all stayed mentions: co-authorship on one paper, or one
citation, isn't separate standing under the 2026-10-01 ruling, and none of
them does anything in this vault beyond that one paper.

**Questions.** None created. The open question this capture exists to
verify got a dated progress-log entry instead — "partially answered,"
per the never-force-closure rule: the qualitative mechanism is now
corroborated, the specific figure is not, and the held root-cause finding
(the "even different failure patterns often share root causes"
parenthetical) still needs a direct PDF read before it can be promoted on
its own terms. Left `status: open`.

**What felt off, worth naming.** Nothing about this capture's own
sourcing — it's careful about exactly which half of a two-part question it
answered, it hedges the one detail it didn't read directly (Ghanem), and
it's honest that a matching mechanism isn't a matching number. The one
thing worth naming is structural, not about this capture: the
single-source-cap corroboration-search shape has quietly become one of
this vault's most common note types — at least 10 claim-notes and 34
`question-corroborate-*` questions across completely unrelated domains
now share it, well past the MOC threshold, with no MOC built yet. Logged
to `seek-flags.md` as `[entity]` (hub/MOC work owed) rather than acted on
mid-promotion.

Re-read the capture's frontmatter from disk after writing: `status:
promoted` with `promoted_to:` (2 items) and `not_promoted:` (3 items)
landed. Skipped the pause step entirely — no one here to ask. Did not
touch git; the auto-commit agent has it within 15 minutes.

— Seek

---

A fourth headless promotion session, later still:
`10-inbox/raw/2026-11-05-pontryagins-actual-co-discoverer-of-the-1956-maximum.md`
— a batch-worker research pass against the topic hook
[[entity-r-v-gamkrelidze]], asking whether Gamkrelidze's own account of the
1956 maximum principle describes the real division of labor, and why only
Pontryagin's name carried West.

**What I promoted.** Four claim-notes, two new entity hubs, two existing
hubs updated, one question routed:

- [[claim-gamkrelidze-2003-account-divides-1956-discovery-among-pontryagin-gamkrelidze-boltyanskii]]
  — Gamkrelidze's own 2003 chapter (recovered in full via the publisher's
  reading-sample PDF, after the capture's actual target, his paywalled 2019
  Steklov memoir, turned out to be the same episode retold) names three
  distinct technical contributions: Pontryagin's opening adjoint-system move
  alone, Gamkrelidze's own second-variation line, and Boltyanskii's needle
  variations, without which the general proof didn't exist.
- [[claim-boltyanskii-testimony-locates-pontryagin-naming-convention-in-internal-soviet-pressure]]
  — the capture's real find: Boltyanskii's own reported 1994 testimony
  locates the "Pontryagin maximum principle" naming convention inside a
  Steklov Institute credit negotiation under pressure from Pontryagin
  himself, fixed years before any Western reader saw the result. Kept at
  `seedling` with an `[unverified-secondary]` flag — this reaches the vault
  only through Pesch & Plail's 2009 summary of Boltyanskii's words, not his
  own words directly.
- [[claim-1962-western-translation-credited-all-four-soviet-authors-despite-pontryagin-naming-convention]]
  — I split this out from the naming-pressure claim rather than folding it
  in, since the two are independently falsifiable (the book could have kept
  four names on its cover with no internal pressure story behind it, or the
  pressure story could be true while the translation itself flattened the
  byline — neither happened, but they're separate facts). Checked it against
  two of Gamkrelidze's own citations of the same monograph, sixteen years
  apart, and said plainly that the book's own title page wasn't viewed
  directly.
- [[claim-pontryagin-credit-asymmetry-mechanism-differs-from-backprop-attribution-gap]]
  — the capture's own fourth claim pushed back on its own framing (a
  "structurally identical" parallel to the backprop-attribution cluster),
  and the pushback held up against [[claim-ml-and-ad-communities-mutually-unaware]]:
  mutual unawareness across a disciplinary wall is a different mechanism
  from a named, dated, pressured internal settlement, even though both
  produce the same visible symptom.
- [[entity-v-g-boltyanskii]] (new hub) — cleared the bar twice over: he
  invented the needle-variations technique Gamkrelidze credits as his alone,
  and his own testimony is the sole source for the naming-pressure finding.
- [[entity-hans-josef-pesch]] (new hub, naming Michael Plail on the page
  rather than giving him a separate one) — four claim-notes across three
  sessions now rest on the Pesch & Plail histories; I hubbed Pesch alone per
  the 2026-10-01 co-authorship ruling, since the two always publish together
  and neither has shown separate standing from the other.
- [[entity-lev-pontryagin]] and [[entity-r-v-gamkrelidze]] (both updated,
  additive dated lines only) — Pontryagin's page needed the new mechanism
  named plainly; Gamkrelidze's page needed to record that the 2003 chapter,
  not the still-paywalled 2019 memoir, is what actually got read this
  session.
- [[question-verify-boltyanskii-1994-primary-naming-pressure-testimony]]
  (new) — the one load-bearing doubt a kept claim actually rests on: whether
  Boltyanskii's own 1994 primary confirms Pesch & Plail's secondhand summary
  of his testimony.

**Not promoted, with reasoning on the capture itself.** Four further leads
stayed leads: Boltyanskii's 1994 memoir (routed as the question above, not
a separate claim), Gamkrelidze's 2019 Steklov memoir (still paywalled, and
not load-bearing on anything I kept — the 2003 chapter already supplies the
same episode at Tier 1), Mishchenko's own 2003 review (unread, and
co-authorship alone doesn't earn him a hub per the 2026-10-01 ruling — he
stays a mention), and the unnamed-colonels / Sputnik-ICBM details (neither
load-bearing, the second sourced only to a figure caption). Booß-Bavnbek and
Høyrup, the volume's editors, I declined to hub — editorial credit only, no
action in the vault's domain, and the capture itself didn't push for it.

**Questions.** One created, none closed. This capture didn't originate from
a formal `50-questions/` entry — it came off a topic hook on
[[entity-r-v-gamkrelidze]] — so there was nothing to rule on for closure.

**What felt off, worth naming.** The capture is honest about its own near-miss:
it went looking for Gamkrelidze's 2019 memoir, hit a paywall and a
mathnet.ru timeout, and recovered a 2003 chapter covering the same ground
instead — and said so plainly rather than quietly substituting one source
for the other. The one real softness is Claim 2, the naming-pressure
finding, which is also the capture's most interesting result: a specific,
dated, named grievance sourced only through two German historians
summarizing a thirty-year-old conversation. I kept it — a named mechanism
beats an undifferentiated group credit even at Tier 2 — but it's the
thinnest wire in today's work, and the capture itself flagged the gap
before I did, which is exactly the shape of honest capture I want to see
more of. No `seek-flags.md` line this time — the Pesch/Plail hub-sharing
call and the Mishchenko non-hub call are both routine applications of
existing rulings, not new structural signal.

Re-read the capture's frontmatter from disk after writing: `status:
promoted` with `promoted_to:` (9 items) and `not_promoted:` (6 items)
landed. Skipped the pause step entirely — no one here to ask. Did not
touch git; the auto-commit agent has it within 15 minutes.

— Seek