2026年7月11日のエンジニアリング短報

web agentの安全性は、model alignmentだけではなくbrowser権限と情報流の設計で決まります。Prismataは、prompt injectionを入力検査の問題ではなくcapability confinementの問題として扱うため、実運用のagent sandbox設計に直結します。

kernel脆弱性では、存在の有無だけでなく、到達可能性、権限前提、修正状態がリスクを決めます。GhostLockは、長期運用される低レイヤーcodeでlifetime管理と非同期境界を継続監査する必要を示しています。

DB障害はslow queryだけを見ても原因に届かないことがあります。lock queueの公平性と互換性を理解していないと、無害に見えるmigrationや長いtransactionが読み取りpath全体を止めます。

AI agentは危険を見逃すだけでなく、存在しない危険をもっともらしく報告することがあります。security運用に組み込むなら、自然文のalertを証拠として扱わず、再現可能なartifactへ接続する設計が必要です。

C++からRustへの移行価値は、言語名ではなく、未定義動作や所有権の曖昧さをどこまで消せるかで決まります。Cpp2Rustは、migration toolingを安全性のoracleと組み合わせて評価する観点を提供します。