Skip to content

Re-pin the vendored Spec to b197ac1; reserved names apply to used_ids.channels - #208

Merged
guijacquemet merged 2 commits into
mainfrom
claude/spec-pin-b197ac1
Nov 7, 2026
Merged

guijacquemet merged 2 commits into
mainfrom
claude/spec-pin-b197ac1

Conversation

@guijacquemet

Copy link
Copy Markdown
Contributor

What changed

  • Vendored Spec re-pinned to MorphoBricks-Spec b197ac1 (Spec PR 12, owner decision UR1). PIN.toml holds the four new values (commit, fixtures tree, experiment-v1.md blob, refval.py blob); fixtures/ is byte-identical to the Spec's (checked with diff -r).
  • New fixtures i135_used_id_channel_reserved (invalid) and v37_used_ids_reserved_near_misses (valid); experiment-v1.md, fixtures/README.md and refval.py updated.
  • Reader: description_identity._used_ids now applies the reserved list of Spec 3.2 to used_ids.channels entries (E_ID_RESERVED, same check as a declared channel ID). The other three used_ids kinds are unchanged, as in the Spec and refval.
  • tests/test_spec_reader.py: fixture counts 36/134/13 become 37/135/13. No new test_spec_* module, so spec_gate.EXPECTED_MODULES is unchanged.
  • CHANGELOG entry added.

Not touched: run/description_file.py and the records code. The new Spec text about removed and image_count_changed records is outside this change (records file work is PR #207).

Regression

With the new vendored files and the old reader, tests/test_spec_reader.py::test_an_invalid_file_gives_exactly_its_codes_from_its_phase[i135_used_id_channel_reserved] FAILS (the reader accepts the file). The refval cross-check also fails on the old reader for i135, i61, i107, i108 and the v36 one-step mutations. All pass with the fix.

Checks

  • Spec tests (-k spec): 1526 passed (every fixture exact, refval cross-check 0 differences).
  • python tools/check.py: 4169 passed, 4 skipped, 2 warnings. The 4 skips are the existing case-insensitive file system and file-mode skips (test_cli_log, test_discovery, test_folder_rules x2), none of them in a Spec test.

Generated by Claude Code

…ids.channels

Owner decision UR1 (MorphoBricks-Spec PR 12): a reserved name in used_ids.channels
is E_ID_RESERVED. New fixtures i135 (invalid) and v37 (valid); refval updated.

Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>
Claude-Session: https://claude.ai/code/session_01Scma6W3LC11s3qjXHZuGDm
Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>
Claude-Session: https://claude.ai/code/session_01Scma6W3LC11s3qjXHZuGDm

# Conflicts:
#	CHANGELOG.md
@guijacquemet
guijacquemet merged commit 8347acf into main Nov 7, 2026
7 checks passed
@guijacquemet
guijacquemet deleted the claude/spec-pin-b197ac1 branch November 7, 2026 23:36
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.

2 participants