Parcourir la source

docs: close generic event kernel todos

Problem: Todo 45 and its review-driven follow-ups remained in progress after the generic kernel passed final specification and quality gates.

Risk: composed-schema fallback remains intentionally conservative for ambiguous branches; one existing Starlette deprecation warning remains outside this scope.
zhenyu.hu il y a 2 semaines
Parent
commit
908d94b5f8

+ 5 - 1
docs/plans/todo-45-generic-event-kernel.md

@@ -1,6 +1,10 @@
 # Todo 45 Generic Event Kernel Plan
 
-**Status:** in_progress
+**Status:** done
+
+## Result
+
+Implemented a name-agnostic event kernel with registry metadata, deterministic-first resolution, optional asynchronous fallback, policy-bearing results, sync/async handlers, and ToolRegistry/EventAgent compatibility. Final full verification: `203 passed`, one existing Starlette deprecation warning; bounded specification and quality gates passed.
 
 ## Goal
 

+ 5 - 1
docs/plans/todo-45.1-event-kernel-boundary-hardening.md

@@ -1,6 +1,10 @@
 # Todo 45.1 Event Kernel Boundary Hardening Plan
 
-**Status:** in_progress
+**Status:** done
+
+## Result
+
+Added Draft 2020-12 validation, schema isolation, normalized resolver/fallback/handler failures, strict argument consistency, async-safe execution, and regression coverage for EventAgent concurrency.
 
 ## Goal
 

+ 5 - 1
docs/plans/todo-45.2-event-fallback-semantics.md

@@ -1,6 +1,10 @@
 # Todo 45.2 Event Fallback Semantics Plan
 
-**Status:** in_progress
+**Status:** done
+
+## Result
+
+Fallback now represents missing information rather than arbitrary invalid input. Complete-invalid and provider-resolved arguments skip fallback; strict JSON type/raw consistency and definition-error separation are covered.
 
 ## Goal
 

+ 5 - 1
docs/plans/todo-45.3-sync-resolution-completeness.md

@@ -1,6 +1,10 @@
 # Todo 45.3 Sync Resolution Completeness Plan
 
-**Status:** in_progress
+**Status:** done
+
+## Result
+
+Synchronous execution honors structured resolution completeness and rejects incomplete optional-only arguments without invoking the handler.
 
 ## Goal
 

+ 5 - 1
docs/plans/todo-45.4-event-kernel-quality-boundaries.md

@@ -1,6 +1,10 @@
 # Todo 45.4 Event Kernel Quality Boundaries Plan
 
-**Status:** in_progress
+**Status:** done
+
+## Result
+
+Preserved EventAgent default/explicit configuration semantics, isolated plugin mutations, encapsulated validator state, and normalized non-JSON handler payloads through kernel and EventAgent integrations.
 
 ## Goal
 

+ 5 - 1
docs/plans/todo-45.5-composed-schema-and-copy-failures.md

@@ -1,6 +1,10 @@
 # Todo 45.5 Composed Schema and Copy Failures Plan
 
-**Status:** in_progress
+**Status:** done
+
+## Result
+
+Added immutable validation summaries and conservative branch-aware fallback classification. Uncopyable/non-JSON resolver and provider arguments produce stable results without exception leakage or definition-error misclassification.
 
 ## Goal
 

+ 5 - 1
docs/plans/todo-45.6-mixed-validation-and-handler-snapshot.md

@@ -1,6 +1,10 @@
 # Todo 45.6 Mixed Validation and Handler Snapshot Plan
 
-**Status:** in_progress
+**Status:** done
+
+## Result
+
+Fallback requires every reported validation issue to be missing-only. Required plus substantive validation errors skip LLM calls, and arbitrary payload snapshot exceptions become `HANDLER_ERROR` across sync, async, ToolRegistry, and EventAgent paths.
 
 ## Goal
 

+ 5 - 1
docs/plans/todo-45.7-structured-incomplete-mixed-validation.md

@@ -1,6 +1,10 @@
 # Todo 45.7 Structured Incomplete Mixed Validation Plan
 
-**Status:** in_progress
+**Status:** done
+
+## Result
+
+Separated fallback eligibility from incomplete-result normalization. Structured `complete=False` no longer bypasses enum, type, or additional-property errors; optional-only incomplete and pure missing-only paths remain eligible.
 
 ## Goal
 

+ 8 - 8
docs/plans/todos.md

@@ -74,14 +74,14 @@
 | 43.2 | done | `docs/plans/todo-43.2-remove-legacy-event-consumption.md` | Remove legacy `event` consumption from production paths and migrate remaining fixtures to typed stream kinds. | Wrong-source negative tests and real client `[DONE]` integration pass; full suite passes (`82 passed`). |
 | 44 | done | `docs/plans/todo-44-provider-tool-transcript.md` | Add provider-compatible assistant tool-call and tool-result message serialization plus explicit tool-choice behavior. | Focused transcript tests pass (`97 passed`); full suite passes (`108 passed`, one existing warning). |
 | 44.1 | done | `docs/plans/todo-44.1-tool-transcript-hardening.md` | Harden transcript identity, reserved payload fields, EventAgent history projection, and public pre-message boundaries. | Duplicate IDs, invalid choices, reserved overrides, projected history, and pre-message boundaries are covered; full suite passes. |
