[G-06] Playtestから再利用できるGua配布契約を整える #129

利用者承認による完了 — 2026-10-04

利用者の「issue閉じてOKです。ただし、docsに未検証であることを記載するissueを建てて置いてください」に基づき、docs追跡 #174 を作成して本Issueをcloseする。

native Intel macOS Unity6000.5.3f1 Editor Play Modeは引き続きUNVERIFIED（実機不足による未実行）。合格・失敗のどちらにも変更しない。 今回のcloseは、利用者がこの制約を明示的に受け入れたことによる完了処理であり、native Intel Editorを含む全経路の実測合格を宣言しない。Intel機材の提供依頼・調達・provisioning・emulationは継続しない。

native arm64/M4のactual UPM Editorは正常系2回合格し、実Editor操作後のTrace負例2件も意図したassertionで拒否した。Windows/Linux Editor、四RID Mono Player/spatial、Godotの既存対象commit・engine/backend/版・経路別証拠も保持する。この未検証制約のdocs反映を#174へ引き継ぐ。docs実装やPRは今回行っていない。一般公開・公開version選択は別工程。

証拠：arm64 EditorとIntel未検証判断・#129、同#130。以下のopen維持・機材依頼に関する旧記録は歴史的記録として保持し、現在の完了判断は本節を優先する。

最新のMac Editor検証状態 — 2026-10-04

利用者判断：「intel搭載macはないので、『未検証』で押さえておいてください。」

• native arm64 macOS Editor Play Mode: PASSED。 Unity6000.5.3f1、実UPM/product595f589、PR173同一treeのrecipe4816b5c。正常系2回と実Editor操作後のTrace負例2件の証拠はarm64実測記録を維持する。
• native Intel macOS Editor Play Mode: UNVERIFIED（未検証）。 Intel搭載Macを保有していないため、実機で未実行。PASSED/FAILED/Unsupportedとして扱わず、arm64・Rosetta・Intel Playerの結果で置換しない。利用者はこの未検証制約を明示的に受け入れた。Intel機材の提供依頼・調達・provisioning・emulation検証を継続しない。過去の「Intelホスト提供が次のユーザー操作」という記述は、この判断で取り下げる。
• 既存Windows/Linux Editor、四RID Mono/spatial/Godotおよび配布consumer/Traceの対象commit・engine/backend/版・経路別の実測証拠は保持する。最新の有限な受け入れ範囲について、このIntel Editor未検証制約以外の新しい未達条件は識別されていない。一般公開・公開version選択は別工程であり、受け入れゲートではない。

今回の指示は未検証制約の記録であり、native Intelの受け入れ合格や元の全経路実測要件の免除を宣言するものではない。元要件と最新判断を照合し、Issueはopenを維持する。下記の歴史的記録・チェックリストは保持するが、現時点のMac coverageと機材依頼の有無は本節と更新済みarm64記録を優先する。追加機材の依頼は行わない。

概要

承認済み gua-playtest-spec-pack（review-ledger-r1）のG-06。Guaの既存パッケージの不足分を整え、schema、native、生成済みTrace Viewerを版固定で外部利用できるようにする。Gua Playtest側へソースやViewerの別実装を複製しない。

統合依存

• [G-03] 追加観測値をbinding・adapter・bridge・既存クライアントへ接続する #120（G-03：追加観測値の各経路）
• [G-04] InputActionの値説明schema・入力例と互換性を追加する #121（G-04：InputAction metadata）
• [G-05] ReplayのTimed Segment・複合入力・時間契約を実装する #122（G-05：Replay時間契約）
• [T-06] lint・baseline・既存diagnosticsとTrace全体を統合する（#109子作業） #128（T-06：改訂#109全体の統合）

着手には配布方式と版の契約が必要。骨組み・配布物の起動smokeは各機能の完成前から進められる。Guaのrelease/CIはPlaytestの完成に依存させず、Guaだけの小さな利用側テストで検証する。

範囲・対応要件

