test: make pathology mutations behavior-sensitive - #3963
Conversation
|
No actionable comments were generated in the recent review. 🎉 ℹ️ Recent review info⚙️ Run configurationConfiguration used: Path: .coderabbit.yaml Review profile: ASSERTIVE Plan: Pro Plus Run ID: 📒 Files selected for processing (2)
📝 WalkthroughWalkthroughThe Claude vintage pathology mutation now updates a membership decision instead of deleting a raw session. Archive verification tests now use structural manifest assertions and direct deletion for the missing-revision scenario. ChangesClaude vintage pathology
Estimated code review effort: 2 (Simple) | ~15 minutes Mergeability Score: ⚪ Minimal · up to This test-only PR updates pathology mutation behavior and derives archive checks from the production manifest; focused tests and quick verification pass, so no actionable merge-blocking risk remains after normal checks and review. Possibly related PRs
🚥 Pre-merge checks | ✅ 5✅ Passed checks (5 passed)
✨ Finishing Touches📝 Generate docstrings
🧪 Generate unit tests (beta)
Thanks for using CodeRabbit! It's free for OSS, and your support helps us grow. If you like it, consider giving us a shout-out. Comment |
|
@codex review |
There was a problem hiding this comment.
💡 Codex Review
Here are some automated review suggestions for this pull request.
Reviewed commit: 9a7366f1d6
ℹ️ About Codex in GitHub
Your team has set up Codex to review pull requests in this repo. Reviews are triggered when you
- Open a pull request for review
- Mark a draft as ready
- Comment "@codex review".
If Codex has suggestions, it will comment; otherwise it will react with 👍.
Codex can also answer questions or update the PR. Try commenting "@codex address that feedback".
|
Codex Review: Didn't find any major issues. What shall we delve into next? Reviewed commit: ℹ️ About Codex in GitHubYour team has set up Codex to review pull requests in this repo. Reviews are triggered when you
If Codex has suggestions, it will comment; otherwise it will react with 👍. Codex can also answer questions or update the PR. Try commenting "@codex address that feedback". |
Summary
Problem
The generic Claude vintage mutation deleted a raw row, which could fail for reasons outside the membership authority the invariant is intended to protect. Archive verification also copied every pathology member ID into a second hard-coded registry, creating a maintenance-only test that drifted whenever the production manifest grew.
Solution
tests/infra/pathology_zoo.pynow changes the registered verdict fromsuperseded_equivalenttosuperseded_prefix, so the red twin directly exercises the semantic membership decision. The missing-member mutation separately deletes the scoped raw row, proving deletion detection through a distinct path.tests/unit/maintenance/test_archive_verification.pynow verifies the production manifest is non-empty, unique, fully linked to motivating Beads, and contains both self-describing and opaque append members without duplicating the complete registry.This satisfies the implementation and test scope of
polylogue-kmt1c. It does not claim a live cohort receipt or production archive mutation.Verification
devtools test --json tests/unit/infra/test_pathology_zoo.py tests/unit/infra/test_claude_vintage_live_proof.py tests/unit/maintenance/test_archive_verification.py::test_pathology_zoo_contract_is_production_owned_and_registered tests/unit/maintenance/test_archive_verification.py::test_pathology_zoo_invariants_red_twin tests/unit/maintenance/test_archive_verification.py::test_pathology_zoo_claude_vintage_registered_invariant_rejects_each_semantic_driftdevtools verify --quick --json58378a76b3d86e033159d8b8ab597475c8c2bfd2.