Scope and empirical status of the identical-particles page

Adopted assumptions. The page adopts the sector and species assignments of P6 in the reading of Declared species sectors and their preparations: the framework's reading of P6: which species is bosonic or fermionic, its mass, spin label and statistics, and, for a charged species, its charge, are declared model parameters; the symmetric or antisymmetric sector of the $n$-particle space is part of that declaration. The finite-mode occupation model of The declared finite-mode model and its occupation readouts adds the declared finite mode family as an idealization. These are assumptions of the model, not consequences of the Hilbert-space formalism and not measurements.

Conditional results. The mathematical items of the page construct the two permutation sectors and their occupation bases (Slater and symmetric occupation-number bases of the finite-dimensional permutation sectors), count the occupation configurations (Finite-mode occupation configurations: fermionic exclusion counts, bosonic counts and truncated dimensions) and decompose a two-factor sector into opposite-symmetry summands (Regrouping two factors: the symmetry decomposition of a two-particle sector over an orbital and an internal factor). The physical results are conditional on the adopted sector: Permutation invariance of sector preparations and the indistinguishability of relabelled readouts proves that sector preparations and relabelled readouts are statistically indistinguishable, and Pauli exclusion in the declared finite-mode occupation readout, with the bosonic contrast proves the exclusion of double occupations in the antisymmetric sector together with the bosonic contrast. All of these are deductions from the stated postulates, idealizations and mathematical hypotheses.

What is not claimed. The page does not derive the spin-statistics connection: the relativistic theorem is outside this framework and the link between the spin label and the sector is a declared model assignment (clause (iv) of P6). It does not claim that the declared modes are an exact description of any apparatus or species, does not treat infinite mode families or the continuum of modes, and introduces no dynamics of the sector, no interaction and no instrument; the interaction example of the companion page is a conditional computation in a declared model. Nothing on the page attributes particle-like trajectories, spatial avoidance or a force to the exclusion statement.

Empirical status. The page records no measurement and no data. Whether some laboratory ensemble realizes a declared sector preparation, a declared mode family or a declared apparatus is a tested identification with uncertainty under the preparation and apparatus postulate Preparation and apparatus postulate P7: declared preparations, isolation and sampling assumptions; comparisons of model predictions with counts would test the combined model and apparatus assumptions, and agreement would be evidence, not a deductive proof of the model. The design's separate dedicated statistics treatment is a named destination of the later many-body page and is not silently claimed here.