Auditable transactional prequential adaptation for visual anomaly localization under unknown stream contamination

기술 요약: 시각적 이상 탐지를 위한 감사 가능한 트랜잭션 기반 순차적 적응(Auditable Transactional Prequential Adaptation)

문제 정의
본 논문은 미지의 분포 변화(distribution shifts)와 라벨이 없는 오염(결함)이 존재하는 온라인 스트리밍 환경에서의 시각적 이상 탐지(visual anomaly localization) 문제를 다룬다. 전통적인 적응형 방법론들은 인과적 및 증거적 딜레마에 직면한다. 모델을 업데이트하려면 이미지를 처리해야 하지만, 만약 그 이미지가 결함을 포함하고 있다면, 모델을 해당 이미지로 업데이트할 경우 시스템이 향후 유사한 결함을 감지하지 못하거나 "망각"하는 현상이 발생할 수 있다. 반대로, 시스템이 정상적인 분포 변화에 따라 업데이트를 수행한다면 드리프트(drift)가 발생할 수 있다.

핵심적인 어려움은 단순히 어떻게 업데이트하느냐가 아니라, 측정된 것이 무엇인지 어떻게 검증하느냐에 있다. 저자는 표준적인 '학습-적응-테스트(train-adapt-test)' 설명 방식이 업데이트 시점과 예측 시점 사이의 관계를 모호하게 만든다고 주장한다. 만약 어떤 이미지가 예측 기록 전에 적응을 위해 사용된다면, 보고된 점수는 사후적(retrospective)이 된다. 또한, 많은 "메모리 제한적(memory-bounded)" 방법론들은 가독 가능한 캐시나 보고되지 않은 롤백 복사본과 같은 숨겨진 상태를 고려하지 못하여, 명시된 메모리 제약을 실질적으로 위반한다.

본 논문은 이 설정을 **최초 도착 순차적 계약(first-arrival prequential contract)**으로 정의한다:

1. 순서(Ordering): 이벤트 $t$에서, 로컬라이저(localizer)는 사전 이벤트 상태를 읽고, 예측(점수 및 패치 맵)을 생성하며, 해당 이벤트가 모델에 영향을 미칠지 결정하기 전에 해당 출력을 봉인(seal)해야 한다.
2. 프라이버시(Privacy): 정답(ground truth), 마스크, 그리고 미래의 이벤트는 런타임으로부터 숨겨져 있다.
3. 회계(Accounting): 역전 가능성(reversibility)을 위해 필요한 스냅샷을 포함하여, 미래에 읽을 수 있는 모든 바이트의 상태가 반드시 계상되어야 한다.

방법론: BSPAL
저자는 이 계약을 BSPAL(Bounded State Pquential Anomaly Localization)이라는 베이스라인 방법론으로 구현한다. 이 아키텍처는 검사 가능성을 보장하기 위해 의도적으로 단순하게 설계되었다:

• 표현(Representation): 동결된 DINOv2 ViT-S/14 인코더가 패치 디스크립터를 생성한다. 시스템은 두 가지 고정된 뷰(identity 및 밝기 조정 뷰)를 사용하여 소스 뱅크($A_0$)와 적응형 뱅크($A_t$)에 대한 평균 최근 거리(mean nearest distance)를 기반으로 이상 맵을 계산한다.
• 소스 교정 승인(Source-Calibrated Admission): 오직 동결된 소스 뱅크($A_0$)에서 유도된 통계량이 이벤트의 적응 프로세스 참여 여부를 결정한다. 이는 적응형 뱅크가 자신의 승인 게이트(admission gate)에 영향을 미치는 것을 방지한다.
• 트랜잭션 적응(Transactional Adaptation):
  • 격리(Quarantine): 승인된 이벤트는 좌표 중앙값(coordinate-median) 요약본으로 압축되어 FIFO 격리 구역에 저장된다.
  • 제안(Proposal): 격리 구역에 충분한 항목이 쌓이면, 좌표 중앙값을 통해 새로운 프로토타입이 제안된다.
  • 커밋 및 보호 관찰(Commit & Probation): 커밋 전 상태의 완전한 스냅샷이 저장된다. 새로운 프로토타입은 원자적으로 커밋되며, 16회의 이벤트 동안 보호 관찰 기간을 거친다.
  • 롤백(Rollback): 보호 관찰 기간 중 3회 연속으로 소스 전용 통계량이 높은 임계값을 초과하면, 시스템은 롤백을 트리거하여 커밋 전의 정확한 스냅샷 상태로 복구한다. 롤백 메커니즘은 적응형 프로토타입과 동일한 메모리 예산에 의해 차감되므로, "무료" 보조 메모리는 사용되지 않는다.
