PRM-009 · Basepoint / tensor equivalence

Premise

Register corrected — R81 (D8, S327j). The PI ruled this correction to the register row (Trackers/RULING_R81_S327_PREMISE_REGISTER.md). Statement now (PRM-009/r1, appendix_t_cartan_observation.tex:922, quality EXTRACTION_VERBATIM): Tensor equivalence is not intrinsic basepoint selection;. Kind now FENCE (was ADOPTED_PREMISE). 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: ADOPTED_PREMISE. Located suite statement:

Tensor equivalence is not intrinsic basepoint selection;

Appendix T · Reading rule and scope · PDF p.314 · appendix_t_cartan_observation.tex:922.

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

What kind of premise this is

The register labels this ADOPTED_PREMISE, but the located sentence is a scope distinction. It prevents a transported tensor equivalence from being presented as an intrinsic selector. It does not itself supply a basepoint, an observation map, or a new coefficient. The nearby declared amplitude premise is a different item and must not be substituted for this register row. Source status words: Reading rule and scope. (appendix_t_cartan_observation.tex:919).

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

NO RECORD — carrier-arc reading rule, appendix_t_cartan_observation.tex:919–926. No load-bearing hypothesis/result pair is identified for this fence; no ADD is submitted. The missing intrinsic selection should not be converted into an assumed selection.

What breaks without it

NOT ASSESSED — the suite does not formulate a theorem obtained by assuming this negative scope sentence, or compute a failure after deleting it. What the sentence prohibits is a change of interpretation from carrier equivalence to intrinsic selection.

Registrar sync

Registrar state after R76, R78 and R82 (S327j, master 0e1418ad6501767d). Declared today: none (UNKNOWN, not INDEPENDENT). 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 — no ADD, CONFIRM or DISPUTE row; there is no declared edge to adjudicate. Unbound NO RECORD arguments are not graph ADDs. No declared or candidate edges are supplied. Nearby channel, amplitude and spectral-pair statements name other objects; they are not dependency evidence for this fence.

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:919; appendix_t_cartan_observation.tex:919–926; appendix_t_cartan_observation.tex:922. Registrar: no carrying record identified in the supplied material. Premise: PRM-009. Suite-cited kernels: s1148, s1150, s1152, s1153.