pub fn classify_command_head(cmd: &str) -> &'static [&'static str]Expand description
Refine the Exec cliff (spec §4 ⟨0.5⟩): the effects a literal, statically-known subprocess
head implies, matched by basename (/usr/bin/curl → curl). The head’s effects are ADDED to a
caller that already carries Exec (a subprocess is still spawned — Exec is never dropped); an
unrecognised or dynamically-built head returns &[] and keeps the bare cliff (never guess). A
candor engine reads Fs/Env only — spec §7 item 12 (the analyzer self-boundary) guarantees
that, so that case is spec-supplied, not curation. The rest is a small curated table under the
same under-report rule as the crate classifier. INVARIANT: every head here is an external tool
that does NOT run the analysed project’s own code (so make/npm/cargo are deliberately
absent — they stay the cliff). The reference engines share this table so the Exec boundary —
the one boundary every engine hits — refines identically (the §4-consistency argument).