bend-osdev-caps@0.1.0.0/LAWS.bend bend-osdev-caps@0.1.0.0/PROOF.bend bend-osdev-caps@0.1.0.0/adjust.bend bend-osdev-caps@0.1.0.0/caps.bend bend-osdev-caps@0.1.0.0/check.bend bend-osdev-caps@0.1.0.0/exec.bend bend-osdev-caps@0.1.0.0/package.bend