soft3/zheng/audit/disclosed-noun-memory/final-check.log

ฯ€ 0.01% 25 words ยท 1 min 
    Blocking waiting for file lock on build directory
    Checking zheng v0.4.0 (/Users/master/cyber/.worktrees/selfhost-0.4-finalization-20261002/proof/zheng/rs)
    Checking zheng-cli v0.2.0 (/Users/master/cyber/.worktrees/selfhost-0.4-finalization-20261002/proof/zheng/cli)
    Finished `release` profile [optimized] target(s) in 6.27s

Graph