Skip to content

#122 RecordingのTimed Segment・複合入力と時間契約を追加 - #160

Merged
link1345 merged 16 commits into
mainfrom
codex/issue-122-timed-segments
Oct 2, 2026
Merged

link1345 merged 16 commits into
mainfrom
codex/issue-122-timed-segments

Conversation

@link1345

@link1345 link1345 commented Oct 2, 2026 •

Copy link
Copy Markdown
Collaborator

既存 Replay が前の completion 待ち時間を次の delay へ加算する問題に対し、有限 Timed Segment を共通起点+offset で送信する明示的な .NET API 拡張を追加します。0ms 保持開始 / 100ms jump / 300ms 解除は、開始応答が遅くても予定を変更しません。

  • OPEN-07 を固定し、.NET / MCP / Inspector / diagnostics import の時刻由来、順序、時計、能力、lease、境界を文書化しました。旧 Recording v1/v2 と逐次 Replay の挙動を維持します。game-input-only v2 の明示変換は元 offset / 順序 / secretKey と実効 default(lease 5000ms、wheel pixels)を保存し、元の適用時刻を推定しません。
  • 同 offset は配列順で batch dispatch し、completion は bounded round-robin polling で別に回収します。ready chunk の間には sleep を挟みません。有限 maxLateness、実時間 execution / cleanup 予算、送信境界の cancel / timeout、区間内の明示解除を検査し、遅延復帰時のまとめ打ち・自動再送・lease 延長をしません。
  • 現在の capability / profile ceiling / Action Map / confirmation を開始前・enqueue・consume で照合します。新しい guarded C ABI は epoch / profile 別 map revision を native lock 内で再検査し、純粋な preflight は同一 native validator で型・範囲・bounded ValueSchema・解決済み秘密を全操作の開始前に検証します。旧 C ABI / 構造体の互換性を維持します。
  • 専用 owner の ordinary completion、最後の release-all completion、空の owner state を照合して境界の中立を確認します。値なしの native owner-health query は lease expiry を disconnect まで保持し、1,000 入力 batch や他 owner の流量による既存 256 件 Trace journal の切詰めに依存しません。未取得 health / epoch 変更 / 早期 lease は正常再現としません。
  • 予定 / 送信 / 結果受信 / host 適用(不明は null)、部分実行、解除結果を値なしの結果へ分離します。schema と意味上の整合性を検証後に Trace へ明示添付できます。cancel / timeout の適用時間は未確認、任意の host health text は固定 code へ置換、request ID は正の十進文字列です。

対応範囲は、明示的に同期 FIFO apply を保証した local runtime game-input host です。simulation / 厳密適用時刻 / 同 tick 一括適用は対応 host の能力がなければ実行前に拒否します。UI と game-input の独立 queue 混在、MCP / Inspector の completion-only callback、GuaClock の存在だけでは能力を広告しません。Spatial transport は変更しません。

検証:215 Timed Segment 受け入れ・回帰試験、Visual / Recording / Trace 全 350 試験成功、skip 0。Fake 時計、native consume/completion、実時間 host pump、別 owner、早期 lease、停止 simulation、秘密値、schema / Trace、map replacement / reset、時計例外、1,000 入力と journal rollover を含みます。net10.0 / netstandard2.1 は warning 0 / error 0。main 6f2740c 統合後、Selector 全 400 試験、native timing / spatial / runtime / bridge の 9 suite 成功。TypeScript check 成功。

独立 local audit を実施し再現指摘を修正済み。GitHub の累積差分 review の検証済み指摘も回帰試験とともに修正しています。最終 head 8ba2405 の CI 17/17 成功と GitHub cumulative review(指摘なし、未解決 thread 0)を確認済み。CI: https://github.com/gua-project/gua/actions/runs/36968818595 / review: #160 (comment)

Closes #122

@link1345
link1345 marked this pull request as ready for review October 2, 2026 00:32
@chatgpt-codex-connector

chatgpt-codex-connector Bot commented Oct 2, 2026 •

Copy link
Copy Markdown

Codex Review Summary

This comment shows the latest Codex review activity on this pull request.

