trungdong / prov / 28660098827

98%

push

github

docs: bring PROV-CONSTRAINTS unification rules into roadmap scope (30b/36b)

unified() has carried a TODO against PROV-CONSTRAINTS since the original
implementation; it merges same-identifier records by unioning attributes
without the spec's key-constraint/term-unification semantics. Audit the
gap in Phase 3.5 (step 30b) and reimplement per spec in 3.0 (step 36b,
absorbing the #34 fix). The full validation engine (#62) stays on the
post-3.0 backlog.

484 of 522 branches covered (92.72%)

3838 of 4162 relevant lines covered (92.22%)

9.22 hits per line