agent-ix/quire-spec-language · plan/Plan-001-rust-fixture-audits
Contents of the bounded Rust verification remediation plan.
## Contents - [Plan-001](plan.md) — scope, dependencies, tests and gates. - [Task-001](tasks/Task-001-rust-fixture-audits.md) — implement real Rust audits. - [Task-002](tasks/Task-002-rust-fixture-audits.md) — verify and adopt in CI. - [Log](log.md) — actual lifecycle changes.