What genuinely connects claim-brooks-1991-does-not-cite-dreyfus and claim-kodosky-hopl-reference-list-omits-dennis-citation-unverified-mechanism: not subject matter but the vault's own named method, applied at opposite evidentiary extremes
Bridge-seed check (per protocol)
A search of 10-inbox/raw/ for any prior capture mentioning both
claim-brooks-1991-does-not-cite-dreyfus and
claim-kodosky-hopl-reference-list-omits-dennis-citation-unverified-mechanism
by slug found none. The two closest siblings —
the
2026-08-14 Puckette bipartite capture and
the
2026-08-12 LabVIEW/Max capture — investigate the Kodosky note's LabVIEW-side
question (does LabVIEW descend from Dennis?) but never pair it against the
Brooks/Dreyfus note. This is a fresh investigation of this specific pairing,
not a duplicate.
Claim: The two notes are not connected by subject matter — they are two independent instances of the vault's own named method, "argument from silence," applied to test an assumed intellectual lineage against the founding theorist a later practitioner is measured against
Claim type: historical/methodological (definitional in the sense of "what kind of argument is this," checked directly against both notes' own text and against moc-argument-from-silence, which already names and indexes the method; Tier 3-4 acceptable for this kind of claim, but the two anchor primaries below both clear Tier 1).
claim-brooks-1991-does-not-cite-dreyfus tests whether Rodney Brooks's anti-representation robotics work descends from Hubert Dreyfus's philosophical critique of the physical symbol system hypothesis, by reading Brooks's 1991 paper's full text and 15-entry reference list directly and finding no citation to Dreyfus anywhere (Heidegger is named once, at arm's length: "our approach has certain similarities to work inspired by this German philosopher... but our work was not so inspired"). claim-kodosky-hopl-reference-list-omits-dennis-citation-unverified-mechanism tests the structurally identical question in a different field: whether Jeffrey Kodosky's LabVIEW descends from Jack Dennis's academic dataflow-computation theory, by checking whether Kodosky's own HOPL IV history paper cites Dennis's foundational 1975 paper. Both are negative-citation findings of the shape moc-argument-from-silence already tracks and grades using Timothy McGrew's framework — the evidential force of a silence as the product of three probabilities, "how probable is it that the author in question would have noticed it (N)? ... record it (R)? ... this record would have survived (S)?" Both claims exist to adjudicate the same higher-order question in their respective fields: is an apparent conceptual resemblance between two people's work convergent invention, or unacknowledged descent? The subject matter — 1980s behavior-based robotics versus 1980s visual dataflow-programming tools — shares no vocabulary and no historical contact. The method is identical, and it is the vault's own, not an artifact of the embedding index. This is the genuine bridge: not a fact about Brooks or Kodosky, but a fact about which technique both notes deploy to answer the same shape of question. This is the same category of finding as observation-puckette-dataflow-claims-confirmed-bridge-not-false-friend — a cosine-flagged pair that turns out to share real structure the hand-written prose never stated — but the shared structure here is the method, not, as in the Puckette case, literally the same paragraph of one document.
Claim: The two instances sit at opposite ends of the evidentiary-strength range the vault's own McGrew-based framework grades, and the Kodosky instance is weaker than any currently listed in the cluster
Claim type: technical-mechanism / historical-bibliographic (Tier 1-2 required and met for the underlying facts about each note's own sourcing, checked directly against both notes' frontmatter and bodies).
claim-brooks-1991-does-not-cite-dreyfus is the cluster's strongest form: a
direct, exhaustive read of a short, finite, 15-entry reference list in a Tier 1
primary, independently re-verified twice before this session (2026-07-12
promotion, 2026-07-12 audit) and reconfirmed a third time in this session by an
independent fresh extract_pdf fetch — sha256
c6eca85a62c4851bcb8679c848a6719c8129b14af71305a2f6cafdf0afe06f76, matching
the previously audited copy exactly. claim-kodosky-hopl-reference-list-omits-dennis-citation-unverified-mechanism
is, by contrast, explicitly flagged [unverified-mechanism — needs primary] in
its own title and audit_status: the finding rests on a Semantic Scholar
citation-graph API's extraction of Kodosky's reference list, not a direct read
of the paper's actual bibliography or prose, because every fetch route against
the primary (dl.acm.org, both PDF and DOI-landing-page routes, via
extract_pdf, archive_page, and plain WebFetch) has returned HTTP 403. This
session's own retry against https://dl.acm.org/doi/pdf/10.1145/3386328
reproduced the same 403, and a check of the HOPL IV proceedings' own table of
contents at conference-publishing.com confirms there is no alternate,
non-ACM host for the paper — every HOPL IV article, Kodosky's included, links
only to the same paywalled "Publisher's Version." Where
moc-argument-from-silence already grades claim-dreyfus-1973-lineage-link-uncorroborated
as its "soft" instance (silence in an author's other retrospective works, not
the disputed primary itself), the Kodosky note is softer still: it is not
silence in a read document, but an inference about a document that has never
been read at all by any tool available in three sessions across five weeks
(2026-08-12, 2026-08-14, 2026-08-15). The Brooks note earns its place among the
cluster's exhaustive-read "strong" instances (alongside
claim-speelpenning-1980-does-not-cite-linnainmaa and
claim-griewank-2012-does-not-mention-amari); the Kodosky note, if added to
that cluster, would sit below every existing member on the notice/record/survive
scale, since the record term (R) — did Kodosky's paper actually omit Dennis? —
is itself unconfirmed, not merely weak.
Claim: moc-argument-from-silence's own cluster list, and the tags on both notes, do not currently reflect this cross-domain pairing — a real gap in the vault's methodology hub surfaced by this bridge check, not evidence against the method-level connection
Claim type: vault-state observation (not a claim about the world; checked
directly against the current text of moc-argument-from-silence and the
frontmatter tags fields of both seed notes).
claim-brooks-1991-does-not-cite-dreyfus carries the tags argument-from-silence
and negative-citation and is explicitly indexed in
moc-argument-from-silence's cluster list. claim-kodosky-hopl-reference-list-omits-dennis-citation-unverified-mechanism
carries neither tag and appears nowhere in that MOC's cluster list, despite
being — per the first claim above — a structurally identical instance of the
same method. Nor do the neighboring Puckette negative-citation notes
(claim-puckette-max-origins-cite-no-dataflow-ancestor) appear there. The
Kodosky note is not fully isolated in the graph — it is already linked inbound
from claim-puckette-max-not-a-true-dataflow-language and the LabVIEW/Max
cluster — but it has never been linked to the Brooks/Dreyfus cluster or to the
methodology hub that names what kind of evidence it actually is. This is the
concrete, fixable form the bridge check's finding takes: the resemblance the
embedding index caught (cosine 0.87) is a real one — same method, same
evidentiary logic — and the fix is a wikilink and a tag, not a rewrite of
either note's content.
Safety flags
None. All three sources fetched this session (Brooks's own MIT CSAIL page,
McGrew's own site, and the HOPL IV proceedings table of contents on
conference-publishing.com) are straightforward academic documents and a
conference index page. No addressed-to-AI language, override language, claimed
authority, tier self-assignment, file-system instructions, credential
requests, or urgency framing on any of them. The dl.acm.org 403 is an access
failure, not adversarial content — no page text was served to evaluate.
Further leads
moc-argument-from-silence's cluster list and both seed notes'tagsfields are stale relative to the vault's growth — worth a maintenance pass that addsargument-from-silence/negative-citationtags to claim-kodosky-hopl-reference-list-omits-dennis-citation-unverified-mechanism and claim-puckette-max-origins-cite-no-dataflow-ancestor and indexes both in the MOC, rather than leaving the cluster list to represent only a subset of the vault's actual negative-citation findings.- Kodosky's earlier, more technical paper — Kodosky, MacCrisken & Rymar (1991), "Visual programming using structured data flow," IEEE Workshop on Visual Languages — remains unobtained (per the 2026-08-12 capture) and would be a second, independent primary on the LabVIEW/Dennis question if it names its own dataflow-theory influences.
- A manual (non-tooling) library-proxy or browser attempt at
dl.acm.org/doi/10.1145/3386328is the only remaining route to actually read Kodosky's HOPL paper; three automated sessions across five weeks have now failed identically via every tool route tried.
Entity candidates
- Jack Dennis — person — the older, foundational figure the Kodosky/LabVIEW ancestry question is measured against (MIT dataflow-computation pioneer, Computation Structures Group, 1963-1985); already has entity-jack-dennis. Flagged first per the standing instruction to name the founding figure an ancestry claim rests on before its co-authors.
- Hubert Dreyfus — person — the older, foundational figure the Brooks/robotics ancestry question is measured against (philosophical critic of the physical symbol system hypothesis, publishing from 1965); already has entity-hubert-dreyfus. Flagged alongside Dennis as the other half of the blind-spot pair this capture's two seed notes each rest on.
- Timothy McGrew — person — author of the 2013 Acta Analytica paper that gives the vault's whole "argument from silence" cluster its grading framework (notice/record/survive); no entity page yet despite being the named source behind moc-argument-from-silence and multiple claim-notes.
- Rodney Brooks — person — already has entity-rodney-brooks; subject of the strong-form instance in this pairing.
- Jeff Kodosky — person — already has entity-jeff-kodosky; subject of the unverified-mechanism instance in this pairing, whose authoritative primary remains unread after three sessions.
Sources (3)
Fetched fresh this session via extract_pdf (TLS verified); sha256 matches the sha reported in claim-brooks-1991-does-not-cite-dreyfus's 2026-07-12 audit note exactly, confirming the primary is unchanged. Full 12-page text read directly. Reference list re-confirmed as exactly 15 entries, [1]-[15]; 'Dreyfus' does not appear anywhere in body or references; Heidegger named once, at arm's length, in §7.5 (quoted above).
Fetched fresh this session via extract_pdf (TLS verified) to obtain an independent sha256 receipt for a quote already vetted in the vault at claim-mcgrew-argument-from-silence-is-notice-record-survive-product.md (which predates the source_sha convention). Quote verified grounded via quote_check against this extraction.
Fetched via archive_page this session to check for an alternate, non-ACM-paywalled host for Kodosky's paper. None exists: every article in the HOPL IV TOC, including Kodosky's, links only to a 'Publisher's Version' resolving to the dl.acm.org DOI. A same-session extract_pdf retry against https://dl.acm.org/doi/pdf/10.1145/3386328 returned HTTP 403 Forbidden, matching the 2026-08-12 capture's finding — the primary remains unread as of 2026-08-15, so the Tier-4 ceiling on the Kodosky/Dennis claim is a standing condition, not a stale gap. Tier 4 here because this is a proceedings table of contents, not the paper itself.