# fuzz/known-buckets.txt — allowlisted differential-fuzz bucket signatures.
#
# Each line is a 12-hex short-sig (harness.clj short-sig) of a KNOWN-BENIGN
# divergence bucket: the checker-message-precision tail (both compilers REJECT,
# differing only in error-message wording — :diagnostic / :acceptance class).
#
# The nightly gate (fuzz/harness/gate.clj) treats a bucket as FATAL when:
#   - class is :emission  (backend output divergence — ALWAYS fatal, never listed here), OR
#   - class is :acceptance/:diagnostic AND its signature is absent from this file.
# A NEW signature here = a divergence not seen on main; investigate before allowlisting.
#
# To allowlist a newly-triaged benign tail bucket: confirm it is NOT :emission,
# then add its signature (the repro filename stem) on its own line below.
# Blank lines and #-comments are ignored.
#
# EMPTY — as of the 2026-07-04 union-member-narrowing root fix (selfhost check.bclj
# now byte-matches the Racket oracle across the whole checker-precision family: see
# fuzz/repros/checker-tail-20260704/ + the verify-selfhost.sh 5b regression rung).
# The prior 21 allowlisted sigs are all resolved. Re-add a signature ONLY after
# triaging a genuinely new divergence per the rule above; a growing list here is
# the smell that the checkers have drifted apart again.