Review Status Commit Review trigger
📝 Code Review ✅ Completed 2026-10-02T05:30:35.940311Z 8ba2405 Manual request
ℹ️ About Codex in GitHub

Your team has set up Codex to review pull requests in this repo. Reviews are triggered when you

  • Open a pull request for review
  • Mark a draft as ready
  • Comment "@codex review" or "@codex security review".

Codex reacts with 👀 while any review is running, comments if it has suggestions, and reacts with 👍 once all reviews finish with no findings.

@link1345
link1345 force-pushed the codex/issue-122-timed-segments branch from 94658f5 to a1aa7b4 Compare October 2, 2026 00:34
@link1345

link1345 commented Oct 2, 2026

Copy link
Copy Markdown
Collaborator Author

@codex review

@chatgpt-codex-connector chatgpt-codex-connector Bot left a comment

Copy link
Copy Markdown

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

💡 Codex Review

Here are some automated review suggestions for this pull request.

Reviewed commit: a1aa7b4100

ℹ️ About Codex in GitHub

Your team has set up Codex to review pull requests in this repo. Reviews are triggered when you

  • Open a pull request for review
  • Mark a draft as ready
  • Comment "@codex review".

If Codex has suggestions, it will comment; otherwise it will react with 👍.

Codex can also answer questions or update the PR. Try commenting "@codex address that feedback".

Comment thread bindings/dotnet/src/Gua.Testing.Recording/GuaRuntimeSegmentHost.cs
Comment thread bindings/dotnet/src/Gua.Testing.Recording/GuaTimedSegmentImport.cs Outdated
Comment thread bindings/dotnet/src/Gua.Testing.Recording/GuaRuntimeSegmentHost.cs Outdated
Comment thread bindings/dotnet/src/Gua.Testing.Recording/GuaTimedSegment.cs
Comment thread bindings/dotnet/src/Gua.Testing.Recording/GuaTimedSegment.cs Outdated
Comment thread bindings/dotnet/src/Gua.Testing.Recording/GuaRuntimeSegmentHost.cs
Comment thread bindings/dotnet/src/Gua.Testing.Recording/GuaTimedSegmentReplay.cs Outdated
Comment thread bindings/dotnet/src/Gua.Testing.Recording/GuaTimedSegmentImport.cs Outdated
Comment thread bindings/dotnet/src/Gua.Testing.Recording/GuaRecordingTrace.cs Outdated
Comment thread bindings/dotnet/src/Gua.Testing.Recording/GuaTimedSegmentReplay.cs Outdated
@link1345

link1345 commented Oct 2, 2026

Copy link
Copy Markdown
Collaborator Author

@codex review

@link1345
link1345 force-pushed the codex/issue-122-timed-segments branch from 4b4a175 to ff256e5 Compare October 2, 2026 01:10
@link1345

link1345 commented Oct 2, 2026

Copy link
Copy Markdown
Collaborator Author

@codex review

@chatgpt-codex-connector chatgpt-codex-connector Bot left a comment

Copy link
Copy Markdown

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

💡 Codex Review

Here are some automated review suggestions for this pull request.

Reviewed commit: ff256e5749

ℹ️ About Codex in GitHub

Your team has set up Codex to review pull requests in this repo. Reviews are triggered when you

  • Open a pull request for review
  • Mark a draft as ready
  • Comment "@codex review".

If Codex has suggestions, it will comment; otherwise it will react with 👍.

Codex can also answer questions or update the PR. Try commenting "@codex address that feedback".

Comment thread bindings/dotnet/src/Gua.Testing.Recording/GuaTimedSegment.cs
Comment thread bindings/dotnet/src/Gua.Testing.Recording/GuaRuntimeSegmentHost.cs
@link1345

link1345 commented Oct 2, 2026

Copy link
Copy Markdown
Collaborator Author

@codex review

@chatgpt-codex-connector chatgpt-codex-connector Bot left a comment

Copy link
Copy Markdown

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

💡 Codex Review

Here are some automated review suggestions for this pull request.

Reviewed commit: cd2b4f634d

ℹ️ About Codex in GitHub

