export interface CloudResource {
  id: string;
  type: string;
  properties: Record<string, any>;
  tags: Record<string, string>;
  region: string;
}

export interface PolicyResult {
  passed: boolean;
  policyId: string;
  message: string;
  severity: 'critical' | 'warning' | 'info';
}

export type PolicyFn = (resource: CloudResource) => PolicyResult;

export class GovernanceEngine {
  private policies: Map<string, PolicyFn> = new Map();

  registerPolicy(id: string, fn: PolicyFn): void {
    this.policies.set(id, fn);
  }

  evaluate(resources: CloudResource[]): PolicyResult[] {
    const results: PolicyResult[] = [];
    for (const resource of resources) {
      for (const [id, policy] of this.policies) {
        results.push(policy(resource));
      }
    }
    return results;
  }

  getBlockingViolations(results: PolicyResult[]): PolicyResult[] {
    return results.filter(r => !r.passed && r.severity === 'critical');
  }
}

// Policy: Enforce Encryption on Storage
const enforceEncryption: PolicyFn = (resource) => {
  if (resource.type === 'AWS::S3::Bucket') {
    const hasSSE = resource.properties.ServerSideEncryptionConfiguration;
    return {
      passed: !!hasSSE,
      policyId: 'SEC-001',
      message: 'S3 buckets must have S

erver-Side Encryption enabled.', severity: 'critical' }; } return { passed: true, policyId: 'SEC-001', message: '', severity: 'info' }; };

// Policy: Mandatory Cost Allocation Tags const enforceTags: PolicyFn = (resource) => { const requiredTags = ['CostCenter', 'Environment', 'Owner']; const missingTags = requiredTags.filter(tag => !resource.tags[tag]);

return { passed: missingTags.length === 0, policyId: 'COST-001', message: missingTags.length > 0 ? Missing required tags: ${missingTags.join(', ')} : '', severity: 'warning' }; };

// Policy: Region Restriction const enforceRegion: PolicyFn = (resource) => { const allowedRegions = ['us-east-1', 'us-west-2', 'eu-central-1']; return { passed: allowedRegions.includes(resource.region), policyId: 'NET-001', message: Resource deployed in restricted region: ${resource.region}, severity: 'critical' }; };

#### 4. Integration with CI/CD

The governance engine integrates into the pipeline. In a real-world scenario, this runs as a pre-deployment check.

```typescript
import { GovernanceEngine, enforceEncryption, enforceTags, enforceRegion } from './governance';

async function runGovernanceCheck(resources: CloudResource[]): Promise<void> {
  const engine = new GovernanceEngine();
  engine.registerPolicy('SEC-001', enforceEncryption);
  engine.registerPolicy('COST-001', enforceTags);
  engine.registerPolicy('NET-001', enforceRegion);

  const results = engine.evaluate(resources);
  const violations = engine.getBlockingViolations(results);

  if (violations.length > 0) {
    console.error('Governance Check Failed:');
    violations.forEach(v => console.error(`  - [${v.policyId}] ${v.message}`));
    process.exit(1); // Block deployment
  }

  // Log warnings for non-blocking issues
  const warnings = results.filter(r => !r.passed && r.severity === 'warning');
  if (warnings.length > 0) {
    console.warn('Governance Warnings:');
    warnings.forEach(w => console.warn(`  - [${w.policyId}] ${w.message}`));
  }
}

export { runGovernanceCheck };

5. OPA Integration for Kubernetes

For Kubernetes environments, delegate policy evaluation to OPA Gatekeeper. The TypeScript engine can generate OPA policy bundles or validate admission requests.

// Example: Generating OPA ConstraintTemplate for TypeScript-based policy sync
export function generateOpaConstraintTemplate() {
  return {
    apiVersion: templates.gatekeeper.sh/v1,
    kind: ConstraintTemplate,
    metadata: { name: 'k8senforceregion' },
    spec: {
      crd: { spec: { names: { kind: 'K8sEnforceRegion' } } },
      targets: [{
        target: admission.k8s.gatekeeper.sh,
        rego: `
          package k8senforceregion
          violation[{"msg": msg}] {
            input.review.operation == "CREATE"
            allowed := ["us-east-1", "us-west-2"]
            not allowed[input.review.object.metadata.labels["region"]]
            msg := sprintf("Region %v is not allowed", [input.review.object.metadata.labels["region"]])
          }
        `
      }]
    }
  };
}

Rationale

This architecture ensures idempotency of governance. Policies are defined once and applied everywhere. The TypeScript layer provides flexibility for custom logic, integration with existing developer tooling, and type safety. OPA handles high-performance admission control in Kubernetes. The separation of policy definition from enforcement allows security teams to update policies without modifying application code, while developers receive immediate feedback in their IDE or PR checks.

Pitfall Guide

1. Policy Paralysis: Implementing too many enforced policies initially causes high friction and deployment failures.
   • Best Practice: Start with advisory mode for all policies. Gradually move to enforced mode as teams adapt. Use a "grace period" for new policies.
2. Ignoring Exception Workflows: Developers will find workarounds if exceptions are impossible.
   • Best Practice: Implement an automated exception process via PR. Exceptions must require approval, have an expiration date, and be visible in dashboards.
3. Performance Bottlenecks in CI: Running heavy policy evaluations in the CI pipeline can increase build times significantly.
   • Best Practice: Cache policy results where possible. Run lightweight static analysis in CI and defer deep scans to async post-deployment checks. Optimize Rego queries for performance.
4. Drift Detection Gaps: Relying solely on preventive controls misses configuration changes made outside IaC (e.g., console edits).
   • Best Practice: Implement continuous drift detection using cloud-native tools (AWS Config, Azure Policy) that trigger auto-remediation or alerts when runtime state diverges from policy.
5. Siloed Cost and Security Governance: Treating cost and security as separate domains leads to conflicting policies.
   • Best Practice: Unified policy framework. A single governance dashboard should display risk scores combining security compliance and cost efficiency. Correlate tags with cost allocation.
6. False Positives in Policy Logic: Overly broad policies that trigger on legitimate edge cases erode trust.
   • Best Practice: Rigorous unit testing for policies. Include positive and negative test cases. Review policy hits weekly to refine logic.
7. Vendor Lock-in via Native Tools: Relying exclusively on AWS SCPs or Azure Policy limits multi-cloud portability.
   • Best Practice: Use OPA for cross-cloud policy logic. Map native controls to a unified policy schema. Abstract cloud-specific implementations behind a governance interface.

Production Bundle

Action Checklist

• Audit Current State: Scan existing infrastructure for compliance drift, cost waste, and security misconfigurations to establish a baseline.
• Select Policy Engine: Deploy OPA for unified policy management or select cloud-native equivalents if single-cloud; integrate with CI/CD.
• Define Critical Policies: Implement top 5 policies immediately: Encryption at rest, Public access denial, Mandatory tagging, Region restrictions, Least-privilege IAM.
• Integrate Shift-Left Checks: Embed policy evaluation in Pull Request pipelines; configure blocking for critical violations.
• Establish Exception Workflow: Create a GitOps-based exception process with automated expiration and approval gates.
• Enable Continuous Monitoring: Configure drift detection and auto-remediation for runtime resources; set up alerts for policy violations.
• Implement Feedback Loops: Create dashboards for developers showing governance scores; run quarterly reviews to optimize policy performance.

Decision Matrix

Scenario	Recommended Approach	Why	Cost Impact
Startup / High Velocity	Advisory GaC + Automated Remediation	Prioritizes speed while capturing cost/security data; auto-remediation reduces manual overhead.	Low initial cost; reduces waste by ~15% quickly.
Enterprise / Regulated	Enforced GaC + OPA + Audit Logging	Strict compliance requirements demand blocking controls and immutable audit trails.	Higher implementation cost; prevents catastrophic compliance fines.
Multi-Cloud Strategy	OPA Centralized Policy + Cloud Abstraction	Unified policy engine avoids duplication across clouds; abstraction layer handles provider differences.	Moderate cost; reduces operational overhead by 40% vs siloed tools.
Kubernetes Heavy	OPA Gatekeeper + Kyverno	Native admission control provides real-time enforcement; Kyverno offers K8s-native policy syntax.	Low cost; leverages existing cluster resources efficiently.
Legacy Migration	Drift Detection + Tag Enforcement	Focus on visibility and cost allocation first; enforce security policies as resources are modernized.	Immediate cost visibility; enables phased security improvements.

Configuration Template

OPA Policy: Enforce Encryption and Tagging (Rego)

Save as policies/cloud_enforcement.rego. This policy can be loaded into OPA or Gatekeeper.

package cloud.enforcement

import rego.v1

# Deny S3 buckets without encryption
deny[msg] {
    input.resource.type == "AWS::S3::Bucket"
    not input.resource.properties.ServerSideEncryptionConfiguration
    msg := "SEC-001: S3 bucket must have Server-Side Encryption enabled."
}

# Deny resources in restricted regions
deny[msg] {
    allowed_regions := ["us-east-1", "us-west-2", "eu-central-1"]
    not allowed_regions[_] == input.resource.region
    msg := sprintf("NET-001: Resource deployed in restricted region: %s", [input.resource.region])
}

# Warning for missing cost tags
warn[msg] {
    required_tags := ["CostCenter", "Environment", "Owner"]
    missing := required_tags - object.keys(input.resource.tags)
    count(missing) > 0
    msg := sprintf("COST-001: Missing tags: %v", [missing])
}

# Helper to check if resource violates any deny rule
is_violation := count(deny) > 0

TypeScript CI/CD Integration Script

// ci/governance-check.ts
import { runGovernanceCheck } from '../src/governance';
import { parseIaCOutput } from './parser'; // Parse Terraform/CDK output

async function main() {
  const resources = await parseIaCOutput(process.env.IAC_PLAN_FILE);
  await runGovernanceCheck(resources);
}

main().catch(err => {
  console.error('Governance check failed:', err);
  process.exit(1);
});

Quick Start Guide

1. Initialize Policy Repository: Create a Git repository for governance code. Add opa CLI and testing framework. Structure: policies/, tests/, ci/.
2. Write First Policy: Create a Rego policy blocking public S3 buckets. Write unit tests using opa test. Verify pass/fail cases.
3. Integrate into Pipeline: Add a step in your CI/CD config to run opa eval or your TypeScript governance check against IaC plans. Configure the step to fail on critical violations.
4. Deploy to Cluster: If using Kubernetes, install OPA Gatekeeper via Helm. Apply the ConstraintTemplate and Constraint from your policy repo.
5. Validate: Attempt to deploy a non-compliant resource. Verify the pipeline blocks the deployment or the cluster denies the admission request. Check logs for policy messages.

Governance is not a destination; it is a continuous engineering practice. By codifying policies, automating enforcement, and providing immediate feedback, organizations achieve the balance of agility, security, and cost control required for sustainable cloud operations.