The default evaluation schedule for the post's statement.
queued · open · DECISIONS.md line 151
- The default evaluation schedule for the post's statement. The kernel is parametric in the schedule (
CorrigibilityKernel.VJover anyWeighting;BRIACorrigibility.lexical_any_timing). Recommended: the single evaluation (the point mass) as the post's default, the theorems stated for any weighting, the free-delay witness against a known time noted, and the evaluation-timing entry above left reserved. Turns on: the entry above — her evaluation load against the variance and the hidden draw — and whether the post shows a schedule at all before that is ruled.
Touches
Nothing named.
Nodes pointing at it
None.