Skip to content

Document the window after the final mask check - #232

Merged
guijacquemet merged 1 commit into
mainfrom
claude/mask-check-window-doc
Nov 8, 2026
Merged

guijacquemet merged 1 commit into
mainfrom
claude/mask-check-window-doc

Conversation

@guijacquemet

Copy link
Copy Markdown
Contributor

Fixes #222

Docs only. Per the owner decision of 8 November 2026 (document, do not snapshot), docs/contract.md (§9.4, "Source changes during a run", where the final mask check before the commit is described) now states that:

  • source masks are checked as late as practicable (right before the manifest's os.replace, in before_commit) and ordinary concurrent edits are detected;
  • the source files are not locked, so a change in the instant between that final check and the manifest replace is not detected;
  • the manifest binds the masks' bytes as they were at that final check.

A CHANGELOG line is added under Unreleased. No code changes.

python tools/check.py on the branch (extras .[dev,notebook,zarr]): 4694 passed, 4 skipped (case-insensitive file system and file-mode permission skips), code rules clean.


Generated by Claude Code

Source masks are checked as late as practicable and ordinary concurrent
edits are detected, but the files are not locked, so a change between the
final check and the manifest replace is not detected; the manifest binds the
bytes as they were at that check (owner decision of 8 November 2026).

Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>
Claude-Session: https://claude.ai/code/session_01Scma6W3LC11s3qjXHZuGDm
@guijacquemet
guijacquemet merged commit e3ed4d0 into main Nov 8, 2026
7 checks passed
@guijacquemet
guijacquemet deleted the claude/mask-check-window-doc branch November 8, 2026 11:25
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

Final mask check before publish leaves a narrow window before the manifest replace

2 participants