Skip to content

tests/test_m1vm_vm_admit: vm equal to hostname by exact case; vm's first character - #132

Merged
rappdw merged 1 commit into
m1/c-8a515c10from
adm-d57-tests
Oct 31, 2026
Merged

rappdw merged 1 commit into
m1/c-8a515c10from
adm-d57-tests

Conversation

@rappdw

@rappdw rappdw commented Oct 31, 2026

Copy link
Copy Markdown
Member

Test-only follow-up to #130: two witnesses for rules the suite did not yet pin. Changes tests/test_m1vm_vm_admit.py only (+5 lines); no code change.

Binding

  • Approved head: 4c0f6c5f7d0a028521fafcaeb2cbc1665170e052, tree a86c6f994cefa4dacfdb8b103e8c96624815f080. Dual APPROVE, bound to diff 4c771805: Codex 5c7f7bfe, Opus e2cd8b00.
  • Base: m1/c-8a515c10. This repo squash-merges; the binding is the tree.

What it adds

  • O5: a vm that differs from its hostname only in case, in both receipt and manifest, must FAIL (vm == hostname is exact).
  • O2: the role manifest's vm may not start with . or -.
  • A case-insensitive comparison, or a grammar admitting those first characters, now fails the suite; against the parent's tests both mutants survived.

Notes

  • m1vm/vm_admit.py, the bake-checked set and SEALSPEC are unchanged.
  • After this merges, the m1/c head is the deploy PIN commit; this PR's CI is the PIN-commit CI witness.
  • Merge: squash, only on the operator's typed go, after CI is green per job.

🤖 Generated with Claude Code

…rst character (Opus d5.7 O5, O2)

A vm differing from its hostname only in case, in both receipt and
manifest, must FAIL, and parse_role refuses a vm that starts with a dot
or a dash. Each case is a witness for a rule the suite did not yet pin.

Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>
@rappdw rappdw closed this Oct 31, 2026
@rappdw rappdw reopened this Oct 31, 2026
@rappdw rappdw closed this Oct 31, 2026
@rappdw rappdw reopened this Oct 31, 2026
@rappdw
rappdw marked this pull request as ready for review October 31, 2026 15:35
@rappdw
rappdw merged commit 8110930 into m1/c-8a515c10 Oct 31, 2026
9 checks passed
@rappdw
rappdw deleted the adm-d57-tests branch October 31, 2026 15:50
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.

1 participant