4d7d18183be26673221121fe21a989215f8a76600e5db0a1311aad64a0afcdaa — block 898457, tapscript 945,706 B, 497 witness items.（link)8ecfefd438a229c7cea10f6973f49d8bbe3a620fd557f7f2cb3658ac59510249 — block 899747, tapscript 3,941,840 B, 859 witness items.(link)~9 days apart (2025-05); fee ≈ $785 and $11580; flagged Non-Standard.Opcode profile (push-aware): hundreds of thousands of OP_ADD / OP_PICK / OP_ROLL / OP_SUB, OP_TOALTSTACK/OP_FROMALTSTACK (alt-stack as memory), OP_IF/OP_ENDIF ~150k each, OP_HASH160 ladders; no signature opcode.Questions: (1) Are these BitVM2 mainnet disprove scripts? (2) What computation do they encode (and which step/gate)? (3) Is the deployment publicly documented (operator / repo)?