ニュージャージー州の控訴裁判所は、殺人罪で告発された男性には、彼に対して提出された証拠に異議を唱えるため、独自の遺伝子検査ソフトウェアを審査する権利があるとの判決を下した。
2017年にニュージャージーシティで発生した致死的な銃撃事件で裁判を受けているコーリー・ピケット被告の弁護団は、「TrueAllele」と呼ばれるソフトウェアプログラムのソースコードを検証し、その信頼性を評価しようとしている。このソフトウェアは、被告と犯罪を結びつけるために使用された武器の遺伝子サンプルの分析に役立った。
このソフトウェアの開発元であるサイバージェネティクス社は、下級審において、プログラムのソースコードは企業秘密であると主張している。同社の共同創業者であるマーク・パーリン氏は、17万行のMATLABコードで構成されるこのプログラムはあまりにも高密度であり、1時間に10行ずつレビューすると8年半かかると主張し、ソースコード解析に反対したと伝えられている。
同社は、秘密保持契約に定められた厳格な条件の下で弁護側にアクセスを提供した。その条件には、コードの詳細が漏洩した場合に100万ドルの罰金を科すことも含まれていた。しかし、弁護側はこの条件に異議を唱え、評価の妨げとなり、専門家証人の参加を阻むと主張した。
双方が合意に至らなかったため、下級裁判所の判事は、弁護側の主張を十分に検討することなく、ソースコード審査を求める弁護側の申し立てを却下した。これにより、弁護側は控訴に至った。
刑事司法ソフトウェアのコードによって刑務所行きになる可能性があり、それについては何もできない
続きを読む
弁護側は、STRmixやFST（Forensic Statistical Tool）といった他の遺伝子検査ソフトウェアの過去の問題を挙げた。例えば、弁護側の専門家証人であるマット・ハイムダール氏とジーナ・マシューズ氏は、STRmixには13件のコーディングエラーがあり、60件の刑事事件に影響を与えたが、これらのエラーはソースコードのレビューまで発見されなかったと述べた。
彼らはまた、控訴裁判所の判決で述べられているように、FST のソースコードレビューによって「ソフトウェアに「秘密の機能」が存在し、有罪の可能性を過大評価する傾向があることが明らかになった」と指摘しました。
水曜日、控訴裁判所は弁護側[PDF]の主張を認め、事件を下級裁判所に差し戻し、サイバージェネティクス社にTrueAlleleコードを弁護団に提供するよう命じるよう裁判官に指示した。
「ソフトウェアのソースコード（人間が作成した命令セットで、バグや不具合、欠陥が含まれている可能性がある）を敵対的なシステムの文脈で精査しなければ、基礎となる科学を適切に実装しているとの判断は現実的には下せない」と判決は述べている。
電子フロンティア財団の上級スタッフ弁護士、キット・ウォルシュ氏は、控訴審の判決を称賛した。「信頼性を公正に評価できない秘密の証拠に基づいて、誰も投獄されたり処刑されたりするべきではありません。今回の判決は、そのような不正義を防ぐのに役立つでしょう」と、彼女はブログ投稿で述べた。
TrueAllele に欠陥があると判明しても、おそらく、このソフトウェアによって無罪となったと言われる 12 名の個人には影響しないと思われます。®