• 상태 제한(State Bounding): 지속적인 상태는 스트림의 길이에 관계없이 고정된 용량(예: 적응형 뱅크의 프로토타입 32개, 격리 구역의 항목 64개, 스냅샷 1개)에 의해 엄격히 제한된다.

주요 기여
본 논문의 기여는 프로토콜의 무결성 정의, 트랜잭션 규칙의 구현, 그리고 증거 체인의 건전성에 명시적으로 국한된다:

1. 최초 도착 계약(First-Arrival Contract): 평가자가 관찰 가능한 추정치(estimand), 엄격한 런타임 정보 경계, 그리고 모든 미래 가독 상태에 대한 피크 바이트 회계를 결합한 라벨 없는 시각적 이상 스트림에 대한 공식적 정의를 제공한다.
2. 제한된 트랜잭션 적응(Bounded Transactional Adaptation): 다음 네 가지 속성을 확립하는 규칙을 제시한다:
   • 스트림 길이에 관계없이 일정한 지속적 상태 크기.
   • 인과적 최초 도착 예측(예측은 이벤트 이전의 상태에만 의존함).
   • (다수 정상 인구 가설 하에서의) 제안을 위한 로컬 좌표 중앙값 경계.
   • 롤백 시 트랜잭션 뷰의 정확한 복구.
3. 프로토콜 무결성 및 증거 규율(Protocol Integrity and Evidence Discipline): 저자는 소프트웨어 구현을 검증하기 위해 계약을 실행 가능한 오라클(예: 해시 체인, 접두사 불변성, 진리 교환)에 매핑한다. 결정적으로, 저자는 VisA 벤치마크에 대한 **프로토콜 무결성 실패(protocol-integrity falsification)**를 보고한다. 즉, 역할 분리(훈련 vs 테스트)가 물리적 인스턴스와 유사 객체를 격리하는 데 실패했음을 사후 검토를 통해 확인하였다.

결과 및 증거
논문은 엔지니어링 트레이스와 효능 주장 사이를 엄격히 구분하여 제시한다:

• 상태 회계(State Accounting): 945개의 런 레저(run ledgers)를 재구성하여 읽기 전용으로 검토한 결과, 모든 실행이 설정된 32 MiB 지속 상태 상한선을 유지했음을 확인했다(최대 관측치: 약 1.18 MB). 이는 제한된 상태 주장을 검증한다.
• 지연 시간(Latency): 직접적인 이벤트당 지연 시간은 측정되지 않았으므로, 추론 속도에 대한 어떠한 주장도 하지 않는다.
• 효능(무효화됨)(Efficacy (Invalidated)): MVTec AD 및 VisA에 대한 기존 벤치마크 계산은 과학적 결과로서 무효화되었다. 감사 결과, VisA의 검사된 20개 교차 역할 쌍이 물리적 그룹 내의 일치 항목임이 확인되었다. 결과적으로, 해당 인구 집단은 "그룹 분리(group-disjoint)" 전제 조건을 충족하지 못했다.
  • 저자는 종단 값(예: Pixel AUPRO, Image AUPRC)으로부터 벤치마크 개선, 안전성 또는 동등성에 대한 결론을 도출하지 않는다고 명시적으로 밝힌다.
  • 기존 결과는 인구 집단 수용 프로토콜의 실패를 입증하기 위한 감사 트레이스로서만 유지된다.

의의 및 주장
본 논문의 의의는 성능 향상이 아니라 프로토콜 무결성에 관한 방법론적 엄밀성에 있다.

• 인과적 순서(Causal Ordering): 적응 타이밍이 측정되는 방법론의 일부가 되어야 함을 입증하며, 이를 통해 사후적 점수 산출을 방지한다.
• 가역성 비용(Reversibility Cost): 롤백을 무료 보조 메모리로 취급하는 대신, 가역성을 위한 메모리 비용(스냅샷)을 명시적으로 드러낸다.
• 감사 규율(Audit Discipline): 재현 가능한 계산이라 할지라도 데이터 인구가 격리 전제 조건을 위반한다면 유효한 실험이 될 수 없다는 것이 핵심 발견이다. 저자는 이러한 실패에 대한 적절한 대응은 사후에 행을 선택적으로 삭제하는 것이 아니라, 계산 내용을 추적 가능성을 위해 보존하면서 그 과학적 해석을 철회하는 것이라고 주장한다.

논문은 트랜잭션 계약과 그 제한된 구현은 건전하지만, 트랜잭션 적응이 숨겨진 오염 하에서 최초 도착 로컬라이제이션을 개선하는지에 대한 질문은 미결 상태로 남았으며, 그룹이 분리된 인구 집단을 대상으로 한 새로운 실행이 필요하다고 결론짓는다. 현재의 기여는 계약, 구현, 그리고 재현 가능한 바이트와 허용 가능한 추론을 구분하는 증거 규율이다.