core/ids/coordination.ids.ts

core/ids/coordination.ids.ts is a file in Bane's Lab Site. 7 lines of code and 7 definitions.

export const DEVELOPER_SECTION_ID = "the-developer-and-the-model";
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";