Spaces:
Running
Running
File size: 1,354 Bytes
a6a5d8e | 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 | # @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.
|