A deterministic remediation compiler for Azure, AWS, Google Cloud, Kubernetes and Infrastructure as Code. It transforms normalized findings into cost-aware, blast-radius-scored, review-gated change proposals—and verifies whether the deployed state actually satisfied the intended control.
The product is not “AI fixes cloud security.” It is an auditable decision envelope that tells an engineer what change is proposed, what it may cost, what it may break, what must be tested, and what evidence will prove the outcome.
| Workflow | Proposed change | Required proof |
|---|---|---|
| Azure Storage public access | Private access and Private DNS design | Approved connectivity tests and post-change policy result |
| AWS S3 public exposure | Account/bucket public-access controls | Intended-public-content review and Security Hub recollection |
| GCP public bucket | Public Access Prevention and IAM review | Consumer-path validation and SCC recollection |
| Kubernetes privileged workload | Security context and admission policy | Workload tests and admission/runtime evidence |
| Cloud logging disabled | Provider-native log pipeline | Ingestion test, retention check and measured cost |
flowchart LR
A[Azure / AWS / GCP bridges] --> U[Unified observation contract]
B[Kubernetes / Checkov / OPA] --> U
U --> M[Rule and context match]
M --> R[Blast-radius model]
M --> C[Cost assumptions]
R --> P[Review-gated change proposal]
C --> P
P --> T[Test and rollout plan]
T --> H[Human approval]
H --> D[External deployment pipeline]
D --> V[Post-change observation]
V --> E[Verification receipt]
E --> O[CISO Assistant / OSCAL / SARIF]
Python 3.11+ with no runtime dependencies:
python3 -m venv .venv
source .venv/bin/activate
python -m pip install -e .
control-loop compile \
--input examples/azure-storage-public.json \
--rules config/rules.json \
--output generated/azure-storage-public
control-loop verify \
--proposal generated/azure-storage-public/proposal.json \
--post-change examples/azure-storage-remediated.json \
--output generated/azure-storage-public/verification.jsonRun all workflows and tests:
bash scripts/validate.shEach compilation produces:
proposal.json— machine-readable decision envelopeproposal.md— architecture-review summaryremediation/README.md— provider-specific implementation scaffoldverification-contract.json— exact expected post-change invariant
The compiler never applies infrastructure changes, opens pull requests, or calls cloud APIs. Those integrations are explicit roadmap items and must preserve the same approval boundary.
Checked-in evidence/reference artifacts are generated from synthetic fixtures. They prove deterministic behavior, not production deployment or financial results.
Cost outputs are scenarios derived from version-controlled assumptions, not cloud quotes. Every proposal includes low, expected and high monthly deltas; engineering effort assumptions; confidence; and conditions requiring live pricing validation. See unit economics.
The input contract is compatible with normalized observations emitted by:
- CISO Assistant Azure Compliance Automation
- CISO Assistant AWS Compliance Automation
- CISO Assistant GCP Compliance Automation
See architecture, safety model, and production roadmap.
Need the control loop adapted to a landing zone, platform engineering workflow, regulated workload or managed CloudOps service? Request an A2Z SOC architecture engagement.