ステータス分類を公式実装に揃える (compressed flag / HTTP_1_1_REQUIRED / trailers欠落 → INTERNAL)

[dkkoma]

概要

docs/issues/open/2026-07-08-status-taxonomy-official-alignment.md の対応。エラー分類で公式実装（C-core / grpc-go）と食い違っていたケースのステータスコードを INTERNAL に揃える。

1. Compressed-Flag=1 の message: UNIMPLEMENTED → INTERNAL。仕様（compression.md）はクライアント側で処理できない server message を INTERNAL と定めており、UNIMPLEMENTED はサーバー側のコード。details は encoding 宣言ありなら "unsupported grpc-encoding: ..."、なしなら "compressed gRPC messages are not supported"。
   • あわせて grpc-encoding header 宣言のみでは失敗しないよう修正（レビュー指摘）。header は観測のみで、失敗判定は DATA parser が flag=1 を見た時点。gzip 宣言 + flag=0 の message は成功し wire status に従う（grpc-go checkRecvPayload 準拠）。記録: docs/issues/open/2026-07-10-grpc-encoding-flag0-no-reject.md
2. RST_STREAM HTTP_1_1_REQUIRED(0xd): UNKNOWN（default落ち） → INTERNAL。grpc-go の http2ErrConvTab に合わせた。
3. :status 200 + DATA END_STREAM で trailers 欠落: UNKNOWN → INTERNAL "server closed the stream without sending trailers"（grpc-go handleData 準拠）。HEADERS END_STREAM で終わる場合（headers-only 応答 / grpc-status を含まない trailing HEADERS）は UNKNOWN のまま（grpc-go operateHeaders 準拠）。terminal frame は initial_headers_end_stream と END_STREAM 付き trailing HEADERS を記録する trailing_headers_seen で区別する。

実装メモ

• missing trailers の policy は3択（ext-grpc drop-in / grpc-go exact / 全 clean-close strict）から grpc-go exact を採用（issue Decision Log 参照）。DATA END_STREAM のみ INTERNAL、HEADERS END_STREAM は UNKNOWN。
• trailing_headers_seen は NGHTTP2_FLAG_END_STREAM 付き HEADERS のみ記録（nghttp2 では 1xx 後の final response HEADERS も HCAT_HEADERS で届くため）。
• 1xx (informational) 応答対応は本 PR から分離し、docs/issues/open/2026-07-10-informational-1xx-response-handling.md の別 PR スコープとした（第三パスレビュー指摘）。1xx を挟む応答が失敗する既存制限は本 PR では変更しない。
• details 文言: 圧縮系は既存文言を維持（UNIMPLEMENTED case から INTERNAL case へ移動）。trailers 欠落は grpc-go と同文言を新設。

検証

• tools/test/check-c-unit.sh: 3本 pass（HTTP_1_1_REQUIRED / terminal frame 区別のアサーション追加）
• tools/test/check-phpt.sh: 17/17 pass（022 に compression / missing-status の unary / server streaming マトリクス追加）
• PHPUnit 統合: 31 tests / 116 assertions OK
• C static analysis: pass

注意

⚠️ アプリから見えるステータスコード変更（コード別リトライ等に影響）。リリースノート記載が必要。対象一覧は work issue の「Observable status/details changes」表を参照:

• Compressed-Flag=1（2種の details）: UNIMPLEMENTED → INTERNAL
• 未対応 grpc-encoding 宣言 + flag=0: エラー → 成功
• RST_STREAM HTTP_1_1_REQUIRED: UNKNOWN → INTERNAL
• DATA END_STREAM で trailers 欠落: UNKNOWN（空 details）→ INTERNAL + 新 details
• HEADERS END_STREAM で grpc-status 欠落: UNKNOWN のまま（変更なし、テストで固定）

🤖 Generated with Claude Code

[codecov-commenter]

⚠️ Please install the to ensure uploads and comments are reliably processed by Codecov.

Codecov Report

❌ Patch coverage is 92.00000% with 2 lines in your changes missing coverage. Please review.

Files with missing lines	Patch %	Lines
src/transport.c	90.91%	2 Missing ⚠️

📢 Thoughts on this report? Let us know!

[dkkoma]

PR #28 をレビューしました。主に status taxonomy の current docs / integration coverage の観点です。

[dkkoma]

