competition-queue-worker-drift

競合キューワーカーのドリフト

このスキルは、$ctf-sandbox-orchestrator がすでに有効であり、サンドボックスの前提、ノードの所有権、および証拠の優先順位が確立されている場合にのみ、下流の専門分野として使用してください。まだそれが行われていない場合は、まず $ctf-sandbox-orchestrator に戻ってください。

このスキルは、決定的な影響が enqueue 後に、ワーカー内部で、またはリクエストパスとは異なる非同期ランタイム状態でのみ発生する場合に使用します。

ユーザーが明示的に英語を要求しない限り、簡体字中国語で返信してください。

クイックスタート

1. まず非同期チェーンをマッピングします。enqueue ポイント、キューペイロード、ワーカーコンシューマー、リトライ、および最終的な副作用です。
2. リクエスト時の状態とワーカー時の状態を分離して保ちます。
3. キュー名、メッセージ形状、ワーカー設定、リトライポリシー、および下流ストアを 1 つのチェーンとして記録します。
4. 動作が分岐する場合は、同期パスと非同期パスを比較します。
5. 決定的な非同期ドリフトを証明する、最小の enqueue から副作用までのフローを再現します。

ワークフロー

1. Enqueue とワーカー ID をマッピングする

• キュー名、トピック、cron スケジュール、遅延ジョブ、デッドレターキュー、ワーカープロセス、およびコンシューマーグループを記録します。
• ワーカー環境にのみ存在する設定、環境変数、フィーチャーフラグ、または認証情報をメモします。
• enqueue リクエスト、保存されたペイロード、およびワーカー ID を結び付けて保ちます。

2. ワーカー専用の状態とリトライを追跡する

• ワーカーランタイムがリクエストパスとどのように異なるかを示します。異なる環境、ファイル、マウント、キャッシュ、権限、またはクロックなどです。
• リトライ回数、バックオフ、重複排除キー、障害処理、デッドレターフロー、および冪等性の動作を記録します。
• 即時のリクエスト成功と、最終的なワーカーの成功または失敗を区別します。

3. 決定的な非同期チェーンまで還元する

• 結果を最小のシーケンスに圧縮します。enqueue -> ワーカーランタイム -> リトライまたは分岐 -> 結果として生じる影響。
• 決定的な差異がペイロード形状、ワーカー設定、リトライパス、または下流のコンシューマーのどこにあるかを明確に述べます。
• 問題が実際にワーカーによって呼び出されるファイルパーサーに関するものである場合は、より厳密なファイルパーサースキルに切り替えてください。

このリファレンスを読む

• キューチェックリスト、リトライチェックリスト、および証拠のパッケージ化については、references/queue-worker-drift.md をロードしてください。

保持すべきもの

• キュー名、ペイロード、ワーカー ID、リトライメタデータ、デッドレターエッジ、および下流の影響
• 動作を変化させる正確なワーカー専用の設定または状態
• 最小の enqueue から副作用までの再現チェーン 1 つ