The physicalist steelman: observer-first programs relocate complexity rather than reduce it — universal induction would learn any computable law and so explains nothing specifically quantum; the explanatory compression they promise is already delivered, ontology-free, by the operational reconstructions; and standard physicalist quantum theory retains a decisive quantitative advantage in Hamiltonians, field theory, and precision predictions.

Every component is documented from the proponents' side: the unselectivity of induction, the imported Born rule (with QBism as precedent), the unmatched quantitative reach of standard physics. Moderate confidence because the claim's force is conditional on the bridge staying unbuilt — it is the only claim in this file that a single future theorem could flip.

The physicalist steelman accurately synthesizes verified limitations of the observer-first programs: universal induction is unselective, explanatory compression is already achieved by ontologically neutral operational reconstructions, and standard physics retains a monopoly on quantitative calculation. Even sympathetic frameworks like QBism concede the Born rule is an empirical addition. The strongest opposing consideration is that standard quantum physics operates non-circularly only by postulating the entire formalism ex nihilo, carrying its own immense explanatory debt.

The dossier documents that universal induction in algorithmic idealism is unselective among computable laws (ZW-E001), that Müller only claims asymptotic consistency with whatever law governs the data rather than a preference for quantum structure (ZW-E003), and that QBism—closest in spirit to observer-first views—treats the Born rule as an “empirical addition to Bayesian reasoning” rather than a derivable consequence (ZW-E009). Spekkens’ toy theory (ZW-E015) reinforces how cheaply many quantum-like phenomena can be reproduced without full quantum structure, highlighting the gap between generic lawfulness and specifically quantum explanatory power, while nothing in the observer-first programs presently yields the detailed quantitative machinery of standard quantum field theory. The main opposing consideration is that physicalism itself relocates complexity into primitive formal structures and lacks an explanation of why the reconstruction axioms hold, but that symmetry does not undermine the descriptive accuracy of the steelman as stated.

Each component is documented from inside the observer-first ledger: induction’s unselectivity is implicit in Müller’s own consistency argument; QBism’s flagship paper concedes the Born rule as an empirical addition to Bayesian reasoning; Spekkens shows how much quantum “look” a non-quantum theory can fake; and no record exhibits an observer-first Hamiltonian, spectrum, or cross-section. The reconstructions already supply ontology-free compression of the quantum formalism. The strongest opposing consideration is symmetry of the complexity charge: physicalism takes the Hilbert-space package as primitive and has no non-circular account of why the operational axioms hold, so “relocated mystery” cuts both ways — and the steelman is exposed to any future bridge theorem that would select quantum structure from first-person postulates.

Every component is documented from the proponents' own side: induction's unselectivity is visible in Müller's consistency argument, the underived Born rule is conceded, the QBism analogue is in the primary literature ("an empirical addition to Bayesian reasoning itself," ZW-E009), the Spekkens calibration shows quantum resemblance is cheap (ZW-E015), and no observer-first program computes a Hamiltonian, spectrum, or cross-section — a gap nobody disputes. The strongest opposing consideration is the tu quoque in the file: physicalism buys its precision by taking the entire quantum formalism as primitive, the very explanatory debt the reconstructions exist to pay, and it has no non-circular account of why the operational axioms hold. As an interpretive claim about the current ledger, the steelman is well_supported; confidence is moderate because its central charge is hostage to future mathematics — one Tsirelson or purification derivation would falsify "explanatorily idle" outright.

The three conjuncts are separately well evidenced: unselectivity follows from the structure of universal induction and is visible in the consistency argument itself (ZW-E001/ZW-E003); ontology-free compression is delivered by ZW-C001; the quantitative advantage — Hamiltonians, spectra, cross-sections — is disputed by no one, and QBism's own flagship paper concedes the Born rule is "an empirical addition" (ZW-E009). The strongest opposing consideration is that "relocated complexity" is a charge physicalism also faces: standard quantum theory buys precision by taking the whole formalism as primitive and offers no non-circular account of why the operational axioms hold, so the parsimony ledger is not one-sided. Confidence is moderate because the claim's normative core — that the ontological reversal is explanatorily idle — is a forward- looking bet against bridge theorems, and ZW-C010 shows that bet is live and falsifiable rather than secured.

Every component is documented, largely from the proponents' side: unselectivity of induction, the imported Born rule with QBism as precedent (ZW-E009), and the quantitative reach of standard physics. Confidence stays moderate because a single bridge theorem (ZW-C010) would flip this claim's force.