Your team has set up Codex to review pull requests in this repo. Reviews are triggered when you

  • Open a pull request for review
  • Mark a draft as ready
  • Comment "@codex review".

If Codex has suggestions, it will comment; otherwise it will react with 👍.

Codex can also answer questions or update the PR. Try commenting "@codex address that feedback".

Comment thread bindings/dotnet/src/Gua.Testing.Recording/GuaRuntimeSegmentHost.cs
Comment thread bindings/dotnet/src/Gua.Testing.Recording/GuaTimedSegmentReplay.cs Outdated
Comment thread bindings/dotnet/src/Gua.Testing.Recording/GuaTimedSegmentReplay.cs Outdated
@link1345

link1345 commented Oct 2, 2026

Copy link
Copy Markdown
Collaborator Author

@codex review

@chatgpt-codex-connector chatgpt-codex-connector Bot left a comment

Copy link
Copy Markdown

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

💡 Codex Review

Here are some automated review suggestions for this pull request.

Reviewed commit: 91a1d52229

ℹ️ About Codex in GitHub

Your team has set up Codex to review pull requests in this repo. Reviews are triggered when you

  • Open a pull request for review
  • Mark a draft as ready
  • Comment "@codex review".

If Codex has suggestions, it will comment; otherwise it will react with 👍.

Codex can also answer questions or update the PR. Try commenting "@codex address that feedback".

Comment thread protocol/schema/timed-segment-result-v1.schema.json
Comment thread bindings/dotnet/src/Gua.Testing.Recording/GuaTimedSegmentReplay.cs Outdated
Comment thread bindings/dotnet/src/Gua.Testing.Recording/GuaTimedSegmentReplay.cs Outdated
Comment thread bindings/dotnet/src/Gua.Testing.Recording/GuaTimedSegmentReplay.cs Outdated
@link1345

link1345 commented Oct 2, 2026

Copy link
Copy Markdown
Collaborator Author

@codex review

1 similar comment
@link1345

link1345 commented Oct 2, 2026

Copy link
Copy Markdown
Collaborator Author

@codex review

@chatgpt-codex-connector chatgpt-codex-connector Bot left a comment

Copy link
Copy Markdown

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

💡 Codex Review

Here are some automated review suggestions for this pull request.

Reviewed commit: e4270fa0ad

ℹ️ About Codex in GitHub

Your team has set up Codex to review pull requests in this repo. Reviews are triggered when you

  • Open a pull request for review
  • Mark a draft as ready
  • Comment "@codex review".

If Codex has suggestions, it will comment; otherwise it will react with 👍.

Codex can also answer questions or update the PR. Try commenting "@codex address that feedback".

Comment thread bindings/dotnet/src/Gua.Testing.Recording/GuaTimedSegmentReplay.cs Outdated
Comment thread bindings/dotnet/src/Gua.Testing.Recording/GuaRuntimeSegmentHost.cs Outdated
Comment thread protocol/schema/timed-segment-result-v1.schema.json
Comment thread protocol/schema/timed-segment-v1.schema.json Outdated
@link1345

link1345 commented Oct 2, 2026

Copy link
Copy Markdown
Collaborator Author

@codex review

@chatgpt-codex-connector chatgpt-codex-connector Bot left a comment

Copy link
Copy Markdown

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

💡 Codex Review

Here are some automated review suggestions for this pull request.

Reviewed commit: 0d360d9c4c

ℹ️ About Codex in GitHub

Your team has set up Codex to review pull requests in this repo. Reviews are triggered when you

  • Open a pull request for review
  • Mark a draft as ready
  • Comment "@codex review".

If Codex has suggestions, it will comment; otherwise it will react with 👍.

Codex can also answer questions or update the PR. Try commenting "@codex address that feedback".

Comment thread bindings/dotnet/src/Gua.Testing.Recording/GuaTimedSegment.cs Outdated
Comment thread bindings/dotnet/src/Gua.Testing.Recording/GuaTimedSegmentReplay.cs Outdated
@link1345
link1345 force-pushed the codex/issue-122-timed-segments branch from 0d360d9 to afa37ed Compare October 2, 2026 03:31
@link1345

