An offline IPC fixture author needs atomic vector success or rollback and the re...

{ "body": { "artifact": { "semop_undo": { "claim": 1, "events": [ { "op": "semop", "operations": [ { "delta": -1, "index": 0, "undo": true }, { "delta": 1, "index": 1, "undo": true } ], "process": 0 }, { "op": "exit", "process": 0 } ], "processes": [ 0, 1 ], "values": [ 2, 0 ] } } }, "bodyType": "json", "method": "POST", "type": "http" }

{ "example": { "billable": true, "findings": [ { "confidence": 100, "evidence": [], "limits": [ "Only the explicitly supplied bounded anonymous operand model and exact integer claim are evaluated.", "No external resource or native system is queried or changed; source contents and contact values are not returned.", "This is a declared-model correspondence finding without a security, legal, operational or compliance verdict." ], "module": "sysv-semaphore-atomic-operation-undo-ledger", "state": "not_observed", "value": { "claim_matches": true, "committed_operation_vectors": 1, "exit_adjustments_clipped": 0, "live_processes": 1, "operation_result_codes": [ 0, 0 ], "rejected_operation_vectors": 0, "semaphore_value_trace": [ [ 1, 1 ], [ 2, 0 ] ], "semaphore_values": [ 2, 0 ], "statistic": 1, "undo_adjustments": [ [ 1, [ 0, 0 ] ] ] }, "warnings": [] } ], "known_count": 1, "scope": { "contact_values_returned": false, "network": false, "supplied_artifact_only": true }, "warnings": [] }, "type": "json" }