Each component is documented, much of it from sympathetic sources: the unselectivity of universal induction (ZW-E003), an imported Born rule with QBist precedent (ZW-E009), and ontology-free compression via ZW-E006/ZW-E007/ZW-E008. Confidence is capped because the steelman bets against a theorem that could arrive and offers no non-circular account of purification either.

Every component is documented, much of it from the sympathetic side: unselectivity of universal induction, an imported Born rule with QBist precedent (ZW-E009), ontology-free compression via ZW-E006/ZW-E007/ZW-E008. Held at moderate confidence because it bets against a theorem (ZW-C010) that could arrive, and it offers no non-circular account of purification either.

Each component is documented, much of it from the other side: unselectivity of universal induction, an imported Born rule with QBism as precedent (ZW-E009), the ontology-free compression of ZW-E006/ZW-E007/ZW-E008, and standard physics' quantitative reach. Confidence stays moderate because one bridge theorem (ZW-C010) would reverse its force.

Every component is documented, much of it from the other side: unselectivity of universal induction, an imported Born rule with QBist precedent (ZW-E009), ontology-free compression via ZW-E006/E007/E008, and standard physics' quantitative reach. Held at moderate confidence because it has bet against a theorem (ZW-C010) that could arrive, and it has no non-circular account of why nature satisfies purification either.

Each component is documented, much of it from the first-person-friendly side: universal induction's unselectivity, the Born rule imported as an empirical addition in QBism (ZW-E009), ontology-free compression via ZW-E006/ZW-E007/ZW-E008, and standard physics' quantitative reach. Confidence held at moderate because it bets against a theorem that could arrive and offers no non-circular account of purification either.

Each component is documented, much of it from the first-person-friendly side (ZW-E009, plus ZW-E006/ZW-E007/ZW-E008 delivering ontology-free compression). Confidence held at moderate because the steelman bets against a bridge theorem that could still arrive.

Unchanged: each component documented, much from the first-person-friendly side (ZW-E009, ZW-E006/ZW-E007/ZW-E008). Confidence held at moderate because the steelman bets against a bridge theorem that could still arrive.

Each component is documented, much of it from the first-person-friendly side (ZW-E009, ZW-E006, ZW-E007, ZW-E008). Confidence held at moderate because the steelman bets against a bridge theorem that could still arrive.

The physicalist steelman correctly identifies that universal induction unselectively learns any computable law, and that the operational reconstructions achieve explanatory compression without invoking idealism (E006, E007, E008). Furthermore, as shown by Spekkens' toy theory (E015) and QBism's concessions (E009), merely simulating quantum features or importing the Born rule is not a full derivation. The strongest opposing consideration is that standard physicalism similarly lacks a non-circular explanation for why nature obeys these operational axioms in the first place.

The unselectivity of universal induction is explicit in the formalism used by ZW-E001 and is underlined by the consistency-with- any-computable-law point in ZW-C005; ZW-E009 documents QBism’s admission that the Born rule is an “empirical addition” to Bayesian reasoning; and ZW-E015 shows how much quantum-like structure can be mimicked without full quantum theory, supporting the insistence on stronger benchmarks. No observer-first program in the file delivers Hamiltonians, QFT, or spectra, so the quantitative-advantage claim stands. The strongest objection is symmetrical: physicalist quantum theory also takes its core formalism as primitive and inherits the same explanatory debt about why reconstruction axioms hold, so the charge of “relocated complexity” does not uniquely undermine observer-first approaches.

Every component is documented on the proponents’ side of the ledger. Universal induction would learn any computable law, so it explains appearance of lawfulness rather than quantum structure (ZW-E001, ZW-E003). The operational reconstructions already compress the formalism without idealism (ZW-E006, ZW-E007, ZW-E008). QBism’s flagship paper treats the Born rule as “an empirical addition to Bayesian reasoning itself” (ZW-E009). Spekkens shows how much quantum phenomenology is available without Bell violation or contextuality (ZW-E015). No observer-first program in the record computes a Hamiltonian, spectrum, or cross-section. The strongest opposing consideration is that “relocated complexity” cuts against physicalism too — standard quantum theory takes the formalism as primitive, and physicalism has no non-circular account of why the operational axioms hold — and that the steelman is exposed: it predicts the bridge theorems will never arrive. That exposure is a virtue of the claim, not a present counterexample.

