Constant LOCAL_LEDGER_PATH 

pub const LOCAL_LEDGER_PATH: &str = ".ai/local/evidence/ledger.json";

Where the untracked, per-checkout ledger lives: under .ai/local/, which a repository ignores, so a recording made there changes no tracked file and moves no verdict.