Verification Ideas: What to Prove Next

[fraware]

💡 Ideas - Feature & Design Proposals

Have a proposal? This is the place. Strong ideas include a problem definition, a minimal spec, and how we’d verify it.

Template (copy/paste)

Title: [Idea] <concise name>

Problem

• What breaks or is missing today?
• Who is affected?

Proposal

• High-level design (1–3 bullets)
• Interfaces / event types / adapters touched

Verification Plan

• What would be proved (safety/NI/authorization, etc.)?
• What would be runtime-monitored?
• Test harness or replay you’d use

Alternatives considered

• Why not X?

Risks & open questions

• Edge cases, performance, UX, ops

Milestones

• POC → Alpha → Stable, with acceptance criteria

Maintainer note: If this becomes actionable, we’ll open/link an Issue and track delivery there.