Which kernel definitions move to the specification layer in phase 2.
queued · open · DECISIONS.md line 136
- Which kernel definitions move to the specification layer in phase 2. Recommended:
Jwith its licensed acts (AuthorityModule.AuthAlloc,Licensed),E ⊨ Jwith the control surface (EffRealizes,CS,Short), the fidelity predicate and count over the frame's violations (CorrigibilityKernel.Faithful,NJ), the two legitimacy predicates in a general form onGateIsLegitimacy.Segment(to be written; the landedTrajLegitOn,EvalLegitOn2are on the consultation model), andV_J,S_J(CorrigibilityKernel.VJ,SJoverAfterCompromise.decScore). The transform, the taint calculus, the auction, the permission layer and the consultation model stay in contribution namespaces as the realization layer. Turns on: what is worth proving in phase 2 — whether the general split gate and a composite count over one model are built before promotion, or the count is promoted as the sum over four models the round reports it to be.
Touches
Nothing named.
Nodes pointing at it
None.