Source

This app’s code and revision history are public. Download a copy or explore the files below.

Public

The app’s code and revision history are public.

Owned app · rev 93fdaafeda16

Run it yourself

Take the whole tree and run it on your own machine. The download needs no account. Cloning needs a sign-in.

bounded clone 788ba0fa01083b300ad50913

A copy you download is not bounded. The guarantees this app runs under - declared egress, proven invariants, writes that fail closed - live in the runtime serving this page, not in the files. What you get is auditable source you can read and run, with no runtime guarantees attached.

← All files

policy-tests/owners.json

{
 "version": "1",
 "name": "the admin key makes owners; a wrong key, a missing key or no key does not",
 "actors": {
  "Ana": "ana_device",
  "Eve": "eve_device",
  "Max": "max_device"
 },
 "constants": {
  "BOUNDED_PUBLIC_PRINCIPAL_API": "api_principal"
 },
 "steps": [
  {
   "op": "setTime",
   "epoch": 1800000000
  },
  {
   "op": "as",
   "who": "Ana"
  },
  {
   "op": "setMany",
   "writes": [
    {
     "path": "boards/b1aaaaaaaaaaaaaaaaa",
     "data": {
      "title": "Plan",
      "editOn": true,
      "viewOn": true,
      "seed": "",
      "createdBy": "$Ana",
      "createdAt": 1800000000
     }
    },
    {
     "path": "boards/b1aaaaaaaaaaaaaaaaa/joins/ana_device",
     "data": {
      "at": 1800000000,
      "key": "EEEEEEEEEEEEEEEEEEEEEEEE"
     }
    },
    {
     "path": "boards/b1aaaaaaaaaaaaaaaaa/owners/ana_device",
     "data": {
      "at": 1800000000
     }
    },
    {
     "path": "boardkeys/b1aaaaaaaaaaaaaaaaa",
     "data": {
      "key": "AAAAAAAAAAAAAAAAAAAAAAAA"
     }
    },
    {
     "path": "editkeys/b1aaaaaaaaaaaaaaaaa",
     "data": {
      "key": "EEEEEEEEEEEEEEEEEEEEEEEE"
     }
    }
   ]
  },
  {
   "op": "as",
   "who": "Eve"
  },
  {
   "op": "set",
   "path": "boards/b1aaaaaaaaaaaaaaaaa/joins/eve_device",
   "data": {
    "at": 1800000000
   }
  },
  {
   "op": "set",
   "path": "boards/b1aaaaaaaaaaaaaaaaa/owners/eve_device",
   "data": {
    "at": 1800000000
   },
   "shouldFail": true
  },
  {
   "op": "set",
   "path": "boards/b1aaaaaaaaaaaaaaaaa/owners/ana_device",
   "data": {
    "at": 1800000000
   },
   "shouldFail": true
  },
  {
   "op": "setMany",
   "writes": [
    {
     "path": "boardclaims/b1aaaaaaaaaaaaaaaaa/c/eve_device",
     "data": {
      "key": "XXXXXXXXXXXXXXXXXXXXXXXX"
     }
    },
    {
     "path": "boards/b1aaaaaaaaaaaaaaaaa/owners/eve_device",
     "data": {
      "at": 1800000000
     }
    }
   ],
   "shouldFail": true
  },
  {
   "op": "setMany",
   "writes": [
    {
     "path": "boardclaims/b1aaaaaaaaaaaaaaaaa/c/eve_device",
     "data": {
      "key": "EEEEEEEEEEEEEEEEEEEEEEEE"
     }
    },
    {
     "path": "boards/b1aaaaaaaaaaaaaaaaa/owners/eve_device",
     "data": {
      "at": 1800000000
     }
    }
   ],
   "shouldFail": true
  },
  {
   "op": "setMany",
   "writes": [
    {
     "path": "boardclaims/nokeyaaaaaaaaaaaaaa/c/eve_device",
     "data": {
      "key": "XXXXXXXXXXXXXXXXXXXXXXXX"
     }
    },
    {
     "path": "boards/nokeyaaaaaaaaaaaaaa/owners/eve_device",
     "data": {
      "at": 1800000000
     }
    }
   ],
   "shouldFail": true
  },
  {
   "op": "set",
   "path": "boards/nokeyaaaaaaaaaaaaaa/owners/eve_device",
   "data": {
    "at": 1800000000
   },
   "shouldFail": true
  },
  {
   "op": "set",
   "path": "boardclaims/b1aaaaaaaaaaaaaaaaa/c/eve_device",
   "data": {
    "key": "short"
   },
   "shouldFail": true
  },
  {
   "op": "set",
   "path": "boards/b1aaaaaaaaaaaaaaaaa",
   "data": {
    "viewOn": false
   },
   "shouldFail": true
  },
  {
   "op": "as",
   "who": "Max"
  },
  {
   "op": "set",
   "path": "boards/b1aaaaaaaaaaaaaaaaa/joins/max_device",
   "data": {
    "at": 1800000000
   }
  },
  {
   "op": "setMany",
   "writes": [
    {
     "path": "boardclaims/b1aaaaaaaaaaaaaaaaa/c/max_device",
     "data": {
      "key": "AAAAAAAAAAAAAAAAAAAAAAAA"
     }
    },
    {
     "path": "boards/b1aaaaaaaaaaaaaaaaa/owners/max_device",
     "data": {
      "at": 1800000000
     }
    }
   ]
  },
  {
   "op": "set",
   "path": "boards/b1aaaaaaaaaaaaaaaaa",
   "data": {
    "viewOn": false,
    "title": "Renamed by Max"
   }
  },
  {
   "op": "set",
   "path": "editkeys/b1aaaaaaaaaaaaaaaaa",
   "data": {
    "key": "FFFFFFFFFFFFFFFFFFFFFFFF"
   }
  },
  {
   "op": "set",
   "path": "boards/b1aaaaaaaaaaaaaaaaa/els/el_max",
   "data": {
    "json": "{\"id\":\"el_max\",\"type\":\"rectangle\",\"version\":1}",
    "at": 1800000000
   }
  },
  {
   "op": "delete",
   "path": "boards/b1aaaaaaaaaaaaaaaaa/owners/max_device",
   "shouldFail": true
  },
  {
   "op": "expect",
   "expr": "get(/boards/b1aaaaaaaaaaaaaaaaa).viewOn == false"
  },
  {
   "op": "expect",
   "expr": "get(/editkeys/b1aaaaaaaaaaaaaaaaa).key == 'FFFFFFFFFFFFFFFFFFFFFFFF'"
  }
 ]
}

Change history

Point OpenApps links to openapps.free

93fdaafeda · 18 hours ago

Bind AGENT_ADDRESS in policy constants

bf8f43b096 · 20 hours ago

Use functions.openapps.xyz alias, add OpenApp contribution strip

56f1a381b2 · 20 hours ago

Bounded source sync

9ec707aeb8 · 1 day ago

Bounded source sync

5645481c23 · 1 day ago

Bounded source sync

c38fe71874 · 1 day ago

Bounded source sync

28c0350b40 · 1 day ago