Searching protocol for "proof-artifacts"
Validate work with 6 gates and proof artifacts.
Auditable release proof with walkthroughs.
Turn vague ideas into concrete feature specs.
Automate Wave 2 IPI payloads and evidence collection.
Lockdown Vista Social analytics APIs.
Validate task completion with artifacts.
Turn specs into executable task graphs.
Translate C/C++ to Lean 4 for proofs.
Route MCP calls for proof.
Execute a single task with 11-phase protocol.
Secure Vista Social profiles & groups mapping.