An offline WebAssembly fixture author needs structured branch-label stack typing...

{ "body": { "artifact": { "wasm_labels": { "claim": 1, "instructions": [ { "op": "block", "parameters": [], "results": [ 0 ] }, { "op": "const", "type": 0 }, { "depth": 0, "op": "br" }, { "op": "end" }, { "op": "end" } ], "locals": [], "parameters": [], "results": [ 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": "wasm-structured-branch-label-stack-typing", "state": "not_observed", "value": { "branch_label_witnesses": [ { "conditional": false, "depth": 0, "instruction": 2, "label_types": [ 0 ] } ], "claim_matches": true, "final_value_types": [ 0 ], "first_error_code": 0, "first_error_instruction": -1, "remaining_control_frames": 0, "statistic": 1, "type_valid": true, "typing_trace": [ [ 0, 0, 2, 0 ], [ 1, 1, 2, 0 ], [ 2, 0, 2, 1 ], [ 3, 1, 1, 0 ], [ 4, 1, 0, 0 ] ] }, "warnings": [] } ], "known_count": 1, "scope": { "contact_values_returned": false, "network": false, "supplied_artifact_only": true }, "warnings": [] }, "type": "json" }