Bind exact P08 evidence to registered review allocation

This commit is contained in:
Takeshi
2026-10-13 23:46:13 +09:00
parent 9ec8ec2dbd
commit e97d912bac
3 changed files with 74 additions and 1 deletions
@@ -12,5 +12,9 @@
"session": 61113, "session": 61113,
"suites": 174, "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"
} },
"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
} }
@@ -0,0 +1,58 @@
{
"candidate": "d1c7ce27d21a77be87081e12d20e7c8dd6ffa353",
"original_unit": "P08-02",
"all_acceptance_facets": [
{
"id": "mixed_construction",
"text": "複数の旧寸法建設中ジョブと完成施設を同一batchで実移行し、進捗・支払・予約・完成IDを保全する。"
},
{
"id": "occupancy_change",
"text": "追加/解放セル、support、world占有とconstruction所有を一致させ、重複と孤立を残さない。"
},
{
"id": "actual_actor_positions",
"text": "移動途中の客/職員の実位置・movement credit・経路/予約・所持資金等を許可された形状/明示route変更以外で変えない。"
},
{
"id": "combined_rescue_logistics_ev",
"text": "同一保存/移行batchに実救護患者/搬送者/目的地、物流荷物/予約/要求、EV乗客/待機/旅程を含め、全IDと相互参照・数量・元要求の一回完了を保全する。"
},
{
"id": "no_overlap_orphan_loss",
"text": "同一current版のOperations ON/OFFと別PID保存再開で全状態/全イベントと対象数/参照を照合し、重複・孤立・消失・二重効果がない。"
},
{
"id": "unsolvable_preservation",
"text": "後段の解消不能batchを拒否し、先行候補の部分適用なし。現live・原配置/正式save全member・既存migration backup全memberを保持し、別PIDで元の動作を継続できる。"
}
],
"evidence_requirements": [
"Exact final submitted source map and input/config/environment (real native PID/version and private guarded profiles), bounded raw logs and strict completion markers. Historical7 cases had29 source differences and OperationsOFF; cannot become current combined PASS solely by hashes or function matching.",
"One coherent mixed fixture includes all6 facets; actual Runtime methods, real persisted actors/jobs/items/transport. Exercise both OperationsON/OFF, positive migration and late refusal, actual formal save/backup and separate writer/reader PID continuation. Full typed states and uncapped events preserved; only explicitly enumerated approved geometry/route changes and pre-existing justified IO schema difference may differ, never discard unexplained fields/events.",
"Normal production migration menu preview/cancel/confirm and changed-source rejection at samecandidate: Root collects real OS inputs/screens/model/formal state; signal-emitted UI test is only handler evidence. Root stage can load controlled oldsave; do not label injected setup as natural production.",
"Existing current local UI/dimension batch, save/restoration/path/ownership suites are reused. Required final full regression after final changes batch; only repeat if actual changes/failures require. Full regression and tests counts never replace all6 acceptance.",
"All original conditions, separate independent Opus review, main integration/current applicable final verification and ledger reflection are required before unit closure. Windows coverage stays explicitly pending where applicable, no inference from Mac native/PCK."
],
"index": "p08-evidence/index.json",
"normal_os": "p08-evidence/os/proof.json",
"raw_os_events": "p08-evidence/os/events.jsonl",
"os_guarded_process": "p08-evidence/os/ended.json",
"native_pairs": {
"off-positive": "pairs/off-positive",
"off-refusal": "pairs/off-refusal",
"on-positive": "pairs/on-positive",
"on-refusal": "pairs/on-refusal"
},
"first_os_observer_failure": "Retained outside current acceptance evidence; old recorder queried nonexistent property. Successful corrected run has no script errors. Product source unchanged.",
"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",
"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."
}
@@ -0,0 +1,11 @@
{
"source": "/Users/korizatou114/Projects/とりにく工房ゲーム制作部/artifacts/original-completion-2026-10-02/p08-02-native-mixed-r06",
"registered_allocation": "/Users/korizatou114/Projects/TheTree-managed-worktrees/p08-02/.runtime/P08-02/build/p08-evidence",
"candidate": "d1c7ce27d21a77be87081e12d20e7c8dd6ffa353",
"prior_evidence_preserved": "/Users/korizatou114/Projects/TheTree-managed-worktrees/p08-02/.runtime/P08-02/preserved-evidence/p08-evidence-592809-before-final-d1c7",
"method": "APFS CoW separate inodes; every full manifest file SHA/size verified; no evidence omitted",
"files": 3434,
"elapsed_seconds": 59.39435612503439,
"final_regression": "still running, not registered or accepted",
"accepted": false
}