{
  "before": [
    {
      "index": 59,
      "functionName": "filesystem::permissions::check",
      "denial": "The permission target Filesystem(ClassPermissionTarget { verb: Some(Write), owner: Agent { account: AccountEmail(\"initial@user\"), application: ApplicationName(\"golem-parcel-lab\"), environment: EnvironmentName(\"local\"), component: ComponentName(\"golem-parcel-lab:ts-main\"), agent: Agent(\"ParcelAgent(\\\"parcel-1793120850433-bb1f66b6\\\")\") }, resource: Path(FilesystemPathPattern { segments: [Literal(\"protected\"), Literal(\"safety-cable.txt\")] }) }) is not allowed",
      "request": {
        "graph": {
          "defs": [
            {
              "body": {
                "kind": "record",
                "value": {
                  "fields": [
                    {
                      "body": {
                        "kind": "list",
                        "value": {
                          "element": {
                            "kind": "tuple",
                            "value": {
                              "elements": [
                                {
                                  "kind": "string",
                                  "value": {}
                                },
                                {
                                  "kind": "string",
                                  "value": {}
                                }
                              ]
                            }
                          }
                        }
                      },
                      "name": "requests"
                    }
                  ]
                }
              },
              "id": "golem_common.model.oplog.payload.HostRequestFileSystemPermissionCheck",
              "name": "r#HostRequestFileSystemPermissionCheck"
            }
          ],
          "root": {
            "kind": "ref",
            "value": {
              "id": "golem_common.model.oplog.payload.HostRequestFileSystemPermissionCheck"
            }
          }
        },
        "value": {
          "kind": "record",
          "value": {
            "fields": [
              {
                "kind": "list",
                "value": {
                  "elements": [
                    {
                      "kind": "tuple",
                      "value": {
                        "elements": [
                          {
                            "kind": "string",
                            "value": "write"
                          },
                          {
                            "kind": "string",
                            "value": "/protected/safety-cable.txt"
                          }
                        ]
                      }
                    }
                  ]
                }
              }
            ]
          }
        }
      }
    }
  ],
  "after": [
    {
      "index": 59,
      "functionName": "filesystem::permissions::check",
      "denial": "The permission target Filesystem(ClassPermissionTarget { verb: Some(Write), owner: Agent { account: AccountEmail(\"initial@user\"), application: ApplicationName(\"golem-parcel-lab\"), environment: EnvironmentName(\"local\"), component: ComponentName(\"golem-parcel-lab:ts-main\"), agent: Agent(\"ParcelAgent(\\\"parcel-1793120850433-bb1f66b6\\\")\") }, resource: Path(FilesystemPathPattern { segments: [Literal(\"protected\"), Literal(\"safety-cable.txt\")] }) }) is not allowed",
      "request": {
        "graph": {
          "defs": [
            {
              "body": {
                "kind": "record",
                "value": {
                  "fields": [
                    {
                      "body": {
                        "kind": "list",
                        "value": {
                          "element": {
                            "kind": "tuple",
                            "value": {
                              "elements": [
                                {
                                  "kind": "string",
                                  "value": {}
                                },
                                {
                                  "kind": "string",
                                  "value": {}
                                }
                              ]
                            }
                          }
                        }
                      },
                      "name": "requests"
                    }
                  ]
                }
              },
              "id": "golem_common.model.oplog.payload.HostRequestFileSystemPermissionCheck",
              "name": "r#HostRequestFileSystemPermissionCheck"
            }
          ],
          "root": {
            "kind": "ref",
            "value": {
              "id": "golem_common.model.oplog.payload.HostRequestFileSystemPermissionCheck"
            }
          }
        },
        "value": {
          "kind": "record",
          "value": {
            "fields": [
              {
                "kind": "list",
                "value": {
                  "elements": [
                    {
                      "kind": "tuple",
                      "value": {
                        "elements": [
                          {
                            "kind": "string",
                            "value": "write"
                          },
                          {
                            "kind": "string",
                            "value": "/protected/safety-cable.txt"
                          }
                        ]
                      }
                    }
                  ]
                }
              }
            ]
          }
        }
      }
    }
  ],
  "afterPolicy": [
    {
      "index": 59,
      "functionName": "filesystem::permissions::check",
      "denial": "The permission target Filesystem(ClassPermissionTarget { verb: Some(Write), owner: Agent { account: AccountEmail(\"initial@user\"), application: ApplicationName(\"golem-parcel-lab\"), environment: EnvironmentName(\"local\"), component: ComponentName(\"golem-parcel-lab:ts-main\"), agent: Agent(\"ParcelAgent(\\\"parcel-1793120850433-bb1f66b6\\\")\") }, resource: Path(FilesystemPathPattern { segments: [Literal(\"protected\"), Literal(\"safety-cable.txt\")] }) }) is not allowed",
      "request": {
        "graph": {
          "defs": [
            {
              "body": {
                "kind": "record",
                "value": {
                  "fields": [
                    {
                      "body": {
                        "kind": "list",
                        "value": {
                          "element": {
                            "kind": "tuple",
                            "value": {
                              "elements": [
                                {
                                  "kind": "string",
                                  "value": {}
                                },
                                {
                                  "kind": "string",
                                  "value": {}
                                }
                              ]
                            }
                          }
                        }
                      },
                      "name": "requests"
                    }
                  ]
                }
              },
              "id": "golem_common.model.oplog.payload.HostRequestFileSystemPermissionCheck",
              "name": "r#HostRequestFileSystemPermissionCheck"
            }
          ],
          "root": {
            "kind": "ref",
            "value": {
              "id": "golem_common.model.oplog.payload.HostRequestFileSystemPermissionCheck"
            }
          }
        },
        "value": {
          "kind": "record",
          "value": {
            "fields": [
              {
                "kind": "list",
                "value": {
                  "elements": [
                    {
                      "kind": "tuple",
                      "value": {
                        "elements": [
                          {
                            "kind": "string",
                            "value": "write"
                          },
                          {
                            "kind": "string",
                            "value": "/protected/safety-cable.txt"
                          }
                        ]
                      }
                    }
                  ]
                }
              }
            ]
          }
        }
      }
    },
    {
      "index": 217,
      "functionName": "filesystem::permissions::check",
      "denial": "The permission target Filesystem(ClassPermissionTarget { verb: Some(Write), owner: Agent { account: AccountEmail(\"initial@user\"), application: ApplicationName(\"golem-parcel-lab\"), environment: EnvironmentName(\"local\"), component: ComponentName(\"golem-parcel-lab:ts-main\"), agent: Agent(\"ParcelAgent(\\\"parcel-1793120850433-bb1f66b6\\\")\") }, resource: Path(FilesystemPathPattern { segments: [Literal(\"protected\"), Literal(\"safety-cable.txt\")] }) }) is not allowed",
      "request": {
        "graph": {
          "defs": [
            {
              "body": {
                "kind": "record",
                "value": {
                  "fields": [
                    {
                      "body": {
                        "kind": "list",
                        "value": {
                          "element": {
                            "kind": "tuple",
                            "value": {
                              "elements": [
                                {
                                  "kind": "string",
                                  "value": {}
                                },
                                {
                                  "kind": "string",
                                  "value": {}
                                }
                              ]
                            }
                          }
                        }
                      },
                      "name": "requests"
                    }
                  ]
                }
              },
              "id": "golem_common.model.oplog.payload.HostRequestFileSystemPermissionCheck",
              "name": "r#HostRequestFileSystemPermissionCheck"
            }
          ],
          "root": {
            "kind": "ref",
            "value": {
              "id": "golem_common.model.oplog.payload.HostRequestFileSystemPermissionCheck"
            }
          }
        },
        "value": {
          "kind": "record",
          "value": {
            "fields": [
              {
                "kind": "list",
                "value": {
                  "elements": [
                    {
                      "kind": "tuple",
                      "value": {
                        "elements": [
                          {
                            "kind": "string",
                            "value": "write"
                          },
                          {
                            "kind": "string",
                            "value": "/protected/safety-cable.txt"
                          }
                        ]
                      }
                    }
                  ]
                }
              }
            ]
          }
        }
      }
    }
  ]
}