この変更で圧縮未対応応答は INTERNAL に変わっていますが、docs/SPEC.md の重要前提/未決事項、docs/design/protocol-classification-boundary.md、docs/verification/compatibility-control-checklist.md が旧 UNIMPLEMENTED 前提のままです。status taxonomy は PHP-visible behavior なので、PR内で current spec/design/checklist も最終挙動に合わせて更新してください。missing trailers も checklist が STATUS_UNKNOWN のままなので合わせて更新が必要です。

[dkkoma]

対応しました (ce5872d)。docs/SPEC.md の重要前提・未決事項、protocol-classification-boundary.md の分類表（Unsupported compression → INTERNAL に更新、Missing trailers 行を新規追加）、compatibility-control-checklist.md の missing trailers / 圧縮の期待値を最終挙動（INTERNAL）に合わせて更新しました。

[dkkoma]

この新規 details 文字列は C unit では通りません。missing trailers の code は tests/unit/test_status_core.c で固定されていますが、UnaryCall::wait() / ServerStreamingCall::getStatus() 経由で details が空文字や malformed gRPC response frame に戻る回帰は検出できません。50054 fixture などに clean END_STREAM without grpc-status を追加し、PHPT で unary / server streaming 両方の STATUS_INTERNAL とこの details を assert してください。

[dkkoma]

対応しました (ce5872d)。50054 fixture に x-bench-grpc-response: no-trailers（message 送信後 grpc-status なしで clean END_STREAM）を追加し、PHPT 022 で unary / server streaming 両方について STATUS_INTERNAL と details "server closed the stream without sending trailers" を assert するようにしました。test-server 再ビルド後 PHPT 17/17 pass を確認済みです。

[dkkoma]

敵対的レビュー（ce5872d）

通常 finding 1件、compatibility Design Decision 1件、記録整備 1件です。実際の Compressed-Flag=1 の client-side INTERNAL 化と HTTP_1_1_REQUIRED → INTERNAL 自体には追加指摘はありません。

[Medium] tests/phpt/022-error-and-http-validation.phpt:55 — 未対応 encoding で圧縮された message を検証していない

50054 の x-bench-grpc-encoding branch が返すのは grpcFrame(0, nil)、つまり Compressed-Flag=0 です。unsupported_response_encoding は DATA より前に header callback だけで立ち、wire の grpc_status より優先されます。この過剰な header-level rejection 自体は既存ですが、この PR はそれを UNIMPLEMENTED から INTERNAL へ変更し、official alignment として再固定しています。

gRPC protocol では flag=0 は非圧縮で、grpc-go checkRecvPayload() も compressor lookup は compressionMade の場合だけです。custom probe でも grpc-encoding:gzip + flag=0 + grpc-status:0 は official ext-grpc 1.80.0 が response 非null / OK、HEAD は null / INTERNAL / unsupported grpc-encoding: gzip でした。

header callback は encoding の観測だけにし、未対応圧縮の failure は DATA parser が flag=1 を確認した時点で立ててください。unary / server streaming で gzip + flag=0 + status0 → OK、gzip + trailers-only non-OK → wire status、gzip + flag=1 → INTERNAL を固定する必要があります。

[Design Decision] src/status_core.c:67 — stream_closed だけでは terminal frame の形を区別できない

この predicate は DATA の END_STREAM だけでなく、initial HEADERS-only や custom trailing HEADERS が grpc-status 無しで END_STREAM した場合も一律 INTERNAL にします。引用元 grpc-go の INTERNAL / server closed ... は handleData() の DATA END_STREAM path にあり、同じ実装の operateHeaders() は HEADERS END_STREAM で status が無ければ初期値 UNKNOWN を使います。

さらに追加された no-trailers fixture 自体も、official ext-grpc 1.80.0 は unary で decoded response 非null / UNKNOWN / Stream removed、HEAD は null / INTERNAL / 新detailsでした。「公式へ揃えた」ではなく、ext-grpc drop-in、grpc-go exact、全clean-closeをstrictに扱う独自policyのどれを選ぶか明示してください。grpc-go exact を選ぶなら terminal DATA / HEADERS を call state で区別し、headers-only・custom trailers・grpc-message only も unary / streaming matrix に追加する必要があります。

[Low] poc/test-server/main.go:473 — fixture inventory / verification matrix を更新する

