warriors/trisha/baselines/triton/os/neptune/locks/generation.tasm

// Hand-optimized TASM baseline: os.neptune.locks.generation

// Simplest Neptune lock: divine secret, hash, assert matches lock hash.
// Then read kernel MAST hash to bind proof to transaction.

// main: no args, no return
os_neptune_locks_generation__main:
    divine 5
    divine 1
    push 0
    push 0
    push 0
    push 0
    push 0
    push 0
    push 0
    push 0
    push 0
    swap 9
    swap 1
    swap 8
    swap 1
    swap 2
    swap 7
    swap 2
    swap 3
    swap 6
    swap 3
    swap 4
    swap 5
    swap 4
    hash
    swap 4
    swap 1
    swap 3
    swap 1
    assert_vector
    pop 5
    read_io 5
    pop 5
    return

// verify_key is internal to multisig, not present here