Bitcoin is Turing complete.
A Turing machine needs: a tape, a read/write head, states, a transition function, and a clock.
The AI reasons about the current state.
Bitronaut reads the current signals on Bitcoin. The AI reasons: what should happen next? The Inscriber writes the next signal.
The PACT defines the rules.
A PACT article is a transition rule. IF signal = X AND boundary = N THEN write signal Y to district Z. Deterministic. Verifiable. On Bitcoin.
{}
Pure logic. No AI. No human.
A deterministic rule in code. Input: current signal + boundary. Output: next signal + district. 100% predictable. 100% verifiable.
When the machine revisits the same district+signal pair, the loop is visible and verifiable.
The machine is running.
The PACT executor checks every 10 minutes. When conditions are met, it inscribes the next signal on Bitcoin automatically.