Files

T

Jon Chery e74a8c2f5d feat(P42): stub implementation — SoD, HITL gates, attestation matrix, Wiz, Kyverno

---ci---
project: acdl
phase: 42
milestone: v1.9
status: execute
---/ci---

Phase 42 — stub-implementation (REQ-107..111, D-084):

route_halt_artifact (REQ-107):
- core/separation_of_duties.py: real SNS publish (ACDL_SOD_HALT_TOPIC_ARN)
  + outbox fallback (SEPARATION_OF_DUTIES_VIOLATION event via
  outbox_writer) + stderr emission. No silent print-only stub.
- terraform/platform/main.tf: aws_sns_topic.acdl-sod-halt + output.

HITL attestation gates (REQ-108):
- core/hitl_gates.py: attest(contract_id, env, approver, evidence,
  outbox_client) records approver_qa/approver_prod/approver_dr to
  outbox, runs SoD check on prod, invokes attestation matrix, returns
  (ok, reason). Dev skips (autonomous). approver_from_env() reads
  GITHUB_ACTOR/GITEA_ACTOR.
- scripts/run_platform.sh: Step 7b HITL gate before apply for qa/prod/dr.

8-concern attestation matrix (REQ-109, D-084):
- core/attestation_matrix.py: check(env, evidence) runs the 8 concerns
  from hitl_matrix_design.md §10.4. Offline-testable (contract_nfrs,
  schema_validity, policy_pass) run for real. Operator-supplied accept
  signed artifacts validated for freshness (FRESHNESS_DAYS table) +
  schema. Signature skip when ACDL_ATTESTATION_SIGNING_KEY_ID unset
  (D-089). Fail loud if missing/expired for prod/dr.

Wiz real client (REQ-110):
- adapters/wiz/wiz_adapter.py: WizClient (GraphQL API, Bearer auth,
  pagination via pageInfo.hasNextPage + endCursor). fetch_and_adapt
  translates issues → PolicyCheckResult; graceful degrade when
  WIZ_API_TOKEN/WIZ_API_URL unset.

Kyverno fleshed out (REQ-111):
- adapters/kyverno/kyverno_adapter.py: full PolicyReport →
  PolicyCheckResult mapping (pass/fail/skip/warn + severity + skip-with-
  reason + resource ref construction from kind/name/namespace).
  adapt_inactive() emits KYVERNO_INACTIVE_TF_STACK guard. --kube-version
  stub parsed for future GitOps.

Tests: +47 (test_route_halt_artifact.py, test_hitl_gates.py,
test_attestation_matrix.py, test_wiz_adapter_real_client.py, expanded
test_kyverno_adapter.py). Existing wiz_adapter tests updated for the
real client's control.name ruleId. 493 passed; run_ci.sh green;
run_platform.sh --check-only green.

2026-07-23 04:40:44 +00:00

kyverno

feat(P42): stub implementation — SoD, HITL gates, attestation matrix, Wiz, Kyverno

2026-07-23 04:40:44 +00:00

terraform

feat(P39): refresh design docs + parameterize adapter (P1-1)

2026-07-23 04:24:25 +00:00

wiz

feat(P42): stub implementation — SoD, HITL gates, attestation matrix, Wiz, Kyverno

2026-07-23 04:40:44 +00:00

.gitkeep

phase: 6, status: plan-as-execute, persona: lead-developer, task: T-6.1..T-6.4

2026-07-21 18:27:21 +00:00

README.md

docs(P36): schemas/adapters/pipelines READMEs (REQ-97, REQ-98, REQ-99)

2026-07-22 22:22:18 +00:00

README.md

ACDL Adapters

Overview

Adapters translate the substrate-agnostic Target Stack IR to substrate-specific formats. The Terraform adapter is the primary adapter (IR → HCL). Policy adapters translate security tool output into normalized PolicyCheckResult records that the confidence signal consumes in an engine-agnostic way.

Existing Adapters

Adapter	Path	Input	Output	Purpose
Terraform adapter	`adapters/terraform/adapter.py`	Stack instance JSON	Terraform HCL (`main.tf`, `terraform.tf`, `providers.tf`)	Compiles IR to Terraform
Checkov adapter	`adapters/terraform/policy/checkov_adapter.py`	Checkov JSON	`PolicyCheckResult` records	Translates Checkov results
Wiz adapter	`adapters/wiz/wiz_adapter.py`	Wiz API issues JSON	`PolicyCheckResult` records	Translates Wiz security findings
Kyverno adapter	`adapters/kyverno/kyverno_adapter.py`	Kyverno PolicyReport JSON	`PolicyCheckResult` records	K8s-native policy translation

How to Write an Adapter

Terraform Adapter Extension

Add a stack type → Terraform type mapping to TYPE_MAP.
Add non-identity input mappings to INPUT_MAP.
Add non-identity output mappings to OUTPUT_MAP.
Add a specialized _emit_resource branch if the resource needs nested blocks (e.g. inline policies, rule sets).

Policy Adapter Pattern

Define SEVERITY_MAP and RESULT_MAP dicts that translate the engine's native severity/result vocabulary to the PolicyCheckResult enums.
Implement _to_pcr(raw_record, contract_id) → PolicyCheckResult dict.
Implement adapt(input_path, contract_id) → list of PolicyCheckResult dicts.
Implement is_configured() → bool (env var check) so the platform can skip the adapter when credentials are absent.

How to Wire an Adapter

Terraform adapter — invoked by scripts/run_platform.sh Step 3 (terraform-plan).
Checkov adapter — invoked by scripts/run_platform.sh Step 5 (checkov).
Wiz / Kyverno adapters — optional Steps 5b/5c, run only when the relevant env vars are set.
All policy adapters output records that are validated against schemas/policy_check_result.schema.json.

Dependencies

jsonschema, pyyaml — used by all adapters for loading and validating inputs.
boto3 — used by the Wiz adapter for AWS API access.
checkov — used by the Checkov adapter to run policy scans.
No external deps for the Terraform adapter (pure Python).

How to Test Adapters

tests/test_adapter.py — Terraform adapter (TYPE_MAP, resource emission, refs, outputs).
tests/test_checkov_adapter.py — Checkov adapter.
tests/test_wiz_adapter.py — Wiz adapter.
tests/test_kyverno_adapter.py — Kyverno adapter.
All adapter tests load fixtures from tests/fixtures/ and use moto for AWS mocking.

Where to Write Tests

tests/test_<adapter_name>.py paired with tests/fixtures/<adapter>_fixture.json.

Adding a New Adapter

Create adapters/<name>/<name>_adapter.py.
Implement adapt() and (for policy adapters) is_configured().
Add the adapter's engine name to the engine enum in schemas/policy_check_result.schema.json if it is a policy adapter.
Write a test (tests/test_<name>_adapter.py) plus a fixture (tests/fixtures/<name>_fixture.json).
Add it to scripts/run_platform.sh if it is invoked at runtime.
Update this README.