docs: track submitted diagnostic budget repair and retain old native proof in Drive

This commit is contained in:
Takeshi
2026-10-15 12:31:48 +09:00
parent 9dbfa36b86
commit f135814b8b
10 changed files with 21181 additions and 7 deletions
@@ -0,0 +1,13 @@
{
"archive": {
"id": "1f9Ao2YulvmK3Cg-uup3I0xzKGwSk409j",
"url": "https://drive.google.com/file/d/1f9Ao2YulvmK3Cg-uup3I0xzKGwSk409j/view?usp=drivesdk"
},
"manifest": {
"id": "1jqquwBfWmdXy3K-qZRUp3XFFHjyH29_o",
"url": "https://drive.google.com/file/d/1jqquwBfWmdXy3K-qZRUp3XFFHjyH29_o/view?usp=drivesdk"
},
"actual_readback_verified": true,
"archive_bytes": 7532961,
"archive_sha256": "e0b9282b86f80ba0b244cbf94dbf04df008f184768924ac280eca67083787c45"
}
@@ -0,0 +1 @@
Download https://drive.google.com/file/d/1f9Ao2YulvmK3Cg-uup3I0xzKGwSk409j/view?usp=drivesdk and manifest https://drive.google.com/file/d/1jqquwBfWmdXy3K-qZRUp3XFFHjyH29_o/view?usp=drivesdk. Verify archive bytes7532961 and SHA256 e0b9282b86f80ba0b244cbf94dbf04df008f184768924ac280eca67083787c45. Extract selected original paths into the base recorded in MANIFEST.json, then verify every member SHA; modes/mtime_ns are recorded. Do not overwrite current proof. R10 OS failure history and all R11 current proof retained locally. No acceptance credit.
@@ -0,0 +1,9 @@
{
"retired_files": 2622,
"retired_logical_bytes": 222061822,
"free_before_bytes": 630935552,
"free_after_bytes": 868958208,
"scratch_files": 0,
"current_R11_and_R10_OS_retained": true,
"formal_credit": 0
}
@@ -0,0 +1,26 @@
[
{
"id": "1IiPcDgDWW2CJpVJdu5lj096NSL6mR7tZ",
"name": "p23-r10-closed-native-streams.RESTORE.md",
"bytes": "549",
"url": "https://drive.google.com/file/d/1IiPcDgDWW2CJpVJdu5lj096NSL6mR7tZ/view?usp=drivesdk",
"shared": false,
"visibility": "not_shared"
},
{
"id": "1jqquwBfWmdXy3K-qZRUp3XFFHjyH29_o",
"name": "p23-r10-closed-native-streams.manifest.json",
"bytes": "886140",
"url": "https://drive.google.com/file/d/1jqquwBfWmdXy3K-qZRUp3XFFHjyH29_o/view?usp=drivesdk",
"shared": false,
"visibility": "not_shared"
},
{
"id": "1f9Ao2YulvmK3Cg-uup3I0xzKGwSk409j",
"name": "p23-r10-closed-native-streams.tar.gz",
"bytes": "7532961",
"url": "https://drive.google.com/file/d/1f9Ao2YulvmK3Cg-uup3I0xzKGwSk409j/view?usp=drivesdk",
"shared": false,
"visibility": "not_shared"
}
]
@@ -0,0 +1,80 @@
"""Lossless cloud preparation for eight explicitly closed diagnostic streams."""
from pathlib import Path
import datetime, hashlib, io, json, shutil, tarfile
ROOT = Path(__file__).resolve().parents[5]
BASE = ROOT / 'artifacts/original-completion-2026-10-02'
DOC = Path(__file__).resolve().parent
SCRATCH = Path('/private/tmp/the-tree-p23-r10-native-20261015')
TRIALS = ('p23-03-native-os-atomic-336a8cd-r10',)
NAME = 'p23-r10-closed-native-streams'
def sha(path):
digest = hashlib.sha256()
with Path(path).open('rb') as stream:
for block in iter(lambda: stream.read(1048576), b''):
digest.update(block)
return digest.hexdigest()
def inventory():
rows = []
for name in TRIALS:
ended = json.loads((BASE/name/'runner-ended.json').read_text())
assert not ended['cleanup_errors']
assert all(row['engine_ended'] for row in ended['cleanup'])
for label in ('layout-A', 'layout-B'):
root = BASE/name/label
assert root.is_dir() and not root.is_symlink()
for path in [root] + sorted(root.rglob('*')):
assert not path.is_symlink()
stat = path.stat()
row = dict(path=path.relative_to(BASE).as_posix(),
mode=stat.st_mode & 0o7777, mtime_ns=stat.st_mtime_ns)
if path.is_file():
row.update(type='file', bytes=stat.st_size, sha256=sha(path))
else:
assert path.is_dir()
row['type'] = 'directory'
rows.append(row)
return rows
def build():
assert shutil.disk_usage(BASE).free > 512*1024**2
SCRATCH.mkdir(exist_ok=True)
archive = SCRATCH/(NAME+'.tar.gz')
assert not archive.exists()
rows = inventory()
metadata = dict(schema='p23-closed-streams-cloud-v1', name=NAME,
base=str(BASE), roots=[f'{n}/{v}' for n in TRIALS for v in ('layout-A', 'layout-B')],
members=rows, files=sum(r['type']=='file' for r in rows),
logical_bytes=sum(r.get('bytes', 0) for r in rows),
selection='Ended native A/B diagnostics only; current source/OS/raw accepted P08 evidence retained',
created_at=datetime.datetime.now(datetime.timezone.utc).isoformat())
payload=(json.dumps(metadata, ensure_ascii=False, indent=2)+'\n').encode()
with tarfile.open(archive, 'w:gz', compresslevel=6, format=tarfile.PAX_FORMAT) as output:
for row in rows:
output.add(BASE/row['path'], arcname=row['path'], recursive=False)
info=tarfile.TarInfo('__P23_NATIVE_STREAM_ARCHIVE__.json')
info.size=len(payload)
output.addfile(info, io.BytesIO(payload))
with tarfile.open(archive, 'r:gz') as source:
assert len(source.getnames()) == len(rows)+1
assert source.extractfile('__P23_NATIVE_STREAM_ARCHIVE__.json').read() == payload
for row in rows:
member=source.getmember(row['path'])
if row['type']=='directory':
assert member.isdir()
continue
digest=hashlib.sha256()
with source.extractfile(member) as stream:
for block in iter(lambda: stream.read(1048576), b''):
digest.update(block)
assert member.isfile() and member.size==row['bytes'] and digest.hexdigest()==row['sha256']
assert inventory()==rows
metadata.update(archive=str(archive), archive_bytes=archive.stat().st_size,
archive_sha256=sha(archive), archive_members_verified=True)
(DOC/'MANIFEST.json').write_text(json.dumps(metadata, ensure_ascii=False, indent=2)+'\n')
print(json.dumps({k:v for k,v in metadata.items() if k!='members'}), flush=True)
if __name__=='__main__':
build()
@@ -0,0 +1,26 @@
{
"submitted": "49445d4a4d38281eb29dab1c1f85dd2b8ffbed11",
"previous": "336a8cd0b30db1add11869ebceab847db693f531",
"actual_runner_state": "submitted",
"model": "gpt-6.1-sol",
"local_python_tests": {
"total": 51,
"passed": true,
"root_reexecuted": true
},
"worker_source_clean": true,
"scope": "diagnostic setup costs from existing construction definitions, candidate signing_cost and effective/base RAW_FOOD quote; checker static preflight and meaningful missing-spend negatives. No product values changed.",
"native_os_evidence": "artifacts/original-completion-2026-10-02/p23-03-native-os-budgetfix-49445d4-r11",
"evidence_state": "collection running, not accepted",
"formal_credit": 0,
"remaining": [
"complete A/B native/normalOS/formal distinctPID resume and strict semantic/provenance/mechanical checks",
"independent Opus direct-image verdicts",
"exact full177 and registered validate/review/integration/final/ledger"
],
"source_hashes": {
"tests/fixtures/p23-03/observation.gd": "a9a0e611f1262151549ff033eae618436e52f661d52decbab5adb93efc4dcdf5",
"tools/check_p23_life_observation_evidence.py": "927f8f63eef7d55c4a9f96783e7240adb05ad236c9252dd8b9e27e9beb996683",
"tools/test_p23_life_observation_evidence.py": "721b187b86d45da7fd1d1815d466f6f34c1b941e7ffc9585fbffb5e7e1dc6eef"
}
}
@@ -244,7 +244,7 @@
"facility_value_contracts_validation.json": "bf490a9ca585c48fc318e76c4a069ef244827d828d46e6415399f7710590dd16", "facility_value_contracts_validation.json": "bf490a9ca585c48fc318e76c4a069ef244827d828d46e6415399f7710590dd16",
"performance_audit.json": "0b630b15a392c3e0366f1362bfe4ddacb968f915f54549f82e4d6fa315384762", "performance_audit.json": "0b630b15a392c3e0366f1362bfe4ddacb968f915f54549f82e4d6fa315384762",
"progress_contract.json": "ccbdfce8c8365d5c13f59531955708834cce45acd0e136561c95295dfdb5df77", "progress_contract.json": "ccbdfce8c8365d5c13f59531955708834cce45acd0e136561c95295dfdb5df77",
"progress_snapshot.json": "a79887a4d45dd0ca5acb53cd0f1c1de957d275a15f9fd8e7169c9880b9a786b7", "progress_snapshot.json": "a6f1dee80667ce45f928a74b8cd37c9e1d296f435daa1995738315c6ffe7039b",
"progress_validator_guard_checks.json": "72ee513fcf1cad85c24bfd0a4b472f425f6acf117928ece0f6b41e29018da627", "progress_validator_guard_checks.json": "72ee513fcf1cad85c24bfd0a4b472f425f6acf117928ece0f6b41e29018da627",
"progress_validator_guard_checks.r01.json": "14c26adffa5a1938241db4912e50ea54b660641ee6fee2e412d467dce14d0519", "progress_validator_guard_checks.r01.json": "14c26adffa5a1938241db4912e50ea54b660641ee6fee2e412d467dce14d0519",
"requirement_coverage.json": "8b5788b22ae8f49ea7e5cf048a5f0d82b54f6f193623465e0b70496b5aadd09d", "requirement_coverage.json": "8b5788b22ae8f49ea7e5cf048a5f0d82b54f6f193623465e0b70496b5aadd09d",
@@ -254,6 +254,6 @@
"validate_facility_value_contracts.py": "91640e2a76cd6cc9186f7b85c0bf379b24b6cac0d48962815235ee628e7ae43e", "validate_facility_value_contracts.py": "91640e2a76cd6cc9186f7b85c0bf379b24b6cac0d48962815235ee628e7ae43e",
"validate_plan.py": "23678227d9b3c556f1bd903f4b5b3147c4a82ce5085e10055481026803451b80", "validate_plan.py": "23678227d9b3c556f1bd903f4b5b3147c4a82ce5085e10055481026803451b80",
"validator_update_checks.json": "f997d0f3de2cea29550840b1d5cb23647d64f81329de46758551e2b6c8fecc27", "validator_update_checks.json": "f997d0f3de2cea29550840b1d5cb23647d64f81329de46758551e2b6c8fecc27",
"work_packages.json": "d6be46ecc55ca8688eae634abb2cc1ddff0bc23d81eaee9c9f322fce3c2ae02d" "work_packages.json": "3d6454eb379a88a733d9bcbd35639b35a9570c513762d7bfb16fa6cc7ebc8853"
} }
} }
@@ -9709,7 +9709,7 @@
"current_closure_targets": { "current_closure_targets": {
"current": "P23-03", "current": "P23-03",
"previous_formally_completed": "P08-03", "previous_formally_completed": "P08-03",
"next_state": "same Runner task repair21 implementing with retained budget/checker diff on Opus-selected gpt-6.1-sol after Root-generated pycache relocation; no reimplementation and no unit credit", "next_state": "genuine submitted49445d4 clean; Root51local PASS; exact R11 native/normalOS collection running; full177 and independent review still pending",
"current_conditions": "all7/all6; A/B native normalOS save/distinctPID, same-demand improvement, exact full177, separate independent direct-image/all-condition review, integration/final/ledger", "current_conditions": "all7/all6; A/B native normalOS save/distinctPID, same-demand improvement, exact full177, separate independent direct-image/all-condition review, integration/final/ledger",
"updated_at_jst": "2026-10-15T12:01:30.832000+09:00" "updated_at_jst": "2026-10-15T12:01:30.832000+09:00"
}, },
@@ -9852,7 +9852,7 @@
}, },
"legacy_state": "planned", "legacy_state": "planned",
"state_scope": "package-level; completed means whole package accepted; partial implementation is not completion", "state_scope": "package-level; completed means whole package accepted; partial implementation is not completion",
"current_summary": "P23-01正式完了。P23-02は性能・通常保持入力等の残条件を保持して着手中。P23-03も着手中で、提出候補336a8cdをRootが検証中。旧診断証跡r05〜r08は照合済みでDrive退避し、失敗履歴と現在必要なOS証跡を保持。P23-03のA配置は通常操作・保存・別PIDの通常メニュー読込を実行済みだが、B配置、厳格照合、独立画像レビュー、全177回帰、Runner全条件レビュー・統合・最終検証が未了。パッケージ全体は未受入。30/88・部分点なしを維持。 R10 is terminal with B fixture budget failures, not acceptance; Opus directed same-task fixture-only repair19 on Opus-selected gpt-6-astra. Current source336 retained. A writer/reader semantic audit passed.", "current_summary": "P23-01正式完了。P23-02は性能・通常保持入力等の残条件を保持して着手中。P23-03も着手中で、提出候補336a8cdをRootが検証中。旧診断証跡r05〜r08は照合済みでDrive退避し、失敗履歴と現在必要なOS証跡を保持。P23-03のA配置は通常操作・保存・別PIDの通常メニュー読込を実行済みだが、B配置、厳格照合、独立画像レビュー、全177回帰、Runner全条件レビュー・統合・最終検証が未了。パッケージ全体は未受入。30/88・部分点なしを維持。 R10 is terminal with B fixture budget failures, not acceptance; Opus directed same-task fixture-only repair19 on Opus-selected gpt-6-astra. Current source336 retained. A writer/reader semantic audit passed. Latest corrected candidate49445d4 submitted/clean; Root51local PASS and exact R11 collection running, no unit credit.",
"remaining_deliverables": [ "remaining_deliverables": [
{ {
"id": "P23-01", "id": "P23-01",
@@ -16078,13 +16078,13 @@
"current_game_acceptance_inferred": false "current_game_acceptance_inferred": false
} }
], ],
"progress_summary": "2026-10-15: same submitted336a8cd; 48 local checker tests PASS. R09 import/319parse/A+B passed; exact same-state independent goods recomputation PASS (2 requests/2 deliveries). R09 OS failed on Root non-atomic ACK publication, not accepted. Root helper now publishes complete ACK via same-directory atomic rename; actual helper call and source retained. Fresh R10 in progress: A-writer56892 completed35 actual requests, passive500 checks/0 failures; A-reader60176 loaded formal save via ordinary menu and observed FRONT/BACK. No complete OS/all-condition acceptance yet. Old8 native layout dirs and obsolete mirror payload losslessly archived/readbackSHA verified; current proof retained. Product/7 conditions/6 categories/30-88 unchanged; formal0. R10 terminal: B writer61335 ended484checks/11failures because fixture budget omitted five signing costs and RAW_FOOD purchase; B reader notrun. A writer/reader semantic audit PASS. Opus confirmed fixture-only repair19; preparation selected Sol, actual run decision selected gpt-6-astra; managed worker dispatched. No full177 rerun before stabilized fixture. Root ACKrace did not recur. Repair19 first dispatch ended on missing readable concrete context, no source edits. Actual directions/failure facts mirrored into allowed task docs; Opus authorized same-task repair20 and latest run selected gpt-6.1-sol. Actual Runner implementing; no duplicate task. Preserved repair20 code passed51 local tests, then submit rejected only Root-generated untracked pycache scope. Cache moved with content SHA preservation outside checkout; Opus repair21/run uses Sol to reuse retained diff, no reimplementation. Additional3227 closed proof files/1,035,272,086 logical bytes archived in11 actual-readback-verified Drive parts; free1,144,098,816 after retirement, currentR10/acceptedP08 retained.", "progress_summary": "2026-10-15: same submitted336a8cd; 48 local checker tests PASS. R09 import/319parse/A+B passed; exact same-state independent goods recomputation PASS (2 requests/2 deliveries). R09 OS failed on Root non-atomic ACK publication, not accepted. Root helper now publishes complete ACK via same-directory atomic rename; actual helper call and source retained. Fresh R10 in progress: A-writer56892 completed35 actual requests, passive500 checks/0 failures; A-reader60176 loaded formal save via ordinary menu and observed FRONT/BACK. No complete OS/all-condition acceptance yet. Old8 native layout dirs and obsolete mirror payload losslessly archived/readbackSHA verified; current proof retained. Product/7 conditions/6 categories/30-88 unchanged; formal0. R10 terminal: B writer61335 ended484checks/11failures because fixture budget omitted five signing costs and RAW_FOOD purchase; B reader notrun. A writer/reader semantic audit PASS. Opus confirmed fixture-only repair19; preparation selected Sol, actual run decision selected gpt-6-astra; managed worker dispatched. No full177 rerun before stabilized fixture. Root ACKrace did not recur. Repair19 first dispatch ended on missing readable concrete context, no source edits. Actual directions/failure facts mirrored into allowed task docs; Opus authorized same-task repair20 and latest run selected gpt-6.1-sol. Actual Runner implementing; no duplicate task. Preserved repair20 code passed51 local tests, then submit rejected only Root-generated untracked pycache scope. Cache moved with content SHA preservation outside checkout; Opus repair21/run uses Sol to reuse retained diff, no reimplementation. Additional3227 closed proof files/1,035,272,086 logical bytes archived in11 actual-readback-verified Drive parts; free1,144,098,816 after retirement, currentR10/acceptedP08 retained. Genuine new submitted49445d4, clean worktree. Root51local PASS. R11 exact-source native/normalOS collector started; no final acceptance or full177 yet. Previous R10 retains rejected B failure evidence.",
"remaining_gaps": [ "remaining_gaps": [
"Finish same-task definition/quote-derived diagnostic budget repair; freeze new submitted source, then exact native and full A/B normalOS, strict semantics/image provenance/calibrated geometry and formal distinct-PID resume. R10 remains failed, no all-condition acceptance.", "Exact submitted49445d4 R11 native/complete A/B normalOS, actual all-spend budget and successful hire/purchase receipts, strict semantic/provenance/mechanical and formal distinct-PID resume verification.",
"Independent Opus direct-image verdicts for all required eligible rows/categories/layouts/layers, generated in a separate managed read-only reviewer session; no fabricated verdicts.", "Independent Opus direct-image verdicts for all required eligible rows/categories/layouts/layers, generated in a separate managed read-only reviewer session; no fabricated verdicts.",
"Exact final177 regression, registered validation and independent Opus all-condition review, integration/final/ledger. Preserve separate Windows, finished-assets/all30 and undefined-value gaps." "Exact final177 regression, registered validation and independent Opus all-condition review, integration/final/ledger. Preserve separate Windows, finished-assets/all30 and undefined-value gaps."
], ],
"updated_at_jst": "2026-10-15T11:38:55.804396+09:00" "updated_at_jst": "2026-10-15T12:10:09.582757+09:00"
} }
], ],
"estimate_person_days_historical_2026_09_29": [ "estimate_person_days_historical_2026_09_29": [