Contract States

​

State Enum

enum ContractState {
    NOT_DEPLOYED,        // 0
    NEW_DEPLOYMENT,      // 1
    ATTACK_REQUESTED,    // 2
    UNDER_ATTACK,        // 3
    PROMOTION_REQUESTED, // 4
    PRODUCTION,          // 5
    CORRUPTED            // 6
}

​

State Details

​

Querying State

// Check if contract is attackable (UNDER_ATTACK or PROMOTION_REQUESTED)
bool attackable = attackRegistry.isTopLevelContractUnderAttack(contractAddress);

// Get exact state
IAttackRegistry.ContractState state = attackRegistry.getAgreementState(agreementAddress);

// Get full info
IAttackRegistry.AgreementInfo memory info = attackRegistry.getAgreementInfo(agreementAddress);

​

State Transitions

​

From NOT_DEPLOYED

• → NEW_DEPLOYMENT: Deploy via BattleChainDeployer

​

From NEW_DEPLOYMENT

• → ATTACK_REQUESTED: Call requestUnderAttack()
• → PRODUCTION: Call goToProduction()

​

From ATTACK_REQUESTED

• → UNDER_ATTACK: DAO calls approveAttack()
• → NOT_DEPLOYED: DAO calls rejectAttackRequest()
• → PRODUCTION: DAO calls instantPromote() or auto after 14 days

​

From UNDER_ATTACK

• → PROMOTION_REQUESTED: Attack moderator calls promote()
• → CORRUPTED: Attack moderator calls markCorrupted()
• → PRODUCTION: DAO calls instantPromote()

​

From PROMOTION_REQUESTED

• → PRODUCTION: After 3 days automatically
• → UNDER_ATTACK: Attack moderator calls cancelPromotion()
• → CORRUPTED: Attack moderator calls markCorrupted()
• → PRODUCTION: DAO calls instantPromote()

​

From PRODUCTION

​

From CORRUPTED

​

Time Constants

uint256 public constant PROMOTION_WINDOW = 14 days;
uint256 public constant PROMOTION_DELAY = 3 days;
uint256 public constant MIN_COMMITMENT = 7 days;