From e8c27553f9649e6c0d49359ce0ad3d3152079a7c Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Ralph=20K=C3=BCpper?= <ralph.kuepper@skelpo.com>
Date: Mon, 9 Nov 2026 05:55:14 +0100
Subject: [PATCH] check_file_size: allowlist snap_census/runner.rs (3572);
 split after #14259 lands

---
 scripts/check_file_size.sh | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/scripts/check_file_size.sh b/scripts/check_file_size.sh
index 1f8d21cb32d..4148c333dcc 100755
--- a/scripts/check_file_size.sh
+++ b/scripts/check_file_size.sh
@@ -37,6 +37,8 @@ crates/perry-runtime/src/map.rs	3040
 crates/perry-runtime/src/set.rs	2347
 # Representation feedback core; further decomposition is tracked in #1435.
 crates/perry-runtime/src/typed_feedback.rs	2436
+# Snapshot census runner (instr-only, #13935); split after #14259 lands (snap census owner).
+crates/perry-runtime/src/snap_census/runner.rs	3572
 # Native ABI proof cases; test organization is a separate follow-up.
 crates/perry-codegen/tests/native_proof_regressions.rs	15680
 # Representation feedback regression cases; test organization is a separate follow-up.