Jump to text
On this page
Copy and source
Published source confirmed at last check

Source changed 2026-10-14 19:58:00 UTC · snapshot created 2026-10-14 19:58:38 UTC · last check 2026-10-15 02:50:18 UTC

F.0.2.RC:10 - Architectural Rationale

A.3.1.CC begins with a potentially contradicted claim and locates its owner. This pattern can start earlier: a promised source contribution is missing, and the language may not yet expose the claim or relation that should own it. Reconstruction finds that loss and supplies the repair question.

Combining falsification with affected refresh keeps the original promise and its change history connected. A.3.1.MV still decides whether reusable Method semantics changed; a missing description condition is not automatically a new Method variant.