Skip to content

Decide the exception policy for a MUST rule #2128

Open

Description

@braboj

Part of #2124.

The rule language defines what MUST means, then allows exceptions three different ways. An agent meeting a MUST it cannot meet does not know whether to stop, write a rationale, or ask. Output: one exception policy.

Where What it says
core/docs.md:15 MUST: "Absolute requirement; no exception without stated rationale"
core/docs.md:16 MUST NOT: "Absolute prohibition", with no exception clause
core/review.md:146-147 a deviation from a MUST needs a designated approver's sign-off before it lands

The three disagree on whether a MUST is absolute, waived by a rationale, or waived by an approver. MUST and MUST NOT disagree with each other too.

Done when

  • One exception policy is decided: who may waive a MUST, and what the waiver records
  • core/docs.md, "Rule language", and core/review.md, "Deviations", state it the same way

Activity

  1. added
    P2Medium — important but not blocking
    spikeResearch or exploration
    on Oct 22, 2026
  2. changed the title [-]Decide how an agent ranks a plain imperative against a tagged MUST[/-] [+]Decide the exception policy for a MUST rule[/+] on Oct 22, 2026
  3. added this to the v3.0 — Restructure milestone on Oct 23, 2026
  4. braboj commented on Oct 23, 2026

    @braboj
    CollaboratorAuthor

    Decided: a MUST or MUST NOT deviation lands only with a designated approver's sign-off and its reason recorded in the PR. An agent never waives one itself; it stops and asks.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Metadata

Metadata

Assignees

No one assigned

    Labels

    P2Medium — important but not blockingspikeResearch or exploration

    Type

    No type

    Projects

    No projects

      Relationships

      None yet

      Development

      No branches or pull requests

      Issue actions