Tianyi Cui
11a29fdefe
New @deepseek-ai/dsh-invariants plugin (pure listeners, off in prod) asserts the event taxonomy at runtime — seq monotonicity, turn/step nesting, a tool/result needs a prior tool/call (NOT the converse), legal agent/status transitions — and deep-freezes logged event data so mutating history throws. Seeded sessions are checked + frozen on session/created. The real RFC 008 fix is always-on: deriveMessages now structured-clones the content it emits, so the loop's sanctioned request/adapter mutation can no longer reach back and rewrite the append-only log. The pervasive DeepReadonly<T> type flip is rejected (compile-only, high-noise, castable) — recorded in ADR 0012, which folds in RFC 008. Wired into both demos.
27 lines
835 B
JSON
27 lines
835 B
JSON
{
|
|
"files": [],
|
|
"references": [
|
|
{ "path": "./vendor/cosmokit" },
|
|
{ "path": "./vendor/schemastery" },
|
|
{ "path": "./vendor/cordis" },
|
|
{ "path": "./vendor/loader" },
|
|
{ "path": "./vendor/include" },
|
|
{ "path": "./vendor/group" },
|
|
{ "path": "./vendor/timer" },
|
|
{ "path": "./vendor/hmr" },
|
|
{ "path": "./vendor/logger-console" },
|
|
{ "path": "./packages/llm" },
|
|
{ "path": "./packages/session" },
|
|
{ "path": "./packages/system-prompt" },
|
|
{ "path": "./packages/agent" },
|
|
{ "path": "./packages/tools" },
|
|
{ "path": "./packages/agent-loop" },
|
|
{ "path": "./packages/bash" },
|
|
{ "path": "./packages/llm-deepseek" },
|
|
{ "path": "./packages/llm-pi-ai" },
|
|
{ "path": "./packages/bash-local" },
|
|
{ "path": "./packages/tool-bash" },
|
|
{ "path": "./packages/invariants" }
|
|
]
|
|
}
|