Manuscript Hawk07-A@1 · Hawk07-A.tex · section · f9c0f5da

The four endpoint obligations

Terminal discard, the endpoint, and three separate ledgers › The four endpoint obligations · lines 1857–1891

The following table adapts En07-B's endpoint discipline to the objects actually supplied here CheungEn07B.

{}1.12

Obligation	Status in Hawk07-A
Complete preparation	Supplied: independent $H E$ Bell resource, variable diary, fixed $F$ , and untouched references.
Complete evolution	Supplied in the ideal finite model: one $U$ , named factor regroupings, and any explicitly included terminal dilations.
Outgoing access and access-preserving comparison	Supplied: $R_{k} = P_{k} E$ , excluding $B_{k}$ . The exact finite comparison is identity on those named interfaces. Physical approximations remain conditional on their declared allowances.
Endpoint map	Supplied on the successful devices: the fixed receiver $D_{} Π_{K \to k_{}}$ , with its displayed error.

For the gravitational interpretation, all corresponding microscopic, geometric, collection, and receiver identifications remain unsupplied. The finite table does not discharge those physical obligations.