Facet - A measurement bench for code

# one task, many intents

# measured, not ranked

# prototype +D8 -D5

def move(a):

return a.bal - a.amt

# hot path +D1 -D11

def move(bal, amt):

return bal - amt

# boundary +D6 +D11

with tx() as t:

ok = policy(row, req)

t.audit(ok)

# teaching +D3

print(explain(check(req)))

# one task, many intents

# measured, not ranked

# prototype +D8 -D5

def move(a):

return a.bal - a.amt

# hot path +D1 -D11

def move(bal, amt):

return bal - amt

# boundary +D6 +D11

with tx() as t:

ok = policy(row, req)

t.audit(ok)

# teaching +D3

print(explain(check(req)))

# one task, many intents

# measured, not ranked

# prototype +D8 -D5

def move(a):

return a.bal - a.amt

# hot path +D1 -D11

def move(bal, amt):

return bal - amt

# boundary +D6 +D11

with tx() as t:

ok = policy(row, req)

t.audit(ok)

# teaching +D3

print(explain(check(req)))

// same task

// measured, not ranked

// explicit +D5 +D3

type R = Ok | Bad

const d = check(x)

// script +D8 -D6

const n = bal - amt

console.log(n)

// service +D6 +D11 -D8

const c = await auth(actor)

await ledger.write(entry)

await audit.record(c.hash)

// profile it, don't rank it

facet.profile(src, intent)

// same task

// measured, not ranked

// explicit +D5 +D3

type R = Ok | Bad

const d = check(x)

// script +D8 -D6

const n = bal - amt

console.log(n)

// service +D6 +D11 -D8

const c = await auth(actor)

await ledger.write(entry)

await audit.record(c.hash)

// profile it, don't rank it

facet.profile(src, intent)

// same task

// measured, not ranked

// explicit +D5 +D3

type R = Ok | Bad

const d = check(x)

// script +D8 -D6

const n = bal - amt

console.log(n)

// service +D6 +D11 -D8

const c = await auth(actor)

await ledger.write(entry)

await audit.record(c.hash)

// profile it, don't rank it

facet.profile(src, intent)

Checking your Facet session...