codeplain 0.3.3__py3-none-any.whl → 0.3.4__py3-none-any.whl

_version.py

@@ -1 +1 @@
-__version__ = "0.3.3"
+__version__ = "0.3.4"

change_detection.py

@@ -0,0 +1,190 @@
+from __future__ import annotations
+
+from dataclasses import dataclass
+from typing import TYPE_CHECKING, Literal
+
+if TYPE_CHECKING:
+    from plain_modules import PlainModule
+
+MODULE_FUNCTIONALITIES_KEY = "functionalities"
+NON_FUNCTIONAL_SOURCE_HASH_KEY = "non_functional_source_hash"
+
+
+@dataclass
+class FunctionalityChange:
+    module: str
+    frid: str
+    change_type: Literal["added", "removed", "edited", "moved"]
+    detail: str | None = None
+
+
+@dataclass
+class PartialRenderStart:
+    module: "PlainModule"
+    frid: str
+
+
+def determine_partial_render_start(plain_module: "PlainModule") -> PartialRenderStart | None:
+    """Determine where to start partial rendering based on spec changes.
+
+    Returns None (only full render is safe) if non-FR sections changed
+    (e.g. definitions, implementation reqs) since previously-rendered FRs
+    were generated without that context, if no changes are found, or if
+    all changes are trailing removals that don't require rendering.
+    """
+    all_modules = plain_module.all_required_modules + [plain_module]
+
+    for module in all_modules:
+        if _non_functional_content_changed(module):
+            return None
+
+        changes = _detect_module_changes(module)
+        if not changes:
+            continue
+
+        current_fr_count = len(module._get_module_functional_requirements())
+        earliest_frid = _get_earliest_affected_frid(changes, current_fr_count)
+        if earliest_frid is None:
+            continue
+        return PartialRenderStart(module=module, frid=earliest_frid)
+
+    return None
+
+
+def _non_functional_content_changed(module: "PlainModule") -> bool:
+    """Check whether anything outside functional specs changed since last render.
+
+    A missing stored hash (older builds) is treated as changed — partial rendering
+    is unsafe without a known baseline.
+    """
+    metadata = module.load_module_metadata()
+    if not metadata:
+        return False
+    stored_hash = metadata.get(NON_FUNCTIONAL_SOURCE_HASH_KEY)
+    if stored_hash is None:
+        return True
+    return stored_hash != module.get_module_non_functional_source_hash()
+
+
+def _get_earliest_affected_frid(changes: list[FunctionalityChange], current_fr_count: int) -> str | None:
+    """Earliest FRID (in current spec numbering) that must be re-rendered.
+
+    Returns the minimum position across all changes:
+    - added / edited: the FRID itself.
+    - removed: the position the removal opened up (now occupied by the next FR).
+    - moved: the FR's old position.
+
+    Correctness does not rely on any single change type's position being individually
+    "the" earliest (in particular, a move's old position is *not* always its earliest
+    touched position once moves mix with adds/removes). The guarantee is structural:
+    the first index at which the new spec diverges from the old is always emitted as
+    some change anchored at that index — a move with that old position, or an
+    edit/removal/addition there — so the minimum over all change FRIDs lands at or
+    before the true first divergence. Rendering runs from this FRID to the end of the
+    module, so an at-or-before start point is always safe (it can re-render unchanged
+    trailing FRs, but never skips a changed one).
+
+    Returns None when every change is a removal beyond the current spec length
+    (only trailing FRs were removed, so nothing needs rendering).
+    """
+    earliest = None
+    for change in changes:
+        frid_int = int(change.frid)
+        if change.change_type == "removed" and frid_int > current_fr_count:
+            continue
+        if earliest is None or frid_int < earliest:
+            earliest = frid_int
+    if earliest is None:
+        return None
+    return str(earliest)
+
+
+def _detect_module_changes(module: "PlainModule") -> list[FunctionalityChange]:
+    metadata = module.load_module_metadata()
+    old_frs: list[str] = metadata.get(MODULE_FUNCTIONALITIES_KEY, []) if metadata else []
+    new_frs: list[str] = module._get_module_functional_requirements()
+
+    if old_frs == new_frs:
+        return []
+
+    moves, edits, removed, added = _classify_changes(old_frs, new_frs)
+
+    changes: list[FunctionalityChange] = []
+    name = module.module_name
+
+    for old_idx, new_idx in moves:
+        old_frid = _frid_from_index(old_idx)
+        new_frid = _frid_from_index(new_idx)
+        changes.append(FunctionalityChange(module=name, frid=old_frid, change_type="moved", detail=new_frid))
+
+    for idx in edits:
+        changes.append(FunctionalityChange(module=name, frid=_frid_from_index(idx), change_type="edited"))
+
+    for idx in removed:
+        changes.append(FunctionalityChange(module=name, frid=_frid_from_index(idx), change_type="removed"))
+
+    for idx in added:
+        changes.append(FunctionalityChange(module=name, frid=_frid_from_index(idx), change_type="added"))
+
+    return changes
+
+
+def _classify_changes(
+    old_frs: list[str], new_frs: list[str]
+) -> tuple[list[tuple[int, int]], list[int], list[int], list[int]]:
+    matched_old: set[int] = set()
+    matched_new: set[int] = set()
+
+    for i in range(min(len(old_frs), len(new_frs))):
+        if old_frs[i] == new_frs[i]:
+            matched_old.add(i)
+            matched_new.add(i)
+
+    content_matches: list[tuple[int, int]] = []
+    for old_idx in range(len(old_frs)):
+        if old_idx in matched_old:
+            continue
+        for new_idx in range(len(new_frs)):
+            if new_idx in matched_new:
+                continue
+            if old_frs[old_idx] == new_frs[new_idx]:
+                content_matches.append((old_idx, new_idx))
+                matched_old.add(old_idx)
+                matched_new.add(new_idx)
+                break
+
+    moves: list[tuple[int, int]] = []
+    if content_matches and _has_relative_order_change(content_matches):
+        moves = content_matches
+
+    edits: list[int] = []
+    for i in range(min(len(old_frs), len(new_frs))):
+        if i not in matched_old and i not in matched_new:
+            edits.append(i)
+            matched_old.add(i)
+            matched_new.add(i)
+
+    removed = [i for i in range(len(old_frs)) if i not in matched_old]
+    added = [i for i in range(len(new_frs)) if i not in matched_new]
+
+    return moves, edits, removed, added
+
+
+def _has_relative_order_change(matches: list[tuple[int, int]]) -> bool:
+    """Check if content matches represent a true reorder (relative order changed).
+
+    If all matches preserve relative order (sorted by old_idx gives same ordering
+    as sorted by new_idx), it's just a positional shift from insertions/removals.
+    """
+    if len(matches) <= 1:
+        return False
+    sorted_by_old = sorted(matches, key=lambda m: m[0])
+    new_indices = [m[1] for m in sorted_by_old]
+    for i in range(len(new_indices) - 1):
+        if new_indices[i] > new_indices[i + 1]:
+            return True
+    return False
+
+
+def _frid_from_index(index: int) -> str:
+    return str(index + 1)

