Re-pin door-ledger histogram receipt to current attributed frontier (#6551 moved determinism's refusal to the packaged-parse fork)

[gunbai-bot]

What

Re-pin the door-ledger cause-histogram receipt (ledger_cause_histogram_over_mixed_affected_set, from #6540) to the current attributed frontier. The witness went RED on clean main after #6551 (Determinism Phase A); this repins it to the causes the door actually produces today — no broadening.

Why it went red (external, not a regression)

#6551 added a coproduct to dag/std/determinism.dag:

DeterminismAxis = Deterministic | NonDeterministic { source: DeclarationRef }

The ledger's admission pre-parse uses the packaged parse(), which rejects coproduct-syntax modules at parse_grammar_choice_overlap_residue (the known packaged-parse fork — parse() rejects, parse_production tolerates; MigrationOwned, dissolves with the packaged/parse_production reconciliation). So std.determinism's refusal moved earlier — from the fact_density lens (fact_density_hollow_alias_locus) to the parse fork — and no longer reaches the lens at all.

Diagnosed by execution (per-module cause probe on clean main, then deleted):

• std.determinism → parse_grammar_choice_overlap_residue
• std.error_primitives → resolve_reason_unbound_symbol
• std.bit → resolve_reason_unbound_symbol

The change (one test file, still discriminating)

-  && ledger_cause_count(rows, ^fact_density_hollow_alias_locus) == 1
+  && ledger_cause_count(rows, ^parse_grammar_choice_overlap_residue) == 1
+  && ledger_cause_count(rows, ^fact_density_hollow_alias_locus) == 0

This is not a masked-green broadening: it swaps one specific expected cause for another specific cause, and adds a discriminating fact_density_hollow_alias_locus == 0 check that would go RED if determinism regressed back to the lens. The receipt still tracks two distinct, correctly-attributed frontier causes over one real affected set (1 parse-cause + 2 resolve-causes). compile_door_ledger_witness_note is updated to record the frontier move.

The fact_density lens frontier is now covered by crisp-newt-633's dedicated fact_density witnesses (#6579), not here.

Verified green-by-execution

ledger_cause_histogram_over_mixed_affected_set PASS (~127s, wet, freshly-built claim_batch) on main+this-edit. Re-verified on the post-merge tree.

Test-only witness update; no substrate/pipeline change.

🤖 Generated with Claude Code