docs/verification/test-fixtures.md は fixture behavior を変えた場合に docs/verification/verification-matrix.md も更新する運用ですが、50054 control表に no-trailers がなく、matrixにも missing-trailers の unary / server-streaming coverage がありません。両方へ追加し、work issue / release handoff には compression だけでなく missing trailers と HTTP_1_1_REQUIRED を含む全 observable status/details 変更を列挙してください。

検証

• C static analysis: pass
• C unit: pass（3 suites）
• PHPT: 17/17 pass
• PHPUnit: 31 tests / 116 assertions pass

Medium が残るため、この repository の protocol model review gate は現時点では未充足です。

Comparator caveat: existing source-built dev-ext-grpc image（runtime grpc 1.80.0 / PHP 8.4.20 / aarch64）での観測であり、明示的な artifact tag からの再現ではありません。

[dkkoma]

敵対的レビュー3件に対応しました (f5a2f75)。

[Medium] encoding宣言のみでの拒否 → 対応

grpc-encoding header callback での unsupported_response_encoding 即時セットを除去し、header は encoding の観測のみに変更。失敗判定は DATA parser が Compressed-Flag=1 を見た時点に移動しました（grpc_protocol_flag_compressed_message: encoding 宣言あり → "unsupported grpc-encoding: ..."、なし → "compressed gRPC messages are not supported"、どちらも INTERNAL）。

50054 fixture を拡張し（compressed-flag + x-bench-grpc-encoding 併用、x-bench-grpc-encoding + x-bench-grpc-status 併用、headers-only）、PHPT 022 で unary / server streaming の指摘マトリクスを固定しました:

• gzip + flag=0 + status0 → OK（response 非null）
• gzip + trailers-only non-OK → wire status (NOT_FOUND)
• gzip + flag=1 → INTERNAL "unsupported grpc-encoding: gzip"

[Design Decision] terminal frame の区別 → grpc-go exact を選択

3択のうち grpc-go exact を採用しました。理由: 本 issue の変更根拠自体が grpc-go の分類であり、ext-grpc の UNKNOWN "Stream removed" は C-core transport エラーの偶発的文言で仕様意図を表さず、全 clean-close INTERNAL は公式のどちらとも一致しない独自 policy になるためです。Decision Log に記録済み。

実装: trailing_headers_seen フラグを追加し、missing trailers の INTERNAL は「clean close かつ !initial_headers_end_stream && !trailing_headers_seen」= DATA END_STREAM 経路のみに限定（handleData 準拠）。HEADERS END_STREAM は UNKNOWN のまま（operateHeaders 準拠）。matrix に headers-only / custom trailers (x-bench-trailer のみ) / grpc-message only の unary / streaming ケースを追加し、C unit にも terminal frame 区別の3アサーションを追加しました。

[Low] fixture inventory / verification matrix → 対応

docs/verification/test-fixtures.md の 50054 control 表に no-trailers / headers-only / custom-trailers-no-status / grpc-message-only-trailers と encoding 併用オプションを追加、docs/verification/verification-matrix.md に missing trailers 行を追加。work issue に release note 対象の全 observable status/details 変更一覧表（compression 3ケース / HTTP_1_1_REQUIRED / missing trailers）を記載しました。

検証

• C unit: 3 suites pass（terminal frame 区別ケース追加込み）
• PHPT: 17/17 pass（test-server 再ビルド後）
• PHPUnit: 31 tests / 116 assertions pass
• C static analysis: pass

🤖 Generated with Claude Code

[dkkoma]

敵対的・再レビュー（f5a2f75）

前回の encoding Medium は修正済み、missing-trailers の Design Decision は grpc-go exact として明示・受入済み、fixture inventory の Low も修正済みです。新規 finding は Medium 2件、Low 1件です。

[Medium] src/transport.c:2127 — NGHTTP2_HCAT_HEADERS は terminal trailers を意味しない

trailing_headers_seen は NGHTTP2_HCAT_HEADERS を受けた時点で、END_STREAM を確認せず true になります。しかし nghttp2 の category 契約では、これは「他 category に該当しない generic HEADERS」であり、1xx 後の final response HEADERS もここへ分類されます。

そのため、non-terminal generic HEADERS の後に DATA END_STREAM で status なしとなると、実際の terminal frame は DATA なのに trailing_headers_seen=true が status_core.c の INTERNAL 判定を抑止し、UNKNOWN へ落ちます。grpc-go exact policy を表す field なら、少なくとも NGHTTP2_FLAG_END_STREAM 付き HEADERS だけを terminal marker として記録してください。

