@team-agent/installer 0.2.11 → 0.3.1
This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.
- package/Cargo.lock +744 -0
- package/Cargo.toml +34 -0
- package/crates/team-agent/Cargo.toml +33 -0
- package/crates/team-agent/src/cli/adapters.rs +1343 -0
- package/crates/team-agent/src/cli/diagnose.rs +554 -0
- package/crates/team-agent/src/cli/emit.rs +1204 -0
- package/crates/team-agent/src/cli/helpers.rs +88 -0
- package/crates/team-agent/src/cli/leader.rs +216 -0
- package/crates/team-agent/src/cli/mod.rs +1207 -0
- package/crates/team-agent/src/cli/profile.rs +306 -0
- package/crates/team-agent/src/cli/send.rs +215 -0
- package/crates/team-agent/src/cli/status.rs +179 -0
- package/crates/team-agent/src/cli/status_port.rs +502 -0
- package/crates/team-agent/src/cli/tests/base.rs +616 -0
- package/crates/team-agent/src/cli/tests/compile.rs +96 -0
- package/crates/team-agent/src/cli/tests/divergence.rs +509 -0
- package/crates/team-agent/src/cli/tests/lane_c.rs +333 -0
- package/crates/team-agent/src/cli/tests/leader_watch.rs +395 -0
- package/crates/team-agent/src/cli/tests/main_preserved.rs +675 -0
- package/crates/team-agent/src/cli/tests/missing_subcommands.rs +390 -0
- package/crates/team-agent/src/cli/tests/mod.rs +97 -0
- package/crates/team-agent/src/cli/tests/peer_allow.rs +137 -0
- package/crates/team-agent/src/cli/tests/repair_state_byte_lock.rs +302 -0
- package/crates/team-agent/src/cli/tests/run_delegation.rs +305 -0
- package/crates/team-agent/src/cli/tests/status_send.rs +385 -0
- package/crates/team-agent/src/cli/tests/verb_profile.rs +182 -0
- package/crates/team-agent/src/cli/tests/verb_settle.rs +236 -0
- package/crates/team-agent/src/cli/tests/verb_validate.rs +184 -0
- package/crates/team-agent/src/cli/types.rs +605 -0
- package/crates/team-agent/src/compiler/tests.rs +701 -0
- package/crates/team-agent/src/compiler.rs +489 -0
- package/crates/team-agent/src/coordinator/backoff.rs +153 -0
- package/crates/team-agent/src/coordinator/health.rs +557 -0
- package/crates/team-agent/src/coordinator/mod.rs +80 -0
- package/crates/team-agent/src/coordinator/orphan.rs +179 -0
- package/crates/team-agent/src/coordinator/tests/abnormal.rs +255 -0
- package/crates/team-agent/src/coordinator/tests/basics.rs +262 -0
- package/crates/team-agent/src/coordinator/tests/daemon.rs +323 -0
- package/crates/team-agent/src/coordinator/tests/health_sync.rs +263 -0
- package/crates/team-agent/src/coordinator/tests/main_preserved.rs +136 -0
- package/crates/team-agent/src/coordinator/tests/mod.rs +310 -0
- package/crates/team-agent/src/coordinator/tests/spine.rs +261 -0
- package/crates/team-agent/src/coordinator/tests/takeover.rs +227 -0
- package/crates/team-agent/src/coordinator/tests/tick_core.rs +256 -0
- package/crates/team-agent/src/coordinator/tests/watch.rs +167 -0
- package/crates/team-agent/src/coordinator/tick.rs +2032 -0
- package/crates/team-agent/src/coordinator/types.rs +584 -0
- package/crates/team-agent/src/db/migration.rs +716 -0
- package/crates/team-agent/src/db/mod.rs +23 -0
- package/crates/team-agent/src/db/schema.rs +378 -0
- package/crates/team-agent/src/event_log.rs +375 -0
- package/crates/team-agent/src/fake_worker.rs +253 -0
- package/crates/team-agent/src/leader/helpers.rs +190 -0
- package/crates/team-agent/src/leader/inject.rs +33 -0
- package/crates/team-agent/src/leader/lease.rs +1084 -0
- package/crates/team-agent/src/leader/mod.rs +99 -0
- package/crates/team-agent/src/leader/owner_bind.rs +292 -0
- package/crates/team-agent/src/leader/rediscover/tests.rs +526 -0
- package/crates/team-agent/src/leader/rediscover.rs +1101 -0
- package/crates/team-agent/src/leader/start.rs +273 -0
- package/crates/team-agent/src/leader/takeover.rs +235 -0
- package/crates/team-agent/src/leader/tests/basics.rs +183 -0
- package/crates/team-agent/src/leader/tests/byte_findings.rs +237 -0
- package/crates/team-agent/src/leader/tests/identity.rs +206 -0
- package/crates/team-agent/src/leader/tests/idle.rs +272 -0
- package/crates/team-agent/src/leader/tests/lease_api.rs +225 -0
- package/crates/team-agent/src/leader/tests/lease_claim.rs +410 -0
- package/crates/team-agent/src/leader/tests/mod.rs +125 -0
- package/crates/team-agent/src/leader/tests/rediscover.rs +351 -0
- package/crates/team-agent/src/leader/tests/wake_start_owner.rs +204 -0
- package/crates/team-agent/src/leader/types.rs +489 -0
- package/crates/team-agent/src/lib.rs +85 -0
- package/crates/team-agent/src/lifecycle/display.rs +228 -0
- package/crates/team-agent/src/lifecycle/helpers.rs +112 -0
- package/crates/team-agent/src/lifecycle/launch/plan.rs +227 -0
- package/crates/team-agent/src/lifecycle/launch.rs +2109 -0
- package/crates/team-agent/src/lifecycle/mod.rs +62 -0
- package/crates/team-agent/src/lifecycle/restart/agent.rs +533 -0
- package/crates/team-agent/src/lifecycle/restart/common.rs +517 -0
- package/crates/team-agent/src/lifecycle/restart/orchestrator.rs +41 -0
- package/crates/team-agent/src/lifecycle/restart/rebuild.rs +268 -0
- package/crates/team-agent/src/lifecycle/restart/remove.rs +780 -0
- package/crates/team-agent/src/lifecycle/restart/selection.rs +208 -0
- package/crates/team-agent/src/lifecycle/restart/team_state.rs +242 -0
- package/crates/team-agent/src/lifecycle/restart.rs +76 -0
- package/crates/team-agent/src/lifecycle/tests/agent_ops.rs +455 -0
- package/crates/team-agent/src/lifecycle/tests/core.rs +989 -0
- package/crates/team-agent/src/lifecycle/tests/lane_ops.rs +583 -0
- package/crates/team-agent/src/lifecycle/tests/launch_spawn.rs +985 -0
- package/crates/team-agent/src/lifecycle/tests/main_preserved.rs +265 -0
- package/crates/team-agent/src/lifecycle/tests.rs +27 -0
- package/crates/team-agent/src/lifecycle/types.rs +710 -0
- package/crates/team-agent/src/main.rs +41 -0
- package/crates/team-agent/src/mcp_server/helpers.rs +228 -0
- package/crates/team-agent/src/mcp_server/mod.rs +183 -0
- package/crates/team-agent/src/mcp_server/normalize.rs +312 -0
- package/crates/team-agent/src/mcp_server/tests/golden.rs +283 -0
- package/crates/team-agent/src/mcp_server/tests/normalize.rs +244 -0
- package/crates/team-agent/src/mcp_server/tests/scoped.rs +189 -0
- package/crates/team-agent/src/mcp_server/tests/send.rs +222 -0
- package/crates/team-agent/src/mcp_server/tests/tools.rs +158 -0
- package/crates/team-agent/src/mcp_server/tests/wire.rs +187 -0
- package/crates/team-agent/src/mcp_server/tests.rs +38 -0
- package/crates/team-agent/src/mcp_server/tools.rs +603 -0
- package/crates/team-agent/src/mcp_server/types.rs +421 -0
- package/crates/team-agent/src/mcp_server/wire.rs +468 -0
- package/crates/team-agent/src/message_store.rs +767 -0
- package/crates/team-agent/src/messaging/activity.rs +433 -0
- package/crates/team-agent/src/messaging/delivery.rs +743 -0
- package/crates/team-agent/src/messaging/helpers.rs +209 -0
- package/crates/team-agent/src/messaging/leader_receiver.rs +329 -0
- package/crates/team-agent/src/messaging/mod.rs +147 -0
- package/crates/team-agent/src/messaging/peers.rs +32 -0
- package/crates/team-agent/src/messaging/results.rs +553 -0
- package/crates/team-agent/src/messaging/scheduler.rs +344 -0
- package/crates/team-agent/src/messaging/selftest.rs +100 -0
- package/crates/team-agent/src/messaging/send.rs +578 -0
- package/crates/team-agent/src/messaging/tests/basic.rs +357 -0
- package/crates/team-agent/src/messaging/tests/main_preserved.rs +122 -0
- package/crates/team-agent/src/messaging/tests/mod.rs +293 -0
- package/crates/team-agent/src/messaging/tests/runtime.rs +1422 -0
- package/crates/team-agent/src/messaging/tests/spine.rs +437 -0
- package/crates/team-agent/src/messaging/trust.rs +192 -0
- package/crates/team-agent/src/messaging/types.rs +355 -0
- package/crates/team-agent/src/messaging/watchers.rs +591 -0
- package/crates/team-agent/src/model/enums.rs +311 -0
- package/crates/team-agent/src/model/errors.rs +17 -0
- package/crates/team-agent/src/model/ids.rs +155 -0
- package/crates/team-agent/src/model/mod.rs +22 -0
- package/crates/team-agent/src/model/paths.rs +228 -0
- package/crates/team-agent/src/model/permissions.rs +567 -0
- package/crates/team-agent/src/model/routing.rs +340 -0
- package/crates/team-agent/src/model/spec.rs +680 -0
- package/crates/team-agent/src/model/task_graph.rs +380 -0
- package/crates/team-agent/src/model/testdata/fuzz.golden.yaml +43 -0
- package/crates/team-agent/src/model/testdata/fuzz.yaml +43 -0
- package/crates/team-agent/src/model/testdata/spec_invalid_a.yaml +207 -0
- package/crates/team-agent/src/model/testdata/team.spec.golden.yaml +206 -0
- package/crates/team-agent/src/model/testdata/team.spec.yaml +206 -0
- package/crates/team-agent/src/model/yaml/tests.rs +288 -0
- package/crates/team-agent/src/model/yaml.rs +800 -0
- package/crates/team-agent/src/packaging/install.rs +305 -0
- package/crates/team-agent/src/packaging/migrate.rs +30 -0
- package/crates/team-agent/src/packaging/mod.rs +82 -0
- package/crates/team-agent/src/packaging/repair.rs +24 -0
- package/crates/team-agent/src/packaging/tests.rs +829 -0
- package/crates/team-agent/src/packaging/types.rs +369 -0
- package/crates/team-agent/src/provider/adapter.rs +801 -0
- package/crates/team-agent/src/provider/approvals/mod.rs +2 -0
- package/crates/team-agent/src/provider/approvals/parsing.rs +452 -0
- package/crates/team-agent/src/provider/approvals/runtime_prompts.rs +163 -0
- package/crates/team-agent/src/provider/classify.rs +456 -0
- package/crates/team-agent/src/provider/faults.rs +136 -0
- package/crates/team-agent/src/provider/helpers.rs +41 -0
- package/crates/team-agent/src/provider/mod.rs +53 -0
- package/crates/team-agent/src/provider/startup_prompt.rs +423 -0
- package/crates/team-agent/src/provider/tests/adapter.rs +239 -0
- package/crates/team-agent/src/provider/tests/classify.rs +240 -0
- package/crates/team-agent/src/provider/tests/faults.rs +120 -0
- package/crates/team-agent/src/provider/tests/idle.rs +208 -0
- package/crates/team-agent/src/provider/tests/wire.rs +213 -0
- package/crates/team-agent/src/provider/tests.rs +31 -0
- package/crates/team-agent/src/provider/types.rs +424 -0
- package/crates/team-agent/src/state/identity.rs +659 -0
- package/crates/team-agent/src/state/mod.rs +58 -0
- package/crates/team-agent/src/state/owner_gate.rs +423 -0
- package/crates/team-agent/src/state/persist.rs +712 -0
- package/crates/team-agent/src/state/projection.rs +657 -0
- package/crates/team-agent/src/state/selector.rs +105 -0
- package/crates/team-agent/src/state/testdata/state-rich.canonical.json +133 -0
- package/crates/team-agent/src/tmux_backend/tests.rs +765 -0
- package/crates/team-agent/src/tmux_backend.rs +810 -0
- package/crates/team-agent/src/transport/test_support.rs +252 -0
- package/crates/team-agent/src/transport/tests/behavior.rs +327 -0
- package/crates/team-agent/src/transport/tests/mod.rs +199 -0
- package/crates/team-agent/src/transport/tests/wire.rs +527 -0
- package/crates/team-agent/src/transport.rs +774 -0
- package/npm/install.mjs +118 -112
- package/package.json +15 -13
- package/crates/team-agent-core/Cargo.toml +0 -12
- package/crates/team-agent-core/src/lib.rs +0 -332
- package/crates/team-agent-core/src/main.rs +0 -152
- package/pyproject.toml +0 -18
- package/scripts/install.py +0 -88
- package/scripts/run_regression_tests.py +0 -83
- package/src/team_agent/__init__.py +0 -3
- package/src/team_agent/__main__.py +0 -5
- package/src/team_agent/_legacy_pane_discovery.py +0 -186
- package/src/team_agent/abnormal_track.py +0 -253
- package/src/team_agent/approvals/__init__.py +0 -65
- package/src/team_agent/approvals/constants.py +0 -6
- package/src/team_agent/approvals/parsing.py +0 -176
- package/src/team_agent/approvals/runtime_prompts.py +0 -171
- package/src/team_agent/approvals/status.py +0 -176
- package/src/team_agent/cli/__init__.py +0 -137
- package/src/team_agent/cli/commands.py +0 -481
- package/src/team_agent/cli/e2e.py +0 -202
- package/src/team_agent/cli/helpers.py +0 -226
- package/src/team_agent/cli/parser.py +0 -540
- package/src/team_agent/compiler.py +0 -334
- package/src/team_agent/coordinator/__init__.py +0 -53
- package/src/team_agent/coordinator/__main__.py +0 -119
- package/src/team_agent/coordinator/lifecycle.py +0 -411
- package/src/team_agent/coordinator/metadata.py +0 -61
- package/src/team_agent/coordinator/paths.py +0 -17
- package/src/team_agent/diagnose/__init__.py +0 -48
- package/src/team_agent/diagnose/checks.py +0 -101
- package/src/team_agent/diagnose/comms.py +0 -213
- package/src/team_agent/diagnose/health.py +0 -241
- package/src/team_agent/diagnose/orphan_cleanup.py +0 -364
- package/src/team_agent/diagnose/preflight.py +0 -194
- package/src/team_agent/diagnose/quick_start.py +0 -324
- package/src/team_agent/display/__init__.py +0 -92
- package/src/team_agent/display/adaptive.py +0 -511
- package/src/team_agent/display/backend.py +0 -46
- package/src/team_agent/display/close.py +0 -154
- package/src/team_agent/display/ghostty.py +0 -77
- package/src/team_agent/display/rebuild.py +0 -102
- package/src/team_agent/display/tiling.py +0 -156
- package/src/team_agent/display/worker_window.py +0 -114
- package/src/team_agent/display/workspace.py +0 -382
- package/src/team_agent/errors.py +0 -10
- package/src/team_agent/events.py +0 -84
- package/src/team_agent/fake_worker.py +0 -80
- package/src/team_agent/idle_predicate.py +0 -218
- package/src/team_agent/idle_takeover.py +0 -59
- package/src/team_agent/idle_takeover_wiring.py +0 -114
- package/src/team_agent/launch/__init__.py +0 -41
- package/src/team_agent/launch/bootstrap.py +0 -85
- package/src/team_agent/launch/config.py +0 -106
- package/src/team_agent/launch/core.py +0 -301
- package/src/team_agent/launch/requirements.py +0 -57
- package/src/team_agent/leader/__init__.py +0 -926
- package/src/team_agent/leader_binding.py +0 -183
- package/src/team_agent/lifecycle/__init__.py +0 -5
- package/src/team_agent/lifecycle/agents.py +0 -278
- package/src/team_agent/lifecycle/operations.py +0 -411
- package/src/team_agent/lifecycle/paste_buffer_hygiene.py +0 -39
- package/src/team_agent/lifecycle/start.py +0 -363
- package/src/team_agent/mcp_server/__init__.py +0 -42
- package/src/team_agent/mcp_server/__main__.py +0 -7
- package/src/team_agent/mcp_server/contracts.py +0 -148
- package/src/team_agent/mcp_server/normalize.py +0 -257
- package/src/team_agent/mcp_server/server.py +0 -150
- package/src/team_agent/mcp_server/tools.py +0 -352
- package/src/team_agent/message_store/__init__.py +0 -23
- package/src/team_agent/message_store/agent_health.py +0 -113
- package/src/team_agent/message_store/core.py +0 -497
- package/src/team_agent/message_store/leader_notification_log.py +0 -198
- package/src/team_agent/message_store/result_watchers.py +0 -251
- package/src/team_agent/message_store/schema.py +0 -308
- package/src/team_agent/message_store/schema_migration.py +0 -448
- package/src/team_agent/messaging/__init__.py +0 -1
- package/src/team_agent/messaging/activity_detector.py +0 -262
- package/src/team_agent/messaging/delivery.py +0 -504
- package/src/team_agent/messaging/deps.py +0 -247
- package/src/team_agent/messaging/idle_alerts.py +0 -423
- package/src/team_agent/messaging/internal_delivery.py +0 -46
- package/src/team_agent/messaging/leader.py +0 -497
- package/src/team_agent/messaging/leader_api_errors.py +0 -216
- package/src/team_agent/messaging/leader_panes.py +0 -673
- package/src/team_agent/messaging/owner_bypass.py +0 -29
- package/src/team_agent/messaging/result_delivery.py +0 -539
- package/src/team_agent/messaging/results.py +0 -447
- package/src/team_agent/messaging/scheduler.py +0 -450
- package/src/team_agent/messaging/send.py +0 -532
- package/src/team_agent/messaging/session_drift.py +0 -94
- package/src/team_agent/messaging/tmux_io.py +0 -506
- package/src/team_agent/messaging/tmux_prompt.py +0 -338
- package/src/team_agent/messaging/trust_auto_answer.py +0 -52
- package/src/team_agent/orchestrator/__init__.py +0 -376
- package/src/team_agent/orchestrator/plan.py +0 -122
- package/src/team_agent/orchestrator/state.py +0 -128
- package/src/team_agent/paths.py +0 -45
- package/src/team_agent/permissions.py +0 -123
- package/src/team_agent/profiles/__init__.py +0 -82
- package/src/team_agent/profiles/constants.py +0 -19
- package/src/team_agent/profiles/core.py +0 -407
- package/src/team_agent/profiles/helpers.py +0 -69
- package/src/team_agent/profiles/provider_env.py +0 -188
- package/src/team_agent/profiles/smoke.py +0 -201
- package/src/team_agent/provider_cli/__init__.py +0 -43
- package/src/team_agent/provider_cli/adapter.py +0 -172
- package/src/team_agent/provider_cli/base.py +0 -48
- package/src/team_agent/provider_cli/claude.py +0 -503
- package/src/team_agent/provider_cli/codex.py +0 -336
- package/src/team_agent/provider_cli/copilot.py +0 -8
- package/src/team_agent/provider_cli/fake.py +0 -39
- package/src/team_agent/provider_cli/gemini.py +0 -95
- package/src/team_agent/provider_cli/opencode.py +0 -8
- package/src/team_agent/provider_cli/prompt.py +0 -62
- package/src/team_agent/provider_cli/registry.py +0 -18
- package/src/team_agent/provider_cli/unsupported.py +0 -32
- package/src/team_agent/provider_state/README.md +0 -78
- package/src/team_agent/provider_state/__init__.py +0 -91
- package/src/team_agent/provider_state/claude.py +0 -86
- package/src/team_agent/provider_state/codex.py +0 -84
- package/src/team_agent/provider_state/common.py +0 -207
- package/src/team_agent/provider_state/registry.py +0 -118
- package/src/team_agent/providers.py +0 -163
- package/src/team_agent/quality_gates.py +0 -104
- package/src/team_agent/restart/__init__.py +0 -34
- package/src/team_agent/restart/orchestration.py +0 -554
- package/src/team_agent/restart/selection.py +0 -89
- package/src/team_agent/restart/snapshot.py +0 -70
- package/src/team_agent/routing.py +0 -84
- package/src/team_agent/runtime.py +0 -1243
- package/src/team_agent/rust_core.py +0 -327
- package/src/team_agent/sessions/__init__.py +0 -25
- package/src/team_agent/sessions/capture.py +0 -144
- package/src/team_agent/sessions/inventory.py +0 -44
- package/src/team_agent/sessions/resume.py +0 -135
- package/src/team_agent/simple_yaml.py +0 -236
- package/src/team_agent/spec.py +0 -370
- package/src/team_agent/state.py +0 -693
- package/src/team_agent/status/__init__.py +0 -63
- package/src/team_agent/status/approvals.py +0 -52
- package/src/team_agent/status/compact.py +0 -158
- package/src/team_agent/status/constants.py +0 -18
- package/src/team_agent/status/inbox.py +0 -58
- package/src/team_agent/status/peek.py +0 -117
- package/src/team_agent/status/queries.py +0 -199
- package/src/team_agent/task_graph.py +0 -80
- package/src/team_agent/terminal.py +0 -57
- package/src/team_agent/wake.py +0 -58
- package/src/team_agent/watch/__init__.py +0 -145
|
@@ -0,0 +1,456 @@
|
|
|
1
|
+
//! JSONL→neutral turn-state 翻译 + idle take-over predicate(`provider_state.common` +
|
|
2
|
+
//! `idle_predicate` 的 Rust 等价)。leader 经注入的 TurnStateClassifier 调到这里。
|
|
3
|
+
|
|
4
|
+
use super::helpers::parse_jsonl_records;
|
|
5
|
+
use super::types::{
|
|
6
|
+
ClassifyResult, ClassifySource, FactKind, FaultFact, NoPingReason, ProcessLiveness, ProviderError,
|
|
7
|
+
RemindResult, Signature, TurnId, TurnState,
|
|
8
|
+
};
|
|
9
|
+
use super::Provider;
|
|
10
|
+
|
|
11
|
+
/// `provider_state.read_turn_state(provider, session_log_text, process, file_silence_seconds)`
|
|
12
|
+
/// (`__init__.py:18` + `common.classify_with_reader`/`decide_state`)。
|
|
13
|
+
///
|
|
14
|
+
/// 流程:`parse_jsonl` → per-provider `extract_facts`(claude/codex)→ `decide_state`。
|
|
15
|
+
/// **归一**:`claude_code` → `claude` reader(`__init__.py:88` `_reader_provider`)。
|
|
16
|
+
/// **铁律**:不可读/空/无 lifecycle / 进程不可验 → `TurnState::Unknown`,**绝不 idle**(C5)。
|
|
17
|
+
/// `file_silence_seconds` 被显式丢弃——open turn 永不被静默 demote(C14,`__init__.py:32`)。
|
|
18
|
+
pub fn classify(
|
|
19
|
+
provider: Provider,
|
|
20
|
+
session_log_text: &str,
|
|
21
|
+
process: ProcessLiveness,
|
|
22
|
+
file_silence_seconds: f64,
|
|
23
|
+
) -> Result<ClassifyResult, ProviderError> {
|
|
24
|
+
let _ = file_silence_seconds;
|
|
25
|
+
let records = parse_jsonl_records(session_log_text);
|
|
26
|
+
if records.is_empty() {
|
|
27
|
+
return Ok(classify_result(
|
|
28
|
+
TurnState::Unknown,
|
|
29
|
+
None,
|
|
30
|
+
"unreadable_or_empty",
|
|
31
|
+
ClassifySource::SessionFile,
|
|
32
|
+
Vec::new(),
|
|
33
|
+
));
|
|
34
|
+
}
|
|
35
|
+
let facts = extract_lifecycle_facts(provider, &records);
|
|
36
|
+
let Some(fact) = facts.last() else {
|
|
37
|
+
return Ok(classify_result(
|
|
38
|
+
TurnState::Unknown,
|
|
39
|
+
None,
|
|
40
|
+
"no_turn_lifecycle_fact",
|
|
41
|
+
ClassifySource::SessionFile,
|
|
42
|
+
Vec::new(),
|
|
43
|
+
));
|
|
44
|
+
};
|
|
45
|
+
Ok(decide_state(fact, process))
|
|
46
|
+
}
|
|
47
|
+
|
|
48
|
+
pub fn latest_explicit_error_fact(provider: Provider, session_log_text: &str) -> Option<FaultFact> {
|
|
49
|
+
let record = latest_jsonl_record(session_log_text)?;
|
|
50
|
+
match provider {
|
|
51
|
+
Provider::Codex => codex_latest_explicit_error_fact(&record),
|
|
52
|
+
Provider::Claude | Provider::ClaudeCode => claude_latest_explicit_error_fact(&record),
|
|
53
|
+
Provider::GeminiCli | Provider::Fake => None,
|
|
54
|
+
}
|
|
55
|
+
}
|
|
56
|
+
|
|
57
|
+
/// `idle_predicate.evaluate_takeover_reminder(nodes, monitor_state, now, debounce)`
|
|
58
|
+
/// (`idle_predicate.py:20`)。中性 take-over reminder 判定。
|
|
59
|
+
///
|
|
60
|
+
/// 规则:仅 worker 的 delegated 态 arm(C1);任何非 `{idle, idle_interrupted}` node
|
|
61
|
+
/// 立刻 block 并报 `Node(state)`(C5/C14);全 idle + armed + debounce 到期 → ping(C2/C11);
|
|
62
|
+
/// `idle_interrupted` 算 idle 但进 `interrupted_nodes`(C12)。
|
|
63
|
+
///
|
|
64
|
+
/// 节点输入用 `serde_json::Value`(承载 `{node_id, role, state}` dict 形态),与 Python
|
|
65
|
+
/// 一致;`monitor_state` 同。porter 在 impl 时换成 typed `IdleNode`/`MonitorState`。
|
|
66
|
+
pub fn evaluate_takeover_reminder(
|
|
67
|
+
nodes: &[serde_json::Value],
|
|
68
|
+
monitor_state: Option<&serde_json::Value>,
|
|
69
|
+
now_monotonic: f64,
|
|
70
|
+
debounce_seconds: f64,
|
|
71
|
+
) -> Result<RemindResult, ProviderError> {
|
|
72
|
+
if nodes.is_empty() {
|
|
73
|
+
return Ok(remind(false, NoPingReason::NoNodes, Vec::new(), None));
|
|
74
|
+
}
|
|
75
|
+
|
|
76
|
+
let mut interrupted = Vec::new();
|
|
77
|
+
for node in nodes {
|
|
78
|
+
let state = node_state(node);
|
|
79
|
+
match state {
|
|
80
|
+
TurnState::Idle => {}
|
|
81
|
+
TurnState::IdleInterrupted => {
|
|
82
|
+
if let Some(id) = node.get("node_id").and_then(serde_json::Value::as_str) {
|
|
83
|
+
interrupted.push(id.to_string());
|
|
84
|
+
}
|
|
85
|
+
}
|
|
86
|
+
TurnState::Working => {
|
|
87
|
+
return Ok(remind(false, NoPingReason::Node(TurnState::Working), Vec::new(), None));
|
|
88
|
+
}
|
|
89
|
+
TurnState::BlockedOnHuman => {
|
|
90
|
+
return Ok(remind(false, NoPingReason::Node(TurnState::BlockedOnHuman), Vec::new(), None));
|
|
91
|
+
}
|
|
92
|
+
TurnState::Abnormal => {
|
|
93
|
+
return Ok(remind(false, NoPingReason::Node(TurnState::Abnormal), Vec::new(), None));
|
|
94
|
+
}
|
|
95
|
+
TurnState::Unknown => {
|
|
96
|
+
return Ok(remind(false, NoPingReason::Node(TurnState::Unknown), Vec::new(), None));
|
|
97
|
+
}
|
|
98
|
+
}
|
|
99
|
+
}
|
|
100
|
+
|
|
101
|
+
let Some(ms) = monitor_state else {
|
|
102
|
+
return Ok(remind(false, NoPingReason::NotArmedNoWorkerTurn, Vec::new(), None));
|
|
103
|
+
};
|
|
104
|
+
if ms.get("opened_worker_turn_since_ack").and_then(serde_json::Value::as_bool) != Some(true) {
|
|
105
|
+
return Ok(remind(false, NoPingReason::NotArmedNoWorkerTurn, Vec::new(), None));
|
|
106
|
+
}
|
|
107
|
+
if ms.get("suppressed").and_then(serde_json::Value::as_bool) == Some(true) {
|
|
108
|
+
return Ok(remind(false, NoPingReason::Acknowledged, Vec::new(), None));
|
|
109
|
+
}
|
|
110
|
+
let Some(all_idle_since) = ms.get("all_idle_since").and_then(serde_json::Value::as_f64) else {
|
|
111
|
+
return Ok(remind(false, NoPingReason::NotArmedNoWorkerTurn, Vec::new(), None));
|
|
112
|
+
};
|
|
113
|
+
if ms.get("pinged_for_episode").and_then(serde_json::Value::as_f64) == Some(all_idle_since) {
|
|
114
|
+
return Ok(remind(false, NoPingReason::AlreadyPingedThisEpisode, Vec::new(), None));
|
|
115
|
+
}
|
|
116
|
+
if now_monotonic - all_idle_since < debounce_seconds {
|
|
117
|
+
return Ok(remind(false, NoPingReason::DebounceActive, Vec::new(), None));
|
|
118
|
+
}
|
|
119
|
+
Ok(remind(
|
|
120
|
+
true,
|
|
121
|
+
NoPingReason::AllIdleDebounceElapsed,
|
|
122
|
+
interrupted,
|
|
123
|
+
Some("All worker turns are idle.".to_string()),
|
|
124
|
+
))
|
|
125
|
+
}
|
|
126
|
+
|
|
127
|
+
#[derive(Debug, Clone, PartialEq, Eq)]
|
|
128
|
+
struct LifecycleFact {
|
|
129
|
+
kind: FactKind,
|
|
130
|
+
turn_id: Option<TurnId>,
|
|
131
|
+
reason: String,
|
|
132
|
+
annotations: Vec<String>,
|
|
133
|
+
}
|
|
134
|
+
|
|
135
|
+
fn classify_result(
|
|
136
|
+
state: TurnState,
|
|
137
|
+
turn_id: Option<TurnId>,
|
|
138
|
+
reason: &str,
|
|
139
|
+
source: ClassifySource,
|
|
140
|
+
annotations: Vec<String>,
|
|
141
|
+
) -> ClassifyResult {
|
|
142
|
+
ClassifyResult {
|
|
143
|
+
state,
|
|
144
|
+
turn_id,
|
|
145
|
+
reason: reason.to_string(),
|
|
146
|
+
source,
|
|
147
|
+
annotations,
|
|
148
|
+
diagnostics: Vec::new(),
|
|
149
|
+
}
|
|
150
|
+
}
|
|
151
|
+
|
|
152
|
+
fn extract_lifecycle_facts(provider: Provider, records: &[serde_json::Value]) -> Vec<LifecycleFact> {
|
|
153
|
+
records
|
|
154
|
+
.iter()
|
|
155
|
+
.filter_map(|record| match provider {
|
|
156
|
+
Provider::Claude | Provider::ClaudeCode => claude_lifecycle_fact(record),
|
|
157
|
+
Provider::Codex => codex_lifecycle_fact(record),
|
|
158
|
+
Provider::GeminiCli | Provider::Fake => None,
|
|
159
|
+
})
|
|
160
|
+
.collect()
|
|
161
|
+
}
|
|
162
|
+
|
|
163
|
+
fn latest_jsonl_record(text: &str) -> Option<serde_json::Value> {
|
|
164
|
+
let last = text
|
|
165
|
+
.lines()
|
|
166
|
+
.rev()
|
|
167
|
+
.map(str::trim)
|
|
168
|
+
.find(|line| !line.is_empty())?;
|
|
169
|
+
serde_json::from_str::<serde_json::Value>(last).ok()
|
|
170
|
+
}
|
|
171
|
+
|
|
172
|
+
fn codex_latest_explicit_error_fact(record: &serde_json::Value) -> Option<FaultFact> {
|
|
173
|
+
let method = record.get("method").and_then(serde_json::Value::as_str);
|
|
174
|
+
if method.is_some_and(|method| method.ends_with("requestApproval")) {
|
|
175
|
+
return None;
|
|
176
|
+
}
|
|
177
|
+
if method != Some("turn/completed") {
|
|
178
|
+
return None;
|
|
179
|
+
}
|
|
180
|
+
let turn = record.get("params").and_then(|p| p.get("turn"))?;
|
|
181
|
+
if turn.get("status").and_then(serde_json::Value::as_str) != Some("failed") {
|
|
182
|
+
return None;
|
|
183
|
+
}
|
|
184
|
+
Some(FaultFact {
|
|
185
|
+
signature: Signature::new("turn_failed"),
|
|
186
|
+
turn_id: turn.get("id").and_then(serde_json::Value::as_str).map(TurnId::new),
|
|
187
|
+
kind: FactKind::Failed,
|
|
188
|
+
})
|
|
189
|
+
}
|
|
190
|
+
|
|
191
|
+
fn claude_latest_explicit_error_fact(record: &serde_json::Value) -> Option<FaultFact> {
|
|
192
|
+
if claude_record_has_error_tool_result(record) {
|
|
193
|
+
return None;
|
|
194
|
+
}
|
|
195
|
+
if record.get("type").and_then(serde_json::Value::as_str) != Some("system")
|
|
196
|
+
|| record.get("subtype").and_then(serde_json::Value::as_str) != Some("api_error")
|
|
197
|
+
|| record.get("level").and_then(serde_json::Value::as_str) != Some("error")
|
|
198
|
+
{
|
|
199
|
+
return None;
|
|
200
|
+
}
|
|
201
|
+
Some(FaultFact {
|
|
202
|
+
signature: Signature::new("api_error"),
|
|
203
|
+
turn_id: record
|
|
204
|
+
.get("sessionId")
|
|
205
|
+
.or_else(|| record.get("parentUuid"))
|
|
206
|
+
.or_else(|| record.get("uuid"))
|
|
207
|
+
.and_then(serde_json::Value::as_str)
|
|
208
|
+
.map(TurnId::new),
|
|
209
|
+
kind: FactKind::Error,
|
|
210
|
+
})
|
|
211
|
+
}
|
|
212
|
+
|
|
213
|
+
fn claude_record_has_error_tool_result(record: &serde_json::Value) -> bool {
|
|
214
|
+
record
|
|
215
|
+
.get("message")
|
|
216
|
+
.and_then(|m| m.get("content"))
|
|
217
|
+
.and_then(serde_json::Value::as_array)
|
|
218
|
+
.is_some_and(|items| {
|
|
219
|
+
items.iter().any(|item| {
|
|
220
|
+
item.get("type").and_then(serde_json::Value::as_str) == Some("tool_result")
|
|
221
|
+
&& item.get("is_error").and_then(serde_json::Value::as_bool) == Some(true)
|
|
222
|
+
})
|
|
223
|
+
})
|
|
224
|
+
}
|
|
225
|
+
|
|
226
|
+
fn decide_state(fact: &LifecycleFact, process: ProcessLiveness) -> ClassifyResult {
|
|
227
|
+
match fact.kind {
|
|
228
|
+
FactKind::TurnOpen => match process {
|
|
229
|
+
ProcessLiveness::Alive => classify_result(
|
|
230
|
+
TurnState::Working,
|
|
231
|
+
fact.turn_id.clone(),
|
|
232
|
+
"open_turn",
|
|
233
|
+
ClassifySource::SessionFile,
|
|
234
|
+
Vec::new(),
|
|
235
|
+
),
|
|
236
|
+
ProcessLiveness::Dead => classify_result(
|
|
237
|
+
TurnState::Abnormal,
|
|
238
|
+
fact.turn_id.clone(),
|
|
239
|
+
"crashed_mid_turn",
|
|
240
|
+
ClassifySource::ProcessGuard,
|
|
241
|
+
vec!["crashed_mid_turn".to_string()],
|
|
242
|
+
),
|
|
243
|
+
ProcessLiveness::Unverifiable => classify_result(
|
|
244
|
+
TurnState::Unknown,
|
|
245
|
+
fact.turn_id.clone(),
|
|
246
|
+
"process_identity_unverified",
|
|
247
|
+
ClassifySource::ProcessGuard,
|
|
248
|
+
Vec::new(),
|
|
249
|
+
),
|
|
250
|
+
},
|
|
251
|
+
FactKind::TurnComplete => classify_result(
|
|
252
|
+
TurnState::Idle,
|
|
253
|
+
fact.turn_id.clone(),
|
|
254
|
+
&fact.reason,
|
|
255
|
+
ClassifySource::SessionFile,
|
|
256
|
+
fact.annotations.clone(),
|
|
257
|
+
),
|
|
258
|
+
FactKind::Interrupted => classify_result(
|
|
259
|
+
TurnState::IdleInterrupted,
|
|
260
|
+
fact.turn_id.clone(),
|
|
261
|
+
&fact.reason,
|
|
262
|
+
ClassifySource::SessionFile,
|
|
263
|
+
fact.annotations.clone(),
|
|
264
|
+
),
|
|
265
|
+
FactKind::Failed | FactKind::Error => classify_result(
|
|
266
|
+
TurnState::Abnormal,
|
|
267
|
+
fact.turn_id.clone(),
|
|
268
|
+
&fact.reason,
|
|
269
|
+
ClassifySource::SessionFile,
|
|
270
|
+
fact.annotations.clone(),
|
|
271
|
+
),
|
|
272
|
+
FactKind::Approval => classify_result(
|
|
273
|
+
TurnState::BlockedOnHuman,
|
|
274
|
+
fact.turn_id.clone(),
|
|
275
|
+
&fact.reason,
|
|
276
|
+
ClassifySource::SessionFile,
|
|
277
|
+
fact.annotations.clone(),
|
|
278
|
+
),
|
|
279
|
+
}
|
|
280
|
+
}
|
|
281
|
+
|
|
282
|
+
fn claude_lifecycle_fact(record: &serde_json::Value) -> Option<LifecycleFact> {
|
|
283
|
+
let record_type = record.get("type").and_then(serde_json::Value::as_str);
|
|
284
|
+
if record_type == Some("assistant") {
|
|
285
|
+
let stop_reason = record
|
|
286
|
+
.get("message")
|
|
287
|
+
.and_then(|m| m.get("stop_reason"))
|
|
288
|
+
.and_then(serde_json::Value::as_str)?;
|
|
289
|
+
let turn_id = record.get("requestId").and_then(serde_json::Value::as_str).map(TurnId::new);
|
|
290
|
+
return match stop_reason {
|
|
291
|
+
"tool_use" => Some(lifecycle(FactKind::TurnOpen, turn_id, "open_turn", Vec::new())),
|
|
292
|
+
"end_turn" => Some(lifecycle(FactKind::TurnComplete, turn_id, "end_turn", Vec::new())),
|
|
293
|
+
"stop_sequence" => Some(lifecycle(
|
|
294
|
+
FactKind::TurnComplete,
|
|
295
|
+
turn_id,
|
|
296
|
+
"stop_sequence",
|
|
297
|
+
Vec::new(),
|
|
298
|
+
)),
|
|
299
|
+
_ => None,
|
|
300
|
+
};
|
|
301
|
+
}
|
|
302
|
+
if record_type == Some("user") && claude_user_interrupted(record) {
|
|
303
|
+
return Some(lifecycle(
|
|
304
|
+
FactKind::Interrupted,
|
|
305
|
+
record.get("uuid").and_then(serde_json::Value::as_str).map(TurnId::new),
|
|
306
|
+
"user_interrupt",
|
|
307
|
+
vec!["interrupted".to_string()],
|
|
308
|
+
));
|
|
309
|
+
}
|
|
310
|
+
None
|
|
311
|
+
}
|
|
312
|
+
|
|
313
|
+
fn codex_lifecycle_fact(record: &serde_json::Value) -> Option<LifecycleFact> {
|
|
314
|
+
if record.get("type").and_then(serde_json::Value::as_str) == Some("event_msg") {
|
|
315
|
+
let payload = record.get("payload")?;
|
|
316
|
+
let payload_type = payload.get("type").and_then(serde_json::Value::as_str)?;
|
|
317
|
+
let turn_id = payload
|
|
318
|
+
.get("turn_id")
|
|
319
|
+
.and_then(serde_json::Value::as_str)
|
|
320
|
+
.map(TurnId::new);
|
|
321
|
+
return match payload_type {
|
|
322
|
+
"task_started" => Some(lifecycle(
|
|
323
|
+
FactKind::TurnOpen,
|
|
324
|
+
turn_id,
|
|
325
|
+
"task_started",
|
|
326
|
+
Vec::new(),
|
|
327
|
+
)),
|
|
328
|
+
"task_complete" => Some(lifecycle(
|
|
329
|
+
FactKind::TurnComplete,
|
|
330
|
+
turn_id,
|
|
331
|
+
"task_complete",
|
|
332
|
+
Vec::new(),
|
|
333
|
+
)),
|
|
334
|
+
"turn_aborted" => {
|
|
335
|
+
let reason = payload
|
|
336
|
+
.get("reason")
|
|
337
|
+
.and_then(serde_json::Value::as_str)
|
|
338
|
+
.unwrap_or("interrupted");
|
|
339
|
+
Some(lifecycle(
|
|
340
|
+
FactKind::Interrupted,
|
|
341
|
+
turn_id,
|
|
342
|
+
reason,
|
|
343
|
+
vec!["interrupted".to_string()],
|
|
344
|
+
))
|
|
345
|
+
}
|
|
346
|
+
_ => None,
|
|
347
|
+
};
|
|
348
|
+
}
|
|
349
|
+
if record.get("jsonrpc").is_some() {
|
|
350
|
+
let method = record.get("method").and_then(serde_json::Value::as_str);
|
|
351
|
+
if method == Some("turn/completed") {
|
|
352
|
+
let turn = record.get("params").and_then(|p| p.get("turn"))?;
|
|
353
|
+
let turn_id = turn
|
|
354
|
+
.get("id")
|
|
355
|
+
.and_then(serde_json::Value::as_str)
|
|
356
|
+
.map(TurnId::new);
|
|
357
|
+
return match turn.get("status").and_then(serde_json::Value::as_str) {
|
|
358
|
+
Some("completed") => Some(lifecycle(
|
|
359
|
+
FactKind::TurnComplete,
|
|
360
|
+
turn_id,
|
|
361
|
+
"completed",
|
|
362
|
+
Vec::new(),
|
|
363
|
+
)),
|
|
364
|
+
Some("interrupted") => Some(lifecycle(
|
|
365
|
+
FactKind::Interrupted,
|
|
366
|
+
turn_id,
|
|
367
|
+
"interrupted",
|
|
368
|
+
vec!["interrupted".to_string()],
|
|
369
|
+
)),
|
|
370
|
+
Some("inProgress") => Some(lifecycle(
|
|
371
|
+
FactKind::TurnOpen,
|
|
372
|
+
turn_id,
|
|
373
|
+
"open_turn",
|
|
374
|
+
Vec::new(),
|
|
375
|
+
)),
|
|
376
|
+
Some("failed") => Some(lifecycle(
|
|
377
|
+
FactKind::Failed,
|
|
378
|
+
turn_id,
|
|
379
|
+
"turn_failed",
|
|
380
|
+
vec!["turn_failed".to_string()],
|
|
381
|
+
)),
|
|
382
|
+
Some(_) | None => None,
|
|
383
|
+
};
|
|
384
|
+
}
|
|
385
|
+
if method.is_some_and(|m| m.ends_with("requestApproval")) {
|
|
386
|
+
return Some(lifecycle(
|
|
387
|
+
FactKind::Approval,
|
|
388
|
+
record
|
|
389
|
+
.get("params")
|
|
390
|
+
.and_then(|p| p.get("turnId"))
|
|
391
|
+
.or_else(|| record.get("params").and_then(|p| p.get("turn_id")))
|
|
392
|
+
.and_then(serde_json::Value::as_str)
|
|
393
|
+
.map(TurnId::new),
|
|
394
|
+
"approval_required",
|
|
395
|
+
vec!["awaiting_approval".to_string()],
|
|
396
|
+
));
|
|
397
|
+
}
|
|
398
|
+
}
|
|
399
|
+
None
|
|
400
|
+
}
|
|
401
|
+
|
|
402
|
+
fn lifecycle(
|
|
403
|
+
kind: FactKind,
|
|
404
|
+
turn_id: Option<TurnId>,
|
|
405
|
+
reason: &str,
|
|
406
|
+
annotations: Vec<String>,
|
|
407
|
+
) -> LifecycleFact {
|
|
408
|
+
LifecycleFact {
|
|
409
|
+
kind,
|
|
410
|
+
turn_id,
|
|
411
|
+
reason: reason.to_string(),
|
|
412
|
+
annotations,
|
|
413
|
+
}
|
|
414
|
+
}
|
|
415
|
+
|
|
416
|
+
fn claude_user_interrupted(record: &serde_json::Value) -> bool {
|
|
417
|
+
record
|
|
418
|
+
.get("message")
|
|
419
|
+
.and_then(|m| m.get("content"))
|
|
420
|
+
.and_then(serde_json::Value::as_array)
|
|
421
|
+
.is_some_and(|items| {
|
|
422
|
+
items.iter().any(|item| {
|
|
423
|
+
item.get("type").and_then(serde_json::Value::as_str) == Some("text")
|
|
424
|
+
&& item
|
|
425
|
+
.get("text")
|
|
426
|
+
.and_then(serde_json::Value::as_str)
|
|
427
|
+
== Some("[Request interrupted by user]")
|
|
428
|
+
})
|
|
429
|
+
})
|
|
430
|
+
}
|
|
431
|
+
|
|
432
|
+
fn node_state(node: &serde_json::Value) -> TurnState {
|
|
433
|
+
match node.get("state").and_then(serde_json::Value::as_str) {
|
|
434
|
+
Some("idle") => TurnState::Idle,
|
|
435
|
+
Some("working") => TurnState::Working,
|
|
436
|
+
Some("idle_interrupted") => TurnState::IdleInterrupted,
|
|
437
|
+
Some("blocked_on_human") => TurnState::BlockedOnHuman,
|
|
438
|
+
Some("abnormal") => TurnState::Abnormal,
|
|
439
|
+
Some("unknown") | None => TurnState::Unknown,
|
|
440
|
+
Some(_) => TurnState::Unknown,
|
|
441
|
+
}
|
|
442
|
+
}
|
|
443
|
+
|
|
444
|
+
fn remind(
|
|
445
|
+
should_ping: bool,
|
|
446
|
+
reason: NoPingReason,
|
|
447
|
+
interrupted_nodes: Vec<String>,
|
|
448
|
+
message: Option<String>,
|
|
449
|
+
) -> RemindResult {
|
|
450
|
+
RemindResult {
|
|
451
|
+
should_ping,
|
|
452
|
+
reason,
|
|
453
|
+
interrupted_nodes,
|
|
454
|
+
message,
|
|
455
|
+
}
|
|
456
|
+
}
|
|
@@ -0,0 +1,136 @@
|
|
|
1
|
+
//! abnormal track 消费的 fault/approval facts 抽取(`provider_state.read_fault_facts`)。
|
|
2
|
+
|
|
3
|
+
use super::types::{FactKind, FaultFact, Signature, TurnId};
|
|
4
|
+
use super::Provider;
|
|
5
|
+
|
|
6
|
+
/// `provider_state.read_fault_facts(provider, records)`(`__init__.py:46`)。
|
|
7
|
+
/// 从已解析 records 抽取 fault/approval facts(kind ∈ {error, failed, approval}),
|
|
8
|
+
/// 携 `(signature, turn_id)` C8 dedup key。`api_error` 无 ids 时 `turn_id == None`。
|
|
9
|
+
pub fn read_fault_facts(records: &[serde_json::Value], provider: Provider) -> Vec<FaultFact> {
|
|
10
|
+
records
|
|
11
|
+
.iter()
|
|
12
|
+
.filter_map(|record| fault_fact(provider, record))
|
|
13
|
+
.collect()
|
|
14
|
+
}
|
|
15
|
+
|
|
16
|
+
pub fn explicit_error_fact(record: &serde_json::Value, provider: Provider) -> Option<FaultFact> {
|
|
17
|
+
match provider {
|
|
18
|
+
Provider::Codex => codex_explicit_error_fact(record),
|
|
19
|
+
Provider::Claude | Provider::ClaudeCode => claude_explicit_error_fact(record),
|
|
20
|
+
Provider::GeminiCli | Provider::Fake => None,
|
|
21
|
+
}
|
|
22
|
+
}
|
|
23
|
+
|
|
24
|
+
fn claude_explicit_error_fact(record: &serde_json::Value) -> Option<FaultFact> {
|
|
25
|
+
if record.get("type").and_then(serde_json::Value::as_str) != Some("system")
|
|
26
|
+
|| record.get("subtype").and_then(serde_json::Value::as_str) != Some("api_error")
|
|
27
|
+
|| record.get("level").and_then(serde_json::Value::as_str) != Some("error")
|
|
28
|
+
{
|
|
29
|
+
return None;
|
|
30
|
+
}
|
|
31
|
+
Some(FaultFact {
|
|
32
|
+
signature: Signature::new("api_error"),
|
|
33
|
+
turn_id: record
|
|
34
|
+
.get("sessionId")
|
|
35
|
+
.or_else(|| record.get("parentUuid"))
|
|
36
|
+
.or_else(|| record.get("uuid"))
|
|
37
|
+
.and_then(serde_json::Value::as_str)
|
|
38
|
+
.map(TurnId::new),
|
|
39
|
+
kind: FactKind::Error,
|
|
40
|
+
})
|
|
41
|
+
}
|
|
42
|
+
|
|
43
|
+
fn codex_explicit_error_fact(record: &serde_json::Value) -> Option<FaultFact> {
|
|
44
|
+
if record.get("method").and_then(serde_json::Value::as_str) != Some("turn/completed") {
|
|
45
|
+
return None;
|
|
46
|
+
}
|
|
47
|
+
let turn = record.get("params").and_then(|p| p.get("turn"))?;
|
|
48
|
+
if turn.get("status").and_then(serde_json::Value::as_str) != Some("failed") {
|
|
49
|
+
return None;
|
|
50
|
+
}
|
|
51
|
+
Some(FaultFact {
|
|
52
|
+
signature: Signature::new("turn_failed"),
|
|
53
|
+
turn_id: turn.get("id").and_then(serde_json::Value::as_str).map(TurnId::new),
|
|
54
|
+
kind: FactKind::Failed,
|
|
55
|
+
})
|
|
56
|
+
}
|
|
57
|
+
|
|
58
|
+
fn fault_fact(provider: Provider, record: &serde_json::Value) -> Option<FaultFact> {
|
|
59
|
+
match provider {
|
|
60
|
+
Provider::Claude | Provider::ClaudeCode => claude_fault_fact(record),
|
|
61
|
+
Provider::Codex => codex_fault_fact(record),
|
|
62
|
+
Provider::GeminiCli | Provider::Fake => None,
|
|
63
|
+
}
|
|
64
|
+
}
|
|
65
|
+
|
|
66
|
+
fn claude_fault_fact(record: &serde_json::Value) -> Option<FaultFact> {
|
|
67
|
+
if record.get("type").and_then(serde_json::Value::as_str) == Some("system")
|
|
68
|
+
&& record.get("subtype").and_then(serde_json::Value::as_str) == Some("api_error")
|
|
69
|
+
&& record.get("level").and_then(serde_json::Value::as_str) == Some("error")
|
|
70
|
+
{
|
|
71
|
+
return Some(FaultFact {
|
|
72
|
+
signature: Signature::new("api_error"),
|
|
73
|
+
turn_id: record
|
|
74
|
+
.get("sessionId")
|
|
75
|
+
.or_else(|| record.get("parentUuid"))
|
|
76
|
+
.or_else(|| record.get("uuid"))
|
|
77
|
+
.and_then(serde_json::Value::as_str)
|
|
78
|
+
.map(TurnId::new),
|
|
79
|
+
kind: FactKind::Error,
|
|
80
|
+
});
|
|
81
|
+
}
|
|
82
|
+
if record.get("type").and_then(serde_json::Value::as_str) == Some("user")
|
|
83
|
+
&& claude_has_error_tool_result(record)
|
|
84
|
+
{
|
|
85
|
+
return Some(FaultFact {
|
|
86
|
+
signature: Signature::new("tool_result_is_error"),
|
|
87
|
+
turn_id: record
|
|
88
|
+
.get("parentUuid")
|
|
89
|
+
.or_else(|| record.get("uuid"))
|
|
90
|
+
.and_then(serde_json::Value::as_str)
|
|
91
|
+
.map(TurnId::new),
|
|
92
|
+
kind: FactKind::Error,
|
|
93
|
+
});
|
|
94
|
+
}
|
|
95
|
+
None
|
|
96
|
+
}
|
|
97
|
+
|
|
98
|
+
fn claude_has_error_tool_result(record: &serde_json::Value) -> bool {
|
|
99
|
+
record
|
|
100
|
+
.get("message")
|
|
101
|
+
.and_then(|m| m.get("content"))
|
|
102
|
+
.and_then(serde_json::Value::as_array)
|
|
103
|
+
.is_some_and(|items| {
|
|
104
|
+
items.iter().any(|item| {
|
|
105
|
+
item.get("type").and_then(serde_json::Value::as_str) == Some("tool_result")
|
|
106
|
+
&& item.get("is_error").and_then(serde_json::Value::as_bool) == Some(true)
|
|
107
|
+
})
|
|
108
|
+
})
|
|
109
|
+
}
|
|
110
|
+
|
|
111
|
+
fn codex_fault_fact(record: &serde_json::Value) -> Option<FaultFact> {
|
|
112
|
+
let method = record.get("method").and_then(serde_json::Value::as_str);
|
|
113
|
+
if method == Some("turn/completed") {
|
|
114
|
+
let turn = record.get("params").and_then(|p| p.get("turn"))?;
|
|
115
|
+
if turn.get("status").and_then(serde_json::Value::as_str) == Some("failed") {
|
|
116
|
+
return Some(FaultFact {
|
|
117
|
+
signature: Signature::new("turn_failed"),
|
|
118
|
+
turn_id: turn.get("id").and_then(serde_json::Value::as_str).map(TurnId::new),
|
|
119
|
+
kind: FactKind::Failed,
|
|
120
|
+
});
|
|
121
|
+
}
|
|
122
|
+
}
|
|
123
|
+
if method.is_some_and(|m| m.ends_with("requestApproval")) {
|
|
124
|
+
return Some(FaultFact {
|
|
125
|
+
signature: Signature::new("approval_required"),
|
|
126
|
+
turn_id: record
|
|
127
|
+
.get("params")
|
|
128
|
+
.and_then(|p| p.get("turnId"))
|
|
129
|
+
.or_else(|| record.get("params").and_then(|p| p.get("turn_id")))
|
|
130
|
+
.and_then(serde_json::Value::as_str)
|
|
131
|
+
.map(TurnId::new),
|
|
132
|
+
kind: FactKind::Approval,
|
|
133
|
+
});
|
|
134
|
+
}
|
|
135
|
+
None
|
|
136
|
+
}
|
|
@@ -0,0 +1,41 @@
|
|
|
1
|
+
//! provider 跨子模块共享 helper:JSONL 解析 / session_id 抽取 / 正则编译。
|
|
2
|
+
|
|
3
|
+
use super::types::{ProviderError, StatusPatterns};
|
|
4
|
+
|
|
5
|
+
pub(crate) fn parse_jsonl_records(text: &str) -> Vec<serde_json::Value> {
|
|
6
|
+
if text.trim().is_empty() {
|
|
7
|
+
return Vec::new();
|
|
8
|
+
}
|
|
9
|
+
text.lines()
|
|
10
|
+
.filter_map(|line| {
|
|
11
|
+
let trimmed = line.trim();
|
|
12
|
+
if trimmed.is_empty() {
|
|
13
|
+
None
|
|
14
|
+
} else {
|
|
15
|
+
serde_json::from_str::<serde_json::Value>(trimmed).ok()
|
|
16
|
+
}
|
|
17
|
+
})
|
|
18
|
+
.collect()
|
|
19
|
+
}
|
|
20
|
+
|
|
21
|
+
pub(crate) fn find_session_id(record: &serde_json::Value) -> Option<String> {
|
|
22
|
+
if let Some(s) = record.get("sessionId").and_then(serde_json::Value::as_str) {
|
|
23
|
+
return Some(s.to_string());
|
|
24
|
+
}
|
|
25
|
+
record
|
|
26
|
+
.get("session_id")
|
|
27
|
+
.and_then(serde_json::Value::as_str)
|
|
28
|
+
.map(ToString::to_string)
|
|
29
|
+
}
|
|
30
|
+
|
|
31
|
+
pub(crate) fn patterns(idle: &str, processing: &str, error: &str) -> Result<StatusPatterns, ProviderError> {
|
|
32
|
+
Ok(StatusPatterns {
|
|
33
|
+
idle: compile_regex(idle)?,
|
|
34
|
+
processing: compile_regex(processing)?,
|
|
35
|
+
error: compile_regex(error)?,
|
|
36
|
+
})
|
|
37
|
+
}
|
|
38
|
+
|
|
39
|
+
fn compile_regex(pattern: &str) -> Result<regex::Regex, ProviderError> {
|
|
40
|
+
regex::Regex::new(pattern).map_err(|e| ProviderError::Command(format!("regex {pattern}: {e}")))
|
|
41
|
+
}
|
|
@@ -0,0 +1,53 @@
|
|
|
1
|
+
//! step 8 · provider — type + trait SKELETON (ROUND-0).
|
|
2
|
+
//!
|
|
3
|
+
//! Design doc: `docs/phase0/subsystems/08-provider.md`
|
|
4
|
+
//! (type-inventory table lines ~48-67, public API list ~71-81, module map ~128-137).
|
|
5
|
+
//! Truth source (READ-ONLY snapshot `team-agent-public` @ v0.2.11 / `439bef8`):
|
|
6
|
+
//! - `provider_cli/base.py` · `adapter.py` · `claude.py` · `codex.py` · `gemini.py` · `fake.py`
|
|
7
|
+
//! - `provider_cli/prompt.py` · `registry.py` · `unsupported.py` · `providers.py`
|
|
8
|
+
//! - `idle_predicate.py`
|
|
9
|
+
//! - `provider_state/common.py` (`decide_state`/`process_liveness`/`_CLOSING`)
|
|
10
|
+
//! - `provider_state/{claude,codex,registry,__init__}.py`
|
|
11
|
+
//! - `approvals/{constants,parsing,runtime_prompts,status}.py`
|
|
12
|
+
//!
|
|
13
|
+
//! 职责(doc §职责): per-provider 命令构造 / session 捕获 / JSONL→neutral turn-state
|
|
14
|
+
//! 翻译 / idle take-over predicate / runtime approval·trust prompt 检测应答。
|
|
15
|
+
//!
|
|
16
|
+
//! 铁律(doc §bug/陷阱):
|
|
17
|
+
//! - **unknown 永不当 idle**:`TurnState` 穷尽 match,无 `_ => idle` 兜底。
|
|
18
|
+
//! - **bug-085 None 漏穿**:`session_id`/`rollout_path`/`turn_id` 全 `Option<T>`,穷尽处理 `None`。
|
|
19
|
+
//! - **MUST-NOT-13**:idle/classify/selftest/abnormal 路径零 provider client / network SDK。
|
|
20
|
+
//! - §10:本子系统跑在 daemon tick 入口,fallible 方法返 `Result`,实现层禁 unwrap/expect/panic
|
|
21
|
+
//! (`#![deny(...)]` 由 leader 在 integration 时加,本 ROUND-0 skeleton 不加)。
|
|
22
|
+
//!
|
|
23
|
+
//! ROUND-0:仅类型 + trait 签名。自由函数 / placeholder impl body 一律
|
|
24
|
+
//! `unimplemented!("step8 port: <what>")`。
|
|
25
|
+
|
|
26
|
+
// §10:daemon tick / idle / classify 路径,实现层禁 unwrap/expect/panic(unimplemented! 未实现 stub 不算)。
|
|
27
|
+
#![deny(clippy::unwrap_used, clippy::expect_used, clippy::panic)]
|
|
28
|
+
|
|
29
|
+
// REUSE — 不重定义(doc ADJUDICATION):`Provider` 单 `ClaudeCode` 变体归一 claude/claude_code;
|
|
30
|
+
// `AuthMode` 决定 fork 能力 / MCP config 路径 / claude compatible_api fallback 分支。
|
|
31
|
+
// 复用 model::enums 的 Provider/AuthMode,并 re-export(下游惯于 `provider::Provider` 取用)。
|
|
32
|
+
pub use crate::model::enums::{AuthMode, Provider};
|
|
33
|
+
|
|
34
|
+
pub mod adapter;
|
|
35
|
+
pub mod approvals;
|
|
36
|
+
pub mod classify;
|
|
37
|
+
pub mod faults;
|
|
38
|
+
pub mod startup_prompt;
|
|
39
|
+
pub mod types;
|
|
40
|
+
// helpers 全部原为模块私有(JSONL 解析 / 正则编译),非根可见 → 私有 mod,不参与 re-export。
|
|
41
|
+
mod helpers;
|
|
42
|
+
|
|
43
|
+
// RE-EXPORT INVARIANT:外部 `crate::provider::X` + 测试 `use super::*` 解析不变。
|
|
44
|
+
pub use adapter::*;
|
|
45
|
+
pub use approvals::parsing::*;
|
|
46
|
+
pub use approvals::runtime_prompts::*;
|
|
47
|
+
pub use classify::*;
|
|
48
|
+
pub use faults::*;
|
|
49
|
+
pub use startup_prompt::*;
|
|
50
|
+
pub use types::*;
|
|
51
|
+
|
|
52
|
+
#[cfg(test)]
|
|
53
|
+
mod tests;
|