# SW-T02: Rule and state change

Adrian Sutherland · Version 1.0 · Refreshed September 2026

© 2005–2026 Adrian Sutherland.
Source page: https://architectureportal.org/assets/software-logic

Fictional cancellation service. Proposed design; checks are unrun.

## Meaning and owner

SW-R1 is proposed to preserve continuous ownership R1 and the accepted transfer described by OP-D1. The service owner accepts its meaning.

## Facts and conditions

For a new acceptance: pending H7, authenticated intended receiver, acceptance authority, current C42 version 12 and required handover information. This example includes the chosen-alternative agreement reference and next action.

## Result and effects

Rule returns plan or rejection reason. Plan names old/new assignment and expected version. It performs no external effects. Transaction store conditionally commits assignment, history, offer, X7 result and pending notification; the case’s resolution state remains unchanged.

## Repeats and conflicts

Authorised identical X7 returns retained receipt within retention; changed inputs reject. New stale operations conflict. At most one new plan can advance 12 to 13. Expired receipt requires reconciliation.

## Examples and revisions

SW-V1 includes valid offer, missing reference, wrong receiver, concurrent callers, partial-write failure and restart. Unrun. Operation retention and retry periods remain open; no arbitrary defaults.