Reference
The consent-friction papers run on a small set of recurring symbols, and the lab's own web pages have not agreed with the papers about what those symbols mean. This entry fixes the canonical set as it is written in the manuscripts, defines each symbol against the definition it comes from, and records which published surfaces depart from it. It is a byproduct of an audit rather than a contribution, and it exists so that a reader moving between the papers and the sites can tell which version is load-bearing.
- Unreviewed. This is an audit note with no new mathematics; it records what the manuscripts say and where the sites departed from it.
- Partially acted on. The `φ` and `η` discrepancies were corrected on both sites on 30 July 2026; the `Λ` and `Ψ` entries were left alone because the papers do not define them and picking a symbol is an authorial decision.
Proof library
FarzullaProofs is a Lean 4 library that restates selected results from the lab's papers as machine-checked theorems. The public repository holds 246 theorems across fifteen paper modules plus a shared library, compiling against Lean 4 v4.27.0 and Mathlib with no sorry placeholders, no custom axioms and no native_decide. Formalisation depth varies a great deal between modules: several map onto named propositions in the manuscripts, others formalise a simplified algebraic stand-in for the construct the paper is actually about.
- Unreviewed. Machine-checking establishes that proofs follow from the definitions given, not that those definitions render the papers' constructs faithfully.
- One module is entirely conditional on a posited quadratic entropy response that is neither derived nor estimated from data, and the ledger separately records that the modelled entropy at the optimum can fall outside the Axiom of Consent's own entropy domain. That module is also the unpushed one.
Note
A note asking why quantum measurement probabilities go as the square of the amplitude rather than any other power. It models a particle as a slowly varying envelope riding a very fast carrier oscillation, and treats measurement the way an engineer would treat a radio receiver or a photomultiplier: finite-window demodulation, then threshold crossing in noise. It is speculative physics written by a researcher in computational finance and AI alignment, working outside his field and with no physics affiliation, and it is posted as a note rather than as a claim on the subject.
- Unreviewed. Zenodo preprint only, never submitted to a physics journal, and no arXiv, SSRN or PhilArchive record exists. The author works in computational finance and AI alignment and holds no physics affiliation.
- The code is not deposited, and the paper says otherwise. The published PDF states in two places that the source and the saved numerical outputs accompany the paper. Checked against the Zenodo API on 30 July 2026, every version of the record contains exactly one file, a PDF; there is no code archive, no dataset and no public repository. The simulations exist only on a local disk. An earlier public claim that the code was on Zenodo was false; a website correction was made in July 2026, the same correction has not been made inside the paper, and the packaging has not happened in the six weeks since.
Note
A seventeen-page paper arguing that the hard problem of consciousness is an artefact of grammar rather than a metaphysical puzzle. The noun consciousness nominalises a verb, turning the activity of being conscious into a pseudo-object that then appears to demand explanation; repose the question as what is happening when an organism is being conscious, and what remains is an ordinary empirical question. It was written as a condensation of a longer monograph and has since been folded back into it.
- No external peer review on either artefact. Both are preprint deposits; neither has been through a journal.
- No external peer review, and an internal panel returned a revise verdict. The deposited monograph is v5 (11 July 2026); check it against the local source before assuming any particular revision has landed.
Working paper
A 23-page draft from December 2025 proposing a single meta-principle behind several problems normally treated separately: identity survives a transformation if and only if the transformation respects the equivalence relations constituting that identity. It runs the principle through three cases and argues that memory terms, superposition and the hard problem of consciousness are artefacts of failed transformation rather than features of the world. It was never deposited, has no DOI, and the later work no longer depends on it; it is posted here as a byproduct on the grounds that the cross-domain framing may still be useful to someone.
- Not public and unreviewed. No peer review, no external reading, no deposit, no DOI and no arXiv identifier; its own README still has compile and debug, peer review, and upload as unticked next steps. A systems.ac record describing it as a preprint is unsupported, and the PDF it points at does not exist anywhere.
- The compiled PDF has a broken figure: the naturality square uses a `tikzcd` environment that the preamble never loads, so the diagram does not render and the category-theoretic backbone is asserted in prose.