{
  "run_id": "cdklabs--cdk-ecr-deployment-claude-haiku-5-5-1793192746326343524",
  "checker": {
    "claims": [
      {
        "claim": "The README's documented cdk synth command renders an ECR deployment custom resource for the S3 archive example",
        "command": "npx cdk synth --app 'npx ts-node examples/s3-archive.ts'",
        "evidence": "\u2026Custom::CDKECRDeployment\n    Properties:\n      ServiceToken:\n        Fn::GetAtt:\n          - CustomCDKECRDeploymentbd07c930edb94112a20f03f096f53666512MiB28EAD8E4\n          - Arn\n      SrcImage: s3://my-bucket/nginx.tar:nginx:latest\n      DestImage:\n        Fn::Join:\n          - \"\"\n          - - docker://\n            - Fn::Select:\n                - 4\n                - Fn::Split:\n                    - \":\"\n                    - Fn::GetAtt:\n                        - TargetRepo95363C3C\n                        - Arn\n            - .dkr.ecr.\n            - Fn::Select:\n                - 3\n              ",
        "expected": "CloudFormation template containing Custom::CDKECRDeployment",
        "input": "npx cdk synth --app \"npx ts-node examples/s3-archive.ts\"",
        "kind": "claim",
        "outcome": "Real input produced the expected result: Custom::CDKECRDeployment",
        "returncode": 0,
        "source": "Then synth or deploy any example:",
        "source_checked": true,
        "source_file": "README.md",
        "verdict": "yes"
      },
      {
        "claim": "The library supports copying an archive tarball image from S3 to ECR, shown by the s3-archive example synthesizing a deployment resource",
        "command": "npx cdk synth --app 'npx ts-node examples/s3-archive.ts'",
        "evidence": "\u2026Custom::CDKECRDeployment\n    Properties:\n      ServiceToken:\n        Fn::GetAtt:\n          - CustomCDKECRDeploymentbd07c930edb94112a20f03f096f53666512MiB28EAD8E4\n          - Arn\n      SrcImage: s3://my-bucket/nginx.tar:nginx:latest\n      DestImage:\n        Fn::Join:\n          - \"\"\n          - - docker://\n            - Fn::Select:\n                - 4\n                - Fn::Split:\n                    - \":\"\n                    - Fn::GetAtt:\n                        - TargetRepo95363C3C\n                        - Arn\n            - .dkr.ecr.\n            - Fn::Select:\n                - 3\n              ",
        "expected": "CloudFormation template containing Custom::CDKECRDeployment",
        "input": "npx cdk synth --app \"npx ts-node examples/s3-archive.ts\"",
        "kind": "claim",
        "outcome": "Real input produced the expected result: Custom::CDKECRDeployment",
        "returncode": 0,
        "source": "Copy an archive tarball image from s3 to ECR/external registry",
        "source_checked": true,
        "source_file": "README.md",
        "verdict": "yes"
      }
    ],
    "cycle_checks": [
      {
        "claim": "Scheduled or looping main behavior",
        "command": "",
        "evidence": "Inspected README.md and examples/README.md: cdk-ecr-deployment is a CDK construct library with no cron, loop, webhook, --once or --now scheduler; the only runnable flows are one-shot cdk synth/deploy commands.",
        "expected": "identify the product trigger",
        "input": "source inspection",
        "kind": "cycle",
        "outcome": "Inspected README.md and examples/README.md: cdk-ecr-deployment is a CDK construct library with no cron, loop, webhook, --once or --now scheduler; the only runnable flows are one-shot cdk synth/deploy commands.",
        "source": "repository entry points",
        "verdict": "yes"
      }
    ],
    "details": {
      "argv": [
        "npx",
        "cdk",
        "synth",
        "--app",
        "npx ts-node examples/s3-archive.ts"
      ],
      "kind": "cli",
      "needs_browser": false,
      "needs_credentials": false,
      "returncode": 0,
      "scope": "product operation",
      "stderr": "81 feature flags are not configured. Run 'cdk flags --unstable=flags' to learn more.",
      "stdout": "Resources:\n  TargetRepo95363C3C:\n    Type: AWS::ECR::Repository\n    Properties:\n      EmptyOnDelete: true\n    UpdateReplacePolicy: Delete\n    DeletionPolicy: Delete\n    Metadata:\n      aws:cdk:path: ecr-deploy-s3-archive/TargetRepo/Resource\n  DeployFromS3CustomResource22373E7B:\n    Type: Custom::CDKECRDeployment\n    Properties:\n[excerpt truncated]",
      "working": true
    },
    "evidence_strength": "readme_checked",
    "example_checks": [
      {
        "claim": "Synthesize the documented s3-archive example app with the README synth command",
        "command": "npx cdk synth --app 'npx ts-node examples/s3-archive.ts'",
        "deferred": false,
        "evidence": "     - us-east-1\n          - Fn::Equals:\n              - Ref: AWS::Region\n              - us-east-2\n          - Fn::Equals:\n              - Ref: AWS::Region\n              - us-west-1\n      - Fn::Equals:\n          - Ref: AWS::Region\n          - us-west-2\nParameters:\n  BootstrapVersion:\n    Type: AWS::SSM::Parameter::Value<String>\n    Default: /cdk-bootstrap/hnb659fds/version\n    Description: Version of the CDK Bootstrap resources in this environment, automatically retrieved from SSM Parameter Store. [cdk:skip]\n\n81 feature flags are not configured. Run 'cdk flags --unstable=flags' to learn more.",
        "expected": "CloudFormation template containing Custom::CDKECRDeployment",
        "input": "examples/s3-archive.ts",
        "kind": "example",
        "outcome": "command completed successfully",
        "returncode": 0,
        "source": "README.md / examples/README.md (Running)",
        "verdict": "yes"
      },
      {
        "claim": "Synthesize the documented specific-architecture example app",
        "command": "npx cdk synth --app 'npx ts-node examples/specific-architecture.ts'",
        "deferred": false,
        "evidence": "     - us-east-1\n          - Fn::Equals:\n              - Ref: AWS::Region\n              - us-east-2\n          - Fn::Equals:\n              - Ref: AWS::Region\n              - us-west-1\n      - Fn::Equals:\n          - Ref: AWS::Region\n          - us-west-2\nParameters:\n  BootstrapVersion:\n    Type: AWS::SSM::Parameter::Value<String>\n    Default: /cdk-bootstrap/hnb659fds/version\n    Description: Version of the CDK Bootstrap resources in this environment, automatically retrieved from SSM Parameter Store. [cdk:skip]\n\n81 feature flags are not configured. Run 'cdk flags --unstable=flags' to learn more.",
        "expected": "CloudFormation template containing Custom::CDKECRDeployment",
        "input": "examples/specific-architecture.ts",
        "kind": "example",
        "outcome": "command completed successfully",
        "returncode": 0,
        "source": "examples/README.md (Running)",
        "verdict": "yes"
      }
    ],
    "status": "PASS"
  },
  "diagnosis": null
}