{codeplain-0.3.3.dist-info → codeplain-0.3.4.dist-info}/METADATA

@@ -1,6 +1,6 @@
 Metadata-Version: 2.4
 Name: codeplain
-Version: 0.3.3
+Version: 0.3.4
 Summary: Transform plain language specifications into working code
 License-File: LICENSE
 Classifier: Environment :: Console

{codeplain-0.3.3.dist-info → codeplain-0.3.4.dist-info}/RECORD

@@ -1,4 +1,5 @@
-_version.py,sha256=8KcCYTXH99C2-gCLuPILJvtT9YftRWJsartIx6TQ2ZY,22
+_version.py,sha256=oYLGMpySamd16KLiaBTfRyrAS7_oyp-TOEHmzmeumwg,22
+change_detection.py,sha256=CazORZrezeZSw2I6VBvieN-c2SEjieZPo6pNrKwmMVA,6915
 codeplain_REST_api.py,sha256=h_XoNws8fvf7OTtoVXhHh6OfLGg77UNFuggMBwaqBwE,21533
 concept_utils.py,sha256=D4qVHFBRvfJZwiIq1AD_SV0Ev-RnOMg2yGWo6Cal7PM,7913
 diff_utils.py,sha256=AjiQlqo5pRos_8hVXZo5yBurl5BzSrTMGrQv4dCtRCg,1198
