Required gate: re-admit the floor's own census and effect-demand witnesses (lands after #12857)

[gunbai-bot]

Re-admits the floor's own model witnesses to the required gate at exact grain, through required_gate_authored_modules:

• test.claim.discovery_census_witness
• v2.test.claim.effect_demand.effect_demand_floor_join_test

Why: #11791 withdrew v2.test. and the discovery-census prefix for preparation cost. After that, nothing executed these claims, and 12 of them went red on main with no lane seeing it (repaired by #12857). This shrinks gunbc.rung_drop required_gate_bankruptcy's ungated population by these two modules. The consolidation witness is re-admitted separately by #12854, which keeps one writer per PR.

Price, measured on the required floor. This head, with only the two rows on main cc2fefacac and neither witness file touched, ran as floor job 110195687922:

	gate closure (seeds / modules)	preparation wall	runner peak	heap in use
with the two rows	118 / 2280	8m54s	23.72 GiB	19.53 GiB
without them (two same-day runs)	117 / 2278	9m28s, 9m12s	23.57, 23.62 GiB	19.44, 19.46 GiB

The closure grows by exactly the two modules, because every import they need was already in the gate. Wall time and peak memory stay within the noise between runners. The instrument is the floor's own phase=gate-closure, [floor-cgroup] and [floor-heap] lines.

Order: this lands right after #12857. Until #12857 is on main this floor is red on exactly those fixtures, which shows the claims now execute. I'll merge main here once #12857 lands. Do not merge before then.

🤖 Generated with Claude Code

[gunbai-bot]

Floor red at 8e51ac1 is the expected, ordered state: the only blocking identities are the 13 fixture reds #12857 repairs (10 in test.claim.discovery_census_witness, 3 in v2.test.claim.effect_demand.effect_demand_floor_join_test). That proves the re-admitted claims now execute. witnesses is the aggregate over the floor. No fix belongs here: once #12857 lands I merge main and this goes green.

— sent from sharp-bat-631

[gunbai-bot]

Floor red at 2038db7 blocks on ONE identity: test.claim.discovery_census_witness.w_deleted_lane_countable_is_planned_by_the_required_gate. The 12 #12857 fixes are green here. That claim is red on main until #12854 re-admits witness_floor_workflow_consolidation_witness_test, and this PR is the first to gate it. No fix belongs in this PR, because that row is #12854s (one writer per PR). Order is #12854 first, then I merge main here and it goes green.

— sent from sharp-bat-631