PRM-010 · Boundary datum

Premise

Register corrected — R81 (D9, S327j). The PI ruled this correction to the register row (Trackers/RULING_R81_S327_PREMISE_REGISTER.md). Kind now LOADED_CORRESPONDENCE (was MEASURED_INPUT). 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: MEASURED_INPUT. Located suite statement:

The datum the action is conditional on is single: $[j]\;\Longleftrightarrow\; L_\partial\;\Longleftrightarrow\;E^{*}=\operatorname{span}\{i_Bj,\;\Omega i_Bj\}$ --- three faces of \emph{one} ten-continuous boundary object, priced once.

Appendix E · The boundary datum: one ten-dimensional object, three exact faces · PDF p.168 · appendix_e_vacuum_selector.tex:308.

What kind of premise this is

MEASURED_INPUT is the register kind, retained as printed. The suite instead calls this object Input (loaded), with physical selection open/loaded. The supplied passage gives no measured numerical value or measurement procedure. Its three faces represent one boundary choice; it conditions the finite selector and contributes the ten-continuous part of the price. The separately grammar-derived dark ray must not be charged as this boundary datum. Source status words: \textsc{Input} (loaded) (appendix_x_zero_parameter_input_ledger.tex:1492).

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-021 — ADD. The source explicitly identifies this datum as what the action is conditional on. The record’s finite/internal global-minimum statement is the loaded-profile selector result, not an intrinsic choice of this boundary. Step locator: appendix_e_vacuum_selector.tex:308 (CONDITIONAL).

LIB2-022 — ADD. The incremental-price record counts this single ten-continuous object once through its three faces. The counting step uses the declared boundary identification, not three independent inputs. Step locator: appendix_e_vacuum_selector.tex:310 (LOAD_BEARING).

NO RECORD — parallel carrier-plan row 1, appendix_f_gauge_boundary.tex:623–627. This additional boundary-consuming step has no separately identified carrier in the supplied candidates.

What breaks without it

LIB2-021: the action is explicitly conditional on this datum (appendix_e_vacuum_selector.tex:308). NOT ASSESSED — the source does not supply a boundary-free version of the quoted minimum theorem.

LIB2-022: counting the equivalent faces separately would double-count the loaded object (appendix_x_zero_parameter_input_ledger.tex:1491). The boundary price cannot be discharged within the stated grammar; only a genuinely external category could move it (lines 1492–1494).

Parallel row 1 explicitly consumes the boundary datum (appendix_f_gauge_boundary.tex:625–626). NOT ASSESSED — no boundary-free replacement of that row is supplied.

Registrar sync

Registrar state after R76, R78 and R82 (S327j, master 0e1418ad6501767d). Declared today: LIB2-021. Declared at S327i from A1634 after the house read each passage (R76): LIB2-021. Proposed ADDs not declared: LIB2-022 — declined under R78-a — the record prices the boundary datum; it is about the premise, and its result does not assume it. 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-021, LIB2-022. LIB2-021 and LIB2-022 are relevant candidates, despite the current empty direct-edge list. The nearby zero-cost dark-ray statement is a contrasting result, not proof that the loaded boundary has been selected.

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_e_vacuum_selector.tex:308; appendix_e_vacuum_selector.tex:310; appendix_f_gauge_boundary.tex:623–627; appendix_f_gauge_boundary.tex:625; appendix_f_gauge_boundary.tex:625–626; appendix_n_selector_fences.tex:221; appendix_x_zero_parameter_input_ledger.tex:1184; appendix_x_zero_parameter_input_ledger.tex:1491; appendix_x_zero_parameter_input_ledger.tex:1492; appendix_x_zero_parameter_input_ledger.tex:1493; appendix_x_zero_parameter_input_ledger.tex:1499; appendix_x_zero_parameter_input_ledger.tex:1500; appendix_y_laboratory_notebook.tex:483. Registrar: LIB2-021, LIB2-022. Premise: PRM-010.