FA-96772 / Phone number formatting / Member archive

Pattern-driven phone input mask: the literal buffer is never cleared · case 02

Every digit is preceded by all literals seen so far: "(5(55(555) ...".

Member previewVariant 2 · 3 implementations · 9 checks per implementation

Case contract

Input [digits, pattern]. Each X consumes the next digit; "\" makes the next pattern character a literal; other characters are literals. Literals are buffered and written only in front of the next digit, so a partial input never ends in a literal; when the whole pattern was consumed the trailing literals are written too. More digits than X slots returns None.

Why this case matters

Input masks drive what users see while typing; stray punctuation, lost literals or silently dropped digits produce numbers that differ from what was typed.

One recorded failure

Sample boundary fixture

This sample comes from the broken implementation of a controlled reproducer.

Boundary fixture	Actual	Expected	Outcome
complete ten digits	`"(6(5(5() 0() 1() 2() -3() -4() -5() -6() -"`	`"(655) 012-3456"`	Failed

MEMBER ARCHIVE

The complete case is available to members.

This record includes three runnable implementations, regression fixtures, execution results, and source hashes.

Member access is invitation-based. Sign in with your invited account to inspect the sources.