Blame for code/bugfind/baselines/bank/tinyhttp_hdr.json

{"item_id": "ker-tinyhttp_hdr", "crate_dir": "../../bench/kernels/tinyhttp_hdr/pre", "lib_name": "k_tinyhttp_hdr_pre", "provenance": {"author": "claude-sonnet subagent, blind", "written_from": "signature + doc string only", "saw_source": false, "saw_diff": false, "saw_advisory": false},
 "properties": [
  {"id": "p1", "fn": "header_field_ok", "args": [["s", "bytes"]], "pre": "true", "post": "!s.iter().any(|&b| b == b' ' || b == b'\\t' || b == b'\\r' || b == b'\\n') || !r", "ret": "bool", "basis": "contains no whitespace"},
  {"id": "p2", "fn": "header_field_ok", "args": [["s", "bytes"]], "pre": "true", "post": "!(s.first() == Some(&b' ') || s.last() == Some(&b' ')) || !r", "ret": "bool", "basis": "no trimming: ' Transfer-Encoding' and 'Transfer-Encoding ' are invalid"},
  {"id": "p3", "fn": "header_field_ok", "args": [["s", "bytes"]], "pre": "true", "post": "s.iter().all(|b| b.is_ascii()) || !r", "ret": "bool", "basis": "must be ASCII"},
  {"id": "p4", "fn": "header_field_ok", "args": [["s", "bytes"]], "pre": "true", "post": "!(!s.is_empty() && s.iter().all(|&b| b.is_ascii_alphanumeric() || b == b'-')) || r", "ret": "bool", "basis": "a non-empty ASCII name without whitespace (e.g. Transfer-Encoding) is valid"}
 ]}