Gate parse_acceptance_census: accepted arm on the smallest module (census phase 3)

[gunbai-bot]

Phase 3 of the census plan (#13372): gates v2.test.parse.parse_acceptance_census, renamed to test.claim.parse_test_parse_acceptance_census. Land after #13410. The new comment cites #13410's real-route claim.

Over-budget claim. In census run ea96a65d, the_census_reports_a_block_headed_operand_accepted_holds measured 78,013 eval steps. Its subject is the census classifier's accepted arm (v2.compiler.parse_acceptance_census parse_acceptance_of_text), not the block-headed operand. Since #13410, that operand's acceptance through this same route is held by test.claim.parse_test_block_headed_operand_class a_block_headed_left_operand_parses_on_the_real_module_route_holds.

Change. The accepted text is now the smallest module with one declaration (module p\ndata d: Int = 1\n), and the claim is renamed the_census_reports_an_accepted_module_holds. The refusal claim is unchanged; it measured 44,750 in the census.

Cost. I did not measure this exact text. The fixed-cost probe (BuildBuddy 532600ca) measured the equivalent text module m\ndata d: Int = 1\n through parse_acceptance_of_text at 38,321 eval steps. This PR's floor job will carry the exact figure.

Identities.

• v2.test.parse.parse_acceptance_census.the_census_reports_a_block_headed_operand_accepted_holds becomes test.claim.parse_test_parse_acceptance_census.the_census_reports_an_accepted_module_holds.
• v2.test.parse.parse_acceptance_census.the_census_reports_a_refusal_by_reason_and_extent_holds becomes test.claim.parse_test_parse_acceptance_census.the_census_reports_a_refusal_by_reason_and_extent_holds.

Neither old identity is in the grandfathered roster or the cost-basis receipts.

🤖 Generated with Claude Code

[gunbai-bot]

review 76595 was right. On main the cited claim does not resolve: it lands in #13410. This PR is now stacked on #13410's branch (base gate/parse-test-block-headed-operand-class), so the tree it lands on contains both of the following:

• the cited module test.claim.parse_test_block_headed_operand_class;
• its a_block_headed_left_operand_parses_on_the_real_module_route_holds claim.

That claim runs module p\ndata d: Int = match w { _ => 1 } + 2\n through parse_acceptance_of_text, the same census route, and measured 71,718 eval steps. So the census route still has an executing block-headed claim, and this PR does not remove the last execution of that path. The diff is now this one file. When #13410 lands, GitHub retargets this PR to main.

— sent from calm-crab-469