• BOUND-001：GuaからPlaytestへの参照を作らず、別製品として一方向依存を保つ。
• FILE-002：Gua由来のschemaを対応版で同梱・参照可能にし、実行時にオンライン最新を取得しない。
• PACK-002：正式な利用側buildが../guaのcheckoutや開発PCの偶然のnativeファイルに依存しない。
• PACK-003：Guaのnative/schema/生成済みViewerが、Playtestのself-contained archive、.NET Tool、NuGet利用を支えられる配布契約を整える。Playtestの梱包自体は利用側P-16の担当。
• 既存package/ABI/APIの対応版と、Recording/Trace/Selector/Input schemaの読書き対応を明示する。
• Viewer利用時にGuaソースcheckout、Node/Web開発環境での再ビルドを要求しない。

公開前に具体化する詳細

• OPEN-11：利用する正式Gua版、各RIDのnative、engineのlaunch/attach、Viewer配布API、対応範囲を実測する。存在する梱包定義だけで全経路対応済みとしない。
• 初期対象のwin-x64/linux-x64/osx-x64/osx-arm64について、提供する経路と検証方法を明示する。

受け入れ条件

• Guaソースcheckoutなしの利用側テストで、宣言したpackage/schema/nativeを取得し動作確認できる。
• 配布した生成済みViewer/schemaのみでTraceを読め、別Viewer実装を不要にできる。
• 静的schema検証をnative起動・ゲーム接続・Codexなしで行える構成を阻害しない。
• 各対応RIDと実行経路を実配布物で確認し、skipを合格としない。
• バージョン、ライセンス、依存物、必要なOS側依存、互換性と未検証範囲を文書化する。
• 対応要件のAT-BOUND-001、AT-FILE-002、AT-PACK-002、AT-PACK-003に利用側から照合可能な証拠を付ける。

対象外・完了管理

PlaytestへのGuaソース/Viewerコピー、利用中の自動更新、全OS・全engineの無条件対応表明。既存公開物で足りる部分は再実装せず差分と回帰試験に限定する。実行証拠と未検証範囲は下記の完了方針・証拠記録を参照。

契約とテストの対応・検証証拠

2026-10-02追記。既存の範囲・責務・依存関係・完了状態を保ったまま、受け入れ条件を検証する方法を補強する。

配布物の受け入れ確認

• 対象commit/版から作った実配布物を、Gua checkout・開発用native探索パス・Viewer再ビルドに頼れない独立consumerで検証する。必要なOS依存とnative runtimeは明示し、Playtest本体の完成を前提にしない。
• schema/生成済みViewer/nativeの欠落、契約上非対応な版の組合せを使い、黙った開発checkoutへのfallbackや誤成功を検出する。期待する拒否・診断は配布契約に従って定義する。
• 配布済みschemaだけの静的検証と、native起動・実接続・report表示を区別する。各RID/経路の証拠を対応表に記載し、別RIDや別consumerの成功を流用しない。
• 対応を宣言する機能の主要な結果・相関・失敗状態までconsumerから検査する。restore/build成功や空のreport生成だけで動作成功としない。
• 梱包内容・依存一覧・offline reportを検査し、Playtestへの逆依存、不要なengine資産/認証、実行時のオンライン最新schema取得がないことを確認する。

PR/統合確認では、主要な条件とテストの場所・assert内容・対象commit/環境/実行結果・未検証範囲を対応付ける。重要な条件は適切な不正fixture、修正前実装等で目的の違反を検出できることを確認する。既存検証を再利用し、無関係な故障注入や全項目の一律実行は要求しない。未実行/skipを合格とせず、必須条件の不足は記載だけで免除しない。

共通の開発・レビュー指示の追加は #164 で管理する。本追記はその文書変更の完了を実装着手の新しい依存条件にはしない。

完了方針の訂正・現在の証拠

利用者承認に基づく訂正：本Issueは、識別した対象commit/版から作成した実配布物と、宣言したRID・実行経路の検証で完了を判断する。一般公開・公開version/channelの選択は別の将来工程であり、完了の必須条件にはしない。PR #163の文書が追加した公開必須ゲートをPR #170で訂正した。既存のcommit-pinned 0.0.0-ci は実測対象の識別に使えるが、新しい公開版を選んだことにはならない。