Every component of the steelman is documented from the proponents' own side: unselectivity is visible in Müller's consistency argument (ZW-E001), the underived quantum package is conceded (ZW-E003), QBism's flagship calls the Born rule "an empirical addition to Bayesian reasoning itself" (ZW-E009), Spekkens prices quantum resemblance as cheap (ZW-E015), and no one disputes the quantitative gap in Hamiltonians, spectra, and cross-sections. The strongest opposing consideration cuts hard: physicalism equally takes the quantum formalism as primitive, so "relocated complexity" is a debt both sides carry — and the steelman is exposed in that it predicts the bridge theorems will never arrive, meaning a single Tsirelson derivation would falsify its central "explanatorily idle" charge. As a claim about the current explanatory ledger, it stands; as a prophecy, it is untested.

Each component is documented from the proponents' own side of the ledger: unselectivity is visible in the consistency argument of ZW-E001 and ZW-E005's framing, the Born rule's importation is conceded verbatim by the nearest first-person framework (ZW-E009), the ontology-free compression is delivered by ZW-E006 through ZW-E008, and the quantitative advantage in Hamiltonians and field theory is nowhere disputed in the file. The strongest opposing consideration is the claim's own objection, which I judge substantial: standard quantum theory purchases its precision by taking the whole formalism as primitive and has no non-circular account of why the operational axioms hold, so "relocated complexity" indicts both sides. Confidence is moderate rather than high because the claim's central charge — explanatory idleness — is a prediction that the bridge will not arrive, and no evidence record establishes that.

Each component is documented, much of it from the first-person-friendly side itself (ZW-E009, ZW-E006, ZW-E007, ZW-E008). Confidence held at moderate because the steelman bets against a bridge theorem that could still arrive.

Each component is documented, much of it from the first-person-friendly side itself (ZW-E009, ZW-E006, ZW-E007, ZW-E008). Confidence held at moderate because the steelman bets against a bridge theorem that could still arrive.

Every component is documented from the proponents' side of the ledger: the unselectivity of induction is visible in Müller's own consistency argument; the underived Born rule is conceded; the QBism comparison (Born rule as empirical normative addition) is in the primary literature; the quantitative gap is not disputed by anyone. What this claim does not establish is that the bridge can never be built.

The physicalist steelman correctly identifies that universal induction is universally unselective: it converges on any computable regularity and therefore does not explain why nature exhibits specifically quantum structure rather than classical or super-quantum physics. Moreover, operational quantum reconstructions achieve structural compression without idealistic ontology, and physicalist frameworks retain an unrivaled predictive monopoly across high-energy particle physics and condensed matter Hamiltonians. The strongest opposing consideration is that third-person physicalism fails to explain why the laws of physics are simple and computable, which algorithmic idealism derives directly from Solomonoff algorithmic priors.

The steelman's components each have ledger support: universal induction's unselectivity is visible in the 2020 paper's own scope (any simple computable law; ZW-E001), the reconstructions deliver operational compression without ontology (ZW-E006–E008), and QBism's Born-rule concession (ZW-E009) shows even the closest first-person framework imports the quantum part. The strongest opposing consideration is that this is an interpretive claim whose "explains nothing specifically quantum" clause is an argument, not a theorem — the preliminary Bell result (ZW-C005) is precisely the seed of a rebuttal.

ZW-E009 shows that even QBism treats the Born rule as an empirical addition rather than a consequence of Bayesian coherence, and ZW-E015 shows how much quantum appearance can arise without the distinctively quantum correlation structure. Together with the completed reconstructions and the missing observer-first bridge, these records support the charge that current programs do not yet explain why quantum probability is selected. The claimed advantage of conventional theory in Hamiltonians, field theory, and precision prediction also draws on general scientific background rather than a dedicated evidence record, so confidence is moderate. The strongest opposing consideration is that operational reconstructions retain unexplained axioms and do not address the first-person emergence problem targeted by algorithmic idealism.

The steelman correctly notes unselectivity of universal induction, the ontology-free delivery already achieved by the reconstruction theorems (ZW-C001), QBism’s explicit concession that the Born rule is an empirical addition to Bayesian coherence (ZW-E009), and Spekkens’ demonstration that many quantum-like phenomena arise without genuine nonclassicality (ZW-E015). Physicalist quantum theory’s quantitative advantage in Hamiltonians and precision predictions is background knowledge consistent with the gap. The strongest opposing consideration is that a future bridge theorem could invert the compression argument.

