I want a policy that behaves like so:
- Before block 1 000 000 → spendable by a 2‑of‑3 multisig quorum (keys A, B, C)
- At / after block 1 000 000 → only spendable by a different 2‑of‑3 quorum (keys X, Y, Z); the A/B/C path should be disabled.
A naive Miniscript attempt is:
andor(
ln:after(1000000), // height check
multi(2, X, Y, Z), // “after” branch
multi(2, A, B, C) // “before” branch
)
But I believe after() can only add conditions; it cannot make the earlier A/B/C branch permanently invalid. So both 2‑of‑3 quorums remain usable forever.
Is my understanding correct, or am I missing something? Does it require a new opcode/soft-fork to “revoke” earlier spending conditions?