• PR Add distribution acceptance and complete Godot release archives #163 final head 91fb8542b81da21b1373c45f897cb580b208c3a9 / CI 36972320745 全17 job成功。実配布物のsource pin 7e7589a0c95c2446d232a8555ac461e076ee1ce5。4 RIDの独立・新規cache・local-feed-only package consumer、外部archive/.NET Tool、schema/offline検証、生成済みViewer、版互換性、native依存/license証拠を保持。読み込み成功をengine attach/機能対応とはしない。
• PR Verify spatial nonleakage and real packaged engine routes #168 final head 0fd01cbcd11c5b5d30399c9a6273418d193edd68 / CI 37006701725 全17 job成功。artifact checkout 9c2eb7b59a356680806e287a4e2c48fb3b0fb1be はreviewed headと同一tree、対象版 0.0.0-ci。4 RIDのGodot4.7 stable GodotPhysics3D/JoltとWindows Unity6000.5.3f1 Mono/PhysXで、実bridge・built Native MCP・isolated NuGet consumerの相関した空間照会/共通Traceを確認。candidate addon payloadの実行とZIP構成検証は別々の証拠であり、展開ZIPからのengine実行や全feature対応と称さない。
• [G-03] 追加観測値をbinding・adapter・bridge・既存クライアントへ接続する #120/[G-04] InputActionの値説明schema・入力例と互換性を追加する #121/[G-05] ReplayのTimed Segment・複合入力・時間契約を実装する #122/#128の統合依存はclose済み。PR #169のTrace統合確認はその測定範囲で再利用し、配布・engine経路の代用にしない。

まだcloseできない条件： Intel/arm64 macOS Editor Play Modeの実測が必要（利用可能なlicensed native hostの制約。Linux EditorはPR #173で合格）。Unity四RID Mono Playerはcandidate37096253057で実build/runtime/consumer経路が合格（下記の対象commit/版・scope）。既存release workflowには4 RIDのUnity jobsがあるがtag限定で、通常CIの成功だけではその実行証拠にならない。PR #171でnon-publishing candidate Player経路を追加したが、実runは下記の記録を参照。表に記載したEditor Play Modeその他の機能・経路についても、必要な対象commit/版・環境・launch/attach/主要結果/相関/失敗状態の証拠を条件ごとに照合する必要がある。Godotの実測はその空間照会範囲で再利用し、package load・別OS・別feature・skipを合格にしない。必要条件の不足を文書化だけで免除せず、実測を完了するか、利用者による明示の対応範囲変更が必要。公開必須ゲートの撤回だけでは本Issueをcloseしない。

実測対応表・原条件との対応は docs/distribution-contract.md とPR #168のfollow-up記録を参照。#130の独立したgeometry/backend/patch・統合条件は維持する。release/tag/publication/deploymentやcredential/security変更は行わない。

PR #170 merged as 0a5cbc83fbfd5ce9a465508644f96aced5694d4a。Reviewed head 21411dcdd18195c905e9d58d5811735d47744953 の final-head CI は全17 job成功、限定したread-only独立監査は指摘なし。CI/artifact checkout 970b67efb63e2fff852c0cc4fc2086133f8c7b1d とreviewed headのsource treeは同一 (9d425f83edfee77cec70557d73d5738212660395)。文書方針の訂正であり、既存実測のscopeや未検証routeを対応済みに変更しない。

PR #171 merged candidate-route implementation — 2026-10-03

PR #171 merged as 595f589eebdea812b0649ab5f57ac079728fa610. Reviewed final head 75cdf65b154695d9c99c3fab8c2febf188c6b146; required final-head CI passed all17 jobs. Artifact checkout ed00d73c20091d202c1b068eb9680966fb1ff7d5, reviewed head and merged main have identical source tree 6cb259f3a3b387266e7d8c2da6db9e66a60caf87. Initial cumulative audit and bounded documentation audit found no actionable findings. Four supported GitHub findings fixed/replied/resolved; final-head re-review found no major issues.

