Pith Review · 14 Nov 2026 · public
The paper says
The Physics of the One Who Is Looking: Recognition Boundary Theory
Pith holds no abstract for this paper, so none is quoted here.
Pith says
Machine review · 14 Nov 2026 · read the full text (98,194 characters) · not checked by a person
It can be wrong. Get a human review.
Major revision. The manuscript is not yet publishable as a physical theory of the observer because the bulk of theorems labelled Proved on the step live only in the 402-page companion [1], the real orthogonal step remains empirically vulnerable under Renou et al. until a restoring coupling is shown, and the abstract plus Section 17 still present Identified or Open readings (experience, heaven, personal non-erasure, holography) as if they were settled physics.
31 major objections · 7 minor · 2 referees: 1 major revision, 1 rework and resubmit
The paper, first character to last
The referees were given the whole text, 98,194 characters. They were also given images of all 37 pages. Not checked: code, what the 39 references say.
The paper says, at Page 5
The review quotes the paper here. The passage is shown to the review's owner only.
Pith says: Objection 1 of 31 · major
In the abstract, Section 2 How to read this paper, and every status line that says Proved on the step, either embed the essential matrix proofs (walls Thms 4.15/5.4, kept-class Thm 7.11/Cor. 7.15, load Thms 8.4-8.6, pointer Thm 10.11) or reframe the paper as an announcement that defers verification to a public fixed-hash deposit of [1]. Verify by confirming a reader without private files can re-derive or recompute those four results.
The paper says, at Page 28
The review quotes the paper here. The passage is shown to the review's owner only.
Pith says: Objection 2 of 31 · major
Elevate the Renou vulnerability to a central caveat in the abstract, Section 1 or 2, and Section 16: every theorem on the step is conditional on a still-open coupling that must restore complex phases where network experiments constrain real theories, or the step as supplied is refuted. Verify that no abstract or summary sentence presents the step theorems as unconditionally physical.
The paper says, at Page 23
The review quotes the paper here. The passage is shown to the review's owner only.
Pith says: Objection 3 of 31 · major
Rewrite the abstract and Section 17 so experience, heaven, death, personal non-erasure and physics chooses who is someone are explicitly labelled Identified or Open and are not presented as proved physics. Verify that a reader of only the abstract and the ten-point table cannot mistake those readings for theorems.
The paper says, at Page 12
The review quotes the paper here. The passage is shown to the review's owner only.
Pith says: Objection 4 of 31 · major
Qualify every holographic claim (abstract, Section 7, Section 15 table) as a reader-side counting bound (Props 1-2) that does not recover the gravitational area law or the factor 1/4; fence the black-hole statement from [4] as external and open here. Verify by searching the abstract and glossary for any sentence that equates the count with the holographic principle without the reader-side qualifier.
The paper says, at Page 26
The review quotes the paper here. The passage is shown to the review's owner only.
Pith says: Objection 5 of 31 · major
Add an explicit statement in Section 16 or the introduction that the Open items on physical realisation of the step, the map from real systems to boundaries, posting order, and the load-to-frequency link block empirical verdicts on concrete observers. Verify that the text no longer describes those gaps only as future work.
The paper says, at Page 1
The review quotes the paper here. The passage is shown to the review's owner only.
Pith says: Objection 6 of 31 · major
Either supply at least one concrete physical implementation and operational prediction, or retitle and reframe the work in the abstract and Section 1 as a speculative conditional framework whose theorems apply only to the defined step. Verify by confirming the title and opening no longer claim an established physical law of the observer.
The paper says, at Page 32
The review quotes the paper here. The passage is shown to the review's owner only.
Pith says: Objection 7 of 31 · major
Include proofs or reproducible computational artifacts for the core finite-matrix claims, or reduce the paper to a review/summary of [1] with [1] made fully available under a fixed hash. Verify that a referee can check the four-dimensional kept class, pointer settling and network joining without private files (PDF page 32).
The paper says, at Page 11
The review quotes the paper here. The passage is shown to the review's owner only.
Pith says: Objection 8 of 31 · major
Qualify all Born-rule and collapse language (Sections 6 and 15) so loads are described as cylinder weights inside the model and the occurrence/frequency link is stated as Not built wherever collapse or Born is mentioned. Verify that no sentence claims derivation of observed outcome frequencies (PDF page 11).
The paper says, at Page 13
The review quotes the paper here. The passage is shown to the review's owner only.
Pith says: Objection 9 of 31 · major
Keep the reader-side qualification in every holographic sentence; fence the black-hole statement from [4] as external and not established here. Verify by confirming no sentence presents Props 1-2 or [4] as recovering Bekenstein-Hawking entropy (PDF page 13).
The paper says, at Page 21
The review quotes the paper here. The passage is shown to the review's owner only.
Pith says: Objection 10 of 31 · major
Demote Sections 13-14 and 17 experience/person/heaven passages to clearly marked philosophical motivation, or supply operational definitions and testable consequences. Verify that metaphysical conclusions are not presented before the model-to-world map is known.
The paper says, at Page 28
The review quotes the paper here. The passage is shown to the review's owner only.
Pith says: Objection 11 of 31 · major
Specify the coupling or state centrally that until it restores complex phases where tested the step as supplied is empirically refuted. Verify that the empirical-viability caveat appears in the abstract and introduction (PDF page 28).
The paper says, at Page 4
The review quotes the paper here. The passage is shown to the review's owner only.
Pith says: Objection 12 of 31 · major
Either include the essential matrix-level proofs or reproducible artifacts for walls, kept-class cut, load bounds and pointer settling, or reframe every such claim as deferred to a publicly checkable fixed-hash [1]. Verify that a reader without private files can re-derive those four results (PDF page 4).
The paper says, at Page 19
The review quotes the paper here. The passage is shown to the review's owner only.
Pith says: Objection 13 of 31 · major
Elevate the real-orthogonal/Renou caveat to the abstract, Section 1 or 2, and Section 16. Verify that no summary sentence presents on-the-step theorems as unconditionally physical.
The paper says, at Page 1
The review quotes the paper here. The passage is shown to the review's owner only.
Pith says: Objection 14 of 31 · major
Rewrite abstract and Section 17 so experience and personhood readings are labelled Identified or Open. Verify that a reader of only those parts cannot mistake them for theorems.
The paper says, at Page 12
The review quotes the paper here. The passage is shown to the review's owner only.
Pith says: Objection 15 of 31 · major
Qualify every holographic claim as reader-side (Props 1-2); fence [4] as external. Verify no abstract or glossary sentence equates the count with the holographic principle without the qualifier (PDF page 12).
The paper says, at Page 27
The review quotes the paper here. The passage is shown to the review's owner only.
Pith says: Objection 16 of 31 · major
State explicitly in Section 16 or the introduction that these Open items block empirical application. Verify the text no longer describes them only as future work.
The paper says, at Page 11
The review quotes the paper here. The passage is shown to the review's owner only.
Pith says: Objection 17 of 31 · major
Qualify every collapse and Born sentence so loads are cylinder weights and the frequency link is Not built. Verify no sentence claims derivation of observed frequencies (PDF page 11).
The paper says, at Page 14
The review quotes the paper here. The passage is shown to the review's owner only.
Pith says: Objection 18 of 31 · major
Flag visibly at every use of the one-set-of-books metaphor in Section 8 that the identification of opening sites with cell accounts remains Open. Verify the ledger reading is never treated as a proved unification.
The paper says, at Page 27
The review quotes the paper here. The passage is shown to the review's owner only.
Pith says: Objection 19 of 31 · major
Add proofs or reproducible matrices/scripts for walls (Thms 4.15/5.4), kept-class cut (Thm 7.11/Cor. 7.15), load martingale (Thms 8.4-8.6) and pointer settling (Thm 10.11), or reframe every such claim as deferred to a fixed-hash public [1]. Verify a reader without private files can re-derive or recompute those four results (PDF page 27).
The paper says, at Page 28
The review quotes the paper here. The passage is shown to the review's owner only.
Pith says: Objection 20 of 31 · major
Place the Renou/real-step caveat in the abstract, Section 1 or 2, and Section 16. Verify no abstract sentence presents step theorems as unconditionally physical.
The paper says, at Page 29
The review quotes the paper here. The passage is shown to the review's owner only.
Pith says: Objection 21 of 31 · major
Rewrite abstract and Section 17 so experience, heaven, death, non-erasure and who-is-someone are labelled Identified or Open. Verify a reader of only those parts cannot mistake them for theorems.
The paper says, at Page 24
The review quotes the paper here. The passage is shown to the review's owner only.
Pith says: Objection 22 of 31 · major
Qualify every holographic claim as reader-side Props 1-2; fence [4]. Verify no abstract or glossary sentence equates the count with the holographic principle without the qualifier (PDF page 24).
The paper says, at Page 27
The review quotes the paper here. The passage is shown to the review's owner only.
Pith says: Objection 23 of 31 · major
Add an explicit blocking-application statement in Section 16 or the introduction. Verify the gaps are no longer described only as future work.
The paper says, at Page 24
The review quotes the paper here. The passage is shown to the review's owner only.
Pith says: Objection 24 of 31 · major
Qualify all Born-rule and collapse language so loads are cylinder weights and occurrence/frequency is Not built. Verify no sentence claims derivation of observed frequencies (PDF page 24).
The paper says, at Page 14
The review quotes the paper here. The passage is shown to the review's owner only.
Pith says: Objection 25 of 31 · major
Flag at every Section 8 use of the ledger metaphor that opening-sites = cell-accounts remains Open. Verify the unification is never treated as proved.
The paper says, at Page 3
The review quotes the paper here. The passage is shown to the review's owner only.
Pith says: Objection 26 of 31 · major
In Abstract and Section 2, label the four-part definition as a stipulated framework whose physical status awaits the Open map from real systems to boundaries (Section 16). Verify the definition is not presented as a derived physical law.
The paper says, at Page 24
The review quotes the paper here. The passage is shown to the review's owner only.
Pith says: Objection 27 of 31 · major
In Section 7 status and Section 15 table, replace reader's side of the holographic bound with reader-side counting bound (Props 1-2); keep the Open count-to-area note. Verify no sentence equates Props 1-2 with the gravitational holographic principle.
The paper says, at Page 23
The review quotes the paper here. The passage is shown to the review's owner only.
Pith says: Objection 28 of 31 · major
Enforce the Identified/Open label in the abstract and Section 17; remove wording that treats the experience identity as settled physics. Verify a reader of those parts cannot mistake it for a theorem.
The paper says, at Page 29
The review quotes the paper here. The passage is shown to the review's owner only.
Pith says: Objection 29 of 31 · major
In Section 17 table row 1, label the personal non-erasure claim Identified/conditional on the Open person-to-history map, or move it out of the what-follows column. Verify it is not presented as established physics.
The paper says, at Page 29
The review quotes the paper here. The passage is shown to the review's owner only.
Pith says: Objection 30 of 31 · major
In Section 17 table row 2, label the claim Identified/conditional, or remove it from the what-follows list. Verify it is not presented as a physics result about persons.
The paper says, at Page 2
The review quotes the paper here. The passage is shown to the review's owner only.
Pith says: Objection 31 of 31 · major
In Abstract and Section 1, replace never / missing law with a precise claim that prior frameworks do not define the observer in this paper's four-part sense. Verify the absolute wording is removed.
7 minor objections
The paper says, at Appendix A
Pith says: minor objection 1 of 7
Clock maps and U are clear; a short note that U^T U = I was verified from the printed definitions (or a deposited matrix) would help reproducibility. Not required to correct a false claim.
The paper says, at Notation / PDF extraction
Pith says: minor objection 2 of 7
Extracted text flattens some exponents (q|B|, N3). Page images are unambiguous; ensure superscripts survive in the published version.
show 5 more
The paper says, at Section 2 / status terminology
Pith says: minor objection 3 of 7
The paper says status lines use four words and no others, but later lines also use Not built and Ruled out. Clean up the editorial inconsistency.
The paper says, at Proposition 2
Pith says: minor objection 4 of 7
State q>=2, or note the proposition is intended for the eight-value sites used later; the q=1 case is degenerate.
The paper says, at References
Pith says: minor objection 5 of 7
Reference [9] (Leibniz Monadologie) is a standard classical citation; give a standard edition if possible. Author-only [7],[8] and U-marked results are inaccessible; keep them optional for the main line.
The paper says, at Figure 5 and dimension counts
Pith says: minor objection 6 of 7
The 40-16-8-4 cascade is central. A brief indication of how neutral weight is detected after one/two/three postings would help readers without [1].
The paper says, at Sections 6 and 15
Pith says: minor objection 7 of 7
Prefer load over chance or probability where the frequency link remains open, unless the probabilistic reading is explicitly assumed.
How this review was made
Reviewed in 24:16 · 7 steps
| References checked | 0:00 to 1:03 |
|---|---|
| Three full readings | 1:03 to 7:53 |
| Claims checked one by one | 7:53 to 10:38 |
| Method and rigour checked | 10:38 to 14:02 |
| Objections checked against your paper | 14:02 to 19:44 |
| The readings compared and a decision reached | 19:44 to 20:34 |
| Your review written | 20:34 to 24:16 |
What this review could not check
- 10 reference(s) could not be checked mechanically (resolver errors).
- Only 2 of 3 referee seats reported; the panel was degraded and confidence is capped.
- No build or artifact reproduction was performed (verification grade V1); theorem and code claims are assessed from the manuscript text only.
- Claim statuses and scores are model judgments anchored to quoted evidence; the deterministic checks cover bibliography resolution and format only.
Where the referees disagreed
Final disposition: major revision versus reject.
- Referee A
- Major revision is enough if self-containment, Renou caveat, and status enforcement are fixed.
- Referee B
- Reject unless a concrete physical implementation is supplied or the work is retitled as speculative conditional mathematics.
- The editor's call
- Major revision. Confirmed defects are presentational and reproducibility failures that a fixed contract can cure; the finite model and status discipline have value once claims are scoped to the step. Retitle/reframe is required inside that contract, not automatic reject.
Whether open physical-map gaps alone force reject.
- Referee A
- Gaps block empirical contact and must be stated as blocking, but do not by themselves reject a labelled conditional programme.
- Referee B
- Without implementation and map the title claim fails; reject or full reframe.
- The editor's call
- Require explicit blocking-application language and either implementation or reframe of title/abstract as conditional framework. That is major revision, not reject on the present evidence.
The reference check
39 references looked up: 28 found, 1 not found, 10 that could not be looked up. 10 look-ups failed on Pith's side.
The 1 to look at
- G. W. Leibniz.La Monadologie (1714), sections 56–57 not found: A work titled "Leibniz’ “Monadologie” 1714-2014" exists, but its first author is not named in this reference; not counted as verified.
The review in full
The editor's letter
Major revision is required. The manuscript is not yet publishable as a physical theory of the observer because the bulk of theorems labelled Proved on the step live only in the 402-page companion [1], the real orthogonal step remains empirically vulnerable under Renou et al. until a restoring coupling is shown, and the abstract plus Section 17 still present Identified or Open readings (experience, heaven, personal non-erasure, holography) as if they were settled physics. The finite model and the status discipline are real contributions once those defects are cured under a fixed contract.
The paper’s strengths are concrete and checkable. Appendix A defines an explicit real orthogonal 64-dimensional recognition step; from the printed clock maps the completeness relation holds and U^T U = I. Propositions 1–6 are self-contained and correct under their hypotheses: the pigeonhole bound on distinguishable settings through a finite opening, the shell-versus-block cardinality comparison, unique addresses under irrational period ratios, prefix dependence of readings, spatial invariance of motion-invariant readings, and nested openings. The Proved/Supplied/Identified/Open ledger and the how-it-could-be-wrong section are unusually transparent, and the Renou real-theory tension is already named rather than hidden.
The decisive weaknesses are equally concrete. Almost every nontrivial claim labelled Proved on the step (exact walls and lineages, four-dimensional kept class cut by three entries, load martingale and 0–1 settling, 256 pointer lines, network joining without new kept weight, coupling stability, write non-passivity) is proved only in [1] (Zenodo 23721170). Appendix A defines U and the aligned sector but supplies neither the iterative neutral-weight calculations nor the spectral arguments; a reader of the submitted PDF cannot re-derive the dimension cascade 40-16-8-4, the 2^{-(n-1)} leak, or pointer convergence. The step is real orthogonal, so record loads depend only on the real part and every record sees only 12 of 64 directions; Renou et al. (Nature 600:625, 2021) already disfavour real quantum theory for networks, and the restoring coupling is left open. The eight-tick test is Supplied, the match to the kept class is not independent evidence, and the step from kept participant-with-record to a point of view that experiences is Identified and listed Open, yet the abstract and the closing vision treat the boundary object and personal consequences as the solution to the one who is looking. Propositions 1–2 are pure reader-side counts; the count-to-area step and the factor 1/4 remain Open, and the black-hole statement is imported from [4]. Four Open items (physical realisation of the step, the map from a real system to its boundary, posting order, and the load-to-frequency link) block any empirical verdict on a laboratory observer. Loads give cylinder weights; occurrence and the frequency link are Not built, so collapse and Born mappings must stay qualified.
Per-section diagnostics follow the same pattern. Sections 1–2 and the abstract overclaim with never / missing law wording and present the four-part point-of-view definition as if it were a derived physical law rather than a stipulated framework awaiting the Open system-to-boundary map. Sections 3–6 correctly label many items Identified or Open in their status lines, yet the body and the glossary still map collapse to the record decides and Born rule to load without the Not-built qualifier. Section 7 proves Props 1–2 and then leans on holographic language that the status line itself keeps Open. Section 8 already marks opening-sites = cell-accounts as Open, but the one-set-of-books metaphor is used without repeating the flag. Sections 9–12 defer network, coupling and write theorems to [1] and leave order and privacy-under-coupling Open. Sections 13–14 and 17 mark body, death, heaven and experience Identified or Open, then list personal non-erasure and physics chooses who is someone as what follows. Section 15’s translation table and Section 16’s open list are careful when read alone; they are undercut by the abstract and the ten-point table. Appendix A is the one fully checkable mathematical core; Appendix B only restates numbers from [1].
The revision contract is fixed and verifiable. (1) In the abstract, Section 2, and every status line that says Proved on the step, either embed the essential matrix proofs (walls Thms 4.15/5.4, kept-class Thm 7.11/Cor. 7.15, load Thms 8.4–8.6, pointer Thm 10.11) or reframe the paper as an announcement that defers verification to a public fixed-hash deposit of [1]; a reader without private files must be able to re-derive or recompute those four results. (2) Elevate the Renou vulnerability to a central caveat in the abstract, Section 1 or 2, and Section 16: every theorem on the step is conditional on a still-open coupling that must restore complex phases where network experiments constrain real theories, or the step as supplied is refuted; no abstract or summary sentence may present the step theorems as unconditionally physical. (3) Rewrite the abstract and Section 17 so experience, heaven, death, personal non-erasure and physics chooses who is someone are explicitly labelled Identified or Open and are not presented as proved physics; a reader of only those parts must not mistake them for theorems. (4) Qualify every holographic claim (abstract, Section 7, Section 15 table) as a reader-side counting bound (Props 1–2) that does not recover the gravitational area law or the factor 1/4; fence the black-hole statement from [4] as external and open here. (5) Add an explicit statement in Section 16 or the introduction that the Open items on physical realisation of the step, the map from real systems to boundaries, posting order, and the load-to-frequency link block empirical verdicts on concrete observers. (6) Either supply at least one concrete physical implementation and operational prediction, or retitle and reframe the work in the abstract and Section 1 as a speculative conditional framework whose theorems apply only to the defined step. (7) Qualify all Born-rule and collapse language so loads are cylinder weights inside the model and the occurrence/frequency link is stated as Not built wherever collapse or Born is mentioned. (8) Flag at every use of the one-set-of-books metaphor in Section 8 that opening-sites = cell-accounts remains Open. (9) In Abstract and Section 1 replace never / missing law with a precise claim that prior frameworks do not define the observer in this paper’s four-part sense; label the four-part definition itself as a stipulated framework awaiting the Open map.
What would alter the decision is full discharge of that contract: core matrix claims made verifiable without private files, Renou caveat central, Identified/Open labels enforced in the abstract and Section 17, holographic and Born language consistently qualified, Open empirical bridges stated as blocking, and title/abstract scoped to a conditional framework or supplied with one concrete implementation. If the companion [1] cannot be made public under a fixed hash and the matrix proofs are not embedded, the only remaining path is a short announcement that claims nothing beyond Props 1–6 and Appendix A consistency. Failure to reframe the physical overclaims or to elevate the real-step vulnerability would keep the manuscript below the bar for a physics journal.
Relative to the field’s publication standard for foundations work that introduces a new finite model of the observer, the present submission sits below the bar for self-contained mathematical claims and for physical scope, but above the bar for status discipline and for elementary on-page theorems. Everett, Zurek, Wick–Wightman–Wigner, and relational quantum mechanics are correctly cited as prior art; the paper does not improve on their open measurement problem until occurrence and frequencies are built. The combinatorial opening bound is weaker than, and must remain distinguished from, gravitational holography. A labelled conditional programme with a checkable 64-dimensional step can meet the standard once the contract is met; an unscoped claim to be the missing law of the one who is looking does not.
Disclosures: this decision letter is the product of a machine-assisted review pipeline that inspected the full extracted manuscript and all supplied page images, re-derived Props 1–6 and U-orthogonality from the printed definitions, and cross-checked the reference-integrity audit (39 items, 0 retractions). Referee A recommended major revision; Referee B recommended reject; Referee C was unavailable. The synthesizer call is major revision with the fixed contract above. No formal-proof artifacts or code were supplied with the upload; verification grade is V1 (on-page propositions plus Appendix A consistency). Source PDF SHA256: 51d23d5eba21a497567ce221eec951b3ee7bc432051d76a7e56deb6e1a8dac1d. Confidence is high on the self-containment, Renou, and status-enforcement defects; moderate on the ultimate physical interest of the step once those defects are cured.
The referees' assessment
The manuscript defines Recognition Boundary Theory around one explicit finite-dimensional object: the recognition step of Appendix A. A clock cell is C^4 with maps K(b',b)=(1/2)D(s(b)I-s(b')L). The full cell is H=C^{{0,1}^2}\otimes C^4\otimes C^4\cong C^{64}. The step is the real orthogonal matrix U=\sum_{x,y}|y\rangle\langle x|\otimes M_{yx} with M_{yx}=\sigma(x)(K(y1,x2)C_x)\otimes(K(y2,x1)C_x). Labels j(y,x)=(y1-x2,x1-x2,y2-x1) are booked on three accounts; posting T appends a label, shifts the loop count by j2, and applies the corresponding V_j. Direct verification from the printed definitions confirms that the clock maps satisfy the stated completeness relation and that U is orthogonal (U^T U=I). All subsequent claims labelled proved on the step are therefore conditional on this concrete real matrix and on the isometry and cylinder-load properties stated as Thm 2.14 and Thm 2.17 of the companion manuscript [1].
On-page Propositions 1-6 are elementary and correct under their stated hypotheses. Proposition 1 is the pigeonhole bound: a distinguishing reading through |B| sites of q values injects any set S into at most q^{|B|} settings and therefore carries at most |B|log2 q bits (3|B| for q=8). Proposition 2 computes the shell cardinality N^3-(N-2)^3=6N^2-12N+8 and notes that for N\ge3 the shell is strictly smaller than the block, so no shell reading separates all block settings. Proposition 3 is the standard irrational-winding fact: addresses (t mod P,t mod Q) are unique for all t if and only if P/Q is irrational. Proposition 4 follows at once from the prefix-invariance of T (Thm 2.14(c)). Proposition 5 is spatial invariance of any reading left unchanged by every motion of space. Proposition 6 is the inclusion of settings under a wider opening. None of these statements requires the 64-dimensional dynamics; they hold for any finite alphabet and any growing record.
The central dynamical claims are not self-contained. The walls (lineages labelled by initial occupation and loop count) are asserted to be exact superselection sectors for every operator built from the record's own events (Thms 4.5, 4.15, 4.17, 5.4 of [1]). The kept class is asserted to be exactly the four-dimensional aligned sector spanned by \psi\pm=|10\rangle\otimes P\otimes P, |01\rangle\otimes P\otimes P and the two swing phases on A\otimes A, cut out after three postings from the successive free-of-neutral dimensions 40-16-8-4 (Thm 7.11, Cor. 7.15). The eight-tick window test is matched to this class (Thm 7.16), the kept weight a_h is shown to form a martingale that converges to 0 or 1 with the initial kept weight (Thms 8.4-8.6), and the present is claimed to settle onto one of 256 pointer lines along almost every endless record (Thm 10.11). Network results (Thm 13.9: joining in round order creates no new kept weight; Thm 16.4: every record sees only 12 of 64 directions at a site) and the coupling/write theorems (Thms 18.20, 20.7) likewise live only in [1]. Appendix A supplies the matrix but not the spectral or iterative calculations; a reader of the submitted PDF therefore cannot re-derive the dimension counts, the 2^{-(n-1)} leak, or the pointer convergence. The paper is transparent about the dependency, yet the abstract and the status lines still present these results as proved for the step.
Physical scope is correspondingly limited. The step is real orthogonal, so every record load depends only on the real part of the state; the twelve-direction privacy of Section 12 is the same fact. Renou et al. [26] have already shown that real quantum theory is experimentally disfavoured for networks. The manuscript correctly flags the issue in Section 16 and leaves open whether the supplied coupling restores complex phases. Until that coupling is exhibited and shown to recover standard predictions where tested, every theorem on the step remains a conditional statement about a real matrix that is already in tension with experiment. In addition, which physical interactions realise the step, the map from a concrete system (brain, apparatus) to its boundary, the origin of the posting order, and the link from loads to observed frequencies are all listed as Open. Without those bridges the theorems give no verdict on any laboratory observer.
Identifications are cleanly labelled yet still drive the rhetoric. The load construction recovers a consistent family of cylinder weights (Thm 2.17) whose form is forced by non-negativity, normalisation and orthogonality; it is not a derivation of the operational Born rule or of which record is met. The eight-tick test and the kept class are both read on the loop account, so their numerical agreement is not independent evidence. The further step from kept by the record to felt (Section 14) and the readings of heaven, death and personal persistence (Sections 13, 17) are explicitly Identified or Open. The abstract and the closing vision nevertheless present the boundary-plus-record object as the solution to the one who is looking. That over-reach is the principal presentational defect.
Comparison with prior literature is accurate on the mathematical side and overstated on the physical side. Exact walls generated by the history itself are a perfect-record version of Wick-Wightman-Wigner superselection and of Zurek einselection; the repeated-record settling of kept weight has the form of nondemolition collapse (Bauer-Bernard); pointer purification recalls Maassen-Kummerer. The combinatorial opening bound is correctly distinguished from the gravitational holographic principle; no derivation of an area law or of the factor 1/4 is claimed or supplied. The paper's genuine strength is its status discipline (Proved/Supplied/Identified/Open) and its explicit how it could be wrong section. Its decisive weakness is that the bulk of the mathematics lives in an inaccessible 402-page companion and that the model-to-world map required for any physical claim remains open. The work is therefore best read as a carefully labelled finite-dimensional programme, not yet as a completed physical theory of observers.
Significance
If the cited computations on the step hold, the work supplies a concrete finite model that realises exact history-induced superselection, a never-silent kept class, and a reader-side capacity bound, while remaining unusually explicit about premises and gaps. The physical identification of that model with observers, experience, death and holography is ambitious and largely untested; the main line still depends on an inaccessible companion manuscript, an open map from the step to real interactions, and the unresolved tension that the step is real while experiment disfavours real quantum theories for networks. The contribution is therefore best read as a carefully labelled conditional programme rather than an established physical theory of the observer.
Strengths (5)
- Unusually rigorous Proved/Supplied/Identified/Open status discipline and an explicit how-it-could-be-wrong section that flags Renou et al.
- Self-contained correct Propositions 1-6 (pigeonhole opening count, shell vs block, irrational addresses, prefix readings, placeless invariance, wider openings).
- Appendix A defines an explicit real orthogonal 64-dimensional step; clock completeness and U^T U = I verify from the printed definitions.
- Clear separation, when status lines are followed, between matrix theorems on the step and physical/experiential readings.
- Honest listing of open items: step realisation, system-to-boundary map, load-to-frequency link, count-to-area, and coupling that would restore complex phases.
The paper's claims, one by one (52)
| Where | The claim, in Pith's words | What the review found |
|---|---|---|
| Abstract; Section 2; five-sentence summary | A point of view is a boundary on reality's one record consisting of a sealed wall, a finite opening, a never-silent motion (participant), and the record it writes, with no body and no place on that list. | not supported by what the paper gives. The four-part definition is the paper's central framing and is used throughout. It is not derived from prior physics; it is stipulated and then filled by later theorems and identifications. Status is unsupported as a physical definition of the observer until the map from real systems to boundaries is supplied (listed Open in Section 16). |
| Section 3; Thm 2.14, Prop. 2.15 of [1] | On the recognition step, a posting is an isometry that never alters earlier entries, keeps lengths and angles between histories, and makes a beginning and its whole history one object in one space. | holds under conditions. Appendix A defines the posting operator T and states the isometry and prefix-dependence properties; full proofs are deferred to [1, Thm 2.14, Prop. 2.15]. Referee checks of the clock maps and of U^T U = I from Appendix A support internal consistency of the step, so the claim is conditional on the cited manuscript rather than independently re-derived here. |
| Section 3 Status; Section 16 Identified item 1 | Reality's own events are postings of this kind, so nothing in reality is ever erased and the past exists as written. | not supported by what the paper gives. The paper already marks reality's events are postings as Identified, not a theorem, and lists physical realisation of the step as Open. Section 3 status and Section 16 Identified item 1 and Open item 1 already separate the theorem about the step from the identification about reality. |
| Section 3; Prop. 2.1 of [1] | Under the cost J(x)=1/2(x+x^{-1})-1 and counts that only increase, a unit posting is the unique cheapest non-identity extension, at cost cosh 1 - 1. | holds under conditions. Stated as proved in [1, Prop. 2.1] and used to motivate double-entry unit postings. The cost functional is supplied from companion work [2]. Not re-derived in the submitted text; status is conditional on [1] and on the appropriateness of J for physical bookkeeping. |
| Section 4; Def. 4.4, Thm 4.5 of [1] | A boundary is a set of histories that no event can leave; every such boundary is a join of atoms (lineages), and the space of histories is the orthogonal sum of its atoms. | holds under conditions. Definition and atomic decomposition are cited from [1]. The definition uses only the event algebra of the step, which is a clean mathematical move. Proofs are not on the page; the claim is conditional on the 402-page manuscript. |
| Section 4; Thm 4.15, 5.4 of [1] | Walls (lineages of beginning occupation and loop count) are exact for every operation built from the record's own events: relative phases across distinct atoms are invisible, and a blend across walls is operationally a mixture. | holds under conditions. This is the paper's main superselection claim and is compared to Wick-Wightman-Wigner sectors and perfect which-path decoherence. The mathematics is said to be exact because the record is the history itself, not an external environment. Verification requires the full event algebra calculations in [1]; not independently verified from Appendix A alone. |
| Section 4; Thm 4.17, 4.21, 5.4 of [1] | No operation built from events, and no posting, moves weight through a wall; the beginning fixes which walls a history occupies at every later stage. | holds under conditions. Conservation of atom weights under event-built isometries and under posting is central to the sealed-wall picture. Cited from [1]; not re-derived here. Conditional on the companion manuscript and on the identification that only event-built operations act inside the record. |
| Section 4; Thm 5.11 of [1] | A rule that treats the symmetries of posting evenly can distinguish only balanced from mixed lineages, reading one bit; it cannot pick a single lineage. | holds under conditions. Used to argue that laws fix what a point of view can be while the beginning fixes which one it is. Proof deferred to [1]. Plausible as a symmetry classification once the posting group is fixed, but not checked from the submitted text. |
| Section 4 Status; Section 16 Identified item 2 | The operations built from the record's own events are all that is available inside the record. | not supported by what the paper gives. The paper already marks the restriction to event-built operations as Identified and notes that wider reads that cross walls exist. Section 4 status and Section 16 Identified item 2 and Open item 3 already state the modelling choice and the existence of crossing reads. |
| Section 5; Thm 7.11, Cor. 7.15, Prop. 2.22 of [1] | Of the 64 independent states of one cell, posting keeps exactly a 4-dimensional class (two currents and a two-phase swing and their blends); three entries cut the free-of-neutral space from 40 to 16 to 8 to 4, and the count stays at four forever. | holds under conditions. Appendix A exhibits the four aligned product states and their one-step labels; the claim that they alone never acquire neutral weight is Theorem 7.11 of [1]. This is a core finite-matrix claim. It is falsifiable by direct computation on U, but the iterative neutral-weight calculation is not supplied in the PDF, so status is conditional. |
| Section 5; Thm 3.4, 3.14, 7.16 of [1] | For a unit beginning, membership in the kept class, never carrying neutral weight, and passing every eight-tick window with certainty are equivalent; the first window passes with kept weight plus (1/128) neutral weight, and the long-run pass chance is 1 only on the kept class. | holds under conditions. The paper itself states that the match is not independent evidence because both sides are read on the loop account. The eight-tick test and account choice are Supplied. Equivalence is conditional on [1] and on the supplied test; it does not independently confirm presence. |
| Section 5; Thm 22.3 of [1] | A window passes exactly when the participant's own loop-account record fixes all eight of the window's inputs. | holds under conditions. Used to equate presence with self-readability of the last eight ticks. Cited from [1]; not re-derived here. Conditional mathematical claim about the loop account, not a general theory of self-access. |
| Section 6; Thm 2.17, Sec. 2.7 of [1] | Record loads are the unique nonnegative, normalized, additive weights on histories coming from conserved length; they induce a unique probability measure on endless records (compared to the Born rule). | holds under conditions. The uniqueness argument is described as elementary (Pythagorean) with Gleason as the deep relative. The paper correctly states that which record occurs and why loads appear as frequencies are Not built. Conditional on [1]; the Born-rule comparison must not be read as deriving empirical outcome frequencies. |
| Section 6; Thm 8.4, 8.5, 8.6 of [1] | The kept weight a of the present has undecided part averaging at most 2^{-(n-1)} times initial neutral weight after n>=2 entries; no finite record decides for every beginning; along every endless record a goes to 0 or 1, to 1 with chance equal to the initial kept weight. | holds under conditions. This is the paper's record-decides / collapse analogue. Figure 6 illustrates the bound for one beginning. Proofs are in [1]; not independently verified. The claim is about conditional weights along records, not about which record is met. |
| Section 6; Thm 8.11 of [1] | For a participant, each single posting names the motion; any two entries name the same motion with certainty, and one entry fixes the whole record. | holds under conditions. Supports the claim that every entry is a witness. Deferred to [1]. Conditional on the kept-class structure of the step. |
| Section 6; Thm 9.12 of [1] | The first record ends what later reads can compare: after the first posting that distinguishes a current from a second state, later reads see only the mixture, while the relative sign remains in the history. | holds under conditions. Presented as decoherence by the system's own first record rather than by an environment. Explicit numerical example with weights 9/25 and 16/25 is given. Calculation cited from [1]; not re-derived here. |
| Section 6; Thm 10.5, 10.11, Def. 10.8 of [1] | The cell has no dark subspace; the step fixes 256 pointer lines, and along almost every endless record the present settles onto one line, with mean shortfall at most 4096*(41/48)^{floor(k/2)} after k entries. | holds under conditions. Pointer-state settling is compared to Maassen-Kummerer purification. The 256 lines and the explicit rate are matrix-level claims from [1]. Not verified from the submitted PDF; conditional. |
| Section 6 Status; Section 16 Identified item 3 | The state of the cell given its record is the present. | plausible, not checked. This is a natural reading of the conditional state rho_{v,h} defined in Appendix A. The paper marks it Identified. Plausible as terminology inside the model; it does not by itself solve definiteness in the physical world. |
| Section 7; Proposition 1 | A reading through an opening with |B| sites each of q values that distinguishes every pair in a set S requires |S| <= q^{|B|}, so the reading carries at most |B| log2 q bits (at most 3|B| bits for q=8). | checked and holds. One-line pigeonhole proof is on the page and correct. Page images confirm the intended exponent q^{|B|} despite flattened extraction. This is a pure counting bound on distinguishable settings, independent of dynamics and of holography. |
| Section 7; Proposition 2 | For a cubic block of N>=3 sites across, the shell has fewer sites than the block (formula 6N^2-12N+8), so no reading through the shell distinguishes all block settings when sites are free. | checked and holds. Shell cardinality and table values (e.g. N=6: 216 vs 152; N=10: inside 512 vs shell 488) check out. Combined with Prop. 1 the conclusion follows for q>1. Correct combinatorial comparison; not a gravitational area law. |
| Section 7; preprint [4] | Around a rotating black hole, what survives of the count is one bit of record per patch of area lambda^2, equivalent to Einstein's equation with G hbar = lambda^2 c^3/(4 ln 2), with lambda = 2 sqrt(ln 2) ell_P from measured G. | outside what this review can judge. Imported from companion preprint [4]; not proved in this manuscript. The paper states it is not a derivation of G and that the quarter and area step remain Open. Out of scope for verification here; must not be read as establishing the holographic bound in this paper. |
| Section 7 Status; Section 15 | The count through an opening is the reader's side of the holographic bound. | claims more than the paper shows. Prop. 1 bounds what can be read, not what is there, and would hold in a non-holographic world; the paper sometimes says this clearly and sometimes leans on the stronger reading. Calling it the reader's side of holography overclaims relative to the proved counting statements unless the open count-to-area step is closed. |
| Section 8; Prop. 2.11, Thm 4.18 of [1] | Each entry changes each account by exactly the written component; the journal fixes every change of the loop count and never the opening-balance loop value that names the lineage. | holds under conditions. Bookkeeping identities are cited from the step. Reading the wall as opening balance is presented as a reading of those theorems. Conditional on [1]; the further identification that opening sites equal cell accounts is explicitly Open. |
| Section 8; on-page argument from Prop. 2.8 of [1] | An event moves the total held by a set of sites if and only if it crosses the set's boundary. | plausible, not checked. The crossing argument from edge moves on a three-site circuit is sketched on the page and is standard conservation bookkeeping. Depends on the circuit interpretation of the three accounts; plausible within the model. |
| Section 8 Status | The sites of an opening are the accounts of the cell, and a site's eight values are the eight settings of the cell's clock. | not supported by what the paper gives. The paper already marks opening-sites = cell-accounts as Open and states that the two halves are one set of books in words and two in mathematics. Section 8 status is explicit. The objection restates a gap the manuscript already flags. |
| Section 9; Thm 20.7 of [1] | In the supplied model of a write (two cells exchange places and tag a blank record), no passive flow of the carrier performs the write at any flux or time. | holds under conditions. Proved only for the supplied write model. The paper correctly does not extract a sign or size for write energy. Conditional on the model; physical interactions realizing the write remain Open. |
| Section 9; Thm 18.20, 18.23 of [1] | Under the supplied field coupling, recorded postings made often enough hold every participant (loss at most 25 n delta^2), while coupling alone or unrecorded entries do not; frequent recorded entries name the motion with the Section 6 load. | holds under conditions. Table of three cases is clear. Result is for one fully written coupling in [1, Ch. 18]. Conditional on the supplied coupling; does not establish that real physical couplings preserve the kept class. |
| Section 10; Proposition 3 | Every moment of an unbounded history has a unique address (t mod P, t mod Q) if and only if P/Q is irrational; one rhythm or a rational ratio repeats addresses. | checked and holds. Standard torus-winding / simultaneous congruence argument; proof on the page is correct. Golden-ratio spacing claim cites the classical continued-fraction fact [38]. Verified as pure mathematics; the physical read that returns the stored content remains Open. |
| Section 10; Proposition 4 | A reading at entry n is a function of the history up to n; histories that agree up to n give the same reading at n regardless of later entries. | holds under conditions. Proof uses Thm 2.14(c) that later postings leave the prefix unchanged. Given that isometry property the claim is immediate. Conditionally correct; the further identification that unwritten entries are nowhere is separate. |
| Section 10; Thm 11.4, 11.7 of [1] | On the three kept classes the long-run chain of the present is reversible; on two non-kept classes a one-way current runs with explicit biases (currents 1/24 and 3/112; irreversibilities tending to 23/24 and 20/21). | holds under conditions. Used to locate a direction of time in non-kept motion while kept motions remain reversible. Cited from [1]. Conditional matrix-level claim; identification of the one-way current with the direction of time is separate. |
| Section 11; Proposition 5 | If a reading is invariant under all motions of space that can carry any place to any other, then the reading is the same wherever the thing read is placed. | checked and holds. Trivial invariance argument; correct as stated. Does not by itself prove that a point of view's readings are of this placeless kind; that is an identification. |
| Section 11; Thm 2.17(e), 4.18(i), Prop. 12.4 of [1] | Record loads are invariant under loop-count shift, and on a lattice any local contact rule respecting lattice symmetries that holds for some pair holds exactly for nearest neighbours. | holds under conditions. Two concrete placeless facts for the step. Loop count is not treated as position. Conditional on [1]; the slogan that a point of view has no location goes beyond these facts via identification. |
| Section 12; Thm 13.9, 13.13, 13.15 of [1] | On every network in round order, keeping and posting commute, so joining creates no new kept weight and loses none; on a connected network one participant's test keeps exactly what the whole keeps. | holds under conditions. Core composition claim: every we is built from its I's under regular order. Order of postings is Supplied and provably not fixed by record symmetries. Conditional on [1] and on the supplied order. |
| Section 12; Thm 16.4, Cor. 16.5, Prop. 16.7 of [1] | Every record on every network reads each site through the same 12 of 64 directions (blind to clock turning direction, half-turn, and bit coherence); written labels keep two insides that differ only in relative clock turning operationally identical thereafter. | holds under conditions. Privacy claim for cells that only post. Under coupling, [1, Ch. 19] finds that the step itself does not seal an inside; coupled privacy is Open. Conditional; the real-matrix nature of the step is the same fact as this 12-direction restriction. |
| Section 12; Thm 13.16, 16.49-16.52 of [1] | No single participant holds the present of a shared world alone; on chains and triangles the present becomes definite only for specified pools of records that include the last-posting contacts. | holds under conditions. Supports distributed definiteness of a shared present. Cited from [1]. Conditional network-level claim. |
| Section 12; Prop. 14.25, Ex. 12.21, Prop. 12.24, Thm 14.4, 14.24 of [1] | No symmetry-respecting rule fixes the order of postings; order is nonetheless physical (e.g. only 192 of 720 orders on K_4 keep a joint swing); currents are never created under fair timing; under random timing perpetual posting has chance 0 or 1. | holds under conditions. Shows order is both underdetermined by the record and consequential. What supplies order is Open. Conditional on [1]. |
| Section 13; Proposition 6 | If one opening is contained in another, the larger fixes every reading through the smaller, can distinguish up to q times more states per added site, and no finite opening distinguishes all states of an unbounded record. | checked and holds. Immediate from inclusion of settings and Prop. 1. Correct. Used to underwrite the heaven-as-wider-opening reading, which is a separate identification. |
| Section 13; Prop. 12.19 of [1] | A participant can outlast exchange of partners under stated conditions (currents or single contacts; swings can replace every partner in turn and remain participants). | holds under conditions. Used in the discussion of bodily ending. Whether the continuing participant is the same one is Open. Conditional on [1]. |
| Section 13 Status; Section 16 Identified item 6 | A body sets the opening; death is the ending of a body's side of one tie; heaven is this record read through a wider opening. | not supported by what the paper gives. Body, death and heaven readings are already marked Identified; the conditional persistence claim is marked U with identification premises. Section 13 status and Section 16 Identified item 6 already separate these from theorems. |
| Section 14; Status; Section 16 Identified item 7 | A participant inside its boundary, with its record, is a point of view that experiences; experience is the inside of the activity that writes the record. | not supported by what the paper gives. The paper states once that a theorem cannot say this, marks it Identified, and lists the identity as Open in Appendix C. Structural theorems show a class with properties a lasting experience should have if the reading is granted. The leap from kept subspace to felt subject is not established; abstract and Section 17 rhetoric sometimes exceed the Identified label. |
| Section 14; Thm 22.5 of [1] | Under the supplied faithful-report premise, the participant's loop record carries window content exactly on passing windows, and every failing window has a faithful report it cannot carry. | holds under conditions. Ties the eight-tick test to self-access under a supplied report notion. Conditional on the premise and on [1]. Does not prove that windows are felt. |
| Section 15; mapping table | Standard physics objects correspond to paper terms as listed (observer to point of view, collapse to the record decides, Born rule to load, holographic bound to count through an opening, etc.). | plausible, not checked. The table is a translation aid. Several correspondences are analogies with important differences the paper itself notes (exact vs approximate superselection; reader-side count vs area bound; loads without frequency link). Plausible as a glossary; over-reading the table as recovery of those physics results would be incorrect. |
| Section 16; How it could be wrong | Because the step is a real orthogonal matrix, its record physics is a real quantum theory in the sense of Renou et al.; experiment disfavours real theories for networks, so unless coupling supplies turning (open), the step as supplied is refuted. | plausible, not checked. Correctly flags a make-or-break empirical vulnerability and cites Renou et al. [26]. Privacy via 12 directions is the same real-structure fact. Plausible and serious: physical applicability of all on-the-step theorems remains in doubt until coupling restores complex predictions or the step is replaced. |
| Section 16 Open item 1; Appendix A | Which physical interactions carry out the recognition step is open; the step comes from an earlier ledger dynamics [3] that is a different object with no known map to this cell. | not supported by what the paper gives. The paper already lists physical interactions carrying out the step as Open and notes that the companion dynamics [3] is a different object with no known map. Section 16 Open item 1 is explicit. The objection restates a gap already flagged. |
| Section 16 Open items 5, 8; Section 6 | Which record occurs, why loads appear as frequencies, and the map from a real system (brain or machine) to its boundary are open. | not supported by what the paper gives. Which record occurs, loads as frequencies, and the system-to-boundary map are already listed Open in Sections 6 and 16. Section 6 status and Section 16 Open items 5 and 8 already state the gaps and their consequence for concrete observers. |
| Appendix A; clock maps and U | The recognition step U is the explicit real orthogonal matrix on C^{64} built from the four clock maps K(b',b), occupations, and sigma signs as written in Appendix A. | checked and holds. Definitions are complete enough to reproduce U. Referee checks confirm the clock completeness relation and that U^T U = I from the printed formulae. This is the falsifiable starting point for all on-the-step claims. |
| Appendix A.5; aligned sector | The aligned sector is spanned by the four product states psi_+, psi_-, psi_o, psi'_o, which write fixed current or swing labels and are annihilated by all other labels. | plausible, not checked. The four states and their one-step behaviour are exhibited on the page. That they span the never-neutral class forever is the content of Thm 7.11 of [1], not fully proved here. Plausible local check; global kept-class claim remains conditional. |
| Section 17 table, row 1 | You cannot be erased, because a history's walls are fixed at its beginning and no event-built length-preserving operation moves weight across a wall. | claims more than the paper shows. Rests on the wall theorems (conditional on [1]) plus the identifications that a person has such a history and that only those operations act. As a personal consequence it overclaims relative to the mathematical walls of one model history. |
| Section 17 table, row 2 | Physics chooses who gets to be someone: four motions of sixty-four states, found in three entries. | claims more than the paper shows. Depends on the kept-class theorem (conditional), the supplied step and test, and the identification of kept motions with someone. Overclaimed as a physics result about persons. |
| Abstract; Section 1 | Physics has never described the one who sees; quantum theory, relativity and holography each need an observer and leave it undefined; Recognition Boundary Theory is the missing law. | claims more than the paper shows. The paper itself cites von Neumann, Everett, Zurek, relational QM and others as steps toward a physical account. A precise claim would be that those frameworks do not define the observer in this paper's sense. The absolute never / missing law wording is rhetorical overclaim relative to the cited literature. |
| Section 7; U-marked lattice claims | On a model lattice each side of a cut holds a complete copy of the seam, moving a cut by one site writes exactly one bit, and no reading through an opening selects among unwritten futures. | not supported by what the paper gives. Seam-copy and moved-cut claims are already marked U (not yet published); the general no-unwritten-futures form is Prop. 4 on the page; nothing in Sections 3-6 rests on the U items. Section 7 status and Appendix C mark the seam/moved-cut results U and state that nothing in Sections 3-6 rests on them. Prop. 4 covers the general futures claim. |
| Global dependence on [1] | The main line of theorems labelled Proved on the step is established in the 402-page manuscript [1] (Zenodo doi:10.5281/zenodo.23721170), with Appendix A only defining the step. | holds under conditions. Central methodological claim. The submitted PDF is not self-contained for walls, kept class, loads, pointers, networks, coupling or write theorems. Status of the programme is conditional on availability and correctness of [1]; no formal Lean/code artifacts are supplied. |