Manuscript XVI-A@1 · XVI-A.tex · section · 8177be5d

Obligation ledger

Obligation ledger · lines 874–933

The ledger records the present state of specification and proof. “Not specified” is a defect to be supplied, not a completed discharge criterion.

{}1.15

No.	Schematic slot	Required result	Conditions retained	Status
4	$R_{1} (V_{1}; O_{1})$	Exact kernel, operation recipe, wavefront bounds, and support proof	Fixed $ε$ ; full prepared source	Unresolved
5	$R_{1} (V_{2}; F_{f})$	Bounds and support proof for the complete second slot	Fixed $ε$ ; gauge companion retained	Unresolved
6	$\frac{1}{2} R_{2} (V_{1}, V_{1}; F_{f})$	Bounds for repeated operations and any diagonal extension	Fixed $ε$ ; Einstein-shell term retained	Unresolved

No.	Exact object and maps	Slot-specific discharge criterion
4	Not specified in the supplied material	Not specified in the supplied material
5	Not specified in the supplied material	Not specified in the supplied material
6	Not specified in the supplied material	Not specified in the supplied material

The generic criteria in Section sec:interface do not fill these cells. An actual kernel and recipe are needed before one can determine which criteria apply.