Condense the Block to Its Invariant, and Let the Tests Carry the History

Seven lines of incident history above four lines of code buried the rule
they were explaining, and history is the part that drifts. Three lines now:
the invariant, what follows from it, and where the cases live.
The rationale is not lost. Each case in TestScanRootDecidesTheRuleSet
carries the reason it exists, which is where a reader who wants the history
should be sent, and where it cannot go stale without a test failing.
Co-Authored-By: Claude Opus 5 (1M context) <noreply@anthropic.com>

Author: ptr727

scripts/prose_lint.py

@@ -1106,13 +1106,9 @@ def main(argv: list[str] | None = None) -> int:
 
 rules=set(a.checksorDEFAULT_RULES)
 
-# The rule set is decided by the repository being scanned, never by the directory the caller stands in.
-# Reading it from `.` discarded home-path on a release repository whenever the caller happened to stand in an operational one.
-# That silenced the rule that exists because real paths reached a public comment, announcing it on stderr and exiting 0.
-# A run spanning two repositories refuses instead of picking one, since the two can declare different models and one rule set cannot be right for both.
-# Only a repository declares a workflow model, so only distinct repositories are ambiguous.
-# Two loose paths under no repository are not a conflict.
-# Refusing on them would break the ordinary multi-file invocation outside a checkout, where every argument resolves somewhere different.
+# The invariant: the rule set is decided by what is scanned, and no path here reads the working directory to decide it.
+# Only a repository declares a model, so two of them refuse and anything else resolves to one anchor.
+# TestScanRootDecidesTheRuleSet carries the cases and the reason each one exists.
 scan_paths=a.pathsor ['.']
 git_roots= {foundforfoundin (repo_root(Path(p)) forpinscan_paths) iffound}
 iflen(git_roots) >1:
@@ -1121,10 +1117,7 @@ def main(argv: list[str] | None = None) -> int:
 'single rule set is correct for all of them. Run the gate once per repository.',
 file=sys.stderr)
 return2
-# With one repository in play, the model is that repository's own.
-# With none, a file anchors on its own parent rather than on `.`, which is where the caller stands.
-# Anchoring a loose file on `.` reintroduces this defect in miniature, exempting a file the caller's repository does not contain.
-# A bare filename still anchors on `.`, correctly, since that is the directory holding it.
+# A file anchors on its own parent rather than on `.`, which is where the caller stands.
 ifgit_roots:
 scan_root=Path(next(iter(git_roots)))
 else: