{"count":4,"tools":[{"name":"a11oy_gate","description":"Run a11oy policy gate on an action plan","flagship":"a11oy"},{"name":"lambda_score","description":"Compute Λ-score for a set of axes","flagship":"a11oy"},{"name":"khipu_sign","description":"Sign a receipt with Khipu DAG","flagship":"a11oy"},{"name":"khipu_verify","description":"Verify a Khipu DAG receipt","flagship":"a11oy"}],"doctrine":"v11","flagship":"a11oy","kernel_commit":"c7c0ba17","slsa_level":"L1 honest","lambda_uniqueness":"Conjecture 1 — NOT a theorem"}