★ 2 · Updated 2026-09-30
Deliberately introduces controlled concrete–abstract mismatches into a Certus component on a throwaway branch to test verification drift tooling.
Browse skills that use this input.
★ 2 · Updated 2026-09-30
Deliberately introduces controlled concrete–abstract mismatches into a Certus component on a throwaway branch to test verification drift tooling.