Lab 15 of 15 · rank P2

Agent under a limit, human above it

On the policy board, cHuman and cAgent say which signer classes signed; v0..v7 are the value bucket bits (floor(log2(value / 1e12)) — bit 4 and above mean 0.065 BNB or more). Wire allow = cHuman OR (cAgent AND NOT (v4 OR v5 OR v6 OR v7)). A human can always act; an agent alone only below the limit.

← All labs

1
Build itPorts named cHuman, cAgent, v4, v5, v6, v7 and allow
2
Pass the truth table6 rows checked
3
Etch it (optional)a verified die in your project

⊼

Cellsclick one, then click the canvas

Build your die

Turn logic into a permanent, verifiable part.

NAND used0 / par 14

LATCH used0 / par 0

Pick a cell on the left, click to place it · drag from an output pin to an input pin to wire · click a wire to remove it · click a cell to rename it

→ Y=0

What it should do

cHuman cAgent v4 v5 v6 v7allow

0 1 0 0 0 01

0 1 1 0 0 00

0 1 0 0 0 10

1 0 0 0 0 11

1 1 0 1 0 01

0 0 0 0 0 00

Stuck?

OR the four high value bits into one 'big' signal, NOT it, AND with cAgent, then OR with cHuman.

Par is 14 NAND. Using more still passes here. To etch it as a verified die that mines, keep it within 28 NAND-equivalent (a LATCH counts 2): the verifier refuses bigger designs, so padding can't buy mining weight.

Etch it as a die (optional)

Turn this circuit into a verified die you own. It burns 0 NAND. Get materials at the Foundry.

connect a wallet to pick a project