Markdown for LLMs

Boundaries of power

The source Markdown for this article. Copy it into your assistant or download it as a text file.

# Boundaries of power

## 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".