link1345 commented Oct 2, 2026

Copy link
Copy Markdown
Collaborator Author

@codex review

@chatgpt-codex-connector chatgpt-codex-connector Bot left a comment

Copy link
Copy Markdown

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

💡 Codex Review

Here are some automated review suggestions for this pull request.

Reviewed commit: afa37edd96

ℹ️ About Codex in GitHub

Your team has set up Codex to review pull requests in this repo. Reviews are triggered when you

  • Open a pull request for review
  • Mark a draft as ready
  • Comment "@codex review".

If Codex has suggestions, it will comment; otherwise it will react with 👍.

Codex can also answer questions or update the PR. Try commenting "@codex address that feedback".

Comment thread protocol/schema/timed-segment-v1.schema.json
Comment thread protocol/schema/timed-segment-v1.schema.json Outdated
Comment thread bindings/dotnet/src/Gua.Testing.Recording/GuaRecordingTrace.cs
Comment thread bindings/dotnet/src/Gua.Testing.Recording/GuaTimedSegment.cs
@link1345

link1345 commented Oct 2, 2026

Copy link
Copy Markdown
Collaborator Author

@codex review

@chatgpt-codex-connector chatgpt-codex-connector Bot left a comment

Copy link
Copy Markdown

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

💡 Codex Review

Here are some automated review suggestions for this pull request.

Reviewed commit: 2cef133caf

ℹ️ About Codex in GitHub

Your team has set up Codex to review pull requests in this repo. Reviews are triggered when you

  • Open a pull request for review
  • Mark a draft as ready
  • Comment "@codex review".

If Codex has suggestions, it will comment; otherwise it will react with 👍.

Codex can also answer questions or update the PR. Try commenting "@codex address that feedback".

Comment thread bindings/dotnet/src/Gua.Testing.Recording/GuaTimedSegment.cs Outdated
Comment thread protocol/schema/timed-segment-result-v1.schema.json
Comment thread bindings/dotnet/src/Gua.Testing.Recording/GuaTimedSegmentReplay.cs
Comment thread protocol/schema/timed-segment-result-v1.schema.json
Comment thread bindings/dotnet/src/Gua.Testing.Recording/GuaTimedSegment.cs
@link1345

link1345 commented Oct 2, 2026

Copy link
Copy Markdown
Collaborator Author

@codex review

@chatgpt-codex-connector chatgpt-codex-connector Bot left a comment

Copy link
Copy Markdown

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

💡 Codex Review

Here are some automated review suggestions for this pull request.

Reviewed commit: c7db4b3708

ℹ️ About Codex in GitHub

Your team has set up Codex to review pull requests in this repo. Reviews are triggered when you

  • Open a pull request for review
  • Mark a draft as ready
  • Comment "@codex review".

If Codex has suggestions, it will comment; otherwise it will react with 👍.

Codex can also answer questions or update the PR. Try commenting "@codex address that feedback".

Comment thread protocol/schema/timed-segment-result-v1.schema.json Outdated
Comment thread protocol/schema/timed-segment-result-v1.schema.json
Comment thread protocol/schema/timed-segment-result-v1.schema.json Outdated
Comment thread bindings/dotnet/src/Gua.Testing.Recording/GuaRecordingTrace.cs
Comment thread native/gua-core/src/gua.cpp Outdated
@link1345

link1345 commented Oct 2, 2026

Copy link
Copy Markdown
Collaborator Author

@codex review

@chatgpt-codex-connector chatgpt-codex-connector Bot left a comment

Copy link
Copy Markdown

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

💡 Codex Review

Here are some automated review suggestions for this pull request.

Reviewed commit: a561cbf39f

ℹ️ About Codex in GitHub

Your team has set up Codex to review pull requests in this repo. Reviews are triggered when you

  • Open a pull request for review
  • Mark a draft as ready
  • Comment "@codex review".

If Codex has suggestions, it will comment; otherwise it will react with 👍.

Codex can also answer questions or update the PR. Try commenting "@codex address that feedback".

Comment thread bindings/dotnet/src/Gua.Testing.Recording/GuaRecordingTrace.cs
@link1345

