feat(analysis): verify wrpc-binding resolves to a bus (REQ-WRPC-BINDING-003)

[avrabe]

Second v0.22.0 feature. Closes the V for REQ-WRPC-BINDING-003 (and the #281 follow-up).

What

Follow-up to REQ-WRPC-BINDING-002 (which checks binding presence). When a cross-processor connection has an Actual_Connection_Binding, wrpc-binding now resolves the binding's reference (...) target and warns only when it resolves unambiguously to a non-bus component (e.g. a connection mistakenly bound to a processor).

Sound rule (avoids new false-positives): a bus / virtual bus, an unresolvable name, a dotted/multi-level path, or a multi-reference binding list are all accepted (no warning) — only an exactly-one-match non-bus resolution warns.

• extract_simple_reference_name — split-based parse of reference (x) / (reference (x)); rejects empty, dotted, and multi-reference values (no manual index arithmetic).
• unambiguous_non_bus_category — warns only on a single-match non-bus component, returning its category for the diagnostic.

Oracle — TEST-WRPC-BINDING-BUS-TARGET

non-bus (processor) target warns "not a bus"; real bus and virtual bus do not warn; unresolvable / dotted / multi-reference do not warn; plus a parser unit test. The presence-only REQ-WRPC-BINDING-002 path (TEST-WRPC-BINDING) is unchanged and still green.

Gates (local)

16 wrpc tests pass (10 existing unchanged + 6 new); 898 spar-analysis lib tests pass; clippy -D warnings clean; nightly fmt clean; mutation --in-diff 8 caught / 3 unviable / 0 missed.

Falsification

If a connection bound to a real bus warns, or a connection bound unambiguously to a non-bus component does not, the check is wrong.

🤖 Generated with Claude Code

[github-actions]

Rivet verification gate

✅ 20/20 passed

	count
Passed	20
Failed	0
Skipped (no steps)	0

Filter: (and (= type "feature") (or (has-tag "v093") (has-tag "v0100")))

Failed artifacts

(none)

_{Updated automatically by tools/post_verification_comment.py. Source of truth: artifacts/verification.yaml.}

[codecov]

Codecov Report

❌ Patch coverage is 99.13043% with 1 line in your changes missing coverage. Please review.

Files with missing lines	Patch %	Lines
crates/spar-analysis/src/wrpc_binding.rs	99.13%	1 Missing ⚠️

📢 Thoughts on this report? Let us know!