DAEDALUS
Proof-first software inspection
DAEDALUS

Artifact verification

Verify a DAEDALUS artifact marker.

Artifact integrity

Check a DAEDALUS JSON artifact marker.

Paste a DAEDALUS JSON artifact. The verifier recomputes the marker from the artifact body and reports whether it still matches.