Skip to content

docs: FT193 socket モジュール フィールドトライアルレポートを追加#531

Merged
hideyukiMORI merged 1 commit into
mainfrom
feat/ft193-socket
May 21, 2026
Merged

docs: FT193 socket モジュール フィールドトライアルレポートを追加#531
hideyukiMORI merged 1 commit into
mainfrom
feat/ft193-socket

Conversation

@hideyukiMORI
Copy link
Copy Markdown
Owner

Summary

  • FT193: Python socket モジュール — TCP/UDP socketpair・DNS 解決・ソケットオプション
  • socketpair(SOCK_STREAM/SOCK_DGRAM) によるインプロセスエコーで外部ネットワーク依存なしにテスト
  • socket.getaddrinfogethostnamegetsockopthas_dualstack_ipv6 を検証
  • 摩擦点 F-1(TCP 空メッセージブロック)・F-2(getaddrinfo 型エラー)を発見・即時修正
  • 27 passed / mypy --strict 通過 / ruff 通過

変更内容

  • docs/field-trials/2026-05-field-trial-193.md 新規作成(6ペルソナ DX Review 含む)
  • docs/field-trials/INDEX.md — FT193 エントリ追加
  • docs/todo/current.md — v1.8.65 / FT193 完了に更新
  • pyproject.toml — v1.8.64 → v1.8.65

Test plan

  • サンドボックス: pytest 27 passed
  • mypy --strict 通過
  • ruff check 通過
  • pip-audit — PYSEC-2025-183 (PyJWT / mcp 推移的 CVE、許容済み) のみ

Closes #530

🤖 Generated with Claude Code

- socketpair(SOCK_STREAM/SOCK_DGRAM) によるインプロセス TCP/UDP エコー実装
- socket.getaddrinfo / gethostname / getsockopt / has_dualstack_ipv6 を検証
- F-1: sendall(b"") で recv がブロック → 空メッセージ早期リターンで対応
- F-2: getaddrinfo 戻り値 mypy 型エラー → match 文の型パターンで解決
- 27 passed / mypy --strict 通過 / ruff 通過

Closes #530

Co-Authored-By: Claude Sonnet 4.6 <noreply@anthropic.com>
@hideyukiMORI hideyukiMORI merged commit 1328623 into main May 21, 2026
@hideyukiMORI hideyukiMORI deleted the feat/ft193-socket branch May 21, 2026 12:45
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.

FT193: socket モジュール — TCP/UDP socketpair・DNS 解決・ソケットオプション

1 participant