[{"data":1,"prerenderedAt":286},["ShallowReactive",2],{"content-\u002Fcontents\u002Fcounterfactual-trace-auditing":3,"surroundPost-\u002Fcontents\u002Fcounterfactual-trace-auditing":277},{"id":4,"title":5,"body":6,"createdAt":260,"description":261,"draft":262,"extension":263,"meta":264,"navigation":265,"path":266,"seo":267,"stem":268,"tags":269,"thumbnail":275,"updatedAt":260,"__hash__":276},"contents\u002Fcontents\u002Fcounterfactual-trace-auditing.md","Counterfactual Trace Auditing Paper Summary",{"type":7,"value":8,"toc":232},"minimark",[9,13,17,20,23,26,29,32,35,38,41,44,47,50,53,56,59,62,65,68,71,74,77,80,83,86,91,94,97,113,116,130,133,144,148,152,155,159,162,166,169,173,176,180,183,187,190,194,197,201,204,208,211,215,218,222,225,229],[10,11,12],"h2",{"id":12},"どんな論文か",[14,15,16],"p",{},"この論文の中心問いは、agent skill が最終的な成功率をどれだけ上げたかではなく、agent の行動をどのように変えたかをどう測るかである。多くの skill 評価は、skill を付ける前後の pass rate を比較する。しかし pass rate は、すでに解けるタスクでは ceiling effect に潰され、助ける効果と壊す効果が同時に起きた場合にも差分が見えにくい。",[14,18,19],{},"Counterfactual Trace Auditing、略して CTA は、同じタスク・同じベース agent について、skill ありの実行 trace と skill なしの実行 trace を対にして比較する。trace を Orientation、Implementation、Validation、Debugging、Finalization の段階に分け、段階と intent 単位で揃え、差分を divergence record として取り出す。",[14,21,22],{},"そのうえで CTA は、差分を Skill Influence Pattern、つまり SIP として分類する。SIP は、Procedural Scaffolding、Edge-case Prompting、Redundant Exploration、Surface Anchoring、Concept Bleed の5種類で、constructive \u002F neutral \u002F destructive な影響を trace 上の観測可能な形で表す。",[14,24,25],{},"実験は SWE-Skills-Bench の49タスクで、Claude Sonnet 4.5 を skill あり\u002Fなしで走らせた paired trace を使う。平均 pass-rate delta は +0.3 percentage points とほぼ動かない一方で、CTA は696件の behavioral divergence と522件の SIP instance を見つける。つまり、skill は結果だけ見ると効いていないように見えても、実行過程はかなり変えている。",[14,27,28],{},"読後に残るポイントは、skill 評価を outcome evaluation だけで終わらせず、trace-level characterization として扱うべきだということ。これは個人 assistant や Codex skills の運用でも効く。skill を増やすだけでなく、それが agent の探索・編集・検証・終了判断をどう歪めたかを見る必要がある。",[14,30,31],{},"Counterfactual Trace Auditing of LLM Agent Skills は、LLM agent に外部 skill を付けたときの影響を、最終成功率ではなく実行 trace の変化として測るための論文である。",[14,33,34],{},"対象にしている skill は、Markdown などで書かれた手順、テンプレート、例、コード片のような procedural knowledge で、agent がタスク実行時に読み込むもの。論文は、この skill が agent のファイル探索、編集、テスト実行、デバッグ、終了判断にどう効くかを監査対象にする。",[14,36,37],{},"使っているデータは SWE-Skills-Bench の paired trace で、同じタスクを skill あり\u002Fなしで実行したもの。著者らは Claude Sonnet 4.5 で49タスクを監査し、pass rate ではほぼ見えない skill の行動影響を取り出している。",[10,39,40],{"id":40},"課題と貢献",[14,42,43],{},"第一の貢献は、skill あり trace と skill なし trace を比較し、段階ごとの差分を取り出す CTA framework である。trace を typed events に変換し、phase segmentation、phase alignment、intent alignment、divergence extraction を行う。",[14,45,46],{},"第二の貢献は、Skill Influence Pattern、SIP の taxonomy である。Procedural Scaffolding と Edge-case Prompting は constructive、Redundant Exploration は neutral、Surface Anchoring と Concept Bleed は destructive な影響として扱われる。",[14,48,49],{},"第三の貢献は、SWE-Skills-Bench 49タスクでの observational study である。平均 pass-rate delta は +0.3 pp にすぎないが、696 divergence と522 SIP が観測され、skill が実行過程を大きく変えていることを示す。",[14,51,52],{},"第四の貢献は、case study によって pass rate だけでは読めない機構を示したこと。たとえば、skill が defensive shell template をほぼそのまま適用して pass rate を上げるケースや、skill の完了手順が agent の validation loop を早く閉じてしまう premature closure が見つかる。",[10,54,55],{"id":55},"手法のしくみ",[14,57,58],{},"CTA の入力は paired trace bundle である。各 bundle には、タスク仕様、skill あり trace、skill なし trace、skill document、skill あり\u002Fなしの pass rate が含まれる。",[14,60,61],{},"M1 では raw trace を read、write、execute、search、think の typed event stream に変換する。M2 では trace を Orientation、Implementation、Validation、Debugging、Finalization の5段階へ分割する。",[14,63,64],{},"M3 では、skill あり trace と skill なし trace を段階単位で揃え、さらに reasoning text の TF-IDF cosine similarity を使って intent window を対応づける。対応した action window の target、content、outcome が違う場合や、一方にしかない action がある場合に divergence record を作る。",[14,66,67],{},"M4 では divergence record を SIP に分類する。分類器は学習済みモデルではなく、決定的な rule-based detector で、スコアが閾値を超えた SIP を付与する。1つの divergence に複数 SIP が付くことも、何も付かないこともある。",[14,69,70],{},"重要なのは、CTA が causal identification を主張しているわけではないこと。著者らは counterfactual を、同じタスク・同じベースモデルの skill あり\u002Fなし paired trace という操作的な意味で使っている。sampling や platform variation までは完全に統制していない。",[10,72,73],{"id":73},"検証結果",[14,75,76],{},"全49タスクで、平均 pass-rate delta は +0.34 percentage points、中央値は0だった。45タスクは pass rate が変わらず、改善は3タスク、悪化は1タスクだけだった。",[14,78,79],{},"一方で、同じ paired trace からは696件の behavioral divergence と522件の SIP instance が見つかった。1タスク平均では divergence が14.2件、SIP が10.7件で、pass rate だけでは見えない行動変化がかなり多い。",[14,81,82],{},"baseline pass rate が0.9以上の ceiling task は37件あり、全SIPの約80%にあたる415件を含んでいた。しかしこの群の平均 pass-rate delta は -0.5 pp で、成功率では skill の影響をほとんど表現できない。",[14,84,85],{},"mid-range task は10件で、平均 pass-rate delta は +3.6 pp と改善の主な余地を持っていた。ただし token overhead は平均2.77倍で、skill が役に立つ場合でもかなり高い読み込み・探索コストを伴うことがある。",[87,88,90],"h3",{"id":89},"sip-の分布も-baseline-bucket-ごとに違う","SIP の分布も baseline bucket ごとに違う",[14,92,93],{},"ceiling task では Surface Anchoring が最多で、mid \u002F floor task では Edge-case Prompting が目立つ。つまり、どの skill effect が起きやすいかは、タスクの難易度や baseline の余地と結びついている。",[10,95,96],{"id":96},"限界と読みどころ",[98,99,100,104,107,110],"ul",{},[101,102,103],"li",{},"一番大きな制約は、モデルとベンチマークが限定されていること。実験は Claude Sonnet 4.5 と SWE-Skills-Bench に基づくため、SIP の頻度を他モデルや他ドメインへそのまま一般化するのは危ない。",[101,105,106],{},"各タスクの実行は skill あり\u002Fなしそれぞれ1回で、反復実行による分散推定はない。論文は全49タスクをカバーすることを優先しており、r=1 の観測研究として読む必要がある。",[101,108,109],{},"SIP detector は deterministic rule ensemble であり、人手ラベルの gold set で検証された分類器ではない。再現性と解釈性は高いが、taxonomy にない失敗は拾えない。実際、premature closure は既存5 SIP では検出されない重要ケースとして出てくる。",[101,111,112],{},"CTA は trace が残っていることを前提にする。agent harness が reasoning、tool call、file write、test execution を十分な粒度で記録していない場合、同じ監査は難しい。これは CTA の限界であると同時に、agent harness 側に必要な observability 要件でもある。",[10,114,115],{"id":115},"読みながら見る図表や節",[98,117,118,121,124,127],{},[101,119,120],{},"Figure 1 は CTA pipeline の全体図。paired trace を typed event にし、phase segmentation、alignment、divergence extraction、SIP annotation へ流す構造を確認するのに向いている。",[101,122,123],{},"Table 1 は baseline bucket ごとの pass-rate delta、token overhead、divergence 数、SIP 数を並べている。特に ceiling task が415 SIP を含むのに pass rate ではほぼ動かない点を見ると、この論文の主張がつかみやすい。",[101,125,126],{},"Table 2 は SIP category の分布。Surface Anchoring、Edge-case Prompting、Concept Bleed などが baseline bucket ごとにどう変わるかを見る表で、skill がどのように効くかを読む入口になる。",[101,128,129],{},"case study section は、pass-rate gain と望ましくない機構が同時に起きる例、token cost だけ増える例、premature closure のように taxonomy 外の失敗が起きる例を具体的に見る場所。",[10,131,132],{"id":132},"次に読むなら",[98,134,135,138,141],{},[101,136,137],{},"この論文は、agent skill を作る話ではなく、作った skill が agent の実行過程をどう変えたかを監査する話として読むとよい。",[101,139,140],{},"次に読むなら、SWE-Skills-Bench、SkillTester、TRACE、SWE-PRM のような trajectory \u002F skill evaluation 系の論文と並べると位置づけが見えやすい。",[101,142,143],{},"実務に引くなら、skill を追加したあとに pass\u002Ffail だけを見るのではなく、読み込み量、探索先、余計な artifact、validation loop、終了条件を比較する mini CTA を作れないか、という方向に考えるのがよい。",[10,145,147],{"id":146},"読後qa","読後Q&A",[87,149,151],{"id":150},"この論文の中心問いは","この論文の中心問いは？",[14,153,154],{},"agent skill が最終成功率をどれだけ変えたかではなく、agent の trace 上の行動をどう変えたかを測るにはどうすればよいか。",[87,156,158],{"id":157},"なぜ-pass-rate-だけでは足りないの","なぜ pass rate だけでは足りないの？",[14,160,161],{},"baseline がすでに高いタスクでは ceiling effect で差分が出ず、さらに skill が助ける効果と壊す効果を同時に起こすと、最終結果だけでは相殺されて見えなくなるから。",[87,163,165],{"id":164},"cta-は何を比較する","CTA は何を比較する？",[14,167,168],{},"同じタスク・同じベース agent について、skill あり trace と skill なし trace を比較する。段階と intent を揃え、どこで read \u002F write \u002F execute \u002F search \u002F think が変わったかを見る。",[87,170,172],{"id":171},"skill-influence-pattern-とは","Skill Influence Pattern とは？",[14,174,175],{},"skill が agent の行動に与えた影響を分類するラベル。Procedural Scaffolding、Edge-case Prompting、Redundant Exploration、Surface Anchoring、Concept Bleed の5種類が使われる。",[87,177,179],{"id":178},"constructive-な-sip-はどれ","constructive な SIP はどれ？",[14,181,182],{},"Procedural Scaffolding と Edge-case Prompting。前者は足りない手順を補う効果、後者は見落としがちな分岐や例外処理を促す効果として扱われる。",[87,184,186],{"id":185},"destructive-な-sip-はどれ","destructive な SIP はどれ？",[14,188,189],{},"Surface Anchoring と Concept Bleed。前者は skill の文字列やテンプレートへの過剰な固定、後者は task に不要な概念や artifact を持ち込む現象を指す。",[87,191,193],{"id":192},"実験で一番大きな発見は","実験で一番大きな発見は？",[14,195,196],{},"平均 pass-rate delta は +0.3 pp 程度なのに、同じ trace から696 divergence と522 SIP が見つかったこと。結果はほぼ同じでも、実行過程は大きく変わっていた。",[87,198,200],{"id":199},"ceiling-task-で何が起きた","ceiling task で何が起きた？",[14,202,203],{},"baseline pass rate が高いタスクに多くの SIP が集中した。成功率には余地がないので skill の影響は pass rate に出にくいが、Surface Anchoring や token overhead などの行動変化は残る。",[87,205,207],{"id":206},"mid-range-task-はどう違う","mid-range task はどう違う？",[14,209,210],{},"改善の余地があるため pass-rate gain が見えやすい。ただし平均 token overhead が高く、skill が役立つ場合でも読み込みや探索のコストが大きくなることがある。",[87,212,214],{"id":213},"この論文を自分の-skill-運用に使うなら","この論文を自分の skill 運用に使うなら？",[14,216,217],{},"skill 追加後に成功率だけで判断せず、trace を見て、余計な探索、不要ファイル作成、template copying、validation の省略、終了条件の変化を比較する。",[87,219,221],{"id":220},"この論文の注意点は","この論文の注意点は？",[14,223,224],{},"SIP detector は rule-based で、人手 gold label に対して検証された分類器ではない。また実験は Claude Sonnet 4.5 と SWE-Skills-Bench の r=1 実行に限られる。",[87,226,228],{"id":227},"一言でいうと","一言でいうと？",[14,230,231],{},"skill は pass rate をほとんど変えなくても、agent の行動を大きく変える。だから skill 評価には、結果だけでなく trace の監査が必要になる。",{"title":233,"searchDepth":234,"depth":234,"links":235},"",2,[236,237,238,239,243,244,245,246],{"id":12,"depth":234,"text":12},{"id":40,"depth":234,"text":40},{"id":55,"depth":234,"text":55},{"id":73,"depth":234,"text":73,"children":240},[241],{"id":89,"depth":242,"text":90},3,{"id":96,"depth":234,"text":96},{"id":115,"depth":234,"text":115},{"id":132,"depth":234,"text":132},{"id":146,"depth":234,"text":147,"children":247},[248,249,250,251,252,253,254,255,256,257,258,259],{"id":150,"depth":242,"text":151},{"id":157,"depth":242,"text":158},{"id":164,"depth":242,"text":165},{"id":171,"depth":242,"text":172},{"id":178,"depth":242,"text":179},{"id":185,"depth":242,"text":186},{"id":192,"depth":242,"text":193},{"id":199,"depth":242,"text":200},{"id":206,"depth":242,"text":207},{"id":213,"depth":242,"text":214},{"id":220,"depth":242,"text":221},{"id":227,"depth":242,"text":228},"2026-05-14","Agent skill の評価を pass rate の差分だけで見ると、実際には大きく変わっている探索・編集・検証の振る舞いを見落とす。この論文は、skill あり\u002Fなしの paired trace を比較し、どの段階で skill が行動を変えたかを Skill Influence Pattern として監査する CTA を提案する。",false,"md",{},true,"\u002Fcontents\u002Fcounterfactual-trace-auditing",{"title":5,"description":261},"contents\u002Fcounterfactual-trace-auditing",[270,271,272,273,274],"論文まとめ","Agent Skills","Trace Auditing","SWE-Skills-Bench","Claude Sonnet 4.5","\u002Farticle-pages\u002Fdocs\u002Fassets\u002Fgraphic-recordings\u002Fcounterfactual-trace-auditing.png","ZbOeyUE6r3J4qa3HZolbcedNL_ecOLY3GgH4AVsCQec",[278,282],{"title":279,"path":280,"stem":281,"children":-1},"Contextual Agentic Memory | Paper Summary","\u002Fcontents\u002Fcontextual-agentic-memory-reading","contents\u002Fcontextual-agentic-memory-reading",{"title":283,"path":284,"stem":285,"children":-1},"Ctx2Skill","\u002Fcontents\u002Fctx2skill-reading","contents\u002Fctx2skill-reading",1782055098781]