@@ -7,7 +8,7 @@ file_utils.py,sha256=grPx2Rl6-q2ijSRoaAOZcsrpOjTqb4i_mtF-jzwhKcQ,10953
 git_utils.py,sha256=LQQnL5DAFpH5fDBQgUZX2WfjWY4YC5OEGBPIXryTmnY,16896
 memory_management.py,sha256=nHNudgaOqp5UGkIMi62TRCc2nUeFOM0w-I1FfxBFaQE,6120
 module_renderer.py,sha256=pXMXKKGMhUwLLlSxppE_hpZlwpJ3WSHSfR9FQxt6rSI,6860
-partial_rendering.py,sha256=prWEJo9m1TbF7SKzpNInbcefyTF0o3oXE7Qf1l4SmBs,8409
+partial_rendering.py,sha256=0ChOaGytogBUEGISpbWkbjT9Hqy8pnOkJdJXcitJDgk,12219
 plain2code.py,sha256=Yi6W9R3HNedbaeIgfFffQnfauwTXmJTi8ZRD0LdmfvA,14042
 plain2code_arguments.py,sha256=J05NwaY-O04rIWVF2yIXysNB_ofZS0wJFn0u1WaCCSA,15399
 plain2code_console.py,sha256=YdE-Kz9qRAzIIAg7aYA1bnXRcwy_aTpbFtkR2zHbd-I,4918
@@ -19,8 +20,8 @@ plain2code_read_config.py,sha256=D5CxnmTRjddupecWvstcUm0kIJWWzq5-Zmk6sU0wbIg,223
 plain2code_state.py,sha256=gIHOmJe9Ml_Xifi6uV5VBMK3zXRpaRoqQNoMhjD1dvQ,2187
 plain2code_telemetry.py,sha256=ZtBgdpWmPZQ_SnC0O9A2XSG30kRJ9kWitQPN4mmT2S8,4245
 plain2code_utils.py,sha256=HYDJ4lTC3RwBgcJadPvcoU3-Y6krNiuDP4_t2xYKA2Q,874
-plain_file.py,sha256=vJKCkIA12o7LHAGugIsTbzcpoQrTQX2uqlXEC_EqfPo,29470
-plain_modules.py,sha256=NXUtxW8fEpJAuEIeVE_iwRBCbHFh2ji-p9xdkgojLqU,14423
+plain_file.py,sha256=VUfMCskTJZnHrFYgBlK8DXbJGnk7peuC6YY22zRNAek,29968
+plain_modules.py,sha256=uvRPfxBJwstaWi5lgYKgtQdhhf0Naiy2mS41tLw_TjY,16186
 plain_spec.py,sha256=E2Yp2eXMExE7kx7GPQ7v9boHN8XhFUcqprn1DGMaFMs,15669
 system_config.py,sha256=trgytfXKXoCn0Pgy9u00x2D0ZRHlh_tADlbkwZnF8QE,1038
 cli_output/__init__.py,sha256=MBKl0YbVpWE-tBa3V5_aVbB7vbaqlIK2NsHTjRUZqis,284
@@ -47,7 +48,7 @@ render_machine/actions/commit_conformance_tests_changes.py,sha256=08yxCPCpf5Tlrz
 render_machine/actions/commit_implementation_code_changes.py,sha256=yi51oAArLCgWcmFbynes-BK2IGnZwA7wygrTJGoL8dY,826
 render_machine/actions/create_dist.py,sha256=xMPPyws7swVkaUSQg3dwMGScCi1BuII9y2C_XSP0N80,1067
 render_machine/actions/exit_with_error.py,sha256=-LkQsFhmV-Nr741APTx38dqu473b6OSiIvKayFFsXxI,1270
