Verification Completeness Report

Project: Omarchy Lock Dogfood v

Auto-generated by ReqProof on 2026-10-03 03:25:42 UTC.

Overview

87
Total Requirements
0
Level A
0
Level B
87
Level C
0
Level D
0
Level E

Assurance Level C

Obligation Summary for Level C: Formalization=required, Realizability=required, Consistency=recommended, Vacuity=optional, Human Review=recommended, Parent Trace=required, Test Trace=recommended
Req ID Strategy Formalization Realizability Consistency Vacuity Review Violations
STK-REQ-260912-XJ5D informal none No No in_review (AI) 1
STK-REQ-260922-XTNR informal none No No in_review (AI) 1
SW-REQ-260912-0Y70 fretish valid No No in_review (AI) 2
SW-REQ-260912-41VV fretish valid No No in_review (AI) 2
SW-REQ-260912-EH0K fretish valid No No in_review (AI) 2
SW-REQ-260912-EKJP fretish valid No No in_review (AI) 2
SW-REQ-260912-FAWV fretish valid No No in_review (AI) 2
SW-REQ-260912-FVHS fretish valid No No in_review (AI) 2
SW-REQ-260912-GGGS fretish valid No No in_review (AI) 2
SW-REQ-260912-H2YF fretish valid No No in_review (AI) 2
SW-REQ-260912-J8SX fretish valid No No in_review (AI) 2
SW-REQ-260912-MXQG fretish valid No No in_review (AI) 2
SW-REQ-260912-ND55 fretish valid No No in_review (AI) 2
SW-REQ-260912-S154 fretish valid No No in_review (AI) 2
SW-REQ-260912-WBS3 fretish valid No No in_review (AI) 2
SW-REQ-260912-WJYM fretish valid No No in_review (AI) 2
SW-REQ-260912-Y0WT fretish valid No No in_review (AI) 2
SW-REQ-260922-0W96 fretish valid No No in_review (AI) 2
SW-REQ-260922-2JZT fretish valid No No in_review (AI) 2
SW-REQ-260922-3JG5 fretish valid No No in_review (AI) 2
SW-REQ-260922-3T3F fretish valid No No in_review (AI) 2
SW-REQ-260922-3VTN fretish valid No No in_review (AI) 2
SW-REQ-260922-4079 fretish valid No No in_review (AI) 2
SW-REQ-260922-43HQ fretish valid No No in_review (AI) 2
SW-REQ-260922-46HY fretish valid No No in_review (AI) 2
SW-REQ-260922-4EWA fretish valid No No in_review (AI) 2
SW-REQ-260922-4VAV fretish valid No No in_review (AI) 2
SW-REQ-260922-50RE fretish valid No No in_review (AI) 2
SW-REQ-260922-74BZ fretish valid No No in_review (AI) 2
SW-REQ-260922-7NPE fretish valid No No in_review (AI) 2
SW-REQ-260922-8CQ4 fretish valid No No in_review (AI) 2
SW-REQ-260922-8ERH fretish valid No No in_review (AI) 2
SW-REQ-260922-9ABD fretish valid No No in_review (AI) 2
SW-REQ-260922-9DMS fretish valid No No in_review (AI) 2
SW-REQ-260922-B757 fretish valid No No in_review (AI) 2
SW-REQ-260922-B839 fretish valid No No in_review (AI) 2
SW-REQ-260922-C8HX fretish valid No No in_review (AI) 2
SW-REQ-260922-CYB9 fretish valid No No in_review (AI) 2
SW-REQ-260922-DE93 fretish valid No No in_review (AI) 2
SW-REQ-260922-DQ9P fretish valid No No in_review (AI) 2
SW-REQ-260922-E4J2 fretish valid No No in_review (AI) 2
SW-REQ-260922-EFNR fretish valid No No in_review (AI) 2
SW-REQ-260922-FGZQ fretish valid No No in_review (AI) 2
SW-REQ-260922-HR29 fretish valid No No in_review (AI) 2
SW-REQ-260922-JREH fretish valid No No in_review (AI) 2
SW-REQ-260922-JRW1 fretish valid No No in_review (AI) 2
SW-REQ-260922-KRBH fretish valid No No in_review (AI) 2
SW-REQ-260922-MH9B fretish valid No No in_review (AI) 2
SW-REQ-260922-MP00 fretish valid No No in_review (AI) 2
SW-REQ-260922-MQ37 fretish valid No No in_review (AI) 2
SW-REQ-260922-N3RM fretish valid No No in_review (AI) 2
SW-REQ-260922-NM45 fretish valid No No in_review (AI) 2
SW-REQ-260922-PRNV fretish valid No No in_review (AI) 2
SW-REQ-260922-Q6ZS fretish valid No No in_review (AI) 2
SW-REQ-260922-QMWP fretish valid No No in_review (AI) 2
SW-REQ-260922-RGCV fretish valid No No in_review (AI) 2
SW-REQ-260922-SJ7P fretish valid No No in_review (AI) 2
SW-REQ-260922-SNZG fretish valid No No in_review (AI) 2
SW-REQ-260922-SWFT fretish valid No No in_review (AI) 2
SW-REQ-260922-T257 fretish valid No No in_review (AI) 2
SW-REQ-260922-TKDP fretish valid No No in_review (AI) 2
SW-REQ-260922-W17G fretish valid No No in_review (AI) 2
SW-REQ-260922-XW52 fretish valid No No in_review (AI) 2
SW-REQ-260922-Y58B fretish valid No No in_review (AI) 2
SW-REQ-260922-Z48F fretish valid No No in_review (AI) 2
SW-REQ-260922-Z680 fretish valid No No in_review (AI) 2
SW-REQ-260928-8VJQ fretish valid No No in_review (AI) 2
SW-REQ-260929-B8N9 fretish valid No No in_review 1
SW-REQ-260929-DXFJ fretish valid No No in_review 1
SW-REQ-260929-REJT fretish valid No No in_review (AI) 2
SW-REQ-260929-T378 fretish valid No No in_review 1
SW-REQ-260929-THMB fretish valid No No in_review (AI) 2
SYS-REQ-260912-FRG0 fretish valid No No in_review (AI) 2
SYS-REQ-260912-H8A5 fretish valid No No in_review (AI) 2
SYS-REQ-260912-HC86 fretish valid No No in_review (AI) 2
SYS-REQ-260912-JW2J fretish valid No No in_review (AI) 2
SYS-REQ-260912-T0XP fretish valid No No in_review (AI) 2
SYS-REQ-260922-0M8A fretish valid No No in_review (AI) 2
SYS-REQ-260922-47T8 fretish valid No No in_review (AI) 2
SYS-REQ-260922-6642 fretish valid No No in_review (AI) 2
SYS-REQ-260922-J0AN fretish valid No No in_review (AI) 2
SYS-REQ-260922-P708 fretish valid No No in_review (AI) 2
SYS-REQ-260922-PPDW fretish valid No No in_review (AI) 2
SYS-REQ-260922-R8DQ fretish valid No No in_review (AI) 2
SYS-REQ-260922-V7W6 fretish valid No No in_review (AI) 2
SYS-REQ-260922-X6Z5 fretish valid No No in_review (AI) 2
SYS-REQ-260927-WC89 fretish valid No No in_review (AI) 2