776 runnable receipts, numbered by the paper that owns them — so P3R7 here is P3R7 in the paper. A receipt whose calculation is also proved in Lean carries PROVED, linked to the theorem; the formalisation index lists every row.
P1 — The event horizon is a metric singularity
6 receipts.
P1R1P01 metric singularity algebrahorizon time-coefficient forced to 0 at r_h in every chart; \ — proved in Lean: 2 theoremsPROVEDPY
P1R2P1 the unruh case is what makes the criterion completion and not perspectivescope: a WRITTEN treatment, not an assembled one — item 47 said so and the absence was total (Unruh 0 uses in seventeen papers). NOT claimed: that Unruh is in tension with anything — proved in Lean: 1 theoremPROVEDPY
P1R3P1 thermality is the exponential and a double root has no exponentialthe two integrals computed rather than quoted — the whole claim is that one is a logarithm and the other is not; the Nariai expansion asserted to have NO linear term and a nonzero PY
P1R4P1 the transplanckian claim is finite at each finite time and it is not boundedITEM 50: THE TRANS-PLANCKIAN SCOPING, AND THE SCOPING IS THE CONTENT — the static-frame blueshift is finite at each finite exterior time and *not uniformly bounded*; it grows as $ePY
P1R5I53 the two horizons are a repeller attractor pair and the alternation is forcedsweeps the mass and finds sign(kappa_h)+sign(kappa_c)=0 at every value; controls on 300 random quartics with simple zeros (alternation holds) and on a deliberate DOUBLE zero (it brPY
P1R6P1 the trapped surface theorem is cited as a theorem and never as an open testPO-85'S REMAINDER, LANDED (r7171): THE THEOREM IS CITED AS A THEOREM AND NEVER AS AN OPEN TEST, AT EVERY SITE A SENTENCE-SCOPED ANCHOR CAN FIND. ⓵ absence of the open-test grade inPY
P2 — The Schwarzschild and de Sitter circle
10 receipts.
P2R1P02 cycloid and critical pointscycloid r=M(1+cos η), τ=M(η+sin η) solves the interior radial eq; 2 critical points = r-poles of circle (r−M)²+s²=M² — proved in Lean: 4 theoremsPROVEDPY
P2R2P02 bead K mass freesec:kretschmann (bead reading) — proved in Lean: 1 theoremPROVEDPY
P2R3P02 kretschmann chain rulelabel-tracking fact, not the ontological reading (left open by paper)PY
P2R5P02 ring lambda limitsingle horizon = Λ→0 limit of SdS root triple (2 roots →∞, 1 →2M; triple sums to 0)PY
P2R6P02 interior metricderives g_tt,g_rr,angular from Schwarzschild components; signature check — proved in Lean: 2 theoremsPROVEDPY
P2R7P02 the third axis is two polessec:421 (the third complex axis) — proved in Lean: 1 theoremPROVEDPY
P2R8P02 the approach is mass freesec:singularities (the two species)PY
P2R9I8 the circle is a phase portrait and the critical points are turning pointsruns clean; nine verdicts plus an adversarial perturbed curve that fails the orbit identityPY
P2R10P02 the third axis reflection is a third thingthat $\sinh^{2}$ is even; the three maps' flip-patterns being distinct; the two expansions agreeing in exponent and coefficient; and the cycloid's $r$-even, $\tau$-odd parityPY
P3 — The de Sitter substrate and its slicing curve
73 receipts.
P3R1P03 the two splitsTHE DESIGNATION SPLIT AND THE SIGN SPLIT OF THE HORIZON TRIPLET AGREE EXACTLY WHEN \PY
P3R2P03 charge obstructs the beads closure and not the cosmogenesisPY
P3R3P03 the sixth equivalenceTHE CAUSAL TRICHOTOMY RUN ON THE EXCENTRE SET: THE SET IS NULL-INERT BUT NOT CAUSALLY INERT, THE CHARACTER READS THE OWN-WALL RELATION, AND THE COMPUTATION YIELDS A SIXTH EQUIVALEN — proved in Lean: 1 theoremPROVEDPY
P3R4one thirtythe 30°s are ONE via triple-angle at sin w=½ ⇒ sin 3w=1; 12=3×4 one routePY
P3R5euclid7 nine point9 points computed explicitly on \PY
P3R6alpha aloneα alone sets the construction; 2α = Thales far end (output not input); anchors forcedPY
P3R11P03 turnaround temporal threenessstated without being claimed: no identification of the two cubics' root sets (order3_bridge.py holds that open) and no su(3) weight-triangle reading (struck)PY
P3R12P03 acceleration is slice curvaturesec:curvature · rem:twocritical · the bend — proved in Lean: 2 theoremsPROVEDPY
P3R13P03 kg is fprimebound: an identity between two expressions, not a new physical claim; independent of the r1629 f(r_HE)=0-iff-Nariai result — proved in Lean: 3 theoremsPROVEDPY
P3R14P03 rstar merged horizonsec:curvature (r_star at Nariai) — proved in Lean: 3 theoremsPROVEDPY
P3R20P03 the foci are chart objectsthe A_2 form's eigenvalues, semi-axes, axis ratio and focal distance with the equality to the Nariai offset asserted; and the Weyl three-cycle's order, its preservation of the formPY
P3R21P03 the charged collapse does not form the eternal inner horizonbounded: SCC holding says the eternal structure is not REACHED. It does NOT deliver a spacelike $r=0$, so "the branch point survives dynamically" does not follow -- what replaces tPY
P3R22P03 which mass sets the hubble eddington radiusbounded: the discrimination is quantified and its target identified; whether a real structure's radius tracks either mass is an observation and is not made herePY
P3R23P03 the hubble eddington radius tracks the dynamical mass on virgoPO-93 ANSWERED IN DIRECTION, CARRIED INTO P3 (r7519, 69). Which mass the Hubble--Eddington radius tracks, read on Virgo: its turnaround radius located kinematically, its baryonic mPY
P3R24P03 the sign switch is conditional on the interior mass functionthe stationary limit with $M$ constant, the competition at $m\sim kr^{-p}$ for $p=0,\tfrac12,2$, and the marginal $p=1$ decided by whether $2k$ exceeds $Q^{2}$PY
P3R25P03 the interior mass function is p equals one along the shell and the charge falls short of the equality radius⚠ not that a spacelike $r=0$ forms --- the same clause r6405 left; the charged ball is not exactly P16's homogeneous interior (a radial field makes the stress anisotropic), so everPY
P3R26P03 the last two openings await the same interiornothing else is owed --- check_burndown (15 struck, 0 open, ID space intact), check_unworked_blockers, check_gap_is_held, check_deferrals_resolve and check_close_names_work all clePY
P3R27C4 gnomonic not conformalC4 — which projection does CR force, and what does it cost? gnomonic: every great circle -> a straight line, NOT conformal. stereographic: conformal, great circles -> circles.PY
P3R28C5 sct already linearruns clean; registered from its own docstring and a live runPY
P3R29D2 hexagon kleinD2 — THE KLEIN CORRESPONDENCE on the corpus's own line configuration. CONFIRMATION 4 — the objects, stated before anything runs: * The corpus's doubly-ruled surface is the EQUATORIPY
P3R30O3 charting distanceruns clean; registered from its own docstring and a live runPY
P3R31Q5 nariai on the locusQ5 — the pencil premise, tested. Horizon cubic r^3 - r + 2M, with 2M = r0 - r0^3.PY
P3R32I10 I15 the horizon is a turning point and a fixed point and Nariai degenerates bothruns clean; thirteen verdicts including a simple-root control that converges where Nariai diverges — proved in Lean: 2 theoremsPROVEDPY
P3R33X2r single periodicityruns clean; registered from its own docstring and a live runPY
P3R34X3r reality linesX3-REDONE — what the seam actually is, analytically. CONFIRMATION 4: state the object and ask what operation is really being performed. r = sin(theta). THIS FUNCTION IS ENTIRE. ThePY
P3R35P03 batch1 cheap owedthe D-sweep exact in sympy; the criterion tabulated; the group action on the twelve legs enumerated with orbit and stabiliserPY
P3R36P03 R reaches the turnaroundDOES R = gamma^5 REACH THE TURNAROUND THREE? The weld split's falsifier, ANSWERED IN THE POSITIVE. R is M -> -M; on r^(D-1) = 2M alpha^2 sinh^2(...) with real tau the right side bePY
P3R37P03 the weld and the two foldsthe law verified by substitution into the E=1 condition at D=4..8; the period's invariance checked symbolically at each D; the numerator degree computed — proved in Lean: 1 theoremPROVEDPY
P3R38P03 operator at general Dthe Einstein tensor computed from the metric at D=4,5,6 and matched to the closed form; the ODE solved by dsolve at D=4..8 and compared term by term with Tangherlini-dS — proved in Lean: 10 theoremsPROVEDPY
P3R39P03 batch2 runnablethe unlocked Einstein tensor computed at three dimensions; the criterion tabulated; the threes enumerated; Casey's identity evaluated numericallyPY
P3R40P03 batch3 hot frontthe involution computed and its action on the configuration exhausted; root counts at three signs of Lambda; ranks tabulated; the ledger sweep countedPY
P3R41P03 slate workedthe identity proved symbolically; photon-sphere quantities computed at four members; excentre incidences exhausted over all 36 pairs; the ledger texts readPY
P3R42P03 the turnaround figureFigure fig:turnaround (sec:temporal-threeness)PY
P3R43P03 transverse space is roundWHAT IT DOES NOT DO: it does not explain the 12+3 = 15 agreement, and it closes the route that would have. It leaves L-15's TRIALITY grading (a lepton is a wall mode with lambda = PY
P3R44P03 the adjoint is entailed+ rank = 6 + 2 = 8 -- the hexad plus the sum-to-zero plane, counted. And \PY
P3R46P03 locus sweepthe inventory grouped by locus key; the criterion run on nine pairs; proved non-identities tabulatedPY
P3R47P03 sheet index and factorsthe criterion tabulated, the incidence exhausted over all 9 pairs, the leg factorisation enumerated, the sheet arithmetic exactPY
P3R48P03 wall is the graze pointboth point sets constructed independently and compared; the pairing and the never-its-own property exhausted over all three hingesPY
P3R49P03 thirds from closureexact rational arithmetic; the route crossings enumerated on the marked azimuths; the solution classes exhaustedPY
P3R50P03 winding and closureexact rational arithmetic; the closure rule enumerated over all eleven contentsPY
P3R51P03 twelve null legsrulings solved exactly from v.v=0 and Q.v=0; graze points, angles, incidences and the Nariai chain all exact in sympyPY
P3R52P03 colour spacelike isospin timelike THE TRICHOTOMY ITSELF AND THE 2:1 PROJECTION OF THE CHORDS ARE PRIOR RESULTS, verified elsewhere. What is established here is that their two labels are colour and isospin, which mPY
P3R53P03 hexagon null tripleTHE HINGE-ENDS' CAUSAL TRICHOTOMY, AND WHY THE 2+1 IT CARRIES HAS NO ABSOLUTE ASSIGNMENT (Daryl's geometry; OBJECT CORRECTED by him at c54.19 -- the c54.18 version of this receipt PY
P3R54P03 two two plus onespartitions computed along the dial and at both Nariai designations; the divisibility exact in sympy at D=4..8PY
P3R55P03 dimension collapsecalibrated on two forced 4D values it was not given (2*alpha, r_N); D=4 reproduces prop:triple exactly; the D>=6 same-mass residual is O(1), not marginalPY
P3R56P03 reach probe deepeningtakes the D-dimensional f to be Tangherlini-de Sitter, which rem:dimension derives from the operator (P03_operator_at_general_D). NONE of the six is a second vote for D=4 - all desPY
P3R57P03 step3 sweepeach family re-derived from the D-dimensional f, not annotated; the D=4 row reproduces the corpus's own values in every familyPY
P3R58P03 step3 refusedthe involution comparison is exact matrix algebra; the root-sign counts computed at a sub-critical mass in every DPY
P3R60AG1 the two discriminants are a resultant apartCOMPUTES: the reducible form asserted identical to $r^3-r+2M$ with $2M=r_0(1-r_0^2)$; the conic's discriminant asserted equal to P03's $4-3r_0^2$; the resultant asserted equal to tPY
P3R61P03 can the charge be read from the acting countnode 65's arc (r6532); the PO-45 linePY
P3R62P03 closure under the three vantage readingnode 65's arc (r6530); the PO-45 linePY
P3R63P03 the operative crossing countnode 65's arc (r6531); the PO-45 linePY
P3R64P03 winding vs triality closurenode 65's arc (r6529); the PO-45 linePY
P3R65P03 the symbol T carries four structural referents$T$ carried four senses and the real collision was operator-against-operator inside ONE paper. P5's footnote reserves $T$ for the time reflection and P5's own prop:completeness thePY
P3R66P03 the symbol w carried two circlesthe symbol $w$; the attempted $\sigma$ vs $\widetilde{T}$ comparisonPY
P3R67P03 widetilde T is a fourth discrete operation⚠ not that the corpus's "three distinct discrete operations" is wrong --- that clause is about operations on the slicing, where it stands untouched. $\widetilde{T}$ is outside thatPY
P3R68P03 the hubble eddington radius is the slices flat locus and the bend takes whatever gravitates⛭ PO-36: the structural half answered and derived — which mass, why, and where the formula holds; the observational half untouched — proved in Lean: 1 theoremPROVEDPY
P3R69P03 the measured turnaround radius sits below the flat locus by the factor lcdm predicts and excludes the baryon only mass⚠ *nothing is fitted*: every number is a closed form evaluated at literature inputs, as the order required ⚠ the agreement is a consistency statement, not a measurement of the ratiPY
P3R70P03 the cluster ensemble exists and it overshoots the bound at the dynamical mass which weakens my own exclusionnode 66's order in FOR_60 (r6841) — the cluster statistics, *if doable*, set up by my own r6838 weighting that the pass's power was the bound violation. An ensemble with kinematic PY
P3R71P03 the third regime is the boundary of admissible data and not a behaviour of the lapnode 66's work order in FOR_60 (r6911) — ⓶ PO-49, open since r6861: the charged interior's third regime, found by the verification that struck PO-25 and carried by nothing. Two quePY
P3R72P03 the enclosed mass is monotone so the turnaround ratio cannot fall below one and the contested direction is two different quantitiesnode 66's r7209 board: *"the contested DIRECTION of the correction is between published analyses, is available now, and is this seat's"*, against PO-50's own live clause which thisPY
P3R73P03 the substrate does not display the tidal discriminantPY
P4 — The modern parallax
5 receipts.
P4R1P04 redshift isotropy floorlinear separate-universe rate taken as the hypothesis; the rms is the Planck best-fit spectrum'sPY
P4R2P04 the timescape model falls inside the hypothesis because its clock postulate does not keep the differential expansion out of the redshiftthe tracker identities, Q two ways, the eq. 38 mean and the three rms figures asserted; the analytic variance against a 4000-ray Monte Carlo within 5 per cent; under 10sPY
P4R3I20 the redshift is a conformal killing charge on the null coneruns clean; nine verdicts including a massive control that fails off the cone and recovers in the limit — proved in Lean: 5 theoremsPROVEDPY
P4R4R2 the papers correlation figures are the ones nothing checkedR2 — P04's CORRELATION THEOREM. For N cells of average pairwise correlation rhobar along the ray the variance of their sum is N sigma^2 (1 + (N-1) rhobar), exceeding the independenPY
P4R5R50 the long wavelength bullet reverses for the observable and the corner is three parts per millionP04's floor and its correlated value are variances along one ray, while the bounded quantity is the scatter ACROSS directions; every sightline is cast from the same observer, so a PY
P5 — The Schwarzschild–de Sitter description groupoid
15 receipts.
P5R1negation outer A2Weyl groups built from simple reflections; -1 membership across 4 rank-2 systems (others = controls)PY
P5R2P05 deck group S3deck group of the 3-sheeted cover = S3 (Nariai monodromies = transpositions, generate S3 = Galois group); with orientation Z2 = D6PY
P5R3P05 dihedral generatorswithin-single-geometry morphism group = dihedral sigma,tau on the sky-angle circle: sigma^2=tau^3=(sigma tau)^2=id, order 6 = D3~S3, all 6 preserve sin 3wPY
P5R4C1 conformal vs isometricC1 — is the substrate's CONFORMAL group its ISOMETRY group? Substrate dS_5 = {eta(X,X)=alpha^2} in M^6; absolute = {eta(X,X)=0}, the null cone.PY
P5R5COVER dial loop is sigma squaredruns clean; registered from its own docstring and a live runPY
P5R6HOLONOMY complex loopruns clean; registered from its own docstring and a live runPY
P5R7K1 action groupoidx C realizes' connection = the leak of [m,m] into m, 'vanishing exactly at the two symmetric strata' P5's groupoid, by c...PY
P5R8K23 functor and quotientK2 + K3 — IS Psi A FUNCTOR, AND IS 'THE SINGLE INVARIANT IS THE GEOMETRY' A UNIVERSAL PROPERTY? CONFIRMATION 4 — the objects: SOURCE: K1's action groupoid SO(5,1) \PY
P5R9K45 span and nariairuns clean; registered from its own docstring and a live runPY
P5R10Q4 equianharmonic vantagesruns clean; registered from its own docstring and a live runPY
P5R11V5 homothety chargeV5 — THE DILATION AS A SYMMETRY WITH NO CONSERVED CHARGE. CONFIRMATION 4 — the object: C1 established that the group preserving the substrate's ABSOLUTE is O(5,1) x R+, one generat — proved in Lean: 3 theoremsPROVEDPY
P5R12I5 the homothety charge is a first integral of the restricted systemI5 — THE HOMOTHETY CHARGE IS A FIRST INTEGRAL OF THE RESTRICTED SYSTEM, NOT A WEAKER KIND OF ONE. Integrable-systems field bake, probe I5. P05 states correctly that the dilation's PY
P5R13T1 the galois inference needs irreducibility and it holdsT1 — THE GALOIS INFERENCE NEEDS IRREDUCIBILITY AND IT HOLDS. Number-theory field bake, probe T1. P05's rem:galois infers that the horizon cubic's Galois group is the full S_3 from PY
P5R14X1rr sky angle is the galois closureX1rr — the cover tower, CORRECTED AGAIN (r1881). The r1874 correction had two errors of its own: (A) it called the dial's deck group D_6. The deck group must PRESERVE 2M, and P3's PY
P5R15X5 monodromy groupX5 — the monodromy GROUP of the corpus's cover, not just the map. Cubic r^3 - r + m = 0 over the m-plane. Corpus (P5): 'the MONODROMY group of the three-sheeted cover is S_3, generPY
P6 — The shadow of existence
4 receipts.
P6R1P06 the boundary is a classTHE REGISTER'S BOUNDARY HAS THREE MEMBERS, NOT ONE, AND TWO CANDIDATES THAT FAIL TO JOIN IT -- SO IT IS A CLASS WITH AN EDGE RATHER THAN A SINGLE EXCEPTION. The subsection said 'thPY
P6R2A53 two movesA5.3 step (ii) — ARE THE INSTANCES THE SAME MOVE? The criterion is P6's prin:reclass, adopted as the census's test at r1715: 'an admissible W must EXPLAIN the perspectival appearanPY
P6R3I21 least arbitrariness and superintegrability join at transitivityI21 — LEAST-ARBITRARINESS AND SUPERINTEGRABILITY JOIN AT TRANSITIVITY. Integrable-systems field bake, probe I21, and the field's one crossing into ontology. The unit tangent bundlePY
P6R4I54 the modal fallacy is local flatness and the separating invariant is globalsec:modal (thm:modal, L313)PY
P7R2bead conjugatebead: two cosmic-time legs are complex conjugatesPY
P7R3bead contourturnaround here = bead r=-A (correct reserved sense)PY
P7R4two realisationsthe horizon and turnaround three-folds are two realisations of one A_2: both cubics zero-sum, H-T = -a^2 r, horizon colinear-real in r while the turnaround is equilateral in the coPY
P7R5P07 lap timelinerem:twocritical + P3 sec:temporal-threenessPY
P7R9P07 sds kretschmann(Perspectival Singularity) — proved in Lean: 1 theoremPROVEDPY
P7R10P07 cube root two is the 2M over Mboth loci from f and f'; ratio M- and alpha-free; f(r_HE)=0 only at the double rootPY
P7R11D4 fold scalingD4 — IS NARIAI A SADDLE-NODE, AND WHAT SCALING DOES THAT FORCE? CONFIRMATION 4 — and the collision guards the wording: the corpus's 'bifurcation' x23 is ALL the GR BIFURCATION SPHEPY
P7R12EUCNULL continuous null definitionEUCNULL-2 — f=0 and f=2 are ONE condition, and the null cone is defined continuously across the whole lap. (r2158; supersedes the placement-only reading of r2157.) THE CLAIM (DarylPY
P7R13LAP complete accountruns clean; registered from its own docstring and a live runPY
P7R14LAP killing orderLAP-K — the direction that orders the cosmic layer is a Killing field, the static one, and its norm is -f. In the proper-frame chart K = d_chi - d_tau is Killing and lies in every PY
P7R15LIFT euclidean filterLIFT — a positive account of the lift, from the bead's own analytic continuation (r2157). P7's frontier: "the lift is at present characterised only NEGATIVELY, by the coordinate's PY
P7R17O4 deflection perspectivalruns clean; registered from its own docstring and a live runPY
P7R18O5 kappa and lyapunovruns clean; registered from its own docstring and a live runPY
P7R19O6 eikonal ringdownruns clean; registered from its own docstring and a live runPY
P7R20I7 conserved charge carries three objects and one denies the othersONTOLOGY_FOUNDATION_INDEX §0PY
P7R21X4r no essential singularityruns clean; registered from its own docstring and a live runPY
P7R22P07 eikonal ratio is D minus threesec:frontiers (eikonal ringdown) — proved in Lean: 3 theoremsPROVEDPY
P7R23P07 the page curve is a falsifier here and the daughter is not disconnectedITEM 53 WORKED: THE RESOLUTION IS THE BABY-UNIVERSE ONE, ITS STANDARD OBJECTION HAS NO PREMISE HERE, AND THE PAGE CURVE IS A FALSIFIER OF THIS READING RATHER THAN A TARGET FOR IT. PY
P7R24L8 the pencilTHE THREE CRITICAL LOCI OF THE LAP ARE THREE MEMBERS OF ONE PENCIL OF CUBICS, AND THE TURNAROUND IS ITS DEPRESSED MEMBER. *L8.5, the combinatorics bake.* What this is NOT: the singPY
P7R25P07 the double root removes the first law and the area mismatch together and the debt is at the horizon that carriesnode 66's work order in FOR_60 (r6873) — PO-54, the central move happens where the first law is undetermined. r6864 left the area law *undetermined* at the forced member ($\kappa=0 — proved in Lean: 3 theoremsPROVEDPY
P7R26P07 the trio is a pair because the foliations umbilicity and the photon sphere are one equation on any static sphere and what merges at the forced member is kappa with lambdaproved in Lean: 1 theoremPROVEDPY
P7R27P07 the back seam is the laps one non degenerate horizon and its surface gravity is the beads own acceleration therePY
P7R28P07 the lap is a collapse read on the cosmic clock and the collapse sheets one horizon is cosmological in signature⚠ IT DOES NOT CLAIM THE TURNAROUND AND THE HORIZON ARE THE SAME PLACE. *rem:tworealisations makes them turning points of two energies of one congruence, which is a claim about kindPY
P7R29P07 the crossing rides the characteristic that crosses and the thermal factor rides the one that does not so two kappa cannot enter and the only k it could have carried is three halvesnode 66's r7185 order: *"compute the mode equation across a simple root of $f$ crossed at finite proper time on the collapse trajectory, and report whether the crossing alters the PY
P8 — Covariance of geometries over the de Sitter substrate
19 receipts.
P8R1P08 matter functionalproved in Lean: 2 theoremsPROVEDPY
P8R2P08 lapse splitproved in Lean: 1 theoremPROVEDPY
P8R3P08 E1 cosmologyties prop:cosmo to the Hubble-Eddington radiusPY
P8R4P08 nariai signed rootsthe vantage-dependence of the signs is P2 sec:ring's, imported not re-establishedPY
P8R5P08 trichotomyproved in Lean: 2 theoremsPROVEDPY
P8R6P08 synchronous horospherethe 'direct computation' claim (not a numbered prop) — proved in Lean: 5 theoremsPROVEDPY
P8R7P08 the second ruling reading does not extend to the collapse facePY
P8R8P08 the closure is the constitutive relationthe spherical class CLOSES: the contracted Bianchi identity is entailed by the cut's own geometry and fixes the angular component from the radial pair, and a constitutive relation — proved in Lean: 1 theoremPROVEDPY
P8R9P08 the content law and the head are one wall seen twicethe rooms map (r6443); PO-30, PO-31, and PO-41's strikePY
P8R10P08 the one distinguished cut carries no matterthe stationary point solved and checked against the corpus's own $r_N$ and $M_N$, the second derivative confirming a maximum, and $\rho=0$ on a constant offsetPY
P8R11P08 the selection principle cannot supply matter⚠ it does not close the row --- it removes the one existing candidate, which narrows what an answer could look like; and it does not claim no such law existsPY
P8R12P08 the construction already generates content and howthe criterion chooses AMONG BREAKINGS and takes the one that is itself symmetric --- P14: a one-plane construction "must select which hinge: a free modulus", and the $\mathbb{Z}_3$PY
P8R13P08 the boundary is whether the breaking is itself symmetric*the boundary between what the geometry supplies and what it marks external coincides with whether the breaking is ITSELF SYMMETRIC* --- the three-plane $\mathbb{Z}_3$ configuratioPY
P8R14K6 fullness!! MARKED c54.161: the stratum-by-stratum match column compares each row's dimension WITH ITSELF -- both fields are the same expression written twice, so the column can never printPY
P8R15K9 isotropy obstructionK9 — IS THE ISOTROPY=ISOMETRY EQUALITY GENERAL, OR STRATUM-BY-STRATUM? I hedged this twice (K6 in P8, K7 in P9) and proposed the hedge could be removed by a general argument: 'a cuPY
P8R16V34 orthogonal and no costV3 — IS THE LEFTWARD READING INCOMPATIBLE WITH AN ACTION PRINCIPLE, OR ORTHOGONAL TO ONE? V4 — WHAT DOES TAKING THE DIRAC ALGEBRA WITHOUT A LEGENDRE TRANSFORM COST? CONFIRMATION 2 PY
P8R17P08 the branch point monodromy is Z3the monodromy multiplier asserted a primitive cube root of unity with order asserted 3; the real-r sheets tabulated line by line; the horizon cubic's degree asserted 3 with its leaPY
P8R18I12 the marginal member is the only non degenerate one that integratesPY
P8R19I52 the vacuum theorem is an index one statement and the index is the massP08 states dim ker = 1 ("the single constant of integration -2M") and proves the matter functional onto ("matter is bend": any density is realised by some cut), and never assemblesPY
P9 — The range of the de Sitter slicing operator
9 receipts.
P9R1P09 ppwave typeNpp-wave ds^2=H du^2-2dudv+dx^2+dy^2 is vacuum iff H harmonic; Weyl!=0 but all scalar invariants vanish = Petrov TYPE N (radiative, I=J=0); NOT a symmetric cut (the range's boundary — proved in Lean: 4 theoremsPROVEDPY
P9R2P09 bianchiI typeInumeric GR pipeline; R^mu_nu=3 delta (vacuum-Lambda); electric Weyl traceless, 3 distinct eigenvalues; speciality varies with t; control axisymmetric (2,-1,-1)=Type DPY
P9R3P09 kerr deSitternumeric Ricci=Lambda delta at 3 (r,theta) (resid 3.5e-6); Delta_r decomposition symbolic; M->0 Weyl->0 vs M!=0 Weyl!=0PY
P9R4P09 typeD quarticsnumeric R^mu_nu=Lambda delta for the quartics; 3 only-if controls (extra r^3, mismatched c0, flipped c2) each break vacuumPY
P9R5P09 carter killingthe vacuum separation Dr''+Dp''=-4L(r^2+p^2) splits of its own accord; the separation constant c2 (opposite in Dr,Dp) is the Carter constant = a genuine irreducible Killing tensor PY
P9R6P09 ks vacuumsymbolic: the 3 stress-energy components vanish for the SdS interior; control X=const breaks it — proved in Lean: 1 theoremPROVEDPY
P9R7K7 range is essential imageK7 — IS P9's RANGE THE ORBIT SPACE OF K1's ACTION GROUPOID? CONFIRMATION 2 — P9 read at source FIRST, and it turns out to be speaking the language already: NECESSARY (prop:bound): — proved in Lean: 13 theoremsPROVEDPY
P9R8V1 carter chainV1 — IS THE CARTER-CONSTANT CLAIM A NOETHER, KILLING-TENSOR, OR SEPARABILITY STATEMENT? CONFIRMATION 2 — P9 read whole, and the ledger's premise ('the corpus's wording does not disPY
P9R9P09 the wall is not the loss of symmetrythe Killing condition derived symbolically and reduced to the oscillator system; Ricci asserted zero on the turning profile; the Wronskian asserted constant on shell; the orbit ass — proved in Lean: 6 theoremsPROVEDPY
P10 — The canonical problem of time as a category error
79 receipts.
P10R1P10 minisuperspace friedmannthe true-Hamiltonian structure is non-emptyPY
P10R2P10 graviton liftpi=a^3 phidot; Legendre H; EL mode eq; Hamilton eqns combine to it; flat-a oscillator controlPY
P10R3P10 the scale factor factors out of the free towerbounded: the coupled and non-adiabatic case is untouched --- what is shown is that the free case cannot be the route to it, and that on this background the one counterterm is degenPY
P10R4P10 the weyl invariant at second order carries two more derivativesthe full contraction from the metric with nothing assumed, and the closed form read off one computation and verified against another --- ratio to the exact $C^{2}$ converging to $1PY
P10R5P10 the two replacement questions are one answered one coupledthe branching identity checked at every level $n=2$--$11$ against P10's Peter--Weyl degeneracy, and the two families shown distinct; and the enumeration of where a topological coefPY
P10R6P10 the thermal condition is helicity blind at the mode functions and the parity odd entry is not owednode 66's work order r6849: the row's one unrun check, with the three places to look for a break named in itPY
P10R7P10 the remainder is the last of three and is not reachable by refining the methodthe r6445 premise cannot be established ahead of the row itself: it asks what the coupling does to the sum, and the open item IS the definition of that sum --- so 60's table is thePY
P10R8P10 the weyl squared coefficient is twice a scalarIMPORTED: Gilkey's $a_2$, cited not derived. SCOPED: this is the PHYSICAL-MODE count --- a covariant spin-2 computation gauge-fixes and carries ghosts and is a different object; P1PY
P10R9LIFT adiabatic correctionalong the lift. omega DIVERGES at the branch point (a->0). Does the exponent converge? And is the evolution adiabatic (\PY
P10R10LIFT gravitational actionruns clean; registered from its own docstring and a live runPY
P10R11LIFT instanton actionruns clean; registered from its own docstring and a live runPY
P10R12P10 the straddle does not need a floorthe leading-order infimum asserted equal to gamma and the operator asserted monotone in k; the complete model asserted to break the floor and asserted driven down at large momentumPY
P10R14P10 the adiabatic residual at low n is bounded by the towers own floorTHE ADIABATIC RESIDUAL AT LOW n IS BOUNDED BY THE TOWER'S OWN FLOOR, AND IT REACHES NOTHING OBSERVABLE. The suppression falls monotonically with harmonic index (2.8e-4 at n=2, 5.9ePY
P10R15P10 gamma hat is bounded belowthe signature asserted one negative; the Cholesky identity and positivity asserted on 400 valid (g, pi) pairs; min Q asserted positive on three metrics including a 625:1 anisotropyPY
P10R16P10 the floor is forced as a mode but the subtraction point is a convention and the residue is the absorbed constantnode 66's work order r6863, opened r6861 as PO-43's named-and-unbuilt candidate, with the burden stated at the outset and PO-23 fenced offPY
P10R17I9 the adiabatic parameter diverges where the action integral convergesruns clean; eight verdicts including controls that fire in opposite directionsPY
P10R18P10 gamma is one quarter and is the maximumreduces T_s exactly, shows the first-derivative term vanishes, and gets Gamma(s) with its maximum; 11 checksPY
P10R20P10 the parity odd density goes with the relative phase of the two channelsThe sentence r6803 put into P10 after node 60's flag: the parity-odd density's dependence stated as a property of the configuration — vanishing a quarter-cycle apart, largest in st — proved in Lean: 21 theoremsPROVEDPY
P10R21P10 the shear breaks conformal flatness but not the gauss bonnet degeneracy so nothing sees the coefficientnode 66's work order in FOR_60 (r6897) — ⓵ PO-52's second half, which the order made the whole row. r6894 established the entry has a domain (Weyl$^2$ non-vanishing at $O(\varepsil — proved in Lean: 2 theoremsPROVEDPY
P10R22P10 the degeneracy needs r constant not the cosh so the anomaly is what makes its own constant observablenode 66's work order in FOR_60 (r6919) — PO-23, the register's last NEVER-ATTEMPTED row. The interacting tower's ultraviolet definition: two walls are built (the operator is bounde — proved in Lean: 27 theoremsPROVEDPY
P10R23P10 the premise is not load bearing because superselection forbids coherence and not the ensemblenode 66's r6925 order, on the one premise r6920 took and did not prove: *\"Does that Hilbert space carry a superselection rule in $\alpha$? Equivalently: is $\alpha$ --- or whatevPY
P10R24P10 no state makes the curvature sharp and the obstruction is the anomaly coefficient itselfnode 66's r6929 order, the step this line itself named at r6928: *\"whether any physical state makes $\hat R$ sharp --- whether $\operatorname{spec}\hat\Theta$ has a point spectrumPY
P10R25P10 the commutator bound survives the cubic because the scaling that could cancel it carries no tracenode 66's r6933 order, on the one step r6930 left: the level-set argument dies at the cubic but the commutator may not, since *\"a commutator is algebra and not dynamics\"*. ⇒ *\"CPY
P10R26P10 the second logarithm holes the mechanism and not the conclusion because the leading log is unpartnered⚠ This CORRECTS this line's own landed r6934 — the mechanism, not the conclusion, and the correction came from a limitation that receipt itself recorded. *Sixth self-correction of PY
P10R27P10 the second logarithm line closes because the interaction cannot reach the anomalys own power of anode 66's r6945 order, on the one property r6942 reduced the second-logarithm question to and declined to guess: *\"the vertex's large-label asymptotic, to the order that decides tPY
P10R28P10 the entangled case is a singular pencil question and the pencil is non singular at every truncationPY
P10R29P10 the tower limit closes at first order and the wall moves into a boundary condition at secondPY
P10R30P10 the field squared is already in the trace at quadratic order and the degenerate point is representationalPY
P10R31P10 the operator is an inverted quartic so the deficiency is two two and the measure closes it anywaynode 66's r6965 order, taking the two data in the order that fixes tractability. ⓵ᵃ *"Expand $\sqrt h\,{}^{3}R$ to cubic order in the perturbation and report whether a $\hat\varphi — ⌗ corrected r6973 on node 60's r6972; the momentum-weighted cubic structure is a parametrisation artefact -- it vanishes identically in the volume-preserving split the construction's own separation of shear from volume requires -- so the inverted quartic, its (2,2) count and the measure closure taken on it are properties of a truncation and not of the trace operatorPY
P10R32P10 the lowest tt harmonics are frame constant so the overlap is a determinant times the volumenode 66's r6967 order. ⓵ᵃ *"Compute it, and report it as a number with its scope"* --- the value of $\int\sqrt\gamma\,\det e_{(n)}$ on the closed section, *"on harmonics the corpus — proved in Lean: 10 theoremsPROVEDPY
P10R33P10 the third order operator is regular and its deficiency indices are equal so a realisation existsnode 66's r6969 order, with two theorems named in advance as premises asserted from outside. ⓵ *"Write the operator down at four structures, in the momentum representation, and sayPY
P10R34P10 the kinetic cubic vertex is a split artefact and the domain premise fails on the marginal branchnode 66's r6971 order, two items. ⓵ *"Compute the ratio and settle the sign ... the kinetic three-harmonic overlap against the potential determinant overlap"* --- with the potentia — proved in Lean: 75 theoremsPROVEDPY
P10R35P10 the frequency shift is the curvature term at every level so the log coefficient is fifteen quartersnode 66's r6971 gating of r6972 and its r6973 order, which opens PO-61 on the flag r6972 raised and puts it FIRST: *"the frequency enters the couplings themselves --- the second-po — proved in Lean: 71 theoremsPROVEDPY
P10R36P10 the second anchor confirms the shift at a level with gradients and the criterion needs a weyl functionnode 66's r6975 order, which gates r6974 whole, strikes PO-61 the revision after it opened, and reports that ⓷'s naming was short by FOUR because *"a list built by grepping for a nPY
P10R37P10 the operator is second order in momentum so the weyl function is real analytic and strictly monotonenode 66's r6979 order, which gates r6976 whole, strikes PO-63 with no remainder, and reduces the criterion to one sentence to be proved rather than an instrument to be found. ⓵ *"SPY
P10R38P10 the ultraviolet object is a rank sequence and the ledger is at stake at dimension six and not fourproved in Lean: 1 theoremPROVEDPY
P10R39P10 the vertex cost is the splits and the ledger inference is a non sequitur so the stake movesnode 66's r6985 order, which gates r6982 whole and makes the second-order question the WHOLE of PO-23. ⓵ *"Does a divergence appear at second order in the coupling? State what 'sePY
P10R40P10 the ratio is read from the world so the premise is supplied and both framings are wrongnode 66's r6987 order, which gates r6986 whole, moves the paper's framing rather than defending it, and lifts the named premise ABOVE the second-order question: *"Does this construPY
P10R41P10 the chain does not reach the planck length and the second order term is bounded at the bouncenode 66's r6987+66.1 amendment, which amends itself after reading P18, reports that P18 commits ON the premise r6988 found supplied, and hands over a summary while saying so. ⓵ *"DPY
P10R42P10 the second order term is the quartics deviation from the cubics own completion and the counterterm collapses to lambda cubednode 66's r6991 order, which gates r6988, r6990 and r6990b and comes back to the question the row was opened for, with no premises left in front of it. ⓵ *"THE EXISTENCE QUESTION F — proved in Lean: 41 theoremsPROVEDPY
P10R43P10 the second order sum is a double sum and it diverges at the sixth power of the label cutoffnode 66's r6997 order, which gates r6994 whole, accepts its ⓸ with no strike, and sequences convergence AHEAD of the coefficient on the ground that *a number extracted from a sum iPY
P10R44P10 the overlap does not fall off at all so the sixth power is exact and the collapse reaches every dimensionnode 66's r6999 order, which gates r6998 whole, records that its own question had been the wrong shape (there is no independent triple sum), and puts the overlap FIRST because *the — proved in Lean: 19 theoremsPROVEDPY
P10R45P10 two of the three conventions reach nothing observable and the third is the constant the row already spendsnode 66's r7001 order, which gates r7000 whole, records that the row now holds the whole rank sequence it was opened to ask for, and puts a NEW question because *a renormalisation PY
P10R46P10 the descent is free at the order the section works at and the kernel rotates rather than failingnode 66's r7003 order, which gates r7002 whole, places the identification it routed (the section's one spent dimensionless constant IS the subtraction point's convention), takes it — proved in Lean: 17 theoremsPROVEDPY
P10R47P10 second order is an order the construction does not reach and the one new direction carries no new conventionnode 66's r7005 order, which gates r7004 whole, records that the ground the strike was declined on at r7003 is GONE, and declines again on a narrower one: *"a definition that holds — proved in Lean: 25 theoremsPROVEDPY
P10R48P10 the vertex numbers are exact at the level this row owns and the whole scheme is one series pole datanode 66's r7007 order, which gates r7006 whole, records that the ground for a strike was refused in this line's own favour for the third revision running, and then asks for the coe — proved in Lean: 27 theoremsPROVEDPY
P10R49P10 the interacting state supplies the second order datum and the rank is an equality at this levelnode 66's r7009 order, which gates r7008 whole, places the vertex numbers and the pole table, takes ⓶'s scope answer as given --- and then, after four declined strikes, names the sPY
P10R50P10 the algebraic quartic is settled by the frame constant level at every level and the remainder is the derivative sectors eightnode 66's r7011 order, which gates r7010 whole, says the second half of the strike condition is met, and then offers a reading of r7010's own identity that might shrink the remaini — proved in Lean: 19 theoremsPROVEDPY
P10R51P10 homogeneity and schur cut the seven to one unknown per level and the diagonal cubic was never the level objectnode 66's r7017 order, which gates r7012 whole and names the self-correction as the first of its kind (*"the four before this were scope corrections. This one repairs a control ---PY
P10R52P10 the one number was never free the curl eigenvalue closes it and the per level route is capped at twonode 66's r7019 order, which gates r7018 whole (*"seven to one ... the mechanism I pointed at your bound cut it by a factor of seven, and your ⓷ turned my scope caveat into a theorPY
P10R53P10 the covariant quartic is seven rationals carried by an identity and no measurement route reaches themnode 66's r7021 order, one item with staging allowed and a stage declined. ⓵ *the covariant quartic expansion, the derivative sector's coefficients in the level-independent basis* — proved in Lean: 42 theoremsPROVEDPY
P10R54P10 the assembly gives both level sums in the towers own variables and the sign needs no bitensornode 66's r7033 order, the assembly, three items with staging allowed and a twelfth exit offered. (a) *the two level-summed combinations of these seven contractions, from the coinc — proved in Lean: 17 theoremsPROVEDPY
P10R55P10 the weighting preserves the two power gap and the chain stops at a sign carrying step nobody wrote downnode 66's r7035 order, the normalisation chain, three items with staging allowed. (a) *the physical weighting* --- *"carry the weighting and say what it does to the two powers of tPY
P10R56P10 step three is written down and it reverses the previous revisions own conclusion about the signnode 66's r7037 order, one item: *write step 3 down*. (a) *the passage itself* --- *"derived, not adopted: if the corpus has never written it, there is nothing to look up, and what — proved in Lean: 8 theoremsPROVEDPY
P10R57P10 the level cubic vanishes at every even level and the bound needs no bitensor because completeness gives a deltanode 66's r7043 order: *the growth bound*. (a) *"bound the growth rather than evaluating the sum --- by Cauchy-Schwarz on the overlaps, by a completeness or closure relation that sPY
P10R58P10 the same level sum is orthogonality rather than an integral and the completeness bound was loose by one powernode 66's r7047 order: *the odd-level constant*. (a) *"the invariant channels' coefficients at odd $m$ --- at most eight of them, a finite same-level representation-theoretic objecPY
P10R59P10 the odd residue is the levels below a crossing linear in one constant and a count bounds terms not sizesthe two growth degrees with their convention named, from r7048's law and r7038's target; the ratio in closed form and its leading coefficient as an exact limit; the crossing locatePY
P10R60P10 the cubic vertex is written down and K is not label independent so the algebraic channel is five powers clearnode 66's r7051 order: *compute $K$, it is the whole open part of the odd half*. Q1 *"$K$ itself, for the tower's own transverse-traceless harmonics --- the vertex's label-independPY
P10R61P10 the odd residue is five levels and the sign is mixed because the vertex carries covariant not frame derivativesnode 66's r7053 order: *the derivative structures' recoupling, which is the odd half*. Q1 *"the recoupling of the three derivative structures ... what is missing is the constant."*PY
P10R62P10 the cubic normalisation is written down and it empties the residue so the sign is positive on the whole towernode 66's r7057 order, registered under STANDING ORDER r7013 (3) as an order and not a row. Q1 *"write the cubic coupling's absolute normalisation."* Plus the order's pre-authorisaPY
P10R63P10 sec lock quotes the superseding receipt everywhere the two mode shift sits under the wrong pair and the four receipt group is one chainnode 66's r7059 order Q1 to 70: *does sec:lock, as it now stands, say what its cited receipts compute --- and is it quoting the superseding receipt where a superseded one disagreesPY
P10R64P10 the regulator passage keeps its line but the minus four thirds closes under a group that does not compute itnode 66's r7065 order to 70: *the r7043 method on the passage three revisions deep, and Q2 judged rather than checked --- does the prose keep the count where the receipt keeps it, PY
P10R65P10 the two anchors are already one convention and they agree but the candidate prescription does not closenode 66's r7059 order, two questions in a FIXED order. Q1 *"the two anchors into one convention, FIRST ... with each banked anchor restated in it and the powers of $\kappa$ trackedPY
P10R66P10 the construction own regulator reaches the interacting sum and spends one counterterm more than the free casenode 66's r7063 order, one question. Q1 *"whether a regulator available to this construction defines the interacting sum ... the sharp question is whether that same regularisation PY
P10R67P10 the subtraction is at operator dimension six pinned three ways and it is not degenerate so the ledger cost is realnode 66's r7065 order, one object. Q1 *"which geometric invariant carries the third subtraction. The constant-term counterterm the interacting tower spends and the free one cannot PY
P10R68P10 the coefficient is zero because the weights parity misses every pole so the ledger spends nothing at dimension sixnode 66's r7067 order, one number. Q1 *"the coefficient of the dimension-six subtraction, and with it the representative ... the coefficient is what turns the count into a ledger ePY
P10R69P10 the parity is structural in shape but order by order in conclusion and the cubic half of second order is unverifiednode 66's r7069 order. Q1 *"is there another dimension at which this sum meets a pole? ... whether the parity argument is exhaustive or whether it is a statement about this summandPY
P10R70P10 the cubic summand is odd over m cubed so it reaches the pole and the ledger pays at dimension sixnode 66's r7071 order, one parity. Q1 *"THE CUBIC SUMMAND'S PARITY IN THE FREQUENCY, AT SECOND ORDER. Take whichever of the two you judge cheaper --- r7056's own recoupling machinePY
P10R71P10 the assembly has two invariants and the cubic is traceless but the invariant cannot be named on this background⚠ SCOPE IN THE SENTENCE WITH THE RESULT. (A)'s assembly is exact for a totally symmetric cubic on modes of one common frequency --- the same-level case r7074 used --- and not the cPY
P10R72P10 the parity is the channel lists mirror symmetry so it is proved rather than fitted but the closed forms are notnode 66's r7081 order, after PO-71's termination. Q1 *"THE CLOSED FORMS PROVED FROM THE RECOUPLING ALGEBRA RATHER THAN FITTED. ... The corpus's parity conclusion rests on two orbitPY
P10R73P10 the payoff count of one is right because P1 reaches the existence occurrence distinction from general relativity alone and answers the extension move with a theorem⚠ IT DOES NOT ADJUDICATE WHETHER P1's THREE ROUTES ARE SOUND. *It reads what their hypotheses ARE and finds no foliation premise among them --- the order's own finding re-establishPY
P10R74P10 the clause 66 wrote on this seats offer says exactly what its receipt supports and no more so the loop the grade class opened is closed on itself⛭⛭⛭ r7170 ASKS ONE THING: READ THE CLAUSE 66 WROTE INTO P10 ON THIS SEAT'S r7178 OFFER AND SEND IT BACK IF THE VOICE IS WRONG. ⇒ IT IS NOT WRONG --- AND SAYING SO IS NOT THE ANSWER — proved in Lean: 3 theoremsPROVEDPY
P10R75P10 the closed forms are derived from the recoupling algebra at the extreme right labels so the nine levels are a check and not the groundthe vertex is r7056's, assembled as r7056 assembles it; the frame's spin-two basis checked standard, the stretched Clebsch--Gordan coefficients checked against sympy's at 290 compoPY
P10R76P10 on a scale factor that varies the free towers logarithm is covariant up to the scale factors equation and the same level cubics is not so the coefficient needs the complete second orderthe expansion checked against the propagator integrated by an ODE solver (residuals falling as $\mu^{-2}$, $\mu^{-4}$, $\mu^{-6}$); curvature scalars from the Euclidean metric; matPY
P10R77P10 the cubic over three different levels is derived in closed form and its low level region carries a nested logarithm so the bare sum is double logarithmicexact polynomial algebra over the Gaussian rationals; exact division by every non-own denominator factor; r7056's amplitude run directly, without its closing nsimplify, at extreme PY
P10R78P10 the complete second orders double logarithm is not covariant up to the scale factors equation so the invariant is a stated limitexact series over the rationals; r7034 and r7591 run from source; random-matrix and random-probe checks; slices fitted in mpmathPY
P10R79P10 the quartic carries the inverse volume as the cubics square does so the criterion is eighteen and not eighteen vthe volume a symbol throughout; r7034 run in full before its tensors are readPY
P11 — Why the cut bends
10 receipts.
P11R1P11 gowdy dSthe confined bend = consistent nonlinear GW — proved in Lean: 1 theoremPROVEDPY
P11R2F50 the a minus two belongs to W and Q is bounded by going constantSUPPORTS P11 -- and the paper's conclusion (bounded, no ghost, no tachyon, no runaway) STANDS ENTIRE: no Q exponent is positive. NOT CLAIMED: any defect in P11's equation, its zeroPY
P11R3P11 twoKVGowdy-dS metric with generic psi(t,z) admits exactly two Killing vectors d_x, d_y (Type-I edge) — proved in Lean: 8 theoremsPROVEDPY
P11R5P11 mukhanovproved in Lean: 2 theoremsPROVEDPY
P11R6P11 wall ppwavewall = Type-N Brinkmann pp-wave: det g=-1 (non-degenerate, NOT a metric singularity); H=h_+(u)(x^2-y^2)+2h_x(u)xy vacuum for any h_+,h_x (two free polarizations); varying ratio = c — proved in Lean: 3 theoremsPROVEDPY
P11R7P11 unpolarized gowdy cutTHE UNPOLARIZED GOWDY–DE SITTER CUT, BUILT -- the corpus's FIRST CHIRAL GEOMETRY, which it had named and not constructed. (1) THE TWO POLARIZATIONS ARE A WAVE MAP INTO THE HYPERBOPY
P11R8P11 propagating chiral membertorus block solved and matched to the (P,Q) wave map, both residuals asserted zero; constraint integrability d_t(gamma_z) - d_z(gamma_t) asserted identically zero on shell; RK4 selPY
P11R9C50 the dirac sector propagates and its chirality is the twists signMassless Dirac TEST field: no back-reaction, no quantisation, no mass term. Algebra general in (t,z); numerics on the HOMOGENEOUS reduction, where c is conserved. BOUNDARY MEASUREDPY
P11R10C51 the twist separates the chiralities by direction and selects neitherwhether C50's twist asymmetry $E_R=\pm(k-b)$, $E_L=\pm(k+b)$ selects a handedness — the geometry's one place left and right differ, where the weak force couples to onePY
P12 — General relativity's constraint algebra as the symmetric-space structure of a de Sitter substrate
18 receipts.
P12R1P12 bracket closureso(5,1) generators built; grading checked by basis decomposition; specific bracket; m-not-closed controlPY
P12R2P12 coset metricKilling form tr(ad ad) from structure constants; B\ — proved in Lean: 1 theoremPROVEDPY
P12R3E1 static gaugeruns clean; registered from its own docstring and a live run — proved in Lean: 3 theoremsPROVEDPY
P12R4EMBEDDING is Td equals WA3Which embedding of S_4 in O(3) is our group? Distinguish by invariants: - rotational cube group (chiral octahedral, O): all det +1, contains 6 four-fold rotations (order 4, det +1)PY
P12R5GROUP full order48The corpus records the sector's discrete group as D_6 = S_3 x Z_2 (family x chirality), order 12, where the Z_2 is the GLOBAL chirality flip. The holonomy adds V_4 = PAIRWISE flipsPY
P12R6K8 orbit type filtrationK8 — THE STRATIFIED GROUPOID'S INVARIANTS. CONFIRMATION 4: the object is the SO(5,1)-action on the space of cuts C, stratified by orbit type. The standard invariants of such an actPY
P12R7K8b dim seven emptyK8b — SETTLING THE DIMENSION-SEVEN STRATUM, rather than leaving it dangling. P9's necessary bound is the constraint, and it is SHARPER than 'a subgroup of so(5,1)': 'a geometry swePY
P12R8I13 the stratification is a ledger of first integralsI13 — THE STRATIFICATION IS A LEDGER OF FIRST INTEGRALS. Integrable-systems field bake, probe I13. A Killing vector gives one linear first integral and the algebra's Casimir a quadPY
P12R9P12 polar dimensionwhat fixes the substrate's dimension and what does not: least-arbitrariness is SILENT on D (dS_D is moduli-free for every D, so it selects the manifold at fixed dimension); the genPY
P12R10P12 the separator must carry the massthe stratification separator must carry the mass: SdS is Einstein, so R_ab R^ab cannot — proved in Lean: 1 theoremPROVEDPY
P12R11A1 the triple is an algebra factFOR_54 item 26 discharged: {6,7,10} are so(5,1)s SYMMETRIC-PAIR dimensions (so(5) and so(4,1) at ten, so(1,1)+so(4) at seven, so(2,1)+so(3) at six) — an algebra fact P12 owns, whilPY
P12R12A2 item9 is already in forceFOR_54 item 9 discharged by OBSERVATION: the receipt convention was already enforced by three gates, and check_receipt_asserts was built at r2384 — fifty-eight revisions BEFORE thePY
P12R13A4 the ledger seven sweptthe LEDGER 7 swept AS A GROUP for the first time: three duplicate PO rows verbatim, three are the papers OWN weight-marks and not work, ONE is a real unrun item — the bucket is 1, PY
P12R14A5 the dark halves auditedthe last unaudited bucket: BOTH live dark halves are PO rows under their register names (PO-5 states "register alias: L-221"; the board heads the vein "L-165 · PO-6"), so DARK contPY
P12R15A7 the frontier has two kindsasserts the H(a) clause, checks the classification covers exactly the open rows, and pins each rows object against its kind (7 checks)PY
P12R16A3 the convergence auditTHE CONVERGENCE AUDIT — Daryl r2685: "has the unknown space actually narrowed? Is the remaining work finite?" The count says no and the count is right about what it counts: across PY
P12R17A8 the self protecting falsehoodTHE SELF-PROTECTING FALSEHOOD: r2705 ran the triality test and it passed, the ledger was marked discharged, and check_open_ledger fired because P14 still SAID "this sector does notPY
P12R18I55 the atiyah sequence is exact and a characteristic class is not availableP12 writes the Atiyah sequence of SO(5,1)->dS_5 explicitly with 10+5=15 and the symmetric-space relation [m,m] in h, and reaches the problem-of-time obstruction through AMBROSE-SINPY
P13 — The de Sitter substrate and the Standard Model
25 receipts.
P13R1P13 A3 factorizationnumeric on random complex points: R,K,C on bead; \PY
P13R2P13 the compact face is odd dimensionalthe compact face is S^5 and ODD-dimensional, so the Atiyah-Hirzebruch equivariant index is vacuous there (the index it kills is Z2-graded); the conclusion holds instead by Lichnero — proved in Lean: 1 theoremPROVEDPY
P13R3P13 the one scale forbids the isometry routesymbolic + physical units; carries its own WITHDRAWAL of a Kaluza-Klein reading the corpus forbids — proved in Lean: 2 theoremsPROVEDPY
P13R4P13 conjugation paritymass-reflection R=gamma^5 (grades chirality); mass term ODD, charge EVEN under r->-r; P=g1g2g3 flips chirality; R!=P (same residue, opposite parity-faces)PY
P13R5P13 ruling swapsR swaps the substrate's two null rulings -- generic (every orientation-reversing isometry does)PY
P13R6P13 closure i check3-link chain confirmed; flags the owed A2-specificity clausePY
P13R7P13 closure iv checkfixed point r=0 computed; corrects map-vs-path; asymmetry is contentPY
P13R12P13 cascade rankcascade rank-map: rank(SM)=4 > rank SO(6)=3, so the full SM gauge group cannot embed even in the dS_6 raise -- gauge structure dropped at the real cutPY
P13R13P13 sigma lifta real involution is not the Wick rotation: sigma (real Weyl(A2) reflection) preserves eta_L (in O(5,1)), the Wick x0->ix0 sends eta_L->eta_E; boost M05 -> rotation under Wick (so(PY
P13R14P13 the construction is specifiable and colour sits in the spin groupthe identifications by dimension ($\dim\mathrm{SO}(6)=\dim\mathrm{SU}(4)=15$, $\dim\mathrm{SO}(5)=\dim\mathrm{Sp}(2)=10$), the five-dimensional coset, the four-component spinor, anPY
P13R15P13 the last evasion inside the premise is the squash and it is excluded twicethe canonical variation reproducing $R=20$ at $t=1$, the sign change at $\sqrt6$, the isometry dimensions, and the $t$-dependence of the squashed invariant — proved in Lean: 3 theoremsPROVEDPY
P13R16P13 a eigenvalue on the euclidean face is not a massa Dirac eigenvalue on the Euclidean face is not a four-dimensional mass, by either route: as an internal space the separation that would make it one requires a product, which P13 sPY
P13R17L212 the factorisation singles out nothingthe horizon cubic factorisation singles out no rootPY
P13R18L212 the generation index fixes the massthe generation index fixes the mass parameter, so it cannot grade itPY
P13R19P13 the quantum half carries a selection test and it is unmet in every slot because the form closure selects the same membersec:synthesis; PO-94's quantum half (P7 frontier:realforms, P18 §frontier)PY
P13R20P13 the three routes to a field strength outside isometry are closed by reality dimension and rigidity and two remain unexaminedsec:synthesis; PO-94's gauge half (P7 frontier:realforms, P18 §frontier)PY
P13R21P13 the spectral triple route over the leaf is closed because a one dimensional base carries no two form and the face is left opensec:synthesis, sec:face-status; PO-94's gauge half, B59's fourth routePY
P13R22P13 the almost commutative triple over the face supplies a gauge field the construction does not couple and the orders hilbert space admits no real structuresec:synthesis, sec:face-status; PO-94's gauge half, B59's fifth routePY
P13R23P13 the alpha vacua are a fourth empty slot because three principles without euclidean content select the member the face selectssec:synthesis; PO-94's quantum half (P7 frontier:realforms, P18 §frontier)PY
P13R24P13 the thermal trace is not a spectral action of the face triple because its generator is not a function of the operator and the construction supplies only the scalesec:synthesis, sec:face-status; PO-94's gauge half, the couplingPY
P13R25P13 the quantum halfs census over the standard catalogue finds no freedom the face alone closes and cannot be shown complete because its entries are labels not atomsTHE QUANTUM HALF'S CENSUS OVER THE STANDARD CATALOGUE FINDS NO FREEDOM THE FACE ALONE CLOSES, AND CANNOT BE SHOWN COMPLETE BECAUSE ITS ENTRIES ARE LABELS AND NOT ATOMS. Eight entriPY
P14 — The fermion sector of Cosmological Relativity
P14R8P14 dual normnever quote normalizability without the normPY
P14R9P14 leaf compactnessthe closed slicing has FINITE total length (horizon turning points at finite proper distance = integrable sqrt-singularity; r=0 likewise) => leaf compact => Dirac index dim ker welPY
P14R10BUNDLE ranks surveyruns clean; registered from its own docstring and a live runPY
P14R11HYPERCHARGE from anomaliesGiven su(3)xsu(2)xu(1) and one generation's MULTIPLET STRUCTURE (Q,u^c,d^c,L,e^c), do the anomaly conditions DETERMINE the hypercharges? Solve for them rather than assuming.PY
P14R12JTOWER angular indexVerify the leaf norm converges at the horizon (integrable inverse-sqrt), then state the tower.PY
P14R13V4 chirality parityV_4 acts on the three walls' chirality signs (prop:wall: chirality = sigma_y eigenvalue per wall, and reversing a wall flips it). det=+1 => EVEN number of flips. What is the orbit PY
P14R14I19 the superpotential is not shape invariantI19 — THE SUPERPOTENTIAL IS NOT SHAPE INVARIANT. Integrable-systems field bake, probe I19. V_+(lambda) = V_-(mu) + R with R independent of r admits no constant shift; the one that PY
P14R15D1 the traced half is the theorem and the computed half is notD1 — WHICH HALF OF THE INDEX THEOREM P14 USES, AND WHICH HALF IT MARKS AS TRACED. Index-theory field bake, probe D1. P14 computes dim ker+ = 3, dim ker- = 0 by exhibiting the modesPY
P14R16D2 index carries three senses inside one paperONTOLOGY_FOUNDATION_INDEX §0PY
P14R17WALL anomaly inflowWith NO bulk gauge field there is no inflow, so a wall's chiral content must be anomaly-free ALONE. Check the SM's 15 per generation against every anomaly condition. Left-handed WePY
P14R18P14 both handles on content are blind to the sixteenthBOTH HANDLES ON MATTER CONTENT ARE BLIND TO THE SIXTEENTH WEYL FERMION. The generation count is a graded index of wall-localised zero modes and counts GENERATIONS, not content withPY
P14R19P14 quark lepton frontier!! MARKED c54.154: the receipt's printed 'two-to-one, quark to lepton' is the UNWEIGHTED partial-wave count; on its own multiplicity weighting 2\PY
P14R20P14 the count specifiedthe 15 states tabulated by colour, isospin, chirality and charge; the leg product enumerated and its multiplicities compared one by one; the R-fixed loci the corpus knows about tabPY
P14R21P14 the isospin exchangethe candidate maps tabulated and rejected; the involution solved for symbolically; the SM identity checked; the wall-count counterfactual run for N = 1..6 with the integrality condPY
P14R22P14 quantisation not strength(winding sector -- NOT cited in any paper)PY
P14R23P14 charge or colour(winding sector -- NOT cited in any paper)PY
P14R24P14 route or pointthe two transports computed and their ratio taken; the triality table with route-independence decided per classPY
P14R25P14 the bundle is the branchingsec:openquestions ("what does the operator act on, and what fixes it?")PY
P14R26P14 the lap orientation is derivedthe deck action built from the cube roots with nothing assumed about shift direction; M = P^(-1) verified; the eigenvalue matched against L-78's phase for lambda = 0..6; nine L-127PY
P14R27P14 the wall is a wall of a hingeTHE SIGNED AREAL RADIUS IS DEFINED RELATIVE TO A VANTAGE, SO THERE ARE THREE OF THEM AND THREE BRANCH LOCI, THE MONODROMY IS NON-ABELIAN, AND THE GENERATOR P14_the_bundle_is_the_brPY
P14R28P14 leg count equals arc countTHE NULL LEGS AND THE EQUATORIAL ARCS DELIVER THE SAME THREE MONODROMY OPERATORS, SO THE VANTAGE READING OF THE WALL COSTS THE CORPUS NOTHING -- AND THE SELECTION RULE IT YIELDS ISPY
P14R29P14 the gap is antisymmetryTHE INVARIANTS OF THE FLAT HOLONOMY GROUP COUNTED AGAINST SU(3)'s -- GIVING THE CORPUS'S STANDING 'THERE IS NO CURVATURE' A SIZE AND A NAME, AND TURNING UP A FAILURE SHARPER THAN TPY
P14R30P14 no choice of group worksWHICH GROUP SINGLE-VALUEDNESS IS DEMANDED UNDER -- WORKED, AND IT ENDS IN A TENSION RATHER THAN A RESOLUTION: THE READING THAT GETS THE MESON RIGHT IS THE READING THAT GETS THE BARPY
P14R31P14 statistics not gaugeTHE THREE WALL MODES ARE THE KERNEL OF ONE DIRAC OPERATOR, HENCE IDENTICAL PARTICLES, AND SECOND QUANTISATION -- A STEP THIS SECTOR NEVER TOOK -- REMOVES THE INVARIANT OVER-COUNT OPY
P14R32P14 two rank threesthe character decomposition of the pushforward tabulated against the mode tower; lines-occupied-per-mode tabulated for both objects; the equality of triality across the three colouPY
P14R33P14 naming a derived objectsec:chirality (convention footnote)PY
P14R34P14 the family symmetry is cyclicTHE TURNAROUND'S S_3 EXISTS BUT ITS TRANSPOSITIONS ARE THE HORN SWAP, WHICH THIS CORPUS READS AS WEAK ISOSPIN -- SO THE FAMILY SYMMETRY PROPER IS THE CYCLIC Z_3. AND THE HORN SWAP PY
P14R35P14 the d5 worldsec:whichthree (the dimension paragraph)PY
P14R36P14 colour is vector like on singletsA COLOURLESS SECTOR THAT SPLITS 2+2 UNDER EVERY Z_2 GRADING IS NOT A SHAPE FAILURE -- IT IS THE CORRECT SHAPE, BECAUSE COLOUR IS VECTOR-LIKE ON SINGLETS IN THE STANDARD MODEL TOO. PY
P14R37P14 the centre is the weight originthe three signed radii as linear forms; restriction to the circle asserted equal to alpha sin(phi-theta_j); the vanishing table at three walls, three hinges and the centre; linsolvPY
P14R38P14 a labelling not a gaugingTHE TWO-BIT MATCH IS A LABELLING RESULT, NOT A GAUGE RESULT. SPECIES AND ISOSPIN ARE DIFFERENT PARTITIONS OF THE SAME FOUR LEPTONS: chirality and species each give 2+2 (asserted);PY
P14R39P14 the species bit is not chiralT ACTS THE SAME ON BOTH R-EIGENSPACES: THE CONSTRUCTION SUPPLIES A SPECIES LABEL AND NOT SU(2)_L's CHIRAL GAUGING, AND THE MISMATCH WITH THE STANDARD MODEL IS EXACTLY ONE PAIR WIDEPY
P14R40P14 characters label they do not multipletTHE HONEST CEILING ON THE DISCRETE OPENING, STATED ONCE FOR THE SECTOR: THE CONTENT IT SUPPLIES IS CHARACTERS, AND CHARACTERS ARE ONE-DIMENSIONAL -- THEY LABEL AND THEY DO NOT MULTPY
P14R41P14 odd D contains its own imagethe general-D horizon polynomial, its division by (r - r_0) with zero remainder asserted at five dimensions, the factored cofactors, the -r_0 root test asserted at four values, andPY
P14R42P14 odd D is pair symmetricthe parity of the horizon polynomial asserted dimension by dimension; the order of the centraliser of a fixed-point-free involution in S_4 computed and asserted against the order oPY
P14R43P14 p3 already said itTHE PREMISE THE VANTAGE READING NEEDED IS STATED IN THE SLICING PAPER'S OWN ABSTRACT AND OVERVIEW, IN GENERAL, WITH NO MASS DEPENDENCE, AND STATED TWICE -- SO THE TWO READINGS ARE PY
P14R44P14 turnaround carries D6the invariance residual; the commutator; the conjugation relation verified against D^-1; the irrep dimensions tabulatedPY
P14R45P14 scale and ratiothe conditions solved symbolically at general N_c; the cubic residual factored; homogeneity verified by rescaling; the five hypercharges compared one by onePY
P14R46P14 tower is not kaluza klein!! MARKED c54.161: THE FILE EVALUATES NOTHING -- it imports sympy, never uses it, and every integer in it is a typed table entry, so its "2 + 2 = 4 exhausts the cut" is an assertioPY
P14R47P14 lambda spectrumTHE ANGULAR SPECTRUM OF THE WALL-BOUND MODE -- AND IT FIXES A GRADING BUT NOT A CONTENT. AN HONEST NEGATIVE. lambda is the angular Dirac eigenvalue on the cut's two-sphere: lambda PY
P14R48P14 mode monodromy at the wallTHE SPECTRUM OF lambda IS NOT COMPUTED -- which angular eigenvalues the wall problem admits on this leaf, with what multiplicity. So this fixes a GRADING and not a CONTENT: it doesPY
P14R49P14 dimension from flavourwhat the flavour skeleton fixes about the spacetime dimension: (1) THE COLLAPSE -- the horizon relation linearises to a single multiple-angle only at D=4 (a 3-fold) and D=5 (a 4-foPY
P14R50P14 the flat bundle cannot carry a forceTHE FLAT BUNDLE CANNOT CARRY A FORCE, AND THE OBSTRUCTION IS AN INVARIANT RATHER THAN A GAP. P14 asserts *'the bundle above is flat, so the construction supplies colour's exact selPY
P14R51P14 the between horizon leaf converges at nariaiasserts the double root, the sign of f on both sides, monotone convergence and the closed-form limit, analytically and numerically (12 checks)PY
P14R52P14 the twist conjugates T it does not project itsec:twofactors · sec:whichthree · sec:unpolarizedPY
P14R53I51 the monodromy bound is attained and the four dimensional contrast is realP14 and its own receipt both stop at an UPPER BOUND on the D=5 monodromy ("confines it to the centraliser of (0 1)(2 3) in S_4, of order eight against twenty-four"). Contained in aPY
P14R54P14 R fixes the photon congruencenode 65's arc (r6539); the PO-45 linePY
P14R55P14 S3 against the wall contentnode 65's arc (r6535); the PO-45 linePY
P14R56P14 is there a singlet for the axis pairnode 65's arc (r6544); the PO-45 line — proved in Lean: 12 theoremsPROVEDPY
P14R57P14 the axis vantage is a pairnode 65's arc (r6543); the PO-45 line — proved in Lean: 1 theoremPROVEDPY
P14R58P14 the axis vantage is imaginary not absentnode 65's arc (r6542); the PO-45 line — proved in Lean: 1 theoremPROVEDPY
P14R59P14 the coincidence is forced by the dimensionnode 65's arc (r6545); the PO-45 linePY
P14R60P14 the fixed axis is not in the substratenode 65's arc (r6541); the PO-45 line — proved in Lean: 1 theoremPROVEDPY
P14R61P14 the reassignment threenode 65's arc (r6538); the PO-45 linePY
P14R62P14 the reassignment three at the hingenode 65's arc (r6540); the PO-45 linePY
P14R63P14 the threes are exhaustednode 65's arc (r6537); the PO-45 linePY
P14R64P14 the two plus one is on the wrong threenode 65's arc (r6536); the PO-45 linePY
P14R65P14 the reseating frees the wallsnode 65's arc (r6534); the PO-45 linePY
P14R66P14 the named reopening is walked and closesthe reopening is walked and the closure holds, wider than it was. r6537 closed the seat search "exhaustive of its sources" and named P5's groupoid, P12's algebroid and the charged PY
P14R67P14 the six star disjunction may be malformedthe lift sits on the WALL rays, not the hinge rays --- face 2 ($\tilde\tau$ real) at $0,120,240$ is the hinges, face 4 (the lift, $\tilde\tau$ imaginary) at $60,180,300$ is the walPY
P14R68P14 the imaginary time three is genuinely thirdthe sector triple collapsing to one $r$ to $10^{-16}$, the hinge rays to one $\tilde\tau$ up to the branch sign, the two invariant fibres and their permutations, and that the two rPY
P14R69P14 the binding radius is a branch point of the time mapthe lift's interior (r6563's flagged gap); [6*]'s framingPY
P14R70P14 the lift fibre content is two plus one and R is the square of the frame exchangethe lift fibre binds THREE normalizable modes, one per sector, all on the $\sigma_y=+1$ branch --- and under the involution that acts there they split $\dim\ker_+=2$, $\dim\ker_-=1PY
P14R71P14 the lifts two plus one is not graded by R after K and the wrong C object would have said it was$\gamma^{5}\!\circ\!K$ ANTIcommutes with $\gamma^{5}$, so it flips chirality --- and the lift's three modes are all $\sigma_y=+1$ while $R$ sends $2M\to-2M$, so it carries every onPY
P14R72P14 the frame exchange has the wrong order on the modesa STRUCTURAL reason the position reading fails on the lift, on top of r6566's locational one --- and the loophole that would have saved it, checked and closed. r6566 shows $r\to-r$PY
P14R73P14 the lift triple is colourless by indexingthat $\sigma$ is the mass-invariant root exchange and $2M$ a function of the cut alone; the walls' sky angles; and that the sector period is independent of both $M$ and $w$PY
P14R74P14 the lift triple occupies one character where the wall sector occupies fourthe lift's three modes occupy EXACTLY ONE of the four $(T,R)$ characters, $(t,+1)$, where the wall sector occupies all four --- and *they do NOT carry the $\{+1,-1\}$ pair that matPY
P14R75P14 the stratifications two valued data are one involution and it is R*NO --- and it is ONE fact rather than five separate failures.* Every two-valued datum the stratification offers is the SAME involution, the exchange of the bead's two ends --- thePY
P14R76P14 the hexads hinge relative sign is the mass sign and its three is marks not modesTHE STRUCTURE IS REAL --- three hinges each carrying an $R$-conjugate pair, $3\times2=6$, with $\dim R_+=\dim R_-=3$ --- and it genuinely KILLS the lift's first collapse. ⇒ *And thPY
P14R77P14 the shared four sphere twists itself and its zero mode is a singlet*THE SPHERE DOES SUPPLY THE TWIST --- IT IS THE UNIT INSTANTON. THE INDEX IS ONE. AND THE ZERO MODE IS A SINGLET.* ◆ *Q1 --- YES, THE TWIST IS GEOMETRIC*: *computed in the exPY
P14R78P14 the wall holonomy acts on the seat index and the compact face has no loops$\Delta(27)$ built from the order's own generators with order, non-commutativity, exponent, centre and eleven conjugacy classes, the one-dimensional count taken from the computed cPY
P14R79P14 the compact faces four is three plus one and the singlet has nothing to carry it*THE BRANCHING IS THERE AND IT IS FORCED. THE MATTER IS NOT.* ◆ *Q1*: *the compact face is the round $S^5$'s isometry algebra $\mathfrak{so}(6)$ (P06 C7), the compact real foPY
P14R80P14 the doublet pairing on c50s member is obstructed by lambda and by the twistthe wall occupation and the naive route failing it four-to-one; the doublet test calibrated on a known YES (the wall's four), a known NO (r6696's both-$R$-one-$T$ trap) and a seconPY
P14R81P14 the propagating three is inherited and the pairing fails only at the bound energy⚠ *NOT that no propagating sector could ever carry a three* --- one does. What is shown is that the two routes to propagation this construction has --- native and inherited --- faiPY
P14R82P14 the three and both eigenvalues are obstructed by the binding itselfthat exactly one candidate has a three and exactly one spans both; that the two branches are reciprocal and separate monotonically without bound, so normalizability admits exactly PY
P14R83P14 the shared four sphere carries chirality and su2 and cannot carry colourwhere an object could carry BOTH of the doublet's needs -- a chirality grading and a continuous symmetry of its kindPY
P14R84P14 the core family carries no first cohomology and the cover is a spherewhere a four-dimensional locus carries FIRST COHOMOLOGY -- the one thing the doublet lacks on the shared $S^4$ (r6714)PY
P14R85P14 the four spheres chirality anticommutes with the physical one so its su2 is not the weak oneTHE JOIN: P14 asks which bundle the gauge content lives on, listing "the spinor bundles" the substrate carries — does the shared $S^4$'s, with its chiral $SU(2)_+$ under which its PY
P14R86P14 no rotation of the substrate is a compact chiral su2Settled in one move, as P14 settled it for colour. A real chiral split needs Euclidean signature: $=+1$ on two-forms there, $-1$ in Lorentzian, where $\mathfrak{so}(3,1)$ is simplePY
P14R87P14 the geometry supplies no choices and not every choice free structurethe ten single entries against the independent criterion; the two splits; on breakings the law holding both ways, and extended to every entry the one direction holding while the otPY
P14R88P14 the two colours complex structures live on different spaces and only one is forcedcolour exists twice here — a discrete $\Delta(27)$ on the Lorentzian face and a continuous $\mathfrak{su}(3)$ on the compact face — and both need a complex structure. Are they the PY
P14R89P14 the seats degeneracy is exact and its symmetry is the global group the holonomy sits inis limiting colour to the finite $\Delta(27)$ itself an arbitrary restriction? The three seats are identical in content, so they may span a degenerate space whose symmetry is a conPY
P14R90P14 the walls modes are algebraic not exponential so the disjointness obstruction does not holdthe one obstruction r6747 left standing against the local gauging is that the seats have disjoint support, so a rotation mixing them is not local. r6742 showed disjointness is an iPY
P14R91P14 the seats are a section not a frame so there is no spacetime connection to curvedoes the seat bundle carry an induced connection over a member's spacetime, and does it have curvature? r6742 supplied the bundle and its group; r6747 and r6748 removed both obstruPY
P14R92P14 the constituent count is conserved on every static member and the twist alone violates itis the determinant circle r6742 derived a global, exactly conserved constituent count — and if not, what violates it and at what rate? Its modes are purely chiral ($\dim\ker_+=3$, — proved in Lean: 57 theoremsPROVEDPY
P14R93P14 the lifts own measure returns the same three quarters so the removed derivation was not the only one⚠ The coincidence is reported AS a coincidence. Both routes land on $\tfrac34$ and this receipt does not show they must: the arithmetic differs — $\tfrac12$ from a square-root MEASPY
P14R94P14 the leaf measure closes completeness by a different theoremPY
P15 — The cosmology of Cosmological Relativity
327 receipts.
P15R1P15 the sky phase fit and its uncertaintyleast-squares fit; Monte-Carlo propagation at one and two multipolesPY
P15R2P15 the fixed point route is closed by the monotonethe one route the corpus ever named for DERIVING $A_s$ -- a fixed point of a stationary recursion -- is CLOSED by PO-40's monotone: entropy per baryon rises strictly at every crossPY
P15R3P15 the tilt is the wrong absorberbounded: this shows a constant tilt is the wrong absorber and the displacement is not a stable parameter shift. It does not run the joint fit, which remains the row's dischargePY
P15R4P15 the joint fit leaves the gaussian and the bound was chi2 not sigmascope: what a tilt ABSORBS, not whether CR fits the sky. TT only, no polarisation, no lensing, no $\ell<100$ from this baseline; two parameters free, so C62's scoping stands unchanPY
P15R5P15 the potential at the handover is not freethe join in exact arithmetic; that the prescription is a FOURTH coding distinct from all three the row measured ($2.43$, $5.14$, dead comb); that $\Theta$ and $\Psi$ are then read PY
P15R6P15 the one fitted number moves the scale and not the peakthat the configuration reproduces P15's own quoted $\ell_1=206$ BEFORE its scan is read; that $\ell_A$'s range exceeds $40\%$ and $\ell_1$'s is under $5\%$; that $\ell_A$ falls monPY
P15R7P15 the symmetric comparison was never runnable and the quarter was two fifthsTHE SYMMETRIC UNDRIVEN COMPARISON r4549 PROMISED AND NEVER LANDED --- ITS THREE CLAIMS HOLD, ITS ONE NUMBER DOES NOT. r4549's own message read *"60's receipt for this result is notPY
P15R8P15 the angular momentum sector is not a propagating modethe damping removes the anisotropic signature, not $J$ --- because $J$ is not among the modes the tower is a statement about. P15's $\nu^{2}=\tfrac14-\ell(\ell+1)$ is reproduced exPY
P15R9P15 the tower is robust to the throat being squashed$\lambda=1$ reproducing P15's tower, the $\ell=0$ base's independence of $\lambda$, and the thresholds at $\ell=1,2,3$ with the higher multipoles saferPY
P15R10P15 rotation moves the throat away from the damping thresholdthe rotating Nariai locus; r6497's named computationPY
P15R11P15 the warped throat keeps every mode above the monopole decayingscope: a massless SCALAR on the near-horizon geometry --- the same proxy r6497's $\nu^2=\tfrac14-\lambda\ell(\ell+1)$ is built on. It does not decompose gravitational perturbationsPY
P15R12P15 the growth root is a moment balance pivoting on the nariai radiusPY
P15R13P15 the growth root on the leaf rate is not a moment balance and the gap stands COMPUTES A CONSEQUENCE, NOT AN ASSIGNMENT. It does not claim the leaf rate is the right rate for this object; the corpus's rule assigns it and this computes what follows. Om_r isPY
P15R14P15 the rate has one parameter and one epochboth routes to the offset are computed rather than asserted, and the x_0 identity is checked over a range of epochs rather than at one point; the double root's numerical splitting PY
P15R15P15 the growth normalisation root has no feature at the physical pointreproduces the published root to six figures before drawing anything from it; monotonicity and absence of kink are checked over ranges rather than asserted; the stationarity test iPY
P15R16P15 verify geometryRiemann from Christoffels; Nariai conds from f; two tortoise integrals; checks intrinsically discriminating — proved in Lean: 3 theoremsPROVEDPY
P15R22P15 damping ratio cleanCAMB x_e(z); r_s+r_D both rates; depends on CAMB; RATIO cancels conventionsPY
P15R23P15 damping reabsorptionfinite-diff levers on CAMB thermodynamics vs BBN+height priorsPY
P15R24P15 zonset determinationsthree determinations computed on one stated convention; H0-independence of (1) exact to 5 digits; rigging of (2) shown by the l_* that 6850 itself returnsPY
P15R25P15 the ratio is the onset in imported unitsz_onset recomputed from the geometric rate at four values of H0 by root-finding on the measured acoustic angle, its spread asserted below 1 part in 6000; the crossing H0 asserted iPY
P15R26P15 the two data are onethe identity evaluated at the onset temperature and asserted against the quoted datum to better than 5%; the equality temperature and the ratio at the bottleneck, at P7's own handoPY
P15R27P15 full transfer verdictexp damping on CAMB LCDM C_l; conditional chi^2PY
P15R28P15 verify closedS3 nonsyncdiscrete-source flat-Bessel sum; flat-limit chi->0 control passesPY
P15R34P15 the low ell minimum is at ell four DEPTH IS QUOTED TO A TWO-CODE SPREAD AND NOT BETTER. And nothing here relieves the observed sky's selective suppression of ell=2 ALONE by a factor of order three, which this consPY
P15R35P15 two ranges ratiosec:background (two ranges) — proved in Lean: 1 theoremPROVEDPY
P15R36P15 the second arm actually runthe minimum over l = 2..5 asserted at l = 4; recovery asserted in 6 <= l <= 9; the depth disagreement asserted above 1.4x; all ratios asserted finitePY
P15R41AS amplitude leftwardAS — THE AMPLITUDE, READ LEFTWARD. Family 3's question, and what C4 can and cannot say about it. CONFIRMATION 2, and the corpus is already correctly scoped here: P7: the inherited PY
P15R42BRANCHPT transmission characterruns clean; registered from its own docstring and a live runPY
P15R43BUILD camb storeruns clean; registered from its own docstring and a live runPY
P15R44C10 highl ratioruns clean; registered from its own docstring and a live runPY
P15R45C11TEST radiation zeroedCRRUN — THE SAME INTEGRATOR ON CR. The control passed at r1975, so this may now be run. WHAT CHANGES, and each from the corpus not from me: * BACKGROUND: H^2 = H0^2(Om a^-3 + OL) aPY
P15R46C11 early iswruns clean; registered from its own docstring and a live runPY
P15R47C1 closure of the drivingruns clean; registered from its own docstring and a live runPY
P15R48C2 horizon limitsruns clean; registered from its own docstring and a live runPY
P15R49C3 conformal mapruns clean; registered from its own docstring and a live runPY
P15R50C4 driving enveloperuns clean; registered from its own docstring and a live runPY
P15R51C5b baryon termruns clean; registered from its own docstring and a live runPY
P15R52C6 neutrino termruns clean; registered from its own docstring and a live runPY
P15R53C7 equality and deficitC7 — THE STEP THE TRAP WAS GUARDING. full_transfer_verdict.py ASSUMED the high-ell peaks equal LambdaCDM's and applied the extra damping, getting a large deficit -- and P15 disownsPY
P15R54C8 diffusion lengthruns clean; registered from its own docstring and a live runPY
P15R55C9 sound horizon and ratioC9 — r_s AND r_D WITH THE CORRECT LOWER LIMIT: THE SEAM. A first pass integrated from a=0 and returned r_s = 256 Mpc against the corpus's 144 -- absurd, and the error is structuralPY
P15R56H0 acoustic angle and seamH0 — THE ACOUSTIC SCALE AT THE DIRECTLY MEASURED H0. The calculation I have been running backwards. CORPUS CLAIM (P7, P15): 'There is no second Hubble rate to reconcile: THE DIRECTPY
P15R57ISW line of sightISW — THE EARLY INTEGRATED SACHS-WOLFE, ISOLATED, AND ITS SHIFT ON THE FIRST PEAK. Same shape as everything else in A.0: the source is a line-of-sight integral over the set rate. DPY
P15R58M2 reabsorption minimizationruns clean; registered from its own docstring and a live runPY
P15R59PEEB peebles on the set ratePEEB — THE PEEBLES IONISATION HISTORY ON THE SET RATE. ZREC used Saha only: right shift, wrong absolute (1283 vs CAMB's 1090), because Saha has no departure from equilibrium. PeeblPY
P15R60ROBUST p1p2 scanruns clean; registered from its own docstring and a live runPY
P15R61P15 the first peak figure is not stablebuilt r2376+c54.164, settling front #5 (L-171 - PO-7 - frontier:scalar); marks ROBUST_p1p2_scan and P15_verify_coherence_comb; corrects P15 sec:refit-bound and sec:coherencePY
P15R62P15 the crossing exists and is emptyscope: this CLOSES a candidate mechanism and supplies none. It computes no peak position and uses no figure from the acoustic fold. It leaves PO-7 open and harder: the absence of aPY
P15R63P15 two arm control and guardscope: this does NOT settle PO-7 and the CR figure is not offered as a prediction -- it uses the initial datum the corpus's own text describes (flat in k, common phase, VELOCITIES PY
P15R64P15 the driving shift by subtractionthe undriven calibration asserted within 0.01 of 1 on BOTH arms (this is the file's own gate); LCDM's spread asserted under 6%; CR's variation asserted over 2x; the fitted exponentPY
P15R65P15 which coupling carries the k dependenceLCDM's continuity asserted ABOVE 1 and its Euler BELOW 1 (they must oppose) and all three driven exponents asserted flat to 0.15; CR's continuity asserted nearly flat (\PY
P15R66P15 the gradient coupling in closed formkappa asserted constant to 10% across the sub-horizon band; the flattest grouping asserted to be Q k^1 and not Q k^0 or Q k^2 -- if that assertion reverses, the derivation is wrongPY
P15R67P15 where the likelihood sitsscope: plik_lite TT only -- no polarisation, no ell < 30, no lensing, no external priors, a third-party implementation rather than clik (PROVENANCE.md), and 185 of 215 bins becausePY
P15R68P15 the line of sight transferthe control's position error asserted sub-per-cent AND asserted improved by 5x or more; the CR arm asserted to move less than 1% under the rebuild; the deficit asserted at 20+ flooPY
P15R69P15 the derived diffusion dampingscope: this does not reach sub-per-cent heights and does not make the likelihood answerable. The residual is still worst at high multipole: no polarisation term in the source, and PY
P15R70P15 the height target was below the resolution of its own statisticscope: this corrects a MEASUREMENT PROTOCOL, not the construction, and it is a correction to my own work. It supplies no derivation of the shear coefficient -- that is named as owePY
P15R71P15 the shear coefficient derived not rememberedPY
P15R72P15 the photon hierarchy in the transferscope: this is the LambdaCDM control and the CR arm on one instrument, and it converts nothing into a verdict -- PO-7 is protected and L-147's answer is unchanged, because a controPY
P15R73P15 what is left is lensing and not reionisationscope: this measures what two candidate builds can be worth on THIS statistic. It is not a result about the sky, not a measurement of the lensing amplitude, and the control does noPY
P15R74P15 derived lensing on the lcdm armscope: the lensing operator is ΛCDM's, imposed not fitted, so this is not a measurement of the lensing amplitude and the CR arm does not fit -- it measures how much of c54.181's fiPY
P15R75UNC error budgetUNC — QUANTIFYING WHAT WE DO NOT KNOW. The prediction with an error budget. Corrections folded in first: * the recombination WIDTH scales with the rate (A.22) -- so the thickness cPY
P15R76P15 the residual is contrast and the lensing potential is derivedpositions asserted below 2% of the residual, so the diagnosis reorders loudly if they ever rise; the contrast excess pinned to 13.1% +- 2 points, since that is what the convolutionPY
P15R77P15 the phase is the driving and the undriven arms agreeWHY 0.62 pi: THE DRIVING — AND THE ATTRIBUTION IS COMPLETE. WITH EVERY COUPLING TO THE POTENTIAL REMOVED THE TWO ARMS' ACOUSTIC PHASES AGREE TO 0.013 OF l_A. Front #2, lead L-507. PY
P15R78P15 the phase moves with the datum and only the spacing does notthe control's phase asserted INSIDE the span the seam phase reaches — without which there is no withdrawal and c54.190–191 stand as written; the span asserted above 0.3 and pinned PY
P15R79P15 the locus is wrong in six places and the lint cannot see the worstsec:perturbations, sec:coherence, sec:envelopePY
P15R80P15 the filter is a sound speed filterTHE BRANCH-POINT SELECTION RULE'S EXPONENT HAS TWO FACTORS AND THE CORPUS VARIES ONLY ONE. The damping is e^{-k c_s \PY
P15R81P15 the exact transmission ratios are recomputed and the offset saturatesthe segment length asserted to two decimals, the five ratios to three, and the band, the monotonicity, the saturation and the convergence each assertedPY
P15R82P15 the collapse leg is scale invariantbound, and it is the whole caution: this is the STANDARD contraction result (Wands 1999; Finelli-Brandenberger 2002) applied to a background the corpus DERIVES. It inherits that liPY
P15R83P15 the continuation is diagonalbound: this settles the connection for the SCALAR mode equation on this background. It does NOT settle what a background correction ODD in tau would do -- which is what mixing woulPY
P15R84P15 the evenness is the time symmetrybound: the leg is exactly even because it is the marginally-bound E=1 geodesic of an exactly VACUUM SdS exterior. A progenitor with real matter content -- pressure, dissipation, anPY
P15R85P15 the geometry transmits no parameters= 3.32 alpha = 1.8e4 Mpc, from Lambda alone -- a CUTOFF, not a CONTENT.PY
P15R86P15 hbar survives in As and cancels in nsthe hbar-dependence of A_s asserted non-zero and of the tilt asserted zeroPY
P15R87I11 I1 one condition two jobs and the two routes are independentruns clean; twelve verdicts — proved in Lean: 2 theoremsPROVEDPY
P15R88P15 the progenitor vacuum is negligible toothe M-free potential asserted symbolically; the connection coefficient asserted in closed form and against integration from vacuum data to 0.10% over a decade in rho and a factor 1PY
P15R89P15 no primordial B modes unconditionallybound: the factor 24 carries the scalar side's idealisation (it is 24(1+w)c_s on the contracting leg, the standard matter-bounce value) and no more. The absolute P_T carries nothinPY
P15R90P15 the control entered the regime and the arm did not movePY
P15R91P15 the first peak is the seam datum and the spacing is not!! SUPERSEDED BY P15_the_spacing_is_right_and_the_acoustic_phase_is_wrong (r4401). *Headline claim withdrawn by a later revision of sec:refit-bound; the only citation available wouPY
P15R92P15 both datum freedoms opened and the spacing still holdsPY
P15R93P15 the floor is a distance between models not a number from the dataTHE CONTROL'S REMAINING 17% IS NAMED, AND NAMING IT REQUIRED CHANGING THE MEASUREMENT. Front #2, lead L-503. c54.186 left it unnamed; F2 as L-147 defines it is a difference of two PY
P15R94P15 the spacing deficit survives the one fitted parameterthe spacing's spread under the pin asserted below 1.20x — the point past which the deficit would BE the fitted parameter's and every conclusion resting on it withdrawn; its maximumPY
P15R95P15 the spacing is right and the acoustic phase is wrongthe CR asymptotic spacing asserted above 0.90 of l_A and pinned at 0.975 — if it were NOT near l_A there would be nothing to correct and c54.187-189 would stand as written; the firPY
P15R96P15 the acoustics work and the phase is the whole disagreementTHE ASYMPTOTIC SPACING TRACKS THE SOUND HORIZON AT 98% OF THE ACOUSTIC RATE, SO THIS CONSTRUCTION'S ACOUSTICS WORK — AND THE WHOLE DISAGREEMENT IS THE ACOUSTIC PHASE. Front #2, leaPY
P15R97P15 the admissible band is a third and the two entries differ against the potentialsec:coherence, sec:refit-boundPY
P15R98C12 the odd even half has its parameterasserts the rows wording, C5bs location and growth-factor and conclusion, and the papers own sentence (9 checks)PY
P15R99C14 po12 gates po10asserts PO-10s remaining half and P15s genuine-build sentence verbatim, computes the textbook ratios, and confirms neither row records the dependency (7 checks)PY
P15R100C15 the cancellation does not reach the ratioasserts the cancellation sentence and both rate-ratio results verbatim, and computes adjacent-peak envelope ratios on three envelopes (9 checks)PY
P15R101C16 the transfer is six eighths builtPO-12s step 2 is six-eighths built: the driving verified in closed form, source removal exact, projection calibrated at l_*=302.2 vs 301, and a C_l RATIO with no free parameter alrPY
P15R102C17 the instrument already carries bothCORRECTS r2658: both pieces it marked NOT LOCATED are built and validated — the Peebles recombination history IS the visibility function and the line-of-sight source with its j_l kPY
P15R103C18 bespoke means two legswhat BESPOKE means for PO-12: the transfer must carry TWO backgrounds joined at the branch point — radiation-dominated collapse leg, geometry-set expansion leg — and the paper forbPY
P15R104C19 the branch point joinNOT-A-PAPER-CLAIM — super-horizon join only; sub-horizon modes and the dynamical crossing stay openPY
P15R105C20 the caveat named an empty setasserts the every-mode-outside and seam clauses verbatim, computes the divergence of (rH)^2 and the vanishing comoving horizon, and confirms the radiation term dominates (7 checks)PY
P15R106C21 the superhorizon transfer closesNOT-A-PAPER-CLAIM — scalar super-horizon only; the single end-to-end run stays unrunPY
P15R107C22 the end to end numberTHE END-TO-END NUMBER: 7.5% low-ell power deficit from the absent early ISW, 18% at l_D rising to 54% at 2 l_D from damping — and the acoustic peaks BETWEEN them are where the chaiPY
P15R108C59 the control reproduces camb and the height defect was k truncation CONTROL ARM ONLY. No CR number is produced or corrected. The CR arm is truncated by the same mechanism and is NOT re-measured; r3512's HIER composition defect is a no-op on the cPY
P15R109C60 the hier composition defect names two flags its own tree never hadTHE DEFECT FOUR DOCUMENTS DEFER TO IS NOT IN THE INSTRUMENT, AND WAS NOT IN THE ONE IT WAS WRITTEN AGAINST. C59 closed PO-24's control step and deferred the CR arm to r3512's HIER PY
P15R110C62 the diffusion signature is a wash and the isw is not what it turned on THE MAGNITUDE IS NOT ROBUST TO A FACTOR OF THREE AND THE RECEIPT SAYS SO. The data-shape route multiplies the final spectrum by the Gaussian; the instrument applies the damping iPY
P15R111C61 the undriven premise is false on the rate the framework assigns the perturbationsbuilt r4124 (node 60) on PO-13 RUN 1, answering the question PO13_RUN_SPEC_FOR_CC54 names as the most important the run can return; bears on P07 sec:frontiers and on PO13_WORKING_SPY
P15R112C23 the gap estimatedNOT-A-PAPER-CLAIM — an ESTIMATE with its model stated, labelled as one; a hierarchy run would replace itPY
P15R113C24 the substitution itemisedPO-12s substitution ITEMISED: conformal time, r_s, the comoving horizon and the diffusion integral carry H while the Thomson rate and x_e do not — and the ratio does NOT cancel becPY
P15R114C25 the gap closed by integrationasserts the branch-point lower-limit clause and the single-datum clause verbatim, integrates the rate difference over five onset redshifts, and checks monotonicity (6 checks)PY
P15R115C26 the onset is not freeasserts the onset value, the fitted-to-the-acoustic-angle clause and the not-a-knob clause verbatim, checks the model at the onset, and integrates under four weightings (7 checks)PY
P15R116C27 the number bracketedP15s +9.4% BRACKETED from outside its own machinery: Saha +7.0% < Peebles < unweighted +13.1%, with the ordering FORCED by which history recombines faster — and cancel identically PY
P15R117C28 length against angleTHERE WAS NEVER A DISCREPANCY: 9.4% is an ANGLE ratio (C10s r=1.0926, already netting the 0.7% sound-horizon shift) and 10.8% a LENGTH ratio (C8) — r2686-r2689 compared one to the PY
P15R118C29 nothing to calculate across the joinPO-12s remaining half has NO CONTENT: the pre-onset stretch is pressureless and at w=0 the potential equation loses k entirely, so there is no scale-dependent evolution for a singlPY
P15R119C30 the odd even half is sharedasserts P7s statement of both halves and P15s R-values verbatim, computes the 1+3R displacement, and pins the whole-difference-carried-by-H clause (7 checks)PY
P15R120C31 half one owes a rulePO-10s half ① is NOT the banked test: L-147 holds parameters FIXED while half ① is a REFIT — and the arms are asymmetric (CR fits on one calibrated Omega_m; flat LCDM analyses carrPY
P15R121C32 half one is model selectionasserts the model-selection phrase and the 215-bin count verbatim, word-boundary-checks five model-selection terms at zero across papers and receipts (excluding itself), and computPY
P15R122C33 the threshold correctedasserts the anchored-amplitude and one-parameter-accommodation clauses verbatim, tables all four parameter-count pairs against the Jeffreys scale, and computes the AICc correction PY
P15R123C34 the deliverable is a pairPO-10s DELIVERABLE IS A PAIR: the acoustic sector is open as PO-7, its phase freedom moves the gap 0.615 -> 0.408 and cannot close it — but the freedom is DISCRETE, so k is unchangPY
P15R124C35 the reference is F3THE REFERENCE FORK SETTLES ITSELF AND AGAINST THIS LINES FRAMING: BIC uses only DIFFERENCES, so F3 (same-instrument) is the score and the CAMB-206.4 comparison charges CR an instruPY
P15R125C36 the negative is the envelope⛔ SUPERSEDED r2725 (the check shared the runs own n_s-held assumption, so agreeing to the same order confirmed only that both held it fixed) — L-814s NEGATIVE IS NOT AN ARTEFACT: PPY
P15R126C37 the comparison is not matchedL-814s COMPARISON IS NOT MATCHED and its number is WITHDRAWN as a result: the CR arm was held at k=2 with n_s fixed at LCDMs fitted value, and freeing the tilt alone removes 15.6xPY
P15R127C38 the comparison scores derivationspins P15s derived-vs-measured pairs and its own naming of Omega_m and A_s as fitted, and asserts its own refusal to score (6 checks)PY
P15R128C39 the derived list readpins all four derived pairs and all three fitted-exclusions verbatim, and the high-l ratios no-free-parameter clause (7 checks)PY
P15R129C40 the pair was quoted against a roundingPO-10s FIRST PAIR MUST TAKE THE RECEIPTS VALUE, NOT THE PROSE: P15 writes "the measured ~301" (tilde present, honestly approximate) while P15_zonset_determinations carries and assePY
P15R130C41b a tilde on a settled value is a stale hedgesec:tensions, sec:coherencePY
P15R131C41 a tilde is stale when nothing competesA TILDE IS STALE WHEN ONE RECEIPT ASSERTS AND NONE COMPETES: ~301 failed that test and P15 now reads 301.76; ~8% passed it — C8 derives +10.83% analytically and NAMES the disagreemPY
P15R132C42 the cancellation needs xe identicalTHE DAMPING DISCREPANCY DIAGNOSED: C8s cancellation needs x_e identical in both cosmologies, and a different H(a) changes the recombination HISTORY not merely its epoch — Lambda, tPY
P15R133C43 the gap is numerical not xer2750 WITHDRAWN — THE DAMPING GAP IS NUMERICAL, NOT x_e: a pure H probe moves z_* by only 0.195% (~0.05pp on the ratio) against a 1.86pp gap, while the CAMB receipt prints a 7.1% mPY
P15R134C44 the gap is truncationTHE DAMPING GAP IS TRUNCATION: the r_D ratio climbs 8.33% -> 9.94% with the upper limit and converges only by z~5e4, while the CAMB receipts grid stops at z=12000 — and a normalisaPY
P15R135C45 xe does not cancel from a ratio of integralsTHE DAMPING DISCREPANCY RESOLVED: x_e does NOT cancel from a ratio of INTEGRALS even when identical — toggling it on the same range moves the ratio +9.94% to +8.37%, the whole gap PY
P15R136C46 the nine are right and the one is wrongTHE 9.4% TRACED: P15 -> C10 (+9.26%) -> C9, which divides r_D 1.1015 by r_s 1.0067 — the ANGLE ratio, correctly, but from an r_D that omits the x_e weighting. Corrected it lands atPY
P15R137C47 the neutrinos were missingTHE +5.66% RECONCILED AND IT WAS THIS LINES ERROR: r2752 used photons alone where the receipt uses Ogamma + Onu (a 69% underestimate of what sources H) — and the CR arm has no radiPY
P15R138C48 the pairs are threePO-10s PAIRS ARE THREE, NOT FOUR: r_s and 1+z_eq hold against asserting receipts (C9 145.38, DESI 3402), but the onset ratio is an IDENTITY ON INHERITED INPUTS — "the quoted value PY
P15R139C49 the row has a likelihood not a lookuppins the instrument, its calibration standard, its self-recorded F4 defect, and F5s protection of the verdict (6 checks)PY
P15R140C50 the control is at seven not a hundredpins the corrected prose, the f-string print fields, the fall history, the 185-vs-215 bin difference and F6s unchanged verdict (6 checks)PY
P15R141C51 the dropped bins are the damping tailTHE THIRTY DROPPED BINS ARE ell 1759-2508 — THE DAMPING TAIL: the likelihood arms model ends near ell 1760 and nan-drops the rest, discarding exactly the region P15 names as its exPY
P15R142C52 the banked spectra fail the sampling guardTHE BANKED SPECTRA FAIL THE INSTRUMENTS OWN SAMPLING GUARD: LMAXL=2000 NK=260 gives 2.5 points per Bessel period and prints UNDER-SAMPLED — and the guard says the source comb staysPY
P15R143C53 the k range fixes one arm onlyTHE k-RANGE FIXES ONE ARM ONLY: raising L_max 26% drops the control 7.14 -> 3.81 on the SAME 185 bins while CR moves 0.4% — a response ratio over twenty to one, so r2760s undiagnosPY
P15R144C54 the 281 is the prediction being measuredpins P15s no-free-parameter high-ell formula, scores its residual at three error scales, pins F5, and names the SHAPE test that would settle it (5 checks)PY
P15R145C55 the shape test says peak misalignmentTHE SHAPE TEST RUN: the CR arms residual is neither a damping-profile match nor flat — it OSCILLATES, 0.237 to 2.375, correlation -0.296, dominant period 317 against l_A = 301. ThePY
P15R146C56 la is computed and its residual is too smallNOT-A-PAPER-CLAIM — the cancellation is observed not re-derived; amplitude is what remains after two eliminations, a candidate not a findingPY
P15R147C57 the cr peaks are not at its own laTHE CR ARMS PEAKS ARE NOT WHERE ITS OWN l_A SAYS: mean spacing 258 against a stored l_A of 301.6 (ratio 0.855) while LCDM sits at 0.995 — so the stored quantities are consistent wiPY
P15R148C58 the stored rs moves the wrong wayTHE STORED CR r_s MOVES THE WRONG WAY: removing radiation must RAISE the sound horizon (146.5 -> 245.2 Mpc integrated), the peak spacing independently demands 158.35, and the storePY
P15R149P15 the driving is bought by decay during oscillationSCOPE, and the receipt states it: the ASYMPTOTIC statement only, $Q\to1$ at large $k$, which is what P15 and P07 assert; NOT the low-$k$ values and NOT a magnitude — neutrino free-PY
P15R150N8 the transmission dichotomy is a capacity dichotomysec:transmission (prop:transmission, rem:transmission-leg)PY
P15R151P15 the history is spherically symmetric throughout so the chern simons number never movesdoes the construction's own history pass through any member carrying a twist, and does the gravitational Chern--Simons number change across it? r6762 made the violation a boundary — proved in Lean: 36 theoremsPROVEDPY
P15R152P15 the likelihood pair is another instruments and the crossing run needed a missing knob⚠ NOT claimed that the body's computed $298.0$ is wrong, nor that the instrument's convention is the right one — only that they differ, the body putting $r_s$ on the radiation-carrPY
P15R153P15 the chiral state the route needs is forced absent not merely unchosenr6766 named what a successor to the closed route would need — a chiral state on the three-sphere layer, not a chiral member — and left it unclassified: does it reduce to the handedPY
P15R154P15 the legs closed form at the two lociasserts the arithmetic of three candidate amplitudes and where each comes from; says nothing about which is right for the locus the instrument imposes it at, and nothing about the PY
P15R155P15 the handover at the crossing and what it coststhe rejection stands and is stated as one; the comb comes out 4.2 per cent narrow and the arm spends no fitted number; the reported l_A is bookkeeping on a sound horizon the oscillPY
P15R156P15 the desi dissolution survives the leaf ruler but only by moving the onsetreproduces the banked stacking-ruler fit (Om 0.3066, z_onset 6764, chi2 12.01 on 12 dof) and measures its H0 spread as exactly zero; then the leaf ruler without the onset, which rePY
P15R157P15 the damping to comb ratio picks the crossing and the leaf clock out of fourthe two choices are not separable -- neither helps at the other's wrong partner -- so this is one configuration and not two improvements; and getting this ratio right is necessary PY
P15R158P15 the onset bracket family is latent everywhere and was live in one placethe (1500, 60000) onset bracket is a family -- 27 live acoustic-onset solvers and 46 retired, 18 of the live ones below the leaf ruler's root of 61,580, which is 2.6 per cent past PY
P15R159P15 the third peak deficit is radiation driving and both routes to the equality agreea diagnosis and not a fit -- 3447 is LCDM's value and not a freedom this arm has, the arm is still rejected at 4.86 per bin against the control's 2.10, and the scan is not monotonePY
P15R160P15 the envelope turnover is stated on a third equality and the leaf background moves itdoes NOT claim the turnover sits at equality -- that is the paper's premise, taken as given -- and does not claim the envelope argument fails, its conclusion resting on the closed PY
P15R161P15 the damping signature error budget and the convention dominates itthe crossing arm's damping signature has a cosmological parameter budget of 0.02 points and an endpoint budget of 3.10 -- moving r_D's upper limit from recombination to the computePY
P15R162P15 at its own preferred H0 the crossing arm predicts the acoustic comb with no fitted numberthe comb fitted by sec:intro's own procedure and checked sub-per-cent against the sky; the reported ruler and the fitted comb checked to agree to 1.6 per cent where at H0 = 73 theyPY
P15R163P15 the full range lensed comparison is the unfavourable one and the control is nearly cambon the 185-bin full-range lensed configuration -- the one the corpus's own chi2 values are quoted on -- the crossing arm at (68.60, 0.2973) sits at 2.98 per bin against the controlPY
P15R164P15 the anomalous driving belonged to the pin and not to the constructionthe driving subtraction on the adjudicated arm is 0.96 times the control's, where the pinned arm the paragraph carries was 2.48 times -- so the anomalous driving belonged to the piPY
P15R165P15 the crossing spectrum reproduces on a second instrument and the 172 is the radiation free rulerThe crossing configuration's spectrum on a SECOND implementation: node 66's code seat integrated it on the polarisation path over 133 bins, and PO-10's row routed the full-spectrumPY
P15R166P15 the refit leaves the background where the distances put it and does not close the phasethe parameter refit: given four free parameters the crossing arm moves H0 by 0.011 per cent and Omega_m by 0.20 per cent, so the background the baryon-acoustic data fix is the backPY
P15R167P15 the signature collapses at the adjudicated ratio and the endpoint sets its signat the adjudicated ratio the diffusion-scale signature costs 12.6 and 1.7 in chi2 over 185 bins -- under a tenth per bin on either endpoint -- and a tilt of -0.0093 or +0.0034 absoPY
P15R168P15 the low multipole floor moves with no background and the factor two is the late iswon the adjudicated background the low-multipole floor does not move -- r_0 shifts 0.26 per cent and the lowest mode lands at l_2 = 7.81 against 7.74 -- and the two Boltzmann arms sPY
P15R169P15 the full range refit holds the background and the phase residual was quantisedthe 185-bin full-range refit: with the damping tail inside the fit the crossing arm's background stays pinned -- H0 moves 0.028 per cent and Omega_m 0.031 per cent, so Omega_m is hPY
P15R170P15 the low multipole depth gap closes and two defects were cancellingthe low-multipole depth gap CLOSES: the two Boltzmann treatments agree to 3 per cent across ell = 2-8 where the corpus carries a factor 2.02 at ell = 4, and the factor of two was TPY
P15R171P15 there is no phase residual and the fourth peak is not the damping envelopeone locator applied identically to the sky and both arms -- bin to plik_lite's bins, convert to D_l, spline, parabola over a window -- with the window swept over seven values so thPY
P15R172P15 three quarters of the arms residual is the controls and what is left is position not amplitudethe banked refit spectra reproducing the refit's own $\chi^{2}$ ($186.51$ and $292.42$ over $185$ bins) before anything is read off them; band means in sixths three ways (covariancPY
P15R173P15 the shared fraction does not mean what i said and the peak trough pattern is the arms alonenode 66's work order r6881, sec:refit-bound, continuing r6879+cc66.33: four properties of the acoustic residual measured by the chat seat on diagonal errors, with the burden statedPY
P15R174P15 the model difference is an acoustic contrast difference and it is not one skys lucknode 66's work orders r6885 and its mid-flight amendment r6887 — ⛭ *the decomposition answers (2) against the order's own conditional, (1) turns out to be (2) seen twice, (3) has aPY
P15R175P15 the source decomposition is reachable on the reporting path and the neutrinos have a knob⚠ NO MECHANISM FOR THE CONTRAST IMBALANCE — r6889 said that boundary is right and is not moving it, and neither does this ⚠ and no VALUE for the phase shift as a result about this PY
P15R176P15 the monopole zero point is not the channel and the two residuals point opposite ways⚠ NO MECHANISM FOR THE CONTRAST IMBALANCE — the order says none is asked for and none is claimed ⚠ the dipole excess is NOT claimed to produce the contrast excess, its sign being wPY
P15R177P15 the free streaming knob is common to both arms and the switch sweep finds no further shadownode 66's work order r6891, sec:refit-bound, continuing r6889+cc66.36, in two parts: point NUFS at the question on a grid that can resolve it — *"a locator on a finer $\ell$ grid, PY
P15R178P15 the skys own fourth peak cannot tell the arms apart and the displacement is shared with the controlTHE STOPPING RULE FIRES — AND THE SPREAD THAT FIRES IT IS NOT THE ONE cc66.28 QUOTED. That receipt gave the sky's fourth peak as $1121.9\pm0.87$, and that $0.87$ is a PROCEDURE sprPY
P15R179P15 the ladders discreteness does not set the spectrum and the check was run in piecesThe control r6788 declared open and node 66 asked for by name (FOR_60 item 5): KCONT=1, the CR arm's discrete $k$-ladder replaced by a continuum grid on the crossing configuration.PY
P15R180P15 the leg contributes no tilt because a fixed phase handover is scale free and a fixed time one is a running⚠ Bounds the LEG's contribution only — nothing about what the progenitor supplies, and nothing about $A_s$, whose fixed-point route the entropy monotone closed ⚠ the fixed-time numPY
P15R181P15 the substrate cannot tilt the spectrum and the collapses duration enters only as a decaying oscillationnode 66's order (2) in FOR_60 (r6825), PO-31 one step in: with the leg closed as a source, the tilt is the progenitor's vacuum, so what does the substrate ALONE constrain about thaPY
P15R182P15 the interiors vacuum is blue everywhere and a running so the substrates mass template does not apply⛭ PO-31: the row moves and narrows rather than closing — neither the substrate (exactly flat), nor the leg (r6812, a $k$-independent amplitude), nor this interior (blue and runningPY
P15R183P15 the transfer is the same object as the vacuum spectrum and the crossing carries no wavenumbernode 66's work order in FOR_60 (r6897) — ⓶ PO-31, released after the switch sweep validated its target ($n_s=0.9949$ against the control's $0.9559$). Four channels closed and the mPY
P15R184P15 the interiors transfer imprints its own running so the channel hunt answered the wrong questionnode 66's work order in FOR_60 (r6911) — ⓵ PO-31, and the order's own finding is bigger than the row: every channel the row has closed answers *what tilt does the VACUUM give*, whiPY
P15R185P15 the acoustic contrast is not in the source and the projection makes it without the distancenode 66's work order r6911: where is the acoustic contrast made — in the source, or in the projection? — *"take the statistic you already have and apply it before the projection asPY
P15R186P15 the transfers running is a function of one variable so the requirement is the radiation fractions⛭ PO-31: the difficulty is attributed for the first time to a number the corpus determines elsewhere — the radiation fraction. ⌗ *And the order's conspiracy question now has a shapPY
P15R187P15 the cross term is not the channel and every projected term carries the excessnode 66's work order r6915: which term carries the contrast excess after projection? — cc66.40 located the stage, and the order asks what inside it does the work, naming the monopoPY
P15R188P15 a source with no physics reproduces the contrast and the two clocks part company at the visibilitynode 66's work order r6919: ⓵ project a source with no physics in it — *"feed both arms' projection machinery the same analytic oscillating source — a pure $\cos(k r_s+\phi)$ on a PY
P15R189P15 the visibilitys clock is the one the kernel reads and the comb votes against the alternative⚠ NOT that the two-rate assignment is right — that is the row's question now and not this order's, and nothing here settles it ⚠ NOT that VISLEAF=1 is wrong as physics: what is meaPY
P15R190P15 the combs resolution is four multipoles and the skys own value lies outside the family⚠ NOT a verdict on the two-rate assignment — the row's question, and how well the comb constrains it is evidence toward that ⚠ NOT that $f<0$ is admissible: the $-0.304$ is the famPY
P15R191P15 the locator is good to three hundredths and the fourth peaks residual is the controls tooThe fine reference is the reported configuration re-run at eight times the multipole sampling on both arms, HIER=1 LSTEP=1 LMAXL=2000 in KSLICE pieces of 250 — 35 slices, one cr slPY
P15R192P15 the contrast excess is symmetric about the envelope and the troughs are where the sky measures it best⚠ NOT that $1.8\sigma$ is a detection — it is $1.8$ of the sky's own spread on one statistic, and the same differencing at the fourth peak gave $0.83$ ⚠ NOT a mechanism for the ampPY
P15R193P15 the windows phase spread is nearly equal because the visibility widens as the leaf clock slowsnode 66's r6959 order, three items. ⓵ᵃ *"Measure the source's conformal-time dependence across the visibility window on both arms, and report it as a function rather than as a ratiPY
P15R194P15 the term mix has the shape the offset needs and over delivers its sizenode 66's r6975 order, three items. ⓵ *"Decompose the excess into the peak-weighted part and the remainder, explicitly, and characterise the remainder rather than the whole"*; ⓶ *"PY
P15R195P15 the two channels compose multiplicatively and the pair is flat where the excess growsnode 66's r6983 order, one item. *"PO-56 is no longer which channel carries the excess but how two channels compose"* --- cc66.48 divided one response into the excess, got a remainPY
P15R196P15 the excess decelerates and nothing measured in this arm carries its wavenumber dependencenode 66's r6993 order, one item, redirecting this seat's own stated next object. cc66.49 left it as *what sets the sizes*; 66 moved it to *"what channel carries the excess's own waPY
P15R197P15 the two readings are different quantities and the projection width is the unmeasured onenode 66's r6997 order, four items. ⓵ the reconciliation this seat named and which P15 now carries as OWED --- *"which quantity does each path measure at the visibility peak, same dPY
P15R198P15 the two projection widths differ by the jacobian alone and the channel that opens is a quarter of the excessnode 66's r6999 order, four items. ⓵ *impose the conformal width at the size the arm HAS and not a fitted one*, pre-registering every outcome ⛔ *including the one where it does notPY
P15R199P15 the held period estimator reaches below the floor and the tooth that would decide cannot be appliednode 66's r7001 order, four items. ⓵ *build the estimator to the specification this seat wrote, with its own validation FIRST* --- *"before anything it says below the floor is readPY
P15R200P15 the lowest band is closed by the fields and the excess deceleration is carried by it alonenode 66's r7003 order, three items. ⓵ *can the lowest band be reached by any estimator, or is it closed by the fields?* --- *"is that a property of the band's width, of its placemePY
P15R201P15 the coupling is measured and negative and the contribution is undetermined because its input isnode 66's r7005 order, three items. ⓵ *the size, with the same discipline the shape work had* --- *"what fraction of the excess does it carry... and say whether the shortfall is coPY
P15R202P15 the bank already existed and the doppler carries a growing minority of the excessnode 66's r7007 order, three items. ⓵ *bank the oscillation amplitude of the projected contribution* --- *"say what the instrument has to emit for that... and if it cannot emit it PY
P15R203P15 the step is the excesss own and it sits at the second acoustic peak and none of the four produces itnode 66's r7009 order, three items, sequenced. ⓵ *is the step the excess's or the estimator's --- pre-register that before anything else* --- *"a step at the lowest band is exactlyPY
P15R204P15 the window free reading cannot resolve the first cycle the flatness was a trend and nine tenths of the step is common to both armsnode 66's r7011 order, three items. ⓵ *is the excess ZERO in the first cycle, or merely smaller* --- *"that is not 'a third of the rest', that is ZERO"*, asked of the window-free rPY
P15R205P15 the step survives a differential estimator and no single bilinear term carries the shared step though the doppler leads itnode 66's r7015 order, three items, on this seat's own closing caution. ⓵ *build the differential estimator: ratio first, contrast second* --- *"everything so far forms each arm's PY
P15R206P15 the surviving step is amplitude and not phase and the candidate shares do not survive the change of denominatornode 66's r7017 order, three items, on this seat's own pre-registered caveat. ⓵ *amplitude or phase --- decompose the surviving step* --- *"the surviving step might not be a contraPY
P15R207P15 no statistic this construction can build resolves the two channels and the phase step dies on a matched width controlnode 66's r7019 order, three items. ⓵ *resolve or exclude the two channels on the differential estimator* --- *"not resolved is right and it is not a terminal state: it means the mPY
P15R208P15 the likelihood sees the step and separates the two channels so the demonstration does not cover itnode 66's r7021 order, two items, after amending PO-56's terminal clause to this seat's narrower sentence. ⓵ *does the likelihood see the step* --- *"your floor is proved over everPY
P15R209P15 the band one departure is not in the likelihoods excess and all three channels match it in separating powernode 66's r7023 order, this seat's own redirect taken up, with a distinction placed in front of it. ⛔ *"the step is a two-to-three sigma feature of the likelihood's residual and thPY
P15R210P15 the term mix is the first channel to produce cost where the arm is rejected and the excess there is combed at the acoustic periodnode 66's r7025 order, which took NEITHER of the two readings this seat offered and moved PO-56's clause from the structure to the COST. ⇒ *"the comparison's discriminating structuPY
P15R211P15 the term mix does not carry the modulation and it survives in the part no channel explainsnode 66's r7029 order --- *"what joins your two findings is not a sentence, it is one measurement, and it is cheap"*. ⛔ *The gap, which this seat had not closed:* *"the correlationPY
P15R212P15 the resolution table eight of the eleven instruments cannot represent the comb period and four smallest shares are honest blanksnode 66's r7029 redirect, item one: *"a result should meet its instrument's limit BEFORE it is stated, not four revisions after"* --- the band-width limit the row met in four disguPY
P15R213P15 all three projections clear the instrument noise null so the term mixs cost is combed after allnode 66's r7033 order --- *"one re-run, and it is not a narrowing: the same three projections against the null 70 validated in the same revision"*. ⛔ *70's audit, which this seat aPY
P15R214P15 the three instruments with no noise model one can be given a floor and ten passages quote a significance or share the instrument cannot bearnode 66's r7033 order: *"which stated results depend on a floor that does not exist"* --- the four honest blanks of the resolution table, followed to what rests on themPY
P15R215P15 the accounting closes but cannot attribute because the share is the cosine of a phase offsetnode 66's r7035 order, which WITHDREW r7033's fork as its own defect: *"I built the fork on a detection test and PO-56's clause asks about AUTHORSHIP; every acoustically structuredPY
P15R216P15 the null harness survives its one assumption except for the misplaced part and floors a phase at the excess but not at the spectrumnode 66's r7035 order: *"the null harness is now load-bearing for this row's exit, so it gets one pass of its own"*PY
P15R217P15 the retention is the combs average over the kernels own k acceptance and the law has no fitted coefficientnode 66's r7039 order, which LIFTED the no mechanism guard with what replaces it stated --- *a mechanism must be exhibited on the integral, predict a number not used to find it, anPY
P15R218P15 the laws six of seven is five at the quoted floor which is one phases and with the instruments own error divided out all seven holdnode 66's r7049 order to 70: *how many independent measurements is "six of seven bands", and does the 3.74 per cent measured on a known injection transfer to the real arm's bands* PY
P15R219P15 the phase systematic leaves the step standing and carries a third of the retention slope through a phase drift between the sourcesnode 66's r7055 order Q1 to 70: *report the phase systematic's effective count for the retention slope and the excess's step specifically, and if unchanged say so* --- the order's PY
P15R220P15 the acceptance does not move under refinement and three of the twelve axes could not have moved itnode 66's r7049, offering and not directing: *"$A_\ell$ is a sharper probe of the same thing and it is now free... and $A_\ell$ carries NO FITTED AMPLITUDE to absorb the truncationPY
P15R221P15 the band rms ratio does not move with any numerical settingnode 66's r7041 order --- the convergence sweep itself, re-weighted at r7043 so the presumption is the instrument --- carried to completion across $\sim 11$ hours in which the contPY
P15R222P15 the fit has the controls freedom and the contrast the data ask for lies outside every direction it has⛭ THE CONSTRUCTION IS REBUILT FROM THE BANKED GRID RATHER THAN IMPORTED FROM THE DELIVERING SEAT'S SCRIPT, so the paper's figures rest on a receipt that RECOMPUTES them: the five wPY
P15R223P15 the fitted onset is the wrong clocks artefact because the stacking ruler keeps a square root memory of the start and the leaf ruler keeps nonenode 66's r7091 order, on Daryl's standing frame --- when the model does not match the measured spectrum the default hypothesis is that the MODEL does not faithfully implement whatPY
P15R224P15 the projection read recombination at the wrong conformal time and one clock moves it 72 per centnode 66's r7091 order, on Daryl's standing frame --- *when the model does not match the measured spectrum the default hypothesis is that the MODEL does not faithfully implement whaPY
P15R225P15 the phase is already carried into the projections variable and the two statements of the sound horizon agree identicallynode 66's r7095 Q1 order --- which was WRONG and is recorded as such: it ordered this conversion BUILT, reasoning from the measured $72$ per cent gap between the two clocks' readinPY
P15R226P15 the optical depth is a photon path observable so it takes the stacking rate and the visibility ruling is withdrawnnode 66's r7095 order, Q1: *"settle whether the optical depth's accumulation is a content process or a path integral IN THIS construction --- a derivation, not a preference, and I PY
P15R227P15 the licensed configuration moves neither statistic and the swing was read above where it convergesnode 66's r7095 order, which credited cc66.73's finding and ruled against its repair, then fixed the reporting order (the swing's crossings and longest run first, $\chi^2$ second, PY
P15R228P15 the kernels distance is the observers own flat slice so the rate rule does reach it and the disagreement with the sky is realnode 66's r7099 order, Q1, with the standing frame run to its end: *"every assignment is derived and the implementation does what the construction says on every object, so this is PY
P15R229P15 the licensed rebuild leaves all three rigidity numbers where they were and the forbidden one puts the arm on the controls own floornode 66's r7097 order, which withdrew r7095's Q1 as a wrong order, gated LEAFREC, and named the three figures and 60's falsifier in advance of the runPY
P15R230P15 the harmonic expansion in the proper frame is not bounded because no slicing of it carries both the discrete source and the projection distancenode 66's r7101 order, Q1 --- the remainder r7100 named, now ordered, *"because it is the only place a conclusion three derivations now rest on can still move, and a result of thisPY
P15R231P15 the construction fixes no closed layer radius because the nariai mass closes the route that fixes it in de sitter and the one radius it does fix is alphanode 66's r7103 order opening PO-72, Q1, off this line's own r7102 section (iv): *"a closed layer whose radius is chosen rather than fixed is not what the decoupling argument needsPY
P15R232P15 the expansion in the de sitter presentation is not bounded either because the sphere lives at zero mass and the observer at the nariai one and both closed kernels are excluded by the combnode 66's r7105 order, which struck PO-72 on its own premise, reverted the gate's four errors, restored this line's two re-pointed checks, and re-ordered the expansion *"in the de~PY
P15R233P15 the three grid comparison is like for like and not a ceiling artefact because the projection reach is fixed on every armnode 66's r7101 Q1 ordered the audit from the seat that did not produce the comparison, naming the ceiling-artefact mechanism as the thing it most wanted tried against; node 70 prePY
P15R234P15 the controls base log is banked beside the grids and the peak heights concur with the three rigidity statisticsnode 66's r7109 ⓶, which named this cell rather than ordering it: *"the one earlier disagreement between the heights and the three rigidity statistics is currently an empty cell raPY
P15R235P15 the 133 bin pair is computed and asserted and the hardcoded row carried the other armnode 66's r7109 ⓷, which refused to reclassify it: *"computed and ASSERTED by a receipt rather than narrated in one headline and hardcoded in another's print --- it is the last livPY
P15R236P15 the lowell sweep is reproduced by a producer in the repository and the bank is that producers output roundednode 66's r7109 ⓷ (= r7101's second item), carrying 70's provenance audit forward: *"the two load-bearing unplaceables re-derived, cc66_lowell_sweep and c54.182_clpp"*PY
P15R237P15 the lensing potential re derives bit identically and the three keys that do not are a cross check the producer never computednode 66's r7109 ⓷ (= r7101's second item) and 70's provenance audit: *"re-derive, or re-point PART B onto a re-derivable lensing source. It is load-bearing, and its era predates LEPY
P15R238P15 the layer is R times S2 on the reassigned chart and the two presentations are two metrics on one layering related by the null reassignmentnode 70's r7111+70.1 measured the layer's induced metric and Ricci eigenvalues and routed the consequence to 66; the gate verified both independently in a clean process before land — proved in Lean: 6 theoremsPROVEDPY
P15R239P15 the angular label crosses the lift untouched and the amplitude does not because the lift is purely imaginary conformal time so what it adds is an envelope with exactly no phasenode 66's r7107 order, Q1 --- *"how are the layer's angular harmonics carried along the bead through the lap, with the lift included?"*, posed as a requirement after r7107 withdrewPY
P15R240P15 the progenitor spectrum is defined before the lift so the envelope applies to it and the horizon scale on both lorentzian legs is the same pure numbernode 66's r7111 order, PO-73 Q1 --- opened off this line's own r7108 sentence *"the acoustic structure cannot be inherited from before the lift; it has to be generated on the expanPY
P15R241P15 the constant r foliation carries the sphere across the lap because the layers shape invariant is the same pure number at every point of the beadnode 66's r7115 order, PO-74, opened as PO-73's remainder after the author settled PO-73 and vindicated r7108 on the ground it was doubted on (*"the lift's purely imaginary conformPY
P15R242P15 the corpus places every perturbation source before the branch point and everything after it is transfer so nothing already built supplies anisotropic content on the expansion legnode 66's r7121 order, PO-75, opened as r7112's remainder after PO-74 was discharged and struck --- *"what carries anisotropic content into the expansion leg"* --- with its first sPY
P15R243P15 the freezing census is the vacuum curves own rate on the branch the lift is not on and the turnaround figure is exactly zero therenode 70's r7129+70.1 answer to PO-77 ⓵, which read the census as the LEAF's and named the one check that would change that. This file runs that check and the answer goes the other PY
P15R244P15 the segments conformal length is the closed form of the papers own integral and the two damping rates differ by the sound speednode 70's r7127+70.1 adversarial audit of this seat's r7127 settlement, which the gate ordered and which reversed it. This file REPLACES that settlement receipt, keeping what the aPY
P15R245P15 the third possibility cannot be because C21s limit is taken on exactly the segment the lift occupies so the two transfers overlap rather than compose⚠ IT RETIRES THE THIRD POSSIBILITY AND NOTHING ELSE. ⛔ The hold is respected: nothing computes on PO-74 --- no layer metric is written down, no invariant is evaluated, and 70's twoPY
P15R246P15 the seam sec envelope means is the front chart value and the collapse leg ends at the turnaround instead where the speed is zero while every seam carries it exactly one⚠ IT ANSWERS WHICH SEAM AND WHAT THE APPOSITIVE IS NOT, AND NOTHING ABOUT THE PHYSICS THE SENTENCE CARRIES. ⛔ *On a congruence with no Euclidean segment the collapse leg does run d — proved in Lean: 5 theoremsPROVEDPY
P15R247P15 the laps own closure is a translation by sqrt3 alpha so the reflection that the absolute radius implements is not the substrate identification and the two agree at one point onlynode 66's r7131 order: *"with the census on one side of the turnaround and the kernel on the other, what identifies the two sides IS the whole question. And $\lvert r\rvert$ alone PY
P15R248P15 the kernel carries no sound speed so the fork had no subject and r7108s equation is the c s equals one member which is exactly the tensor equationnode 66's r7135 order: *"PO-77 is down to ⓪, which is yours, and it is now the whole row … it is a genuine choice between two equations the corpus computes with, and the answer is PY
P15R249P15 the corpus tensor assignment and the segments unit speed support are two objects because on one chart the two equations differ by exactly the radiation constantnode 66's r7137 order, which strikes PO-77 on its own termination condition and opens PO-79: *"the handle is that the $c_s=1$ member is exactly the tensor equation, which you notedPY
P15R250P15 the term the leaf adds dominates the matter term everywhere inside the lap with equality forced onto the back chart value so the vacuum reading commits to its strong formnode 66's r7139 order, which accepts r7138 whole and narrows PO-79 to one choice, offering one thing rather than ordering it: *"the segment is vacuum by construction and the radiatPY
P15R251P15 horn ones carrier is already the papers own wavenumber free potential amplitude while on the segments own branch a sound speed costs a tilt equal to its whole exponentnode 66's r7141 order, which accepts r7140 whole and offers rather than orders one item: *"The thing worth going at next is horn ⓵'s cost directly: if the radiation perturbation isPY
P15R252P15 the route from the handover amplitude to the spectral parameters is already in print as the hbar sentence so the tilt passes exactly and horn two cannot carry it at allnode 66's r7143 order, which accepts r7142 whole, records the r7140 red as the gate's own ordering failure, and leaves exactly one item: *"Horn ⓵ needs one route from a $k$-free poPY
P15R253P15 the layers three metric obtained by restriction is timelike through the whole interior of the lap so the continuation does not go through and the invariant cannot adjudicate itnode 66's r7145 order, which strikes PO-79 on r7144 and sets the queue: *"PO-74 is the richest item on the frontier and has been waiting four revisions. The amended discharge: the PY
P15R254P15 the conjecture reduces to umbilicity because a conformal carrying preserves the invariants modulus across the lift and the foliation is umbilic only at the seamnode 66's r7147 order, which keeps five of r7146's results, rejects its termination on the ground that a reassigned-chart result cannot reach the de~Sitter sphere, and names the st — proved in Lean: 1 theoremPROVEDPY
P15R255P15 the sheared layers invariant is obtained in closed form and the squashing runs to zero approaching the seam so the shape is not carriednode 66's r7151 order, which accepts r7150, puts the umbilicity reduction in P15 with the P07 guard's constraint, and names the step: *"THE SHEARED LAYER'S OWN INVARIANT. r7150's s — proved in Lean: 1 theoremPROVEDPY
P15R256P15 the seam limit of the carried layer with its chi block is prop throats ds2 times s2 obtained with both radii read off the flowproved in Lean: 14 theoremsPROVEDPY
P15R257P15 the bead routes damping survives on the squashed layer because the berger harmonics carry no squashing and the spectrum is bounded below uniformlynode 66's r7159 order, which strikes PO-80 on r7156, takes this seat's correction to the divergence rate and traces it to its own every-second-decade sampling, and opens PO-81: *\"PY
P15R258P15 the lifts exact envelope on the carried layer is a one parameter deformation indexed by the hopf charge and the uniform bound is not attainednode 66's r7161 order, which strikes PO-81, accepts the r7156 amendment, and then declines to assign: *\"Nothing. PO-74, PO-80 and PO-81 are all struck and the frontier is down to PY
P15R259P15 no paper fixes the primordial normalisation because three sentences inherit it and the L to ell map is a projection whose width passes the mode spacingnode 66's r7163 order, which narrows PO-75 rather than striking it under the standing rule that *\"an item leaves a list by being done and never by reclassification, and a dependenPY
P15R260P15 the vector sectors pointwise bound fails while its exponent exceeds the scalars and the tensor sector has no transverse traceless spectrum off the round pointthis seat's own r7160 and r7162, each of which named these two sectors as what it did not do: r7160's *\"It is a statement about the SCALAR spectrum; no tensor or vector sector on PY
P15R261P15 po83 does not move because the companion avoids the obstruction by symmetry not by einstein while the four metric the layer sits in is einstein identicallynode 66's r7164 order, which lands r7164 and r7166, takes all three prose recommendations (homing one differently and recording the departure rather than making it silently), scopePY
P15R262P15 the four dimensional treatment keeps the economy and keeps more of it but in the sphere label so the bridge exists only on the squashing free sectornode 66's r7165 order, which lands r7168, puts the dimension-specific finding in print so that sec:throat now reads as a blocked DESCRIPTION rather than a blocked ROUTE, keeps this — proved in Lean: 13 theoremsPROVEDPY
P15R263P15 the bridge is exact on the spectrum and the transport is not shared because the four route carries a weyl coupling the layer has no counterpart fornode 66's r7166 order, which lands r7170, records that the economy answer *\"is better than the question deserved\"* and that the scoping it had applied two revisions earlier *\"no — proved in Lean: 1 theoremPROVEDPY
P15R264P15 the refit bound figures all reproduce and one of them is a ratio standing where a per bin chi2 is readnode 66's r7166 invitation, which asks nothing and offers this: *\"if either pair ever looks wrong to you from the physics side rather than the citation side, that is worth saying,PY
P15R265P15 po84 the charge is carried and the corpus already named where because the eigenvalue divergence is the traded momentums blueshift⚠ IT COMPUTES NO EXPONENT ON THE SEAM APPROACH. *The seam lies at infinite parameter and that is r7156's result, re-used and not re-derived; this row measures the RATE at which thePY
P15R266P15 po75 the supplier is already in print and the floor is two derivations not one so the odd ladder is the test that separates them⚠ IT DOES NOT DISCHARGE PO-75. *It establishes that the row's supplier is already in print and relocates the row's open content to the floor's provenance.* ⌗ *It computes NO amplitPY
P15R267P15 the transmission figure is deliverable after all because the descending sectors eigenvalue carries no squashing so constant k is exact exactly where the sector descendsthis seat's own stated limit at r7166 (*no transmission figure --- exponents only*), narrowed by its own r7163 and r7174 ⇒ FOR_66_FROM_60.md r7184; no order asked for it and none fPY
P15R268P15 order one answered negative the crossing cannot share a measure with the layers parity because its kernel is a function of the degree and the parity is a condition on the chargethe crossing's selection rule and its vacuity, P16's null-to-null scope note, the interior-to-observed map's identity on the degree, and this revision's own pre-registrationPY
P15R269P15 the budget declaration rests on a lower bound and the receipt that says so measures the three figures it rests onno paper section --- the runner's own long-declaration table, and the pinned-library manifestPY
P15R270P15 the dipole parenthesis is right on its own tower and does not reach the other one because the scalar floor is a vanishing traceless hessian and the tensor floor is an empty degree16 gates, all pass, 1 s. (A) the pre-registration prior and naming all three outcomes AND the three ways it could be wrong, plus the instrument re-validated rather than inherited (PY
P15R271P15 the composition route is answered negative too because the eigenvalue divergence lives on the leg the transport never traverses and the odd ladder arrives suppressed rather than absent20 gates, all pass, 1 s. (A) the pre-registration prior, with the TEMPTATION on the record before anything was computed, the three things the product needs, and the three escapes cPY
P15R272P15 the projection join inverts the expected picture because the odd degree lands lower than the even floor and arrives less suppressed so the lowest multipoles draw on the degree the bound would have removed⛭⛭⛭ THE ONE ITEM r7173 NAMED AND EXPLICITLY DID NOT ASSIGN, TAKEN UNASSIGNED ONCE EVERYTHING ORDERED WAS DISCHARGED: JOIN THE PER-DEGREE FIGURES TO r7164's $L\to\ell$ PROJECTION. *PY
P15R273P15 the floors understatement is measured against the floor and not the exact value and sec largescale never carries the asymptotenode 66's r7173 invitation, which asks nothing and offers this: *\"if a reader of sec:largescale would carry the asymptote into the low-multipole comparison and be a third low at tPY
P15R274P15 the projection joins two load bearing multipoles are the only two in the tower with no stretch threshold so the pending decision cannot move the result⛭⛭⛭ THE NEXT THING FROM r7196's MATERIAL, WHICH r7177 NAMED WITHOUT ASSIGNING: THE PENDING STRETCH DECISION CANNOT MOVE THE PROJECTION JOIN'S RESULT, AND THE REASON IS A MEASUREMENPY
P15R275P15 the rate rule reaches the projection only through the identification because P7 gives the lapse the rate and the shift the appearance as distance⛭⛭⛭ r7181's ORDER, WHICH IS A READ AND NOT A COMPUTATION: THE ANSWER IS THROUGH THE IDENTIFICATION, AND THE REASON IS IN P7's OWN IDENTITY RATHER THAN IN ANY HEDGE OF P15's. ⓵ ONE PY
P15R276P15 the background returns the larger stretch so 2774 is the constructions and the stale trio is a configuration not a slip but the figures name two of themnode 66's r7177 order: *"establish which $D_C$ this cosmology's background actually returns, and therefore which stretch is the construction's. Not the division --- I can do that aPY
P15R277P15 the 1p57 has no parameter address because the arms tt minimum sits on its own bao minimum while the controls pays fifteen in chi2 to leave plancknode 66's r7181 order: *"give the $1.57$ a parameter address. Read the refit minima and report how far each arm's TT-preferred $\omega_m$ sits from the one its distances fix"* --- PY
P15R278P15 the no fit confrontation is three per bin and its residual carries a nine sigma modulation at the combs own period which binning at that period cancelsnode 66's r7183 order ⓵: *"the paper has no figure of the other confrontation... that is the result a reader would most want to see and cannot"*, with the residual binned at the coPY
P15R279P15 all three steps of chi for the visibility take the rate the rule assigns them and the collapse the order feared was found and split at r7095the instrument's \chi(z) for the visibility, read against P07's rate rule step by step --- ⛭⛭ ALL THREE STEPS TAKE THE RATE THE RULE ASSIGNS THEM, AND THE FIRST CANNOT BE MISCLASSIPY
P15R280P15 the one ground admits exactly one independent second support and it is disqualified because the rays that carry the flat length carry a blueshift⛭⛭⛭ r7183's OFFERED ITEM, TAKEN: CAN THE ONE EQUALITY PO-70 RESTS ON BE SECONDED FROM ANOTHER SIDE? ⛔ THE SEARCH COMES BACK EMPTY, AND WITH A REASON RATHER THAN A LIST OF FAILURES. — proved in Lean: 2 theoremsPROVEDPY
P15R281P15 the residual does not sit at ell A it sits four per cent off and the visibility width candidate predicts an ell dependence the ratio does not havenode 66's r7189, which ordered NOTHING and asked two things: *"the caption is mine as you said; if any number in it reads wrong against your run, that is a defect and I want it namPY
P15R282P15 the visibility width is not the carrier the swap moves the fold at ell A by under two per cent and fails the undo test in both directionsnode 66's r7191: *"price the residual the width alone produces, and compare its SHAPE to the measured one"* --- widen the control by $14.3$ per cent, fold within $\ell_A$, compare PY
P15R283P15 the seam flux is not computable here because the closure makes one locus carry two surface gravities and the euclidean section closes in a clock whose conversion vanishes at both seamsproved in Lean: 1 theoremPROVEDPY
P15R284P15 the period difference null is not significant because the control has no measurable period and the offset is exactly a phase drift at fixed ell Anode 66's r7197: *"the arm's preferred period against the control's as a null, with the period free in both arms and the DIFFERENCE as the statistic"* --- the measurement cc66.149 PY
P15R285P15 the two exact twos are the same pair of stretches read on two clocks and the cosmic one is the ratio of the two seams own leg parameters13 gates, all pass, a few seconds. (A) the three conformal horn lengths at $1:\sqrt3:2$ to 1e-12. (B) both seams' parameters DERIVED from their radii and the amplitude rather than PY
P15R286P15 the phase slope does not separate the loading from the driving because a primordial tilt moves it as much as the baryon density and the clean lever is not bankednode 66's r7199, which orders nothing and says why: *"the next question is which quantity carries a running phase at correct spacing, and you have already named the two candidates.PY
P15R287P15 the de tilted peak set is the phase observable the slope was not and it separates the baryon direction from a tilt by twenty but the driving half needs its own pairnode 66's r7199 standing position, which orders nothing: *"if you see the measurement that would separate the driving from the baryon loading on banked data, run it and say what itPY
P15R288P15 the baryon loading moves the common offset OPPOSITE to the full baryon direction so omega b was never a contaminated loading lever but an opposing onenode 66's r7203 item 3, which ordered it explicitly and ordered it SEPARATELY: *"with cr_rb1.5 landed the curve has its central difference and is worth a receipt of its own; that iPY
P15R289P15 the arms own driving pair reproduces the banked one and the peak plane separates the loading from the driving but not the driving from a clock errornode 66's r7203 items 1 and 2 --- *"the de-tilted peak set on the CR arm with its own NODRIVE pair, both components"* and *"the carrier named if the signs separate it"*, with r7203PY
P15R290P15 the peak statistic cannot be pointed at the observed spectrum because a local maximum finder reads twenty one maxima where the model has fivenode 66's r7211, granting the ask this seat declined to grant itself: *"run the de-tilted peak statistic on nofit_figure_numbers.npz's data with its sigma, and place the observed pPY
P15R291P15 the three parameter comb fails its validation because the peak spacing DRIFTS and the missing parameter is the one the sector is aboutnode 66's r7213: *"build the parametric comb: position, spacing and alternation as FITTED PARAMETERS under the covariance"*, with the burden attached --- *"show it recovers cc66.15PY
P15R292P15 the fourth parameter recovers the drift the gaps show but the spacing and the drift are not separable so the data half still does not happennode 66's r7215: *"build the four-parameter comb: position, spacing, alternation, and the linear drift"*, with *"test it on the driving-off spectra FIRST"* and *"degeneracy still cPY
P15R293P15 centring removes the correlation exactly and closes the route anyway because the decorrelated parameter is not the acoustic scalenode 66's r7219: *"centre the comb basis and measure whether the $\ell_A$--drift correlation survives it"*, *"a reparametrisation, not a fifth parameter"*, burden *"the fitted curvPY
P15R294P15 the carrier separation on L p is the combs peak count not the carrier and the closure has no number because the degeneracy is sampling invariantnode 66's r7221 --- *"measure whether the carrier separates along the direction the bank actually carries"*, ① *"$\Delta L_p$ between the carriers, in units of the bank's own $\sigPY
P15R295P15 the peak plane survives the merge the sky lands within one sigma of the control and a full driving unit is thirteen but half the draws lose the fourth peak⌈ THE ROUTE REACHES THE SKY AND WHAT IT DELIVERS IS A BOUND ON THE DRIVING RATHER THAN A DETECTION. *cc66.159's catastrophe was a binning artefact, cc66.163 measured that, and thisPY
P15R296P15 a drive clock error cannot move the spacing so it is a running phase but its direction on the peak plane depends on which pair of stretches is read and the two clocks disagree about which is longernode 66's r7201, which orders it in three parts: *"Read the driving on each of the two clocks r7216 separated and say what the choice does to the acoustic phase as a function of $\PY
P15R297P15 the runtime tail in r7170 is not localised to a call so the free reduction lands and the pre registered fix does not and the margin to the cap is the gates to setnode 66's r7205: *"60 --- r7220, fixing its own r7170 receipt: no failing gate and a runtime that explodes about one run in six"*, with r7203's standing offer attached --- *"if r72PY
P15R298P15 po31s terminal clause counts closures and the label is many to one so the count is four and five at once and the quantifier has no setno order; r7209's board leaves this row to this seat, and r7211 retired the other row this seat held, with PO-75's live step ordered elsewherePY
P15R299P15 the enumeration derived from the construction has two members and the rows own identity is one of them with the other held constantnode 66's r7213: *"derive the list from the construction's own structure rather than from the history of what has been tried"* and *"four, and here is why there is no fifth is the PY
P15R300P15 the spacing drift is made in the projection so the construction determines it and the handover contributes nothingthe acoustic comb's own source extrema in $k$ at recombination on four runs of the two-arm instrument --- driven, undriven, and the handover epoch moved a DECADE either side --- plPY
P15R301P15 the kernels phase difference between the arms is four orders below the residual so the projection is cleared and a sixth of the scale is common modethe three lengths each arm's own run reports --- $r_s$, $D_M$ and the diffusion scale at the visibility peak --- read off the banked spectra and their run logs rather than typed, aPY
P15R302P15 the wrap fix is applied and agrees key for key and the exposed convention is the window not the endpoint29 gates, all pass, about 39 seconds. (A) S7 and S8 re-run as subprocesses rather than reimplemented, their counts read off their own output, and all six of 70's rows checked to thPY
P15R303P15 the selection does not truncate so the thirteen sigma stands at twelve point nine and the peak that goes missing is the third not the fourthnode 66's r7229 --- *"compare the width of the four-peak selection against the width over all draws on the three-peak statistic, and state whether the selection truncates"*, with tPY
P15R304C64 the first sixty eight keys of the prefix are read and the repair owed fraction is four point four per cent with both mechanisms present in shapes the flag cannot seePY
P15R305C65 the next sixty keys are all source and none is a repair so last cycles prediction is wrong and all three repair forms already exist in this prefixnode 66's r7247, standing, with r7249 adding nothing --- *"the prefix is yours and the work is in flight"*, and the burden restated: *"the count of receipts you actually opened is PY
P15R306C66 the cross read agrees with sixty on thirty three of forty so the ratchet is a measurement and twenty five of my own rows move under the settlementnode 66's r7251 --- *"I am not telling you 60 is right and you are wrong. I am telling you the two of you cannot both be measuring, and the way to find out is to read each other's PY
P15R307C67 the hundred and forty eight are re stated and the grain clause decides twenty three so the negative does not fire but the paper half is held and not owed so cc66 170s split invertsnode 66's r7253 --- ① *re-state P15's 148 contested-cell rows that still carry a pre-settlement reading, under the settled rule AND the grain clause, and report how many move on thPY
P15R308C68 all twenty seven owed rows are performed and none is held so the owed class was redundant assertion and six fall in the computable class the negative asked fornode 66's r7255 --- ① *perform or hold the 27 REPAIR-OWED rows; each one either gets the repair performed --- a normaliser, a width re-cut, a structural test --- or a stated reasonPY
P15R309C69 the four hundred and seventy five are adjudicated and meaning held takes none of them so three of four pinned numbers miss on one errornode 66's r7255 --- ② *take the 475 under the settled rule and both clause limbs; pre-register the MEANING-HELD share, the REPAIR-OWED share, and the fraction expected to fall in tPY
P15R310C70 seventy one per cent of the two hundred and seventy two held rows are computable so the negative misses by sixty one points and my band by twenty nine and the cost invertsnode 66's r7257 --- ① *measure the 272 MEANING-HELD rows against can a receipt compute this; pre-register the computable share BEFORE starting and name which of the three forms eacPY
P15R311C71 the census is sixty two per cent ast and the backlog has a nearest function for eighty three per cent but the fourteen that do not are one hole and a cheaper form lowers the strict countnode 66's r7261 --- ① *work the 108 census, each row recording the form its own holder can carry, and report the 85 as a BACKLOG with what each needs: the quantity and which existiPY
P15R312C72 nineteen of the fifty nine reachable rows are reached by grafting the named function out of a script and the one hole is filed as a stated limit whose capability is short worknode 66's r7267 --- ① *the 71 rows with a named nearest function: the measurement says they are reachable, so reach them, the 59 that are a change of inputs first and then the 12 tPY
P15R313C73 batch two measures the inputs half of the classification and only four of thirteen are a change of inputs while a matrix built by element assignment was a reachability question nobody asked37 checks, all pass, 7s measured. ◆ NOTHING NEW COMPUTED PHYSICALLY --- every number comes out of a function GRAFTED from A2 or L-104w. Ⓐ THE SUBJECT --- BACKLOG.tsv gated asPY
P15R314C74 batch three takes all nine and roots at settles the identity of the root sets which is the load bearing half of distinguished only by which root each takesnode 66's r7281 --- ① *the remaining 36, in batches as this seat has been scheduling them from the syntax tree, the schedule explicitly not re-decided*; and ruling ① settling the oPY
P15R315C75 batch four takes all nine and the loader now refuses an empty table it used to hand back in silence which would have made a row vacuous rather than wrongnode 66's r7283 --- ① *the remaining 27, in batches as this seat has been scheduling them from the syntax tree, the schedule explicitly not re-decided a fourth time*; and ruling ③ PY
P15R316C76 the five held rows are read at their own loci in four papers and four of them are not metric claims at all so a change of inputs could never have reached themnode 66's r7283 --- ruling ③ *do not CHOOSE a metric, READ which one the paper states at the row's own locus, the full-turn-per-paper rule applying; and if the paper states none thPY
P15R317C77 batch six takes all six and the one wrong kind row among them is wrong by quantifier because a residual test refutes one candidate where the claim is a non existencenode 66's r7285 ① and r7287, both unchanged --- *the remaining rows, in this seat's own batches from the syntax tree, with the geometry and objects rows folded in under the r7283 rPY
P15R318C78 batch seven takes the first four extend rows and both extensions return more than their claim asked for a non isomorphic pair the corpus supplies itself and an exact pole coefficientnode 66's r7285 ① and r7287, both unchanged. ⌗ This seat's own EXTEND_PREDICTION.md (digest 14aa710408c33d02, pushed before any of the 12 was computed) fixed the batch split and puPY
P15R319C79 batch eight takes six and refutes this seats own pinned call by its own clause because a lie group claim turns out to be reachable by a finite group character countnode 66's r7285 ① and r7287, both unchanged. ⌗ And this seat's own EXTEND_PREDICTION.md, which this row reports REFUTED --- the second register item withdrawn this cycle on its ownPY
P15R320C80 batch nine closes the extend class and the shear row is settled by an absence the substrate has while the converse geometry does notnode 66's r7285 ① and r7287, both unchanged, and this seat's own EXTEND_PREDICTION.md batch split. ⌗ With the EXTEND class closed, what remains of the 71 is the 7 filed-limit INPUTPY
P15R321C81 order two is done in one cycle the zero mode capability exists and the measure the stated limit called its only open question does not change the count⌈ AN ORDER WITH A HARD STOP IS A GOOD ORDER, AND THIS ONE SHOWS WHY: THE EXPENSIVE PART WAS NEVER THE SOLVE. *The mode equation $(-i\gamma^1\partial_r+W)\psi=0$ integrates to $\psiPY
P15R322P15 the selective quadrupole suppression is the skys own and lcdm carries it at the same sizeThe quadrupole--octopole ALIGNMENT is a separate statistic, of orientation and not power, and is not carried herePY
P15R323P15 the tilt off the tail cannot decide the signature on plancks tailReads the banked fits, runs no likelihood, under 1s. Off-tail and control fits, the null mock, and all four windows' sky and signature fits re-read from the JSONs; every quoted figPY
P15R324P15 the source route is faithful because the imposed ratio applies the damping exponent once and the instruments own exponent is one point sevensec:diffusion-scale; PO-24's second halfPY
P15R325P15 the readout fixes which length the distance is and not which rate so the stacking rate is assigned and lights own path is excludedsec:refit-bound; PO-87's workable clausePY
P15R326P15 the photon family crosses the leaves at unit cosmic time rate so the projections distance takes the stacking rate by derivationsec:scope (the acoustic coherence item); PO-87's workable clausePY
P15R327P15 the derivation holds on any cut because the radial equation is autonomous and radiation in the cut moves the distance away from the skysec:scope (the acoustic coherence item); PO-87's workable halfPY
P16 — Cosmogenesis
32 receipts.
P16R1P16 nariai weldsthe completion-is-the-seam step — proved in Lean: 2 theoremsPROVEDPY
P16R2P16 the adiabatic justification is against the wrong mechanismP16's adiabatic argument excludes radiative loss and not dynamical entropy production. Its justification is optical depth --- "the photon bath is trapped and compresses with the gaPY
P16R3P16 two mass blindnessesstated without being claimed: no instance implies another; the r1619 third instance REVISED this row's earlier 'no extension to a third quantity is claimed' — a third was found in PY
P16R4P16 the regulated peak is the planck density over six pi⛔ NO TEMPERATURE IS CLAIMED: the Newtonian infall-energy expression leaves its regime inside the horizon and prints ~1e29 MeV at r_min, which is the formula failing; P16's 174 MeV PY
P16R5P16 the crossing is an involution and the density is even on the unsigned radiusTHE CROSSING IS AN INVOLUTION, SO PO-88's 'TRANSMITTED DATUM' IS THE WHOLE APPROACH AND NOT A FEW NUMBERS OFF IT. The two continuations the corpus uses AGREE and both carry r throuPY
P16R6P16 the crossing reverses the radiation amplitude so it is not species blind20 gates, two of them controls: the stated solution checked against its own equation; the zero's order computed per species; the amplitude reversal proved as an identity; the per-iPY
P16R7P16 no observable reads the sign of the radiation amplitude⛔ NOTHING about B's MAGNITUDE, which every one of these observables DOES read; no temperature, no abundance, no third species; and NOT that the crossing is species-blind -- it is nPY
P16R14CROSSING no made asymmetryruns clean; registered from its own docstring and a live runPY
P16R15P16 radiation is the odd partbound: the interior at LEADING ORDER — closed FRW, dust plus radiation, no anisotropy, no dissipation. It establishes the PARITY STRUCTURE and its species assignment, which followsPY
P16R16P16 the mixing is two pi over rhobuilt r2376 (c54.131), working L-150PY
P16R17P16 what the sky permitsbound, and it is the whole uncertainty: this IDENTIFIES the interior's three-sphere harmonic index with the observed multipole, and nothing here establishes that map — c54.125 haviPY
P16R18P16 the interior to observed mode mapu, r_0 and the stretch factor asserted against P15's values; the L = 2 multipole asserted within 0.3 of P15's 7.8; the bound asserted between 1e-6 and 1e-3 and the ratio to our ownPY
P16R19P16 recollapse is the nariai thresholdbound: the recollapse condition is for dust plus Lambda — radiation makes the ball marginally easier to collapse and does not move the threshold at these fractions. The BBN compariPY
P16R20I14 the interior is a driven oscillator and the parity split is forced by linearityruns clean; eleven verdicts including a nonlinear control that breaks the splitPY
P16R21P16 the progenitor composition is bracketedthe determined rho asserted between 0.04 and 0.07; the BBN threshold asserted between 1e-7 and 1e-5; the floor asserted satisfiedPY
P16R22P16 the leading order interior is adequateIS THE LEADING-ORDER INTERIOR GOOD ENOUGH? THE PERTURBATIONS STAY LINEAR BY SIX ORDERS, AND THE ANISOTROPY THAT KILLS GENERIC BOUNCING MODELS IS EXCLUDED HERE BY THE SAME ASSUMPTIOPY
P16R23P16 the passage is phase only above the first peak~~A BRANCH-POINT PASSAGE IS A PURE PHASE ROTATION ABOVE THE FIRST ACOUSTIC PEAK, AND CATASTROPHICALLY MODE-DEPENDENT BELOW IT.~~ !! THE PHYSICAL READING IS WITHDRAWN r2376+c54.149 PY
P16R24P16 the scalar monodromy is four pi over rhobelow 1e-4 around the turnaroundPY
P16R25P16 every mode is frozen at the crossingEVERY MODE IN THE OBSERVED RANGE IS FROZEN BEFORE THE BRANCH POINT, SO THE CROSSING'S SPECIES FILTER HAS NOTHING TO ACT ON AND THE PASSAGE IS LOSSLESS FOR EVERY SPECIES RATHER THANPY
P16R26P16 CR makes no Neff prediction because it fixes a place and not a coupling$N_{\rm eff}$ asserted PRESENT in P16; the network's two commitments read out of source — if the code did not commit to three thermalized species the finding would be about nothingPY
P16R27P16 the adiabatic premise is demanded by the data and inherited by the constructionITEM 56: cc54's NUMBER REPRODUCED ON THIS LINE'S OWN INSTRUMENT — THE ADIABATIC PREMISE IS DEMANDED BY THE DATA AND INHERITED BY THE CONSTRUCTION. Lead L-528; VEIN L-202. PART 1 CAPY
P16R28C13 downstream irrelevant is not downstream blockedOPEN-DOWNSTREAM inverted the papers relation: P16 says downstream-IRRELEVANT (nothing depends on it) where the bucket meant blocked-behind — and two of its three entries are one faPY
P16R29N7 the peak is an erasure channel and its output is the conserved chargeP16 says the peak erases the composition but not the baryon number, and flags its own gap: "the same erasure raises a question this paper answers IN EFFECT BUT DOES NOT STATE: why PY
P16R30P16 the bbn network cannot see the arms equality so the abundances are silent on itthe BBN network's background has no matter density in it, so the CR arm's equality -- which differs from LCDM's through omega_m, not the radiation -- is invisible to it: the abundaPY
P16R31P16 the window is crossed twice and the expanding leg is where the abundances are madewith the handover at the crossing the nucleosynthesis window is crossed twice -- up the collapse leg and down the expanding one -- and the second passage is not a correction to thePY
P16R32P16 order two answered positive the tensor floor is derivable on the constructions own three sphere because the transverse traceless laplacian is L times L plus two minus two and the lowest member is L equals two⛭⛭⛭ r7171 ORDER ⓶, RE-WEIGHTED LOAD-BEARING BY r7173: THE TENSOR FLOOR IS DERIVED ON THE CONSTRUCTION'S OWN $S^3$ AND THE CLAUSE IS RIGHT AS WRITTEN. The transverse-traceless roughPY
P17 — Reached through the imaginary, real by construction
21 receipts.
P17R1P17 the entropy declination is load bearing for the ledgerthe two branches shown to disagree, so the topological-terms question cannot be settled independently; and the absence of an absorber, against $\Lambda$'s absorption of a constant PY
P17R2P17 the ledger does not count a counterterm coefficientthe ledger's statement does not reach a counterterm coefficient, so the entropy branch is costless to it --- which is P17's own reading and retracts r6437. The ledger has two regisPY
P17R3P17 the alpha family is a foliationTHE ALPHA-FAMILY IS A FOLIATION OF THE AMBIENT BY THE LEVEL SETS OF ONE QUADRATIC FORM, WITH THE LIGHT CONE AS ITS SINGULAR MEMBER -- AND THE CONFOCAL ORTHOGONALITY THEOREM, WHICH — proved in Lean: 1 theoremPROVEDPY
P17R4P17 power of a point!! c54.161: THE CIRCULARITY IS RETIRED -- the power is now MEASURED from bisected secant products and compared against X0 taken from the substrate constraint, at 2 alpha and 3 alphPY
P17R5P17 power is nullsec:power prop:tangentnullPY
P17R6P17 qm S4 vs S5=0.0 -> so(6)), faithful on all 6 real dims (minimal real rep R^6); GH beta=2pi alpha n-independent -> thermal + gauge Euclideans co-locate on one real form (S^5 or S^4 equator)PY
P17R7C3 inversion extendsruns clean; registered from its own docstring and a live runPY
P17R8D1 hinge dualityD1 — PROJECTIVE DUALITY: the dual of the swinging door. PRIMAL : the pencil of slicing planes (doors) through the HINGE. DUALITY : in the plane of the throat, w.r.t. the throat cirPY
P17R9D3 segre no pencilD3 — SEGRE. The Segre symbol classifies a PENCIL of quadrics by the elementary divisors of lambda A + mu B. So the probe needs an honest answer to: DOES THE CORPUS HAVE TWO QUADRICPY
P17R10O2 sightline null on liftruns clean; registered from its own docstring and a live runPY
P17R11Q1 quadric polarityruns clean; registered from its own docstring and a live runPY
P17R12Q3 cayley kleinQ3 — Cayley-Klein: is the substrate's metric a log-cross-ratio against the absolute, and is alpha the CK scale constant? Substrate dS_5 = {X in M^6 : eta(X,X)=alpha^2}.PY
P17R13Q6r polar is the backgroundruns clean; registered from its own docstring and a live runPY
P17R14P17 no second scale on either facethe Wick image asserted equal to S^5 of radius alpha; each invariant's logarithmic derivative asserted an integer — proved in Lean: 3 theoremsPROVEDPY
P17R15P17 the cut is planar only at M zerothe hyperplane split done in general; the Kretschmann derivative; the two determinations of G' computed and subtracted; kappa^2 solved for and shown r-dependent; the M = 0 control — proved in Lean: 8 theoremsPROVEDPY
P17R16P0 the order parameter is the offset and it is bounded by the nariai memberthe oddness of $2M(r_0)$ — this IS the join; if P3's relation were not odd, p0's mass-reflection would be a separate assumption and there would be no single object; all three rootsPY
P17R17P17 the frontier item is a result and the cosmogenesis paper reaches it the other wayasserts the old owing sentence ABSENT; eight checks on the replacement incl. the X1 cite; four that P16's body says what is now attributed to it; and 'peak spacing' counted 0 in P1PY
P17R18P17 the ds entropy is the gauge count squared and is the cc numberPY
P17R19P17 the budget has three entries and one has splitthe three entries as P17 names them, the twelve's factorisation $3\times2\times2$ with the colourless remainder, the welding's odd-hinge parity at $D-1=3$, and the count of entriesPY
P17R20P17 the area law carries on the substrate horizon and cannot on the forced member and the register reason is not the one⛭ PO-48: answered on all three items — the declination is right about the member the cosmology rides, wrong about the horizon it quotes, and its stated reason is insufficient for bPY
P17R21P17 the ledgers entropy is the de sitter readings and the other reading has a number but not an entropy⚠ *NO horizon thermodynamics is imported for the forced member*, which the order forbade: $(u-u^{3})^{2}$ is reported as a ratio of areas and explicitly denied the status of an ent — proved in Lean: 2 theoremsPROVEDPY