PRM-014 · Finite regulator

Premise

Register corrected — R81 (D11, S327j). The PI ruled this correction to the register row (Trackers/RULING_R81_S327_PREMISE_REGISTER.md). Statement now (PRM-014/r2, appendix_t_cartan_observation.tex:366-371, quality EXTRACTION_VERBATIM): A normalized reflection-positive state exists at the finite Cartan regulator tier: … The OS Hilbert space and a positive transfer operator exist at finite regulator.. The register row the drafting lane quotes below is the row as it was supplied to the lane, before R81; it is kept in the register's history (R29: nothing is overwritten).

Register kind: CONVENTION. Located suite statement:

A normalized reflection-positive state exists at the finite Cartan regulator tier:

Appendix T · The state and the measure · PDF p.305 · appendix_t_cartan_observation.tex:366.

The registered excerpt and/or kind needs the scope clarification below; the registry itself is not edited.

What kind of premise this is

CONVENTION is the register kind. Here finite regulator is a domain/scope condition on the state and measure constructions, not a measured cutoff value or a proof of a continuum limit. The suite specifies a heat-kernel times Haar product and separately a nonlinear simplicity measure. Their existence at that tier leaves Einstein universality as a named further object. Source status words: at finite regulator (appendix_t_cartan_observation.tex:365).

Where the suite invokes it

Located invocations in the read excerpts, not an exhaustive full-source-tree census. Pages refer to saved Rev32.7 page-delimited text, not PDF-image authentication.

Arguments that rest on it

LIB2-170 — ADD. The state, OS Hilbert space and positive transfer operator are stated only at finite Cartan regulator. The record carries that regulated existence theorem, not a continuum-limit statement. Step locator: appendix_t_cartan_observation.tex:366 (CONDITIONAL).

LIB2-192 — ADD. The measure existence statement is explicitly at finite regulator with the named fixed-norm/coercive construction. The record is that scoped measure theorem. Step locator: appendix_t_cartan_observation.tex:517 (CONDITIONAL).

What breaks without it

LIB2-170 and LIB2-192: the source supplies the existence statements only at finite regulator (appendix_t_cartan_observation.tex:366–372,517–521). NOT ASSESSED — it does not establish what happens after removing the regulator, taking a limit, or exchanging the relevant limits. No continuum failure or success is inferred.

The remaining Einstein-universality object is explicitly stated at lines 519–521; finite positivity must not be advertised as closing that separate question.

Registrar sync

Registrar state after R76, R78 and R82 (S327j, master 0e1418ad6501767d). Declared today: LIB2-170, LIB2-192. Declared at S327i from A1634 after the house read each passage (R76): LIB2-170, LIB2-192. The lane's lines below describe the master as it was supplied to the lane (d0aa26db154ff43f), before these changes.

Declared today in the supplied material, Registrar master d0aa26db154ff43f: none (UNKNOWN, not INDEPENDENT). Draft dispositions — ADD: LIB2-170, LIB2-192. Both supplied candidate predicates are scoped regulated existence arguments, not merely uses of the phrase finite regulator. They merit explicit proposed edges. Other regulator mentions without a carrying argument are not new edges.

Tier and what this does not show

A premise is not a result, and invocation count is not importance. An ADD remains a proposal until house verification under R76; a DISPUTE goes to the PI. No record or premise is upgraded, downgraded, or edited. Unlocated dependencies remain unknown.

Sources

TeX: appendix_t_cartan_observation.tex:31; appendix_t_cartan_observation.tex:365; appendix_t_cartan_observation.tex:366; appendix_t_cartan_observation.tex:366–372; appendix_t_cartan_observation.tex:371; appendix_t_cartan_observation.tex:517; appendix_t_cartan_observation.tex:520; appendix_y_laboratory_notebook.tex:304; appendix_y_laboratory_notebook.tex:677; p0_framework_foundations.tex:294. Registrar: LIB2-170, LIB2-192. Premise: PRM-014. Suite-cited kernels: s920, s922.