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 c06cea4889e9

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 334801de44cb0fe911d5a88b

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/codes.json

{
  "version": "1",
  "name": "join code tries are capped per device",
  "actors": {
    "Ann": "ann_user",
    "Eve": "eve_user"
  },
  "constants": {
    "BOUNDED_PUBLIC_PRINCIPAL_API": "api_principal"
  },
  "steps": [
    {
      "op": "setTime",
      "epoch": 1800000000
    },
    {
      "op": "as",
      "who": "Eve"
    },
    {
      "op": "set",
      "path": "codetries/ann_user/t/100001",
      "data": {
        "n": 1
      },
      "shouldFail": true
    },
    {
      "op": "set",
      "path": "codetries/eve_user/t/100001",
      "data": {
        "n": 5
      },
      "shouldFail": true
    },
    {
      "op": "set",
      "path": "codetries/eve_user/t/100001",
      "data": {
        "n": 1
      }
    },
    {
      "op": "set",
      "path": "codetries/eve_user/t/100001",
      "data": {
        "n": 1
      },
      "shouldFail": true
    },
    {
      "op": "delete",
      "path": "codetries/eve_user/t/100001",
      "shouldFail": true
    },
    {
      "op": "set",
      "path": "codetries/eve_user/t/100002",
      "data": {
        "n": 1
      }
    },
    {
      "op": "set",
      "path": "codetries/eve_user/t/100003",
      "data": {
        "n": 1
      }
    },
    {
      "op": "set",
      "path": "codetries/eve_user/t/100004",
      "data": {
        "n": 1
      }
    },
    {
      "op": "set",
      "path": "codetries/eve_user/t/100005",
      "data": {
        "n": 1
      }
    },
    {
      "op": "set",
      "path": "codetries/eve_user/t/100006",
      "data": {
        "n": 1
      }
    },
    {
      "op": "set",
      "path": "codetries/eve_user/t/100007",
      "data": {
        "n": 1
      }
    },
    {
      "op": "set",
      "path": "codetries/eve_user/t/100008",
      "data": {
        "n": 1
      }
    },
    {
      "op": "set",
      "path": "codetries/eve_user/t/100009",
      "data": {
        "n": 1
      }
    },
    {
      "op": "set",
      "path": "codetries/eve_user/t/100010",
      "data": {
        "n": 1
      }
    },
    {
      "op": "set",
      "path": "codetries/eve_user/t/100011",
      "data": {
        "n": 1
      },
      "shouldFail": true
    },
    {
      "op": "as",
      "who": "Ann"
    },
    {
      "op": "set",
      "path": "codetries/ann_user/t/100011",
      "data": {
        "n": 1
      }
    },
    {
      "op": "as",
      "who": "Eve"
    },
    {
      "op": "advanceTime",
      "seconds": 601
    },
    {
      "op": "set",
      "path": "codetries/eve_user/t/100011",
      "data": {
        "n": 1
      }
    }
  ]
}

Change history

Point OpenApps links to openapps.free

c06cea4889 · 1 day ago

Bind agent address in policy constants

a7de116d52 · 1 day ago

Use OpenApps service URLs and add contribution strip

e8ce0b0bf0 · 1 day ago

Bounded source sync

dcdc4d56e6 · 2 days ago

Bounded source sync

7acdace1e1 · 2 days ago

Bounded source sync

2140a66ea0 · 2 days ago

Bounded source sync

0db2fe3ca0 · 2 days ago

Bounded source sync

996f633a3c · 2 days ago