Lucy's Moonlight

1RB0RD_0RC1RE_1RD0LA_1LE1LC_1RF0LD_---0RA (bbch)

Lucy's Moonlight is a probviously halting tetrational BB(6) Cryptid found by Racheline on 1 Mar 2025 (Discord link). It has a 5% chance of beating the current BB(6) champion (if we treat Collatz-like behavior as random).

Analysis by Racheline

https://discord.com/channels/960643023006490684/1345810396136865822/1345820781363597312

A(x,y) := 0^inf (1011)^x 10 <A (01)^y 0^inf
B(x) := 0^inf 1^x B> 0^inf

A(x+1,3y) -> A(x,8y+3)
A(x+2,3y+1) -> A(x,8y+11)
A(x+2,3y+2) -> A(x,8y+12)
A(0,y) -> B(2y+1)
A(1,3y+1) -> A(4y+4,4)
A(1,3y+2) -> halt
B(3y) -> B(8y-2)
B(3y+1) -> A(2y,4)
B(3y+2) -> B(8y+6)

a is the sequence such that A(x,a_n) goes to A(x',a_(n+1)) in one step assuming x>=2
b is the sequence such that A(x,a_0) goes to A(x-b_n,a_n) in n rules (without using the A(0,y) or A(1,y) rules) assuming x>=b_n
c is the sequence such that A(c_n,a_0) goes to A(c_(n+1),a_0) after only one application of the A(0,y) or A(1,y) rules

f(3n) = 8n+3
f(3n+1) = 8n+11
f(3n+2) = 8n+12
a_0 = 4
a_(n+1) = f(a_n)
b_0 = 0
b_(n+1) = b_n+(1 if 3|a_n else 2)

g(n) = 8ceil(n/3)-2     (i.e. g(3n) = 8n-2 and g(3n+2) = 8n+6)
h(n) = largest i such that b_i <= n
c_0 = 14
if b_h(c_n) = c_n, then c_(n+1) = 2m where m is minimal such that 3m+1 = g^k(2a_h(c_n)+1) for some k
otherwise if a_h(c_n) = 3m+1, then c_(n+1) = 4m+4
otherwise halt after roughly (8/3)^(6c_n/5) steps

Analysis by Shawn Ligocki

https://discord.com/channels/960643023006490684/1345810396136865822/1346329322851401868

1RB0RD_0RC1RE_1RD0LA_1LE1LC_1RF0LD_---0RA

C(a, b, c) = 0^inf 1011^a 1^b 10^c C> 0^inf
C(a, b) = C(a, b, 1) = 0^inf 1011^a 1^b 10 C> 0^inf

C(a+1, 3k)   --> C(a, 8k+6)
C(a+2, 3k+1) --> C(a, 8k+16)
C(a+2, 3k+2) --> C(a, 8k+22)

C(0,   3k)   --> C(2k, 8)
C(0,   3k+1) --> C(0, 8k+5)
C(1,   3k+1) --> Halt(6k+14)
C(0,   3k+2) --> C(0, 8k+5)
C(1,   3k+2) --> C(2k+4, 8)

Start  --(2)-->  C(0, 0)

Racheline's $c_{n}$ values correspond to the values at which we get configs $C(c_{n},8)$ in my analysis. The first three are:

• $c_{0}=14$
• $c_{1}=11\,292$
• $c_{2}=$ 8 282 581 182 265 963 777 660 116 067 041 084 396 825 871 729 769 475 063 015 437 507 606 888 488 657 640 984 741 410 755 868 651 202 413 557 949 100 792 150 345 468 805 096 096 950 985 621 014 344 543 514 277 244 259 988 659 130 143 328 155 990 590 108 709 713 794 583 253 323 686 355 356 512 219 061 229 636 197 885 927 258 835 226 571 319 297 308 352 230 934 484 006 197 639 625 592 087 971 234 386 001 742 614 119 317 946 288 524 516 349 575 343 597 522 485 283 906 000 542 032 088 582 043 646 950 532 639 630 385 985 319 217 159 379 913 000 142 879 141 905 099 969 565 530 694 702 807 960 713 276 894 845 659 927 803 312 770 155 623 893 892 127 451 599 296 902 730 174 376 009 710 735 758 161 389 656 270 797 836 582 256 488 031 353 066 716 635 172 987 950 448 854 471 226 597 449 927 236 184 172 841 640 111 209 332 317 049 722 869 659 569 874 196 714 141 959 835 401 796 418 444 068 891 026 981 841 656 732 128 708 017 637 486 218 786 090 173 524 036 425 924 718 502 564 851 924 717 340 390 259 248 282 032 112 075 387 681 859 362 344 399 913 313 735 645 684 525 131 229 468 282 784 360 728 881 748 147 372 112 747 036 418 378 308 364 410 128 040 328 676 209 420 026 633 482 346 143 509 117 105 276 670 245 493 297 604 407 287 182 199 289 609 254 900 080 171 095 368 953 306 931 467 191 729 590 199 363 109 109 618 828 683 456 945 716 771 345 293 252 204 756 902 270 830 478 266 505 243 340 324 828 877 091 406 917 371 244 363 787 314 164 920 400 219 556 757 173 398 748 668 149 395 792 060 530 400 633 872 912 079 249 392 256 126 285 748 793 796 259 657 854 699 829 517 626 609 309 417 076 213 461 174 150 922 612 299 942 658 509 909 739 815 101 078 137 303 456 289 178 147 820 849 027 886 955 738 533 503 625 157 087 287 391 831 669 455 397 075 444 062 908 165 633 623 616 230 849 011 917 173 994 535 718 598 409 770 737 638 239 724 998 256 861 644 166 630 982 723 063 781 225 891 358 955 048 633 229 232 741 851 699 498 876 266 677 026 907 578 098 686 784 323 407 335 765 343 701 077 746 445 802 114 304 942 791 377 887 303 588 107 097 550 867 703 017 440 867 027 391 593 474 985 628 594 939 344 739 091 341 577 631 399 711 011 114 031 231 392 355 268 858 286 239 590 222 739 798 802 836 719 470 359 138 334 346 097 704 505 528 574 751 020 940 898 407 003 617 333 219 550 156 008 932 231 022 648 658 161 473 903 774 681 072 952 056 320 551 244 912 271 864 381 014 835 634 282 966 523 463 985 953 949 176 576 786 408 020 337 836 220 233 538 960 379 978 664 849 564 796 907 967 238 406 785 655 383 464 715 057 232 716 549 617 630 853 473 306 701 852 904 885 606 863 527 445 121 198 511 795 947 547 473 084 736 520 465 867 328 457 114 967 373 145 664 842 684 299 186 357 472 668 934 663 435 131 859 827 025 004 311 417 517 867 339 721 854 899 421 107 496 540 906 158 691 502 108 225 108 606 878 323 722 157 711 420 937 080 640 504 487 833 073 951 122 223 191 857 376 281 164 771 129 574 147 051 021 933 227 085 689 827 336 672 385 780 462 357 440 219 398 403 103 894 053 177 742 661 833 002 598 347 813 276 596 599 779 500 262 101 470 481 321 560 131 349 255 581 918 937 061 811 724 247 415 920 101 784 002 187 650 019 023 113 164 778 491 907 065 101 691 880 663 970 914 566 257 787 660 257 139 627 941 284 081 248 034 057 979 564 419 991 961 345 637 080 391 063 343 278 659 875 006 722 945 435 258 511 750 736 395 209 297 602 991 695 886 580 794 249 759 902 536 380 055 710 080 977 728 337 952 498 718 259 606 078 790 355 738 625 858 597 516 649 364 990 083 397 742 948 406 390 695 711 840 139 170 928 984 527 396 432 236 103 181 667 418 006 635 667 189 873 871 634 905 950 683 958 299 923 219 653 264 060 399 588 571 782 767 511 747 924 043 969 623 045 308 763 567 170 166 295 093 013 227 497 346 173 854 101 964 306 147 690 034 349 284 712 163 842 269 859 435 320 408 715 901 523 168 064 489 459 605 434 861 066 611 056 209 626 985 578 507 010 825 633 753 454 $\approx 10^{2901.92}$