-| 45 | in_progress | `docs/plans/todo-45-generic-event-kernel.md` | Build a generic event kernel with definition metadata, deterministic-first resolution, policies, execution ports, and result aggregation. | Kernel contract tests prove orchestration contains no built-in event-name branches and plugins share one pipeline. |
-| 45.1 | in_progress | `docs/plans/todo-45.1-event-kernel-boundary-hardening.md` | Harden JSON Schema validation, normalized failures, fallback raw arguments, async handlers, and existing EventAgent concurrency. | Standard schema tests and failure-path regressions pass; async handlers work through the kernel without sync-facade warnings. |
-| 45.2 | in_progress | `docs/plans/todo-45.2-event-fallback-semantics.md` | Restrict fallback to incomplete resolution, enforce JSON-type-sensitive raw consistency, and distinguish definition failures. | Complete-invalid arguments skip LLM; raw/parsed mismatch and broken schema references produce stable non-user-error results. |
-| 45.3 | in_progress | `docs/plans/todo-45.3-sync-resolution-completeness.md` | Make synchronous kernel execution reject explicitly incomplete deterministic resolution instead of invoking the handler. | A structured incomplete result with an optional-only schema returns `INVALID_ARGUMENTS`; the handler is not called and async behavior remains aligned. |
-| 45.4 | in_progress | `docs/plans/todo-45.4-event-kernel-quality-boundaries.md` | Close reviewed configuration, composed-schema fallback, mutation isolation, registry encapsulation, and payload-serialization gaps. | Default EventAgent config survives omitted overrides; nested required errors can fall back; handlers and callers cannot corrupt audit arguments; validators stay private; non-JSON payloads become `HANDLER_ERROR`. |
-| 45.5 | in_progress | `docs/plans/todo-45.5-composed-schema-and-copy-failures.md` | Prevent unrelated composed-schema branches from triggering fallback and normalize argument snapshot failures without exposing validator internals. | Complete-invalid discriminated unions never call fallback; missing viable branches still can; uncopyable/non-JSON resolver and provider arguments return stable results instead of raising or becoming definition errors. |
-| 45.6 | in_progress | `docs/plans/todo-45.6-mixed-validation-and-handler-snapshot.md` | Require every validation failure to be missing-only before fallback and contain arbitrary handler payload serialization exceptions. | Required plus enum/type/additional-property errors never call fallback; sync/async handler snapshot failures become stable `HANDLER_ERROR` results through ToolRegistry and EventAgent. |
-| 45.7 | in_progress | `docs/plans/todo-45.7-structured-incomplete-mixed-validation.md` | Prevent an explicit structured `complete=False` flag from bypassing substantive validation failures. | Structured incomplete plus enum/type/additional-property errors never calls fallback; optional-only incomplete and pure missing-only input still can. |
+| 45 | done | `docs/plans/todo-45-generic-event-kernel.md` | Build a generic event kernel with definition metadata, deterministic-first resolution, policies, execution ports, and result aggregation. | Generic kernel, EventAgent compatibility, and event-name decoupling pass final gates; full suite passes (`203 passed`, one existing warning). |
+| 45.1 | done | `docs/plans/todo-45.1-event-kernel-boundary-hardening.md` | Harden JSON Schema validation, normalized failures, fallback raw arguments, async handlers, and existing EventAgent concurrency. | JSON Schema, normalized failure, strict argument, async handler, and concurrency regressions pass. |
+| 45.2 | done | `docs/plans/todo-45.2-event-fallback-semantics.md` | Restrict fallback to incomplete resolution, enforce JSON-type-sensitive raw consistency, and distinguish definition failures. | Fallback is limited to missing-only/incomplete-valid input; complete-invalid and provider-resolved input never call LLM fallback. |
+| 45.3 | done | `docs/plans/todo-45.3-sync-resolution-completeness.md` | Make synchronous kernel execution reject explicitly incomplete deterministic resolution instead of invoking the handler. | Sync structured incomplete input returns `INVALID_ARGUMENTS` without handler execution. |
+| 45.4 | done | `docs/plans/todo-45.4-event-kernel-quality-boundaries.md` | Close reviewed configuration, composed-schema fallback, mutation isolation, registry encapsulation, and payload-serialization gaps. | EventAgent config, mutation isolation, registry encapsulation, and strict JSON payload failures are covered. |
+| 45.5 | done | `docs/plans/todo-45.5-composed-schema-and-copy-failures.md` | Prevent unrelated composed-schema branches from triggering fallback and normalize argument snapshot failures without exposing validator internals. | Branch-aware composed validation and immutable validation summaries pass direct reproductions. |
+| 45.6 | done | `docs/plans/todo-45.6-mixed-validation-and-handler-snapshot.md` | Require every validation failure to be missing-only before fallback and contain arbitrary handler payload serialization exceptions. | Mixed validation skips fallback; arbitrary handler snapshot exceptions become stable `HANDLER_ERROR`. |
+| 45.7 | done | `docs/plans/todo-45.7-structured-incomplete-mixed-validation.md` | Prevent an explicit structured `complete=False` flag from bypassing substantive validation failures. | Structured incomplete plus substantive errors skips fallback; bounded final gate APPROVED. |
 | 46 | pending | `docs/plans/todo-46-configurable-tool-invocation-mode.md` | Add `dual_agent` and `chat_agent_tools` runtime modes on the shared event kernel. | Runtime tests prove mode-specific requests, direct execution, valid provider history, and dual-mode regression safety. |
 | 47 | pending | `docs/plans/todo-47-built-in-event-plugins.md` | Add terminate-session, device-volume, schedule, and web-search as built-in plugins on the generic event kernel. | Plugin contract tests cover valid, ambiguous, invalid, idempotent, and failure results for all four events. |
 | 48 | pending | `docs/plans/todo-48-parallel-event-batches.md` | Execute multiple flat events with bounded parallelism, failure isolation, aggregation, and a terminal barrier. | Runtime tests prove independent concurrency, stable result order, isolated failures, and termination after sibling completion or timeout. |