2026-08-01T20:42:42.601Z
AI エージェントの観察性: 圧縮後の試験決定継続性
保存された決定と承認された変更を,放棄された,矛盾する,および検証されていないエージェント文脈から分離する再現可能な前/後圧縮試験.
文脈圧縮は観察可能な連続性境界として扱われ,例行 セッションがまだ生きた事件ではない. AIエージェント観察性 の実践的なデフォルトは,圧縮前に小さな一連のタスク決定を捕捉し,エージェントが再開した後,それらを比較し,決定が消えた場合,権限なしに変更された場合,または新しい証拠がない場合,実行を不健康または不確実に保つことです. 不変なセットは会話を必要としません 結果的な作業では, scope , approval-boundary , target ,および acceptance-test などの3〜7つの識別子を含むことができる. 決定が生き残ったことを意味します 新しい価値観と古い価値観を結びつける ヒトが承認した 明確な移行が健康的なときのみ 消化器が変わります その追加テストは 活動テレメトリによって残されたギャップを 埋めます エージェントはコンパクション後のイベントを発信し,プロジェクト指示を再充電し,ツールを成功に呼び出し,間違った部門に向かって静かに作業しながら,必要な承認をスキップしたり,完成の古い定義を使用しながら,目に見える進歩を遂げることができます. 境界線を守れ 健康だと言いません 収縮が異なる時間によって 明らかになります クロッドコードは有用な具体的な例です コンテキスト・ウィンドウドキュメント 規定する /compact 会話を構造的な要約で置き換える. スタートアップコンテキストは一般的に再充電され,文字通りの会話,完全なツール輸出,中間推論はもはや存在しません. 同じドキュメントでは,技能再注入に関する予算制限と例外についても説明しています. ハック参照は,いくつかの関連ライフサイクル信号を暴露します. - PreCompact は,手動または自動圧縮前に燃えます. - PostCompact は,圧縮仕上げ後に燃えます. - SessionStart は source: "compact" を報告することができる. - InstructionsLoaded は reason: "compact" を報告することができる. これらの出来事により 境界が形成され その執行が続いていくことが証明されています 彼らは,コンパクトな要約がすべての任務決定を保持していたことを証明することはできません. InstructionsLoaded はまた,より狭い質問に答えます. 代理人が正しく解釈した証拠でもなく,40回前の任務特別の選択がそのファイルに含まれていた証拠でもない. 継続的な指示と現在の決定の区別は重要です クロッド・コードのメモリドキュメントは CLAUDE.md と自動メモリを持続的な文脈として記述し,それらは強制的な構成ではなく文脈であることを明示的に指摘している. プロジェクトコンベンションはそこにある 現行のタスクのために交渉された一時的なブランチ選択,単行許可制限,または受け入れテストは,別々のタスク記録に属します. 自動圧縮が発生したためだけに警告しないでください. コンパクトは通常のコンテキスト管理です 両側にある証拠が異議を唱える時,またはコンパクション後の観測が実行時間特定の窓内に決して到着しない場合,警告. 決定不変を定義する,レコーディングアーカイブではない 連続性記録は,レビューできるほど小さく,保存できるほど安全でなければならない. この例では,原始決定値ではなく,消化値を保存します. 名前は故意だ - scope は,境界にあるリポジトリ,サービス,データセット,または目的地を識別する. - approval-boundary は,どの行動が依然として人間の権威を必要としているかを記録する. - target は,予想される支店,環境,発行物,またはアーテファクトを特定することができる. - acceptance-test は,任務を解決する決定的なチェックを識別する. - constraint は,概要に残る任務の特定の禁止をカバーする. 消化する前に 決定を正常化する オブジェクトキーを並べて,文字コードを1つ使用し, null を欠けているフィールドから区別し,正常化符をバージョンします. そうでない場合 無害なフォーマット変更は 漂流のように見えます 会話の概要を出す前にコンパクト前のスナップショットを保持します. ローカルアペンドのみのファイルまたはタスクデータベースは十分です. 単純なハッシュは暗号化ではありません 予測可能な秘密や2つの価値の政策の消化は 清算によって推測できます 秘密,提示,応答,原始ツール用荷, 書き込み経路, 絶対的なプライベート経路を この本簿に 入れないでください. 敏感な低エントロピー値については,不透明な識別子を保存するか,エージェントの文脈の外に保持されたキー付きHMACを使用する. 承認された変更には 新しい消化以上の必要性があります この記録は,正当な適応と決定の推移を区別している. モニターはすべての変更を拒絶すべきではなく,説明できない変更を拒絶すべきです. 連続性テストを6つのケースで再現する 6つの合成圧縮境界線を使って 変異性認識の分類器に対して 出来事のみのルールをテストしました 各ケースには既成のイベント前/後のペアが含まれていたため,イベントのみのルールでは 6人の全員が健康であると記されていた. より強い規則は,コンパクト前の決定をコンパクト後の決定と比較した. 保存されたアーテファクトをそのディレクトリから実行します: 結果は以下の通りです 2つの事件は 3つの決定を正確に保持した. ある人は人間の明示的な承認によって 受け入れテストを変えました 残りの3人は承認の境界線を失い,権限なしに範囲を変更し,新しい観測時間なしでテスト消化を再度しました. この結果は,普遍的な失敗率を推定していない. 装置は限界テストで 生産テレメトリではありません 偽造可能な主張は狭い.観察された収縮ペアは,それらの6つの状態を区別できないが,不変な比較はできる. 5つの州が異なる行動への道 州は最小の安全な対応を 決定すべきだ 州 意味 デフォルトアクション --- --- --- preserved 必要なすべての決定は新しい証拠と一致する 領収書を継続して保持する approved-change 決定が明示的に許可された移行によって変更された場合 新しい修正・監査リンクを継続する dropped 圧縮後,必要な決定が欠けている. 結果的な作業を停止し,欠落した決定を復元または要求する conflicting 対応する承認なしに変更された消化 次の逆転可能な境界線で立ち止まって 人間に尋ねる unverified 値が存在するが,新鮮さや源の証拠が欠けている. また観察する. モデル散文から健康を推論するな. 優先順位は,複数の欠陥が同時に発生するときに重要だ. 欠落した承認境界線は,薬剤が許容されていることを変化させるため,既定の受容試験観測を上回るべきである. 道具活動やテストが健康的なように見える場合でも 範囲の衝突は止まるべきです 一方,承認された変更は,ハッシュが異なるためだけに 偶然ではない. 活動と継続性を健康の別々の次元として保持する. 実行は working と conflicting を同時に行うことができる.有用な出力は動いているが,許可されていない標的に向かって動いている. また waiting-human と preserved であり,すべての決定が生き残ったが,次の行動はまだ承認が必要である. これらの組み合わせを緑色または赤色の照明に平坦化することで,テレメトリがサポートすることを意図したオペレーターの決定が削除されます. チェックを正直な制限で実行する 1つの結果型タスクと 3つのインバリアントから始めましょう ランタイムがコンパクト警告を発明するときに,前境界の瞬間を撮影する. 起動指示が再加載された後,次の結果書き前の後,境界後のスナップショットをキャプチャする. 地元に標準化された消化物を比較し,タイムスタンプで状態を放出し,いかなる修正にも承認基準を保持する. PreCompact を普遍的なブロックゲートにするな. 失敗したハックは,残りの文脈や正常な作業を消耗する. プレスナップショットは書き留められない場合, continuity-evidence-missing を記録し,安全な再観測が可能になるまで,その後の行動を制限する. 誤った反発とは 不確実性ではなく 捏造された匹配です インヴァリアントセットも設計的には不完全です ハッシュ等式は記録された決定が一致していることを証明するだけです 誰も記録しようとしなかった重要な決定や 破綻した本や 完璧に生き残った 受け入れ難いテストを 明らかにすることはできません 事件が欠けている境界線を暴露するときにセットをレビューし,エージェントの要約から独立して最終的な結果を検証します. Sidewisp は現在プライベートプレビュー段階です。 公開サイトと記事ライブラリはライブですが,生産代理の健康収集,コンテキストモニタリングアダプター,および回復は一般的には出荷されません. 対象となる製品方向は,既存の実行時間とともに,証拠,可視な不確実性,人間の権威を持つ健康層であり,代替実行時間や自動固定装置ではありません. 現時点では,操作規則は Sidewispなしで使用できます: 収縮イベントを観察し,最小の決定変数を比較し,明示的な修正のみを受け入れ,欠落した証拠が未知のままに残ります.