Commit 8fcd081
docs(pm): record the measured refusal of the aggregate fan-in line beside the refused fifth key (#13465)
The follow-up question to the refused import-edge identity key asked whether
one aggregate line per edited module could carry the refused information.
Measured over 1,862 first-parent commits on origin/main (2026-08-16..30) at
71627f7: the aggregate-proper case fires on 0.6% of cards and changes no
decision there; 93% of firings land on tail modules where the value is the
names, and every names-shape is already decided (all names = the refused key;
capped names = a fan-in cutoff, the volume rule this file refuses; a bare
count withholds the witness where it fires most). Docblock only — no
behaviour change; the existing pins stay the staleness alarms.
Claude-Session: https://claude.ai/code/session_01Pk26oZ12t5N1hwGW1m1MgC
Co-authored-by: Claude <noreply@anthropic.com>1 parent b172e2e commit 8fcd081
1 file changed
Lines changed: 29 additions & 0 deletions
| Original file line number | Diff line number | Diff line change | |
|---|---|---|---|
| |||
2794 | 2794 | | |
2795 | 2795 | | |
2796 | 2796 | | |
| 2797 | + | |
| 2798 | + | |
| 2799 | + | |
| 2800 | + | |
| 2801 | + | |
| 2802 | + | |
| 2803 | + | |
| 2804 | + | |
| 2805 | + | |
| 2806 | + | |
| 2807 | + | |
| 2808 | + | |
| 2809 | + | |
| 2810 | + | |
| 2811 | + | |
| 2812 | + | |
| 2813 | + | |
| 2814 | + | |
| 2815 | + | |
| 2816 | + | |
| 2817 | + | |
| 2818 | + | |
| 2819 | + | |
| 2820 | + | |
| 2821 | + | |
| 2822 | + | |
| 2823 | + | |
| 2824 | + | |
| 2825 | + | |
2797 | 2826 | | |
2798 | 2827 | | |
2799 | 2828 | | |
| |||
0 commit comments