From 29df024a7f2a4cfe1750cecf85b1a4aca089f839 Mon Sep 17 00:00:00 2001 From: "sorokin.oleg.edu" Date: Sun, 6 Sep 2026 05:34:35 +0300 Subject: [PATCH] Clarify applicable semantic review replay guarantees --- docs/language.html | 8 ++++++-- docs/language.rst | 8 ++++++-- 2 files changed, 12 insertions(+), 4 deletions(-) diff --git a/docs/language.html b/docs/language.html index 474902be..8aeb2e69 100644 --- a/docs/language.html +++ b/docs/language.html @@ -1902,8 +1902,12 @@ bounded derived impact walk follows reusable definitions and interface allocatio not arbitrary architectural neighborhoods, and does not copy them into every referrer's baseline. Its limits are 4096 objects per side and 32768 edges; exhaustion is a diagnostic. Successful review remains one undoable transaction. Replanning -already acknowledged unchanged values is a no-op; an old plan becomes stale after -an actual committed change.

+unchanged, already acknowledged leaf facts is a no-op only while their requests +remain applicable. A completed constructor switch MUST be removed from subsequent +requests; repeating it when no switch remains is rejected. After an artifact moves +to another owner, metadata review through the old owner's trace is no longer +applicable and is rejected. An old plan becomes stale after an actual committed +change.

5.5. Source examples and historical token rules

diff --git a/docs/language.rst b/docs/language.rst index ed5dbca1..a8a933f3 100644 --- a/docs/language.rst +++ b/docs/language.rst @@ -1239,8 +1239,12 @@ bounded derived impact walk follows reusable definitions and interface allocatio not arbitrary architectural neighborhoods, and does not copy them into every referrer's baseline. Its limits are 4096 objects per side and 32768 edges; exhaustion is a diagnostic. Successful review remains one undoable transaction. Replanning -already acknowledged unchanged values is a no-op; an old plan becomes stale after -an actual committed change. +unchanged, already acknowledged leaf facts is a no-op only while their requests +remain applicable. A completed constructor switch MUST be removed from subsequent +requests; repeating it when no switch remains is rejected. After an artifact moves +to another owner, metadata review through the old owner's trace is no longer +applicable and is rejected. An old plan becomes stale after an actual committed +change. 5.5. Source examples and historical token rules ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~