prolog8 26.7.1

Prolog8 — byte-capped proof engine for policy, workflow, and agent action admission
Documentation