docs: record passing P23 semantics and actual OS calibration diagnostic

This commit is contained in:
Takeshi
2026-10-15 10:12:29 +09:00
parent 7fae76c723
commit 27dec31228
6 changed files with 80 additions and 6 deletions
@@ -0,0 +1,11 @@
{
"scope": "immutable Root raw evidence mirror for same-task offline interpretation, not new acceptance",
"source": "/Users/korizatou114/Projects/\u3068\u308a\u306b\u304f\u5de5\u623f\u30b2\u30fc\u30e0\u5236\u4f5c\u90e8/artifacts/original-completion-2026-10-02/p23-03-native-drawfix-r06",
"mirror": "/Users/korizatou114/Projects/TheTree-managed-worktrees/p23-03-code/.runtime/P23-03/offline-evidence-55c29f1-r06",
"all_sha_equal": true,
"method": "APFS clonefile COW, no full data duplication",
"created_unix": 1792025861.03575,
"file_count": 2622,
"logical_bytes": 222061809,
"manifest_sha256": "8dcc0693b5fab4504298b851861be1f7038eeac72b2a945fde030d826030964c"
}
@@ -0,0 +1,30 @@
{
"candidate": "0b7727a66c76d1ce2a345571718feb3117dd8802",
"evidence_root": "/Users/korizatou114/Projects/\u3068\u308a\u306b\u304f\u5de5\u623f\u30b2\u30fc\u30e0\u5236\u4f5c\u90e8/artifacts/original-completion-2026-10-02/p23-03-native-os-0b7727a-r07",
"local_checker_methods": 32,
"native_import_parse319_A_B": "PASS",
"same_demand": "PASS A7153 B2585",
"independent_previous_native_stream_semantics": "PASS A17 B17; mirror2622 unchanged",
"normal_os": {
"actual_writer_pid": 24236,
"completed_actual_requests": 4,
"observed": "Front/Back switches and screenshots, actual CUA IDs/rawSHA ACKs",
"early_pixel_failure": "compare_rectangles missing drawing pixels room/facility_00000003",
"calibration": {
"screenshot": [
1440,
842
],
"window_content": [
1440,
810
],
"titlebar_pixels": 32,
"scale": 1
},
"termination": "Root SIGINT exact owned collector22496 for early diagnosis; engine24236 ended true cleanup_errors=[] guard_errors=[]; not acceptance",
"reader_or_full": "not executed"
},
"readable_offline_mirror": "/Users/korizatou114/Projects/TheTree-managed-worktrees/p23-03-code/.runtime/P23-03/offline-os-0b7727a-r07",
"formal_unit_credit": 0
}
@@ -0,0 +1,21 @@
import pathlib,json,hashlib,sys,os,time,datetime
root=pathlib.Path('/Users/korizatou114/Projects/\u3068\u308a\u306b\u304f\u5de5\u623f\u30b2\u30fc\u30e0\u5236\u4f5c\u90e8/artifacts/original-completion-2026-10-02/p23-03-native-os-0b7727a-r07');folder=sys.argv[1];d=root/'os-pair'/folder;q=json.loads((d/'request.json').read_text());draft=json.loads((d/'cua-draft.json').read_text());assert not (d/'ack.json').exists()
p=pathlib.Path('/Users/korizatou114/.codex/sessions/2026/10/02/rollout-2026-10-02T00-49-07-01a0f827-b7b6-7453-9367-098f6b1c4435.jsonl');calls=[];related=[]
with p.open('rb') as f:
f.seek(max(0,p.stat().st_size-8*1024*1024));f.readline()
for l in f:
try:x=json.loads(l)
except ValueError:continue
y=x.get('payload',{})
if x.get('type')!='response_item' or y.get('type')!='function_call' or y.get('name')!='js':continue
a=json.loads(y['arguments']);code=a.get('code','')
if 'p23' in code:related.append({'timestamp':x['timestamp'],'call_id':y['call_id'],'name':'mcp__cua_repl.js','arguments':a})
if folder in code and 'p23Request(' in code:calls.append(related[-1])
assert len(calls)==1,('require exactly one actual CUA action call',len(calls));call=calls[0]
def sha(p):return hashlib.sha256(p.read_bytes()).hexdigest()
shots=[]
for n in ['screen-before.png','screen-after.png']:
f=d/n;assert f.is_file();shots.append({'path':str(f.relative_to(root)),'raw_sha256':sha(f),'tool_call_id':call['call_id']})
receipt={'method':'native_os','tool_name':'mcp__cua_repl.js','tool_call_id':call['call_id'],'arguments':call['arguments'],'actual_calls':calls,'timestamp_ns':draft['timestamp_ns'],'collector_pid':os.getpid(),'target_pid':q['target_pid'],'events':draft['events'],'screenshots':shots,'calibration':draft['geometry'],'request_sha256':sha(d/'request.json'),'trace_source':str(p),'acceptance':'pending'}
(d/'cua-receipt.json').write_text(json.dumps(receipt,ensure_ascii=False,indent=2)+'\n');(root/'root-cua-trace.json').write_text(json.dumps(related,ensure_ascii=False,indent=2)+'\n')
ack={'target_pid':q['target_pid'],'sequence':q['sequence'],'request_sha256':sha(d/'request.json'),'input_receipt':str((d/'cua-receipt.json').relative_to(root)),'timestamp_ns':time.time_ns()};(d/'ack.json').write_text(json.dumps(ack,indent=2)+'\n');print(folder,call['call_id'],'ACK',q['sequence'])