{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2026:RWFRE7JIF7EHXGIMZJ7XL5PSR2","merge_version":"pith-open-graph-merge-v1","event_count":2,"valid_event_count":2,"invalid_event_count":0,"equivocation_count":0,"current":{"canonical_record":{"metadata":{"abstract_canon_sha256":"2fdb9d3f329f877381bf59c9e7893140ef14cbf89e1f1588cb36b2d8e353660c","cross_cats_sorted":["cs.LG"],"license":"http://creativecommons.org/licenses/by-sa/4.0/","primary_cat":"cs.SE","submitted_at":"2026-06-23T21:43:30Z","title_canon_sha256":"cb6ce680dcf1c4644d24e1c2abe4c2b3fb475ecd5be1ad423bf0b2bc73f5ae36"},"schema_version":"1.0","source":{"id":"2606.27396","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2606.27396","created_at":"2026-06-29T00:14:04Z"},{"alias_kind":"arxiv_version","alias_value":"2606.27396v1","created_at":"2026-06-29T00:14:04Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2606.27396","created_at":"2026-06-29T00:14:04Z"},{"alias_kind":"pith_short_12","alias_value":"RWFRE7JIF7EH","created_at":"2026-06-29T00:14:04Z"},{"alias_kind":"pith_short_16","alias_value":"RWFRE7JIF7EHXGIM","created_at":"2026-06-29T00:14:04Z"},{"alias_kind":"pith_short_8","alias_value":"RWFRE7JI","created_at":"2026-06-29T00:14:04Z"}],"graph_snapshots":[{"event_id":"sha256:cb5979950493ee4f408d3452426db6965c7a973db7cd5a5806f33e5c3fd35387","target":"graph","created_at":"2026-06-29T00:14:04Z","signer":{"key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signer_id":"pith.science","signer_type":"pith_registry"},"payload":{"graph_snapshot":{"author_claims":{"count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57","strong_count":0},"builder_version":"pith-number-builder-2026-05-17-v1","claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"formal_canon":{"evidence_count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"integrity":{"available":true,"clean":true,"detectors_run":[],"endpoint":"/pith/2606.27396/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"Test-input generation for tensor kernels is folkloric. Most projects pick a representative shape and dtype, run a fixed-shape allclose-style check, and ship. We make the choices explicit and measure them. Using the gpuemu op-schema-aware seeded fuzzer (arXiv:2606.20128), we evaluate seven test-generation strategies across a 26-op corpus (16 correct controls and 10 LLM-style buggy variants seeded with documented transcription patterns) on an RTX 3060 GPU instance. Strategies vary the shape candidate set, the dtype mix, and the input value distribution. We report each strategy on two axes: bug r","authors_text":"Dipankar Sarkar","cross_cats":["cs.LG"],"headline":"","license":"http://creativecommons.org/licenses/by-sa/4.0/","primary_cat":"cs.SE","submitted_at":"2026-06-23T21:43:30Z","title":"Test-Input Generation for Tensor Programs: What Actually Finds Kernel Bugs"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2606.27396","kind":"arxiv","version":1},"verdict":{"created_at":null,"id":null,"model_set":{},"one_line_summary":"","pipeline_version":null,"pith_extraction_headline":"","strongest_claim":"","weakest_assumption":""}},"verdict_id":null}}],"author_attestations":[],"timestamp_anchors":[],"storage_attestations":[],"citation_signatures":[],"replication_records":[],"corrections":[],"mirror_hints":[],"record_created":{"event_id":"sha256:3ab8affa14c4f599bf2c1dd1a2a9f7062c151cf93527c3d60ad95acf89ac3d47","target":"record","created_at":"2026-06-29T00:14:04Z","signer":{"key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signer_id":"pith.science","signer_type":"pith_registry"},"payload":{"attestation_state":"computed","canonical_record":{"metadata":{"abstract_canon_sha256":"2fdb9d3f329f877381bf59c9e7893140ef14cbf89e1f1588cb36b2d8e353660c","cross_cats_sorted":["cs.LG"],"license":"http://creativecommons.org/licenses/by-sa/4.0/","primary_cat":"cs.SE","submitted_at":"2026-06-23T21:43:30Z","title_canon_sha256":"cb6ce680dcf1c4644d24e1c2abe4c2b3fb475ecd5be1ad423bf0b2bc73f5ae36"},"schema_version":"1.0","source":{"id":"2606.27396","kind":"arxiv","version":1}},"canonical_sha256":"8d8b127d282fc87b990cca7f75f5f28ebecf4171a93c3193ace991841880346c","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"8d8b127d282fc87b990cca7f75f5f28ebecf4171a93c3193ace991841880346c","first_computed_at":"2026-06-29T00:14:04.717131Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-06-29T00:14:04.717131Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"U+dyGrB2LxmfWfJVi6FFv0DcBeRWLDbVaNOpbSaw3jranvOpXSv2UDdPgY7CUG5Q8eWRqiNd0Cu8NR1lbxXbCg==","signature_status":"signed_v1","signed_at":"2026-06-29T00:14:04.717533Z","signed_message":"canonical_sha256_bytes"},"source_id":"2606.27396","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:3ab8affa14c4f599bf2c1dd1a2a9f7062c151cf93527c3d60ad95acf89ac3d47","sha256:cb5979950493ee4f408d3452426db6965c7a973db7cd5a5806f33e5c3fd35387"],"state_sha256":"cb8e33371ff83d46575509e1c014664864764626664cce33fdebdeb907efb858"}