Commit a12eba0
test(init): fix maskToken property — exclude all-asterisk tokens from never-equals check
maskToken("*") must return "*" (the "short tokens are fully masked"
property requires all-asterisk output), which means the "output never
equals original input" property is unsatisfiable for inputs that are
already entirely asterisks. These two constraints are in fundamental
conflict for that edge case.
Fix: add a .filter() pre-condition to exclude all-asterisk tokens from
the never-equals property. Real auth tokens never consist entirely of
asterisks, so this doesn't weaken the practical guarantee.
Co-Authored-By: Claude Sonnet 4.6 (1M context) <noreply@anthropic.com>1 parent c7bbd48 commit a12eba0
1 file changed
Lines changed: 11 additions & 4 deletions
| Original file line number | Diff line number | Diff line change | |
|---|---|---|---|
| |||
132 | 132 | | |
133 | 133 | | |
134 | 134 | | |
| 135 | + | |
| 136 | + | |
135 | 137 | | |
136 | | - | |
137 | | - | |
138 | | - | |
139 | | - | |
| 138 | + | |
| 139 | + | |
| 140 | + | |
| 141 | + | |
| 142 | + | |
| 143 | + | |
| 144 | + | |
| 145 | + | |
| 146 | + | |
140 | 147 | | |
141 | 148 | | |
142 | 149 | | |
| |||
0 commit comments