An offline JavaScript binary-view test agent needs fixed-length versus length-tr...

{ "body": { "artifact": { "typed_views": { "buffer_length": 4, "claim": { "trace": [ { "buffer_byte_length": 4, "completion": "initial", "detached": false, "views": [ { "byte_length": 2, "byte_offset": 1, "length": 2, "out_of_bounds": false }, { "byte_length": 3, "byte_offset": 1, "length": 3, "out_of_bounds": false } ] }, { "buffer_byte_length": 2, "completion": "normal", "detached": false, "views": [ { "byte_length": 0, "byte_offset": 0, "length": 0, "out_of_bounds": true }, { "byte_length": 1, "byte_offset": 1, "length": 1, "out_of_bounds": false } ] }, { "buffer_byte_length": 0, "completion": "normal", "detached": false, "views": [ { "byte_length": 0, "byte_offset": 0, "length": 0, "out_of_bounds": true }, { "byte_length": 0, "byte_offset": 0, "length": 0, "out_of_bounds": true } ] }, { "buffer_byte_length": 4, "completion": "normal", "detached": false, "views": [ { "byte_length": 2, "byte_offset": 1, "length": 2, "out_of_bounds": false }, { "byte_length": 3, "byte_offset": 1, "length": 3, "out_of_bounds": false } ] }, { "buffer_byte_length": 4, "completion": "RangeError", "detached": false, "views": [ { "byte_length": 2, "byte_offset": 1, "length": 2, "out_of_bounds": false }, { "byte_length": 3, "byte_offset": 1, "length": 3, "out_of_bounds": false } ] }, { "buffer_byte_length": 0, "completion": "admitted_detach", "detached": true, "views": [ { "byte_length": 0, "byte_offset": 0, "length": 0, "out_of_bounds": true }, { "byte_length": 0, "byte_offset": 0, "length": 0, "out_of_bounds": true } ] } ] }, "events": [ { "resize": 2 }, { "resize": 0 }, { "resize": 4 }, { "resize": 9 }, { "detach": true }, { "resize": 0 } ], "max_length": 8, "views": [ { "element_size": 1, "length": 2, "offset": 1 }, { "element_size": 1, "length": null, "offset": 1 } ] } } }, "bodyType": "json", "method": "POST", "type": "http" }

{ "example": { "billable": true, "findings": [ { "confidence": 95, "evidence": [ { "page_indices": [], "page_url": null, "pattern": "ecmascript-resizable-buffer-typed-view-witness-trace_scoped_evidence", "type": "artifact" } ], "limits": [ "Fixed and length-tracking TypedArray views for all four element sizes in one contract; DataView and shared buffers are unsupported.", "Data-only witness algorithm: no buffer allocation, source execution, byte reads or decoded values.", "detach is an admitted detached-state indication, not a model of transfer API success; repeated indications are idempotent.", "In-range resize assumes host allocation succeeds; concurrent resizing and allocation failure are outside scope." ], "module": "ecmascript-resizable-buffer-typed-view-witness-trace", "state": "observed", "value": { "claim_matches": false, "trace": [ { "buffer_byte_length": 4, "completion": "initial", "detached": false, "views": [ { "byte_length": 2, "byte_offset": 1, "length": 2, "out_of_bounds": false }, { "byte_length": 3, "byte_offset": 1, "length": 3, "out_of_bounds": false } ] }, { "buffer_byte_length": 2, "completion": "normal", "detached": false, "views": [ { "byte_length": 0, "byte_offset": 0, "length": 0, "out_of_bounds": true }, { "byte_length": 1, "byte_offset": 1, "length": 1, "out_of_bounds": false } ] }, { "buffer_byte_length": 0, "completion": "normal", "detached": false, "views": [ { "byte_length": 0, "byte_offset": 0, "length": 0, "out_of_bounds": true }, { "byte_length": 0, "byte_offset": 0, "length": 0, "out_of_bounds": true } ] }, { "buffer_byte_length": 4, "completion": "normal", "detached": false, "views": [ { "byte_length": 2, "byte_offset": 1, "length": 2, "out_of_bounds": false }, { "byte_length": 3, "byte_offset": 1, "length": 3, "out_of_bounds": false } ] }, { "buffer_byte_length": 4, "completion": "RangeError", "detached": false, "views": [ { "byte_length": 2, "byte_offset": 1, "length": 2, "out_of_bounds": false }, { "byte_length": 3, "byte_offset": 1, "length": 3, "out_of_bounds": false } ] }, { "buffer_byte_length": 0, "completion": "admitted_detach", "detached": true, "views": [ { "byte_length": 0, "byte_offset": 0, "length": 0, "out_of_bounds": true }, { "byte_length": 0, "byte_offset": 0, "length": 0, "out_of_bounds": true } ] }, { "buffer_byte_length": 0, "completion": "TypeError", "detached": true, "views": [ { "byte_length": 0, "byte_offset": 0, "length": 0, "out_of_bounds": true }, { "byte_length": 0, "byte_offset": 0, "length": 0, "out_of_bounds": true } ] } ] }, "warnings": [] } ], "known_count": 1, "scope": { "contact_values_returned": false, "network": false, "supplied_artifact_only": true }, "warnings": [] }, "type": "json" }