Cone interface and hypothesis-ledger syntax

The closure in (eq:generation) is the finite-dimensional vector-space closure. A continuum construction supplying that vector space requires its own compatibility theorem. An open chronological relation instead uses $\mathrm{int}{K}_D$; it is not substituted for the closed order in (eq:faithfulness).