This is the record of an abcd-managed repository

abcdBetav0.16.2 · 2026-11-06

Development record

The guard allows rm -rf /$HOME and rm -rf /${HOME}, which delete the home: the arg_values compare cleans a run of separators inside a path (//*, $HOME//) but not one written before a home spelling, so /$HOME names none of the values. Found in the fix-guardSet sibling sweep; outside the four review findings.

issueresolvedmajoriss-2609300057462186

The guard allows rm -rf /$HOME and rm -rf /${HOME}, which delete the home: the arg_values compare cleans a run of separators inside a path (//*, $HOME//) but not one written before a home spelling, so /$HOME names none of the values. Found in the fix-guardSet sibling sweep; outside the four review findings.

Grounds

  • pursued: rm -rf /$HOME and //${HOME}/ block while /$HOME/build and /$HOMEDIR stay allowed; another prefix that names the home and still allows would show it wrong

Frontmatter

idiss-2609300057462186
typeissue
lifecycleresolved
severitymajor