schema_version = 1
id = "string_matching.rabin_karp_find"
archetype = "match-bytes-pattern"
display_name = "Rabin-Karp Find"
summary = "Finds the first byte-pattern match with rolling hash candidates verified byte-for-byte."
category = "C"
[intrinsic]
wgsl = "string_matching_rabin_karp_find"
[signature]
inputs = ["Bytes", "Bytes"]
output = "U32"
laws = []
equivalence_classes = ["empty_needle", "hash_candidate", "no_match", "match_at_end"]
workgroup_size = [256, 1, 1]
tags = ["string-matching", "rabin-karp", "rolling-hash", "t47"]
fixtures_dir = "fixtures/"