iam policy diff derived

{
  "input": {
    "body": {
      "after": "{\n \"Version\": \"2012-10-17\",\n \"Statement\": [\n  {\n   \"Sid\": \"ReadExports\",\n   \"Effect\": \"Allow\",\n   \"Action\": [\n    \"s3:GetObject\"\n   ],\n   \"Resource\": [\n    \"arn:aws:s3:::exports/*\"\n   ]\n  },\n  {\n   \"Sid\": \"WriteExports\",\n   \"Effect\": \"Allow\",\n   \"Action\": [\n    \"s3:PutObject\"\n   ],\n   \"Resource\": [\n    \"arn:aws:s3:::exports/*\"\n   ]\n  }\n ]\n}",
      "before": "{\n \"Version\": \"2012-10-17\",\n \"Statement\": [\n  {\n   \"Sid\": \"ReadExports\",\n   \"Effect\": \"Allow\",\n   \"Action\": [\n    \"s3:GetObject\"\n   ],\n   \"Resource\": [\n    \"arn:aws:s3:::exports/*\"\n   ]\n  },\n  {\n   \"Sid\": \"DenyProduction\",\n   \"Effect\": \"Deny\",\n   \"Action\": [\n    \"s3:DeleteObject\"\n   ],\n   \"Resource\": [\n    \"arn:aws:s3:::production/*\"\n   ]\n  }\n ]\n}"
    },
    "type": "http",
    "method": "POST",
    "bodyType": "json"
  },
  "output": {
    "type": "json",
    "example": {
      "limits": {
        "maxEnvBytes": 131072,
        "maxFindings": 500,
        "maxPlanBytes": 4194304,
        "maxResources": 5000,
        "maxStatements": 500,
        "maxPolicyBytes": 262144
      },
      "passed": false,
      "widens": true,
      "narrows": false,
      "complete": true,
      "findings": [
        {
          "code": "ALLOW_ADDED",
          "pair": "s3:PutObject on arn:aws:s3:::exports/*",
          "detail": "s3:PutObject on arn:aws:s3:::exports/* is newly allowed with no Condition."
        },
        {
          "code": "DENY_REMOVED",
          "pair": "s3:DeleteObject on arn:aws:s3:::production/*",
          "detail": "s3:DeleteObject on arn:aws:s3:::production/* was denied and is not. A Deny overrides every Allow, so removing one can widen the policy even when no Allow changed."
        }
      ],
      "equivalent": false,
      "request_id": "example-request",
      "service_id": "iam_policy_diff",
      "assumptions": [
        "The comparison is over action-and-resource pairs rather than over statements, because the pair is what grants something. A refactor that splits one statement into three therefore reports no change, wh...",
        "A newly written pair already covered by a broader unconditioned pattern is noted rather than reported as a widening, since nothing new is granted.",
        "A removed Deny is reported as a widening even when no Allow changed, because a Deny overrides every Allow."
      ],
      "limitations": [
        "The two policy documents supplied. What they are attached to, and which other policies apply, are outside this. Not a security assessment.",
        "equivalent is true only when nothing was granted, nothing was removed and nothing was left uncompared."
      ],
      "observed_at": "2026-10-02T00:00:00.000Z",
      "not_examined": [],
      "finding_count": 2,
      "service_version": "1.0.0",
      "findings_by_code": {
        "ALLOW_ADDED": 1,
        "DENY_REMOVED": 1
      },
      "after_statement_count": 2,
      "after_allow_pair_count": 2,
      "before_statement_count": 2,
      "before_allow_pair_count": 1
    }
  }
}