EXPcalibur guide

Three real proof states, three different reasons to stop.

Three real proof states: the smallest number winsThree real proof states: the smallest number winsENTRY · early proofBot asks16Proof step4Accepted checks4AT MOST4step and checks tieMODULE BASE · audit missingBot asks16Proof step16Accepted checks12AT MOST12five checks hold it downMODULE AUDITED · smaller requestBot asks8Proof step16Accepted checks16AT MOST8the bot asked for lessThese are ceilings for a later Drive request, after the host accepts the owner and earlier proof.

Each row pairs a proof step with the check kinds it can actually carry. The host takes the smallest bar: what the bot asked for, what that step permits, or what its accepted checks permit. These limits matter only after the owner and earlier proof pass.