-render_machine/actions/finish_functional_requirement.py,sha256=tj9CzuxuHcbR-2-jMLcAM0gOAcbWpMLg9HIiyngI6gU,739
+render_machine/actions/finish_functional_requirement.py,sha256=usQgPSg6PHpBOR1RhK7lPz9zjY-2VJJDqi3T0nlqdLw,841
 render_machine/actions/fix_conformance_test.py,sha256=ePfxz9Xm0IXht0ch7H4tLPdRzoKnVdlbcDC9EgeDAAQ,8786
 render_machine/actions/fix_unit_tests.py,sha256=hvwvCJDk_-8fHMpkNFyeBSG1IshIcufDpymF00ulPXY,2301
 render_machine/actions/prepare_repositories.py,sha256=eE-uU6H_K5IQMraVWSRi4TKk_XPrnA878T_JwtI9cWo,3410
@@ -65,12 +66,13 @@ standard_template_library/typescript-react-app-boilerplate.plain,sha256=6LFxhEOz
 standard_template_library/typescript-react-app-template.plain,sha256=DN5wEJcT8ZqQTf0vFKi9Z1isi9cin2UVNOZb3r28d3M,715
 tests/__init__.py,sha256=Wk73Io62J15BtlLVIzxmASDWaaJkQLevS4BLK5LDAQg,16
 tests/conftest.py,sha256=QZcp08htUlJGgmHDlRWFgsWXZ8o8IBWTD5QqJaUMlU8,790
+tests/test_change_detection.py,sha256=jH8SEhndX400DNqIKmcYLzxHqq9WFdgmuvY3XPq-ZFc,13534
 tests/test_cli_output.py,sha256=owDP9pLHdErtPAr1paNKp1o044kuH-HxInHLIBLZQFI,18420
 tests/test_file_utils.py,sha256=-O5zImiFVz9JJ4xi8TbsUwNgPFQoQUOl9Frls4BHCBI,1358
 tests/test_git_utils.py,sha256=h3rWhhs4XVRYqzVzdmj51siF_AYD-GkbZiefK2iGfWo,15614
 tests/test_imports.py,sha256=EWYLUxGunUUdsG9iCiY_tts6T7DIVdhdB_MZlB1LsmU,2081
-tests/test_partial_rendering.py,sha256=4xXZhy9yStn0awSw8B-yrJ3kVYyzJrlR-dKwg9ODXMY,11188
-tests/test_plain_modules.py,sha256=9bWsketDnjpCWkCbMZzYvLqT1ojPhLyxxKljPUq42oY,11393
+tests/test_partial_rendering.py,sha256=r0RUUd1pI4-2ZkRrM1j8_kUqv-70hrOGjuKBhZoRmH0,22758
+tests/test_plain_modules.py,sha256=S7sd4ZYNotXOgCyZzmBd714QFLih69nlZ3tV8WNtVPo,13766
 tests/test_plainfile.py,sha256=wZ_PN4GULPWIpl_AK_r_6jkgtX0Ch8EHmN5IhX7huOE,11027
 tests/test_plainfileparser.py,sha256=7AassxH7AKX4lfW6E_58FYxRe-IzIiA16BMVWPjWqCM,18750
 tests/test_plainspec.py,sha256=JrzjJ4VFYDmWTZDq-8WFyt2oMx76IEuO1CAUPQeGOsw,2404
@@ -84,13 +86,13 @@ tui/__init__.py,sha256=_fy7FowY0RkWdn4kC7XV2jgvQPCj-2gE8fNUb-Mny0A,60
 tui/components.py,sha256=DoMDhwNVVpv--OY6o8YQYPzOQPG9Dyh9kgMOqUYtNiE,25412
 tui/models.py,sha256=KMjlWubmPD41GA-BjgiqkaV9v7tLJ0fuWKBDPmZj4JA,1493
 tui/plain2code_tui.py,sha256=t-0DonjrK6_x6jPUMYW0w6tvjZZlk89E-DEor7GzjG4,13785
