PRM-016 · Parity pattern is not a spin structure

Premise

Register corrected — R81 (D13, S327j). The PI ruled this correction to the register row (Trackers/RULING_R81_S327_PREMISE_REGISTER.md). 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:

what is exhibited is the \emph{parity pattern} a spin structure would produce, not a spin structure.

Appendix P · The signed trace reproduces the NS/R parity pattern · PDF p.269 · appendix_p_fifth_direction.tex:96.

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 kind is ADOPTED_PREMISE. The suite calls this a fence: it limits the interpretation of a signed-trace calculation. The calculation reproduces NS/R parity patterns and gives the Freudenthal bit a holonomy-sign role; it does not construct a manifold, principal bundle or lifted frame bundle. Withdrawal of the literal spin-structure identification is not withdrawal of the pattern result. Source status words: \emph{Fence (F03, \emph{Rev29})} (appendix_p_fifth_direction.tex:96).

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 — the restrictive spin-structure interpretation itself, appendix_p_fifth_direction.tex:96–100. It is not a proof assumption. LIB2-084 carries the positive parity-pattern theorem; no rests_on_premise edge is proposed from that theorem to this disclaimer.

What breaks without it

NOT ASSESSED — no mathematical theorem is printed as derived from assuming this disclaimer. The precise missing construction is named at appendix_p_fifth_direction.tex:97–100. Deleting the warning would not supply a Spin-bundle map, and this note does not claim a new impossibility theorem.

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. LIB2-084 is ABOUT the same parity result, but its calculation is not stated to depend on the later negative scope sentence. Keep a contextual association, not an inferred dependency.

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_p_fifth_direction.tex:96; appendix_p_fifth_direction.tex:96–100; appendix_p_fifth_direction.tex:97; appendix_p_fifth_direction.tex:97–100; appendix_p_fifth_direction.tex:99. Registrar: LIB2-084. Premise: PRM-016. Suite-cited kernels: s734.