• Actual Windows target 0a5cbc83fbfd5ce9a465508644f96aced5694d4a / private 0.0.0-ci / Unity6000.5.3f1 Mono: archive-only Editor Play Mode and Player passed exact native provenance/ABI/protocol, unique actionable Start, NodeNotFound with unchanged semantic state (except volatile frame/revision), correlated successful Click, observed title-to-loading UI and common Trace/embedded Viewer. Fresh external NuGet caches, only local feed, no project references/native overrides. Precompiled UPM spatial provider passed TS/built-MCP/isolated-NuGet paths with three actual PhysX batches and clean exit; source fallback and the initial fixture port collision are not counted as passes.
• Corrected private Windows archive SHA256 9448f1218ec74ff4abf9c5dae2a4031ce4d3c60629b68c6a851d1bef36ae9c05 installed the four missing own-MIT notices and passed actual Player. Durable corrected-archive output, actual outputs and selected violation logs, contract mapping. Earlier archive execution is distinct from redistribution readiness; the new packers retain own MIT attribution and complete notices.
• unity-candidate.yml is a manual, four-RID actual-archive Mono Player pipeline using the existing Unity CI inputs. It pins a successful exact-main artifact run, installs the real UPM archive, executes isolated package-only clients on native hosts, and requires macOS Player architecture slices. Environment references explicitly set deployment: false; no publishing/tag/deployment step or new license-acquisition/module-install step. Secret-name presence does not establish license validity or engine execution.

Current candidate execution: exact-main Syntax run37093277711 passed all17 jobs. First candidate37095451957 failed before Unity at a real lipo -verify_arch argument-order defect, with downstream skips not passes. PR #172 corrects file-first native/Player checks; its read-only audit and GitHub review at 98cb571d2566bcd510519d40002cdef49acd512e found no actionable issues, required CI37096106712 passed all17 jobs.

Corrected candidate37096253057 passed all10 jobs, using product source 595f589eebdea812b0649ab5f57ac079728fa610, recipe 98cb571d2566bcd510519d40002cdef49acd512e, private 0.0.0-ci, Unity6000.5.3f1 Mono. Actual UPM SHA256 21da33106301de108ecb1ff0868fe0342a00af980e805ff14a67635d444412f3. Existing licensed GameCI compiled/packaged the actual four-desktop archive; all four archive-built Players executed on native win-x64/linux-x64/osx-x64/osx-arm64 hosts. Actual macOS executables contain required host slices. Fresh package-only NuGet consumers with no project references/native overrides passed pinned ABI/protocol/build identity, unique actionable Start, NodeNotFound plus unchanged semantic state except volatile frame/revision, correlated successful Click, title-to-loading and common Trace/embedded Viewer. Full actual outputs and scope; run artifacts retain archive/provenance, notices, package manifests/assets, rejection trees, macOS executable hashes and Trace/HTML.

Remaining execution gates: Intel/arm64 macOS Editor Play Mode remains unverified under existing license/host constraints. Windows/Linux Editor and the declared geometry/profile/client combinations are now measured in PR #173; see the current record below. Neither issue is closed and no checklist is waived; four Player UI passes do not establish every reported capability or spatial backend. Public release/channel/version selection is separate and is not a closure gate. No release, gua-v tag, publication, deployment, new license-acquisition/module-install, credential or security-policy change was performed; source-filtered GitHub deployment count0.

PR #172 merged as 3a850c041093bd87c3e20530d60927d68782d8f5 after exact reviewed head 98cb571d2566bcd510519d40002cdef49acd512e passed all17 required jobs in CI37096106712, read-only audit/GitHub review clean and no unresolved review threads. CI artifact checkout fd86c8568ee11443b4bf9217ae3137e31e64357f, reviewed head and merged commit share tree 7418c1eae9a578ba1b9b4ec822425f6c3f7c8190. Actual candidate product target remains 595f589eebdea812b0649ab5f57ac079728fa610; do not relabel its artifacts as the newer merge commit. Four-RID evidence ZIP SHA256 69733d8cd8259e99fb731f947608905f52211e0f18cfe69d35cbfec9861b9f30 retained locally.

Current remaining-route acceptance — PR #173, 2026-10-03

PR #173 merged as 4816b5c929fd74f6ceea9d8017986da3fce27577 after reviewed head 8ac6c6161d8576f8fe308eed54d8842b5d8c4604 passed all17 required jobs, all10 active extended candidate jobs, the required bounded auditor gate and clean final-head GitHub re-review. Four supported final review findings were fixed, independently verified, replied and resolved; no unresolved threads. Reviewed head, CI/artifact checkout 9e018e187f22f4bc6083146b4eb076a91f694373 and merged main share source tree 089efe190e949413657cbbfeaafefe52e3f6ecfa.

