soft3/radio/audit/2026-10-13-audit-cargo-packaging/code-input/inputs/087.txt

{"status":"pass","original_capsules":[["2026-10-09-kadek-slice-traversal",13],["2026-10-12-bao-proof-research",90],["2026-10-12-bao-bounded-proof",620]],"original_prepare_calls":2,"deliberate_failures":2,"audit_tree_unchanged":true,"default_cli_cases":3}