packages/policy/README.md

@szl-holdings/a11oy-policy

A11oy policy loader and Layer 6 formula gates.

What is real today

• policy_loader.ts loads vertical governance policy YAML, validates it structurally and semantically, and emits a policy-load receipt.
• src/gates/ exposes five executable Layer 6 formula gates:
  • adversarialRobustnessGate
  • falsePositionGate
  • liuHuiPiGate
  • madhavaBoundGate
  • summationInvariantGate
• src/contracts/ emits receipt-backed controls, action-contract, and autonomous-learning proposal/evaluation/human-promotion envelopes.
• npm test --prefix packages/policy runs all gate and contract receipt tests.

What this is not

• Not a claim that every Lean theorem is closed.
• Not a replacement for web/packages/a11oy-core; this package is the policy boundary and formula-gate surface.
• Not a cryptographic signer. Receipts produced by the policy loader are local integrity records unless downstream signing is wired in.
• Not a cryptographic human-identity verifier. Human-promotion receipts bind declared reviewer fields; external identity proof requires a separate signer verifier.
• Not autonomous production promotion. Autonomous-learning helpers can emit and verify proposal/evaluation/promotion receipts, but deployment/publication still requires CI evidence and named human promotion.