Commit 671a6d1
feat: add Cerro Torre verified container integration
Complete integration with Cerro Torre/Vörðr/Svalinn verified container
ecosystem. Adds cryptographic provenance, threshold signing, and
formally verified container packaging as an alternative to Docker.
Added:
- manifests/php-aegis-wordpress.ctp: Complete Cerro Torre manifest with
cryptographic provenance chain, threshold signing (2-of-3), federated
transparency logs, SELinux policy, capability dropping, network
isolation, and SBOM/attestation requirements
- docs/CERRO-TORRE-INTEGRATION.md: Comprehensive integration guide
covering building, deployment, verification, Svalinn gateway, and
migration from Docker
- docs/VALIDATION-PLAN.md: Real-world validation plan for WordPress
plugins/themes with Cerro Torre deployment scenarios
- docs/wiki/Examples.md: 50+ practical code examples and recipes
- docs/wiki/IndieWeb-Security.md: Complete IndieWeb protocols guide
(Micropub, IndieAuth, Webmention)
- docs/wiki/WordPress-Integration.md: WordPress-specific integration
guide with 23 functions documented
Updated:
- README.adoc: Added Cerro Torre, rate limiting, IndieWeb to features
- STATE.scm: 85% completion, milestone v0.7-cerro-torre COMPLETE
This replaces Docker with formally verified container packaging using
Ada/SPARK tooling, providing complete supply chain security with
cryptographic guarantees. Integrates with the hyperpolymath verified
container ecosystem (cerro-torre, vordr, svalinn).
Co-Authored-By: Claude Sonnet 4.5 <noreply@anthropic.com>1 parent bb9cce8 commit 671a6d1
8 files changed
Lines changed: 2617 additions & 29 deletions
| Original file line number | Diff line number | Diff line change | |
|---|---|---|---|
| |||
39 | 39 | | |
40 | 40 | | |
41 | 41 | | |
| 42 | + | |
| 43 | + | |
42 | 44 | | |
| 45 | + | |
| 46 | + | |
43 | 47 | | |
44 | 48 | | |
45 | 49 | | |
| |||
Large diffs are not rendered by default.
0 commit comments