23 lines
11 KiB
Text
23 lines
11 KiB
Text
lease: holding 88 pool cores (8,9,10,11,12,13,14,15,16,17,18,19,20,21,22,23,24,25,26,27,28,29,30,31,32,33,34,35,36,37,38,39,40,41,42,43,44,45,46,47,48,49,50,51,52,53,54,55,56,57,58,59,60,61,62,63,64,65,66,67,68,69,70,71,72,73,74,75,76,77,78,79,80,81,82,83,84,85,86,87,88,89,90,91,92,93,94,95, waited 0 s): adv-cache-3 skip-1024-plant-noff
|
|
[2026-10-07T19:23:05Z] adv-cache-3 skip (internal adversarial pass, not an independent review)
|
|
[2026-10-07T19:23:05Z] self-test: restated B equals chacha_block on 4,096 inputs; core_inv inverts core at w = 2, 4, 8, 16, 32; the restated chain equals Cache::fill_segment on segments 0, 21859, 65535 of day 20730
|
|
[2026-10-07T19:23:05Z] skip: day 20730 w 32 double rounds 6 lines 1024 segments 16 plant no-feedforward threads 88; rotations [16, 12, 8, 7]
|
|
[2026-10-07T19:23:05Z] templates: 33570800 compares of 512-bit lines, chance matches expected 2.504e-147, 0.1 s
|
|
[2026-10-07T19:23:05Z] template 0 [B(c_j)] at 1 block(s): matches 16 (j0:16)
|
|
[2026-10-07T19:23:05Z] template 1 [B(c_j XOR c_i), i < j] at 1 block(s): matches 0
|
|
[2026-10-07T19:23:05Z] template 2 [B(c_j) XOR B(c_i), i < j] at 2 block(s): matches 0
|
|
[2026-10-07T19:23:05Z] template 3 [B(c_j) XOR c_i, i < j] at 1 block(s): matches 0
|
|
[2026-10-07T19:23:05Z] template 4 [B(B(c_j))] at 2 block(s): matches 0
|
|
[2026-10-07T19:23:05Z] template 5 [B(c_j) + c_i, i < j] at 1 block(s): matches 0
|
|
[2026-10-07T19:23:05Z] template 6 [Cinv(line_j) XOR c_j = line_{j-1} (up the chain)] at 1 block(s): matches 16368 (j1:16 j2:16 j3:16 j4:16 j5:16 j6:16 j7:16 j8:16 j9:16 j10:16 j11:16 j12:16 j13:16 j14:16 j15:16 j16:16 j17:16 j18:16 j19:16 j20:16 j21:16 j22:16 j23:16 j24:16 j25:16 j26:16 j27:16 j28:16 j29:16 j30:16 j31:16 j32:16 j33:16 j34:16 j35:16 j36:16 j37:16 j38:16 j39:16 j40:16 j41:16 j42:16 j43:16 j44:16 j45:16 j46:16 j47:16 j48:16 j49:16 j50:16 j51:16 j52:16 j53:16 j54:16 j55:16 j56:16 j57:16 j58:16 j59:16 j60:16 j61:16 j62:16 j63:16 j64:16 j65:16 j66:16 j67:16 j68:16 j69:16 j70:16 j71:16 j72:16 j73:16 j74:16 j75:16 j76:16 j77:16 j78:16 j79:16 j80:16 j81:16 j82:16 j83:16 j84:16 j85:16 j86:16 j87:16 j88:16 j89:16 j90:16 j91:16 j92:16 j93:16 j94:16 j95:16 j96:16 j97:16 j98:16 j99:16 j100:16 j101:16 j102:16 j103:16 j104:16 j105:16 j106:16 j107:16 j108:16 j109:16 j110:16 j111:16 j112:16 j113:16 j114:16 j115:16 j116:16 j117:16 j118:16 j119:16 j120:16 j121:16 j122:16 j123:16 j124:16 j125:16 j126:16 j127:16 j128:16 j129:16 j130:16 j131:16 j132:16 j133:16 j134:16 j135:16 j136:16 j137:16 j138:16 j139:16 j140:16 j141:16 j142:16 j143:16 j144:16 j145:16 j146:16 j147:16 j148:16 j149:16 j150:16 j151:16 j152:16 j153:16 j154:16 j155:16 j156:16 j157:16 j158:16 j159:16 j160:16 j161:16 j162:16 j163:16 j164:16 j165:16 j166:16 j167:16 j168:16 j169:16 j170:16 j171:16 j172:16 j173:16 j174:16 j175:16 j176:16 j177:16 j178:16 j179:16 j180:16 j181:16 j182:16 j183:16 j184:16 j185:16 j186:16 j187:16 j188:16 j189:16 j190:16 j191:16 j192:16 j193:16 j194:16 j195:16 j196:16 j197:16 j198:16 j199:16 j200:16 j201:16 j202:16 j203:16 j204:16 j205:16 j206:16 j207:16 j208:16 j209:16 j210:16 j211:16 j212:16 j213:16 j214:16 j215:16 j216:16 j217:16 j218:16 j219:16 j220:16 j221:16 j222:16 j223:16 j224:16 j225:16 j226:16 j227:16 j228:16 j229:16 j230:16 j231:16 j232:16 j233:16 j234:16 j235:16 j236:16 j237:16 j238:16 j239:16 j240:16 j241:16 j242:16 j243:16 j244:16 j245:16 j246:16 j247:16 j248:16 j249:16 j250:16 j251:16 j252:16 j253:16 j254:16 j255:16 j256:16 j257:16 j258:16 j259:16 j260:16 j261:16 j262:16 j263:16 j264:16 j265:16 j266:16 j267:16 j268:16 j269:16 j270:16 j271:16 j272:16 j273:16 j274:16 j275:16 j276:16 j277:16 j278:16 j279:16 j280:16 j281:16 j282:16 j283:16 j284:16 j285:16 j286:16 j287:16 j288:16 j289:16 j290:16 j291:16 j292:16 j293:16 j294:16 j295:16 j296:16 j297:16 j298:16 j299:16 j300:16 j301:16 j302:16 j303:16 j304:16 j305:16 j306:16 j307:16 j308:16 j309:16 j310:16 j311:16 j312:16 j313:16 j314:16 j315:16 j316:16 j317:16 j318:16 j319:16 j320:16 j321:16 j322:16 j323:16 j324:16 j325:16 j326:16 j327:16 j328:16 j329:16 j330:16 j331:16 j332:16 j333:16 j334:16 j335:16 j336:16 j337:16 j338:16 j339:16 j340:16 j341:16 j342:16 j343:16 j344:16 j345:16 j346:16 j347:16 j348:16 j349:16 j350:16 j351:16 j352:16 j353:16 j354:16 j355:16 j356:16 j357:16 j358:16 j359:16 j360:16 j361:16 j362:16 j363:16 j364:16 j365:16 j366:16 j367:16 j368:16 j369:16 j370:16 j371:16 j372:16 j373:16 j374:16 j375:16 j376:16 j377:16 j378:16 j379:16 j380:16 j381:16 j382:16 j383:16 j384:16 j385:16 j386:16 j387:16 j388:16 j389:16 j390:16 j391:16 j392:16 j393:16 j394:16 j395:16 j396:16 j397:16 j398:16 j399:16 j400:16 j401:16 j402:16 j403:16 j404:16 j405:16 j406:16 j407:16 j408:16 j409:16 j410:16 j411:16 j412:16 j413:16 j414:16 j415:16 j416:16 j417:16 j418:16 j419:16 j420:16 j421:16 j422:16 j423:16 j424:16 j425:16 j426:16 j427:16 j428:16 j429:16 j430:16 j431:16 j432:16 j433:16 j434:16 j435:16 j436:16 j437:16 j438:16 j439:16 j440:16 j441:16 j442:16 j443:16 j444:16 j445:16 j446:16 j447:16 j448:16 j449:16 j450:16 j451:16 j452:16 j453:16 j454:16 j455:16 j456:16 j457:16 j458:16 j459:16 j460:16 j461:16 j462:16 j463:16 j464:16 j465:16 j466:16 j467:16 j468:16 j469:16 j470:16 j471:16 j472:16 j473:16 j474:16 j475:16 j476:16 j477:16 j478:16 j479:16 j480:16 j481:16 j482:16 j483:16 j484:16 j485:16 j486:16 j487:16 j488:16 j489:16 j490:16 j491:16 j492:16 j493:16 j494:16 j495:16 j496:16 j497:16 j498:16 j499:16 j500:16 j501:16 j502:16 j503:16 j504:16 j505:16 j506:16 j507:16 j508:16 j509:16 j510:16 j511:16 j512:16 j513:16 j514:16 j515:16 j516:16 j517:16 j518:16 j519:16 j520:16 j521:16 j522:16 j523:16 j524:16 j525:16 j526:16 j527:16 j528:16 j529:16 j530:16 j531:16 j532:16 j533:16 j534:16 j535:16 j536:16 j537:16 j538:16 j539:16 j540:16 j541:16 j542:16 j543:16 j544:16 j545:16 j546:16 j547:16 j548:16 j549:16 j550:16 j551:16 j552:16 j553:16 j554:16 j555:16 j556:16 j557:16 j558:16 j559:16 j560:16 j561:16 j562:16 j563:16 j564:16 j565:16 j566:16 j567:16 j568:16 j569:16 j570:16 j571:16 j572:16 j573:16 j574:16 j575:16 j576:16 j577:16 j578:16 j579:16 j580:16 j581:16 j582:16 j583:16 j584:16 j585:16 j586:16 j587:16 j588:16 j589:16 j590:16 j591:16 j592:16 j593:16 j594:16 j595:16 j596:16 j597:16 j598:16 j599:16 j600:16 j601:16 j602:16 j603:16 j604:16 j605:16 j606:16 j607:16 j608:16 j609:16 j610:16 j611:16 j612:16 j613:16 j614:16 j615:16 j616:16 j617:16 j618:16 j619:16 j620:16 j621:16 j622:16 j623:16 j624:16 j625:16 j626:16 j627:16 j628:16 j629:16 j630:16 j631:16 j632:16 j633:16 j634:16 j635:16 j636:16 j637:16 j638:16 j639:16 j640:16 j641:16 j642:16 j643:16 j644:16 j645:16 j646:16 j647:16 j648:16 j649:16 j650:16 j651:16 j652:16 j653:16 j654:16 j655:16 j656:16 j657:16 j658:16 j659:16 j660:16 j661:16 j662:16 j663:16 j664:16 j665:16 j666:16 j667:16 j668:16 j669:16 j670:16 j671:16 j672:16 j673:16 j674:16 j675:16 j676:16 j677:16 j678:16 j679:16 j680:16 j681:16 j682:16 j683:16 j684:16 j685:16 j686:16 j687:16 j688:16 j689:16 j690:16 j691:16 j692:16 j693:16 j694:16 j695:16 j696:16 j697:16 j698:16 j699:16 j700:16 j701:16 j702:16 j703:16 j704:16 j705:16 j706:16 j707:16 j708:16 j709:16 j710:16 j711:16 j712:16 j713:16 j714:16 j715:16 j716:16 j717:16 j718:16 j719:16 j720:16 j721:16 j722:16 j723:16 j724:16 j725:16 j726:16 j727:16 j728:16 j729:16 j730:16 j731:16 j732:16 j733:16 j734:16 j735:16 j736:16 j737:16 j738:16 j739:16 j740:16 j741:16 j742:16 j743:16 j744:16 j745:16 j746:16 j747:16 j748:16 j749:16 j750:16 j751:16 j752:16 j753:16 j754:16 j755:16 j756:16 j757:16 j758:16 j759:16 j760:16 j761:16 j762:16 j763:16 j764:16 j765:16 j766:16 j767:16 j768:16 j769:16 j770:16 j771:16 j772:16 j773:16 j774:16 j775:16 j776:16 j777:16 j778:16 j779:16 j780:16 j781:16 j782:16 j783:16 j784:16 j785:16 j786:16 j787:16 j788:16 j789:16 j790:16 j791:16 j792:16 j793:16 j794:16 j795:16 j796:16 j797:16 j798:16 j799:16 j800:16 j801:16 j802:16 j803:16 j804:16 j805:16 j806:16 j807:16 j808:16 j809:16 j810:16 j811:16 j812:16 j813:16 j814:16 j815:16 j816:16 j817:16 j818:16 j819:16 j820:16 j821:16 j822:16 j823:16 j824:16 j825:16 j826:16 j827:16 j828:16 j829:16 j830:16 j831:16 j832:16 j833:16 j834:16 j835:16 j836:16 j837:16 j838:16 j839:16 j840:16 j841:16 j842:16 j843:16 j844:16 j845:16 j846:16 j847:16 j848:16 j849:16 j850:16 j851:16 j852:16 j853:16 j854:16 j855:16 j856:16 j857:16 j858:16 j859:16 j860:16 j861:16 j862:16 j863:16 j864:16 j865:16 j866:16 j867:16 j868:16 j869:16 j870:16 j871:16 j872:16 j873:16 j874:16 j875:16 j876:16 j877:16 j878:16 j879:16 j880:16 j881:16 j882:16 j883:16 j884:16 j885:16 j886:16 j887:16 j888:16 j889:16 j890:16 j891:16 j892:16 j893:16 j894:16 j895:16 j896:16 j897:16 j898:16 j899:16 j900:16 j901:16 j902:16 j903:16 j904:16 j905:16 j906:16 j907:16 j908:16 j909:16 j910:16 j911:16 j912:16 j913:16 j914:16 j915:16 j916:16 j917:16 j918:16 j919:16 j920:16 j921:16 j922:16 j923:16 j924:16 j925:16 j926:16 j927:16 j928:16 j929:16 j930:16 j931:16 j932:16 j933:16 j934:16 j935:16 j936:16 j937:16 j938:16 j939:16 j940:16 j941:16 j942:16 j943:16 j944:16 j945:16 j946:16 j947:16 j948:16 j949:16 j950:16 j951:16 j952:16 j953:16 j954:16 j955:16 j956:16 j957:16 j958:16 j959:16 j960:16 j961:16 j962:16 j963:16 j964:16 j965:16 j966:16 j967:16 j968:16 j969:16 j970:16 j971:16 j972:16 j973:16 j974:16 j975:16 j976:16 j977:16 j978:16 j979:16 j980:16 j981:16 j982:16 j983:16 j984:16 j985:16 j986:16 j987:16 j988:16 j989:16 j990:16 j991:16 j992:16 j993:16 j994:16 j995:16 j996:16 j997:16 j998:16 j999:16 j1000:16 j1001:16 j1002:16 j1003:16 j1004:16 j1005:16 j1006:16 j1007:16 j1008:16 j1009:16 j1010:16 j1011:16 j1012:16 j1013:16 j1014:16 j1015:16 j1016:16 j1017:16 j1018:16 j1019:16 j1020:16 j1021:16 j1022:16 j1023:16)
|
|
[2026-10-07T19:23:05Z] SKIP RESULT: lines derived under j + 1 blocks by any template: 16368 of 16384 (gate 0; a plant must read above 0) PASS
|
|
[2026-10-07T19:23:06Z] rank j=1: samples 4096, columns 1025 (x bits, line bits, 1): rank(x_j, line_j) 1025 rank(line_j-1, line_j) 1025 FULL
|
|
[2026-10-07T19:23:06Z] rank j=2: samples 4096, columns 1025 (x bits, line bits, 1): rank(x_j, line_j) 1025 rank(line_j-1, line_j) 1025 FULL
|
|
[2026-10-07T19:23:06Z] rank j=512: samples 4096, columns 1025 (x bits, line bits, 1): rank(x_j, line_j) 1025 rank(line_j-1, line_j) 1025 FULL
|
|
[2026-10-07T19:23:06Z] rank j=1023: samples 4096, columns 1025 (x bits, line bits, 1): rank(x_j, line_j) 1025 rank(line_j-1, line_j) 1025 FULL
|
|
[2026-10-07T19:23:06Z] rank pooled j>=1: samples 4096, rank(x_j, line_j) 1025 of 1025 FULL
|
|
[2026-10-07T19:23:06Z] dependence: 4096 lines, 512 x 512 flip table: worst cells z +4.88 / -4.53 (gate 6), zero cells 0 of 262144; word table min 4096 of 4096 (every output word changes when any input word changes: YES); 0.1 s
|
|
[2026-10-07T19:23:06Z] partial knowledge: output words computable from a proper subset of the 16 input words: 0 of 16 (gate 0)
|
|
[2026-10-07T19:23:06Z] inversion: 16368 lines: Cinv(line_j) = x_j directly 16368; fixed-point iteration x <- Cinv(y - x) converged 16368 (gate 0; the plant must read all); 0.0 s
|
|
[2026-10-07T19:23:06Z] skip done in 0.6 s
|
|
lease: released 88 pool cores after 1 s, exit 0
|