v0.3.0-alpha.1 — Phase 3: Audit Bridge

Phase 3: Audit Bridge

The audit bridge completes the three-layer architecture: Intent specs → Agent IR → Audit tooling that maps between them so humans can verify agent work at the spec level.

New Features

Trace Maps (intent audit <file>)

• Tree-view mapping from spec items (entities, actions, invariants, edge cases) to their IR constructs
• Source line numbers for every spec item and sub-item
• Related verification obligations shown inline

Coverage Analysis (intent coverage <file>)

• Counts spec items by category: entities, fields, actions, params, preconditions, postconditions, properties, invariants, edge guards
• Verification status (clean or error count)
• Obligation summary

Diff Reporting (intent diff <old> <new>)

• Structured spec-level diffs showing [+] added, [-] removed, [~] modified items
• Sub-item detail within modified entries (field type changes, new conditions, etc.)
• Coverage deltas, verification status changes, obligation changes

Stats

• 90 tests (26 checker + 14 parser + 50 IR)
• 15 PRs merged
• All 5 crates published to crates.io

CLI Commands

intent check <file>       # Parse and validate
intent render <file>      # Render to Markdown
intent render-html <file> # Render to HTML
intent compile <file>     # Compile to IR (JSON)
intent verify <file>      # Structural verification
intent audit <file>       # Trace map
intent coverage <file>    # Coverage summary
intent diff <old> <new>   # Spec-level diff