feat(contract-check): static checks for encrypted-type boundary rules - #341

Draft

alexshchur wants to merge 6 commits into

feat/contract-check-master

Commits on Aug 24, 2026

feat(contract-check): static checks for encrypted-type boundary rules
alexshchur
committed
200456f
docs(contract-check): rule reference and pipeline usage
alexshchur
committed
f78284e
feat(contract-check): verify external inputs carry proofs; make placement opt-in
alexshchur
committed
dce1246
feat(contract-check): implement receive-variant via local origin analysis
alexshchur
committed
701cec0
chore(contract-check): satisfy repo CI conventions
alexshchur
committed
171721d
chore: lockfile entry for @cofhe/contract-check
alexshchur
committed
04f77ed