Record full P08 regression and registered validation evidence

This commit is contained in:
Takeshi
2026-10-14 00:11:38 +09:00
parent f159c6c712
commit 9d5ec10676
8 changed files with 33795 additions and 15 deletions
@@ -1,20 +1,32 @@
{
"candidate": "d1c7ce27d21a77be87081e12d20e7c8dd6ffa353",
"original_unit_completed": false,
"next": "finish same full regression, bind registered evidence, validate, independent Opus, integration",
"next": "actual independent Opus review then integration/current applicable final verification",
"fixed_material_limit": null,
"file_count_limit": null,
"original_30_88_unchanged": true,
"native_final": "all8 PASS exact candidate",
"normal_os": "preview,cancel,confirm,changed-source refusal recorded with preservation guards",
"full_regression": {
"state": "running",
"state": "ended_all_PASS",
"session": 61113,
"suites": 174,
"directory": "artifacts/original-completion-2026-10-02/p08-02-final-full174-native-r01"
"directory": "artifacts/original-completion-2026-10-02/p08-02-final-full174-native-r01",
"strict_marker_checks": 20184,
"engine_ended": true,
"guard_errors": [],
"cleanup_errors": []
},
"registered_evidence_binding": "REGISTERED_NATIVE_OS_BINDING.json",
"registered_evidence_files_whole_verified": 3434,
"independent_review_navigation": "OPUS_EVIDENCE_NAVIGATION.json",
"prior_candidate_evidence_preserved_outside_current_build": true
"prior_candidate_evidence_preserved_outside_current_build": true,
"registered_final_regression_files_whole_verified": 5612,
"registered_validation": "integrity verified, deficits0, original acceptance pending",
"independent_review": {
"state": "running",
"session": 14381,
"model": "claude-opus-5-5",
"source_access": "Read/Grep/Glob frozen checkout + complete SHA-bound validation material"
}
}
@@ -48,11 +48,16 @@
"observer_field_caveat": "modal_blocked reflects dialog visibility, not all input-control blocking; do not infer extra acceptance.",
"changed_source_caveat": "Controlled fixture save A replaced by valid B in private QA profile between preview and confirmation. Running model clock continues normally; rejection receipt plus one successful load event proves no second load. Compare full state under applicable time progression rather than assert whole model stayed frozen. Native late-refusal tests separately prove entire original state/save preservation.",
"root_assertions_require_independent_inspection": true,
"full_regression_state": "running; guide is navigation only, no review verdict",
"full_regression_state": "Final exact-candidate full174 regression ended with all PASS, error/guard/cleanup all0; indexed raw receipts and complete profiles bound before validator/review.",
"original_denominator": {
"packages": 30,
"delivery_units": 88,
"partial_credit": false
},
"windows": "Same Windows release/device acceptance remains pending globally; do not infer from macOS native."
"windows": "Same Windows release/device acceptance remains pending globally; do not infer from macOS native.",
"full_regression_paths": {
"input": "p08-evidence/regression/runner-input.json",
"ended": "p08-evidence/regression/runner-ended.json",
"proof": "p08-evidence/regression/proof.json"
}
}
@@ -0,0 +1,34 @@
{
"candidate": "d1c7ce27d21a77be87081e12d20e7c8dd6ffa353",
"current_main": "f159c6c712fe50b64ac3d0f8e41b69561c316592",
"frozen_base": "e196578c1a4ad2fdf84642565bd102e524be386f",
"production_source_differences_between_candidate_and_main": [],
"current_main_source_changes_since_frozen_base": [],
"candidate_source_additions": [
"tests/fixtures/p08-02/README.md",
"tests/fixtures/p08-02/mixed_world.gd",
"tests/fixtures/p08-02/mixed_world.gd.uid",
"tests/fixtures/p08-02/reader.gd",
"tests/fixtures/p08-02/reader.gd.uid",
"tests/fixtures/p08-02/writer.gd",
"tests/fixtures/p08-02/writer.gd.uid",
"tests/s1/test_p08_combined_migration.gd",
"tests/s1/test_p08_combined_migration.gd.uid",
"tools/check_p08_migration_evidence.py",
"tools/run_p08_mixed_migration.py",
"tools/test_p08_migration_evidence.py"
],
"prospective_only": true,
"integration_not_performed": true,
"reuse_conditions": [
"Actual integration source map equals exact native/OS/full-regression source map, with frozen specification and completion markers unchanged.",
"Every full regression suite passes, all owned engines end, private/default/source guards hold.",
"Registered validator and independent Opus cover all original facets.",
"Actual integration verifier runs; no relabel of original receipt commit or claim Windows acceptance."
],
"denominator": {
"packages": 30,
"units": 88,
"partial_credit": false
}
}
@@ -0,0 +1,23 @@
{
"commit": "d1c7ce27d21a77be87081e12d20e7c8dd6ffa353",
"passed": true,
"registered_receipt": "/Users/korizatou114/Library/Application Support/agent-control/the-tree-p08-02/runs/11b6c33568fe4876849d701f6c783cfb-validation.json",
"registered_receipt_sha256": "f3b7929470d22feb7bed7634dc68f5675163ab967632341ff0ce03dfc2822330",
"validator_stdout": "/Users/korizatou114/Library/Application Support/agent-control/the-tree-p08-02/runs/7b96b30596644a578640ae0f17b85e04/stdout.log",
"validator_stdout_sha256": "98a3b66fddd13172d917e5e36f2cc2f95e007c994b683d3ab990c60f58283163",
"validator_result": {
"integrity": "verified",
"deficits": [],
"acceptance": "pending",
"conditions": {
"mixed_construction": "pending",
"occupancy_change": "pending",
"actual_actor_positions": "pending",
"combined_rescue_logistics_ev": "pending",
"no_overlap_orphan_loss": "pending",
"unsolvable_preservation": "pending"
}
},
"independent_review": "running",
"original_unit_completed": false
}
@@ -0,0 +1,10 @@
{
"commit": "d1c7ce27d21a77be87081e12d20e7c8dd6ffa353",
"input": "regression/runner-input.json",
"ended": "regression/runner-ended.json",
"directory": "regression",
"canonical_stage_sources": "available in frozen candidate source checkout; exact full source map verified by runner",
"import_cache": "not acceptance evidence; import log and native lifecycle preserved",
"profile_proofs": "full completed private profile contents retained; no snapshots sampled",
"formal_acceptance": false
}
@@ -254,6 +254,6 @@
"validate_facility_value_contracts.py": "91640e2a76cd6cc9186f7b85c0bf379b24b6cac0d48962815235ee628e7ae43e",
"validate_plan.py": "23678227d9b3c556f1bd903f4b5b3147c4a82ce5085e10055481026803451b80",
"validator_update_checks.json": "f997d0f3de2cea29550840b1d5cb23647d64f81329de46758551e2b6c8fecc27",
"work_packages.json": "af8d49ccf6f02649d6d8c845cadc55f9f545a014e546860f46dd9242a60b5888"
"work_packages.json": "8c1c8d73c54807cae14e4ecefe1f0e7b1a542c019b4486f61f49648442a828e4"
}
}
@@ -6742,7 +6742,7 @@
},
"legacy_state": "in_progress",
"state_scope": "package-level; completed means whole package accepted; partial implementation is not completion",
"current_summary": "P08-02候補d1c7ce27の混合native全8と通常OS4操作の証拠を取得。全174スイート最終回帰中。独立レビューと統合未完、P08全体はin_progress。",
"current_summary": "P08-02候補d1c7ce27の混合native全8、通常OS4操作、最終全174スイートがPASS。登録検証integrity verified/不足0。独立Opusレビュー中、統合未完でP08全体はin_progress。",
"remaining_deliverables": [
{
"id": "P08-01",
@@ -6783,17 +6783,32 @@
"candidate": "d1c7ce27d21a77be87081e12d20e7c8dd6ffa353",
"linked_at_jst": "2026-10-13T23:40:00.454325+09:00",
"current_game_acceptance_inferred": false
},
{
"path": "docs/plans/original-completion-2026-10-02/execution/p08-02-audit-r06/REGISTERED_FINAL_REGRESSION_BINDING.json",
"sha256_at_integration": "89008107d3f628be0c4f885ba6fbfeddfac54d22dea2155515ff7a6ae510eecb",
"scope": "d1c7ce27 exact full174 regression and all controlled private-profile proof retained, not independent unit acceptance",
"candidate": "d1c7ce27d21a77be87081e12d20e7c8dd6ffa353",
"linked_at_jst": "2026-10-14T00:11:16.121089+09:00",
"current_game_acceptance_inferred": false
},
{
"path": "docs/plans/original-completion-2026-10-02/execution/p08-02-audit-r06/REGISTERED_VALIDATION_RESULT.json",
"sha256_at_integration": "00173acbef4b6e7aa26794017dc88a7feaafb461fde84807cf24478143cac31d",
"scope": "actual registered validator integrity verified with zero deficits; all original acceptance remains pending review/integration",
"candidate": "d1c7ce27d21a77be87081e12d20e7c8dd6ffa353",
"linked_at_jst": "2026-10-14T00:11:16.121089+09:00",
"current_game_acceptance_inferred": false
}
],
"progress_summary": "候補d1c7ce27へ保持成果を再利用して通常提出済み。6条件の混合移行をOperations ON/OFF×成功/拒否でnative writer/reader全8実行し、別PID全状態/イベントと初回writer型・物流参照・revisionを確認。通常OSのpreview/取消/確定/保存変更後拒否をmacOSで実行。preview/取消のモデル・保存不変、正式保存と読込全状態一致、backup4部材の元保存一致、保存変更拒否で読込なしを照合。最終全174スイート回帰を1実行中。固定資料byte/count上限と個別修正/推論回数上限撤廃済み。全回帰完走、登録validator、独立Opus受入、統合後最終確認が未完で正式完了扱いにしない。",
"progress_summary": "候補d1c7ce27へ保持成果を再利用して通常提出済み。6条件の混合移行をOperations ON/OFF×成功/拒否でnative writer/reader全8実行し、別PID全状態/イベントと型・物流参照・revisionを照合。通常OSでpreview/取消/確定/保存変更後拒否を実行し、モデル・保存・backup4部材と全読込状態を確認。正確な最終版の全174スイート/20184厳格markerを1回でPASS、終了・source/default/private保存guardエラー0。登録native/OS3434ファイルと回帰/全private-profile5612ファイルを内容一致で保持。登録validatorはintegrity verified/deficits0、原受入はpending。独立Opus5.5読取専用レビューを実行中。正式完了、mainへの候補統合、Windows受入は未認定。",
"remaining_gaps": [
"同一候補d1c7ce27の全174スイート回帰を完走して厳格marker・cleanup・guardを確認する。",
"最終native/通常OS/全回帰証拠をSHA照合して登録buildへ配置し、登録validatorを実行する。",
"独立Opusが全6条件と通常OS・対象版適用性をレビューする。",
"統合候補と既存main承認の適用範囲を確認し、統合後最終検証・台帳反映まで完了する。",
"Windows同一配布版の実機条件は別途未達。macOS証拠で代用しない。"
"独立Opusが全6条件・通常OS・対象版適用性をレビューする。",
"統合候補を作成し、実際の統合版source map/spec/settingsと既存証拠の適用性を確認して登録統合検証を実行する。",
"許可済みmain統合と統合後最終確認・台帳反映まで完結する。",
"同一Windows配布版の実機条件は引き続き全体の未達。macOS証拠から認定しない。"
],
"updated_at_jst": "2026-10-13T23:40:00.454325+09:00"
"updated_at_jst": "2026-10-14T00:11:16.121089+09:00"
},
{
"id": "P08-03",