Model specification: Completion obligations F1–F6

An operational instantiation must discharge:

1. Non-vacuous additional package. Name an actual finite hypothesis list, exhibit its admissible witness, and prove the genuine additional-content comparison. Complete the relevant countermodel dictionary and exclusion audit. Base-class nonemptiness is insufficient.

2. Single-valued extraction and invariance. Construct the actual rule and prove faithfulness, generation, properness, spanning, and matched covariance. Respect Proposition prop:symmetry. A feasibility set, a choice justified only by the desired geometry, or a hidden numerical ordering of identifiers is not this construction.

3. Honest selecting hypotheses. Derive homogeneity and strict convexity from operational premises, or explicitly retain them as assumptions on the constructed cone. Classification does not derive them.

4. Compatible approximation. Construct valid transport access, the nonempty target family, finite protocols, source/receiver correspondence, residual outputs, and endpoint and arrival estimates. Respect finite futures and the event-aware topology. The corollary proves estimates for supplied protocols, not their existence.

5. Actual resource and evidence functions. Supply the numerical or symbolic resource functions and their proofs under a fixed execution model. Separate payload execution, classical extraction cost, estimation shots, and residual interfaces. Finite validation covers only its tested tasks unless a further coverage theorem is provided.

6. Layer separation. Keep cone extraction, operational approximation, geometric embedding, calibration, metric extension, stress-energy, and dynamics as distinct claims. No observation boundary, catalogue record, or prescribed inverse is identified with an extracted physical light cone.

No complete operational package satisfying F1–F6 is supplied here.