-tui/plain_module_render_choice_tui.py,sha256=MLc-Ps3O2DMBKRCPJAxUY059SdDIYq2ha7-sWxuguj0,9611
+tui/plain_module_render_choice_tui.py,sha256=DRl_xhUbUJsyOaCYt_uNDSLUAA3Ty9NYI9zFrVDwp9Y,11270
 tui/spinner.py,sha256=Ro6Gd9Przf-whuHqPRY6HwI0T57yJjyNPbhDbigZKZE,2471
 tui/state_handlers.py,sha256=4r_6m5YMcprQtgiTP0De3XFfGAF8VzgaWXHxPweYPbQ,16325
 tui/styles.css,sha256=c13WY1nOgmtkT_FH9Ad2PjXrfi8LYwr6zzD6rBOh9tU,6685
 tui/widget_helpers.py,sha256=mWDPrALsxLOzJg8KD9MXXafJKRiqG-EIp797jbOT77o,5972
-codeplain-0.3.3.dist-info/METADATA,sha256=v2z452H-9kkFwQDigqMjkWeO-w7L9yf0IWEEam-W_Qg,5381
-codeplain-0.3.3.dist-info/WHEEL,sha256=mffPy8wBnZQn2VnJUU5jE99KsxaSfiyMHV9Yt0aLVxs,87
-codeplain-0.3.3.dist-info/entry_points.txt,sha256=oDZkBqu9WhtZApb_K6ia8-fn9aojwmAsgnKELceX5T4,46
-codeplain-0.3.3.dist-info/licenses/LICENSE,sha256=pCeKgQ1mXE5OmNUuKOfOZh1T1vqkeCUxghE7N8qgnzc,11345
-codeplain-0.3.3.dist-info/RECORD,,
+codeplain-0.3.4.dist-info/METADATA,sha256=FxZHLPsuVS6_3QE8vziDqspvfX4f1JfIvQGQIjBZE5U,5381
+codeplain-0.3.4.dist-info/WHEEL,sha256=mffPy8wBnZQn2VnJUU5jE99KsxaSfiyMHV9Yt0aLVxs,87
+codeplain-0.3.4.dist-info/entry_points.txt,sha256=oDZkBqu9WhtZApb_K6ia8-fn9aojwmAsgnKELceX5T4,46
+codeplain-0.3.4.dist-info/licenses/LICENSE,sha256=pCeKgQ1mXE5OmNUuKOfOZh1T1vqkeCUxghE7N8qgnzc,11345
+codeplain-0.3.4.dist-info/RECORD,,

partial_rendering.py

@@ -2,6 +2,7 @@ from dataclasses import dataclass
 from typing import Literal
 
 import plain_spec
+from change_detection import PartialRenderStart, determine_partial_render_start
 from plain2code_exceptions import ModuleDoesNotExistError
 from plain_modules import PlainModule
 
