agentlisp 2.0.0__py3-none-any.whl

agentlisp-2.0.0.dist-info/METADATA

@@ -0,0 +1,482 @@
+Metadata-Version: 2.5
+Name: agentlisp
+Version: 2.0.0
+Summary: AgentLisp v2 - Racket-based Agent DSL compiler + Python ReAct Harness runtime + Cloud-native host glue
+Project-URL: Homepage, https://github.com/4TWS3/agentLisp
+Project-URL: Repository, https://github.com/4TWS3/agentLisp
+Project-URL: Bug Tracker, https://github.com/4TWS3/agentLisp/issues
+Project-URL: Documentation, https://github.com/4TWS3/agentLisp#readme
+Project-URL: Release Notes, https://github.com/4TWS3/agentLisp/releases
+Project-URL: SRS, https://github.com/4TWS3/agentLisp/blob/main/docs/spec/agentlisp_srs.md
+Author: AgentLisp Contributors
+Maintainer: 4TWS3 Organization
+License: MIT
+Keywords: agent,code-agent,dsl,harness,lisp,llm,prompt-engineering,racket,react-loop,scoped-worker
+Classifier: Development Status :: 4 - Beta
+Classifier: Intended Audience :: Developers
+Classifier: Intended Audience :: Science/Research
+Classifier: License :: OSI Approved :: MIT License
+Classifier: Natural Language :: English
+Classifier: Operating System :: OS Independent
+Classifier: Programming Language :: Python :: 3 :: Only
+Classifier: Programming Language :: Python :: 3.12
+Classifier: Topic :: Scientific/Engineering :: Artificial Intelligence
+Classifier: Topic :: Software Development :: Code Generators
+Classifier: Topic :: Software Development :: Compilers
+Classifier: Topic :: Software Development :: Quality Assurance
+Classifier: Topic :: System :: Distributed Computing
+Classifier: Typing :: Typed
+Requires-Python: >=3.12
+Requires-Dist: jsonschema>=4.21.0
+Requires-Dist: pydantic>=2.6.0
+Requires-Dist: pyyaml>=6.0.1
+Requires-Dist: rich>=13.7.0
+Requires-Dist: structlog>=24.1.0
+Requires-Dist: typer>=0.9.0
+Provides-Extra: all
+Requires-Dist: anthropic>=0.34.0; extra == 'all'
+Requires-Dist: docker>=7.0.0; extra == 'all'
+Requires-Dist: fastapi>=0.110.0; extra == 'all'
+Requires-Dist: httpx>=0.27.0; extra == 'all'
+Requires-Dist: mcp>=1.0.0; extra == 'all'
+Requires-Dist: mypy>=1.8.0; extra == 'all'
+Requires-Dist: openai>=1.30.0; extra == 'all'
+Requires-Dist: opentelemetry-api>=1.24.0; extra == 'all'
+Requires-Dist: opentelemetry-exporter-otlp-proto-grpc>=1.24.0; extra == 'all'
+Requires-Dist: opentelemetry-sdk>=1.24.0; extra == 'all'
+Requires-Dist: pytest-asyncio>=0.23.0; extra == 'all'
+Requires-Dist: pytest-cov>=4.1.0; extra == 'all'
+Requires-Dist: pytest>=8.0.0; extra == 'all'
+Requires-Dist: redis>=5.0.0; extra == 'all'
+Requires-Dist: ruff>=0.3.0; extra == 'all'
+Requires-Dist: sse-starlette>=1.8.0; extra == 'all'
+Requires-Dist: temporalio>=1.7.0; extra == 'all'
+Requires-Dist: tox>=4.13.0; extra == 'all'
+Requires-Dist: uvicorn[standard]>=0.27.0; extra == 'all'
+Provides-Extra: dev
+Requires-Dist: httpx>=0.27.0; extra == 'dev'
+Requires-Dist: mypy>=1.8.0; extra == 'dev'
+Requires-Dist: pytest-asyncio>=0.23.0; extra == 'dev'
+Requires-Dist: pytest-cov>=4.1.0; extra == 'dev'
+Requires-Dist: pytest>=8.0.0; extra == 'dev'
+Requires-Dist: ruff>=0.3.0; extra == 'dev'
+Requires-Dist: tox>=4.13.0; extra == 'dev'
+Provides-Extra: durable
+Requires-Dist: redis>=5.0.0; extra == 'durable'
+Requires-Dist: temporalio>=1.7.0; extra == 'durable'
+Provides-Extra: legacy
+Provides-Extra: llm
+Requires-Dist: anthropic>=0.34.0; extra == 'llm'
+Requires-Dist: openai>=1.30.0; extra == 'llm'
+Provides-Extra: mcp
+Requires-Dist: mcp>=1.0.0; extra == 'mcp'
+Provides-Extra: observability
+Requires-Dist: opentelemetry-api>=1.24.0; extra == 'observability'
+Requires-Dist: opentelemetry-exporter-otlp-proto-grpc>=1.24.0; extra == 'observability'
+Requires-Dist: opentelemetry-sdk>=1.24.0; extra == 'observability'
+Provides-Extra: sandbox
+Requires-Dist: docker>=7.0.0; extra == 'sandbox'
+Provides-Extra: web
+Requires-Dist: fastapi>=0.110.0; extra == 'web'
+Requires-Dist: sse-starlette>=1.8.0; extra == 'web'
+Requires-Dist: uvicorn[standard]>=0.27.0; extra == 'web'
+Description-Content-Type: text/markdown
+
+# AgentLisp v2
+
+> ## 🎯 v2.0.0-rc2 GA 已正式发布（2026-10-06 · CR-36）
+>
+> **SRS 34/34 100% 完全实现**（严格遵循 ISO/IEC/IEEE 29148 §8.3 验证完备性）
+>
+> [![Release](https://img.shields.io/badge/Release-v2.0.0--rc2-success?logo=github)](https://github.com/4TWS3/agentLisp/releases/tag/v2.0.0-rc2)
+> [![CI 5/5 GREEN](https://img.shields.io/badge/CI-5%2F5%20GREEN-brightgreen?logo=githubactions&logoColor=white)](https://github.com/4TWS3/agentLisp/actions/runs/37411327310)
+> [![Docker 4 tags](https://img.shields.io/badge/Docker-4%20tags-blue?logo=docker)](https://github.com/orgs/4TWS3/packages/container/package/agentlisp)
+> [![PyPI](https://img.shields.io/pypi/v/agentlisp?label=PyPI&logo=pypi&logoColor=ffd242)](https://pypi.org/project/agentlisp)
+> [![PyPI - Python Version](https://img.shields.io/pypi/pyversions/agentlisp?logo=python&logoColor=ffd242)](https://pypi.org/project/agentlisp#files)
+> [![PyPI - Downloads](https://img.shields.io/pypi/dm/agentlisp?logo=pypi&logoColor=ffd242&color=0ea5e9)](https://pypistats.org/packages/agentlisp)
+> [![pytest 128/3/1](https://img.shields.io/badge/pytest-128%20passed%2F3%20skipped%2F1%20warning-46a2f1?logo=pytest)](https://github.com/4TWS3/agentLisp/actions/runs/37411327310)
+> [![SRS 100%](https://img.shields.io/badge/SRS-34%2F34%20100%25-8A2BE2)](file:///Users/lee/products/agentLisp/docs/spec/agentlisp_srs.md)
+> [![τ²-bench v1.0](https://img.shields.io/badge/%CF%84%C2%B2--bench%20v1.0-ac3_pass%3Dtrue-0ea5e9?logo=github)](https://github.com/4TWS3/t2-bench/releases/tag/%CF%84%C2%B2-bench-v1.0)
+>
+> **AC-3 三条件全等 AND 真 evaluator（n=1000）**：fix_rate=1.00 / mcnemar_χ²=267.0037 / rubric_mean=0.90 → **ac3_pass=True**
+>
+> **快速开始（3 行）**：
+> ```bash
+> gh release download v2.0.0-rc2 -R 4TWS3/agentLisp -p "agentlisp-v2.0.0-rc2-macos-arm64" -D /usr/local/bin && mv /usr/local/bin/agentlisp-v2.0.0-rc2-macos-arm64 /usr/local/bin/agentlisp && chmod +x /usr/local/bin/agentlisp
+> docker pull ghcr.io/4tws3/agentlisp:v2.0.0-rc2
+> agentlisp --version
+> ```
+
+基于 **Racket (Scheme)** 的 Agent DSL 编译器前端 + **Python 3.12+ / uv** ReAct Harness 运行引擎 + **云原生胶水层**（FastAPI/SSE、Temporal 长流程、Docker/E2B 沙箱、Redis Checkpoint、Jaeger OTel）。
+
+> 版本：`v2.0.0-rc2 GA` · 兼容保留旧 `scheme/` 与 `python/`（v0.1）目录；`pytest runtime/tests python/tests` 双套同绿；制度化四硬指标：ruff check All passed / ruff format 82 files / pytest 128 passed / IDE 0 diagnostics。
+
+---
+
+## 零、核心公式
+
+```
+Agent = Model + Harness
+```
+- **Compiler 前端**（Racket 8.12+）：DSL `.al` 静态校验 → emit 可运行 Python 子类
+- **Harness 运行时**（Python 3.12+）：ReAct Constrain/Verify/Correct 一等控制流三层管道
+- **KV Cache 静态前缀强对齐**：语法强制静态块在动态块之前（ERR_KV_ALIGNMENT_VIOLATION）
+- **Scoped Worker 词法作用域**：跨 Agent 工具命名冲突 ERR_CONTEXT_LEAKAGE；轨迹原地 GC（物理切片截断）
+- **三层 Markdown 记忆**（L0 原子 / L1 概念 / L2 规则）：MemoryFS 渐进式加载到 [Memory] 段 system prompt
+
+---
+
+## 一、架构视图（正交 4 视角）
+
+### 图 1 · 四层分层同心圆（Clean Architecture）
+
+```mermaid
+flowchart TB
+    subgraph F["④ Frameworks & Drivers（最外层 · 纯技术细节）"]
+        direction LR
+        F1["Racket 8.12 编译器"]
+        F2["uv + hatchling 包管理"]
+        F3["PyInstaller 单文件打包"]
+        F4["Docker 多阶段镜像"]
+        F5["requests LLM HTTP 客户端"]
+        F6["argparse CLI 解析"]
+    end
+    subgraph IA["③ Interface Adapters（适配层 · 纯翻译无决策）"]
+        direction LR
+        IA1["CLI 参数 → Use Case Input"]
+        IA2["Checker 双端报告 → Exit Code + Stdout"]
+        IA3["Racket ↔ Python 子进程 IPC 翻译"]
+        IA4["Checkpoint 抽象 → MemoryStore / Redis"]
+    end
+    subgraph UC["② Application Use Cases（用例层 · 应用特有规则）"]
+        direction LR
+        UC1["Compiler: Parse → Typecheck → Codegen"]
+        UC2["Runtime: Load Spec → Evaluate → Fix"]
+        UC3["Evaluator: Fetch → Run → Rubric → Statistics"]
+        UC4["Releaser: Build → SHA256 → gh Release"]
+    end
+    subgraph E["① Entities（最内层 · 企业级核心不变性）"]
+        direction LR
+        E1["DCAF L0-L4 五层认知依赖"]
+        E2["Agent = Model + Harness 公式"]
+        E3["AST Node 代数数据类型"]
+        E4["Runtime Identity 规范"]
+        E5["Constrain → Verify → Correct 三层管道语义"]
+    end
+
+    F -->|依赖向内层定义的接口| IA
+    IA -->|依赖向内层定义的接口| UC
+    UC -->|依赖向内层定义的接口| E
+
+    style E fill:#fef3c7,stroke:#d97706,color:#1f2937
+    style UC fill:#dbeafe,stroke:#2563eb,color:#1f2937
+    style IA fill:#d1fae5,stroke:#059669,color:#1f2937
+    style F fill:#fee2e2,stroke:#dc2626,color:#1f2937
+```
+
+> 核心约束：所有箭头方向严格**向心**（Source → Inner Interface），内层绝不 import 外层。  
+> 来源：Wiki [[architecture/layered-architecture.md](file:///Users/lee/workspace-docs/knowledge/architecture/layered-architecture.md)] + [[architecture/dependency-rule.md](file:///Users/lee/workspace-docs/knowledge/architecture/dependency-rule.md)]
+
+---
+
+### 图 2 · Agent = Model + Harness 数据流管道（含 KV Cache 强对齐阻塞点）
+
+```mermaid
+flowchart LR
+    IN["*.al DSL 输入"] --> PARSE["Compiler Parse\n(S-表达式 → AST)"]
+    PARSE --> C0[❓ KV Cache 静态前缀排序]
+    C0 -->|静态块在动态块之前| C1["Constrain 静态校验\nchecker.rkt + checker.py 双端"]
+    C0 -->|顺序违规 ERR_KV_ALIGNMENT_VIOLATION| BLOCK1["🛑 阻塞退出码=2\n(parse fail)"]
+
+    C1 -->|校验通过| MODEL["Model 调用\nHarness.Constrain Prompt 前缀"]
+    MODEL --> V[Verify 环节]
+    V -->|Rubric ≥ 阈值?| NOPE["Correct 修复循环\n最多 max_turns=30 轮"]
+    NOPE --> MODEL
+    V -->|所有规则命中✅| OUT["Runtime Spec + Exit Code=0"]
+
+    style C0 fill:#fde68a,stroke:#d97706,color:#1f2937
+    style BLOCK1 fill:#fecaca,stroke:#dc2626,color:#1f2937
+    style OUT fill:#bbf7d0,stroke:#16a34a,color:#1f2937
+```
+
+> 两个**不可跳过阻塞点**：① KV Cache 静态前缀排序在编译器 Parse 之后立即执行（违反直接退出，不进入后续）；② Constrain → Verify → Correct 三层管道强制串行（跳过任何一层在 SRS §3.2 定义为违规）。  
+> 来源：Wiki [[architecture/boundaries.md](file:///Users/lee/workspace-docs/knowledge/architecture/boundaries.md)] §穿越边界的方式（接口 + 实现 / DIP 模式）
+
+---
+
+### 图 3 · Plugins Pattern（一切细节都是插件，核心公式不变）
+
+```mermaid
+flowchart TD
+    subgraph Core["内核（纯公式 · 零外部依赖）"]
+        direction TB
+        K1["Agent = Model + Harness"]
+        K2["DCAF L0-L4 依赖层级定义"]
+        K3["Constrain → Verify → Correct 管道语义"]
+        K4["ReAct Turn 代数结构"]
+    end
+
+    P1["🔌 Racket Compiler Plugin\n(可替换为 OCaml/Scala)"]
+    P2["🔌 Python Runtime Plugin\n(可替换为 Go/Rust)"]
+    P3["🔌 Checker Plugin（双端同步）\n(可替换为 Coq/Isabelle 形式化验证)"]
+    P4["🔌 LLM Driver Plugin\nDeepSeek / OpenAI / Anthropic / MockLLM"]
+    P5["🔌 Entry Plugin\nCLI 单文件 / Docker 镜像 / FastAPI Gateway / Temporal Workflow"]
+    P6["🔌 Sandbox Plugin\nNullSandbox / Docker / E2B"]
+
+    P1 -->|实现内核接口| Core
+    P2 -->|实现内核接口| Core
+    P3 -->|实现内核接口| Core
+    P4 -->|实现内核接口| Core
+    P5 -->|实现内核接口| Core
+    P6 -->|实现内核接口| Core
+
+    style Core fill:#fef3c7,stroke:#d97706,color:#1f2937,stroke-width:3px
+```
+
+> 内核说不出任何插件的具体细节（不知道 Racket/Python 语法、不知道 LLM 是哪家）。插件替换 = 内核完全不变。  
+> 来源：Wiki [[architecture/plugins-pattern.md](file:///Users/lee/workspace-docs/knowledge/architecture/plugins-pattern.md)] §Database 是一个细节 / Web 是一个细节
+
+---
+
+### 图 4 · 横排组件视图（原 ASCII 保留）
+
+```
+ ┌──────────────────────────────────────────────────────────────────────┐
+ │   ① Compiler 编译器前端        Racket 8.12                          │
+ │   compiler/{main,parser,checker,emitter}.rkt  +  tests/              │
+ │     输入：examples/*.al       (define-agent / define-tool /          │
+ │                                     define-harness / define-workflow) │
+ │     静态断言：KV 对齐 · Harness 门控 · Scope（step-id 去重/next 引用）│
+ │     输出：examples/dist/*.py   → 继承 BaseHarness 的可运行子类       │
+ ├──────────────────────────────────────────────────────────────────────┤
+ │   ② Runtime 运行引擎          Python 3.12 · pydantic · asyncio       │
+ │   runtime/{base_harness, llm_client, mcp_client, checkpoint,        │
+ │            memory_fs, status_bar, errors}.py  +  tests/              │
+ │     BaseHarness._react_loop(max_turns=30) → Thought/Action/Obs/Answer │
+ │     Checkpoint 抽象：MemoryStore（默认）· Redis（durable 组）        │
+ │     LLM        抽象：MockLLM（默认）· OpenAI/Anthropic（llm 组）     │
+ │     StatusBar  尾部 Hook：Printing · Logging · Composite             │
+ ├──────────────────────────────────────────────────────────────────────┤
+ │   ③ Host 胶水层（云原生可插拔）                                       │
+ │   host/{gateway, workflow, sandbox}.py                               │
+ │     gateway   → FastAPI HTTP/SSE（/health · /v1/agents/{n}/run）      │
+ │     workflow  → DirectRunner（默认）· TemporalRunner（durable 组）   │
+ │     sandbox   → NullSandbox（默认）· DockerSandbox（sandbox 组）     │
+ └──────────────────────────────────────────────────────────────────────┘
+```
+
+---
+
+## 二、目录结构（Monorepo / 多语言）
+
+```text
+agentLisp/
+├── pyproject.toml                  # 顶层：uv + hatchling + 可选依赖组
+│
+├── compiler/                       # ① Racket 编译器模块
+│   ├── info.rkt
+│   ├── main.rkt                    # CLI: racket compiler/main.rkt -i x.al -o y.py [--check-only]
+│   ├── parser.rkt                  # S-表达式 → AST（agent/tool/harness/workflow/step/atomic）
+│   ├── checker.rkt                 # 三大静态断言 + 断言注册表 + report-checks
+│   ├── emitter.rkt                 # Python 模板字符串 emit（含 bracket 平衡）
+│   └── tests/test-core.rkt         # RackUnit
+│
+├── runtime/                        # ② Python Harness 基础库
+│   ├── __init__.py
+│   ├── errors.py                   # AgentLispError / FeatureNotInstalledError …
+│   ├── base_harness.py             # BaseHarness · ReActTurn · ExecutionTrace
+│   ├── llm_client.py               # protocol + Mock/OpenAI/Anthropic
+│   ├── mcp_client.py               # ToolRegistry + 可选 MCP Bridge
+│   ├── checkpoint.py               # Memory + Redis（durable 组）
+│   ├── memory_fs.py                # L0 原子 / L1 概念 / L2 规则 三层 Markdown FS
+│   ├── status_bar.py               # Printing / Logging / Composite 尾部 Hook
+│   └── tests/test_v2_smoke.py      # 9 项冒烟 + 回退 6 项 v0.1
+│
+├── host/                           # ③ 宿主胶水层
+│   ├── gateway.py                  # FastAPI + SSE（lazy import web 组）
+│   ├── workflow.py                 # DirectRunner + TemporalRunner（AGENTLISP_RUNNER=direct/temporal）
+│   └── sandbox.py                  # NullSandbox + DockerSandbox
+│
+├── examples/
+│   ├── repair_agent.al             # AgentLisp v2 源码（.al）
+│   └── dist/
+│       └── repair_agent.py         # 编译器参考产物（已手动验证 ast.parse 与 import）
+│
+├── infra/
+│   └── docker-compose.infra.yml    # Redis 7 · Temporal 1.24 auto-setup · Jaeger all-in-one
+│
+├── docker/
+│   ├── Dockerfile                  # 生产镜像（多阶段：Racket min + Python 3.12 slim + uv）
+│   ├── Dockerfile.dev              # 开发镜像（Racket 全量 + build-essential）
+│   ├── docker-compose.yml          # ① include infra 编排；② 服务：app/dev/test/example/gateway
+│   └── entrypoint.sh
+│
+├── .github/workflows/
+│   ├── ci.yml                      # scheme-tests + compiler-tests + python-quality + python-tests(Win x64) + docker-build
+│   └── release.yml
+│
+├── config/
+│   ├── .env.example
+│   └── agent.example.yaml
+│
+├── scheme/ · python/               # ← v0.1 兼容层（保留不删）
+└── README.md
+```
+
+---
+
+## 三、本地快速开始
+
+### 3.1 准备依赖
+- **Python >= 3.12**
+- **uv**（`curl -LsSf https://astral.sh/uv/install.sh | sh`）
+- **Racket >= 8.10**（推荐 minimal）
+- **Docker Desktop / OrbStack**（跑 Temporal / Redis / Jaeger）
+
+### 3.2 六步开发工作流（按建议）
+
+```bash
+# 1️⃣ 启动本地基础设施（Redis · Temporal · Jaeger）
+cd infra && docker compose up -d
+#   - Temporal Web UI: http://localhost:8080
+#   - Jaeger Web UI:   http://localhost:16686
+#   - Redis:           localhost:6379
+#   - OTLP gRPC:       localhost:4317
+
+# 2️⃣ (可选) 或者一键把 app/dev/infra 全拉起来
+cd docker && docker compose --profile dev --profile gateway up -d
+
+# 3️⃣ 写 DSL 源码
+cat examples/repair_agent.al
+
+# 4️⃣ Racket 编译（静态校验 + 代码生成）
+racket compiler/main.rkt \
+       -i  examples/repair_agent.al \
+       -o  examples/dist/repair_agent.py
+#  或仅跑静态检查：
+racket compiler/main.rkt --check-only -i examples/repair_agent.al
+
+# 5️⃣ Python 加载并运行（DirectRunner，零外部依赖）
+uv sync --dev
+uv run python -c "
+from examples.dist.repair_agent import DocumentRepairerHarness
+from runtime.llm_client import MockLLMClient
+import asyncio
+h = DocumentRepairerHarness(llm_client=MockLLMClient([]))
+trace = asyncio.run(h.run_async({'file': '/tmp/doc.md'}))
+print(trace.status, trace.final_answer[:80], 'turns=', len(trace.turns))
+"
+
+# 6️⃣ 启动 HTTP/SSE 网关
+uv pip install -e '.[web]'
+uv run python -c "
+from host.gateway import Gateway, serve
+from examples.dist.repair_agent import DocumentRepairerHarness
+gw = Gateway()
+gw.register('document-repairer', DocumentRepairerHarness())
+serve(gw, host='127.0.0.1', port=8000)
+" &
+curl -s http://localhost:8000/health
+curl -s -X POST http://localhost:8000/v1/agents/document-repairer/run \
+     -H 'Content-Type: application/json' \
+     -d '{"inputs":{"x":1}}' | python -m json.tool
+```
+
+---
+
+## 四、端口清单（与对齐建议完全一致）
+
+| 服务 | 端口 | 说明 |
+|---|---|---|
+| **Redis** | `6379` | Checkpoint Store（`AGENTLISP_REDIS_URL`） |
+| **Temporal** | `7233` gRPC | 长流程 / 人在回路挂起 |
+| **Temporal UI** | `8080` | http://localhost:8080 |
+| **Jaeger UI** | `16686` | http://localhost:16686 |
+| **Jaeger OTLP** | `4317` | OTLP gRPC 接收端口 |
+| **Gateway**  | `8000` | FastAPI / SSE（默认 host） |
+
+---
+
+## 五、证据链（ExecutionTrace 字段说明）
+
+DCAF / THS 三维（稳定性/重复性/迁移性）判定的原始素材：
+
+```python
+trace: ExecutionTrace
+├── run_id: str                 # UUID，唯一可追溯
+├── agent_name: str
+├── status: str                 # pending/success/failed
+├── started_at / finished_at (→ duration_ms)
+├── error: Optional[str]
+├── turns: list[dict]           # 每个 ReActTurn 落盘
+│   ├── index / thought / action / action_input
+│   ├── observation / answer
+│   └── duration_ms             # 回合级独立计时（可独立审计）
+└── final_answer: str
+```
+
+`BaseHarness.run_async` 内部会在每个回合调用一次 `checkpoint.save(run_id, …)`，可配合 `AGENTLISP_RUNNER=temporal + RedisCheckpointStore` 完成断点续跑与长流程挂起。
+
+---
+
+## 六、可选依赖分组（pyproject.toml）
+
+| group | 安装命令 | 启用的能力 |
+|---|---|---|
+| （核心） | `uv sync` | BaseHarness · MockLLM · MemoryCheckpoint · DirectRunner · NullSandbox |
+| `llm` | `uv pip install -e '.[llm]'` | `OpenAIClient / AnthropicClient` |
+| `mcp` | `uv pip install -e '.[mcp]'` | `MCPToolBridge`（mcp SDK） |
+| `web` | `uv pip install -e '.[web]'` | `host.gateway.Gateway.app` · uvicorn launcher |
+| `durable` | `uv pip install -e '.[durable]'` | `TemporalRunner + RedisCheckpointStore` |
+| `observability` | `uv pip install -e '.[observability]'` | OTel API/SDK/OTLP exporter |
+| `sandbox` | `uv pip install -e '.[sandbox]'` | `DockerSandbox` |
+| `dev` | `uv sync --dev` | pytest + ruff + mypy + httpx |
+| `all` | `uv pip install -e '.[all]'` | 全部可选依赖 |
+
+未装依赖即调用相关能力时会抛 `FeatureNotInstalledError`，异常消息自带 `uv pip install 'agentlisp[xxx]'` 安装指令（已在 `runtime/tests/test_v2_smoke.py` 断言）。
+
+---
+
+## 七、向后兼容（v0.1 ↔ v2）
+
+旧路径 `scheme/` 与 `python/` 保持不变；`BaseHarness.run_async` 当传入 `workflow=` 时会走旧 `agentlisp_runtime.engine.AgentEngine`（见 `runtime.base_harness.BaseHarness._legacy_engine`），将每个旧 Engine step 映射成一条 ReActTurn，确保证据链统一落到 `ExecutionTrace.turns` 结构。
+
+```bash
+# 验证原 v0.1 端到端（冒烟命令回退）
+cd python && python - <<'PY'
+… 原断言命令，仍打印 ALL CHECKS PASSED
+PY
+```
+
+---
+
+## 八、CI / CD（GitHub Actions）
+
+- `ci.yml`
+  - `scheme-tests`   ：`raco test scheme/tests/` + `raco make` 示例
+  - `compiler-tests` ：`raco test compiler/tests/` + `racket compiler/main.rkt` 编译 `repair_agent.al` → python `ast.parse`
+  - `python-quality` ：`ruff check/format` runtime/host/python；`mypy runtime || true`
+  - `python-tests`   ：`pytest runtime/tests python/tests` on **ubuntu-latest + windows-latest**（Windows x64 强制）
+  - `docker-build`   ：BuildKit 构建 `agentlisp:ci-test` + `--help` + 生成产物 `__main__`
+- `release.yml`（已存在未改）：打 tag → Win x64 PyInstaller、Linux/macOS wheel、GHCR 镜像发布。
+
+---
+
+## 九、可扩展点（下一步优先顺序）
+
+1. `compiler/emitter.rkt`：把 action 中 `(atomic name target method . params)` 的命名参数 KV 化，支持 `key: val` 展开 → `action_input` dict。
+2. `runtime/base_harness.py`：接入 DCAF 五阶段 L0~L4 专用 Hook，L0 atomic 执行失败时记录 step-level evidence。
+3. `host/workflow.py`：补全 Temporal Workflow/Activity 双方法 + Worker 启动脚本，对接 DirectRunner submit 接口。
+4. `host/sandbox.py`：新增 E2BSandbox 实现（政务文档校验长任务沙箱隔离）。
+5. `runtime/checkpoint.py`：THS ATU 四元组对齐的 capability 元数据与 checkpoint 版本号。
+
+---
+
+## 十、FAQ / 已知坑
+
+| 症状 | 处理 |
+|---|---|
+| Temporal 拉取镜像 600MB+ 启动慢 | `export AGENTLISP_RUNNER=direct`，使用 `DirectRunner` 跳过 |
+| Docker Compose v1 不识别 `include:` | `docker compose -f infra/docker-compose.infra.yml -f docker/docker-compose.yml ...` 手工合并 |
+| `host.gateway.Gateway().app` 抛 `FeatureNotInstalledError` | `uv pip install -e '.[web]'` |
+| Racket 里 parser 对 `#hash((a . b))` 兼容问题 | `racket --version` 必须 ≥ 8.10；CI 使用 setup-racket v1.11 |

agentlisp-2.0.0.dist-info/RECORD

@@ -0,0 +1,36 @@
+host/__init__.py,sha256=zx6Crp_QDbKTccz4nDhaokksKEDk2glj8ofAlZlodF0,99
+host/gateway.py,sha256=pdha7XUGhPH4peLz88L6yvS7P5tsZPznwLVR-rMSbhA,4876
+host/gateway_sse.py,sha256=qEhLDv5-zE2lgB-cTb_rY2J9PkNyfFVHM-mLg0Ot7oI,29403
+host/sandbox.py,sha256=7u-VHG7aeOQzfHRN6gkImfbzTqH9_jjCymVBDBEKGM4,4455
+host/sandbox_e2b.py,sha256=76KVKOjMp7tMwtN3QuxDUiqQEnKvI0gNIwnSxGiUK4c,6489
+host/workflow.py,sha256=G50Mea7w6tkTGzxyPov1FiVQfatwKrs9rMOjLN58bc4,34286
+host/workflow_temporal.py,sha256=xJuIVXQ7bcZI41uRBTUh5TEYsKfpRs6rQU1Q18ccuy0,3856
+host/tests/test_infra_docker_e2e.py,sha256=6WA1JS6Wzv9MVQp_QehbaOGzjq0cinFi4C4_7o1rjLY,9556
+runtime/__init__.py,sha256=FdgvzMHkhicXaJxLqd0WniMsrNkIo8qyc6XGwU9t_jc,517
+runtime/base_agent_harness.py,sha256=m0TSBSY2ArtJZNmI1cADHawuInhxnJQ2TMmSO3tkRvY,7075
+runtime/base_harness.py,sha256=6q5J-ptQw5DIsTRvI5FY4aKN4KIRYJwlMNFYVNZaMfA,13756
+runtime/base_harness_v2.py,sha256=VvdzObS1XkGdKkZzpoXNJD6fQgvix2P2mU6UIWpFqSM,63715
+runtime/checker.py,sha256=xknABRu-_KWOlHx7rAtQjaOmYqCnFvTmzlDet4kSaNM,26366
+runtime/checkpoint.py,sha256=pTr9b7sEnoEHVf0RXe7BR-SdufW0RQiyuP9l9IkN3fY,3949
+runtime/errors.py,sha256=UTZ52_GisrJGSAdGmvv8XzTgLOwifG6EfMRlR6mret4,983
+runtime/llm_client.py,sha256=lxR6K7ITBHcMaDKTNCYVI1LmiWhAoFri1AEFhPdutWs,25394
+runtime/mcp_client.py,sha256=gkpoG8nLC6ZJaVdAPlGjUjr5X9EgtOI3rgxaSZMGPW4,2949
+runtime/memory_fs.py,sha256=HDlUcVFEzT9D2FQ-MVQKpdWcTEnp9eFg-auuZ0Nt3ik,3179
+runtime/otel_tracer.py,sha256=VRgGDt1vxblvWtU-echaQxRI8A6VZkSA5vp3yonK9vY,4097
+runtime/status_bar.py,sha256=e6FbV22MJNrBwKGCqe1ONgXLuUnNTORTewhgvCgxLDk,3050
+runtime/tests/test_ac1_rackunit_18cases_roundtrip.py,sha256=3pxDx84GndjXA-JPq99ZAN84LBjQv5Fipoyp28E8JZU,7601
+runtime/tests/test_cli_if_cli_1_exit_encoding.py,sha256=6L30pz4AQggLF9mu6JERtJ5qn2CYY7VOzIQ-56r35_I,11212
+runtime/tests/test_harness_v2.py,sha256=Mzre9cQ2ymfclc86IgzU3b4rC7uYEpmPomhaKNmW4bg,93686
+runtime/tests/test_sideeffect_builtin_tools_racket_and_python_ssot_8_items_bitwise_equal.py,sha256=BEZAZHg05ZkgJeu3MPcN7RgvJE9bgZ07iTk8NubanDQ,4775
+runtime/tests/test_srs_acceptance.py,sha256=zaKjG0GtOaVTwztKSGOkjo2m6nfWkPysaFtfXyMnqTM,59606
+runtime/tests/test_t2_bench_dataset.py,sha256=0gBwNzT60IpBts16CCA7y9QXFM1vd9_BsOR3YGCSEUE,3441
+runtime/tests/test_v2_smoke.py,sha256=pZQAMtQIKEEEAVa01gRsaCN-y1V6VKS9Ghd5YyNhzKM,4186
+agentlisp_runtime/__init__.py,sha256=9PKf99wlgICSO_KX9uz4o0Ktgl-g4YbuGAWY222hemA,526
+agentlisp_runtime/cli.py,sha256=v3GdESdxwitQ7aowg8dUGqUoF0rUXQTYRkSmZszXu_w,4633
+agentlisp_runtime/engine.py,sha256=8MyOUd9T8DA6od2Q2TA7UuCFj5p4VOYzTKqtkMbiIGQ,8292
+agentlisp_runtime/loader.py,sha256=kKQVivMqj0IN4eLFVOy_0AnuH19mRbB3vcW8P8LJFs8,3831
+agentlisp_runtime/models.py,sha256=4WT59juYH4JA7uShSymAmu-sSD1fAgzldMq9f89C7G0,3433
+agentlisp-2.0.0.dist-info/METADATA,sha256=yXJLp9BTgRKzlaX8wbUWHQ_WoU23Sfo9XNKe5Hb3xGE,24165
+agentlisp-2.0.0.dist-info/WHEEL,sha256=W3fkpkm7-wf9vBI5Z-7s0eWkeM-spu78I8Neb98DeEg,87
+agentlisp-2.0.0.dist-info/entry_points.txt,sha256=cAeu8SXaQqlDreUm-SIomY4gkCRPg3oxwn0uVMikvYE,85
+agentlisp-2.0.0.dist-info/RECORD,,

agentlisp-2.0.0.dist-info/WHEEL

@@ -0,0 +1,4 @@
+Wheel-Version: 1.0
+Generator: hatchling 1.32.4
+Root-Is-Purelib: true
+Tag: py3-none-any

agentlisp-2.0.0.dist-info/entry_points.txt

@@ -0,0 +1,3 @@
+[console_scripts]
+agentlisp = agentlisp_runtime.cli:app
+agentlisp2 = runtime.cli:app

agentlisp_runtime/__init__.py

@@ -0,0 +1,29 @@
+"""Agent Lisp Runtime - Python execution engine for Scheme-defined Agent DSL."""
+
+from __future__ import annotations
+
+from .engine import AgentEngine
+from .loader import AgentLoader
+from .models import (
+    Agent,
+    AtomicAction,
+    ExecutionContext,
+    ExecutionResult,
+    Step,
+    Tool,
+    Workflow,
+)
+
+__version__ = "0.1.0"
+__all__ = [
+    "Agent",
+    "AgentEngine",
+    "AgentLoader",
+    "AtomicAction",
+    "ExecutionContext",
+    "ExecutionResult",
+    "Step",
+    "Tool",
+    "Workflow",
+    "__version__",
+]