nene2-python 1.8.10__tar.gz → 1.8.12__tar.gz

{nene2_python-1.8.10 → nene2_python-1.8.12}/CHANGELOG.md

@@ -5,6 +5,30 @@ Format follows [Keep a Changelog](https://keepachangelog.com/en/1.1.0/).
 
 ---
 
+## [1.8.12] — 2026-05-20
+
+FT52 フィールドトライアル — ミドルウェアスタック組み合わせ検証 + LocalTokenVerifier 改善。
+
+### Changed
+- `LocalTokenVerifier.__init__` — `allowed_tokens` の型を `list[str] | set[str] | frozenset[str]` に変更。内部で `frozenset` に変換し `in` 演算が O(1) になった (#284) (FT52)
+
+### Added
+- Field trial report: `docs/field-trials/2026-05-field-trial-52.md`
+
+---
+
+## [1.8.11] — 2026-05-20
+
+FT51 フィールドトライアル — SimpleDomainHandler 実運用検証 + problem_details_response バグ修正。
+
+### Fixed
+- `problem_details_response()` — `extra` に RFC 9457 予約済みフィールド (`type`, `title`, `status`, `detail`) が含まれる場合に `ValueError` を raise するよう修正 (#282) (FT51)
+
+### Added
+- Field trial report: `docs/field-trials/2026-05-field-trial-51.md`
+
+---
+
 ## [1.8.10] — 2026-05-20
 
 FT50 フィールドトライアル — ValidationException + ValidationCode(StrEnum) 実運用検証。

{nene2_python-1.8.10 → nene2_python-1.8.12}/PKG-INFO

@@ -1,6 +1,6 @@
 Metadata-Version: 2.4
 Name: nene2-python
-Version: 1.8.10
+Version: 1.8.12
 Summary: NENE2 Python — minimal API framework following NENE2's design philosophy
 Project-URL: Homepage, https://github.com/hideyukiMORI/nene2-python
 Project-URL: Repository, https://github.com/hideyukiMORI/nene2-python

nene2_python-1.8.12/docs/field-trials/2026-05-field-trial-51.md

@@ -0,0 +1,127 @@
+# Field Trial 51: SimpleDomainHandler 実運用検証
+
+**Date**: 2026-05-20
+**Theme**: `SimpleDomainHandler` + `detail_factory` / `extra_factory` の実運用パターン検証
+**Version under test**: v1.8.10
+**FT App**: `/home/xi/docker/nene2-python-FT/ft51-domain-handler/`
+
+---
+
+## 概要
+
+複数のドメイン例外を `SimpleDomainHandler` で Problem Details に変換するパターンを
+記事 API で実運用した。404 / 403 / 409 の 3 種類のエラーを検証。
+
+---
+
+## 実装内容
+
+### ドメイン例外クラス
+
+```python
+class ArticleNotFoundError(Exception):
+    def __init__(self, article_id: int) -> None:
+        self.article_id = article_id
+
+class ArticleAccessDeniedError(Exception):
+    def __init__(self, article_id: int, user_id: str) -> None:
+        self.article_id = article_id
+        self.user_id = user_id
+
+class ArticleTitleConflictError(Exception):
+    def __init__(self, title: str) -> None:
+        self.title = title
+```
+
+### SimpleDomainHandler による登録
+
+```python
+handlers = [
+    SimpleDomainHandler(
+        ArticleNotFoundError,
+        "article-not-found",
+        "Article Not Found",
+        404,
+        detail_factory=lambda exc: str(exc),
+        extra_factory=lambda exc: {"article_id": exc.article_id},
+    ),
+    SimpleDomainHandler(
+        ArticleAccessDeniedError,
+        "article-access-denied",
+        "Access Denied",
+        403,
+        detail_factory=lambda exc: str(exc),
+        extra_factory=lambda exc: {"article_id": exc.article_id, "user_id": exc.user_id},
+    ),
+    SimpleDomainHandler(
+        ArticleTitleConflictError,
+        "article-title-conflict",
+        "Article Title Conflict",
+        409,
+        detail_factory=lambda exc: str(exc),
+        extra_factory=lambda exc: {"article_title": exc.title},  # ← "title" ではなく "article_title"
+    ),
+]
+app.add_middleware(ErrorHandlerMiddleware, domain_handlers=handlers)
+```
+
+---
+
+## テスト結果
+
+6 tests, all passed (after fixing FP51-1).
+
+---
+
+## 摩擦ポイント
+
+### FP51-1: `extra_factory` に `title` キーを返すと Problem Details の `title` が上書きされる
+
+**状況**: `ArticleTitleConflictError` の `extra_factory` で `{"title": exc.title}` を返したところ、
+Problem Details レスポンスの `title` フィールド（`"Article Title Conflict"`）が `exc.title`（`"Dup"`）に
+上書きされた。
+
+```json
+{
+  "type": "...",
+  "title": "Dup",      // ← "Article Title Conflict" のはずが上書きされた
+  "status": 409,
+  "detail": "Article with title 'Dup' already exists"
+}
+```
+
+**原因**: `problem_details_response()` が `body.update(extra)` で `extra` を後から適用するため、
+RFC 9457 の予約済みフィールド (`type`, `title`, `status`, `detail`) を含む `extra` が
+意図せずフィールドを上書きする。
+
+**修正**: `problem_details_response()` が `extra` に予約済みフィールドが含まれている場合に
+`ValueError` を raise するよう修正 (#282)。
+
+```python
+# 修正後のコード
+_RESERVED_FIELDS = frozenset({"type", "title", "status", "detail"})
+if extra:
+    overlap = _RESERVED_FIELDS & extra.keys()
+    if overlap:
+        raise ValueError(f"extra contains reserved Problem Details fields: {sorted(overlap)}")
+    body.update(extra)
+```
+
+**ワークアラウンド（修正前）**: `extra` に予約済みキーと衝突しない名前を使う（例: `"article_title"`）。
+
+---
+
+## フレームワーク変更
+
+### `nene2.http.problem_details_response()` — extra reserved fields 保護 (#282)
+
+`extra` に RFC 9457 予約済みフィールド (`type`, `title`, `status`, `detail`) が含まれる場合に
+`ValueError` を raise するようになった。
+
+---
+
+## 結論
+
+`SimpleDomainHandler` + `detail_factory` / `extra_factory` の組み合わせは実運用で使いやすい。
+ただし `extra_factory` の返り値に RFC 9457 予約済みフィールドと同名のキーを入れると
+サイレントに上書きされる危険があった。`ValueError` による早期検知で問題を防止できる。

nene2_python-1.8.12/docs/field-trials/2026-05-field-trial-52.md

@@ -0,0 +1,90 @@
+# Field Trial 52: ミドルウェアスタック組み合わせ検証
+
+**Date**: 2026-05-20
+**Theme**: 全ミドルウェアスタック (BearerToken + Throttle + RequestLogging + SecurityHeaders) の組み合わせ実運用
+**Version under test**: v1.8.11
+**FT App**: `/home/xi/docker/nene2-python-FT/ft52-middleware-stack/`
+
+---
+
+## 概要
+
+`ErrorHandlerMiddleware` + `SecurityHeadersMiddleware` + `RequestIdMiddleware` +
+`RequestLoggingMiddleware` + `ThrottleMiddleware` + `BearerTokenMiddleware` を
+全スタックで積み重ねて動作を検証した。
+
+---
+
+## 実装内容
+
+### ミドルウェアスタック
+
+```python
+app.add_middleware(ErrorHandlerMiddleware)
+app.add_middleware(SecurityHeadersMiddleware, csp="default-src 'self'", hsts="max-age=31536000")
+app.add_middleware(RequestIdMiddleware)
+app.add_middleware(RequestLoggingMiddleware, exclude_paths=["/health"], extra_context={"service": "ft52", "env": "test"})
+app.add_middleware(ThrottleMiddleware, limit=5, window=60, exclude_paths=["/health"])
+app.add_middleware(BearerTokenMiddleware, verifier=verifier, exclude_paths=["/health", "/docs", "/openapi.json"])
+```
+
+`/health` は認証・ログ・レート制限をすべてバイパスする設計。
+
+---
+
+## テスト結果
+
+10 tests, all passed (after fixing FP52-1).
+
+| テスト | 結果 |
+|---|---|
+| /health は認証不要 | ✅ |
+| /items は認証必須 | ✅ |
+| 有効トークンで /items アクセス | ✅ |
+| セキュリティヘッダー存在確認 | ✅ |
+| HSTS ヘッダー確認 | ✅ |
+| X-Request-Id ヘッダー確認 | ✅ |
+| X-RateLimit-Limit ヘッダー確認 | ✅ |
+| /health はレート制限なし (10回連続) | ✅ |
+| レート制限超過で 429 | ✅ |
+| 無効トークンで 401 | ✅ |
+
+---
+
+## 摩擦ポイント
+
+### FP52-1: `LocalTokenVerifier` の引数名が直感的でない / `set` 非対応
+
+**状況**: `LocalTokenVerifier(valid_tokens={valid_token})` と書いたが:
+1. 引数名は `valid_tokens` ではなく `allowed_tokens`
+2. `set` を渡すと型エラー（内部が `list[str]` を期待）
+
+**修正**: `allowed_tokens` の型を `list[str] | set[str] | frozenset[str]` に変更し、
+内部で `frozenset` に変換するよう修正 (#284)。
+内部を `frozenset` にすることで `in` 演算の O(n) → O(1) 改善も得られた。
+
+---
+
+## フレームワーク変更
+
+### `LocalTokenVerifier` — `set` / `frozenset` を受け入れ可能に (#284)
+
+```python
+# 修正前
+def __init__(self, allowed_tokens: list[str]) -> None:
+    self._allowed = allowed_tokens
+
+# 修正後
+def __init__(self, allowed_tokens: list[str] | set[str] | frozenset[str]) -> None:
+    self._allowed: frozenset[str] = frozenset(allowed_tokens)
+```
+
+---
+
+## 全スタック動作確認
+
+各ミドルウェアの機能がスタック状態でも正常に動作することを確認:
+- `exclude_paths` の設定が各ミドルウェアで独立して機能する
+- `BearerTokenMiddleware` が `ThrottleMiddleware` より外側（先に評価）
+- `SecurityHeadersMiddleware` のヘッダーが全レスポンスに付与される
+- `RequestIdMiddleware` の `X-Request-Id` が全レスポンスに付与される

{nene2_python-1.8.10 → nene2_python-1.8.12}/pyproject.toml

@@ -1,6 +1,6 @@
 [project]
 name = "nene2-python"
-version = "1.8.10"
+version = "1.8.12"
 description = "NENE2 Python — minimal API framework following NENE2's design philosophy"
 readme = "README.md"
 license = {text = "MIT"}

{nene2_python-1.8.10 → nene2_python-1.8.12}/src/nene2/auth/local_verifier.py

@@ -11,8 +11,8 @@ import secrets
 class LocalTokenVerifier:
     """Verify tokens against a fixed allowlist using constant-time comparison."""
 
-    def __init__(self, allowed_tokens: list[str]) -> None:
-        self._allowed = allowed_tokens
+    def __init__(self, allowed_tokens: list[str] | set[str] | frozenset[str]) -> None:
+        self._allowed: frozenset[str] = frozenset(allowed_tokens)
 
     @classmethod
     def from_env(cls, env_var: str, *, separator: str = ",") -> "LocalTokenVerifier":

{nene2_python-1.8.10 → nene2_python-1.8.12}/src/nene2/http/problem_details.py

@@ -8,6 +8,7 @@ from typing import Any
 from fastapi.responses import JSONResponse
 
 PROBLEM_DETAILS_BASE_URL = "https://nene2.dev/problems/"
+_RESERVED_FIELDS = frozenset({"type", "title", "status", "detail"})
 
 _configured_base_url: str | None = None
 
@@ -73,6 +74,9 @@ def problem_details_response(
     if detail:
         body["detail"] = detail
     if extra:
+        overlap = _RESERVED_FIELDS & extra.keys()
+        if overlap:
+            raise ValueError(f"extra contains reserved Problem Details fields: {sorted(overlap)}")
         body.update(extra)
 
     return JSONResponse(

{nene2_python-1.8.10 → nene2_python-1.8.12}/tests/nene2/auth/test_bearer_token.py

@@ -113,3 +113,16 @@ def test_exclude_paths_default_is_empty() -> None:
 
     client = TestClient(app)
     assert client.get("/health").status_code == 401
+
+
+def test_local_verifier_accepts_set() -> None:
+    verifier = LocalTokenVerifier({"tok-a", "tok-b"})
+    assert verifier.verify("tok-a") is True
+    assert verifier.verify("tok-b") is True
+    assert verifier.verify("tok-c") is False
+
+
+def test_local_verifier_accepts_frozenset() -> None:
+    verifier = LocalTokenVerifier(frozenset({"tok-x", "tok-y"}))
+    assert verifier.verify("tok-x") is True
+    assert verifier.verify("unknown") is False

{nene2_python-1.8.10 → nene2_python-1.8.12}/tests/nene2/http/test_problem_details.py

@@ -74,3 +74,18 @@ def test_reset_problem_details_is_idempotent() -> None:
     reset_problem_details()
     r = problem_details_response("not-found", "Not Found", 404)
     assert b"nene2.dev/problems/not-found" in r.body
+
+
+def test_extra_with_reserved_field_raises_value_error() -> None:
+    with pytest.raises(ValueError, match="reserved Problem Details fields"):
+        problem_details_response("x", "X", 400, extra={"title": "bad"})
+
+
+def test_extra_with_type_reserved_raises_value_error() -> None:
+    with pytest.raises(ValueError, match="reserved Problem Details fields"):
+        problem_details_response("x", "X", 400, extra={"type": "overridden"})
+
+
+def test_extra_with_status_reserved_raises_value_error() -> None:
+    with pytest.raises(ValueError, match="reserved Problem Details fields"):
+        problem_details_response("x", "X", 400, extra={"status": 500})

{nene2_python-1.8.10 → nene2_python-1.8.12}/uv.lock

@@ -925,7 +925,7 @@ wheels = [
 
 [[package]]
 name = "nene2-python"
-version = "1.8.10"
+version = "1.8.12"
 source = { editable = "." }
 dependencies = [
     { name = "alembic" },