Record passing P08 evidence validator and concrete cache cleanup proposal

This commit is contained in:
Takeshi
2026-10-14 10:24:54 +09:00
parent 7e8c30d552
commit 5619773227
5 changed files with 10716 additions and 5 deletions
@@ -115,7 +115,8 @@ def packet_with_actual_evidence(self, task_id, role, sha=None):
packet = original_packet(self, task_id, role, sha) packet = original_packet(self, task_id, role, sha)
if role == 'reviewer' and self.config['project'] == 'the-tree-p08-03-code' and task_id == 'P08-03': if role == 'reviewer' and self.config['project'] == 'the-tree-p08-03-code' and task_id == 'P08-03':
import hashlib import hashlib
frozen = Path(os.environ['OWNER_P08_PREPARED_REVIEW']) frozen = getattr(self, '_owner_frozen_review_checkout', None)
require(frozen is not None and git(frozen, 'rev-parse', 'HEAD') == sha, 'actual frozen review candidate')
prefix, data = packet.split('\nDATA:\n', 1) prefix, data = packet.split('\nDATA:\n', 1)
body = json.loads(data) body = json.loads(data)
context = frozen / '.owner-review-context' context = frozen / '.owner-review-context'
@@ -278,5 +279,13 @@ if os.environ.get('OWNER_P08_RECOVER_PARTIAL_SUBMIT') == '647196f':
print(json.dumps({'submitted': r.task('P08-03')['submitted'], 'state': r.task('P08-03')['state']})) print(json.dumps({'submitted': r.task('P08-03')['submitted'], 'state': r.task('P08-03')['state']}))
sys.exit(0) sys.exit(0)
_recorded_detached = Runner.detached
def recorded_review_checkout(self, name, revision):
checkout = _recorded_detached(self, name, revision)
if self.config['project'] == 'the-tree-p08-03-code' and name.startswith('P08-03-review-'):
self._owner_frozen_review_checkout = Path(checkout)
return checkout
Runner.detached = recorded_review_checkout
from runner.cli import main from runner.cli import main
main() main()
@@ -1,13 +1,12 @@
{ {
"plan_id": "P08-03", "plan_id": "P08-03",
"status": "in_progress", "status": "in_progress",
"candidate": "bf2d75c9b01aeb1a21144aa80b0971bfcf86569c", "candidate": "7e2368f5c453a3900ba1bb038d7138d25f7eb4fb",
"executed_native_source": "31aa7706d28a92e313c432d5a62e35d19503dcc3", "executed_native_source": "31aa7706d28a92e313c432d5a62e35d19503dcc3",
"formal_acceptance": false, "formal_acceptance": false,
"independent_review": "INDEPENDENT_OPUS_REVIEW_7DDE98CC.json", "independent_review": "INDEPENDENT_OPUS_REVIEW_7DDE98CC.json",
"review_status": "changes_requested", "review_status": "changes_requested",
"missing": [ "missing": [
"repair filtered-summary/full-environment hash contract",
"final175 full regression", "final175 full regression",
"independent semantic acceptance including stair preview/runtime difference", "independent semantic acceptance including stair preview/runtime difference",
"integration and final evidence checks" "integration and final evidence checks"
@@ -16,6 +15,6 @@
"denominator_packages": 30, "denominator_packages": 30,
"denominator_units": 88, "denominator_units": 88,
"completed_delta": 0, "completed_delta": 0,
"formal_validator": "failed: filtered environment summary incorrectly hashed as complete environment", "formal_validator": "passed:1c1e23a695664c0999a6924211108c00-validation.json",
"next_action": "Opus Repair16: verify original receipt semantics and corruption negatives; exact R09 net diff now validators/docs only" "next_action": "required final175 then independent semantic acceptance; capacity approval requested for2closed regenerated caches"
} }
@@ -0,0 +1,15 @@
{
"task_id": "P08-03",
"commit": "12430ba89970bda349781e51157e72e48a4ac06f",
"status": "submitted",
"summary": "Repair16を指定4ファイルに実装。receiptのSHA/bytes、subsetとopaque full-env hashの来歴一致、role/proof paths、R09とHEADのdriver一致を検証。既存107テストを維持し8 negativesと1 positiveを追加。実行: python3 tools/test_p08_normal_placement_evidence.py — 116 tests in 80.606s、OK、exit0。原本proof変更、native/OS実行、git書込みなし。docsにRootのfixture削除確定とnet diffを記録。未完了: Root R09 positive hash re-check、Root final full175、全5条件の独立Opusレビュー、integration/current final verification/ledger、Windows same-distribution/device(Mac代替不可)。",
"acceptance_ids": [
"P08-03"
],
"findings": [
{
"severity": "medium",
"message": "preview/runtime stair differenceとcoordinator runtime acceptance=falseは引き続きopen。受入は未確定。"
}
]
}
@@ -0,0 +1,14 @@
{
"task_id": "P08-03",
"commit": "7e2368f5c453a3900ba1bb038d7138d25f7eb4fb",
"kind": "validation",
"checks": [
{
"id": "p08-normal-placement",
"exit_code": 0,
"artifact": "/Users/korizatou114/Library/Application Support/agent-control/the-tree-p08-03-code/runs/4b92d3ea11c54258bd8cddbde88ee3c7",
"passed": true
}
],
"passed": true
}