pj a0a8c9c710 feat(defect-identity): count distinct defects across stored runs ...

a property reports at most once per run, so a run-level count is just the number of properties violated. a defect is identified across runs by the property, the action attributed as the origin of the failed obligation and the screen the witness observed.

2026-08-16 17:45:35 +05:30

..

identity_test.go

feat(defect-identity): count distinct defects across stored runs

2026-08-16 17:45:35 +05:30

identity.go

feat(defect-identity): count distinct defects across stored runs

2026-08-16 17:45:35 +05:30

main.go

feat(defect-identity): count distinct defects across stored runs

2026-08-16 17:45:35 +05:30