Here is a labored instance utilizing your script 007551 (OP_0 OP_DROP OP_1), single leaf, no key-path spend.
Inner key: Since this script wants no key-path spend, use the BIP341 NUMS level (no recognized discrete log):
50929b74c1a04954b78b4b6035e97a5e078a5a0f28ec96d547bfee9ace803ac0
Step 1 — tapleaf_hash:
TaggedHash("TapLeaf", 0xc0 || 0x03 || 007551)
= d9e0621835101e59c213bce49a377dee8c77c914b00d67d20a381344c3ac58c2
Step 2 — merkle_root: Single leaf, so merkle_root = tapleaf_hash.
Step 3 — tweak:
t = TaggedHash("TapTweak", internal_key || merkle_root)
= 9b7b26c1061fb568209a67fc493744a70eb54339462edc31e90a2ce744b1f0a9
Step 4 — output key:
Q = lift_x(internal_key) + int
output_key = x(Q) = 45bcb4154320bdc23a6b6b4643b980ca5ef54c9820b74c2e90d82bd85c506a20
Step 5 — scriptPubKey and tackle:
scriptPubKey = 5120 45bcb4154320bdc23a6b6b4643b980ca5ef54c9820b74c2e90d82bd85c506a20
tackle (mainnet) = bc1pgk7tg92ryz7uywntddry8wvqef002nycyzm5ct5smq4ashzsdgsqnlqxcs
Step 6 — management block (for spending):
c050929b74c1a04954b78b4b6035e97a5e078a5a0f28ec96d547bfee9ace803ac0
That is (0xc0 | parity_bit) || internal_key. Merkle path is empty for a single leaf.
The witness stack for spending is: the place the script itself satisfies execution (OP_0 OP_DROP OP_1 leaves 1 on the stack).
I verified this by funding this tackle and spending by way of script-path on regtest.