@@ -143,86 +144,154 @@ def get_all_affected_modules_from_change(
     return list(all_affected_modules.values())
 
 
-def get_render_choices(
+def change_is_only_future_work(
     plain_module: PlainModule,
     plain_module_render_state: PlainModuleRenderState,
-    force_render: bool = False,
-) -> dict[str, RenderChoice]:
-    choices = dict[str, RenderChoice]()
-    choice_idx = 1
-    module_start_points = list[str]()
+    partial_start: "PartialRenderStart | None",
+) -> bool:
+    """Return True when a spec change only adds work *after* the last-rendered functionality.
+
+    Appending a new functionality past the render frontier (e.g. a new functionality at the
+    end of the last module) does not affect anything already rendered, so it needs no user
+    decision. The normal "continue" path renders the outstanding functionalities, starting
+    from the first one that was never rendered.
+    """
+    if partial_start is None:
+        return False
+
+    all_modules = plain_module.all_required_modules + [plain_module]
+    order = {module.module_name: index for index, module in enumerate(all_modules)}
+    last_index = order[plain_module_render_state.last_render_module.module_name]
+    start_index = order[partial_start.module.module_name]
+
+    if start_index != last_index:
+        return start_index > last_index
 
-    if plain_module_render_state.last_render_module.is_initial_module():
-        choices[str(choice_idx)] = RenderChoice(
-            module=plain_module_render_state.last_render_module,
+    if plain_module_render_state.last_render_frid is None:
+        return True
+
+    return int(partial_start.frid) > int(plain_module_render_state.last_render_frid)
+
+
+def _resume_render_choice(
+    plain_module: PlainModule,
+    plain_module_render_state: PlainModuleRenderState,
+    force_render: bool,
+) -> RenderChoice:
+    """The natural next step from the last-rendered position when no decision is needed:
+    start an unrendered module, continue a partially-rendered one, or advance to the next.
+    """
+    pr = plain_module_render_state
+
+    if pr.last_render_module.has_no_rendered_functionality():
+        return RenderChoice(
+            module=pr.last_render_module,
             render_range=None,
             choice_type="module_start",
             wipe_later_modules=True,
             is_destructive=False,
         )
-        choice_idx += 1
 
-    elif not plain_module_render_state.last_render_module.is_module_fully_rendered():
-        if not plain_module_render_state.last_render_frid:
+    if not pr.last_render_module.is_module_fully_rendered():
+        if not pr.last_render_frid:
             raise ValueError("Last render FRID is not set for a non-initial module")
 
-        next_frid, next_module = plain_module.get_next_frid(
-            plain_module_render_state.last_render_frid, plain_module_render_state.last_render_module.module_name
-        )
+        next_frid, next_module = plain_module.get_next_frid(pr.last_render_frid, pr.last_render_module.module_name)
         render_range = plain_spec.get_render_range_from(next_frid, next_module.plain_source)
-
-        choices[str(choice_idx)] = RenderChoice(
+        return RenderChoice(
             module=next_module,
-            render_range=render_range if not force_render else None,
+            render_range=None if force_render else render_range,
             wipe_later_modules=force_render,
             choice_type="continue_from_frid",
         )
-        choice_idx += 1
 
-    else:
-        next_module = plain_module.get_next_module(plain_module_render_state.last_render_module.module_name)
-        if next_module is None:
-            next_module = plain_module_render_state.last_render_module
+    next_module = plain_module.get_next_module(pr.last_render_module.module_name) or pr.last_render_module
+    return RenderChoice(
+        module=next_module,
+        render_range=None,
+        choice_type="module_start",
+        is_destructive=pr.last_render_module.module_name == plain_module.module_name,
+    )
 
-        choices[str(choice_idx)] = RenderChoice(
-            module=next_module,
-            render_range=None,
-            is_destructive=plain_module_render_state.last_render_module.module_name == plain_module.module_name,
-            choice_type="module_start",
-        )
-        module_start_points.append(next_module.module_name)
-        choice_idx += 1
 
-    if plain_module_render_state.change:
+def get_render_choices(
+    plain_module: PlainModule,
+    plain_module_render_state: PlainModuleRenderState,
+    force_render: bool = False,
+) -> dict[str, RenderChoice]:
+    render_choices = list[RenderChoice]()
+    module_start_points = list[str]()
+
+    # Decide whether the detected change actually requires a decision. A spec change that only
+    # adds work *after* the last-rendered functionality (e.g. a new functionality appended to
+    # the end of the last module) does not affect anything already rendered, so it is treated
+    # like a normal "continue" rather than a change that requires choosing where to restart.
+    partial_start = None
+    treat_as_continue = plain_module_render_state.change is None
+    if plain_module_render_state.change is not None and plain_module_render_state.change_type == "spec_change":
+        partial_start = determine_partial_render_start(plain_module)
+        if change_is_only_future_work(plain_module, plain_module_render_state, partial_start):
+            treat_as_continue = True
+
+    if treat_as_continue:
+        # Continue / resume from the last-rendered position. The change-driven blocks below decide
+        # the start otherwise — once a change touches already-rendered work, resuming from the old
+        # position would build on stale code.
+        render_choices.append(_resume_render_choice(plain_module, plain_module_render_state, force_render))
+
+    else:
+        # change is set here (otherwise treat_as_continue would be True), so change_type is always
+        # "spec_change" or "code_change" and get_all_affected_modules_from_change is well-defined.
         all_affected_modules = get_all_affected_modules_from_change(plain_module, plain_module_render_state)
 
+        if plain_module_render_state.change_type == "spec_change" and partial_start is not None:
+            # Optimized partial render: render from the changed functionality, keeping the
+            # module's earlier (unchanged) functionalities.
+            render_range = plain_spec.get_render_range_from(partial_start.frid, partial_start.module.plain_source)
+            render_choices.append(
+                RenderChoice(
+                    module=partial_start.module,
+                    render_range=render_range,
+                    choice_type="render_from_change",
+                    wipe_later_modules=len(all_affected_modules) > 1,
+                    is_destructive=True,
+                )
+            )
+
+        # Full re-render of the affected module(s) from scratch. For a code change this is always
+        # the action; for a spec change with no partial start (non-FR sections changed, or only
+        # trailing FR removals) it is the only safe option, and when a partial start does exist it
+        # is offered alongside it as the "rebuild this module cleanly" alternative. The "re-render
+        # from first module" choice below remains the full-chain reset.
         if len(all_affected_modules) > 0 and all_affected_modules[0].module_name not in module_start_points:
-            choices[str(choice_idx)] = RenderChoice(
-                module=all_affected_modules[0],
-                render_range=None,
-                choice_type="rerender_affected",
-                wipe_later_modules=True,
-                is_destructive=True,
+            render_choices.append(
+                RenderChoice(
+                    module=all_affected_modules[0],
+                    render_range=None,
+                    choice_type="rerender_affected",
+                    wipe_later_modules=True,
+                    is_destructive=True,
+                )
             )
             module_start_points.append(all_affected_modules[0].module_name)
-            choice_idx += 1
-
-    if len(plain_module.all_required_modules) > 0:
-        first_module = plain_module.all_required_modules[0]
-        if first_module.module_name != plain_module_render_state.last_render_module.module_name and (
-            plain_module_render_state.change is not None
-            and first_module.module_name != plain_module_render_state.change.module_name
-            and first_module.module_name not in module_start_points
-        ):
-            choices[str(choice_idx)] = RenderChoice(
-                module=first_module,
-                render_range=None,
-                choice_type="rerender_from_first",
-                wipe_later_modules=True,
-                is_destructive=True,
-            )
-            module_start_points.append(first_module.module_name)
-            choice_idx += 1
 
-    choices[str(choice_idx)] = RenderChoice(module=None, render_range=None, choice_type="quit")
-    return choices
+        if len(plain_module.all_required_modules) > 0:
+            first_module = plain_module.all_required_modules[0]
+            if first_module.module_name != plain_module_render_state.last_render_module.module_name and (
+                plain_module_render_state.change is not None
+                and first_module.module_name != plain_module_render_state.change.module_name
+                and first_module.module_name not in module_start_points
+            ):
+                render_choices.append(
+                    RenderChoice(
+                        module=first_module,
+                        render_range=None,
+                        choice_type="rerender_from_first",
+                        wipe_later_modules=True,
+                        is_destructive=True,
+                    )
+                )
+                module_start_points.append(first_module.module_name)
+
+    render_choices.append(RenderChoice(module=None, render_range=None, choice_type="quit"))
+    return {str(idx): choice for idx, choice in enumerate(render_choices, start=1)}

plain_file.py

@@ -100,6 +100,14 @@ def check_section_for_linked_resources(section):
         if len(link.node.children) != 1:
             raise PlainSyntaxError(f"Plain syntax error: Link must have text specified (link: {link.node.target}).")
 
+        linked_resource_file_extension = os.path.splitext(os.path.basename(link.node.target))[1]
+        if linked_resource_file_extension == ".plain":
+            raise PlainSyntaxError(
+                f"Referenced resource '{link.node.target}' is a .plain file. "
+                f"Referencing .plain files through Linked Resources is not supported. "
+                "Please use the import section to include definitions or implementation/test requirements from another module."
+            )
+
         linked_resources.append({"text": link.node.children[0].content, "target": link.node.target})
 
     if linked_resources:

plain_modules.py

@@ -25,6 +25,13 @@ MODULE_FUNCTIONALITIES = "functionalities"
 REQUIRED_MODULES_FUNCTIONALITIES = "required_modules_functionalities"
 
 
+def _strip_functional_requirements(plain_source_tree: dict) -> dict:
+    stripped = {k: v for k, v in plain_source_tree.items() if k != plain_spec.FUNCTIONAL_REQUIREMENTS}
+    if "sections" in stripped:
+        stripped["sections"] = [_strip_functional_requirements(section) for section in stripped["sections"]]
+    return stripped
+
+
 class PlainModule:
     def __init__(self, filename: str, build_folder: str, conformance_tests_folder: str, template_dirs: list[str]):
         self.filename = filename
@@ -108,9 +115,33 @@ class PlainModule:
         with open(metadata_path, "r", encoding="utf-8") as f:
             return json.load(f)
 
+    def update_frid_in_module_metadata(self, frid: str) -> None:
+        # Store the raw FR markdown (with any {{ code_variable }} placeholders intact), exactly
+        # as save_module_metadata and the change-detection diff read it. Storing the rendered
+        # text (code variables already substituted) would make the diff report a spurious edit
+        # for every code-variable FR after a partial/interrupted render.
+        metadata = self.load_module_metadata() or {}
+        functionalities = metadata.get(MODULE_FUNCTIONALITIES, [])
+        frid_index = int(frid) - 1
+        frid_text = self._get_module_functional_requirements()[frid_index]
+        if frid_index < len(functionalities):
+            functionalities[frid_index] = frid_text
+        else:
+            functionalities.append(frid_text)
+        metadata[MODULE_FUNCTIONALITIES] = functionalities
+
+        codeplain_folder = self.get_codeplain_folder()
+        os.makedirs(codeplain_folder, exist_ok=True)
+        with open(self.module_metadata_path(), "w", encoding="utf-8") as f:
+            json.dump(metadata, f, indent=4)
+
     def get_module_source_hash(self) -> str:
         return plain_spec.get_hash_value([self.plain_source] + self.resources_list)
 
+    def get_module_non_functional_source_hash(self) -> str:
+        stripped = _strip_functional_requirements(self.plain_source)
+        return plain_spec.get_hash_value([stripped] + self.resources_list)
+
     def get_module_code_hash(self) -> str:
         return ImplementationCodeHelpers.calculate_build_folder_hash(self.module_build_folder)
 
@@ -162,7 +193,10 @@ class PlainModule:
         return os.path.join(self.get_codeplain_folder(), MODULE_METADATA_FILENAME)
 
     def get_hashes(self) -> dict[str, str]:
-        hashes = {"source_hash": self.get_module_source_hash()}
+        hashes = {
+            "source_hash": self.get_module_source_hash(),
+            "non_functional_source_hash": self.get_module_non_functional_source_hash(),
+        }
         if len(self.required_modules) > 0:
             hashes["required_modules_code_hash"] = self.required_modules[-1].get_module_code_hash()
         return hashes
@@ -324,7 +358,7 @@ class PlainModule:
 
         return False
 
-    def is_initial_module(self) -> bool:
+    def has_no_rendered_functionality(self) -> bool:
         last_rendered_module_name, last_rendered_frid = git_utils.get_last_rendered_functionality(
             self.module_build_folder
         )

render_machine/actions/finish_functional_requirement.py

@@ -8,6 +8,8 @@ class FinishFunctionalRequirement(CommitImplementationCodeChanges):
     SUCCESSFUL_OUTCOME = "functional_requirement_finished"
 
     def execute(self, render_context: RenderContext, previous_action_payload: Any | None):
+        render_context.plain_module.update_frid_in_module_metadata(render_context.frid_context.frid)
+
         super().execute(render_context, previous_action_payload)
 
         render_context.codeplain_api.finish_functional_requirement(