39 lines
6.1 KiB
JSON
39 lines
6.1 KiB
JSON
{
|
|
"commit": "053f391bf35482c0996292de263f2c39e88d96f0",
|
|
"passed": true,
|
|
"artifact": "/Users/korizatou114/Library/Application Support/agent-control/the-tree-runner-p24-review-packet/runs/7ca0a1409a244782afb0e2c6b003be6d",
|
|
"review": {
|
|
"task_id": "RP24-01",
|
|
"commit": "053f391bf35482c0996292de263f2c39e88d96f0",
|
|
"status": "pass",
|
|
"summary": "RP24-01 の受入項目は、提供された仕様・差分・ソース・Runner の試験結果の範囲では満たされている。私は何も実行しておらず、次の判断はすべて提供資料に基づく。変更は allowed_paths の runner/core.py と tests/test_runner.py だけで、既存試験の削除や無効化は差分になく、CLI・policy・prompts・設定 DB にも触れていない。\n\n**P24 パケット**\n- 対象は project the-tree-p24-03-code / P24-03 / base 286730f / candidate 4cefcff に限定されている。他タスクは従来のパケット経路のままで、非 P24 の試験もある。\n- raw 本体は `git cat-file blob` で取得し、OID を再計算して検証する(`raw_blob`)。`git stdout.strip` は使わず、スナップショットは `self.repo` から取るので CONTROL の git には依存しない。\n- 変更・追加・削除行の raw 全文、focus 行、未変更行の SHA、省略 ID 集合、全体 SHA と blob OID、前後のメタデータは文脈に残る。全 diff・全コード source・validation_sources・正式試験の receipt も残る。\n- 500000 未満の `json.dumps(body).encode` ガードは変更されていない。実際の最終パケットは guard 434382 bytes だった。\n- 補足試験の結果は、行数 172 → 173、変更行は test_selection_departure.gd のみ、未変更証明 172 件で、仕様の context_reference と一致する。\n- パーサーは次を拒否する。\n - schema_version が bool や 1 以外。\n - 重複キー、重複 ID、不正な行形状、focus の欠落。\n - NaN / ±Infinity / 1e999。\n - 利用不能または不整合なスナップショット。\n- 空白だけが違う行は modified になる。\n\n**trusted_runner_self_test**\n- `trusted_self_test` は、次の条件が揃わなければ実行前に拒否する。\n - project、task、validation ID、argv、timeout 180。\n - role=validation、service なし、input なし、writable 空。\n - 設定 digest。\n - 契約(spec SHA、base、allowed_paths)。\n - 状態に応じた phase。\n - 提出 SHA または同一 tree の統合候補。\n - clean な detached worktree と共通 git dir。\n - scope。\n - spec の SHA。\n- 通常の `Runner.verify` / `process` を通るので、run ログ、evidence、exit code、lease も通常どおり残る。sandbox-exec を使わない分岐は `execution` 指定時だけで、worker / LLM と通常の validation は従来の sandbox のまま。\n- command.json に execution、target_commit、spec_sha256、contract_digest、config_digest が記録される。\n- Runner の正式試験(runner-unit、exit 0)は、command.json に trusted_runner_self_test と target_commit=053f391 が記録された状態で合格している。この receipt が自己申告ではない根拠。\n\n**試験**\n- 追加試験は、厳格パーサー、情報保持、focus 欠落、非 P24 とサイズガード、拒否文脈の行列(16 通り)、未知の project / mode の拒否、使い捨て fixture 上の実 sandbox probe を含む trusted パイプライン全体。\n- 本番の変更、live provider の呼び出し、認証情報の使用はない。\n\n**未確認の点**\n- 補足試験の実行ログ自体は、提供された `actual_result` の記載でしか確認できない。\n\n下の findings は、どれも合格を妨げる重大度ではない。",
|
|
"acceptance_ids": [
|
|
"RP24-01"
|
|
],
|
|
"findings": [
|
|
{
|
|
"severity": "low",
|
|
"message": "コミット済みの tests/test_runner.py には、実 git オブジェクトに対する `raw_blob`(CRLF や空白を保つ raw bytes、欠落、OID 不整合)の試験がない。`packet()` の P24 厳密対象分岐(`marker source absent` や、正しい定数で文脈に置き換わる正例)の試験もない。いずれも /private/tmp の補足試験でだけ実証されていて、その試験は稼働中の P24 project 状態に依存する。将来 `raw_blob` の検証や対象定数が壊れても、正式試験は検知できないおそれがある。追跡項目として残すことを推奨する。"
|
|
},
|
|
{
|
|
"severity": "low",
|
|
"message": "tests/test_runner.py では、`if __name__==\"__main__\": unittest.main()` が ReviewMarkerTests の定義より前にある。discover 実行では問題ないが、ファイルを直接実行すると新規クラスが走らない。"
|
|
},
|
|
{
|
|
"severity": "low",
|
|
"message": "拒否文脈の行列試験は主要な拒否を網羅しているが、dirty tree、branch が checkout されている場合、task ID・base・acceptance_ids の個別改変は個別ケースがない。また `test_trusted_unknown_context_rejected_before_execution` の role ループは、project 不一致で先に拒否される。そのため role ごとの拒否はこの試験では実証されず、行列試験が担っている。"
|
|
},
|
|
{
|
|
"severity": "low",
|
|
"message": "信頼実行は、sandbox なしで提出コードの試験を候補コード(tests/test_runner.py を含む)のまま host 上で走らせる。しかも validation は review より前に実行される。これは仕様で明示的に許可され、project・task・SHA・argv で厳密に絞られているため範囲内だが、運用上の残余リスクとして認識しておくこと。"
|
|
},
|
|
{
|
|
"severity": "low",
|
|
"message": "marker_context は、行の並び順の変更と行間の区切り(空白・カンマ)の差を行単位では表さない。これらは全体 SHA と全 diff でのみ確認できる。仕様の要求(行 raw と ID 集合)は満たしており、仕様上の問題ではない。"
|
|
}
|
|
]
|
|
},
|
|
"repair_count_unchanged": true,
|
|
"supplemented_guard_bytes": 241322
|
|
}
|