Non-transfer ledger

The following ledger records ownership without transferring theorems between namespaces. The action column has only the three operations specified in the proposed plan: transcribe, define from stated roles, and leave open. The status of a result of “define from stated roles” is determined separately; it can be a patch convention or a parameterized formula rather than a recovered source object.

{@{}P{.22} P{.15} P{.25} P{.29}@{}} and permitted patch actions.
Object & Owner & XV-F record & Patch action
Object & Owner & XV-F record & Patch action
$W$ and $N$ & XIV-G; copied local geometry & Dimensions named; characteristic incidence incompletely recorded in the manifest & Transcribe the common space and the selected locus with their copied scope.
Smooth metric residual test $G$ & XIV-G & Residual testing discussed; output fiber absent & Transcribe its actual domain and tensor type.
$E_{\mathrm{res}}$ & XV-F codomain slot & Unidentified & Define from stated roles a parameterized species-bundle notation; leave open its identification with the actual output fiber.
Collision sets ${\Delta }_I$ & XIII-C & Transcribed in graph variables & Transcribe their definition and choose local relative coordinates without asserting a lift to $W$.
$D_{\Gamma },w_{\Gamma },S_{\Gamma /I}$ & XIII-C roles & Roles, not actual coefficient formulas & Define from stated roles the parameterized contact syntax; leave open the frozen graphwise parameters.
${\mathfrak{C}}_{\mathrm{part}}$ & XIII-C & Class of contact values & Transcribe; do not identify it with a space of maps on presentations.
$T_0$ and the vertex & XIII-C & Stress displayed; polarization ambiguous & Transcribe; define from stated roles the unique symmetric polarization used in this patch.
Adapted charts and ${{\mathfrak{A}}_{\mathrm{R}}}^m(V)$ & XIV-I & Chart and rule transcribed; generators and coefficient class paraphrased & Transcribe all three parts of the local definition.
Local reconstruction relations & XIV-I rule; XIV-J null identity & One relation known; chart-function action incompletely recorded & Transcribe the null identity and unpack the coefficientwise module action.
Complete ${\mathcal{P}}_{\mathrm{int}}$, ${\mathcal{K}}_{\mathrm{int}}$, and $\ker \mathsf{Rec}$ & XIV-J common presentation interface & Incomplete enumeration and kernel & Leave open the complete six-entry specification; do not substitute one local amplitude module.
$R$, $R\ast R$, and kernel support & XIV-I copied normalization & Displays available; a cross-sheet support identification requested & Transcribe the displays and their internal kernel identification; do not transfer to an external namespace.
$K_8$ and $K_9$ & Copied in XIV-I and XIV-J & Displays available; coefficient ingredients incomplete & {Transcribe