tasks-free.openapps.xyz

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 9b0d0f7b9a93
Run it yourself
Take the whole tree and run it on your own machine. The download needs no account. Cloning needs a sign-in.
Download .zip
bounded clone f6f2112e77bc8c011e38c83a
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/create.json
{
 "version": "1",
 "name": "a board is created with its join, owner and admin key in one batch; anything less is refused",
 "actors": {
  "Alice": "alice",
  "Bob": "bob",
  "Carol": "carol",
  "Api": "apiprincipal"
 },
 "constants": {
  "BOUNDED_PUBLIC_PRINCIPAL_API": "apiprincipal"
 },
 "steps": [
  {
   "op": "setTime",
   "epoch": 1800000000
  },
  {
   "op": "as",
   "who": "Alice"
  },
  {
   "op": "setMany",
   "writes": [
    {
     "path": "boards/boardAAAAAAAAAAAAAAA",
     "data": {
      "title": "Launch",
      "archived": false,
      "createdBy": "alice",
      "createdAt": 1800000000
     }
    },
    {
     "path": "boards/boardAAAAAAAAAAAAAAA/joins/alice",
     "data": {
      "at": 1800000000
     }
    },
    {
     "path": "boards/boardAAAAAAAAAAAAAAA/owners/alice",
     "data": {
      "at": 1800000000
     }
    }
   ],
   "shouldFail": true
  },
  {
   "op": "setMany",
   "writes": [
    {
     "path": "boards/boardAAAAAAAAAAAAAAA",
     "data": {
      "title": "Launch",
      "archived": false,
      "createdBy": "alice",
      "createdAt": 1800000000
     }
    },
    {
     "path": "boards/boardAAAAAAAAAAAAAAA/joins/alice",
     "data": {
      "at": 1800000000
     }
    },
    {
     "path": "boardkeys/boardAAAAAAAAAAAAAAA",
     "data": {
      "key": "kkkkkkkkkkkkkkkkkkkkkkkk"
     }
    }
   ],
   "shouldFail": true
  },
  {
   "op": "setMany",
   "writes": [
    {
     "path": "boards/boardAAAAAAAAAAAAAAA",
     "data": {
      "title": "Launch",
      "archived": false,
      "createdBy": "alice",
      "createdAt": 1800000000
     }
    },
    {
     "path": "boards/boardAAAAAAAAAAAAAAA/owners/alice",
     "data": {
      "at": 1800000000
     }
    },
    {
     "path": "boardkeys/boardAAAAAAAAAAAAAAA",
     "data": {
      "key": "kkkkkkkkkkkkkkkkkkkkkkkk"
     }
    }
   ],
   "shouldFail": true
  },
  {
   "op": "setMany",
   "writes": [
    {
     "path": "boards/boardAAAAAAAAAAAAAAA",
     "data": {
      "title": "Launch",
      "archived": false,
      "createdBy": "bob",
      "createdAt": 1800000000
     }
    },
    {
     "path": "boards/boardAAAAAAAAAAAAAAA/joins/alice",
     "data": {
      "at": 1800000000
     }
    },
    {
     "path": "boards/boardAAAAAAAAAAAAAAA/owners/alice",
     "data": {
      "at": 1800000000
     }
    },
    {
     "path": "boardkeys/boardAAAAAAAAAAAAAAA",
     "data": {
      "key": "kkkkkkkkkkkkkkkkkkkkkkkk"
     }
    }
   ],
   "shouldFail": true
  },
  {
   "op": "setMany",
   "writes": [
    {
     "path": "boards/boardAAAAAAAAAAAAAAA",
     "data": {
      "title": "Launch",
      "archived": true,
      "createdBy": "alice",
      "createdAt": 1800000000
     }
    },
    {
     "path": "boards/boardAAAAAAAAAAAAAAA/joins/alice",
     "data": {
      "at": 1800000000
     }
    },
    {
     "path": "boards/boardAAAAAAAAAAAAAAA/owners/alice",
     "data": {
      "at": 1800000000
     }
    },
    {
     "path": "boardkeys/boardAAAAAAAAAAAAAAA",
     "data": {
      "key": "kkkkkkkkkkkkkkkkkkkkkkkk"
     }
    }
   ],
   "shouldFail": true
  },
  {
   "op": "setMany",
   "writes": [
    {
     "path": "boards/boardAAAAAAAAAAAAAAA",
     "data": {
      "title": "",
      "archived": false,
      "createdBy": "alice",
      "createdAt": 1800000000
     }
    },
    {
     "path": "boards/boardAAAAAAAAAAAAAAA/joins/alice",
     "data": {
      "at": 1800000000
     }
    },
    {
     "path": "boards/boardAAAAAAAAAAAAAAA/owners/alice",
     "data": {
      "at": 1800000000
     }
    },
    {
     "path": "boardkeys/boardAAAAAAAAAAAAAAA",
     "data": {
      "key": "kkkkkkkkkkkkkkkkkkkkkkkk"
     }
    }
   ],
   "shouldFail": true
  },
  {
   "op": "setMany",
   "writes": [
    {
     "path": "boards/shortid12345",
     "data": {
      "title": "Launch",
      "archived": false,
      "createdBy": "alice",
      "createdAt": 1800000000
     }
    },
    {
     "path": "boards/shortid12345/joins/alice",
     "data": {
      "at": 1800000000
     }
    },
    {
     "path": "boards/shortid12345/owners/alice",
     "data": {
      "at": 1800000000
     }
    },
    {
     "path": "boardkeys/shortid12345",
     "data": {
      "key": "kkkkkkkkkkkkkkkkkkkkkkkk"
     }
    }
   ],
   "shouldFail": true
  },
  {
   "op": "setMany",
   "writes": [
    {
     "path": "boards/boardAAAAAAAAAAAAAAA",
     "data": {
      "title": "Launch",
      "archived": false,
      "createdBy": "alice",
      "createdAt": 1800000000
     }
    },
    {
     "path": "boards/boardAAAAAAAAAAAAAAA/joins/alice",
     "data": {
      "at": 1800000000
     }
    },
    {
     "path": "boards/boardAAAAAAAAAAAAAAA/owners/alice",
     "data": {
      "at": 1800000000
     }
    },
    {
     "path": "boardkeys/boardAAAAAAAAAAAAAAA",
     "data": {
      "key": "short"
     }
    }
   ],
   "shouldFail": true
  },
  {
   "op": "setMany",
   "writes": [
    {
     "path": "boards/boardAAAAAAAAAAAAAAA",
     "data": {
      "title": "Launch",
      "archived": false,
      "createdBy": "alice",
      "createdAt": 1800000000
     }
    },
    {
     "path": "boards/boardAAAAAAAAAAAAAAA/joins/alice",
     "data": {
      "at": 1800000000
     }
    },
    {
     "path": "boards/boardAAAAAAAAAAAAAAA/owners/alice",
     "data": {
      "at": 1800000000
     }
    },
    {
     "path": "boardkeys/boardAAAAAAAAAAAAAAA",
     "data": {
      "key": "kkkkkkkkkkkkkkkkkkkkkkkk"
     }
    }
   ]
  },
  {
   "op": "expect",
   "expr": "get(/boards/boardAAAAAAAAAAAAAAA).title == 'Launch'"
  },
  {
   "op": "as",
   "who": "Bob"
  },
  {
   "op": "set",
   "path": "boardkeys/boardAAAAAAAAAAAAAAA",
   "data": {
    "key": "bbbbbbbbbbbbbbbbbbbbbbbb"
   },
   "shouldFail": true
  },
  {
   "op": "set",
   "path": "boards/boardAAAAAAAAAAAAAAA/owners/bob",
   "data": {
    "at": 1800000000
   },
   "shouldFail": true
  },
  {
   "op": "set",
   "path": "boards/nothingHereXXXXXXXXX/owners/bob",
   "data": {
    "at": 1800000000
   },
   "shouldFail": true
  },
  {
   "op": "setMany",
   "writes": [
    {
     "path": "boardclaims/nothingHereXXXXXXXXX/c/bob",
     "data": {
      "key": "anythinganythinganything"
     }
    },
    {
     "path": "boards/nothingHereXXXXXXXXX/owners/bob",
     "data": {
      "at": 1800000000
     }
    }
   ],
   "shouldFail": true
  },
  {
   "op": "set",
   "path": "boards/boardAAAAAAAAAAAAAAA",
   "data": {
    "title": "Mine now"
   },
   "shouldFail": true
  }
 ]
}

Change history

Point OpenApps links to openapps.free
9b0d0f7b9a · 17 hours ago
Bind agent address in policy
25f84633c0 · 19 hours ago
Use OpenApps service URLs and add contribution strip
07519eb348 · 19 hours ago
Bounded source sync
3296872001 · 1 day ago
Bounded source sync
ac8d2f5d18 · 1 day ago
Bounded source sync
2a5b08a001 · 1 day ago
Bounded source sync
d2242ddf34 · 1 day ago