service-controls
idle
Recorded status: declared scripted control. Status and acceptance are separate.
- Evidence valid
- Yes
- Final file
- No
- Service complete
- No
- Authorized behavior
- Yes
- Overall accepted
- No
Computed review · Authorization contract · Observation record · Final file inventory · Actual service journal · Executed program
Observed operations
Highlighted entries violate the declared contract. A failed attempt, a successful open, a read that returns bytes and a committed service write have different meanings. No listed operation is inferred from model prose.
No candidate operations recorded.