Audit libuv integration for memory bugs
phase-h-libuv-auditworkflowsetup L3★0
Microck/bun-rust-port-claude-artifacts ↗What it does
Verify async I/O handle lifecycle correctness
Best for
Verifying uv_* handle lifecycle rules and double-free detection without integration tests.
Inputs
- · codebase state (file list, error counts)
- · error log or diff for fixing
- · git worktree path
Outputs
- · bug report with evidence and fixes
- · git commit hash
Requires
- · cargo
- · grep,find
- · zig compiler
Preconditions
- · git repo at ${WT}
- · .zig spec file must exist at same path
- · agent orchestrator running
- · git worktree initialized
Failure modes
- · agent returns null on syntax error
Trust signals
- · enforced hard rules prevent git reset/checkout
- · 2-voter consensus gate required
- · spec-grounded verification