Alignment Workspace

the deference grade acquires an activation index

2026-09-08 · settled · DECISIONS.md line 786

Maintainer ruling, taken in conversation and landed by the consolidation round. The principal's grade in the deference kernel is indexed by the authority in force: the one-field change W : A → C → P → Q, with the stated hypothesis that the grade is a function of that authority. The legitimate-deference stack supplies the index concretely — the protected principal's value is the partial evaluation Ṽ_n, defined only on the certified worlds of one anchored occurrence — so the change records what the consumer already uses. delegation_bridge is proved for every W; no registered statement is revised. Rejected alternative: an unindexed grade C → P → Q, which gives the legitimacy premise nowhere to attach.

Touches

Nothing named.

Nodes pointing at it

None.