link1345 commented Oct 2, 2026

Copy link
Copy Markdown
Collaborator Author

@codex review

@chatgpt-codex-connector chatgpt-codex-connector Bot left a comment

Copy link
Copy Markdown

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

💡 Codex Review

Here are some automated review suggestions for this pull request.

Reviewed commit: 88ed292535

ℹ️ About Codex in GitHub

Your team has set up Codex to review pull requests in this repo. Reviews are triggered when you

  • Open a pull request for review
  • Mark a draft as ready
  • Comment "@codex review".

If Codex has suggestions, it will comment; otherwise it will react with 👍.

Codex can also answer questions or update the PR. Try commenting "@codex address that feedback".

Comment thread bindings/dotnet/src/Gua.Testing.Recording/GuaRecordingTrace.cs
Comment thread protocol/schema/timed-segment-result-v1.schema.json
@link1345

link1345 commented Oct 2, 2026

Copy link
Copy Markdown
Collaborator Author

@codex review

@chatgpt-codex-connector chatgpt-codex-connector Bot left a comment

Copy link
Copy Markdown

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

💡 Codex Review

Here are some automated review suggestions for this pull request.

Reviewed commit: 0d7c1821ad

ℹ️ About Codex in GitHub

Your team has set up Codex to review pull requests in this repo. Reviews are triggered when you

  • Open a pull request for review
  • Mark a draft as ready
  • Comment "@codex review".

If Codex has suggestions, it will comment; otherwise it will react with 👍.

Codex can also answer questions or update the PR. Try commenting "@codex address that feedback".

Comment thread bindings/dotnet/src/Gua.Testing.Recording/GuaTimedSegmentReplay.cs Outdated
Comment thread bindings/dotnet/src/Gua.Testing.Recording/GuaTimedSegmentReplay.cs
@link1345

link1345 commented Oct 2, 2026

Copy link
Copy Markdown
Collaborator Author

@codex review

@chatgpt-codex-connector chatgpt-codex-connector Bot left a comment

Copy link
Copy Markdown

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

💡 Codex Review

Here are some automated review suggestions for this pull request.

Reviewed commit: 8ee3dfbda5

ℹ️ About Codex in GitHub

Your team has set up Codex to review pull requests in this repo. Reviews are triggered when you

  • Open a pull request for review
  • Mark a draft as ready
  • Comment "@codex review".

If Codex has suggestions, it will comment; otherwise it will react with 👍.

Codex can also answer questions or update the PR. Try commenting "@codex address that feedback".

Comment thread bindings/dotnet/src/Gua.Testing.Recording/GuaTimedSegmentReplay.cs Outdated
Comment thread protocol/schema/timed-segment-v1.schema.json Outdated
Comment thread bindings/dotnet/src/Gua.Testing.Recording/GuaTimedSegment.cs
@link1345

link1345 commented Oct 2, 2026

Copy link
Copy Markdown
Collaborator Author

@codex review cumulative diff at 99194b4. Three reproduced findings fixed with nine regression cases; full managed suite 349 passed, 0 skipped; SDK both targets build with zero warnings/errors.

@link1345

link1345 commented Oct 2, 2026

Copy link
Copy Markdown
Collaborator Author

@codex review cumulative diff at 8ba2405. Adjacent snapshot check reproduced and fixed mutable timed-result evidence changing between semantic validation and Trace serialization. Full managed suite: 350 passed including 215 timing tests, 0 skipped. SDK both targets: 0 warnings/errors. All 49 verified review threads resolved.

@chatgpt-codex-connector

Copy link
Copy Markdown

Codex Review: Didn't find any major issues. 🚀

Reviewed commit: 8ba24059e8

ℹ️ About Codex in GitHub

Your team has set up Codex to review pull requests in this repo. Reviews are triggered when you

  • Open a pull request for review
  • Mark a draft as ready
  • Comment "@codex review".

If Codex has suggestions, it will comment; otherwise it will react with 👍.

Codex can also answer questions or update the PR. Try commenting "@codex address that feedback".

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

[G-05] ReplayのTimed Segment・複合入力・時間契約を実装する

1 participant