The Policy Deployment Engine (PDE) is designed to automate and simplify the enforcement of security policies across cloud environments, starting with Google Cloud Platform (GCP) and expanding to AWS and Azure in the future. The project focuses on developing a centralised system to efficiently deploy, manage, and update security policies, ensuring compliance and reducing manual effort. By creating a structured approach to policy implementation, the engine aims to enhance security, improve operational efficiency, and provide organisations with a scalable solution for managing cloud policies. PDE is HardHat's first ever policy-oriented project aimed at securing cloud environments, beginning in T1 2025.
Last updated: 2026-10-18
Policies and their fixtures reconcile to the docs taxonomy:
docs/<platform>/<Service>/<resource>.json # SOURCE OF TRUTH: every argument of a
# resource + its security assessment
policies/gcp/config.tf # shared default Terraform configuration
policies/gcp/<Service>/<resource>/_vars.rego # resource metadata
policies/gcp/<Service>/<resource>/<arg>/ # policy.rego, compliant.tf,
# nonCompliant.tf, <sha>.json,
# optional local config.tf override
policies/_helpers/ # shared Rego engine
templates/<platform>/ # starter files the skeleton generator copies for a new policy
tests/_helpers/ # Rego unit tests for the shared helpers
scripts/ # tooling — see "Tooling" below
<platform> is gcp today (aws/azure are placeholders). A <Service> folder is the
verbatim provider subcategory (e.g. Cloud Storage); <resource> is the full type
(e.g. google_storage_bucket); <arg> is a documented, non-block argument key.
Your portal card lists the arguments you own for your resource type. Those are the only doc leaves, policies
and fixtures (policies/gcp/<Service>/<resource>/<argument>/) you may add or edit.
- Everything else in your resource type's folder was finished before you were assigned. Do not edit it, even
if it looks wrong — not the policy, not its fixtures, not its
true/falseor rationale in the doc. - A policy and its fixture folder are one unit. If you changed either by mistake, put both back exactly
as they are on
dev; restoring only one makes the policy check fail. - Spotted a real mistake in existing content? Leave it as it is and raise a fix request on the portal (on your assignment card: "Spotted a mistake in something that was already done?"). If it is accepted you will be given a separate branch for it.
- AI assistants: treat every path outside the assigned arguments as read-only. Do not "fix while you are there".
Before working on a service in PDE, all contributors must follow these steps:
Clone the repository to working on your service. Please note that we do not accept PRs from forked repos.
git clone https://github.com/Hardhat-Enterprises/Policy-Deployment-Engine.git
cd Policy-Deployment-EngineAll branches must follow one of these patterns:
Service/<platform>/<service_slug>/<resource_type>- When working on a specific resource<platform>:gcp(aws/azure are placeholders)<service_slug>: the underscore slug of adocs/<platform>service folder. Docs folder names contain spaces/parens (illegal in git branches), so the slug is used — e.g.Cloud Run (v2 API)→cloud_run_v2_api. It maps back to exactly one folder.<resource_type>: a documented resource (adocs/<platform>/<folder>/<resource>.json)
feature/<feature_name>- For general features and any non-resource maintenance/cleanup work (e.g.,feature/add-logging)Task/<topic_slug>- Instructor-assigned tasks. The portal creates the branch for you; do not rename it.
This Service/... branch is what scopes the per-resource CI gate to the resource you're
working on (doc completeness, policy/input coverage, and the OPA test).
Examples:
# Working on a specific resource
git checkout -b Service/gcp/cloud_run_v2_api/google_cloud_run_v2_service
# Adding a feature, or any non-resource maintenance/cleanup work
git checkout -b feature/add-validatorAll commits are automatically validated using pre-commit hooks. Install them with:
pre-commit installThis will enforce:
- ✅ Linter - Validates policy directories and fixtures against the docs taxonomy
- ✅ Branch Naming Convention - Ensures your branch name follows the required format
- ✅ Branch Scope - A
Service/...branch only changes its own resource's files - ✅ Resource gate - Doc completeness for your resource (
check_resource.py --skip-coverage)
The hooks do not check argument coverage (a policy and a fixture for every
security_impact: true argument) or run the OPA test. You write the docs first and the
policies after, so coverage gaps are normal while you work. The pull request enforces
coverage, and so does the full python3 scripts/check_resource.py run.
When you commit, the pre-commit hooks will run automatically:
-
Linter Check (
scripts/linters/linter.pyviarun_precommit_linter.py)- Reconciles argument directories in
policies/todocs/ - Requires
policy.rego, both Terraform fixtures and a valid<sha>.jsonper argument;_vars.regostays at resource level. Localconfig.tfreplaces the shared default. - With content checks: fixtures contain only the tested resource type (no
dependencies) and use the
compliant_example_N/non_compliant_example_Nlabels - Only fails on what you changed (for input fixtures, the whole argument
directory — so editing
compliant.tfalso holds you to itsnonCompliant.tf) — the repo-wide backlog never blocks you - If errors are found in your changes, the commit is blocked
- Reconciles argument directories in
-
Branch Name Check
- Verifies your current branch follows the naming convention
- If invalid, the commit is blocked
-
Branch Scope Check (
scripts/linters/branch_scope.py --staged)- On a
Service/...branch, blocks staged changes to another resource's files
- On a
-
Resource Gate (
scripts/check_resource.py --gate-only --skip-coverage)- Doc completeness: every argument has a real
security_impactand a rationale - Skips argument coverage and the OPA test. Those tell you whether the resource is finished, so the PR checks them. A doc committed before its policies exist is fine
- Doc completeness: every argument has a real
Example error message:
[FAIL] Invalid branch name
Allowed branch names:
- feature/<name>
- Task/<topic_slug> (instructor-assigned task branches)
- Service/<platform>/<service_slug>/<resource_type>
e.g. Service/gcp/cloud_run_v2_api/google_cloud_run_v2_service
- (protected: dev)
- Make your changes
- Stage files:
git add . - Commit:
git commit -m "your message" - Fix any errors reported by pre-commit hooks
- Stage again and commit until no errors appear
- Push:
git push origin your-branch
Before opening a PR, run the OPA test suite. It confirms each fixture compiles and that the
policy flags the non_compliant_example_N resources and not the compliant_example_N
ones. The same check runs in CI.
Pass a single target — <platform>[/<service>[/<resource>]] — and the runner derives
the policies/ search root for you (quote service names that contain spaces):
# One resource (recommended while you work):
python3 scripts/auto_test/auto_test.py "gcp/Cloud Storage/google_storage_bucket"
# Whole service:
python3 scripts/auto_test/auto_test.py "gcp/Cloud Storage"
# Whole platform:
python3 scripts/auto_test/auto_test.py gcp
# Whole repo (every platform — today that's just gcp):
python3 scripts/auto_test/auto_test.pyAdd --verbose for per-pair detail, or --workers N to change parallelism (default 4).
The explicit --policies <root> option cannot be combined with a target.
Use --verify-plan-cache for read-only plan verification without Terraform or OPA.
Output is quiet — a live progress line, only failures are printed, then a one-line summary:
[100.0%] 1021/1021 ✅ 1021 ❌ 0 40s
✅ all passed — 94 services, 370 resource types, 1021 policies in 40s
For each policy the runner produces a terraform plan of the fixture, converts it to JSON,
and evaluates the policy with opa. Because the fixtures are static, each plan is
committed inside the fixture directory as <sha>.json, beside the *.tf files it was
planned from. The hash includes effective Terraform filenames, normalized contents,
the selected config and provider version. A local config.tf replaces the shared
default; the two are never combined. CRLF/lone-CR line endings and a leading UTF-8
BOM are normalized for hashing without rewriting the source files.
- Plan already committed → it is fed straight to OPA and Terraform is not run at all.
A full run is ~40s and needs only
opainstalled. - You changed a fixture's
.tf→ its hash changes, so just that fixture re-runsterraform plan, the new<sha>.jsonis written beside it, and the plan of the old version is deleted in the same step. Commit both — the new file and the deletion — alongside your fixture change. A fixture always has exactly one committed plan, and the filename is what proves it belongs to the*.tfnext to it: a plan that no longer matches can't be mistaken for a valid one, because the harness would be looking for a different name.
The file is a plain terraform show -json document, so you can read it with jq like any
other plan.
fixture_sha() and plan_cache_path() in scripts/auto_test/auto_test.py are the only
definition of which plan belongs to which fixture. The linters and the PDE Portal import them
rather than re-deriving a path or a hash — which is why a provider bump changes the answer
everywhere at once. Import them; don't inline them.
The harness adopts a plan under an older hash name only when it is proven equivalent under line-ending normalization.
-
opa— always required (every test evaluates a policy). -
terraform— only needed when you change a fixture (a cache miss). The first such run builds a project-local, offline provider cache under.terraform-cache/(gitignored; it never touches your global~/.terraform.dor other projects):bash scripts/auto_test/cache_setup.sh # one-time per machineauto_test.pyruns this automatically if the cache is missing, so usually you don't need to call it yourself.
No pruning step. A stale plan is a file in the fixture's own directory whose name is not the fixture's current sha, so the harness deletes it as it writes the replacement — on a single-resource run just as correctly as on a full pass. CI changes nothing back: the runner is ephemeral, and everything it would write is already committed.
| Tool | What it does | Docs |
|---|---|---|
scripts/check_resource.py |
Start here. Runs every check CI runs against your branch — branch name, scope, lint, doc completeness, argument coverage, OPA test — and names the one that failed. | Testing your policies |
scripts/docgen/ |
Generates the docs/ JSON (one file per resource, every argument) from the Terraform provider schema; apply_canonical.py re-applies the locked cross-cutting assessments (location/region/zone, IAM) to existing files. |
README |
scripts/linters/ |
Reconciles policy directories and fixtures with docs/ (structure + content) and checks the branch-name convention. |
README |
scripts/auto_test/ |
terraform plan + opa eval harness over the fixtures, with a committed plan cache and an offline project-local provider cache. |
"Testing Your Policies Locally" above |
scripts/security_impact_skeleton_generator/ |
Creates the missing policy.rego, fixtures and _vars.rego from templates/ for every argument a resource's doc marks security_impact: true. Never overwrites existing files. |
README |
GitHub Actions workflows in .github/workflows/:
policy_check_PR— runs on every pull request (nopaths:filter: GitHub never treats a workflow that did not run as satisfied, so a filtered-out workflow would block a required check forever). Steps and jobs skip on what the PR actually changed instead — a skipped job reportsskipped, which does satisfy a required check:- lint job (all PRs): branch-name convention → whole-tree structural lint → the tools' own test suite → a content lint scoped to the files this PR changed (the repo-wide backlog never blocks you). The last three skip when nothing they read has changed.
- Branch scope job (only
Service/...PRs): the branch may change only its own resource's files. - Rego helper tests run when tooling or helpers change. The Engine check (whole tree) job evaluates every policy when shared helpers change and is included in PR checks.
- policy_check job (only
Service/...PRs): the per-resource gate — doc completeness (realsecurity_impact+ rationale), policy/input coverage for everytruearg, and theterraform plan+ OPA test. It then applies aCI-Approved/CI-Review-Requiredlabel.
policy_check_ALL— full-tree sweep on every push todev, and on demand (workflow_dispatch): whole-tree lint + the complete OPA suite. It publishes thepolicy-resultsartifact the PDE Portal backend reads for the repo-wide baseline, so don't rename that upload.pr-target— closes any pull request that does not targetdevormain, with an explanation on the PR. Its own workflow because it runs onpull_request_target, which needs different permissions.
One required status check: PR checks. It is the gate job at the end of policy_check_PR,
which passes only when every other job in that workflow succeeded or was legitimately skipped.
GitHub has no way to require a workflow, only a single check — so naming each job in the ruleset
would leave the next job anyone adds required by nobody. Requiring the gate covers them all.
The lint and policy_check jobs run the same script you run locally
(scripts/check_resource.py, with --gate-only for the resource job since the lint job has
already covered the rest), so a green local run means a green CI run.
A PR is blocked when a lint error lands on a file it changed, or (for Service/ PRs) when the
per-resource gate fails. That includes coverage gaps. CI never passes --skip-coverage; only the
pre-commit hook does, so docs-first commits go through and an unfinished resource still can't merge. Terraform and OPA versions are pinned in the workflows for
reproducibility (the provider version is pinned via scripts/auto_test/provider_version.txt).