An agent that audits a lock handover trace needs claimed effective worker priori...

{ "body": { "artifact": { "events": [ { "claimed_effective": [ 7, 0, 7, 3 ], "kind": "acquire", "lock": 0, "priority": 9, "worker": 2 }, { "claimed_effective": [ 7, 0, 7, 3 ], "kind": "acquire", "lock": 0, "priority": 1, "worker": 1 }, { "claimed_effective": [ 7, 0, 7, 3 ], "kind": "acquire", "lock": 1, "priority": 1, "worker": 3 }, { "claimed_effective": [ 7, 0, 7, 7 ], "kind": "acquire", "lock": 1, "priority": 0, "worker": 2 }, { "claimed_effective": [ 7, 0, 7, 7 ], "kind": "release", "lock": 0, "priority": 7, "worker": 2 }, { "claimed_effective": [ 7, 0, 7, 7 ], "kind": "acquire", "lock": 2, "priority": 0, "worker": 1 }, { "claimed_effective": [ 7, 0, 7, 7 ], "kind": "acquire", "lock": 1, "priority": 3, "worker": 1 }, { "claimed_effective": [ 7, 7, 7, 7 ], "kind": "acquire", "lock": 2, "priority": 1, "worker": 3 }, { "claimed_effective": [ 7, 7, 7, 7 ], "kind": "acquire", "lock": 2, "priority": 9, "worker": 0 }, { "claimed_effective": [ 7, 7, 1, 7 ], "kind": "priority", "lock": 2, "priority": 1, "worker": 2 }, { "claimed_effective": [ 7, 7, 0, 7 ], "kind": "priority", "lock": 1, "priority": 0, "worker": 2 }, { "claimed_effective": [ 7, 7, 0, 7 ], "kind": "priority", "lock": 2, "priority": 2, "worker": 3 }, { "claimed_effective": [ 7, 7, 0, 2 ], "kind": "release", "lock": 1, "priority": 0, "worker": 3 }, { "claimed_effective": [ 7, 7, 3, 2 ], "kind": "priority", "lock": 2, "priority": 3, "worker": 2 }, { "claimed_effective": [ 7, 7, 3, 2 ], "kind": "release", "lock": 1, "priority": 0, "worker": 1 }, { "claimed_effective": [ 7, 7, 3, 7 ], "kind": "priority", "lock": 1, "priority": 7, "worker": 3 }, { "claimed_effective": [ 7, 7, 3, 4 ], "kind": "priority", "lock": 1, "priority": 4, "worker": 3 }, { "claimed_effective": [ 7, 7, 3, 0 ], "kind": "priority", "lock": 2, "priority": 0, "worker": 3 }, { "claimed_effective": [ 7, 7, 3, 0 ], "kind": "release", "lock": 0, "priority": 9, "worker": 1 }, { "claimed_effective": [ 7, 7, 3, 0 ], "kind": "acquire", "lock": 0, "priority": 4, "worker": 1 } ], "locks": 3, "priorities": [ 7, 0, 7, 3 ] } }, "bodyType": "json", "method": "POST", "type": "http" }

{ "example": { "billable": true, "findings": [ { "confidence": 100, "evidence": [ { "page_indices": [], "page_url": null, "pattern": "workflow-priority-inheritance-transcript_scoped_evidence", "type": "artifact" } ], "limits": [ "Only the explicit bounded artifact is measured. No retrieval, execution, real credential validation, contact output or legal/security/quality judgement.", "Fresh nonrecursive mutexes; larger integer means higher priority, equal waiters transfer to lower worker index. Donated priorities propagate through wait cycles until a fixed point. No scheduler timing, ceiling protocol or operating-system introspection." ], "module": "workflow-priority-inheritance-transcript", "module_cpu_ms": 0, "state": "not_observed", "value": { "mutex_trace_events": 20, "ownership_transfers": 3, "priority_claim_mismatches": 0 }, "warnings": [] } ], "known_count": 1, "scope": { "contact_values_returned": false, "network": false, "supplied_artifact_only": true }, "warnings": [] }, "type": "json" }