documentdb_executable_local.json

{
  "prefix": "docdb-lambda-proof-35e6d4c50c",
  "endpoint": "http://127.0.0.1:38981",
  "observations": {
    "native_payload_and_selection": {
      "request_id": "61f3d72b-f739-4f1a-92d0-261e88f76613",
      "event": {
        "eventSourceArn": "arn:aws:rds:us-east-1:000000000000:cluster:docdb-lambda-proof-35e6d4c50c",
        "events": [
          {
            "event": {
              "_id": {
                "_data": "826ABA4F02000000052B042C0100296E5A10043645801D63694A57B541D8EC0A3D7BB1463C6F7065726174696F6E54797065003C696E736572740046646F63756D656E744B657900463C5F6964003C666972737400000004"
              },
              "operationType": "insert",
              "clusterTime": {
                "$timestamp": {
                  "t": 1790594818,
                  "i": 5
                }
              },
              "wallTime": {
                "$date": "2026-09-28T11:26:58.731Z"
              },
              "fullDocument": {
                "_id": "first",
                "value": 1
              },
              "ns": {
                "db": "eventsdb",
                "coll": "events"
              },
              "documentKey": {
                "_id": "first"
              }
            }
          },
          {
            "event": {
              "_id": {
                "_data": "826ABA4F02000000062B042C0100296E5A10043645801D63694A57B541D8EC0A3D7BB1463C6F7065726174696F6E54797065003C696E736572740046646F63756D656E744B657900463C5F6964003C7365636F6E6400000004"
              },
              "operationType": "insert",
              "clusterTime": {
                "$timestamp": {
                  "t": 1790594818,
                  "i": 6
                }
              },
              "wallTime": {
                "$date": "2026-09-28T11:26:58.731Z"
              },
              "fullDocument": {
                "_id": "second",
                "value": 2
              },
              "ns": {
                "db": "eventsdb",
                "coll": "events"
              },
              "documentKey": {
                "_id": "second"
              }
            }
          }
        ],
        "eventSource": "aws:docdb"
      },
      "failed": false
    },
    "whole_batch_retry": {
      "attempts": [
        {
          "request_id": "c5437e77-b4e2-49da-8146-9a4a99f85bac",
          "event": {
            "eventSourceArn": "arn:aws:rds:us-east-1:000000000000:cluster:docdb-lambda-proof-35e6d4c50c",
            "events": [
              {
                "event": {
                  "_id": {
                    "_data": "826ABA4F07000000012B042C0100296E5A10043645801D63694A57B541D8EC0A3D7BB1463C6F7065726174696F6E54797065003C696E736572740046646F63756D656E744B657900463C5F6964003C72657472792D6F6E6500000004"
                  },
                  "operationType": "insert",
                  "clusterTime": {
                    "$timestamp": {
                      "t": 1790594823,
                      "i": 1
                    }
                  },
                  "wallTime": {
                    "$date": "2026-09-28T11:27:03.505Z"
                  },
                  "fullDocument": {
                    "_id": "retry-one"
                  },
                  "ns": {
                    "db": "eventsdb",
                    "coll": "events"
                  },
                  "documentKey": {
                    "_id": "retry-one"
                  }
                }
              },
              {
                "event": {
                  "_id": {
                    "_data": "826ABA4F07000000022B042C0100296E5A10043645801D63694A57B541D8EC0A3D7BB1463C6F7065726174696F6E54797065003C696E736572740046646F63756D656E744B657900463C5F6964003C72657472792D74776F00000004"
                  },
                  "operationType": "insert",
                  "clusterTime": {
                    "$timestamp": {
                      "t": 1790594823,
                      "i": 2
                    }
                  },
                  "wallTime": {
                    "$date": "2026-09-28T11:27:03.505Z"
                  },
                  "fullDocument": {
                    "_id": "retry-two"
                  },
                  "ns": {
                    "db": "eventsdb",
                    "coll": "events"
                  },
                  "documentKey": {
                    "_id": "retry-two"
                  }
                }
              }
            ],
            "eventSource": "aws:docdb"
          },
          "failed": true
        },
        {
          "request_id": "0bb776cc-9cbc-489e-9281-e86c0681d84c",
          "event": {
            "eventSourceArn": "arn:aws:rds:us-east-1:000000000000:cluster:docdb-lambda-proof-35e6d4c50c",
            "events": [
              {
                "event": {
                  "_id": {
                    "_data": "826ABA4F07000000012B042C0100296E5A10043645801D63694A57B541D8EC0A3D7BB1463C6F7065726174696F6E54797065003C696E736572740046646F63756D656E744B657900463C5F6964003C72657472792D6F6E6500000004"
                  },
                  "operationType": "insert",
                  "clusterTime": {
                    "$timestamp": {
                      "t": 1790594823,
                      "i": 1
                    }
                  },
                  "wallTime": {
                    "$date": "2026-09-28T11:27:03.505Z"
                  },
                  "fullDocument": {
                    "_id": "retry-one"
                  },
                  "ns": {
                    "db": "eventsdb",
                    "coll": "events"
                  },
                  "documentKey": {
                    "_id": "retry-one"
                  }
                }
              },
              {
                "event": {
                  "_id": {
                    "_data": "826ABA4F07000000022B042C0100296E5A10043645801D63694A57B541D8EC0A3D7BB1463C6F7065726174696F6E54797065003C696E736572740046646F63756D656E744B657900463C5F6964003C72657472792D74776F00000004"
                  },
                  "operationType": "insert",
                  "clusterTime": {
                    "$timestamp": {
                      "t": 1790594823,
                      "i": 2
                    }
                  },
                  "wallTime": {
                    "$date": "2026-09-28T11:27:03.505Z"
                  },
                  "fullDocument": {
                    "_id": "retry-two"
                  },
                  "ns": {
                    "db": "eventsdb",
                    "coll": "events"
                  },
                  "documentKey": {
                    "_id": "retry-two"
                  }
                }
              }
            ],
            "eventSource": "aws:docdb"
          },
          "failed": true
        }
      ],
      "committed_position_before": [
        "b94f840fb4009b3b0ac78e3361a5e646",
        "C3000000025F6461746100B3000000383236414241344630323030303030303036324230343243303130303239364535413130303433363435383031443633363934413537423534314438454330413344374242313436334336463730363537323631373436393646364535343739373036353030334336393645373336353732373430303436363436463633373536443635364537343442363537393030343633433546363936343030334337333635363336463645363430303030303030340000",
        1790594817,
        3
      ],
      "committed_position_after_failures": [
        "b94f840fb4009b3b0ac78e3361a5e646",
        "C3000000025F6461746100B3000000383236414241344630323030303030303036324230343243303130303239364535413130303433363435383031443633363934413537423534314438454330413344374242313436334336463730363537323631373436393646364535343739373036353030334336393645373336353732373430303436363436463633373536443635364537343442363537393030343633433546363936343030334337333635363336463645363430303030303030340000",
        1790594817,
        3
      ]
    },
    "restart_committed_token": [
      "retry-one",
      "retry-two",
      "while-controller-stopped"
    ],
    "role-denial": {
      "blocked": "PROBLEM: User: arn:aws:sts::000000000000:assumed-role/docdb-lambda-proof-35e6d4c50c/docdb-lambda-proof-35e6d4c50c is not authorized to perform: rds:DescribeDBClusters on resource: arn:aws:rds:us-east-1:000000000000:cluster:docdb-lambda-proof-35e6d4c50c. An identity policy explicitly denies this operation.",
      "committed_position_during_denial": [
        "b94f840fb4009b3b0ac78e3361a5e646",
        "C9000000025F6461746100B9000000383236414241344630373030303030303032324230343243303130303239364535413130303433363435383031443633363934413537423534314438454330413344374242313436334336463730363537323631373436393646364535343739373036353030334336393645373336353732373430303436363436463633373536443635364537343442363537393030343633433546363936343030334337323635373437323739324437343737364630303030303030340000",
        1790594817,
        3
      ],
      "recovered": {
        "request_id": "3328780c-5584-4fae-ae49-11ad94eb70c2",
        "event": {
          "eventSourceArn": "arn:aws:rds:us-east-1:000000000000:cluster:docdb-lambda-proof-35e6d4c50c",
          "events": [
            {
              "event": {
                "_id": {
                  "_data": "826ABA4F0F000000012B042C0100296E5A10043645801D63694A57B541D8EC0A3D7BB1463C6F7065726174696F6E54797065003C696E736572740046646F63756D656E744B657900463C5F6964003C7768696C652D636F6E74726F6C6C65722D73746F7070656400000004"
                },
                "operationType": "insert",
                "clusterTime": {
                  "$timestamp": {
                    "t": 1790594831,
                    "i": 1
                  }
                },
                "wallTime": {
                  "$date": "2026-09-28T11:27:11.788Z"
                },
                "fullDocument": {
                  "_id": "while-controller-stopped"
                },
                "ns": {
                  "db": "eventsdb",
                  "coll": "events"
                },
                "documentKey": {
                  "_id": "while-controller-stopped"
                }
              }
            },
            {
              "event": {
                "_id": {
                  "_data": "826ABA4F19000000012B042C0100296E5A10043645801D63694A57B541D8EC0A3D7BB1463C6F7065726174696F6E54797065003C696E736572740046646F63756D656E744B657900463C5F6964003C726F6C652D64656E69616C00000004"
                },
                "operationType": "insert",
                "clusterTime": {
                  "$timestamp": {
                    "t": 1790594841,
                    "i": 1
                  }
                },
                "wallTime": {
                  "$date": "2026-09-28T11:27:21.75Z"
                },
                "fullDocument": {
                  "_id": "role-denial"
                },
                "ns": {
                  "db": "eventsdb",
                  "coll": "events"
                },
                "documentKey": {
                  "_id": "role-denial"
                }
              }
            }
          ],
          "eventSource": "aws:docdb"
        },
        "failed": false
      },
      "committed_position_after_recovery": [
        "b94f840fb4009b3b0ac78e3361a5e646",
        "CD000000025F6461746100BD00000038323641424134463139303030303030303132423034324330313030323936453541313030343336343538303144363336393441353742353431443845433041334437424231343633433646373036353732363137343639364636453534373937303635303033433639364537333635373237343030343636343646363337353644363536453734344236353739303034363343354636393634303033433732364636433635324436343635364536393631364330303030303030340000",
        1790594817,
        3
      ]
    },
    "secret-denial": {
      "blocked": "PROBLEM: User: arn:aws:sts::000000000000:assumed-role/docdb-lambda-proof-35e6d4c50c/docdb-lambda-proof-35e6d4c50c is not authorized to perform: secretsmanager:GetSecretValue on resource: arn:aws:secretsmanager:us-east-1:000000000000:secret:docdb-lambda-proof-35e6d4c50c-5b7e5e. An identity policy explicitly denies this operation.",
      "committed_position_during_denial": [
        "b94f840fb4009b3b0ac78e3361a5e646",
        "CD000000025F6461746100BD00000038323641424134463139303030303030303132423034324330313030323936453541313030343336343538303144363336393441353742353431443845433041334437424231343633433646373036353732363137343639364636453534373937303635303033433639364537333635373237343030343636343646363337353644363536453734344236353739303034363343354636393634303033433732364636433635324436343635364536393631364330303030303030340000",
        1790594817,
        3
      ],
      "recovered": {
        "request_id": "a8f8aa29-5822-4b2d-889d-d4c447564d78",
        "event": {
          "eventSourceArn": "arn:aws:rds:us-east-1:000000000000:cluster:docdb-lambda-proof-35e6d4c50c",
          "events": [
            {
              "event": {
                "_id": {
                  "_data": "826ABA4F1C000000012B042C0100296E5A10043645801D63694A57B541D8EC0A3D7BB1463C6F7065726174696F6E54797065003C696E736572740046646F63756D656E744B657900463C5F6964003C7365637265742D64656E69616C00000004"
                },
                "operationType": "insert",
                "clusterTime": {
                  "$timestamp": {
                    "t": 1790594844,
                    "i": 1
                  }
                },
                "wallTime": {
                  "$date": "2026-09-28T11:27:24.321Z"
                },
                "fullDocument": {
                  "_id": "secret-denial"
                },
                "ns": {
                  "db": "eventsdb",
                  "coll": "events"
                },
                "documentKey": {
                  "_id": "secret-denial"
                }
              }
            }
          ],
          "eventSource": "aws:docdb"
        },
        "failed": false
      },
      "committed_position_after_recovery": [
        "b94f840fb4009b3b0ac78e3361a5e646",
        "D1000000025F6461746100C10000003832364142413446314330303030303030313242303432433031303032393645354131303034333634353830314436333639344135374235343144384543304133443742423134363343364637303635373236313734363936463645353437393730363530303343363936453733363537323734303034363634364636333735364436353645373434423635373930303436334335463639363430303343373336353633373236353734324436343635364536393631364330303030303030340000",
        1790594817,
        3
      ]
    },
    "kms-denial": {
      "blocked": "PROBLEM: Secrets Manager can't decrypt the protected secret value using the provided KMS key.",
      "committed_position_during_denial": [
        "b94f840fb4009b3b0ac78e3361a5e646",
        "D1000000025F6461746100C10000003832364142413446314330303030303030313242303432433031303032393645354131303034333634353830314436333639344135374235343144384543304133443742423134363343364637303635373236313734363936463645353437393730363530303343363936453733363537323734303034363634364636333735364436353645373434423635373930303436334335463639363430303343373336353633373236353734324436343635364536393631364330303030303030340000",
        1790594817,
        3
      ],
      "recovered": {
        "request_id": "930c729e-8f7d-47cb-bf71-9af561713434",
        "event": {
          "eventSourceArn": "arn:aws:rds:us-east-1:000000000000:cluster:docdb-lambda-proof-35e6d4c50c",
          "events": [
            {
              "event": {
                "_id": {
                  "_data": "826ABA4F1F000000012B042C0100296E5A10043645801D63694A57B541D8EC0A3D7BB1463C6F7065726174696F6E54797065003C696E736572740046646F63756D656E744B657900463C5F6964003C6B6D732D64656E69616C00000004"
                },
                "operationType": "insert",
                "clusterTime": {
                  "$timestamp": {
                    "t": 1790594847,
                    "i": 1
                  }
                },
                "wallTime": {
                  "$date": "2026-09-28T11:27:27.821Z"
                },
                "fullDocument": {
                  "_id": "kms-denial"
                },
                "ns": {
                  "db": "eventsdb",
                  "coll": "events"
                },
                "documentKey": {
                  "_id": "kms-denial"
                }
              }
            }
          ],
          "eventSource": "aws:docdb"
        },
        "failed": false
      },
      "committed_position_after_recovery": [
        "b94f840fb4009b3b0ac78e3361a5e646",
        "CB000000025F6461746100BB0000003832364142413446314630303030303030313242303432433031303032393645354131303034333634353830314436333639344135374235343144384543304133443742423134363343364637303635373236313734363936463645353437393730363530303343363936453733363537323734303034363634364636333735364436353645373434423635373930303436334335463639363430303343364236443733324436343635364536393631364330303030303030340000",
        1790594817,
        3
      ]
    },
    "full_document_Default": {
      "request_id": "e346ce60-7672-4a6a-9101-4bfabb6bc659",
      "event": {
        "eventSourceArn": "arn:aws:rds:us-east-1:000000000000:cluster:docdb-lambda-proof-35e6d4c50c",
        "events": [
          {
            "event": {
              "_id": {
                "_data": "826ABA4F24000000012B042C0100296E5A10043645801D63694A57B541D8EC0A3D7BB1463C6F7065726174696F6E54797065003C7570646174650046646F63756D656E744B657900463C5F6964003C666972737400000004"
              },
              "operationType": "update",
              "clusterTime": {
                "$timestamp": {
                  "t": 1790594852,
                  "i": 1
                }
              },
              "wallTime": {
                "$date": "2026-09-28T11:27:32.487Z"
              },
              "ns": {
                "db": "eventsdb",
                "coll": "events"
              },
              "documentKey": {
                "_id": "first"
              },
              "updateDescription": {
                "updatedFields": {
                  "mode": "Default"
                },
                "removedFields": [],
                "truncatedArrays": []
              }
            }
          }
        ],
        "eventSource": "aws:docdb"
      },
      "failed": false
    },
    "full_document_UpdateLookup": {
      "request_id": "59c763e4-d457-4623-aa75-443c1130210c",
      "event": {
        "eventSourceArn": "arn:aws:rds:us-east-1:000000000000:cluster:docdb-lambda-proof-35e6d4c50c",
        "events": [
          {
            "event": {
              "_id": {
                "_data": "826ABA4F27000000012B042C0100296E5A10043645801D63694A57B541D8EC0A3D7BB1463C6F7065726174696F6E54797065003C7570646174650046646F63756D656E744B657900463C5F6964003C666972737400000004"
              },
              "operationType": "update",
              "clusterTime": {
                "$timestamp": {
                  "t": 1790594855,
                  "i": 1
                }
              },
              "wallTime": {
                "$date": "2026-09-28T11:27:35.151Z"
              },
              "fullDocument": {
                "_id": "first",
                "value": 1,
                "mode": "UpdateLookup"
              },
              "ns": {
                "db": "eventsdb",
                "coll": "events"
              },
              "documentKey": {
                "_id": "first"
              },
              "updateDescription": {
                "updatedFields": {
                  "mode": "UpdateLookup"
                },
                "removedFields": [],
                "truncatedArrays": []
              }
            }
          }
        ],
        "eventSource": "aws:docdb"
      },
      "failed": false
    },
    "oversized_record_drop": {
      "request_id": "3805c0e8-a275-4f8b-87a5-eaf2a0dbf3a7",
      "event": {
        "eventSourceArn": "arn:aws:rds:us-east-1:000000000000:cluster:docdb-lambda-proof-35e6d4c50c",
        "events": [
          {
            "event": {
              "_id": {
                "_data": "826ABA4F28000000022B042C0100296E5A10043645801D63694A57B541D8EC0A3D7BB1463C6F7065726174696F6E54797065003C696E736572740046646F63756D656E744B657900463C5F6964003C61667465722D6F76657273697A656400000004"
              },
              "operationType": "insert",
              "clusterTime": {
                "$timestamp": {
                  "t": 1790594856,
                  "i": 2
                }
              },
              "wallTime": {
                "$date": "2026-09-28T11:27:36.498Z"
              },
              "fullDocument": {
                "_id": "after-oversized"
              },
              "ns": {
                "db": "eventsdb",
                "coll": "events"
              },
              "documentKey": {
                "_id": "after-oversized"
              }
            }
          }
        ],
        "eventSource": "aws:docdb"
      },
      "failed": false
    },
    "trim_horizon": {
      "request_id": "df941198-9100-4275-a463-259bbd7b001e",
      "event": {
        "eventSourceArn": "arn:aws:rds:us-east-1:000000000000:cluster:docdb-lambda-proof-35e6d4c50c",
        "events": [
          {
            "event": {
              "_id": {
                "_data": "826ABA4F2A000000012B042C0100296E5A1004C9BBC8C8141F42319EAB92396CDC18BB463C6F7065726174696F6E54797065003C696E736572740046646F63756D656E744B657900463C5F6964003C7472696D2D6F6E6500000004"
              },
              "operationType": "insert",
              "clusterTime": {
                "$timestamp": {
                  "t": 1790594858,
                  "i": 1
                }
              },
              "wallTime": {
                "$date": "2026-09-28T11:27:38.021Z"
              },
              "fullDocument": {
                "_id": "trim-one"
              },
              "ns": {
                "db": "eventsdb",
                "coll": "replaytrim"
              },
              "documentKey": {
                "_id": "trim-one"
              }
            }
          },
          {
            "event": {
              "_id": {
                "_data": "826ABA4F2A000000022B042C0100296E5A1004C9BBC8C8141F42319EAB92396CDC18BB463C6F7065726174696F6E54797065003C696E736572740046646F63756D656E744B657900463C5F6964003C7472696D2D74776F00000004"
              },
              "operationType": "insert",
              "clusterTime": {
                "$timestamp": {
                  "t": 1790594858,
                  "i": 2
                }
              },
              "wallTime": {
                "$date": "2026-09-28T11:27:38.021Z"
              },
              "fullDocument": {
                "_id": "trim-two"
              },
              "ns": {
                "db": "eventsdb",
                "coll": "replaytrim"
              },
              "documentKey": {
                "_id": "trim-two"
              }
            }
          }
        ],
        "eventSource": "aws:docdb"
      },
      "failed": false
    },
    "at_timestamp": {
      "starting_position": 1790594861,
      "delivered": {
        "request_id": "282c7a08-fa49-48cf-8e00-5cc1a72d5abc",
        "event": {
          "eventSourceArn": "arn:aws:rds:us-east-1:000000000000:cluster:docdb-lambda-proof-35e6d4c50c",
          "events": [
            {
              "event": {
                "_id": {
                  "_data": "826ABA4F2D000000012B042C0100296E5A1004B31A3FFE00CF4CC1850455FD9949CB4F463C6F7065726174696F6E54797065003C696E736572740046646F63756D656E744B657900463C5F6964003C61742D74696D657374616D7000000004"
                },
                "operationType": "insert",
                "clusterTime": {
                  "$timestamp": {
                    "t": 1790594861,
                    "i": 1
                  }
                },
                "wallTime": {
                  "$date": "2026-09-28T11:27:41.583Z"
                },
                "fullDocument": {
                  "_id": "at-timestamp"
                },
                "ns": {
                  "db": "eventsdb",
                  "coll": "replayat"
                },
                "documentKey": {
                  "_id": "at-timestamp"
                }
              }
            }
          ],
          "eventSource": "aws:docdb"
        },
        "failed": false
      }
    },
    "database_wide_watch": {
      "request_id": "66b886aa-2b92-4728-951d-a37abe4d4d24",
      "event": {
        "eventSourceArn": "arn:aws:rds:us-east-1:000000000000:cluster:docdb-lambda-proof-35e6d4c50c",
        "events": [
          {
            "event": {
              "_id": {
                "_data": "826ABA4F32000000012B042C0100296E5A1004ACC2F23792AA4431AFFE54C560307670463C6F7065726174696F6E54797065003C696E736572740046646F63756D656E744B657900463C5F6964003C776964652D6F6E6500000004"
              },
              "operationType": "insert",
              "clusterTime": {
                "$timestamp": {
                  "t": 1790594866,
                  "i": 1
                }
              },
              "wallTime": {
                "$date": "2026-09-28T11:27:46.433Z"
              },
              "fullDocument": {
                "_id": "wide-one"
              },
              "ns": {
                "db": "wideproof",
                "coll": "one"
              },
              "documentKey": {
                "_id": "wide-one"
              }
            }
          },
          {
            "event": {
              "_id": {
                "_data": "826ABA4F32000000032B042C0100296E5A1004246512DB0BB6445392923DD3D910A7BD463C6F7065726174696F6E54797065003C696E736572740046646F63756D656E744B657900463C5F6964003C776964652D74776F00000004"
              },
              "operationType": "insert",
              "clusterTime": {
                "$timestamp": {
                  "t": 1790594866,
                  "i": 3
                }
              },
              "wallTime": {
                "$date": "2026-09-28T11:27:46.468Z"
              },
              "fullDocument": {
                "_id": "wide-two"
              },
              "ns": {
                "db": "wideproof",
                "coll": "two"
              },
              "documentKey": {
                "_id": "wide-two"
              }
            }
          }
        ],
        "eventSource": "aws:docdb"
      },
      "failed": false
    },
    "source_incarnation_guard": true
  },
  "cleanup": {
    "mapping_and_checkpoint": true,
    "function": true,
    "source_controls": true,
    "native_containers_and_volumes": true,
    "secret": true,
    "local_kms_key": "PendingDeletion in isolated local state; no AWS key created",
    "role": true,
    "queue": true
  },
  "limitations": [
    "Native data plane is the DocumentDB owner's compatible MongoDB replica set, not AWS DocumentDB.",
    "AWS VPC/SG/NACL attachments are unsupported by the owner; this proof uses verified loopback TLS.",
    "Native AWS admission is captured separately; no AWS database fleet is created."
  ],
  "controllers": [
    {
      "start": 1,
      "exit_status": 0
    },
    {
      "start": 2,
      "exit_status": 0
    }
  ]
}