• Actual CI ZIP-extracted Godot addons passed launch/attach and real analytical geometry/profile plus TypeScript/built-MCP/isolated exact-NuGet routes on all4 native RIDs, with both Godot4.7 stable GodotPhysics3D and Jolt: each backend/platform produced67results,34lease races,360callback samples. Both Debug/Release binaries compile the asserted source ID; actual ZIP composition contains gua_spatial.gd. Downloaded all8backend/platform artifacts and independently checked exact source, both backends, stronger advancing-clock assertions and finalized package Trace. These are actual archive executions, not locally assembled addons or a claim that a new public release was published.
• Unity6000.5.3f1 Mono/PhysX actual precompiled UPM/product remains 595f589eebdea812b0649ab5f57ac079728fa610, private 0.0.0-ci, UPM SHA256 21da33106301de108ecb1ff0868fe0342a00af980e805ff14a67635d444412f3, distinct from recipe 8ac6c616. All4 native hosts passed67geometry results/34lease races/360samples, three120-sample phases with finite positive CPU/wall phase totals, actual physics batches through TS/built MCP/fresh package-only NuGet clients, native Mac slice checks, correlated completion, complete Trace/embedded report and clean exit. Windows uses GetThreadTimes; Linux/macOS use actual CLOCK_THREAD_CPUTIME_ID; unavailable Unix cycles remain null. Actual final Unity evidence. Existing four-RID Mono UI candidate37096253057 remains preserved separately.
• Fresh archive-only Windows11 Editor and actual Linux Editor Play Mode passed product595f589 / finalrecipe8ac6c61: exact BuildId/ABI1/protocol2, unique actionable Start, NodeNotFound with unchanged semantic state except volatile frame/revision, request1/Click/action1/succeeded/error0/start correlation, observed title→loading and finalized Trace/embedded report. All final consumers have projectLibraries0/nativeOverridesabsent and isolated exact packages; no Gua implementation-source fallback. Formal publication/version selection is not needed for this private candidate acceptance.
• Selected violation detection retains actual missing sample/clock/case and fabricated-cycle negatives. Constant-clock mutation reproduces the pre-fix false pass and hits the corrected advancing-clock assertion. Two disposable exact-package clients queried the actual engine, then forced false Trace completion status or changed the saved finalized manifest to false; both hit the intended acceptance assertions. Trace detection outputs. Status/manifest mutations are not claimed as real storage failure. Stronger unmutated clients and all real final routes passed.
• Earlier compile, output ownership, macOS cwd, Linux X11, readiness publication and default Godot build-ID defects are separated from final passes. Prior Intel Mac checkout failure was GitHub DNS/connectivity, not compilation; the final Intel job passed. An earlier Linux bridge test-host abort on unchanged core code is retained as a failed attempt; all4 native bridge jobs passed at the final head. Skipped default-mode jobs do not count as extended-route success.

Exact remaining acceptance gap: Intel and arm64 macOS Editor Play Mode from the actual UPM. The repository has0registered runners; available GameCI Mac activation uses serial/license-server credentials rather than the existing UNITY_LICENSE route. No available prelicensed native6000.5.3f1 Mac Editor host was found. The smallest user action is to make already licensed Intel and arm64 Mac Editor hosts available to execute the prepared archive-only Editor fixture (or separately authorize applicable licensing setup). No new Unity license acquisition/module installation, credential/security-policy change, release, gua-v tag, publication or deployment was performed. Required issue conditions are not waived; #129 and dependent #130 integration stay open. No release-only/publication gate prevents closure.

The newly measured finite scope is Godot4.7 stable/GodotPhysics3D/Jolt and Unity6000.5.3f1 Mono/PhysX on the four initial RIDs. Capability advertisements, package load, another engine/OS route or legacy/Fake tests do not prove other features/patches. Existing #131-#134 host/correlation/redaction/partial/legacy evidence is reused within its measured scope. Mapping/source. This current record supersedes prior blanket non-Windows Editor/geometry/client-unverified wording while preserving historical evidence and original conditions.