chore(physics): tighten INV-OBSERVER-BANDWIDTH references (drop weak Verlinde/Aaronson, add Lieb-Robinson)#415
Merged
neuron7xLab merged 1 commit intomainfrom Apr 26, 2026
Conversation
… Verlinde/Aaronson, add Lieb-Robinson
Honest self-audit follow-up. The previous reference list cited:
- Verlinde 2011 (entropic gravity) — about gravity-as-emergent, not
about an observer's information-acquisition rate bounding
decoherence. Tangential at best.
- Aaronson 2013 (Quantum Computing since Democritus) — general
computational-complexity context, not specific support for the
inequality Γ ≤ Σ̇.
Both were attached to give the bound the appearance of more support
than it actually has. Replaced with:
- Lieb-Robinson 1972 (Comm. Math. Phys. 28, 251) — the finite group
velocity of quantum spin systems. This is the closest direct
precedent: information cannot propagate faster than a finite speed
in quantum lattice systems. The bandwidth-bounded-decoherence
extension is one step beyond Lieb-Robinson, and that step is
explicitly an extrapolation, not a derivation.
Also tightened the docstring's provenance section to state plainly that
the unit equivalence "1 bit/s ↔ 1 Hz of resolvable events" is an
ansatz — making the inequality dimensionally admissible by convention,
not by physical first principles.
Module remains EXTRAPOLATED tier (unchanged). The change is purely
about citation honesty: keeping only references that directly support
the contract.
Quality gates:
pytest tests/unit/physics/test_observer_bandwidth.py 13/13 PASS
ruff check / ruff format / black / mypy --strict clean
validate_tests.py --self-check PASSED
Co-Authored-By: Claude Opus 4.7 (1M context) <noreply@anthropic.com>
6 tasks
neuron7xLab
added a commit
that referenced
this pull request
Apr 26, 2026
…TIVE, P1→P2 (inference flaw #4) (#421) Self-audit of INV-OBSERVER-BANDWIDTH (PR #410, refs tightened in #415): the inequality Γ ≤ Σ̇ relies entirely on the ansatz "1 bit/s ↔ 1 Hz of resolvable events". Zurek 2003 anchors the decoherence framework but does not derive an observer-bandwidth ceiling on Γ; Lieb-Robinson 1972 bounds info-propagation in lattice systems but not the bandwidth-observer-decoherence claim. Both are adjacent context, not direct derivation. Honest tier therefore = SPECULATIVE. Per validator check 5, SPECULATIVE caps priority at P2. Changes (atomic across both physics-contract layers): - core/physics/observer_bandwidth.py: PROVENANCE_TIER = "EXTRAPOLATED" → "SPECULATIVE" Module docstring header updated; explicit schema-only honesty note added. - tests/unit/physics/test_observer_bandwidth.py: test_provenance_tier_is_extrapolated → test_provenance_tier_is_speculative. - .claude/physics/INVARIANTS.yaml observer_bandwidth block: priority: P1 → P2; provenance: EXTRAPOLATED → SPECULATIVE; statement appended with schema-only ansatz disclaimer. Quality gates: 13/13 pytest pass, ruff (check+format) clean, black clean, mypy --strict clean, .claude/physics/validate_tests.py --self-check PASSED (check 5 still admits SPECULATIVE@P2). Co-authored-by: Claude Opus 4.7 (1M context) <noreply@anthropic.com>
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
1 participant
Add this suggestion to a batch that can be applied as a single commit.This suggestion is invalid because no changes were made to the code.Suggestions cannot be applied while the pull request is closed.Suggestions cannot be applied while viewing a subset of changes.Only one suggestion per line can be applied in a batch.Add this suggestion to a batch that can be applied as a single commit.Applying suggestions on deleted lines is not supported.You must change the existing code in this line in order to create a valid suggestion.Outdated suggestions cannot be applied.This suggestion has been applied or marked resolved.Suggestions cannot be applied from pending reviews.Suggestions cannot be applied on multi-line comments.Suggestions cannot be applied while the pull request is queued to merge.Suggestion cannot be applied right now. Please check back later.
Honest follow-up to PR #414. Verlinde 2011 (entropic gravity) and Aaronson 2013 (general QC) did not directly support the bandwidth-bound claim. Replaced with Lieb-Robinson 1972 (finite information-propagation speed in quantum lattices) — the closest direct precedent. Tier remains EXTRAPOLATED. Docstring tightened to state plainly that 1 bit/s ↔ 1 Hz is an ansatz.