Boundaries of power

OverviewBoundariesCorpus formsPitfalls

What power does NOT do in 0.2

• Does not act without exercise: an ACTIVE position alone gives no effect (step 2 of the two-step scheme).
• Does not defeat immunity without priority: an undefeated pair is conservative effect materialization, an effect without support.
• The effect is invisible to status-sensitive and defeasible readers of the same round (a known open remainder).
• terminate/modify effects follow the same scheme as create; bare P equals create(P).

Scope

A power models a role’s behaviour under a norm (a constitutive act); fit wherever there is a competence holder, including protocols and regulations; unfit for laws of nature and theorems.

Known corrections applied

The judgment channel in valid_when, invisibility of the effect, _ in formula fields, conjunction parentheses, removed forms.

Reserved

A power has no second effect (one effect per norm); recurring is not accepted by the parser.

Neighbour selection rule

• Competence with a constitutive effect → power.
• Permission with no effect → liberty.
• An automatic consequence of a fact → rule strict with an institutional head (no exercise — no power).
• Protection against someone else’s effect → immunity, not a flag and not unless.
• Required behaviour → duty, not “a duty to exercise a power”.