Reconstruct SFC scan step activation, simultaneous transition selection and qual...

{ "body": { "artifact": { "sfc": { "claim": null, "data": { "actions": 1, "associations": [ { "action": 0, "qualifier": "N", "step": 1 } ], "initial_active": [ 0 ], "scans": [ { "guards": [ false, false ], "time_ms": 0 }, { "guards": [ true, false ], "time_ms": 1 }, { "guards": [ false, false ], "time_ms": 5 } ], "steps": 4, "transitions": [ { "from": [ 0 ], "priority": 0, "to": [ 1 ] }, { "from": [ 1 ], "priority": 0, "to": [ 2 ] } ] } } } }, "bodyType": "json", "method": "POST", "type": "http" }

{ "example": { "billable": true, "findings": [ { "confidence": 1, "evidence": [ { "page_indices": [], "page_url": null, "pattern": "matiec-sfc-simultaneous-transition-step-action-qualifier-scan_scoped_evidence", "type": "artifact" } ], "limits": [ "Complete caller-supplied anonymous artifact under the stated bounded technical profile; no external facts, network/device actions or certification." ], "module": "matiec-sfc-simultaneous-transition-step-action-qualifier-scan", "state": "observed", "value": { "claim_matches": false, "computed": { "scans": [ { "action_outputs": [ false ], "active_steps": [ 0 ], "elapsed_ms": [ 0, null, null, null ], "fired_transitions": [], "stored_actions": [ false ] }, { "action_outputs": [ true ], "active_steps": [ 1 ], "elapsed_ms": [ null, 0, null, null ], "fired_transitions": [ 0 ], "stored_actions": [ false ] }, { "action_outputs": [ true ], "active_steps": [ 1 ], "elapsed_ms": [ null, 4, null, null ], "fired_transitions": [], "stored_actions": [ false ] } ] } }, "warnings": [] } ], "known_count": 1, "scope": { "contact_values_returned": false, "network": false, "supplied_artifact_only": true }, "warnings": [] }, "type": "json" }