Development record
The standing-disposition parity test cannot distinguish the converged reader from a divergent one on the three retires-nothing rows it was added for: when two records stand the expected id is empty, so both the outstanding and held consequences are false and a lint walk that stands only the newest record also reports neither — a mutation to newest-standing-wins passed all six rows. Assert lint's observable against the full standing set: an open hold exactly when the single standing record is a hold, none otherwise. Also, promote reads the standing disposition through a symlinked dispositions root (only the item leaf is Lstat-refused on that path), and lint's read-only walk follows or silently skips symlinks where capture refuses.
The standing-disposition parity test cannot distinguish the converged reader from a divergent one on the three retires-nothing rows it was added for: when two records stand the expected id is empty, so both the outstanding and held consequences are false and a lint walk that stands only the newest record also reports neither — a mutation to newest-standing-wins passed all six rows. Assert lint's observable against the full standing set: an open hold exactly when the single standing record is a hold, none otherwise. Also, promote reads the standing disposition through a symlinked dispositions root (only the item leaf is Lstat-refused on that path), and lint's read-only walk follows or silently skips symlinks where capture refuses.
Frontmatter
| id | iss-2608300326346554 |
|---|---|
| type | issue |
| lifecycle | resolved |
| severity | major |
.abcd/work/issues/resolved/iss-2608300326346554-parity-test-vacuous-on-the-divergence.md
open on GitHub ↗ · commit history ↗