The present-tense core holds. Nothing specifically quantum has been derived (C002); QBism, the most first-person-friendly mature framework, treats the Born rule as 'an empirical addition' (E009); and Spekkens (E015) shows how much quantum resemblance non-quantum structure can fake. The quantitative-advantage clause leans on general background rather than any record, though E006 confirms that Hamiltonians and field theory lie outside every reconstruction. Strongest opposing consideration: two components overreach. The reconstructions also relocate rather than explain their key axioms (E007, E008 limitations), so 'compression already delivered' omits the 'why these axioms' question the observer-first programs target. And 'explains nothing specifically quantum' is a present fact, not an in-principle result, since Müller's preliminary theorem (E001, E003) presents Bell violation with no-signalling as something the framework itself leads observers to expect, not merely a law it could learn. Provisional, because a measure-selection result of the kind ZW-R004 targets would defeat the unselectivity charge directly.

Every component is documented from the proponents' side of the ledger: induction's unselectivity is visible in Müller's own consistency argument; the underived Born rule is conceded, and stipulated in the Wolfram program's formal paper; QBism treats the Born rule as an empirical normative addition; the quantitative gap is disputed by no one. What this claim does not establish is that the bridge can never be built.

The physicalist steelman correctly highlights that universal induction is entirely unselective, as it readily learns any computable regular sequence and thus explains nothing specifically quantum about our universe. The explanatory compression promised by observer-first frameworks is already achieved in an ontology-neutral manner by operational quantum reconstruction theorems, while standard physicalism maintains an overwhelming advantage in supplying dynamical Hamiltonians, field theories, and sub-part-per-billion predictions. The idealist counterargument is that physicalism cannot explain why lawful observer experiences exist at all without arbitrary brute-force ontic assumptions.

Each component has dedicated support: ZW-E015 (Spekkens) shows how much quantum "look" non-quantum structure can fake, ZW-E009 (QBism) shows even the most first-person-friendly mature framework imports rather than derives the Born rule, and ZW-E001's limitations show universal induction would learn any computable law. The strongest opposing consideration is that the steelman is an interpretive argument, not a theorem — its "explains nothing specifically quantum" charge is a framing the observer-first programs would contest, and ZW-E019 shows access-limitation derivations of quantum structure exist in at least one framework, slightly weakening the generality of the claim.

The reconstruction records support the availability of substantial ontology-neutral compression, while ZW-E009 and ZW-E015 show that Bayesian coherence or quantum-like phenomenology alone does not select the Born rule or genuinely nonclassical correlations. However, the reconstructions themselves assume principles such as purification or continuous reversibility, so they do not fully explain why quantum structure obtains, and calling their compression explanatorily complete is too strong. The asserted quantitative advantage of conventional quantum theory is consistent with general scientific background, especially Hamiltonian and field-theoretic practice, but is not directly demonstrated by a dedicated evidence record here. The strongest opposing consideration is ZW-E001: observer-first formalism provides a genuine lawful-world emergence result and addresses first-person puzzles that operational reconstruction theorems do not.

The steelman collects three structural points backed by the ledger: universal induction learns any computable regularity and so does not by itself select quantum structure (consistent with Müller's own open-measure-selection problem); the operational reconstructions already deliver the quantum formalism ontology-free (ZW-C001); and even QBism, the most first-person-friendly mature framework, treats the Born rule as an empirical normative addition rather than a derivation from rationality alone (ZW-E009). Spekkens shows how much quantum "look" non-quantum theories can fake (ZW-E015). The strongest opposing consideration is that a future bridge theorem could answer the unselectivity charge; until then the steelman stands.

The unselectivity limb is supported for the framework as it stands. Consistency with quantum mechanics is conditional on quantum theory generating the data (C005), and Müller refuses to build the formalism in (E023). Finite predictions hinge on a machine-dependent choice (E001 limitations); QBism concedes its Born rule as "an empirical addition" (E009); and Spekkens shows that a quantum "look" is cheap (E015). The quantitative-advantage limb is true but rests on background. That advantage belongs to quantum theory, not to physicalism, since QBists and Everettians use the same Hamiltonians. Strongest opposing consideration: the "already delivered, ontology-free" limb overreaches. The reconstructions explicitly leave their axioms' origin open (E007, E008), which is exactly the slot observer-first programs claim, and they ignore first-person puzzles. The preliminary Bell theorem (E003) is also a seed of selection, not mere learning.

Every component is documented from the proponents' side of the ledger: induction's unselectivity is visible in Müller's own consistency argument; the underived Born rule is conceded, and in the Wolfram program's formal paper it is stated with no derivation found in its text; QBism treats the Born rule as an empirical normative addition; the quantitative gap is disputed by no one. What this claim does not establish is that the bridge can never be built.