Repository navigation
equivalence: BNK1CCS create-customer scenarios written, refused by name on L1 (Part of #5089) - #6000
Conversation
…me on L1 (Part of #5089) cbsa-bnk1ccs-create holds the two ENTERs that reach CRECUST's CEEDAYS call; the oracle refuses them (picture tail past the item), so they stay out of the stated cases. Co-Authored-By: Claude Sonnet 5.5 <noreply@anthropic.com>
|
No description provided. |
|
No description provided. |
|
PR #6000 @ dd51d8f: 1 failed check(s) == ground-truth part 1/4 (failure) -- real |
… rows, not a hand seed (Part of #5089) Co-Authored-By: Claude Sonnet 5.5 <noreply@anthropic.com>
|
CI shepherd: the head of this PR (60073e8) is not the one a maintainer labelled |
|
No description provided. |
|
No description provided. |
Part of #5089. Checklist: partial [c:41454c3a] -- the create-customer scenarios are written and refused by name until the owner rules the L1 slack (2 bytes after CRECUST's DATE-OF-BIRTH-FORMAT-TEXT); then move them into cbsa-bnk1ccs and cbsa-bnk1ccs-generated and prove.
#5064 only partly lifted CEEDAYS: a date of birth from 1601 on still reaches the length-10-over-8 picture, which the oracle refuses (exit 98). New case
cbsa-bnk1ccs-createholdscreate-customerandborn-in-the-futureso the stated cases keep running. Verified:equivalence.py run cbsa-bnk1ccs-create->Unsupported: scenario create-customer: CEEDAYS: picture not modelled: a non-blank tail after 'YYYYMMDD'. No proof loosened; the notes forbid--record.Class table: BNK1CCS create-customer (this PR, stated, refused L1); cbsa-crecust create-customer / born-in-the-future (already stated, L1); cbsa-crecust-generated (L1). X18 stays ASSUMED.
Gates: pr_gates --fast 7/7, --ratchets 9/9 pass; new + x18 + crecust tests pass.
🤖 Generated with Claude Code