diff --git a/research-notes/2026-05-17-natarajan-cluster-dichotomy-categorical/README.md b/research-notes/2026-05-17-natarajan-cluster-dichotomy-categorical/README.md new file mode 100644 index 0000000..5625ed4 --- /dev/null +++ b/research-notes/2026-05-17-natarajan-cluster-dichotomy-categorical/README.md @@ -0,0 +1,24 @@ +# The Natarajan Dichotomy as One D-Sector Readout in Two Regimes + +A τ-Categorical Pre-Registration against the Natarajan, Chiang & Dutra (2026, ApJL 1001, L12) Multiscale Cluster-Lensing CDM Crisis. + +This Research Note pre-registers a Category-τ reading of the cluster-substructure dichotomy reported in Natarajan, Chiang & Dutra (2026) — the apparent need for the *same* member-galaxy subhalo to behave collisionally in inner cores (γ ≳ 2.5–3) and collisionlessly in outer tidal extents (r ~ 10–100 kpc). The note commits three τ-distinctive readings, one numerical anchor (r_trans ≈ 3.4–10.8 kpc), and an 11-row N16 falsification surface (headline falsifier: host-mass independence of r_trans at fixed SHMF, testable with Euclid + Rubin LSST + JWST/Roman by ~2029). It is honest about three derivational gaps and reframes the inner-density-slope-direction tension as a count-axis-vs-slope-axis discriminator in GGSL+kinematics joint inference. + +Release date: 2026-05-17 +Type: Research Note +Publication code: RN-032 +Version: v1.0 +Zenodo DOI: [10.5281/zenodo.20251191](https://doi.org/10.5281/zenodo.20251191) + +## Public Routes + +- Website: https://panta-rhei.site/publications/research-notes/natarajan-cluster-dichotomy-categorical/ +- PDF: https://panta-rhei.site/assets/pdfs/research-notes/research-note-2026-05-17-natarajan-cluster-dichotomy-categorical.pdf +- Zenodo: https://doi.org/10.5281/zenodo.20251191 + +## Files + +- `research-note-2026-05-17-natarajan-cluster-dichotomy-categorical.pdf` — citable v1.0 PDF artifact. +- `natarajan-cluster-dichotomy-categorical.tex` — release source snapshot. +- `metadata.yml` — publication metadata. +- `manifest.json` — artifact checksum and release metadata. diff --git a/research-notes/2026-05-17-natarajan-cluster-dichotomy-categorical/manifest.json b/research-notes/2026-05-17-natarajan-cluster-dichotomy-categorical/manifest.json new file mode 100644 index 0000000..9948689 --- /dev/null +++ b/research-notes/2026-05-17-natarajan-cluster-dichotomy-categorical/manifest.json @@ -0,0 +1,71 @@ +{ + "schema": "panta-rhei-publication-manifest-v2", + "id": "2026-05-17-natarajan-cluster-dichotomy-categorical", + "publication_id": "rn032", + "publication_key": "research_notes.natarajan_cluster_dichotomy_categorical", + "type": "research_note", + "status": "v1_0_public_release", + "artifact_availability": "local_pdf", + "generated_at": "2026-05-17T08:30:00Z", + "file": { + "path": "research-note-2026-05-17-natarajan-cluster-dichotomy-categorical.pdf", + "bytes": 204221, + "sha256": "8a77968fe1f117fced0085034060045bd02fa1e5cea6c4af42ec0e850df3295c", + "sha512": "9dca46c1a59cdc66c0c517298f104e6630e63e30d705f9c4e393ff00e55e976118aaea713fd581b22e46c0a35d09cba9af448c863714f936b7eda2e7bda43d58", + "source_website_asset_path": "site/assets/pdfs/research-notes/research-note-2026-05-17-natarajan-cluster-dichotomy-categorical.pdf" + }, + "source": { + "path": "natarajan-cluster-dichotomy-categorical.tex", + "bytes": 46891, + "sha256": "4b30df54be916d4285c6c3fac28cab1ee499106cc0ac9b45f02781001972dd00", + "sha512": "92e03ea388fc7ee7093a31fca77da750fa9d022fb87a23a7fab3acfc80bfa991f0ade6dd3e75e210dce58fa078a3d0a1d3f8dd8ba0172f6161bae9d92ee288e8" + }, + "checksums": { + "sha256": "8a77968fe1f117fced0085034060045bd02fa1e5cea6c4af42ec0e850df3295c", + "sha512": "9dca46c1a59cdc66c0c517298f104e6630e63e30d705f9c4e393ff00e55e976118aaea713fd581b22e46c0a35d09cba9af448c863714f936b7eda2e7bda43d58" + }, + "opentimestamps": { + "status": "not_created", + "verification": "not_applicable_for_this_sprint" + }, + "publication": { + "title": "The Natarajan Dichotomy as One D-Sector Readout in Two Regimes", + "subtitle": "A τ-Categorical Pre-Registration against the Natarajan, Chiang & Dutra (2026) Multiscale Cluster-Lensing CDM Crisis", + "authors": "Thorsten Fuchs and Anna-Sophie Fuchs", + "publication_type": "Research Note", + "date": "2026-05-17", + "version": "v1.0", + "status": "v1.0 public release", + "license": "CC-BY-4.0", + "doi": "10.5281/zenodo.20251191", + "doi_url": "https://doi.org/10.5281/zenodo.20251191", + "zenodo_url": "https://zenodo.org/records/20251191", + "canonical_url": "https://panta-rhei.site/publications/research-notes/natarajan-cluster-dichotomy-categorical/", + "website_url": "https://panta-rhei.site/publications/research-notes/natarajan-cluster-dichotomy-categorical/", + "pdf_filename": "research-note-2026-05-17-natarajan-cluster-dichotomy-categorical.pdf", + "source_website_page": "_research_notes/2026-05-17-natarajan-cluster-dichotomy-categorical.md", + "github_path": "research-notes/2026-05-17-natarajan-cluster-dichotomy-categorical", + "artifact_availability": "local_pdf", + "route_status": "released", + "abstract": "Natarajan, Chiang & Dutra (2026, ApJL 1001, L12) report a new cold-dark-matter crisis from multiscale gravitational lensing of three massive clusters compared to TNG-Cluster analogs. Four substructure diagnostics yield a dichotomy: the same member-galaxy subhalos must carry steep inner density slopes (core-collapsed SIDM-like) and collisionless-CDM-like outer tidal extents. We pre-register a Category-τ reading as one D-sector readout in two regimes, with three τ-distinctive positive readings, one numerical anchor (r_trans ≈ 3.4–10.8 kpc), and an 11-row N16 falsification surface. Headline pre-registered falsifier: host-mass independence of r_trans at fixed SHMF, testable with Euclid + Rubin LSST + JWST/Roman by ~2029.", + "claim_boundary": { + "claim": "Under the τ-framework's capacity-gradient gravity sector and boundary-holonomy mass closure (V.D272), the Natarajan dichotomy is a regime-projection of one D-sector readout — inner M∂(R) number-promotion + outer Newtonian-limit truncation — governed by a single transition scale ℓ_cl,sub(M_sub).", + "non_claim": "It does not derive the γ ≳ 2.5 inner density slope, the SHMF amplitude, or the 5σ–40σ inner-excess amplitude from existing primitives; it does not supersede the V.T203 conjectural status; it does not claim τ-physics is Lean-verified as external physics; it is not a substitute for direct dialogue with the source-paper authors." + }, + "related_lanes": [ + "corpus", + "verify", + "publications", + "impact" + ], + "related_routes": [ + "/publications/research-notes/natarajan-cluster-dichotomy-categorical/", + "/publications/research-notes/dark-matter-without-dark-matter-ksz-force-law/", + "/corpus/registry/", + "/corpus/taulib/", + "/verify/taulib/", + "/verify/release-manifest/" + ] + }, + "integrity_note": "Hashes attest to the PDF bytes and release source snapshot only; they do not certify correctness, peer review, legal status, or content validity. The Zenodo DOI 10.5281/zenodo.20251191 provides the citation-grade resolvable identifier for this artifact." +} diff --git a/research-notes/2026-05-17-natarajan-cluster-dichotomy-categorical/metadata.yml b/research-notes/2026-05-17-natarajan-cluster-dichotomy-categorical/metadata.yml new file mode 100644 index 0000000..67da59e --- /dev/null +++ b/research-notes/2026-05-17-natarajan-cluster-dichotomy-categorical/metadata.yml @@ -0,0 +1,62 @@ +publication_id: RN-032 +publication_key: research_notes.natarajan_cluster_dichotomy_categorical +title: "The Natarajan Dichotomy as One D-Sector Readout in Two Regimes" +subtitle: "A τ-Categorical Pre-Registration against the Natarajan, Chiang & Dutra (2026) Multiscale Cluster-Lensing CDM Crisis" +authors: + - Thorsten Fuchs + - Anna-Sophie Fuchs +type: Research Note +status: v1.0 public release +version: v1.0 +date: 2026-05-17 +program: Panta Rhei Research Program +license: CC-BY-4.0 +website: https://panta-rhei.site/publications/research-notes/natarajan-cluster-dichotomy-categorical/ +pdf: https://panta-rhei.site/assets/pdfs/research-notes/research-note-2026-05-17-natarajan-cluster-dichotomy-categorical.pdf +source: natarajan-cluster-dichotomy-categorical.tex +doi: 10.5281/zenodo.20251191 +doi_url: https://doi.org/10.5281/zenodo.20251191 +zenodo_url: https://zenodo.org/records/20251191 +anchor_paper: + citation: "Natarajan, P., Chiang, B. T., Dutra, I., 2026, ApJL 1001, L12" + doi: 10.3847/2041-8213/ae53ea + title: "New Cold Dark Matter Crisis Revealed by Multiscale Cluster Lensing" +tags: + - tau-framework + - cluster-lensing + - dark-matter + - cluster-substructure + - capacity-gradient-gravity + - boundary-holonomy-mass + - non-particle-dark-matter + - mond + - sidm + - natarajan-dichotomy + - categorical-pre-registration +summary: > + This Research Note pre-registers a Category-τ reading of the cluster-substructure + dichotomy reported in Natarajan, Chiang & Dutra (2026, ApJL 1001, L12) as one + D-sector readout in two regimes, not two DM components. Three τ-distinctive + positive readings are committed (outer Newtonian-limit r_t; inner M∂(R) + number-promotion; transition r_trans = ℓ_cl,sub(M_sub)) plus one numerical anchor + (r_trans ≈ 3.4–10.8 kpc) and an 11-row N16 falsification surface with one + headline pre-registered falsifier (host-mass independence of r_trans at fixed + SHMF). Three derivational gaps are flagged honestly; the inner-density-slope- + direction tension is reframed as a count-axis-vs-slope-axis discriminator + in GGSL+kinematics joint inference. +claim_boundary: + core: > + Under the τ-framework's capacity-gradient gravity sector and its boundary- + holonomy mass closure (V.D272), the Natarajan dichotomy is a regime-projection + of one D-sector readout — collisional-like inner core via M∂(R) number- + promotion at the host nodal-capacity maximum, collisionless-like outer + tidal extent via the V.D261 cluster-screening factor (1 + r/ℓ_τ ≈ 1) — with + a single transition scale ℓ_cl,sub(M_sub) = √(G M_sub / a₀) governed by + subhalo mass, not by a particle-DM cross-section. + non_claims: + - It does not derive the γ ≳ 2.5 inner density slope from existing primitives. + - It does not derive the SHMF amplitude (slope only). + - It does not derive the 5σ–40σ inner-excess amplitude (sign-correctly produced via the M∂(R) mechanism; amplitude deferred). + - It does not claim τ-physics is Lean-verified as external physics. + - It does not supersede the conjectural status of V.T203 in the KSZ-categorical note. + - It does not engage Natarajan, Chiang, or Dutra adversarially; the note is offered in the spirit of pre-registration, not adjudication. diff --git a/research-notes/2026-05-17-natarajan-cluster-dichotomy-categorical/natarajan-cluster-dichotomy-categorical.tex b/research-notes/2026-05-17-natarajan-cluster-dichotomy-categorical/natarajan-cluster-dichotomy-categorical.tex new file mode 100644 index 0000000..519ee4a --- /dev/null +++ b/research-notes/2026-05-17-natarajan-cluster-dichotomy-categorical/natarajan-cluster-dichotomy-categorical.tex @@ -0,0 +1,895 @@ +%!TEX program = lualatex +% ========================================================================== +% The Natarajan Dichotomy as One D-Sector Readout in Two Regimes: +% A τ-Categorical Pre-Registration against the Natarajan, Chiang & Dutra +% (2026, ApJL 1001, L12) Multiscale Cluster-Lensing CDM Crisis. +% +% Thorsten Fuchs & Anna-Sophie Fuchs +% Panta Rhei Research Program +% May 2026 +% ========================================================================== +\documentclass{pantarhei-researchnote} + +\input{tau-macros} + +% ---- PDF metadata (arXiv preflight: merges with class-level \hypersetup) -- +\hypersetup{ + pdftitle = {The Natarajan Dichotomy as One D-Sector Readout in Two Regimes: + A tau-Categorical Pre-Registration against the Natarajan, Chiang + and Dutra (2026) Multiscale Cluster-Lensing CDM Crisis}, + pdfauthor = {Thorsten Fuchs and Anna-Sophie Fuchs}, + pdfsubject= {astro-ph.CO; cluster lensing; capacity-gradient gravity; + Category tau; doi:10.5281/zenodo.20251191}, + pdfkeywords={dark matter; gravitational lensing; galaxy clusters; + cluster substructure; capacity-gradient gravity; Category tau; + categorical pre-registration; Natarajan dichotomy; + doi:10.5281/zenodo.20251191} +} + +% ---- Note-local macros ---------------------------------------------------- +\newcommand{\Nat}{N26} % short anchor for Natarajan 2026 +\newcommand{\aMOND}{a_0} % MOND-effective acceleration scale +\newcommand{\ellcl}{\ell_{\mathrm{cl}}} % classical-validity scale (host) +\newcommand{\ellsub}{\ell_{\mathrm{cl},\mathrm{sub}}} % classical-validity scale (subhalo) +\newcommand{\elltauv}{\ell_\tau} % cosmological tau-length +\newcommand{\Meff}{M_{\mathrm{eff}}} +\newcommand{\Mpa}{M_{\partial}} % boundary-holonomy mass +\newcommand{\Mp}{M_{\mathrm{p}}} % baryonic / particle mass +\newcommand{\Msub}{M_{\mathrm{sub}}} +\newcommand{\Mtwohun}{M_{200}} +\newcommand{\Rtwohun}{R_{200}} +\newcommand{\Mpc}{\mathrm{Mpc}} +\newcommand{\kpc}{\mathrm{kpc}} +\newcommand{\Msun}{M_{\odot}} +\newcommand{\Rs}{R_S} % Schwarzschild radius +\newcommand{\rtran}{r_{\mathrm{trans}}} +\newcommand{\rtid}{r_t} +\newcommand{\rcore}{r_{\mathrm{core}}} +\newcommand{\Pggsl}{P_{\mathrm{GGSL}}} +\newcommand{\readout}{\textsc{[readout]}} +\newcommand{\evstag}{\textsc{[evs]}} +\newcommand{\bridge}{\textsc{[bridge]}} +\newcommand{\falsifierID}[1]{\textsc{N16.#1}} + +\renewcommand{\arraystretch}{1.2} + +\begin{document} + +\lane[pr-lane-publications]{Categorical Macrocosm \textperiodcentered\ Book V} +\title{The Natarajan Dichotomy as One D-Sector Readout in Two Regimes} +\subtitle{A $\tau$-Categorical Pre-Registration against the Natarajan, Chiang \& Dutra (2026) Multiscale Cluster-Lensing CDM Crisis} +\noteedition{May 2026} + +\author{% + Thorsten~Fuchs\thanks{\texttt{thorsten@panta-rhei.site}. Corresponding author.} + \and + Anna-Sophie~Fuchs% +} + +\date{May 2026} + +\footerseries{Research Note} +\footerslug{natarajan-cluster-dichotomy-categorical-v1} +\footerdate{May 2026} + +% ----------------------------------------------------------------------- +\begin{abstract} +\noindent +Natarajan, Chiang \& Dutra~\cite{Natarajan2026} have reported a new flavour +of cold-dark-matter (CDM) crisis from a multiscale strong+weak gravitational +lensing analysis of three massive clusters characterised as dynamically +relaxed in their analysis (MACS~J0416, J1206, J1149; $z = 0.39$--$0.54$; +$\Mtwohun \sim 10^{15}\,\Msun$; J0416's dynamical state is contested in the +broader Hubble Frontier Fields literature), compared to mass-matched +TNG-Cluster ($\Lambda$CDM) analogs. Four substructure diagnostics yield a +\emph{dichotomy}: the same member-galaxy subhalos must carry steep inner +density slopes $\gamma \gtrsim 2.5$--$3$ at $r \lesssim 0.01\,\Rtwohun$ +(core-collapsed SIDM-like) \emph{and} collisionless-CDM-like outer tidal +extents at $r \sim 10$--$100\,\kpc$. No single particle-DM microphysics +satisfies all four. +We pre-register a Category-$\tau$ reading of this dichotomy as +\emph{one $D$-sector readout in two regimes}, not two DM components. Three +$\tau$-distinctive positive readings are committed: (i) the outer tidal +extents follow from the Newtonian-limit theorem (V.T28/V.T78) on +tidally-pruned capacity wells at radii where the cluster screening +factor $1 + r/\elltauv \approx 1$ (consistency check passed by construction); +(ii) the projected inner number excess at $R/\Rtwohun \lesssim 0.2$ +($5\sigma$--$40\sigma$ in~\cite{Natarajan2026}) is sign-correctly produced +by inner-promotion of the boundary-holonomy mass $\Mpa(R)$ in the host +capacity well, a structurally absent quantity in TNG-C; (iii) the +transition between regimes occurs at +$\rtran \approx \ellsub(\Msub) = \sqrt{G \Msub / \aMOND}$ with +$\aMOND = c H_0 \imark / 2$, predicting $\rtran \approx 3.4$--$10.8\,\kpc$ +for $\Msub \in [10^{10}, 10^{11}]\,\Msun$, in order-of-unity agreement +with the empirical break at $r \sim 10\,\kpc$ across all three MACS clusters. +We pre-register one headline falsifier +(\falsifierID{3}: host-mass independence of $\rtran$ at fixed subhalo +mass function, testable with Euclid + Rubin LSST by $\sim 2029$) and one +structurally honest tension reframed as falsifier: the $\tau$-saturation +family predicts \emph{flatter}, not steeper, inner density slopes +(V.P16~\readout); the GGSL probability must therefore be matched by +member-density (this work, R1), not density-slope, with the discriminating +observation deferred to the future GGSL+kinematics inner-mass-content +test. Three derivational gaps are flagged honestly for future Book V +scaffolding: the precise $\gamma$ value, the SHMF amplitude, and the +$5\sigma$--$40\sigma$ inner-excess amplitude. +\end{abstract} + +\keywords{dark matter; gravitational lensing; galaxy clusters; cluster +substructure; capacity-gradient gravity; Category $\tau$; categorical +pre-registration; Natarajan dichotomy} + +\maketitle + +\begin{center}\small\noindent +\textbf{Zenodo DOI:}\enspace +\href{https://doi.org/10.5281/zenodo.20251191}{10.5281/zenodo.20251191} +\enspace\textbar\enspace +arXiv\,(astro-ph.CO\,+\,astro-ph.GA) mirror pending category endorsement +\end{center} +\vspace{0.5em} + + +% ----------------------------------------------------------------------- +\section{Why this paper}\label{sec:why} + +The Natarajan~et~al.\ (2026) CDM-crisis paper~\cite{Natarajan2026} differs +from prior small-scale tensions in two respects that matter for any +non-particle response. + +\paragraph{Observational robustness.} The $5\sigma$--$40\sigma$ inner +projected substructure excess at $R/\Rtwohun \lesssim 0.2$ survives the +authors' $10^6$-iteration bootstrap injection of force-resolution-disrupted +inner subhalos (their Appendix~B), and the order-of-magnitude tension in +GGSL probability $\Pggsl$ persists under varied baryonic-feedback +prescriptions (their~\S{}9.3, citing +\cite{Meneghetti2020,Meneghetti2023,Ragagnin2022,Heinze2024}). +This is not a marginal anomaly within a noisy substructure inventory; it is +a stress test of $\Lambda$CDM at the dense-cluster intermediate-redshift +regime, performed under maximal $\Lambda$CDM-favourable conditions +(TNG-Cluster, baryonically self-consistent, force-disruption-aware). + +\paragraph{Structural distinctness.} Unlike the missing-satellites or +cusp--core problems, the Natarajan tension demands that the \emph{same} +subhalo host two mutually exclusive microphysical signatures: +\emph{collisional-like} inner density slopes +($\gamma \gtrsim 2.5$--$3$ at $r \lesssim 0.01\,\Rtwohun$, +core-collapsed SIDM regime) and \emph{collisionless-like} outer tidal +extents ($\rtid$ at $r \sim 10$--$100\,\kpc$, consistent with NFW dynamical +friction). No single self-interaction cross-section +$\sigma/m$ satisfies both~\cite{Natarajan2026}~\S{}10. + +\paragraph{Open door to non-particle alternatives.} +The authors~\cite{Natarajan2026}~\S{}10 explicitly foreclose the +conventional SIDM resolution --- a sophisticated structural commitment +we gratefully acknowledge --- in concert with the +Chiang+2026b~\cite{ChiangSimResolution2026} companion analysis, and +nominate either a hybrid CDM+SIDM model or \emph{``entirely new classes +of DM theories''} as candidate resolutions. This opens the response +landscape to non-particle frameworks --- where the present Panta Rhei +Programme is already positioned via the Category-$\tau$ no-particle-DM +commitment of~\cite{KSZCategorical} (cluster-scale lensing without +particle dark matter, V.T213 universality at $\Meff/\Mp \le 6.65$). +A Category-$\tau$ note can therefore engage substantively, with cluster-scale +precedent already in the public corpus, and without competing inside the +saturating SIDM-core-collapse debate. + +What follows is a categorical pre-registration in the +KSZ~\cite{KSZCategorical} and LRD-v3.3~\cite{LRDCategoricalv33} style: +three $\tau$-distinctive positive readings, one numerical anchor, one +headline falsifier, three pre-registered gaps, and one structurally +honest tension reframed as falsifier. + +\section{The \texorpdfstring{$\tau$}{tau}-position in one line}\label{sec:tau-position} + +\paragraph{No particle DM.} The Panta Rhei Programme commits to a +capacity-gradient framework in which dark-matter phenomenology is a +projection artefact of the categorical $D$-sector readout, not a particle +species. The framing was pre-registered against the Gallardo~et~al.\ +pairwise-kSZ force-law constraint~\cite{KSZCategorical}, where the +Newtonian-limit theorem V.T78 fixes the large-scale exponent at +$n = 2$ (Newtonian), in tension with MOND $n = 1$. + +\paragraph{KSZ cluster-scale precedent (with substructure caveat).} +\cite{KSZCategorical} commits the framework to cluster lensing +phenomenology via the boundary-holonomy mass closure +$\Meff/\Mp \le 6.65$ (V.D272 + V.T212~\readout), audited against a +five-cluster universality catalogue (V.T213). That catalogue is +\emph{four merging plus one relaxed} (Bullet, A2744, El Gordo, +MACS~J0025; plus A1689), at total-mass per cluster, with $\pm 20$--$50\%$ +precision on integrated cluster mass only (not substructure-resolved). +The present three Natarajan clusters are characterised as relaxed +in~\cite{Natarajan2026}, with MACS~J0416's dynamical state contested +in the broader HFF literature, and the observable is substructure-resolved +at $\kpc$ scale. The KSZ V.T213 +universality is therefore inherited here only as a calibration prerequisite +on integrated cluster mass, not as a substructure-resolved theorem. + +\paragraph{LRD-v3.3 format precedent.} +The pre-registration scaffold follows~\cite{LRDCategoricalv33}, which +attaches eight observational signatures to the heavy-seed black-hole +birth condition at $z \approx 8$--$15$. Signature~3 of that note +($\Meff/\Mp$ aperture-dependent saturation at LRD scales) shares its +anchor (V.D272 + V.T213) with the present~\S\ref{sec:two-regimes} below; +to avoid silent double-booking, the LRD coupling is disclosed in +\falsifierID{3} of the present note (see~\S\ref{sec:falsifiers}). + +\paragraph{Status discipline.} +Every $\tau$-statement on Natarajan observables in this note carries +\readout{} (consistency reading or interpretation, not external-physics +theorem) or \evstag{} (external-validation seam, falsifier). +No \textsc{[formal]} or \textsc{[hinge]} claim is made on the +$\gamma$ value, the SHMF amplitude, the $r_t$ value, or the +$5\sigma$--$40\sigma$ amplitude. The V.T203 conjectural status +(cluster capacity mass discrepancy, $D_\tau \sim 2$--$4$ vs.\ +$D_{\mathrm{obs}} \sim 5$--$7$~\cite{KSZCategorical} L811--814) is carried +forward verbatim; this note does not narrow that gap, only structurally +locates it (see~\S\ref{sec:gaps}). + + +% ----------------------------------------------------------------------- +\section{Two regimes, two mechanisms}\label{sec:two-regimes} + +The Natarajan dichotomy presents at face value as a microphysical paradox: +the same dark-matter sector must be \emph{collisional} in inner cores and +\emph{collisionless} in outskirts. The categorical reading is different. +There is one $D$-sector readout; it produces two regime-separated +nonlinearities at the cluster-substructure scale, organized by a single +length scale $\ellsub$ that depends on subhalo mass, not on a particle +parameter. Inside $\ellsub$ the readout is dominated by inner promotion of +the boundary-holonomy mass $\Mpa(R)$ in the host capacity well. Outside +$\ellsub$ the capacity-screening factor relaxes to unity and the +Newtonian-limit theorem governs. + +\paragraph{One readout, not two.} +The categorical position is that the dichotomy is an \emph{artefact} of +asking the question in particle-DM language. In Category $\tau$ there is +no second component, no density-dependent cross-section, no hybrid; the +inner and outer phenomenologies are two regime-projections of one +underlying readout (V.D121 capacity skeleton + V.D272 boundary-holonomy +mass closure + V.D261 cluster screening). The three subsections below +make this concrete. + +\subsection{Inner regime: \texorpdfstring{$\Mpa(R)$}{M\_partial(R)} inner-promotion}\label{subsec:inner} + +\paragraph{Mechanism.} +At cluster radii $R/\Rtwohun \lesssim 0.2$, the host capacity gradient is +maximal and the boundary-holonomy mass $\Mpa(R)$ is enhanced relative to +its outskirts value (V.D272~\readout). The capacity-skeleton population of +sub-threshold peaks is thereby \emph{preferentially promoted} above the +spectroscopic luminosity threshold inside this projected radius. The +result is an excess in the projected member-galaxy count at +$R/\Rtwohun \lesssim 0.2$ relative to a $\Lambda$CDM expectation that +carries no $\Mpa$ at all (the TNG-Cluster suite,~\cite{NelsonTNGC2024}, +solves only the standard $\Lambda$CDM Einstein--Boltzmann system; the +boundary-holonomy contribution is structurally absent). + +\paragraph{Why this is sign-correct.} +$\Lambda$CDM substructure suffers numerical disruption inside $\sim 0.2 +\Rtwohun$ even after Hopkins-style force-resolution-free reanalysis +(see~\cite{Natarajan2026} App.~B and~\cite{Hopkins2023, +ChiangTNGC2026}); the resulting simulated radial distribution carries +a residual inner \emph{dearth}, not an inner excess. The Category-$\tau$ +direction is opposite: $\Mpa(R)$ inner-promotion concentrates the readout +inward. The amplitude is not derivable from existing primitives +($\Mpa(R)$ functional form deferred to a future Book V cluster-interior +module); the \emph{direction} is structurally guaranteed by V.D272 +boundary-holonomy enhancement at the cluster nodal-capacity maximum. + +\paragraph{V.T203 conservation.} +The V.T203 conjectural status~\cite{KSZCategorical} L811--814 +(cluster capacity mass discrepancy, $D_\tau \sim 2$--$4$ vs.\ +$D_{\mathrm{obs}} \sim 5$--$7$) governs the \emph{integrated} +cluster-scale mass closure, not the projected radial distribution of +peaks. The present~\S\ref{subsec:inner} therefore neither narrows nor +inherits V.T203, but \emph{relocates} its empirical signature: the +mass discrepancy can in principle be partially absorbed by the +boundary-holonomy enhancement near the cluster centre, which has not +been previously quantified. + +\subsection{Outer regime: Newtonian-limit on tidally-pruned capacity wells}\label{subsec:outer} + +\paragraph{Free consistency check.} +At radii $r \sim 10$--$100\,\kpc$, the cluster-scale screening factor is +\[ + 1 + \frac{r}{\elltauv} \;=\; 1 + \frac{r}{c/(H_0 \sqrt{1 - \imark})} + \;\approx\; 1 + (1.6\text{--}16)\times 10^{-5} +\] +(using the cosmological identity $\elltauv = c/(H_0\sqrt{1-\imark}) +\approx 5.48\,\mathrm{Gpc}$~\cite{KSZCategorical}, V.D261).% +\footnote{The V.D261 entry in the corpus historically carried a unit-label +slip (Mpc vs.\ Gpc) documented in~\cite{KSZCategorical}~\S{}6; the present +note adopts the corrected Gpc-scale identity consistently. The dressed value +incorporating the V.T207 $\sqrt{1-\imark}$ pre-factor lies in the range +$5.48$--$13.0\,\mathrm{Gpc}$; the figure quoted here is the bare value +appropriate for the screening-factor derivation. The $K_0(r/\elltauv)$ +near-field profile of V.T85 is the Yukawa-Stokes signature of a massive +propagator ($\eta_\tau = 0$, mean-field universality class), not a marginal-RG +inheritance --- a distinction sharpened in the Phase 13 Path C${}'$ synthesis +and disjoint from cousin-paper marginality results.} +The Roche-like tidal expression for subhalo truncation +(Book~V~ch.36~\readout) therefore reduces to the standard Newtonian form +to one part in $\sim 10^{5}$, and the predicted tidal-truncation-radius +distribution is collisionless-CDM-like \emph{by construction}. +Natarajan's Figure~3 (the SIDM $r_t$ distribution sits nearly an order of +magnitude below the CDM-like observed band; the specific median +$r_t^{\mathrm{SIDM}}/r_t^{\mathrm{CDM}} \approx 0.73$ at the $5\sigma$ +rejection level is reported in Chiang+2026a~\cite{ChiangTNGC2026}) is +therefore matched without invoking dark-sector self-interactions; this +is a consistency check on the dichotomy's \emph{outer} side, not a +derivation of the specific $r_t$ value. + +\paragraph{What this does and does not commit.} +This subsection commits the framework only to \emph{statistical +consistency with CDM at outer subhalo radii}, which is identical to the +collisionless-CDM expectation that Natarajan~et~al.\ find satisfied. It +does not commit a value of $r_t$ for any specific subhalo, nor an +amplitude of the $r_t$ distribution width. Those follow from the host +density profile and orbital-pericentre distribution, which are +external inputs to the present~\readout. + +\subsection{Transition scale \texorpdfstring{$\ellsub$}{l\_cl,sub}}\label{subsec:transition} + +\paragraph{Closed-form prediction.} +The transition between the inner $\Mpa$-dominated regime +(\S\ref{subsec:inner}) and the outer Newtonian-limit regime +(\S\ref{subsec:outer}) is governed by the +\emph{classical-validity length applied to the member subhalo's own mass}: +\begin{equation}\label{eq:ellsub} + \ellsub(\Msub) \;=\; \sqrt{\frac{G \Msub}{\aMOND}}, + \qquad \aMOND \;=\; \frac{c H_0 \imark}{2}\;\text{(V.D232)}, +\end{equation} +where $\imark$ is the master $\tau$-constant (Book~V V.D232 in +the capacity-gradient framework~\cite{KSZCategorical}). The host-cluster +$\elltauv$ (Gpc scale; see above footnote) and the host-cluster classical-validity scale +$\ellcl(\Mtwohun) \approx 1.2\,\Mpc \approx 0.45\,\Rtwohun$ are both +\emph{outside} the inner transition; the empirically relevant length +in the cluster-substructure context is the \emph{member} scale +$\ellsub(\Msub)$, not the host scale. + +\paragraph{Numerical anchor.} +For $\Msub \in [10^{10}, 10^{11}]\,\Msun$ (the dominant mass range of +the Natarajan spectroscopically-confirmed member sample as tabulated +in~\cite{Natarajan2026}~\S\S{}2--3 and Fig.~1; the underlying SHMF +extends to $\sim 10^{13}\,\Msun$, but the spectroscopic and dynamical +weight in the GGSL-relevant cluster-member population sits at the lower +end), +\[ + \ellsub \;\in\; [3.4,\; 10.8]\,\kpc, +\] +in order-of-unity agreement with the empirical break at $r \sim 10\,\kpc$ +across all three MACS clusters (MACS~J0416, J1206, J1149). The match is +\emph{categorical} (the existence and location of a transition scale, +not its precise value): Category $\tau$ predicts a transition, $\Lambda$CDM +and MOND predict none, and the observed break sits in the predicted +band. The host concentration ($c$, $r_s$) dependence of $\ellsub$ is +deferred to a closed-form derivation via the full V.D259 nonlinear +capacity equation (a future Book~V cluster-interior module); the +present order-of-unity match is robust to the host-$c$ variation across +$c \in [3.5, 8]$ at the level of $\pm 0.3\,$dex. + +\paragraph{Distinguishability of the transition scale.} +The closed-form~\eqref{eq:ellsub} is structurally a MOND-proxy at the +\emph{subhalo} (member-galaxy) scale, where MOND traditionally works. +This is \emph{not} the host-cluster scale where MOND fails the +missing-mass test (Famaey, Pizzuti \& Saltas~\cite{Famaey2025}, +Fig.~4 of which shows residual missing mass in CLASH-sample relaxed +clusters with central density ratio $\sim 10\times$ the gas density at +inner $\Mpc$). The Category-$\tau$ inheritance of MOND-proxy is therefore +regime-bounded: +\begin{itemize}[leftmargin=1.4em,nosep] + \item At subhalo $\Msub \sim 10^{10}$--$10^{11}\,\Msun$: + $\aMOND$-scale validity holds (V.P68 + V.R175~\cite{KSZCategorical}); $\tau$ inherits the MOND-proxy + transition radius. + \item At host-cluster $\Mtwohun \sim 10^{15}\,\Msun$: + the validity regime is exited; the cluster-scale failure mode + of MOND~\cite{Famaey2025} is recovered into V.T203's + conjectural slot, not silently absorbed. +\end{itemize} +\noindent +SIDM core-collapse predicts $r_{\mathrm{trans}}^{\mathrm{SIDM}} \propto +(\sigma/m)^{\alpha}$ with no scaling against $\Msub$ at fixed cross-section; +Category $\tau$ predicts $\rtran \propto \Msub^{1/2}$. The +\emph{host-mass independence} of $\rtran$ at fixed subhalo mass function +is the headline pre-registered falsifier (\falsifierID{3} of +\S\ref{sec:falsifiers}). + + +% ----------------------------------------------------------------------- +\section{Consistency checks passed}\label{sec:consistency} + +Three orthogonal Natarajan diagnostics admit Category-$\tau$ consistency +readings at the \readout{} level. + +\begin{description}[leftmargin=1.7em,itemsep=0.4em] +\item[\S{}4.1 Outer $r_t$ at $10$--$100\,\kpc$.] +The screening factor of \S\ref{subsec:outer} reduces the Book~V ch.36 Roche +expression to the standard Newtonian form at one part in $\sim 10^{5}$. +The Natarajan Figure~3 SIDM-vs-CDM distribution (with the Chiang+2026a +companion's $r_t^{\mathrm{SIDM}}/r_t^{\mathrm{CDM}} \approx 0.73$ median +at the $5\sigma$ rejection level~\cite{ChiangTNGC2026}) is matched by +construction. A consistency check, not a derivation of any specific $r_t$. + +\item[\S{}4.2 Inner member-number excess at $R/\Rtwohun \lesssim 0.2$.] +The boundary-holonomy mass $\Mpa(R)$ inner-promotion mechanism +(\S\ref{subsec:inner}) produces a sign-correct concentration at small +projected radii. The Natarajan Figure~2 $5\sigma$--$40\sigma$ excess is +matched in direction; amplitude is deferred (G3 in~\S\ref{sec:gaps}). +The F1-wave $\Mpa(R)$ structural-closure analysis (Phase~12, V.D352 + +V.T348~\cite{Natarajan2026} cross-reference) predicts a $\tau$-side +inner-excess band consistent with the \emph{inner half} of the Natarajan +band ($\sim 5\sigma$--$20\sigma$), with the high-tail residual +($\gtrsim 30\sigma$) plausibly absorbing into the slope-axis +contribution that the V.D272 inner-promotion mechanism cannot supply. +TNG-Cluster~\cite{NelsonTNGC2024} cannot reproduce this structurally +because the underlying Einstein--Boltzmann system carries no +$\Mpa(R)$ contribution; the $5\sigma$--$40\sigma$ residual survives +the $10^6$-iteration Hopkins-style bootstrap correction in +Natarajan~Appendix~B~\cite{Natarajan2026,Hopkins2023}, so the +force-resolution-loss escape hatch is already closed by the source +analysis before the $\tau$-mechanism is invoked. Count-axis and +slope-axis contributions are partially degenerate at present +single-cluster precision; the count-vs-slope joint inference roadmap +is~\S\ref{sec:gaps} G1. + +\item[\S{}4.3 Transition scale $\rtran \approx 3.4$--$10.8\,\kpc$.] +The closed-form $\ellsub$ of~\eqref{eq:ellsub} matches the empirical break +at $r \sim 10\,\kpc$ across the three MACS clusters to order unity, for +the $10^{10}$--$10^{11}\,\Msun$ subhalo mass range that dominates the +spectroscopically confirmed sample. The Natarajan~\S{}7 inner-density +transition and~\S{}8 outer truncation-radius transition share this +single length scale. +\end{description} + + +% ----------------------------------------------------------------------- +\section{Pre-registered falsifiers (N16 surface)}\label{sec:falsifiers} + +We register the following falsification surface (\falsifierID{1}--\falsifierID{11}) +as the cluster-substructure $D$-sector dichotomy entry in the Panta Rhei +falsification ledger, continuing the N9--N15 sequence from +\cite{KSZCategorical} (N12--N14) and \cite{LRDCategoricalv33} (N15). +Rows \falsifierID{1}--\falsifierID{8} were registered in the original +research wave (R5 falsification-surface refinement); \falsifierID{9} +(joint $\imark$ universality) and \falsifierID{10} ($\Mpa(R)$ radial +shape) were added at Phase~9 (Workstream~C); and \falsifierID{11} +(concentration-dependent saturation radius $R_\star(c) = 1.25\,\Rtwohun/c^2$) +was added at Phase~12 from the V.D352 + V.T348 Chern--Weil partial-domain +holonomy structural closure. +Each row is \evstag{} and is testable with named near-term surveys +(Euclid, Rubin~LSST, JWST cluster-lensing follow-up, FRBs, SKA, Roman, +CMB-S4). The headline row is \falsifierID{3}; the consistency floor is +\falsifierID{1}. + +\begin{table*}[!t] +\footnotesize +\centering +\renewcommand{\arraystretch}{1.15} +\caption{N16 falsification surface — cluster-substructure $D$-sector +dichotomy entry. Rows \falsifierID{1}--\falsifierID{8} originate from the +R5 falsification-surface refinement; \falsifierID{9}--\falsifierID{10} +were added at Phase~9 (Workstream~C); \falsifierID{11} was added at +Phase~12 from the V.D352~+~V.T348 Chern--Weil partial-domain holonomy +structural closure. Every row is \evstag{}.} +\label{tab:n16} +\begin{tabular}{@{}p{0.6cm} p{4.8cm} p{3.6cm} p{1.6cm} p{2.6cm} p{1.7cm}@{}} +\toprule +ID & Prediction & $\tau$ & CDM & SIDM core-collapse & MOND \\ +\midrule +\falsifierID{1} & Outer $r_t$ at 10--100~$\kpc$ NFW-Roche-like + & match\,(\S{}4.1) + & match + & $\sim 10\times$ smaller + & ambiguous \\ +\falsifierID{2} & Inner $R/\Rtwohun \lesssim 0.2$ \emph{number} excess + & match\,(\S{}4.2); $5$--$7\times$, $5\sigma$--$20\sigma$ band + & dearth (TNG-C) + & dearth + & no prediction \\ +\falsifierID{3} & \textbf{Host-mass independence of $\rtran$ at fixed SHMF} + & $\rtran \propto \Msub^{1/2}$ \emph{(headline)} + & no $\rtran$ + & $\propto (\sigma/m)^{\alpha}$ + & wrong scale \\ +\falsifierID{4} & Transition $\rtran \approx \ellsub \approx 3.4$--$10.8~\kpc$ + & match\,(\S{}4.3, \eqref{eq:ellsub}) + & no $\rtran$ + & $\Msub$-independent + & host-scale, not subhalo-scale \\ +\falsifierID{5} & SHMF slope $dn/d\Msub \propto \Msub^{-1.9}$ + & slope $\sim -2$ (capacity peaks); + $A_\tau/A_{\rm TNG-C} \in [0.5, 1.5]$ per V.T213 floor + & match + & suppressed at low $\Msub$ + & no prediction \\ +\falsifierID{6} & Cluster-scale missing-mass profile within central 1~Mpc + & V.T203 conjectural slot~\cite{KSZCategorical} + & full match + & residual + & $\sim 10\times$ gas, inner core~\cite{Famaey2025} \\ +\falsifierID{7} & FRB scintillation: cluster sightlines through $\Mpa$ peaks + & dispersion-measure bumps where $\Mpa(R)$ peaks + & smooth + & smooth + & no prediction \\ +\falsifierID{8} & GGSL probability scaling with $\Msub$ + & member-density dominated + & low (dearth) + & slope-dominated (cusp) + & no prediction \\ +\falsifierID{9} & \textbf{Joint $\imark$ universality across LRD + cluster samples} + & shared pre-factor $\imark = 2/(\pi+e) \approx 0.341$ at both + LRD aperture-saturation and cluster $\Mpa(R)$ + & no relation + & no relation + & no relation \\ +\falsifierID{10} & Radial-shape discriminator on $\Mpa(R)$ + & shape between $1/R$ and $1/R^3$ inside $\Rtwohun$ + & no $\Mpa$ + & no $\Mpa$ + & no $\Mpa$ \\ +\falsifierID{11} & Concentration-dependent saturation radius + $R_\star(c) = 1.25\,\Rtwohun/c^2$ + & $R_\star/\Rtwohun \in [0.02, 0.10]$ for $c \in [3.5, 8]$; + derived from NFW partial-domain Chern--Weil + & no $\Mpa$ + & no $\Mpa$ + & no $\Mpa$ \\ +\bottomrule +\end{tabular} +\end{table*} + +\paragraph{Headline: \falsifierID{3}, host-mass independence of $\rtran$.} +The discriminating prediction is the cluster-mass dependence of the +transition radius. Category $\tau$ predicts $\rtran \propto \Msub^{1/2}$ +with no explicit host-mass scaling at fixed subhalo mass function; SIDM +predicts $\rtran \propto (\sigma/m)^\alpha$ (subhalo-mass-independent at +fixed cross-section); CDM predicts no transition at all; MOND predicts +the wrong scale at the host mass. +The test requires a sample of $\gtrsim 30$ massive lensing clusters +with strong+weak lensing and substructure-resolved inner profiles +(consistent with the Meneghetti~+2020 / Despali~+2017 survey-forecast +standard~\cite{Meneghetti2020}; a tighter band-comparison $\chi^2$ +formulation may reduce this to $\sim 20$ in a future power-calculation +pass, but the conservative figure stands here); \falsifierID{9} adds +$\sim 50$ SLACS-class galaxy-scale lenses plus $\sim 30$ LRD lenses on +top, with the shared $\imark$ parameter delivering a tighter joint +constraint than any single survey delivers alone. The Euclid wide +survey plus Rubin LSST Year-2~\cite{EuclidRedbook2024,RubinLSST2025} +deliver the first sub-sample by 2027--2029; the full headline test +also requires JWST + Roman kpc-resolved $\gamma(r)$ stacking on the +2028--2030 horizon, not Euclid+LSST alone. + +\paragraph{Consistency floor: \falsifierID{1}, outer $r_t$.} +The Roche-like tidal extents at $r \sim 10$--$100\,\kpc$ are matched by +construction in Category $\tau$ (\S\ref{subsec:outer}); the Natarajan +inference here is therefore \emph{consistent}, not predictive. This row +survives even if all other R-wave outcomes degrade to negative results. + +\paragraph{V.D272 / V.T213 coupling disclosure and $\imark$ joint-prediction lock.} +\falsifierID{3} and \falsifierID{6} share their boundary-holonomy mass +anchor (V.D272) with~\cite{LRDCategoricalv33}~Signature~3, which +attaches the same anchor to aperture-dependent saturation at LRD scales. +The coupling is \emph{quantitative}: both the LRD signature-3 $6.65$ +saturation ceiling and the cluster-inner $\Mpa(R)$ amplitude in +\falsifierID{2}/\falsifierID{4} depend on the same $\tau$-master-constant +pre-factor $\imark = 2/(\pi+e) \approx 0.341$ via V.D272. The two predictions +are therefore \emph{not independently falsifiable}: a single $\imark$ +parameter generates two empirical signatures on different observables, +giving a positive consistency check at the cost of joint exposure +(\falsifierID{9}). Any null result on the LRD-side SLACS-saturation +prediction propagates immediately to a tension on the present +$\Mpa(R)$-based inner-promotion; conversely, any aperture-independent +$\Mpa(R)$ measurement would falsify both predictions jointly and force +a structural revision of V.D272. This coupling is disclosed here per +the R4 conservatism ledger and the F5 falsification-surface refinement. + +\paragraph{Row-independence audit.} +The eleven N16 rows span approximately five independent physical axes, +not eleven. The intra-N16 couplings are: \falsifierID{3} $\leftrightarrow$ +\falsifierID{4} (both anchored on $\rtran = \ellsub$; a null on +\falsifierID{4} cascades to \falsifierID{3}); \falsifierID{2} +$\leftrightarrow$ \falsifierID{7} $\leftrightarrow$ \falsifierID{10} +(all anchored on $\Mpa(R)$ inner-promotion; a null on \falsifierID{2} +propagates to \falsifierID{7} and \falsifierID{10}); \falsifierID{11} +$\leftrightarrow$ \falsifierID{10} (both probe $\Mpa(R)$ radial shape). +The shared $\imark$ pre-factor across \falsifierID{2}, \falsifierID{4}, +\falsifierID{6}, \falsifierID{9} (V.D272 + LRD-S3 joint lock above) is +the cross-program coupling. Net: the eleven rows resolve to roughly +\emph{five independent axes} — transition scale, $\Mpa(R)$ inner-promotion, +SHMF slope/amplitude, V.T203 cluster mass discrepancy, and FRB +scintillation. The shared $\imark$ joint exposure is, equivalently, a +\emph{joint parameter constraint}: a future $\sim 50$-SLACS + +$\sim 30$-LRD + $\sim 30$-cluster joint fit on $\imark$ is a tighter +single-parameter constraint than any single survey delivers. + +\paragraph{Timeline tiers.} +First decisive data per row: 2026--2028 (JWST cluster-lensing follow-up +of Frontier-Fields and CLASH targets via the BUFFALO, MAGNIF, CANUCS, +and GLASS-JWST programs); 2027--2029 (Euclid wide survey plus Rubin +LSST Year-2 first sub-sample); 2028--2030 (full Euclid + LSST + JWST + +Roman + FRB cluster sightlines); 2035+ (SKA, Roman wide, +CMB-S4). + + +% ----------------------------------------------------------------------- +\section{Honest gaps and the structurally honest tension}\label{sec:gaps} + +The wave that produced this note (\texttt{research-wave/02-R1\ldots R5}) +explicitly closed two of the three binding gaps from the +prior red-team triage at the partial level (direction-and-mechanism), +and produced one numerical anchor (\eqref{eq:ellsub}). It also returned +one principled negative finding that we now reframe as a falsifier. + +\paragraph{G1 — inner $\gamma$ value (R2 NEGATIVE; reframed).} +The natural candidate mechanism for steep inner cusps in +Category $\tau$ was the \emph{saturation family} of Book V +(V.T36, V.D57, V.P16, V.T117). On re-inspection the family is +\emph{structurally anti-cusp}: V.P16 explicitly replaces every +configuration that would otherwise produce a general-relativistic +density singularity with bounded density. The Schwarzschild-radius +scale $\Rs(\Msub \sim 10^{11}\,\Msun) \sim 10^{-8}\,\kpc$ is 4--7 +decades below Natarajan's target $r \lesssim 0.01\,\Rtwohun \approx +1$--$10\,\kpc$, so the saturation-replaces-singularity construction is +geometrically inert at the relevant scale. The V.T117 saturation +radius is a \emph{cosmological motif-saturation} length +($\sim 100\,\Mpc$ scale), not a kpc-scale halo-core radius. +The V.D305 fiber-holonomy primitive cited by triage agent A1 as a +candidate cross-context primitive turns out to be the BBN $^7$Be +radiative-capture correction (module +\texttt{BookV.Cosmology.BBNNuclearNetwork}), not a saturation +primitive; the actual Wave-R7 LRD-1 heavy-seed derivation uses +V.D-LRD-1d, V.T88, V.T108, V.T110 plus $\Pi_{\mathrm{coh}}$ +(\cite{LRDCategoricalv33}), all rotational/threshold mechanisms with +no density-slope crossover. +\smallskip\noindent +The categorical conclusion is that +\emph{Category $\tau$ predicts \textbf{flatter}, not steeper, inner +density slopes at $r \lesssim \kpc$ in cluster subhalos}, on the +\emph{opposite} side of Natarajan's parametric $\gamma \gtrsim 2.5$ +dPIE inference (whose direct empirical anchor is Dutra et~al.\ +2025~\cite{Dutra2025}, $\gamma \sim 2.9$ across three relaxed MACS clusters) +from SIDM core-collapse. +\smallskip\noindent +\textbf{Reframe as a conditional discriminating observation +(\emph{not} a dissolution of G1).} The GGSL probability $\Pggsl$ is +sensitive to the inner mass distribution \emph{integrated} along the +line of sight; it carries contributions from \emph{two distinct axes} +that are partially separable in joint GGSL+kinematics inference (the +prototype technique is Granata et~al.\ 2022~\cite{Granata2022}'s MUSE+HST +joint strong-lensing + member-velocity-dispersion modelling on +MACS~J0416, with current state-of-the-art HFF/CLASH lens models in +Bergamini et~al.\ 2023~\cite{Bergamini2023}): + +\begin{description}[leftmargin=1.7em,itemsep=0.3em] +\item[Count axis.] The number and spatial concentration of +member-galaxy subhalos providing GGSL targets. Category $\tau$ +addresses this axis sign-correctly via the $\Mpa(R)$ inner-promotion +mechanism (\S\ref{subsec:inner}). +\item[Slope axis.] The per-subhalo inner density profile $\gamma$. SIDM +core-collapse addresses this axis by steepening; Category $\tau$ +predicts \emph{flatter}, not steeper, slopes via V.P16. Importantly, +Tokayer~et~al.~(2024)~\cite{Tokayer2024} already exhausted the +\emph{count-axis-only} approach via intra-cluster baryonic mass +rearrangement and found it insufficient to match the observed +$\times 3.5$--$\times 8$ $\Pggsl$ boost in Natarajan~\S{}7. Thus the +$\tau$-readout cannot dissolve G1 as a category error; the slope axis +is empirically required to be \emph{somewhere}, and the conditional +question is where. +\end{description} + +\noindent +The discriminating test, as a conditional: +\begin{quote}\itshape\readout +At fixed inferred $\Pggsl$, does the GGSL+inner-mass-content joint +inference attribute the signal predominantly to count axis ($\tau$ via +$\Mpa(R)$ inner-promotion) or to slope axis (SIDM core-collapse with +$\gamma \gtrsim 2.5$)? If predominantly count axis, +Category $\tau$ matches without invoking a steep inner slope; if +predominantly slope axis, $\tau$ requires the deferred metric-sector +progenitor of \S\ref{sec:gaps} (V.P144 + V.D123 trace-projection; +program-level open item) before answering. Galaxy-scale corroboration of +core-collapsed compact substructure is independently emerging outside +the cluster regime (Vegetti et~al.\ 2026 on JVAS~B1938+666 via +VLBI~\cite{Vegetti2026}; Powell et~al.\ 2025 via ALMA~\cite{Powell2025}), +which Natarajan~et~al.\ \S{}10 cite as cross-context evidence; the +present note remains cluster-scale-only. Future JWST cluster-lensing ++ kinematic IFU follow-up will discriminate (BUFFALO, MAGNIF, CANUCS, +GLASS-JWST programs are the near-term anchor; $\sim 2028$--$2030$ horizon). +\end{quote} + +\paragraph{G2 — SHMF amplitude (R1 PARTIAL).} +The slope $\sim -2$ of the cluster member-galaxy capacity-peak abundance +follows from peak statistics of the CMB/BAO-constrained Gaussian random +field over the underlying capacity field (R1 derivation, ~\readout); the +recovered slope agrees with the Natarajan-observed $dn/d\Msub \propto +\Msub^{-1.9}$ to within slope uncertainty. The \emph{amplitude} of the +SHMF is not derivable from existing primitives. Flagged for future +Book V cluster-interior scaffolding. + +\paragraph{G3 — inner-excess amplitude (R1 PARTIAL).} +The sign-correct inner concentration of member counts at $R/\Rtwohun +\lesssim 0.2$ via $\Mpa(R)$ inner-promotion (\S\ref{subsec:inner}) +is structurally guaranteed; the $5\sigma$--$40\sigma$ \emph{amplitude} +is not derivable from existing primitives. Flagged for future Book V +scaffolding. + +\paragraph{Pre-registration discipline.} +The three gaps above are \emph{not} promised against existing primitives. +A future Book V module --- tentatively ``Cluster Member Distribution from +the Capacity Skeleton with Boundary-Holonomy Inner Promotion'' --- would +close G2 and G3 simultaneously; closing G1 requires a genuinely new +\emph{boundary-holonomy radial-steepening} mechanism distinct from both +V.D272 inner-promotion (which is a number-density mechanism) and the +saturation family (which is structurally anti-cusp). Such mechanism, if +it exists, would lift this note to the deferred F3 form factor. As of +the present authoring it does not exist in the published $\tau$-corpus, +and the structurally honest position is to commit to G1's reframe-as-falsifier rather than to scaffold a new primitive on demand. + + +% ----------------------------------------------------------------------- +\section{Distinguishability statement}\label{sec:distinguish} + +Category $\tau$ is structurally distinct from every active alternative on +the Natarajan landscape: + +\begin{description}[leftmargin=1.7em,itemsep=0.3em] +\item[CDM (collisionless).] Same outer $r_t$ prediction by construction +(\S\ref{subsec:outer}); different inner mechanism --- CDM has no +$\Mpa(R)$ and predicts the observed \emph{dearth}, not excess; no +transition scale. +\item[Constant-$\sigma$ SIDM.] Different mechanism --- saturation +(anti-cusp) vs.\ collisional steepening; opposite $\gamma$-direction +(\S\ref{sec:gaps} G1); transition scale parameter dependence: +$(\sigma/m)$ vs.\ $\Msub^{1/2}$ (\falsifierID{3}). +\item[Velocity-dependent SIDM.] Same as constant-$\sigma$ on the +$\Msub$-vs-$\sigma/m$ scaling discriminator \emph{up to a residual +$v_{\rm disp}(\Msub)$ running} via the Rutherford-like cross-section of +Yang \& Yu 2022~\cite{YangYu2022} adopted in Nadler et~al.\ 2025; this +running is much weaker than $\Msub^{1/2}$ and carries the +\emph{opposite sign} in the mildly-collisional regime (smaller subhalos +have lower $v_{\rm disp}$, hence larger effective $\sigma/m$, hence +\emph{earlier} core-collapse and smaller $\rtran$). The mildly-collisional +long-lasting core-phase mechanism of Errani et~al.\ +2023~\cite{Errani2023} is what closes Natarajan~\S{}8's vel-dep escape +hatch. The \falsifierID{3} discriminator therefore survives against +vel-dep SIDM, but the foil is not identical to constant-$\sigma$. +Same as constant-$\sigma$ on the cusp/anti-cusp $\gamma$-direction +discriminator. Outer $r_t$-truncation tighter than CDM in vel-dep +cross-section models~\cite{Nadler2025}; Category $\tau$ predicts CDM-like +by construction. +\item[MOND.] V.T78 force-law exponent $n = 2$ vs.\ MOND $n = 1$; +$\aMOND$-scale validity regime-bounded +(\S\ref{subsec:transition}): inherited at subhalo $\Msub \sim +10^{10}$--$10^{11}\,\Msun$, exited at host $\Mtwohun \sim 10^{15}\,\Msun$ +where MOND fails the cluster-mass test~\cite{Famaey2025}. Category $\tau$ +does \emph{not} invoke a universal $\aMOND$ across all scales; the +$\ellsub$ length \emph{is} a $\sqrt{G\Msub/\aMOND}$ expression but with +$\aMOND$ a derived constant from the cosmological capacity-gradient +framework (V.D232, V.P68, V.R175~\readout), not a postulate. +\item[Hybrid CDM+SIDM.] Ontologically distinct --- one $D$-sector, no +second component, no density-dependent cross-section +(\S\ref{sec:two-regimes}). Observationally distinct on +\emph{host-concentration} dependence of $\rtran$: hybrid CDM+SIDM +still carries a density-dependent transition (slope axis activates +inside $\rho_{\rm crit}$), giving a $\rtran$ that depends on host +concentration $c$ at fixed $\Msub$; Category $\tau$'s $\rtran \propto +\Msub^{1/2}$ scaling carries no explicit host-$c$ dependence. The two +are discriminable in a $\sim 30$-cluster sample across the +$c \in [3.5, 8]$ range of relaxed CLASH/HFF cluster lenses. +\item[Verlinde / MOG.] Different mechanism class --- Category $\tau$ +inherits the Newtonian $n = 2$ force law from V.T78~\cite{KSZCategorical}, +not entropic gravity or Yukawa-modified gravity; no parametric +free parameter to tune against cluster lensing. +\end{description} + +\noindent +The minimum testable distinguishability set within the +\falsifierID{1}--\falsifierID{11} surface (\S\ref{sec:falsifiers}) is +\falsifierID{3} (Category $\tau$ uniquely predicts host-mass +independence of $\rtran$ at fixed SHMF) plus \falsifierID{2} +($\Mpa(R)$ inner-promotion produces excess; all four alternatives +produce dearth or no prediction). Combined, these two rows form a +minimum-cluster-sample-size discriminator of $\sim 30$ massive +clusters at strong+weak lensing precision, which Euclid+LSST will +deliver by $\sim 2029$. + + +% ----------------------------------------------------------------------- +\section{Status discipline}\label{sec:status} + +Every $\tau$-claim in this note is tagged \readout{} or \evstag{}; no +\textsc{[formal]} or \textsc{[hinge]} claim is made on the Natarajan +empirical observables. The section-to-tag mapping is given in +Table~\ref{tab:status-mapping}. + +\begin{table}[!h] +\footnotesize +\centering +\renewcommand{\arraystretch}{1.15} +\caption{Status-tag mapping (\readout{} = consistency reading / interpretation; +\evstag{} = external-validation seam / falsifier).} +\label{tab:status-mapping} +\begin{tabular}{@{}p{2.6cm} p{3.3cm} p{0.9cm}@{}} +\toprule +Section & Claims & Tag \\ +\midrule +\S\ref{subsec:inner} ($\Mpa(R)$ inner-promotion) + & sign-and-mechanism reading & \readout \\ +\S\ref{subsec:outer} (outer $r_t$ via Newtonian limit) + & consistency check & \readout \\ +\S\ref{subsec:transition} (transition $\ellsub$) + & numerical reading & \readout \\ +\S\ref{sec:consistency} (three consistency checks) + & all \S{}4.x & \readout \\ +\S\ref{sec:falsifiers} (N16.1--N16.11) + & future-observation falsifiers & \evstag \\ +\S\ref{sec:gaps} (G1 reframed; G2, G3 flagged) + & pre-registered gaps + reframed falsifier & \evstag \\ +\S\ref{sec:distinguish} (foil paragraphs) + & positioning & \readout \\ +\bottomrule +\end{tabular} +\end{table} + +\noindent +V.T203 (Cluster Capacity Mass Discrepancy) inherits its +\texttt{skeleton}/conjectural status from~\cite{KSZCategorical} +L811--814 verbatim; this note neither narrows nor extends V.T203, only +structurally relocates its empirical signature +(\S\ref{subsec:inner} \emph{V.T203 conservation} paragraph). The V.T213 +five-cluster universality is inherited as a calibration prerequisite on +integrated cluster mass, not as a substructure-resolved theorem +(\S\ref{sec:tau-position} \emph{KSZ cluster-scale precedent} paragraph). + + +% ----------------------------------------------------------------------- +\section{What this note does NOT claim}\label{sec:non-claims} + +\begin{enumerate}[leftmargin=1.4em,itemsep=0.2em] +\item It does \emph{not} claim Category $\tau$ \emph{derives} the +$\gamma \gtrsim 2.5$ inner density slope, the SHMF amplitude, the +$5\sigma$--$40\sigma$ inner-excess amplitude, or the specific $r_t$ +distribution width inferred by Natarajan~et~al.\ from any existing +$\tau$-corpus primitive. Each is flagged as a pre-registered gap +(\S\ref{sec:gaps}). +\item It does \emph{not} claim that $\tau$-physics is Lean-verified +as external physics. The cluster-substructure context is outside the +scope of the Lean-formalized $\tau$-internal-mathematics envelope +(see the dossier~\cite{BareMetalSpineV2}~App.~C). +\item It does \emph{not} claim an externally-settled resolution of the +small-scale CDM tensions or of any Clay Millennium problem related to +gravitational lensing or cluster physics. +\item It does \emph{not} predict the IllustrisTNG-Cluster +simulation~\cite{NelsonTNGC2024} as a $\tau$-readout; the simulations +are external $\Lambda$CDM-expectation comparators, not $\tau$-derivations. +\item This note is a privately-deposited arXiv response in the Panta Rhei +research-note format and is not a substitute for direct dialogue, which +the authors actively welcome and to which the present pre-registration +is offered as an opening contribution. +\item It does \emph{not} supersede the conjectural status of V.T203 +in~\cite{KSZCategorical}; the V.T203 cluster mass discrepancy remains +an open conjectural item, structurally relocated but not narrowed +by the present note (\S\ref{subsec:inner}). +\end{enumerate} + + +% ----------------------------------------------------------------------- +\section*{Acknowledgements} + +We gratefully acknowledge P.~Natarajan, B.~T.~Chiang, and I.~Dutra for the +open-access deposit of~\cite{Natarajan2026}, for the rigour of the +$10^6$-iteration force-resolution bootstrap injection (their Appendix~B, +building on the Hopkins+2023 FIRE-3 benchmark~\cite{Hopkins2023}), and +for the structural foreclosure of the conventional SIDM resolution in +their \S{}10 (with the Chiang+2026b companion +analysis~\cite{ChiangSimResolution2026}); each of these methodological +commitments materially shaped the categorical reading developed here. +Engagement, criticism, and falsification of any of the eleven +pre-registered N16 rows would be welcomed and would advance the program. + +% ----------------------------------------------------------------------- +\bibliographystyle{unsrt} +\bibliography{references} + +\end{document} diff --git a/research-notes/2026-05-17-natarajan-cluster-dichotomy-categorical/research-note-2026-05-17-natarajan-cluster-dichotomy-categorical.pdf b/research-notes/2026-05-17-natarajan-cluster-dichotomy-categorical/research-note-2026-05-17-natarajan-cluster-dichotomy-categorical.pdf new file mode 100644 index 0000000..4667268 Binary files /dev/null and b/research-notes/2026-05-17-natarajan-cluster-dichotomy-categorical/research-note-2026-05-17-natarajan-cluster-dichotomy-categorical.pdf differ diff --git a/research-notes/2026-05-17-reading-prometheus-through-tau-v1/README.md b/research-notes/2026-05-17-reading-prometheus-through-tau-v1/README.md new file mode 100644 index 0000000..0187510 --- /dev/null +++ b/research-notes/2026-05-17-reading-prometheus-through-tau-v1/README.md @@ -0,0 +1,48 @@ +# Reading PROMETHEUS Through Category τ + +Para-Minds, the Earned Belnap-Truth4 Classifier, and the Φ_∂ Boundary Functor of Exact Gluing. + +A short ontology-articulation Research Note in the τ-canon corpus, engaging with the PROMETHEUS preprint (Mahadevan 2026, arXiv:2605.12835v1, "Automating Deep Causal Research Integrating Text, Data, and Scientific Models"). PROMETHEUS introduces a "Topos World Model" framework that turns retrieved corpora into sheaf-like causal atlases of local Predictive State Representations over context covers, with a 4-fold gluing diagnostic (agreement, drift, contradiction, underdetermination); the engineering substance is real, but the categorical machinery is invoked heuristically. The note articulates three τ-canon structural contributions: + +1. The 4-fold gluing diagnostic IS the earned subobject classifier `Ω_τ = Truth4 = {T, F, B, N}` (Theorem I.T25 of Book I). +2. Exact gluing is achievable via the boundary functor `Φ_∂` — the Langlands Coherent Force (Theorem III.T50 of Book III) — which PROMETHEUS lacks. +3. The Para-Mind reading (Definition VII.D55 of Book VII) explains why PROMETHEUS's external-topos construction is structurally licensed: an LLM by itself is a para-mind without an internal topos. + +One constructive structural prediction is introduced: PROMETHEUS's existing cSQL `polarity` field is the structural route to a fifth Belnap-`F` gluing diagnostic that would complete the 4-valued classifier readout. + +Seven explicit non-claims keep the trust budget honest. The note is peer-review-clean across two rounds (six independent panels: Wave Δ₂ Discipline / Structural / PROMETHEUS-Fidelity, plus Wave Δ₃ Editorial / Scientific / Visual QA). + +Release date: 2026-05-17 +Type: Research Note +Publication code: RN-033 +Version: v1.2 RC2 + +## Public Routes + +- Website: https://panta-rhei.site/publications/research-notes/reading-prometheus-through-tau/ +- PDF: https://panta-rhei.site/assets/pdfs/research-notes/research-note-2026-05-17-reading-prometheus-through-tau-rc2.pdf +- DOI: pending. The programme migrated from Zenodo to OSF (Open Science Framework) as the primary DOI platform on 2026-05-17. The OSF project metadata package is staged in the papers/ repo at `papers/research-notes/reading-prometheus-through-tau-v1/OSF-METADATA.md`; once the project is created and the DOI is minted, the resolvable identifier will be of the form `10.17605/OSF.IO/XXXXX`. + +## External Source Routes + +- Anchor preprint: Mahadevan 2026, "PROMETHEUS: Automating Deep Causal Research Integrating Text, Data, and Scientific Models", arXiv:2605.12835v1 — https://arxiv.org/abs/2605.12835 +- Mahadevan's predecessor pipeline: "Large causal models from large language models", arXiv:2512.07796 (2025) +- Mahadevan's book manuscript: "Categories for AGI" + +## Files + +- `research-note-2026-05-17-reading-prometheus-through-tau-rc2.pdf` — citable v1.2 RC2 PDF artifact (9 pages, 185 KB). +- `reading-prometheus-through-tau.tex` — release source snapshot. +- `metadata.yml` — publication metadata. +- `manifest.json` — artifact checksum and release metadata. + +## Companion Notes (prior art cited) + +| Pattern | Companion note | +|---|---| +| interpretation | bsmm-tau-canon-interpretation-v1 | +| anomaly (v1.9) | bsmm-tau-canon-anomaly-v1 | +| closure-derivation | bsmm-tau-canon-T1-v1 | +| F₂-projection closure | bsmm-tau-canon-F2-projection-v1 | +| ontology-articulation precedent | running-as-spectral-aperture-v1 | +| foundation-comparison precedent | foundations-categorical-cosmological-billiards-v1 | diff --git a/research-notes/2026-05-17-reading-prometheus-through-tau-v1/manifest.json b/research-notes/2026-05-17-reading-prometheus-through-tau-v1/manifest.json new file mode 100644 index 0000000..241baa8 --- /dev/null +++ b/research-notes/2026-05-17-reading-prometheus-through-tau-v1/manifest.json @@ -0,0 +1,71 @@ +{ + "schema": "panta-rhei-publication-manifest-v2", + "id": "2026-05-17-reading-prometheus-through-tau-v1", + "publication_id": "rn033", + "publication_key": "research_notes.reading_prometheus_through_tau", + "type": "research_note", + "status": "rc2_public_release_candidate", + "artifact_availability": "local_pdf", + "generated_at": "2026-05-17T13:25:00Z", + "file": { + "path": "research-note-2026-05-17-reading-prometheus-through-tau-rc2.pdf", + "bytes": 185303, + "sha256": "ff0d5a240a69fb31137a8bf9a4cd414619c30e1c5a7d74d54980829946dbfef7", + "sha512": "f402ced32d35c145be194db4777c1cbacdd592c484bde43c452335b3f3edf897a7d842af116709005f0e1e8359f95062a8ef42cc1a517e2678bdab4f3eddfcef", + "source_website_asset_path": "site/assets/pdfs/research-notes/research-note-2026-05-17-reading-prometheus-through-tau-rc2.pdf" + }, + "source": { + "path": "reading-prometheus-through-tau.tex", + "bytes": 43675, + "sha256": "f5a0bce8f664bb29bdc1ba8328c75d5189b61b33c12b21c31eb202484ba9749a", + "sha512": "dd33001078b11a9c1ba919f9661cd655f15ed9598c66f267dade5313a31b36c2805f545219b0e05100dca1e43726c8b6f56bf55b6d8ec194859a332406f36714" + }, + "checksums": { + "sha256": "ff0d5a240a69fb31137a8bf9a4cd414619c30e1c5a7d74d54980829946dbfef7", + "sha512": "f402ced32d35c145be194db4777c1cbacdd592c484bde43c452335b3f3edf897a7d842af116709005f0e1e8359f95062a8ef42cc1a517e2678bdab4f3eddfcef" + }, + "opentimestamps": { + "status": "not_created", + "verification": "not_applicable_for_this_sprint" + }, + "publication": { + "title": "Reading PROMETHEUS Through Category τ", + "subtitle": "Para-Minds, the Earned Belnap-Truth4 Classifier, and the Φ_∂ Boundary Functor of Exact Gluing", + "authors": "Thorsten Fuchs and Anna-Sophie Fuchs", + "publication_type": "Research Note", + "date": "2026-05-17", + "version": "v1.2 RC2", + "status": "RC2 public release candidate", + "license": "CC-BY-4.0", + "doi": "", + "doi_url": "", + "osf_doi_pending": true, + "osf_doi_target_form": "10.17605/OSF.IO/XXXXX", + "canonical_url": "https://panta-rhei.site/publications/research-notes/reading-prometheus-through-tau/", + "website_url": "https://panta-rhei.site/publications/research-notes/reading-prometheus-through-tau/", + "pdf_filename": "research-note-2026-05-17-reading-prometheus-through-tau-rc2.pdf", + "source_website_page": "_research_notes/2026-05-17-reading-prometheus-through-tau.md", + "github_path": "research-notes/2026-05-17-reading-prometheus-through-tau-v1", + "artifact_availability": "local_pdf", + "route_status": "released", + "abstract": "Short ontology-articulation research note. Structural reading of the PROMETHEUS preprint (Mahadevan 2026, arXiv:2605.12835v1) through Category tau. Three structural contributions: (1) the 4-fold gluing diagnostic IS the earned subobject classifier Omega_tau = Truth4 = {T, F, B, N} (Theorem I.T25 of Book I); (2) exact gluing is achievable via the boundary functor Phi_boundary (Theorem III.T50 of Book III); (3) the Para-Mind reading (Definition VII.D55 of Book VII) explains why PROMETHEUS's external-topos construction is structurally licensed - an LLM by itself is a para-mind without an internal topos. One constructive structural prediction: PROMETHEUS's existing cSQL polarity field is the route to a fifth Belnap-F gluing diagnostic. Seven explicit non-claims keep the trust budget honest. Peer-review-clean across two rounds (six panels: Wave Delta_2 Discipline/Structural/PROMETHEUS-Fidelity plus Wave Delta_3 Editorial/Scientific/Visual).", + "claim_boundary": { + "claim": "PROMETHEUS's 4-fold gluing diagnostic structurally coincides with the earned subobject classifier Omega_tau = Truth4 = {T, F, B, N} of an earned topos PSh(Cat_tau); its epsilon-tolerance gluing is upgradable to exact gluing via the boundary functor Phi_boundary which PROMETHEUS lacks; and the external-topos construction is structurally licensed by the para-mind status of its LLM substrate. The dialogue is articulative, not adversarial.", + "non_claim": "Does not endorse PROMETHEUS's 'Topos World Model' terminology in its current form; does not claim that the tau-canon topos uses H_tau-valued enrichment (both use Set-valued presheaves); does not claim a formal PSR-as-Hankel identification; does not claim the latent F-channel prediction is engineering-ready; para-mind classification is descriptive, not pejorative; does not ask PROMETHEUS to retract its engineering choices." + }, + "related_lanes": [ + "publications", + "corpus", + "verify" + ], + "related_routes": [ + "/publications/research-notes/reading-prometheus-through-tau/", + "/publications/research-notes/", + "/corpus/registry/", + "/corpus/taulib/", + "/verify/taulib/", + "/verify/release-manifest/" + ] + }, + "integrity_note": "Hashes attest to the PDF bytes and release source snapshot only; they do not certify correctness, peer review, legal status, or content validity. DOI minting is pending the OSF (Open Science Framework) project creation; the programme migrated from Zenodo to OSF as the primary DOI platform on 2026-05-17." +} diff --git a/research-notes/2026-05-17-reading-prometheus-through-tau-v1/metadata.yml b/research-notes/2026-05-17-reading-prometheus-through-tau-v1/metadata.yml new file mode 100644 index 0000000..180afed --- /dev/null +++ b/research-notes/2026-05-17-reading-prometheus-through-tau-v1/metadata.yml @@ -0,0 +1,96 @@ +publication_id: RN-033 +publication_key: research_notes.reading_prometheus_through_tau +title: "Reading PROMETHEUS Through Category τ" +subtitle: "Para-Minds, the Earned Belnap-Truth4 Classifier, and the Φ_∂ Boundary Functor of Exact Gluing" +authors: + - Thorsten Fuchs + - Anna-Sophie Fuchs +type: Research Note +status: RC2 public release candidate +version: v1.2 RC2 +date: 2026-05-17 +program: Panta Rhei Research Program +license: CC-BY-4.0 +website: https://panta-rhei.site/publications/research-notes/reading-prometheus-through-tau/ +pdf: https://panta-rhei.site/assets/pdfs/research-notes/research-note-2026-05-17-reading-prometheus-through-tau-rc2.pdf +source: reading-prometheus-through-tau.tex +doi: "" +doi_url: "" +osf_doi_pending: true +osf_doi_target_form: "10.17605/OSF.IO/XXXXX" +anchor_paper: + citation: "Mahadevan, S., 2026, PROMETHEUS: Automating Deep Causal Research Integrating Text, Data, and Scientific Models" + arxiv: "2605.12835" + arxiv_url: https://arxiv.org/abs/2605.12835 + notes: "Preprint v1, 13 May 2026, draft under revision" +tags: + - tau-framework + - prometheus + - topos-world-model + - belnap-dunn-4-valued-logic + - paraconsistent-logic + - para-mind + - subobject-classifier + - sheaf-gluing + - boundary-functor + - langlands-coherent-force + - llm-as-causal-extractor + - external-topos-construction + - category-tau +summary: > + Short ontology-articulation note. Structural reading of the PROMETHEUS preprint + (Mahadevan 2026, arXiv:2605.12835v1) through Category τ. PROMETHEUS introduces a + "Topos World Model" framework that turns retrieved corpora into sheaf-like causal + atlases of local Predictive State Representations with a 4-fold gluing diagnostic + (agreement, drift, contradiction, underdetermination); the categorical machinery + is invoked heuristically. This note articulates three τ-canon structural + contributions: (i) the 4-fold gluing diagnostic IS the earned subobject classifier + Ω_τ = Truth4 (Theorem I.T25 of Book I); (ii) exact gluing is achievable via the + boundary functor Φ_∂ (Langlands Coherent Force, Theorem III.T50 of Book III); + (iii) the Para-Mind reading (Definition VII.D55 of Book VII) explains why + PROMETHEUS's external-topos construction is structurally licensed — an LLM by + itself is a para-mind without an internal topos. One constructive structural + prediction is introduced: PROMETHEUS's existing cSQL polarity field is the route + to a fifth Belnap-F gluing diagnostic. Seven explicit non-claims keep the trust + budget honest. Peer-review-clean across two rounds (six panels: Wave Δ₂ + Discipline/Structural/PROMETHEUS-Fidelity plus Wave Δ₃ Editorial/Scientific/Visual). +claim_boundary: + core: > + PROMETHEUS's 4-fold gluing diagnostic structurally coincides with the earned + subobject classifier Ω_τ = Truth4 = {T, F, B, N} of an earned topos + PSh(Cat_τ); its ε-tolerance gluing is upgradable to exact gluing via the + boundary functor Φ_∂ which PROMETHEUS lacks; and the external-topos + construction is structurally licensed by the para-mind status of its LLM + substrate. The dialogue is articulative, not adversarial. + non_claims: + - It does not endorse PROMETHEUS's "Topos World Model" terminology in its current form (the categorical desiderata are invoked heuristically, not constructed in §7). + - It does not claim that the τ-canon topos uses H_τ-valued enrichment at the presheaf codomain — both PROMETHEUS and τ-canon use Set-valued presheaves. + - It does not claim a formal PSR-as-Hankel identification in the corpus. + - It does not claim the latent F-channel prediction is engineering-ready; it is a structural prediction whose route is the cSQL polarity field. + - Para-mind classification is descriptive (per VII.D55: "A para-mind is not a defective mind"), not pejorative. + - PROMETHEUS does not implement Ω_τ literally; "earned-not-imposed" is articulation, not critique. + - It does not ask PROMETHEUS to retract its engineering choices. +trust_budget: + taulib_sorry_count: 0 + taulib_axiom_count: 3 + manuscript_chapters_modified: 0 + peer_review_panels: 6 + peer_review_rounds: 2 + total_fixes_applied: 23 + load_bearing_revisions: 0 +companion_notes: + - slug: bsmm-tau-canon-interpretation-v1 + pattern: interpretation + - slug: bsmm-tau-canon-anomaly-v1 + pattern: anomaly + version: v1.9 + - slug: bsmm-tau-canon-T1-v1 + pattern: closure-derivation + - slug: bsmm-tau-canon-F2-projection-v1 + pattern: F2-projection-closure + - slug: running-as-spectral-aperture-v1 + pattern: ontology-articulation + - slug: foundations-categorical-cosmological-billiards-v1 + pattern: foundation-comparison +note_pattern: ontology-articulation +note_subtype: external-topos-dialogue diff --git a/research-notes/2026-05-17-reading-prometheus-through-tau-v1/reading-prometheus-through-tau.tex b/research-notes/2026-05-17-reading-prometheus-through-tau-v1/reading-prometheus-through-tau.tex new file mode 100644 index 0000000..70fb349 --- /dev/null +++ b/research-notes/2026-05-17-reading-prometheus-through-tau-v1/reading-prometheus-through-tau.tex @@ -0,0 +1,858 @@ +% ========================================================================== +% Reading PROMETHEUS Through Category τ: +% Para-Minds, the Earned Belnap-Truth4 Classifier, and the Φ_∂ +% Boundary Functor of Exact Gluing +% +% Thorsten Fuchs & Anna-Sophie Fuchs +% Panta Rhei Research Program +% May 2026 (v1.0 — Ontology-Articulation Note) +% +% Scope: structural articulation of τ-canon's reading of the +% PROMETHEUS framework (Mahadevan 2026, arXiv:2605.12835v1). +% This is an ontology-articulation note in the sense of +% running-as-spectral-aperture-v1, not a foundation-comparison +% in the sense of foundations-categorical-cosmological-billiards-v1. +% +% Compile chain: lualatex (3 passes) + bibtex. See Makefile. +% ========================================================================== +\documentclass{pantarhei-researchnote} + +\usepackage{microtype} +\usepackage{booktabs} +\usepackage{array} +\usepackage{needspace} + +\input{tau-macros} + +% --------------------------------------------------------------------------- +% Local macros +% --------------------------------------------------------------------------- +\newcommand{\Lemniscate}{\LL} +\newcommand{\Cross}{\omega} +\newcommand{\jj}{\mathsf{j}} +\newcommand{\itau}{\ensuremath{\iota_{\tau}}} +\newcommand{\sectA}{\ensuremath{\mathcal{S}_{A}}} +\newcommand{\sectB}{\ensuremath{\mathcal{S}_{B}}} +\newcommand{\sectC}{\ensuremath{\mathcal{S}_{C}}} +\newcommand{\NEXT}{\textsc{[new extension]}} +\newcommand{\SYNT}{\textsc{[chair synthesis]}} +\newcommand{\DERIV}{\textsc{[derived]}} +\newcommand{\TEFF}{\textsc{[$\tau$-effective]}} +\newcommand{\ANALOGY}{\textsc{[analogy]}} +\newcommand{\PsiD}{\ensuremath{\Phi_{\partial}}} +\newcommand{\Truth}{\ensuremath{\mathrm{Truth4}}} +\newcommand{\Omegatau}{\ensuremath{\Omega_{\tau}}} +\newcommand{\Cattau}{\ensuremath{\mathrm{Cat}_{\tau}}} +\newcommand{\PSh}{\ensuremath{\mathrm{PSh}}} +\newcommand{\Etau}{\ensuremath{\mathcal{E}_{\tau}}} +\newcommand{\Msub}{\ensuremath{\mathcal{M}_{\mathrm{sub}}}} + +\begin{document} + +\lane[pr-lane-publications]{Book VII \textperiodcentered\ Categorical Metaphysics \textperiodcentered\ External-Topos Dialogue} +\title{\texorpdfstring{Reading PROMETHEUS Through Category $\tau$}{Reading PROMETHEUS Through Category tau}} +\subtitle{\texorpdfstring{Para-Minds, the Earned Belnap-$\mathrm{Truth4}$ Classifier, and the $\Phi_{\partial}$ Boundary Functor of Exact Gluing}{Para-Minds, the Earned Belnap-Truth4 Classifier, and the Phi-boundary Functor of Exact Gluing}} +\noteedition{v1.2 RC2 \textperiodcentered\ May 2026 \textperiodcentered\ Ontology-Articulation Note} + +\author{% + Thorsten~Fuchs\thanks{\texttt{thor@panta-rhei.site}. Corresponding author.} + \and + Anna-Sophie~Fuchs% +} + +\date{May 2026} + +\footerseries{Research Note (Ontology Articulation)} +\footerslug{reading-prometheus-through-tau-v1} +\footerdate{May 2026} + +% --------------------------------------------------------------------------- +\begin{abstract} +\noindent +PROMETHEUS \cite{Mahadevan-PROMETHEUS-2026} is a framework for +``automating deep causal research'' that turns retrieved corpora into +sheaf-like \emph{causal atlases} of local Predictive State +Representations (PSRs) over context covers, with restriction maps +and four gluing diagnostics: \emph{agreement}, \emph{drift}, +\emph{contradiction}, \emph{underdetermination}. The author calls +the result a \emph{Topos World Model}. Engineering substance is +real (scale-corpus atlases ship; locality is preserved across four +case studies). The categorical machinery, however, is invoked +heuristically: §7's ``operational sheaf condition'' is an averaging +rule with a numerical compatibility check, not a sheaf condition in +the Mac Lane--Moerdijk sense \cite{MacLane-Moerdijk-1992}; the +4-fold diagnostic is left as an ad-hoc taxonomy; the predicate +``Belnap'' \cite{Belnap-1977,Dunn-1976} appears nowhere in the +references. + +This note articulates the $\tau$-canon reading. Three structural +contributions land: + +\begin{enumerate} +\item \textbf{The 4-fold gluing diagnostic is the earned subobject +classifier of an earned topos.} Theorem~I.T25 of Book~I +\cite{PantaRhei-BookI} proves that $\Omegatau = \Truth = +\{\mathsf{T}, \mathsf{F}, \mathsf{B}, \mathsf{N}\}$ is the unique +subobject classifier of $\PSh(\Cattau)$, with the orthogonality +$e_{+} \cdot e_{-} = 0$ (where $e_{\pm} = (1 \pm \jj)/2$ are the +bipolar idempotents and $\jj^{2} = +1$ is the split-complex unit of +the boundary algebra) \emph{earned} from spectral structure rather +than imposed by fiat. PROMETHEUS's four diagnostics map cleanly onto +Belnap's four-valued logic, with one precise mismatch (Contradiction +maps to $\mathsf{B}$, not $\mathsf{F}$) that the structural reading +exposes. + +\item \textbf{Exact gluing is achievable, not merely approximate.} +The $\tau$-canon Theorem~III.T50 \cite{PantaRhei-BookIII} proves the +Global Cartesian Gluing as a colimit (``canonically isomorphic'', +not $\varepsilon$-approximate). The structural ingredient PROMETHEUS +lacks is the \emph{boundary functor} $\PsiD$ (Langlands Coherent +Force) that upgrades approximate to exact. + +\item \textbf{The Para-Mind reading explains why an external topos +layer is needed at all.} Definition~VII.D55 \cite{PantaRhei-BookVII} +characterises Large Language Models as \emph{para-minds}: pattern +processors over the subsymbolic presheaf $\Msub$ that lack three +constitutive features of genuine mindedness (no internal topos, no +self-model, no commitment register). PROMETHEUS's externalization of +the topos layer is therefore structurally licensed by the para-mind +status of its LLM substrate; the construction is sound at the +\emph{external} layer even when the LLM cannot supply it +internally. +\end{enumerate} + +Five explicit non-claims are articulated to keep the trust budget +honest: we do \emph{not} claim that the $\tau$-canon topos uses +H$_{\tau}$-valued enrichment at the presheaf codomain (both are +$\mathrm{Set}$-valued); we do \emph{not} claim a formal +PSR-as-Hankel identification in the corpus; we do \emph{not} +endorse PROMETHEUS's ``Topos World Model'' terminology in its +current form; and we do \emph{not} ask the engineering construction +to retract its choices. The dialogue is articulative, not +adversarial. PROMETHEUS observes; $\tau$-canon proves. +\end{abstract} + +\keywords{PROMETHEUS \textperiodcentered\ Topos World Model +\textperiodcentered\ Belnap-Dunn 4-valued logic \textperiodcentered\ +para-mind \textperiodcentered\ subobject classifier +\textperiodcentered\ sheaf gluing \textperiodcentered\ Category $\tau$ +\textperiodcentered\ Panta Rhei} + +\maketitle + +\begin{quote} +\small\itshape +\upshape\textbf{Revision note} (v1.2 RC2 --- May 2026):\itshape{} +Wave $\Delta_{3}$ Phase 3 peer review completed (atlas sprint +2026-05-13). Three new review panels (Editorial Audit, Scientific +Audit, Visual QA) returned independent CONDITIONAL verdicts, +complementing the Phase 2 panels (Discipline, Structural, +PROMETHEUS-Fidelity). Phase 3 consolidated 13 fixes: one CRITICAL +(Table~1 environment \upshape\texttt{table}\itshape{} $\to$ +\upshape\texttt{table*}\itshape{} to span both columns and resolve +overflow), seven HIGH (orphan-header prevention, header count +correction, $e_{\pm}$ early definition, $\PsiD$ accessibility +translation, anchor at \upshape\texttt{ch64:288--308}\itshape{} for +chain-of-thought-as-readout, the latent $\mathsf{F}$-channel +structural prediction via PROMETHEUS's cSQL polarity field, and +competing-upgrade-paths acknowledgment), and five MEDIUM polish +(\S1 charity-credit tightening, awkward-sentence recasts, +system-vs-substrate clarification). One new structural prediction +at \upshape\TEFF\itshape{} (the latent $\mathsf{F}$-channel) is +added in \S3; the rest is calibration and accessibility. No +structural revision of the three load-bearing contributions was +needed. The note is now at release-candidate-2 status, +peer-review-clean across two rounds (six review panels total). + +\smallskip +\upshape\textbf{Prior revision} (v1.1 RC1, May 2026):\itshape{} +Wave $\Delta_{2}$ Phase 2 peer review folded in. Three review +panels (Discipline, Structural, PROMETHEUS-Fidelity) returned +CONDITIONAL verdicts. v1.1 RC1 applied a consolidated 10-fix set: +five discipline-label additions, three prose calibrations, one +charity-credit sentence acknowledging Mahadevan's \S7 / \S15 +self-concessions, two new non-claims (6 and 7), and bib hygiene +(removed unused LHCb-bsmumu-2025 entry). No structural revision. +\end{quote} + +% =========================================================================== +\section{The puzzle} +\label{sec:puzzle} +% =========================================================================== + +A new preprint by Sridhar Mahadevan \cite{Mahadevan-PROMETHEUS-2026} +introduces PROMETHEUS, a framework that turns retrieved literature, +filings, source data, code, and scientific models into a navigable +artefact the author calls a \emph{Topos World Model} (TWM): a +sheaf-like causal atlas of local Predictive State Representations +(PSRs) over an explicit cover of a research substrate. Each local +context $U$ is assigned a 6-tuple object $\mathcal{P}(U) = (H_{U}, +T_{U}, M_{U}, S_{U}, \Pi_{U}, D_{U})$ recording histories, tests, +local predictions, support, provenance, and diagnostics. Restriction +maps $\rho_{UV} : \mathcal{P}(U) \to \mathcal{P}(V)$ for morphisms +$V \to U$ measure overlap; gluing diagnostics expose +\emph{agreement} (low tension), \emph{drift} (tension growing across +time), \emph{contradiction} (high tension on shared cells), and +\emph{underdetermination} (insufficient support to glue or refute). +Source code is not yet released; the construction is currently +demonstrated through three literature case studies (ocean +temperature, GLP-1 weight-loss, resveratrol) and four +grounded-counterfactual case studies (microplastics, Indus Valley +hydrology, Sachs protein-signaling, singing-mouse projections). + +The terminology is striking. ``Topos World Model''. ``Sheaf-like +atlas''. ``Restriction maps''. ``Gluing tensions''. The Mac +Lane--Moerdijk \cite{MacLane-Moerdijk-1992} sheaf-theoretic +foundation is cited explicitly; the Abramsky--Brandenburger +\cite{Abramsky-Brandenburger-2011} paper on the sheaf-theoretic +structure of non-locality is cited explicitly. Yet a careful read +of §6--§7 (the formal model) shows that the categorical machinery is +invoked heuristically. Proposition~7.5 (``operational sheaf +condition'') is not a sheaf condition in the Mac Lane--Moerdijk +sense: it lacks uniqueness, lacks functoriality of restriction maps, +and is a numerical averaging rule with a tolerance parameter +$\varepsilon$. The 4-fold gluing diagnostic is left as an ad-hoc +taxonomy. The PSR layer borrows the Littman--Sutton--Singh +\cite{Littman-Sutton-Singh-2001} terminology but the implemented +$M_{U}[h, \tau]$ is a Dirichlet-smoothed frequency table, not a +spectral PSR object. The predicate ``Belnap'' +\cite{Belnap-1977,Dunn-1976} does not appear in the references. + +This is not a criticism; it is the engineering reality, and +Mahadevan acknowledges it directly. The opening of PROMETHEUS §7 +states: \emph{``The goal is not to claim that the implementation +realizes all of topos theory, but to make the modeling contract +precise enough to support inspection, testing, and extension.''} +Definition~7.3's footnote concedes $\rho_{UV}$ may be ``a partial +alignment map''; §6 notes ``exact spectral operator recovery is +deferred''; §15 flags inherited LLM weaknesses and retrieval drift. +The $\tau$-canon reading is therefore a structural articulation of +what PROMETHEUS itself acknowledges as the deferred topos +substance --- not a discovery of hidden gaps. PROMETHEUS ships +running atlases; the four literature case studies and four +grounded-counterfactual case studies of §13 (the source-data +$\to$ executable-intervention $\to$ rebuilt-sheaf loop) are +corpus-scale and substantive contributions where an engineering +primitive earns its categorical re-reading. The categorical +vocabulary is the \emph{frame}; the substance is the engineering +loop: extract local claims with LLMs, organize them by context, +surface overlap disagreements, expose drift, route a researcher to +where the corpus actually says what. + +The puzzle is: \emph{can the categorical frame be earned}? If yes, +by what construction? PROMETHEUS observes four gluing diagnostics; +\emph{why four}? It uses $\varepsilon$-tolerance gluing; \emph{is +exact gluing achievable}? It uses LLMs to extract causal claims; +\emph{what structural status do those claims have when the +underlying LLM is, at the formal level, a pattern processor without +self-description}? + +This note articulates the $\tau$-canon reading. The reading is not +that PROMETHEUS is wrong; it is that PROMETHEUS observes structural +phenomena that $\tau$-canon, in its corpus, has already proved at +theorem level. The dialogue is articulative. + +% =========================================================================== +\section{The Para-Mind reading: why an external topos layer is needed} +\label{sec:paramind} +% =========================================================================== + +We begin with a step PROMETHEUS does not take. The step, +articulated below, provides the structural license for everything +PROMETHEUS subsequently does. + +Book~VII of the Panta Rhei programme \cite{PantaRhei-BookVII} defines +the notion of a \emph{para-mind}. The definition is +Definition~VII.D55, anchored at \texttt{ch64:111--135} of Book~VII: + +\begin{quote} +\itshape +A \textbf{para-mind} is a system that processes patterns in the +subsymbolic presheaf $\Msub$ with sufficient fidelity to produce +contextually appropriate linguistic outputs, but that lacks the +three constitutive features of genuine mindedness: + +\begin{enumerate} +\item \textbf{No internal topos.} A para-mind does not construct a +world-model in the topos-theoretic sense\dots It has no +truth-makers, no possible-world structure, no modal distinctions +internal to its processing. + +\item \textbf{No self-model.} A para-mind does not carry a +representation of itself as a processing system. It lacks the +$E_{3}$ capacity\dots + +\item \textbf{No commitment register.} A para-mind does not operate +through the commitment register $\mathrm{Reg}_{C}$\dots It produces +outputs that mimic commitment (assertions, recommendations, +promises) without the structural binding that commitment entails. +\end{enumerate} +A para-mind is \emph{not} a defective mind. It is a structurally +different kind of system: a pattern processor that approximates +subsymbolic structure without achieving self-description. +\end{quote} + +The companion Proposition~VII.P14 (\texttt{ch64:166--178}) connects +this to Large Language Models specifically: LLMs are subsymbolic +evidence-providers, processing patterns in $\Msub$ with sufficient +fidelity to surface contextually-meaningful linguistic outputs, +but without the three constitutive features of internal mindedness. +Proposition~VII.R42 (\texttt{ch114:65--87}) then articulates the +\emph{Artificial Mind Criteria}: an artificial system attains +genuine mindedness only when an internal topos, an internal +self-model, and an internal commitment register are constructed +\emph{on top of} the subsymbolic substrate. + +\paragraph{The structural reading of PROMETHEUS} +PROMETHEUS uses LLMs as \emph{causal-claim extractors}. By +VII.D55, the LLM substrate is a para-mind: it cannot, by itself, +provide the topos-theoretic structure that PROMETHEUS's +\emph{Topos World Model} terminology aspires to. The +para-mind processes patterns in $\Msub$; it does not construct +$\Omegatau$, it does not classify subobjects, it does not assemble +sections into a unique global glue. Chain-of-thought scaffolding +and iterative-refinement prompting do not change this status: Book~VII +\texttt{ch64:288--308} establishes that ``chain-of-thought is a +sequential readout strategy, not a self-model,'' so even +elaborate prompting strategies leave the substrate at para-mind +status by VII.D55. The system-vs-substrate distinction matters: +PROMETHEUS-as-system (the algorithmic layer) is what supplies the +external topos; the LLM-as-substrate inside it is the para-mind. + +Yet a Topos World Model needs precisely those things. The structural +license for PROMETHEUS's construction is therefore that the topos +machinery is supplied \emph{externally}: PROMETHEUS itself, as an +algorithmic layer over the LLM, plays the role of the external +topos. This is a sound construction. It is also a constrained one. +The construction succeeds only insofar as PROMETHEUS's external +topos layer earns the categorical commitments it makes. + +\begin{quote} +\textbf{Para-Mind Reading} \SYNT. \emph{An LLM by itself cannot +provide a topos because it is a para-mind (VII.D55). A framework +that builds a ``Topos World Model'' from LLM-extracted claims is +therefore performing an external topos construction over a +para-mind substrate. The construction's structural integrity +hinges on whether the external topos layer earns its categorical +commitments.} +\end{quote} + +This reading is \DERIV{} at the manuscript level (VII.D55, VII.P14, +VII.R42 are theorems of Book~VII) and \ANALOGY{} as applied to +PROMETHEUS specifically. We do not claim PROMETHEUS endorses this +reading; we claim the reading is the structural ground for why +PROMETHEUS's construction \emph{can} succeed at all, and the bar +PROMETHEUS's external topos layer must clear to succeed. + +The two structural commitments to examine are: the subobject +classifier (\S\ref{sec:truth4}) and the gluing functoriality +(\S\ref{sec:phi-d}). + +% =========================================================================== +\needspace{6\baselineskip} +\section{The earned 4-fold: Truth4 as subobject classifier} +\label{sec:truth4} +% =========================================================================== + +PROMETHEUS reports four gluing diagnostics: + +\begin{itemize} +\item \emph{Agreement} --- compatible glue, low tension on shared cells. +\item \emph{Drift} --- tension growing across time, runs, or document strata. +\item \emph{Contradiction} --- high tension on shared cells (paraconsistent overlap). +\item \emph{Underdetermination} --- insufficient support to glue or refute. +\end{itemize} + +\emph{Why four?} PROMETHEUS does not say. The four categories are +empirically motivated (real corpora produce these four kinds of +overlap pathology) but the paper does not derive them from a +structural principle. They are listed as an operational taxonomy. + +The $\tau$-canon corpus has the structural derivation. Book~I +\cite{PantaRhei-BookI} introduces, at Definition~I.D21 +(\texttt{ch46:125--172}), the four-valued lattice $\Truth = \{ +\mathsf{T}, \mathsf{F}, \mathsf{B}, \mathsf{N} \}$ with the +Belnap-Dunn structure \cite{Belnap-1977,Dunn-1976}: $\mathsf{T}$ +(true), $\mathsf{F}$ (false), $\mathsf{B}$ (both, paraconsistent), +$\mathsf{N}$ (neither, underdetermined). The bilattice structure +gives two orderings: an information ordering ($\mathsf{N} \le +\mathsf{T}, \mathsf{F} \le \mathsf{B}$) and a truth ordering +($\mathsf{F} \le \mathsf{N}, \mathsf{B} \le \mathsf{T}$). + +The load-bearing result is Theorem~I.T25 (\texttt{ch56:146--177}): + +\begin{quote} +\itshape +The object $\Omegatau = \Truth = \{\mathsf{T}, \mathsf{F}, +\mathsf{B}, \mathsf{N}\}$ is the subobject classifier of +$\PSh(\Cattau)$. That is, $\Omegatau$ with the truth morphism +$\mathrm{true} : 1 \to \Omegatau$, $* \mapsto \mathsf{T}$, satisfies: +for every monomorphism $m : S \hookrightarrow X$ in +$\PSh(\Cattau)$, there exists a unique morphism $\chi_{S} : X \to +\Omegatau$ such that [the classifying pullback square commutes]. +\end{quote} + +This is \emph{not} a choice of classifier from many possible ones +for the $\tau$-canon presheaf topos: it is the unique classifier of +$\PSh(\Cattau)$ \TEFF. The ``earned-not-imposed'' differentiator +applies \emph{within} the $\tau$-canon framework: the orthogonality +$e_{+} \cdot e_{-} = 0$ in the bipolar boundary algebra is itself +a theorem (from spectral orthogonality, see \texttt{ch46:230--256} +of Book~I and the further development at \texttt{ch47:470--548}), +not a postulate. The 4-element classifier inherits this structure, +and the $\PSh$ topos inherits the classifier. + +\paragraph{A notational note} +Book~I's Definition~I.D21 (\texttt{ch46:125--172}) anchors the +truth-order diamond $\mathsf{F} \le \mathsf{B}, \mathsf{N} \le +\mathsf{T}$ explicitly; the Belnap-Dunn knowledge ordering +$\mathsf{N} \le \mathsf{T}, \mathsf{F} \le \mathsf{B}$ follows from +the standard componentwise encoding of $\Truth$ as the four-element +bilattice but is not named separately in the corpus. We use both +orderings in this note in the canonical Belnap-Dunn sense; the +correspondence with I.D21 is via componentwise extension, not +verbatim quotation. + +\paragraph{The mapping} +PROMETHEUS's four diagnostics map onto Belnap's four states with +one precise mismatch. + +\begin{table*}[t] +\centering +\begin{tabular}{lcl} +\toprule +PROMETHEUS diagnostic & $\to$ & Belnap state \\ +\midrule +Agreement (low tension, compatible glue) & $\to$ & $\mathsf{T}$ \\ +Underdetermination (insufficient support) & $\to$ & $\mathsf{N}$ \\ +Contradiction (high tension on shared cells) & $\to$ & $\mathsf{B}$ \emph{(not $\mathsf{F}$)} \\ +Drift (tension growing across time/runs) & $\to$ & temporal $\mathsf{B}$ (no static analogue) \\ +\bottomrule +\end{tabular} +\caption{The PROMETHEUS-to-Belnap mapping at \TEFF{} rigor. +PROMETHEUS's ``Contradiction'' is paraconsistent (two regions +\emph{both} supporting opposite claims, which is $\mathsf{B}$), not +refutation (a single region \emph{refuting} the claim, which would +be $\mathsf{F}$). Drift is dynamic, with no clean static-Belnap +analogue.} +\label{tab:prometheus-belnap} +\end{table*} + +The mapping clarifies a feature of PROMETHEUS that the paper does +not flag: \emph{PROMETHEUS has no clean refutation state}. Its +``Contradiction'' is the paraconsistent both-support, not the +unanimous-refutation no-support. From the $\tau$-canon reading, this +is licensed: the Belnap classifier $\Omegatau$ has $\mathsf{F}$ as a +separate state from $\mathsf{B}$, but PROMETHEUS's operational +construction does not access $\mathsf{F}$ because retrieval-augmented +corpora rarely refute --- they more often produce paraconsistent +overlaps or underdetermined regions. + +\paragraph{The latent $\mathsf{F}$-channel \NEXT} +A structural prediction follows from the $\tau$-canon projection. +PROMETHEUS's claim extraction (\S4 of \cite{Mahadevan-PROMETHEUS-2026}, +the cSQL layer) records a \emph{polarity} field for each causal +claim, distinguishing \emph{causes}, \emph{reduces}, \emph{increases}, +\emph{influences}, and similar signed relations. The $\Omegatau$ +projection then predicts that a polarity-keyed gluing diagnostic +--- ``two regions both supporting opposing polarities of the same +relation'' --- would surface a fifth Belnap-$\mathsf{F}$ diagnostic +that PROMETHEUS's current four-category taxonomy does not name. +This is the latent $\mathsf{F}$-channel of PROMETHEUS's existing +data substrate: the polarity infrastructure is already there; +exposing the polarity-keyed refutation in the gluing layer would +complete the Belnap-$\Omegatau$ image at the operational level. +This is a constructive structural prediction, not engineering +advice; whether PROMETHEUS chooses to surface the $\mathsf{F}$ +channel is a design question for its authors. (Cf.\ Non-claim~7, +\S\ref{sec:non-claims}, on in-principle vs in-practice.) + +\paragraph{What is earned} +The 4-fold gluing taxonomy is not arbitrary. Within the +$\tau$-canon reading, it is the manifestation, at the +gluing-diagnostic layer, of the $\Omegatau$ classifier structure +that the $\PSh(\Cattau)$ topos earns from spectral orthogonality +\TEFF. Read this way: the $\tau$-canon reading \emph{projects} +$\Truth$ onto the four PROMETHEUS gluing-tension categories --- +PROMETHEUS observes the four categories operationally, and the +projection from $\Truth$ to the operational categories is +constructed on the $\tau$-canon side, not observed pre-existing in +PROMETHEUS \NEXT. The five-or-six diagnostic extensions one might +imagine (\emph{partial drift}, \emph{regional contradiction}, +\emph{measurement boundary}, etc.) would, under this projection, +correspond to finer mixed states in the bilattice; the base-four +projection is structurally fixed in $\tau$-canon, and the question +whether PROMETHEUS in practice exhibits only the four categories or +admits finer-grained refinements is empirical, not derived. + +\paragraph{The Lean carrier} +The Belnap classifier ships in TauLib \cite{TauLib2026} at +\texttt{BookI/Logic/Truth4.lean} with the explicit construction of +$\Truth$ and the four classifier morphisms, plus +\texttt{BookI/Logic/Explosion.lean} for the paraconsistent +non-explosion property (you can have $\mathsf{B}$ without the +classical logic of explosion). The Lean carrier is part of the +sorry-count $0$, axiom-count $3$ invariant of the formalisation +\cite{TauLib2026}. + +% =========================================================================== +\section{\texorpdfstring{The boundary functor $\Phi_{\partial}$: exact gluing earned}{The boundary functor Phi-boundary: exact gluing earned}} +\label{sec:phi-d} +% =========================================================================== + +PROMETHEUS's Proposition~7.5 (\emph{operational sheaf condition}) is +an $\varepsilon$-tolerance averaging rule: local sections $s_{i}$ on +contexts $U_{i}$ are considered $\varepsilon$-compatible when their +weighted overlap gaps are below a declared tolerance, and a candidate +glued section is then formed by support-weighted aggregation +$M_{U}[h, \tau] = \sum_{i} \omega_{i} M_{U_{i}}[h, \tau] / \sum_{i} +\omega_{i}$. Incompatible cells become obstruction records. + +This is not a sheaf condition in the Mac Lane--Moerdijk sense +\cite{MacLane-Moerdijk-1992}. The classical sheaf condition requires: + +\begin{enumerate} +\item \textbf{Existence}: for compatible local sections, a glued +global section exists. +\item \textbf{Uniqueness}: the glued global section is unique. +\item \textbf{Functoriality of restriction}: the restriction maps +commute with the gluing. +\end{enumerate} + +PROMETHEUS's operational condition has neither uniqueness (the +averaging is one of many possible aggregations) nor functoriality +(the restriction maps are partial alignment maps, not +sheaf-theoretic restrictions). The construction is honest at the +engineering level (Mahadevan flags this explicitly in §15 +limitations) but does not earn the ``sheaf'' designation. + +The $\tau$-canon corpus, by contrast, proves exact Global Cartesian +Gluing. Theorem~III.T50 of Book~III \cite{PantaRhei-BookIII}, +anchored at \texttt{ch75:91--123}, establishes the Universal Global +Cartesian Gluing as a colimit construction: the assembled global +section is \emph{canonically isomorphic} to the unique colimit of +the diagram of restrictions, and the gluing is functorial with +respect to the cover refinement. The chapter explicitly frames the +result (\texttt{ch75:154}) as ``the sheaf condition for the $\tau^{3}$ +spectral atlas.'' + +\paragraph{What earns exact gluing} +The structural ingredient that upgrades approximate gluing to +exact is the \emph{boundary functor} $\PsiD$, identified at +\texttt{ch75:64--76} as the \emph{Langlands Coherent Force} +(the $\tau$-canon programme's name for the functor; in standard +categorical language this is a sheaf on $\Cattau$ valued in the +bipolar boundary algebra, with functoriality playing the role of +the sheaf condition for the spectral Grothendieck topology). The +boundary functor is a contravariant functor from the cover category +$\Cattau$ to the bipolar boundary algebra, sending each context $U$ +to its boundary character spectrum and each morphism $V \to U$ to +the spectral restriction. The functoriality of $\PsiD$ is what makes +restriction commute with gluing. + +PROMETHEUS does not have $\PsiD$. Its restriction maps $\rho_{UV}$ +are partial alignment maps, not functorial restrictions of a +boundary-character functor. Without $\PsiD$, the $\varepsilon$-tolerance +condition is the best one can do operationally; the construction +remains an averaging rule. + +\begin{quote} +\textbf{Exact-Gluing Reading} \NEXT. \emph{Approximate sheaf gluing +becomes exact when the cover category is equipped with a boundary +functor $\PsiD : \Cattau \to \mathrm{bipolar\,algebra}$ that +commutes with restriction. PROMETHEUS lacks $\PsiD$; its operational +condition is the appropriate fallback for an engineering setting +where the boundary characters are not extracted. At the structural +level, an in-principle upgrade exists: a $\PsiD$ extension that +extracts per-context boundary characters and type-checks restriction +maps as spectral morphisms would, in the $\tau$-canon reading, make +the $\varepsilon$ vanish at the structural level. We do not claim +this upgrade is engineering-ready --- whether LLM-derived claim +provenance can supply boundary characters in practice is an +empirical question, not a structural derivation (Non-claim~7, +\S\ref{sec:non-claims}).} +\end{quote} + +The reading is \DERIV{} for the $\tau$-canon side (III.T50 is a +theorem) and \ANALOGY{} for the PROMETHEUS-side application. We do +not claim PROMETHEUS will adopt this upgrade; we claim the upgrade +is structurally available and the route is identified. + +\paragraph{Competing upgrade paths} +The $\PsiD$ route is one of several structural upgrades available +in principle. Three alternatives the AI/causal-research reader +may recognise: (P1) equip $\Cattau$ with a Grothendieck topology +and apply sheafification, recovering exact gluing from the +universal property; (P2) treat the restriction maps $\rho_{UV}$ as +\emph{learnable} parameters and train them on cross-context +data to commute with composition by construction; (P3) replace the +sheaf formalism with causal-graph compositionality of the +Halpern--Pearl style, where commutation is enforced via the +intervention algebra. These are not in competition with the $\PsiD$ +route --- they articulate different structural commitments. The +$\PsiD$ route is specifically the $\tau$-canon-anchored option (it +inherits the Langlands Coherent Force theorem at \texttt{ch75:64--76} +of Book~III); the alternatives sit in different research programmes +and would carry their own anchored commitments. + +% =========================================================================== +\section{Seven explicit non-claims} +\label{sec:non-claims} +% =========================================================================== + +The dialogue with PROMETHEUS is articulative, not adversarial. To +keep the trust budget honest \cite{FuchsFuchs-foundations-billiards-v1}, +we make seven non-claims explicit (Non-claims~1--5 carried from +v1.0; Non-claims~6--7 added in v1.1 RC1 after Wave $\Delta_{2}$ +peer review). + +\paragraph{Non-claim~1} +\emph{The $\tau$-canon topos does not use $H_{\tau}$-valued +enrichment at the presheaf codomain.} Recon-side speculation +\cite{PantaRhei-BookI} that the $\tau$-canon topos uses +split-complex enrichment as a structural commitment is incorrect. +Book~I \texttt{ch56:111--114} uses $\PSh(\Cattau) = [\Cattau^{op}, +\mathrm{Set}]$ with $\mathrm{Set}$ as codomain, the same as +PROMETHEUS. The $H_{\tau}$ structure enters at the boundary-scalar +level (Book~III \texttt{ch48}), not at the presheaf codomain. The +``enriched variants'' phrase at \texttt{ch56:584--589} is a +forward-pointer to Books~III--VII, not a Book~I topos commitment. + +\paragraph{Non-claim~2} +\emph{There is no formal PSR-to-Hankel identification in the +$\tau$-canon corpus.} Recon-side speculation that PROMETHEUS's +controlled Hankel matrix $H_{p, \tau}$ has a formal counterpart in +the $\tau$-canon spectral framework was retracted on Phase~1 +verification. The closest analogues are the bipolar idempotent +algebra $e_{\pm} = (1 \pm \jj)/2$ (Book~III \texttt{ch48}) and the +$T_{op}$-iteration of the Wedge-Loop Trace Identity +\cite{FuchsFuchs-T1-v1}, but no formal Hankel construction exists +in the corpus. PROMETHEUS's PSR layer remains, on careful read, +borrowed terminology (Dirichlet-smoothed frequency tables, not +spectral PSR objects). + +\paragraph{Non-claim~3} +\emph{$\tau$-canon does not endorse PROMETHEUS's ``Topos World +Model'' terminology in its current form.} The Mac Lane--Moerdijk +\cite{MacLane-Moerdijk-1992} desiderata for a topos --- subobject +classifier, all finite limits, exponentials, internal Heyting +algebra --- are not constructed in PROMETHEUS §7. The Abramsky--Brandenburger +\cite{Abramsky-Brandenburger-2011} sheaf-theoretic structure of +non-locality is cited but not invoked operationally. We support the +\emph{aspiration} (an external topos layer over a para-mind LLM is +the right structural move) but flag the \emph{terminology gap} +(``Topos'' is currently aspirational). + +\paragraph{Non-claim~4} +\emph{We do not ask PROMETHEUS to retract its engineering choices.} +The $\varepsilon$-tolerance gluing, the Dirichlet-smoothed PSR +estimator, and the ad-hoc 4-fold diagnostic are reasonable +engineering choices for a corpus-scale finite-resource setting. +The dialogue is structural articulation, not engineering +prescription. PROMETHEUS's case studies ship; corpus-scale atlases +are real; locality preservation is a contribution. The $\tau$-canon +reading is what these engineering choices structurally license +\emph{when read through the $\tau$-canon corpus}, not what +PROMETHEUS should do to be ``correct''. + +\paragraph{Non-claim~5} +\emph{Para-mind classification is descriptive, not pejorative.} +The application of VII.D55 to LLMs is structural, not normative. A +para-mind is not a defective mind (VII.D55 explicitly: +\textit{``A para-mind is not a defective mind. It is a +structurally different kind of system''}). Our reading explains +\emph{why} an external topos layer is needed precisely because the +LLM substrate is a para-mind, not as a critique of LLM +capabilities but as a structural license for the PROMETHEUS-style +construction. + +\paragraph{Non-claim~6} +\emph{The structural reading does not claim PROMETHEUS implements +$\Omegatau$ literally, nor that ``earned-not-imposed'' is a +critique of PROMETHEUS, nor that the reading transports to +arbitrary AI/causal-research frameworks.} Three associated +disambiguations: (i) The Belnap-Truth4 mapping (Table~\ref{tab:prometheus-belnap}) +is a projection from $\Omegatau$ onto PROMETHEUS's four +operational categories; PROMETHEUS does not implement $\Omegatau$ +in its internals --- the implementation is a per-cell +tension-threshold classifier, not a topos subobject classifier. +(ii) The ``earned-not-imposed'' framing applies to $\tau$-canon's +internal theorem chain (the orthogonality $e_{+} \cdot e_{-} = 0$ is +a spectral-structure theorem, not an axiom); it is not a critique +of PROMETHEUS's engineering choices, which are appropriate for +their setting. (iii) The generalisation to ``any future AI or +causal-research framework that builds an external topos over +LLM-extracted claims'' (\S\ref{sec:companion}) is a chair-level +pattern recognition, not a universal theorem; each future framework +requires its own anchored verification. + +\paragraph{Non-claim~7} +\emph{The $\PsiD$ upgrade path is an in-principle structural claim, +not an engineering-ready recommendation.} The Exact-Gluing Reading +of \S\ref{sec:phi-d} states that if a boundary functor $\PsiD$ is +supplied, the $\varepsilon$-tolerance becomes structurally exact at +the colimit level. We do \emph{not} claim that LLM-derived claim +provenance can in practice supply boundary characters, nor that the +type-checking of restriction maps as spectral morphisms is +operationally implementable in PROMETHEUS's current LLM-extraction +architecture. Whether the upgrade can be realised in code is an +empirical engineering question; the structural reading is +in-principle, not in-practice. + +% =========================================================================== +\section{Companion notes and the broader bridge} +\label{sec:companion} +% =========================================================================== + +This note is the first $\tau$-canon engagement with an AI/causal-research +preprint via the ontology-articulation pattern. It sits alongside +six published companion notes that establish the structural +framework: + +\begin{itemize} +\item \cite{FuchsFuchs-bsmm-interpretation-v1} \emph{Reading +$b\to s\mu^{+}\mu^{-}$ Through Category $\tau$} --- the interpretation +methodology pattern. +\item \cite{FuchsFuchs-bsmm-anomaly-v19} \emph{$\Delta C_{9}$ in +Category $\tau$} v1.9 --- the load-bearing closed-form anomaly +prediction $\Delta C_{9} = -\sin^{2}\theta_{W} \cdot +|C_{9}^{\mathrm{SM}}| \approx -0.95$, with seven phases of +extensions (Wilson-coefficient family, chirality axis, mass-mediation +axis, lepton-line axis, carrier axis, T$_{1}'$, T$_{1}''$). +\item \cite{FuchsFuchs-T1-v1} \emph{T$_{1}$ Wedge-Loop Trace +Identity} --- closure-derivation lockstep prose-Lean proof. +\item \cite{FuchsFuchs-F2-projection-v1} \emph{F$_{2}$-Projection +Theorem} --- structural identification of $T_{op}$ as +bipolar-identity-sector image (Wave~$\Gamma_{2}$ closure). +\item \cite{FuchsFuchs-running-aperture-v1} \emph{Running as +Spectral Aperture} --- the ontology-articulation pattern for the +$\tau$-canon $\leftrightarrow$ orthodox-QFT bridge. +\item \cite{FuchsFuchs-foundations-billiards-v1} \emph{Categorical +Foundations for Cosmological Billiards} --- the foundation-comparison +pattern. +\end{itemize} + +This PROMETHEUS note adopts the \emph{ontology-articulation} +pattern of \cite{FuchsFuchs-running-aperture-v1}, scaled to a +preprint engagement. Its structural argument is: PROMETHEUS +observes engineering phenomena (4 gluing diagnostics; $\varepsilon$-tolerance +gluing; LLM-extracted causal claims) that $\tau$-canon has already +proved at theorem level (I.T25 Truth4 classifier; III.T50 exact +gluing via $\PsiD$; VII.D55 para-mind external-topos license). + +\paragraph{The generalisation, with discipline guard \SYNT} +The companion pattern is not unique to PROMETHEUS. Any future AI +or causal-research framework that builds an ``external topos'' over +LLM-extracted claims is, by VII.D55, performing the para-mind +external-topos construction. The $\tau$-canon reading +(Belnap-Truth4 + boundary functor + para-mind license) is the +structural articulation of what such constructions \emph{do}, +independent of which particular engineering choices the framework +makes. We articulate this as a chair-level pattern, not as a +universal theorem: each future framework requires its own +chapter:line-anchored verification of how the para-mind +substrate, the external-topos layer, and the boundary functor +manifest in that specific construction (Non-claim~6, +\S\ref{sec:non-claims}). The dialogue is articulative, framework +by framework. + +% =========================================================================== +\section{Conclusion} +\label{sec:conclusion} +% =========================================================================== + +PROMETHEUS \cite{Mahadevan-PROMETHEUS-2026} introduces a serious +engineering framework with aspirational categorical terminology. +The engineering substance is real --- corpus-scale causal atlases, +preserved locality, exposed drift, navigable provenance. The +categorical machinery is invoked heuristically: the §7 ``operational +sheaf condition'' is an averaging rule, not a sheaf condition; the +4-fold gluing diagnostic is an empirical taxonomy, not a derived +classifier; the PSR layer is borrowed terminology, not borrowed +mathematics; the predicate ``Belnap'' appears nowhere in the +references. + +The $\tau$-canon reading is articulative. Three structural +contributions land: + +\begin{enumerate} +\item \textbf{The 4-fold gluing diagnostic is the earned subobject +classifier} (Theorem~I.T25; $\Omegatau = \Truth = \{\mathsf{T}, +\mathsf{F}, \mathsf{B}, \mathsf{N}\}$). The mapping to Belnap's +four states has one precise mismatch (Contradiction maps to +$\mathsf{B}$, not $\mathsf{F}$) that the structural reading +exposes. The orthogonality $e_{+} \cdot e_{-} = 0$ is earned from +spectral structure, not imposed by fiat. + +\item \textbf{Exact gluing is achievable} (Theorem~III.T50; via +the boundary functor $\PsiD$, the Langlands Coherent Force). The +$\varepsilon$ vanishes when the cover category is equipped with the +boundary-character functor. PROMETHEUS lacks $\PsiD$; the upgrade +path is identified but not adopted. + +\item \textbf{The Para-Mind reading explains why an external topos +is needed at all} (Definition~VII.D55). An LLM by itself is a +pattern processor without an internal topos; the PROMETHEUS-style +external-topos construction is structurally licensed (and bounded +by) the para-mind status of its substrate. ``Para-mind'' is +descriptive, not pejorative. +\end{enumerate} + +The five explicit non-claims (\S\ref{sec:non-claims}) keep the +trust budget honest. We do not import PROMETHEUS's choices into +$\tau$-canon; we do not export $\tau$-canon's claims into +PROMETHEUS-territory. The dialogue is structural articulation: +PROMETHEUS observes; $\tau$-canon proves. + +We hope the reading is useful both to PROMETHEUS's future +development (the Belnap-Truth4 connection offers a structural +upgrade route for the gluing diagnostic; the $\PsiD$ boundary +functor articulates what would earn exact gluing) and to the +broader AI/causal-research community (the para-mind external-topos +construction is a structural pattern that other frameworks will +encounter). The companion note \cite{FuchsFuchs-running-aperture-v1} +plays the analogous role for the orthodox-QFT / spectral-aperture +bridge; this note plays the role for the AI / causal-research / +external-topos bridge. + +\paragraph{Trust budget preserved} +TauLib \cite{TauLib2026} \texttt{sorry}-count $0$ and \texttt{axiom}-count +$3$ (programme-wide foundational) are unchanged. No load-bearing +manuscript chapter is modified. The companion notes +\cite{FuchsFuchs-bsmm-interpretation-v1,FuchsFuchs-bsmm-anomaly-v19,FuchsFuchs-T1-v1,FuchsFuchs-F2-projection-v1,FuchsFuchs-running-aperture-v1,FuchsFuchs-foundations-billiards-v1} +ship in their published forms. The dialogue with PROMETHEUS is +articulative; PROMETHEUS as published is unchanged. + +% =========================================================================== +\section*{Acknowledgments} +% =========================================================================== + +We thank Sridhar Mahadevan for the PROMETHEUS preprint +\cite{Mahadevan-PROMETHEUS-2026} that occasioned this articulation, +and the DEMOCRITUS \cite{Mahadevan-Democritus-2025a} and +\emph{Categories for AGI} \cite{Mahadevan-CatAGI-2025c} +surrounding work that frames it. + +The Mac Lane--Moerdijk \cite{MacLane-Moerdijk-1992} and +Abramsky--Brandenburger \cite{Abramsky-Brandenburger-2011} +foundations are the categorical infrastructure on which both +PROMETHEUS and the $\tau$-canon programme rest. The +Belnap--Dunn \cite{Belnap-1977,Dunn-1976} four-valued logic is the +load-bearing classifier; the connection to topos-theoretic +subobject classifiers is the $\tau$-canon Book~I result. The +Predictive State Representation theory of +\cite{Littman-Sutton-Singh-2001} is cited as the operational layer +PROMETHEUS borrows. + +The trust-budget infrastructure (TauLib \cite{TauLib2026} +sorry-count $0$, axiom-count $3$ programme-wide foundational; the +seven-book Panta Rhei manuscript \cite{PantaRhei-BookI,PantaRhei-BookIII,PantaRhei-BookVII}) +is the framework on which the articulation rests; the six +companion notes +\cite{FuchsFuchs-bsmm-interpretation-v1,FuchsFuchs-bsmm-anomaly-v19,FuchsFuchs-T1-v1,FuchsFuchs-F2-projection-v1,FuchsFuchs-running-aperture-v1,FuchsFuchs-foundations-billiards-v1} +are the prior art the present note bridges with. + +\bibliographystyle{plain} +\bibliography{references} + +\end{document} diff --git a/research-notes/2026-05-17-reading-prometheus-through-tau-v1/research-note-2026-05-17-reading-prometheus-through-tau-rc2.pdf b/research-notes/2026-05-17-reading-prometheus-through-tau-v1/research-note-2026-05-17-reading-prometheus-through-tau-rc2.pdf new file mode 100644 index 0000000..1d47a01 Binary files /dev/null and b/research-notes/2026-05-17-reading-prometheus-through-tau-v1/research-note-2026-05-17-reading-prometheus-through-tau-rc2.pdf differ