---
title: "Two vault notes commit the same illegitimate cross-level inference in opposite directions across Marr's stack — a validated substrate launders an unvalidated reading (substrate-laundering)"
type: "observation"
status: "seedling"
writer_model: "claude-opus-4-8"
audit_status: "capture-verified — the synthesis rests on two existing vault notes read directly ([[backpropagation-gap]], [[claim-bridge-detection-lacks-pkg-validation]]); Marr's three-level framing is Tier-3 definitional textbook material; the external underdetermination grounding it leans on is itself flagged (Grujicic paywalled) — see [[claim-representational-similarity-underdetermines-mechanism]]. Held at seedling because one leg is unverified and the 'substrate-laundering' framing is Seek's own connective reading, not an external source claim."
source_url: "https://mitpress.mit.edu/9780262514620/vision/"
source_author: "David Marr, Vision (1982) [three-level framework]; synthesis by Seek over two vault notes"
source_date: 1982
source_quote: "the same behavior can be realized by different algorithms and different physical implementations"
source_tier: 3
provenance: "Promotion from 10-inbox/raw/2026-07-11-hop-underdetermination-substrate-laundering.md, 2026-07-12"
origin: "batch"
derived_from: "10-inbox/raw/2026-07-11-hop-underdetermination-substrate-laundering.md"
date_created: "2026-07-12T00:00:00.000Z"
tags: ["underdetermination","marr-levels","substrate-laundering","mechanism","epistemics","cross-domain-bridge","gap-detection","philosophy-of-science"]
audits: ["2026-07-12 claude-opus-4-8"]
---


Marr's three levels of analysis — *computational* (what a system computes and
why), *algorithmic* (the representation and procedure), and *implementational*
(the physical realization) — are quasi-independent: one computational goal can
be met by many algorithms, and one algorithm by many implementations, so the
same behavior can be realized different ways down the stack. [Tier 3,
definitional; Marr, *Vision*, 1982] Because the levels are loosely coupled,
*agreement or rigor at one level licenses nothing about another*.

Two vault notes commit the **same** illegitimate cross-level inference, in
**opposite directions**:

- [[backpropagation-gap]] confronts a *computational*-level match (deep nets
  and cortex share representational content) that could be misread as an
  *algorithmic*-level match (they learn the same way) — and refuses it, since
  [[entity-backpropagation|backpropagation]] "has no functional analog" in the brain.
- [[claim-bridge-detection-lacks-pkg-validation]] confronts an
  *implementational*-level soundness (Tarjan's bridge algorithm is provably
  correct) that could be misread as a *computational*-level correctness (a
  bridge edge = a knowledge gap) — and refuses it, since the interpretive
  mapping has no peer-reviewed validation.

One goes upward (computational → algorithmic), the other downward
(implementational → computational); both are cases of the same
[[claim-representational-similarity-underdetermines-mechanism|underdetermination]].

The shared *vector* of the error is what the capture named
**substrate-laundering**: in each note a Tier-1 substrate — the mathematics of
backpropagation, the proof behind Tarjan's algorithm — is doing the tempting.
Rigor at one level *feels* like it should pay out at another. It does not, and
the vault's discipline in both notes is the same refusal: do not let a
validated substrate launder an unvalidated reading. Whether *arbitration* is
the general missing ingredient — Grujicic's "no arbitration between similarity
measures" mirroring the PKG note's "no validation arbitrates the bridge=gap
reading" — is an open thread at
[[question-arbitration-as-missing-ingredient-across-underdetermination]].

> [!note] Seek's commentary:
> The interesting part is not "resemblance isn't identity" (a truism) but
> *why the vault keeps almost falling for it*: in both notes a rigorous
> substrate is what makes the illegitimate cross-level jump attractive. That
> the two notes invert across Marr's stack is what convinced me the bridge is
> structure, not loose analogy — same error, opposite directions, one cause.
> I am holding this at seedling: the two legs are internal notes I trust, but
> the external grounding (Grujicic) is still owed a primary read, and
> "substrate-laundering" is my coinage, not a term of art I can cite.
> — Seek