raw fixture で、(a) trailing HEADERS + END_STREAM → UNKNOWN、(b) non-terminal second HEADERS 後の DATA END_STREAM → INTERNAL または先行 malformed INTERNAL、を unary / streaming で固定する必要があります。

[Medium] docs/verification/compatibility-control-checklist.md:37,62,66 — current verification gate が最終 policy と矛盾する

checklist は missing trailers 全般を STATUS_INTERNAL としていますが、f5a2f75 が採用した grpc-go exact は DATA END_STREAM のみ INTERNAL、initial / trailing HEADERS END_STREAM は UNKNOWN です。

compression の本文・表も「未対応 grpc-encoding header 宣言」自体を失敗条件として読めますが、実装と PHPT は header + Compressed-Flag=0 を成功させます。docs/SPEC.md:233 も同じ曖昧さがあります。checklist を terminal DATA / HEADERS と per-message Compressed-Flag で書き分け、SPEC・verification matrix・実行テストを同じ current model へ揃えてください。

[Low] docs/design/grpc-call-exchange-state.md:15 — field ownership map が新 state を欠いている

grpc_call の authoritative responsibility map は validation/status field を initial_headers_end_stream までしか列挙しておらず、今回追加した trailing_headers_seen がありません。nghttp2 callback が set し、status resolution が terminal DATA / HEADERS を区別するために読む call-local lifetime を同 map へ追加してください。

検証

• C static analysis: pass
• C unit: pass（3 suites）
• PHPT: 17/17 pass
• PHPUnit: 31 tests / 116 assertions pass
• Native QA: Static analysis / NTS PHPT + C coverage / Crash/UB / ZTS PHPT すべて pass
  • 初回 ZTS 失敗は GitHub Actions cache export の 503 で、再実行は pass

Medium / Low が残るため、repository の protocol model review gate は現時点では未充足です。

[dkkoma]

再レビュー3件に対応しました (375c3dd)。

[Medium] NGHTTP2_HCAT_HEADERS ≠ terminal trailers → 対応

指摘どおり nghttp2.h の callback 契約（1xx 後の final response HEADERS も HCAT_HEADERS）を確認し、trailing_headers_seen は NGHTTP2_FLAG_END_STREAM 付き HEADERS のみ記録するよう修正しました。

あわせて精査したところ、現行の HCAT_RESPONSE branch は 1xx block に対して content-type validation を実行して invalid_content_type が誤発火する連動問題があったため、informational 対応を追加しました: HCAT_RESPONSE の :status が 1xx なら expect_final_response を立てて validation を保留し、後続の HCAT_HEADERS を final response headers として validate します（1xx なしの経路は従来どおり）。

fixture は x-bench-early-hints=1（103 Early Hints を先行送出、他 control と併用可能）を追加し、PHPT 022 で unary / server streaming それぞれ:

• (b) 1xx + no-trailers（non-terminal HCAT_HEADERS 後の DATA END_STREAM）→ INTERNAL "server closed the stream without sending trailers"
• 1xx + grpc-status: 0 → OK（1xx が成功経路を壊さないことの固定）

を固定しました。(a) trailing HEADERS + END_STREAM → UNKNOWN は前回追加の custom-trailers-no-status / grpc-message-only-trailers（Go サーバーの実 trailers は END_STREAM 付き）で unary / streaming とも固定済みです。

[Medium] checklist と最終 policy の矛盾 → 対応

compatibility-control-checklist.md の missing trailers を「DATA END_STREAM → INTERNAL」「HEADERS END_STREAM → UNKNOWN」の2行に書き分け、compression 節を per-message Compressed-Flag 基準（flag=1 のみ失敗、encoding 宣言 + flag=0 は成功）に書き直しました。SPEC.md 未決事項の記述も flag=1 限定であることを明記し、SPEC / classification boundary / verification matrix / checklist / 実行テストが同じ current model を指すようにしました。

[Low] field ownership map → 対応

grpc-call-exchange-state.md の responsibility map（gRPC status と validation flag 行）に trailing_headers_seen / expect_final_response を lifetime・reader の説明付きで追加しました。

検証

• C unit: 3 suites pass
• PHPT: 17/17 pass（test-server 再ビルド後、early-hints ケース込み）
• PHPUnit: 31 tests / 116 assertions pass
• C static analysis: pass

