gen-secattest-0.1.27
gen — the Security-Attestation (SecAttest) INVARIANT contract. The universal typed law that every derivation carries a COMPLETE, content-addressed, FAIL-CLOSED security verdict {signature, SBOM, CVE⊖VEX, provenance} keyed by the SAME content hash PDC uses (the attestation address = the third use of PDC clause-4's one cell), verified before use: an unverified/incomplete/tampered artifact has no run path. Ships the six-clause law, the sealed RunToken capability, the fail-closed checker + Attestable trait, and the verdict-kind CATALOG + verification MATRIX forcing-function. Security peer of gen-pdc; OSS-first (cosign/sbomnix/Trivy/osv/OpenVEX/SLSA/in-toto plug in as producers).
40 minutes ago