v0.5.0

What's Changed

• Added run spec derived value declarations, allowing contracts to declare expected derived inputs and validate that supplied values are present and correctly typed.
• Added derived value invariant checks for run specs, including set-style relations such as subset, contains-all, equality, intersection, and disjointness.
• Extended conditional run spec assertions so trace conditions can require either trace expectations or derived value data relations.
• Improved assertion failures for missing, unknown, unsupported, or incorrectly typed derived values.
• Updated the multi-lens research example with a run spec invariant that checks final citation IDs against mapped evidence source IDs.