feat: Phase 6 rowan migration + #93 #98 #99 #104 Phase 1#123

Merged

avrabe merged 35 commits intomainfrom

feat/phase6-rowan-migration-complete

Apr 6, 2026

Commits on Apr 5, 2026

feat: Phase 6 — delete stpa.rs, fix parser bugs, complete rowan migration

avrabe
and
claude
committed
fix: UCA extraction with nested STPA structure + dogfood test passing

avrabe
and
claude
committed
test: add 83 YAML test suite cases from official suite + edge cases

avrabe
and
claude
committed
chore: clean up diagnostic tree dump from parse_actual_hazards_file test

avrabe
and
claude
committed
feat(schema): add manifest metadata fields and schema info command (#93 Phase 1)

avrabe
and
claude
committed
feat(dashboard): add EU AI Act compliance view (#99)

avrabe
and
claude
committed
feat: add AI provenance metadata to artifacts (#104 Phase 1)

avrabe
and
claude
committed
feat: migrate MCP server to official rmcp crate (#98)

avrabe
and
claude
committed
fix: peek_colon_after_scalar line boundary + duplicate ID detection

avrabe
and
claude
committed
fix: LSP crash on missing config, stale render state, diagnostic UX

avrabe
and
claude
committed
fix(yaml_hir): unescape double-quoted scalars and add block scalar UTF-8 safety

avrabe
and
claude
committed
fix: MCP server caches project at startup instead of reloading per call

avrabe
and
claude
committed
fix(lsp): add didOpen handler, fix diagnostic spans, and handle Windows URIs

avrabe
and
claude
committed
fix(cli): validate --format values and improve missing rivet.yaml errors

avrabe
and
claude
committed
fix(serve): use salsa incremental computation for dashboard reloads

avrabe
and
claude
committed
fix: salsa validation handles all YAML formats and baseline scoping

avrabe
and
claude
committed
feat(db): make LinkGraph and coverage salsa-tracked functions (#13)

avrabe
and
claude
committed
feat(lsp): add textDocument/documentSymbol support (#20)

avrabe
and
claude
committed
refactor: extract collect_yaml_files and load_project_full to rivet-core

avrabe
and
claude
committed
test: add YAML parser proptests, MCP tool tests, and cross-file link resolution

avrabe
and
claude
committed
fix: 3 must-fix issues from formal code review

avrabe
and
claude
committed
fix: CI failures — clippy, format, MSRV, benchmark compatibility

avrabe
and
claude
committed
fix: MCP tests set current_dir to temp project directory

avrabe
and
claude
committed
fix: MCP tests send proper initialize params for rmcp protocol

avrabe
and
claude
committed
chore: remove MCP protocol-level integration tests

avrabe
and
claude
committed
fix: update schema fallback test to expect error on unknown names

avrabe
and
claude
committed
fix: cargo fmt on docs_schema test

avrabe
and
claude
committed
fix: use rowan fork with Miri UB fixes (pulseengine/rowan#fix/miri-soundness)

avrabe
and
claude
committed

Commits on Apr 6, 2026