IROPS 회복 어드바이저 · 증강 계층
폭풍을 주입하고, 네트워크 전역으로 번지는 블래스트 반경을 지켜본 뒤, 수작업 허둥지둥이 출처상 4 to 12시간 걸리는 곳에서 약 10분의 1초 만에 Part 117 및 CBA 적법 회복 계획을 받으십시오. 불법 조치는 코드에서 마스킹되어 존재할 수 없으며, 하루가 충분히 나쁠 때 어드바이저는 대량 결항을 자동 승인하는 대신 사람에게 에스컬레이션합니다.
~0.11 s
회복 시간, 이 시드 시나리오
출처 있는 수작업 4 to 12 h 대비 (research.md)
0 illegal
설계상 Part 117 + CBA
단위 테스트된 불변 조건, 테스트 3 of 3 통과
52 of 53
승무원 재배정된 항공편 (98%)
시드 시나리오, 라이브 앱 출력
실행 가능한 데모이지, 배포가 아닙니다. 네트워크, 승무원, 운항 차질은 합성·시드이며, 이 페이지의 모든 숫자는 실행 중인 엔진이 산출합니다.
솔버는 한 번도 문제가 아니었습니다. 속도, 적법성, 가시성이 문제였습니다.
비정상 운항이 닥치고 폭풍이 허브를 결항시키면, 운항통제센터는 방금 승무원을 잃은 하류 항공편의 연쇄를 다시 배정해야 합니다. 오늘날 그 상당 부분은 출처상 4 to 12시간 걸리는 수작업 허둥지둥이며(research.md), 실수할 여지가 없는 두 가지 하드 제약 아래에서 이뤄집니다: FAA Part 117 듀티 및 휴식 한도와 항공사별 노조 CBA입니다.
잘못하면 승객을 발이 묶이게 하고 항공편을 결항시킵니다. DOT 자동 환불 규칙이 2024년 10월에 시행된 이후, 모든 3시간 이상 연쇄 지연은 자동 재무 타격이 됩니다. 규모는 가상이 아닙니다: IROPS는 업계에 연간 약 $60B의 비용을 발생시키고(IATA), 2022년 12월 Southwest 붕괴는 약 16,900건의 결항과 약 2 million명의 발이 묶인 승객과 함께 대략 $1.2B에 달했습니다.
불편한 진실은, 이 중 어느 것도 더 똑똑한 목적 함수로 고쳐지지 않는다는 점입니다. 항공사의 회복은 중요한 시간창 안에서 의미를 갖기에는 너무 느리고, Part 117 또는 CBA 위반 한 건이 곧 컴플라이언스 사건이 되어 너무 위험하며, 항공편이 이미 결항되기 전에는 블래스트 반경이 보이지 않아 너무 불투명합니다. 그것은 솔버 주변의 운영 문제이지, 솔버의 문제가 아닙니다.
중요한 결정은 모두 결정론적 코드가 내립니다. 선택적 LLM은 서술만 하며, 결정 핵심의 완전히 바깥에 있습니다.
하루 초반에 가장 바쁜 허브를 결항시키면 연쇄가 시작됩니다. 블래스트 반경은 결항된 항공편에, 순환에 대한 그래프 도달 가능성으로 계산된, 승무원을 잃는 1홉 하류 항공편을 더한 것입니다. 시드 시나리오에서는 항공편 112편, 스테이션 10곳, 듀티 중인 승무원 96명의 네트워크에서 53편입니다. 그 집합이 회복해야 할 대상이며, 물린 뒤가 아니라 물기 전에 표면에 올립니다.
Part 117(최대 듀티 기간 780분, 최대 비행 시간 480분, 최소 sit 30분)과 샘플 CBA(최대 4구간)는 생성 시점에 강제됩니다. 데드헤드 재배치를 포함한 적법한 회복 듀티만 후보 열이 됩니다. 불법 배정은 산출될 수 없으므로 선택될 수도 없습니다. 이것이 적법성 보장의 핵심 아이디어입니다: 사후에 벌점으로 다루는 것이 아니라, 설계상 강제하십시오.
엔진은 래퍼가 아니라 실제 MIP 솔버(CBC via PuLP)입니다. 후보 듀티에 대해 최소 비용의 적법 집합 분할을 선택합니다: 열린 항공편을 정확히 한 번 커버하고, 각 승무원은 최대 한 번 사용하며, wall-clock으로 제한됩니다. 시드 시나리오에서는 이진 변수 1,815개와 제약 115개의 문제를 OPTIMAL까지 풉니다. 엔진을 공개하며, 그것을 이긴다고 주장하지 않습니다.
계획은 공유 비용 모델에서 무조치 기준선과 채점됩니다: 수작업 앵커 대비 회복 시간, 회피된 결항, 회피된 DOT 자동 환불 익스포저. 회복이 15 percent 자동 승인 임계값을 넘는 결항을 만들면, 상태가 ESCALATE로 바뀌고 사람의 승인이 필요합니다. 솔버가 시간 예산 안에서 실행 가능한 적법 회복을 찾지 못해도, 가장하는 대신 에스컬레이션합니다.
모든 권고는 서명된 recovery_plan.json에 봉인됩니다: 운항 차질, 각 승무원과 항공편이 담긴 선택 계획, 천장 대비 조치별로 확인된 Part 117 및 CBA 조항, 회복 wall-clock, 수작업 기준선 대비 절감. 이것이 이 회복이 권고된 이유에 대한 운항통제센터의 기록입니다. 선택적 계획 코파일럿(기본 Claude, 제공자 교체 가능, 또는 키 없는 로컬 브리지)은 계획을 평이한 영어로 설명하고 키가 없으면 기권합니다. 결정론적 마스크, 솔버, 에스컬레이션 게이트가 결정합니다. 코파일럿은 서술만 합니다.
아래의 모든 수치는 하나의 합성 시드 네트워크에서 실행 중인 엔진의 실제 출력입니다.
보통 폭풍은 회복됩니다. 어드바이저는 적법 회복 듀티 1,762개(그중 데드헤드 재배치 52개)와 결항 폴백 53개를 열거하므로, CBC는 1,815변수·115제약 최소 비용 집합 분할을 OPTIMAL까지 풀고 약 0.11초 만에 상태 RECOVERED를 반환합니다. 라인 25명과 예비 9명을 합친 승무원 34명과 결항 1건으로 항공편 53편 중 52편(98 percent)을 재배정합니다. 적법성 게이트는 솔브 이후 검증되어 듀티 52 of 52 적법, CBA 위반 0건, illegal 0건을 읽습니다. 53편 전부를 결항시키는 것과 섀도 비교하면, 이 시나리오는 결항 52건과 DOT 환불 익스포저 약 $2.37M를 회피하며, 둘 다 이 시나리오의 예시로 표시됩니다.
심각한 사건은 에스컬레이션합니다. severe를 켜면 승무원의 약 30 percent만 남습니다. CBC는 약 0.05초 만에 여전히 적법한 계획을 반환하며, 여전히 0 illegal이고 항공편 53편 중 33편(반경의 62 percent)을 회복합니다. 그러나 항공편 53편 중 20편(38 percent)을 결항시키므로 15 percent 자동 승인 임계값을 넘어, 상태가 ESCALATE로 바뀌고 사람의 승인이 필요합니다. 계획은 여전히 컨트롤러에게 표시되고 플래그됩니다. 단지 자동 승인되지 않을 뿐입니다. 이것이 대부분의 자율 피치가 건너뛰는 부분입니다: 나쁜 날에 고무도장을 찍지 않는 것이 옳은 움직임임을 아는 것.
회복 시간, 회복된 98 percent와 62 percent, 회피된 결항 52건, 대략 $2.37M 환불 회피, 적법 듀티 1,762개는 모두 이 하나의 시드 시나리오 숫자입니다. 어디서든 방어할 수 있는 지속 가능한 주장은 두 가지입니다: 출처 있는 수작업 벤치마크 4 to 12시간 대비 초 단위 회복, 그리고 설계상 0 illegal이며 블래스트 반경·적법 열·적법 분할 테스트에 걸쳐 불변 조건으로 단위 테스트됨(3 of 3 통과). 시나리오 절감은 최악 무조치 기준선과 비교하므로 가장 유리한 프레이밍이며, 그래서 헤드라인이 아니라 예시로 표시합니다.
구매자는 이미 좋은 솔버를 갖고 있습니다. 가치는 그 주변의 운영 계층입니다.
| 접근 | 허브 폭풍을 다루는 방식 | 적법성과 나쁜 날에 대하여 |
|---|---|---|
| 수작업 OCC 허둥지둥 | 연쇄를 손으로 재배정하는 데 출처상 4 to 12시간 | 시간 압박 속 지친 사람이 적법성을 점검하며, 항공편이 결항되기 전에는 블래스트 반경이 보이지 않음 |
| 전면 교체 옵티마이저 피치 | 더 똑똑한 목적 함수와 새로운 기록 시스템을 약속 | 적법성을 벌점 항으로 취급; 락인 위험, 회복이 불가능할 때 정직한 에스컬레이션 없음 |
| StormCrew (증강 계층) | 주입 시 블래스트 반경; 공개된 CBC 엔진에서 초 단위의 적법 계획 | 코드에서 불법 조치 마스킹(0 illegal, 단위 테스트됨); 임계값을 넘으면 사람의 승인으로 에스컬레이션; 서명된 감사 산출물 |
여기의 정직한 자세는 소심함이 아닙니다. 구매자가 이미 신뢰하는 솔버를 갖고 있고, 한 해 최악의 날에 락인이나 설명되지 않는 권고를 견딜 수 없을 때, 교체가 아닌 증강만이 유일한 신뢰할 수 있는 진입입니다. 적법성 보장은 결정론적 코드에 속하며 설계상 강제되어야 하므로, 솔버나 모델의 선택이 그것을 깨뜨릴 수 없습니다.
아닙니다. StormCrew는 이미 보유한 솔버 기반 계획 스택 위에서 섀도와 자문 모드로 동작하는 증강 계층입니다. 블래스트 반경 가시성, 적법성 보장, 초 단위 회복, 에스컬레이션 게이트를 더한 뒤, 컨트롤러가 수락할 서명된 계획을 돌려줍니다. 전면 교체도 락인도 없습니다. 지속 가능한 가치는 새로운 기록 시스템이 아니라 솔버 주변의 운영 계층이기 때문입니다.
아닙니다. 이 점은 의도적입니다. StormCrew는 실제 MIP 솔버(CBC via PuLP)를 엔진으로 사용하고 그것을 공개합니다. 더 똑똑한 옵티마이저 이야기를 성숙한 솔버와 벤치마크했더니 솔버가 이겼고, 그래서 숫자가 아니라 주장을 바꿨습니다. 지속 가능한 주장은 옵티마이저 우월성이 아니라, 수작업 허둥지둥 대비 속도와 설계상 0 illegal입니다.
적법성 제약은 듀티 생성 시점에 액션 마스킹으로 강제되므로, 불법 회복 듀티는 후보로 만들어지지 않습니다. Part 117 듀티·비행 시간·sit 한도와 샘플 CBA 구간 상한은 솔버가 열을 보기 전에 적용되며, 따라서 불법 배정은 선택될 대상으로 존재할 수 없습니다. 이것은 모델이 높게 유지하려는 점수가 아니라, 0 illegal로 단위 테스트된 증명 가능한 불변 조건입니다.
보장된 결과가 아니라 하나의 시드 시나리오의 예시로 다루십시오. 합성 네트워크에서, 블래스트 반경 전체를 발이 묶이게 하는 최악 무조치 기준선과 어드바이저 계획을 비교하고, 승객당 $300 DOT 환불 모델을 사용해 계산됩니다. 설계상 가장 유리한 프레이밍이며 화면에서 예시로 표시됩니다. 독립적으로 앵커된 주장은 출처 있는 수작업 벤치마크 4 to 12시간 대비 속도와 설계상 0 illegal입니다.
조용히 자동 승인하는 대신 에스컬레이션합니다. 예비가 소진된 심각한 실행에서, 계획은 여전히 적법하고 여전히 항공편 53편 중 33편을 회복하지만, 38 percent를 결항시켜 15 percent 자동 승인 임계값을 넘으므로 상태가 ESCALATE로 바뀌고 사람의 승인이 필요합니다. 계획은 고무도장 대신 표시되고 플래그되며, 요점은 이것입니다: 자동 승인하지 않는 것이 옳은 움직임임을 아는 것.
아닙니다. 네트워크, 승무원, 운항 차질, 승객 수는 합성·시드이며, 실제 항공사 데이터와 실제 승무원 기록이 없습니다. ADS-B, 승무원 위치, 날씨와 같은 라이브 피드는 재생 가능한 파일이고, Jeppesen 및 IBS 통합은 목 어댑터입니다. 적법성 엔진과 CBC 옵티마이저는 실제 코드이며, 4 to 12시간 수작업 벤치마크는 외부 출처 앵커이므로, 이 데모는 배포가 아니라 메커니즘의 충실한 증명입니다.
운항통제 VP와 디렉터, 승무원 계획 리드, 항공사 CIO 및 운항 기술 팀을 위한 것입니다.
팀이 Part 117 또는 CBA 위반을 감수하지 않고 IROPS 회복 창을 줄이는 방법을 고민 중이라면, 어떻게 생각하고 계신지 진심으로 듣고 싶습니다. 문제는 업계 전반이며 답도 그럴 것입니다.