Marius Ciepluch 4a1167dfdd feat(detection-core): 8.1 prover native conformance to core trace/coverage contracts

2026-10-30 18:37:04 +01:00

..

brief.md

feat(detection-core): foundation contract package (trace, verdict, coverage, provenance)

2026-10-30 16:04:10 +01:00

design.md

feat(detection-core): foundation contract package (trace, verdict, coverage, provenance)

2026-10-30 16:04:10 +01:00

requirements.md

feat(detection-core): foundation contract package (trace, verdict, coverage, provenance)

2026-10-30 16:04:10 +01:00

research.md

feat(detection-core): foundation contract package (trace, verdict, coverage, provenance)

2026-10-30 16:04:10 +01:00

spec.json

feat(detection-core): runner migration onto core contracts, schema validation, E2E

2026-10-30 17:12:33 +01:00

tasks.md

feat(detection-core): 8.1 prover native conformance to core trace/coverage contracts

2026-10-30 18:37:04 +01:00