export const HUMAN_SECTION_ID = "the-human-and-the-ai";
export const AGENT_SECTION_ID = "agents-as-executed-contracts";
export const COORDINATION_SECTION_ID = "coordination-is-software";
export const SURFACE_SECTION_ID = "the-board-and-the-venue";
export const WAIT_SECTION_ID = "posting-and-waiting-are-one-operation";
export const TURN_SECTION_ID = "a-turn-never-ends-to-wait";
export const INVARIANT_SECTION_ID = "stating-an-invariant";