Repository navigation
Conversation
Since round 23, _unknown_prior_joint_shortfall drops an uncredited onset quarter from its clock when a prior can end in that quarter, which needs an onset after the quarter's first month. With its August 1975 onset, test_unknown_prior_history_keeps_its_row_on_the_whole_period lost 1975Q3 that way. Its clock then held 41 quarters with 20 QCs in the last 40, so the test no longer told the Act's half of the whole period from the regulation's 20 of the last 40. A July onset keeps 1975Q3 on the clock, and the regulation's cap now fails the test. The mutation report's round 25 list holds that run, so a later list can carry proof_keeps_last_40 forward. Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>
|
The latest updates on your projects. Learn more about Vercel for GitHub.
|
This branch was successfully deployed
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
Add this suggestion to a batch that can be applied as a single commit.This suggestion is invalid because no changes were made to the code.Suggestions cannot be applied while the pull request is closed.Suggestions cannot be applied while viewing a subset of changes.Only one suggestion per line can be applied in a batch.Add this suggestion to a batch that can be applied as a single commit.Applying suggestions on deleted lines is not supported.You must change the existing code in this line in order to create a valid suggestion.Outdated suggestions cannot be applied.This suggestion has been applied or marked resolved.Suggestions cannot be applied from pending reviews.Suggestions cannot be applied on multi-line comments.Suggestions cannot be applied while the pull request is queued to merge.Suggestion cannot be applied right now. Please check back later.
This moves
test_unknown_prior_history_keeps_its_row_on_the_whole_periodfrom an August 1975 onset to a July 1975 onset, so the test fails again if_unknown_prior_joint_shortfallswaps the Act's half of the whole period for the regulation's 20 of the last 40 quarters.insured_status.pyand the tier counts don't change.docs/design/track_b_insured_status.mdgains a section on the change, and the mutation report gains a round 25 list that holds the run.Why the onset moves
Since round 23 of #562 (8522452), the proof drops an uncredited onset quarter from its clock when a prior period can end in that quarter, which needs an onset after the quarter's first month. With an August onset, the clock at 1975Q3 holds 41 quarters and 20 of the worker's 21 QCs sit in the last 40, so the proof's 40-quarter test keeps the row on either reading. With a July onset, the clock keeps 1975Q3 and holds 42 quarters: the 21 QCs meet half of them, and only 19 sit in the last 40.
Round 17 ran this flip as
proof_keeps_last_40, and this test caught it. Round 23's mutation list didn't carry that mutation, so no run showed the loss.Verification
All runs use invented records under the audit hook, with both data roots set to a nonexistent path and no restricted open.
special_recent, the rule raisesInvalidFamilyInputon the July record, and the test fails onassert 0 == 1. With the August onset the same cap passes, and with thesharedclause also removed the August onset fails again._witness, leave this test passing, so this test pins the proof's marker alone.-l 79and ruff pass on the test module, and the test modules that read the note pass.Invariant
The rule raises
InvalidFamilyInputonly where every reading of the long period would (round 17). This test executes that invariant for the proof.TheAxiomFoundation/rulespec-us#2054 pins this test to
us:oasdi-insured-subsequent-special-long-periodonce this merges.axiom: n/a: this changes one test's record and no rule.
🤖 Generated with Claude Code