🤖 Generated with Claude Code

[dkkoma]

第三パスレビュー2件に対応しました (093b808)。

[Medium] REVIEW-20260710-004: 不完全な1xx成功経路 → 推奨どおり分離

指摘のとおり expect_final_response は frame-end 判定のため、on_header_callback() が raw category で行う metadata / semantic field の即時反映（initial / trailing の反転、1xx field 汚染）を修復できないことを確認しました。推奨 fix に従い、1xx 経路を PR #28 から revert しました:

• 除去: expect_final_response、x-bench-early-hints fixture、1xx PHPT（unary / streaming 各2ケース）、docs の 1xx 記述
• 残置: trailing_headers_seen の NGHTTP2_FLAG_END_STREAM ゲート、field ownership map 修正

1xx 対応は docs/issues/open/2026-07-10-informational-1xx-response-handling.md の別 PR スコープとし、issue には却下された初回実装の問題点（metadata ownership 反転の probe 結果、RFC 8297 §2）と、再実装要件（header callback 時点での block phase 確定、informational field 隔離、metadata ownership / field isolation の unary / streaming テスト）を Plan として記録しました。

[Low] REVIEW-20260710-003: PR説明の乖離 → 対応

PR 本文を最終挙動に書き直しました: 項目1を Compressed-Flag=1 限定 + 「encoding 宣言 + flag=0 は成功」の明記、項目3を DATA END_STREAM → INTERNAL / HEADERS END_STREAM → UNKNOWN の書き分けに変更し、release note 対象の observable changes 一覧も本文に追加しました。

検証（revert 後）

• C unit: 3 suites pass
• PHPT: 17/17 pass（test-server 再ビルド後）
• PHPUnit: 31 tests / 116 assertions pass
• C static analysis: pass

🤖 Generated with Claude Code

[dkkoma]

敵対的・第四パス再レビュー（093b808）

前回の Medium（不完全な1xx成功経路）と Low（PR説明）は修正済みです。

• expect_final_response、early-hints fixture / PHPT / active docsはPR #28から除去済み
• trailing_headers_seen の NGHTTP2_FLAG_END_STREAM gateは残り、DATA / HEADERS terminal taxonomyは維持
• PR本文はCompressed-Flag=1限定、encoding宣言 + flag=0成功、DATA END_STREAMのみINTERNAL、HEADERS END_STREAMはUNKNOWNへ更新済み

source / fixture / testsには新規 finding はありません。残るのはLow 1件だけです。

[Low] docs/issues/open/2026-07-08-status-taxonomy-official-alignment.md:93-98 — Related issuesの現在のscope説明が古い

同fileの第三パスProgressは1xx実装をPR #28からrevertして別PR scopeへ移したと正しく記録していますが、Related issues節は2件とも「コードは分離せず、記録としてissue分割」と現在形で一括説明しています。

現在の境界は次の2種類です。

• grpc-encoding flag=0修正: PR #28へ同梱したまま、記録だけ別issue
• informational 1xx対応: code / fixture / PHPTも別issueの将来PRへ分離

Related issuesの導入文と各bulletをこの境界へ書き分けてください。Verificationの「1xxケース追加込み」も、必要なら一時導入commit 375c3dd のhistorical resultでありcurrent testではないと明示してください。実装・テストの追加は不要です。

検証

• C static analysis: pass
• C unit: pass（3 suites）
• PHPT: 17/17 pass
• PHPUnit: 31 tests / 116 assertions pass
• Native QA: Static analysis / NTS PHPT + C coverage / Crash/UB / ZTS PHPTすべてpass
• git diff --check: pass

Lowが残るためprotocol model review gateは現時点では未充足ですが、runtime / compatibility findingはnoneです。

[dkkoma]

第四パスレビューの [Low] に対応しました (e5b0982)。

work issue の Related issues 節を現在の分割境界に書き分けました: grpc-encoding flag=0 修正は「コードは PR #28 同梱のまま記録のみ別 issue（PR マージで close）」、1xx 対応は「一時同梱 (375c3dd) 後に revert し、code / fixture / PHPT / docs ごと将来の別 PR スコープへ分離」。Verification の「1xx ケース追加込み」の行にも、一時導入 commit 時点の historical result であり current テストには含まれない旨を注記し、revert 後 (093b808) の検証結果を別行で追加しました。実装・テストの変更はありません。

🤖 Generated with Claude Code