Here is a more detailed documentation section on the script machine as suggested by Eric:
https://github.com/libbitcoin/libbitcoin/wiki/Script-Machine
It's a little long. Comments very welcome as always. Next: revise previous script verification chapters for consistency, update with ver4 new script::verify() signature