ltcai 9.7.0 → 9.9.0
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/README.md +114 -320
- package/docs/BENCHMARKS.md +107 -0
- package/docs/CHANGELOG.md +72 -0
- package/docs/CI_AND_RELEASE_GATES.md +106 -0
- package/docs/COMMUNITY_AND_PLUGINS.md +1 -1
- package/docs/DEVELOPMENT.md +11 -8
- package/docs/ONBOARDING.md +1 -1
- package/docs/OPERATIONS.md +15 -6
- package/docs/PERFORMANCE.md +9 -1
- package/docs/SECURITY_AUDIT.md +91 -0
- package/docs/TRUST_MODEL.md +1 -1
- package/docs/USABILITY_AUDIT.md +164 -0
- package/docs/WHY_LATTICE.md +1 -1
- package/docs/architecture.md +4 -2
- package/docs/kg-schema.md +1 -1
- package/docs/spec-vs-impl.md +8 -1
- package/lattice_brain/__init__.py +1 -1
- package/lattice_brain/graph/retrieval.py +93 -4
- package/lattice_brain/graph/retrieval_vector.py +43 -0
- package/lattice_brain/ingestion.py +399 -14
- package/lattice_brain/runtime/multi_agent.py +1 -1
- package/latticeai/__init__.py +1 -1
- package/latticeai/api/brain_intelligence.py +12 -0
- package/latticeai/api/chat.py +17 -0
- package/latticeai/api/chat_helpers.py +48 -0
- package/latticeai/api/chat_stream.py +9 -1
- package/latticeai/api/local_files.py +120 -2
- package/latticeai/api/review_queue.py +7 -0
- package/latticeai/core/agent.py +105 -8
- package/latticeai/core/agent_eval.py +222 -1
- package/latticeai/core/legacy_compatibility.py +1 -1
- package/latticeai/core/marketplace.py +1 -1
- package/latticeai/core/tool_governor.py +92 -1
- package/latticeai/core/workspace_os.py +1 -1
- package/latticeai/services/architecture_readiness.py +1 -1
- package/latticeai/services/automation_intelligence.py +151 -14
- package/latticeai/services/brain_intelligence.py +72 -0
- package/latticeai/services/change_proposals.py +165 -23
- package/latticeai/services/product_readiness.py +1 -1
- package/latticeai/services/tool_dispatch.py +33 -0
- package/package.json +5 -3
- package/scripts/bench_models.py +312 -0
- package/scripts/check_bundle_budget.mjs +103 -0
- package/scripts/check_current_release_docs.mjs +1 -1
- package/scripts/check_doc_status.mjs +149 -0
- package/scripts/generate_sbom.py +70 -0
- package/src-tauri/Cargo.lock +1 -1
- package/src-tauri/Cargo.toml +1 -1
- package/src-tauri/tauri.conf.json +1 -1
- package/static/app/asset-manifest.json +27 -11
- package/static/app/assets/Act-CfOPUKPs.js +2 -0
- package/static/app/assets/Brain-Cgkh0Hpn.js +321 -0
- package/static/app/assets/BrainHome-D8e3wQiW.js +3 -0
- package/static/app/assets/BrainSignals-BjRBA18L.js +1 -0
- package/static/app/assets/Capture-CQQYQ1Ga.js +1 -0
- package/static/app/assets/CommandPalette-pss56Mg4.js +1 -0
- package/static/app/assets/Library-CoI3xYJk.js +1 -0
- package/static/app/assets/LivingBrain-CaU_hCxQ.js +1 -0
- package/static/app/assets/ProductFlow-Db-1O71-.js +1 -0
- package/static/app/assets/System-Dfocn0zN.js +1 -0
- package/static/app/assets/bot-Bp2x1i6F.js +1 -0
- package/static/app/assets/circle-check-CyGal42W.js +1 -0
- package/static/app/assets/cpu-DQFk82hG.js +1 -0
- package/static/app/assets/download-C70gKQVi.js +1 -0
- package/static/app/assets/folder-open-DNGytsVw.js +1 -0
- package/static/app/assets/hard-drive-CYo_bEl4.js +1 -0
- package/static/app/assets/i18n-BBMJshCW.js +7 -0
- package/static/app/assets/index-BjaXCeOZ.js +10 -0
- package/static/app/assets/{index-85wQvEie.css → index-BqRcLZR3.css} +1 -1
- package/static/app/assets/input-ChWD-Fsh.js +1 -0
- package/static/app/assets/navigation-D9D9_FPC.js +1 -0
- package/static/app/assets/network-DzLDGmtV.js +1 -0
- package/static/app/assets/primitives-CmaSAyGG.js +1 -0
- package/static/app/assets/sparkles-DXiaM1NS.js +1 -0
- package/static/app/assets/textarea-CV43-o79.js +1 -0
- package/static/app/index.html +4 -2
- package/static/sw.js +1 -1
- package/static/app/assets/Act-B6c39ays.js +0 -2
- package/static/app/assets/Brain-D7Qg4k6M.js +0 -321
- package/static/app/assets/Capture-VF_di68r.js +0 -1
- package/static/app/assets/Library-D_Gis2PA.js +0 -1
- package/static/app/assets/System-C5s5H2ov.js +0 -1
- package/static/app/assets/index-DJC_2oub.js +0 -18
- package/static/app/assets/primitives-DL4Nip8C.js +0 -1
- package/static/app/assets/textarea-woZfCXHy.js +0 -1
|
@@ -52,8 +52,14 @@ async def stream_chat(
|
|
|
52
52
|
history_meta: Optional[Dict[str, Any]] = None,
|
|
53
53
|
model_id: Optional[str] = None,
|
|
54
54
|
workspace_id: Optional[str] = None,
|
|
55
|
+
context_quality: Optional[Dict[str, Any]] = None,
|
|
55
56
|
) -> AsyncIterator[str]:
|
|
56
|
-
"""Stream model chunks and persist exactly one finalized answer.
|
|
57
|
+
"""Stream model chunks and persist exactly one finalized answer.
|
|
58
|
+
|
|
59
|
+
``context_quality`` (v9.8.0, additive) is echoed on the final trailer
|
|
60
|
+
event alongside the answer trace so streaming clients receive the same
|
|
61
|
+
honest RAG signal as the non-streaming JSON response.
|
|
62
|
+
"""
|
|
57
63
|
|
|
58
64
|
full_response = ""
|
|
59
65
|
stream_error: Optional[str] = None
|
|
@@ -106,6 +112,8 @@ async def stream_chat(
|
|
|
106
112
|
trailer: Dict[str, Any] = {"chunk": "", "model": model_id}
|
|
107
113
|
if trace_record:
|
|
108
114
|
trailer.update({"trace_id": trace_record["id"], "trace": trace_record})
|
|
115
|
+
if context_quality is not None:
|
|
116
|
+
trailer["context_quality"] = context_quality
|
|
109
117
|
if stream_error:
|
|
110
118
|
trailer["error"] = stream_error
|
|
111
119
|
yield f"data: {json.dumps(trailer, ensure_ascii=False)}\n\n"
|
|
@@ -10,7 +10,7 @@ from datetime import datetime
|
|
|
10
10
|
from pathlib import Path
|
|
11
11
|
from typing import Optional
|
|
12
12
|
|
|
13
|
-
from fastapi import APIRouter, HTTPException, Request
|
|
13
|
+
from fastapi import APIRouter, BackgroundTasks, HTTPException, Request
|
|
14
14
|
from fastapi.responses import FileResponse
|
|
15
15
|
from pydantic import BaseModel
|
|
16
16
|
|
|
@@ -37,6 +37,18 @@ class LocalWriteRequest(BaseModel):
|
|
|
37
37
|
approval_token: Optional[str] = None
|
|
38
38
|
|
|
39
39
|
|
|
40
|
+
class FolderIngestRequest(BaseModel):
|
|
41
|
+
path: str
|
|
42
|
+
recursive: bool = True
|
|
43
|
+
background: bool = False
|
|
44
|
+
workspace_id: Optional[str] = None
|
|
45
|
+
# Local filesystem reads follow the standard approval dance (same as
|
|
46
|
+
# /local/read and /knowledge-graph/local/index): the first call returns a
|
|
47
|
+
# permission_required payload with an approval token.
|
|
48
|
+
approved: bool = False
|
|
49
|
+
approval_token: Optional[str] = None
|
|
50
|
+
|
|
51
|
+
|
|
40
52
|
def create_local_files_router(
|
|
41
53
|
*,
|
|
42
54
|
require_user,
|
|
@@ -194,6 +206,107 @@ def create_local_files_router(
|
|
|
194
206
|
raise HTTPException(status_code=404, detail="File not found")
|
|
195
207
|
return FileResponse(str(target))
|
|
196
208
|
|
|
209
|
+
# ── v9.8.0 ingestion jobs API (frozen paths — consumed by the frontend) ───
|
|
210
|
+
def _require_pipeline():
|
|
211
|
+
if ingestion_pipeline is None or not ingestion_pipeline.available():
|
|
212
|
+
raise HTTPException(status_code=503, detail="Knowledge Graph ingestion is disabled.")
|
|
213
|
+
|
|
214
|
+
def _ingestion_write_workspace(request: Request, body_workspace: Optional[str], user: str) -> Optional[str]:
|
|
215
|
+
header = request.headers.get("X-Workspace-Id")
|
|
216
|
+
header = header.strip() if header and header.strip() else None
|
|
217
|
+
supplied = [value for value in (body_workspace, header) if value]
|
|
218
|
+
if len(set(supplied)) > 1:
|
|
219
|
+
raise HTTPException(status_code=403, detail="Workspace selectors must match.")
|
|
220
|
+
requested = supplied[0] if supplied else None
|
|
221
|
+
if workspace_service is None:
|
|
222
|
+
return requested
|
|
223
|
+
try:
|
|
224
|
+
return workspace_service.resolve_write_scope(requested, user or None)
|
|
225
|
+
except PermissionError as exc:
|
|
226
|
+
raise HTTPException(status_code=403, detail=str(exc)) from exc
|
|
227
|
+
|
|
228
|
+
@router.get("/api/ingestion/jobs")
|
|
229
|
+
async def ingestion_jobs(request: Request, limit: int = 20):
|
|
230
|
+
"""Recent background ingestion jobs (newest first)."""
|
|
231
|
+
require_user(request)
|
|
232
|
+
_require_pipeline()
|
|
233
|
+
limit = max(1, min(int(limit or 20), 100))
|
|
234
|
+
return {"jobs": ingestion_pipeline.list_background_jobs(limit=limit)}
|
|
235
|
+
|
|
236
|
+
@router.get("/api/ingestion/jobs/{job_id}")
|
|
237
|
+
async def ingestion_job_detail(job_id: str, request: Request):
|
|
238
|
+
"""One job with its progress counters and (capped) error records."""
|
|
239
|
+
require_user(request)
|
|
240
|
+
_require_pipeline()
|
|
241
|
+
job = ingestion_pipeline.get_background_job(job_id)
|
|
242
|
+
if job is None:
|
|
243
|
+
raise HTTPException(status_code=404, detail="ingestion job not found")
|
|
244
|
+
return job.as_dict()
|
|
245
|
+
|
|
246
|
+
@router.post("/api/ingestion/jobs/{job_id}/resume")
|
|
247
|
+
async def ingestion_job_resume(job_id: str, request: Request, background_tasks: BackgroundTasks):
|
|
248
|
+
"""Resume an interrupted/partial/failed job from its remaining items."""
|
|
249
|
+
user = require_user(request)
|
|
250
|
+
_require_pipeline()
|
|
251
|
+
job = ingestion_pipeline.get_background_job(job_id)
|
|
252
|
+
if job is None:
|
|
253
|
+
raise HTTPException(status_code=404, detail="ingestion job not found")
|
|
254
|
+
if job.status == "running":
|
|
255
|
+
return {"status": "already_running", "job_id": job_id, "job": job.as_dict()}
|
|
256
|
+
remaining = len(job.remaining_indices())
|
|
257
|
+
if remaining == 0 and job.status == "completed":
|
|
258
|
+
return {"status": "nothing_to_resume", "job_id": job_id, "job": job.as_dict()}
|
|
259
|
+
background_tasks.add_task(
|
|
260
|
+
ingestion_pipeline.resume_background_job, job_id, user_email=user or None,
|
|
261
|
+
)
|
|
262
|
+
return {
|
|
263
|
+
"status": "resuming",
|
|
264
|
+
"job_id": job_id,
|
|
265
|
+
"remaining": remaining,
|
|
266
|
+
"job": job.as_dict(),
|
|
267
|
+
}
|
|
268
|
+
|
|
269
|
+
@router.post("/api/ingestion/folder")
|
|
270
|
+
async def ingestion_folder(req: FolderIngestRequest, request: Request, background_tasks: BackgroundTasks):
|
|
271
|
+
"""Ingest a local folder through the unified pipeline.
|
|
272
|
+
|
|
273
|
+
Reads local disk, so it follows the same approval dance as
|
|
274
|
+
``/local/read`` and ``/knowledge-graph/local/index``: without
|
|
275
|
+
``approved`` + ``approval_token`` the response is a
|
|
276
|
+
``permission_required`` payload. ``background=true`` schedules a job
|
|
277
|
+
(summary includes ``job_id``) and executes it after the response.
|
|
278
|
+
"""
|
|
279
|
+
current_user = permission_gateway.require_local_user(request)
|
|
280
|
+
_require_pipeline()
|
|
281
|
+
workspace_id = _ingestion_write_workspace(request, req.workspace_id, current_user)
|
|
282
|
+
path = (req.path or "").strip()
|
|
283
|
+
if not path:
|
|
284
|
+
raise HTTPException(status_code=400, detail="path is required.")
|
|
285
|
+
if not req.approved:
|
|
286
|
+
return permission_gateway.local_permission_response(path, "read", current_user)
|
|
287
|
+
permission_gateway.require_local_approval(
|
|
288
|
+
token=req.approval_token,
|
|
289
|
+
path=path,
|
|
290
|
+
action="read",
|
|
291
|
+
user_email=current_user,
|
|
292
|
+
)
|
|
293
|
+
summary = ingestion_pipeline.ingest_folder(
|
|
294
|
+
path,
|
|
295
|
+
recursive=req.recursive,
|
|
296
|
+
background=req.background,
|
|
297
|
+
owner=current_user or None,
|
|
298
|
+
workspace_id=workspace_id,
|
|
299
|
+
user_email=current_user or None,
|
|
300
|
+
)
|
|
301
|
+
job_id = summary.get("job_id")
|
|
302
|
+
if req.background and job_id:
|
|
303
|
+
# Execute after the response is sent; progress is visible via
|
|
304
|
+
# GET /api/ingestion/jobs/{job_id}.
|
|
305
|
+
background_tasks.add_task(
|
|
306
|
+
ingestion_pipeline.run_background_job, job_id, user_email=current_user or None,
|
|
307
|
+
)
|
|
308
|
+
return summary
|
|
309
|
+
|
|
197
310
|
@router.post("/local/write")
|
|
198
311
|
async def local_write_endpoint(req: LocalWriteRequest, request: Request):
|
|
199
312
|
current_user = permission_gateway.require_local_user(request)
|
|
@@ -238,4 +351,9 @@ def create_local_files_router(
|
|
|
238
351
|
return router
|
|
239
352
|
|
|
240
353
|
|
|
241
|
-
__all__ = [
|
|
354
|
+
__all__ = [
|
|
355
|
+
"FolderIngestRequest",
|
|
356
|
+
"LocalAccessRequest",
|
|
357
|
+
"LocalWriteRequest",
|
|
358
|
+
"create_local_files_router",
|
|
359
|
+
]
|
|
@@ -19,6 +19,7 @@ from typing import Any, Callable, Dict, List, Optional
|
|
|
19
19
|
from fastapi import APIRouter, HTTPException, Request
|
|
20
20
|
from pydantic import BaseModel, Field
|
|
21
21
|
|
|
22
|
+
from latticeai.services.change_proposals import ProposalConflictError
|
|
22
23
|
from latticeai.services.review_queue import InvalidReviewTransition, ReviewQueueService
|
|
23
24
|
|
|
24
25
|
|
|
@@ -151,6 +152,12 @@ def create_review_queue_router(
|
|
|
151
152
|
applied = change_proposals.approve_and_apply(
|
|
152
153
|
item_id, user_email=user, workspace_id=scope
|
|
153
154
|
)
|
|
155
|
+
except ProposalConflictError as exc:
|
|
156
|
+
# The file drifted since staging (or the proposal was
|
|
157
|
+
# already resolved): same 409-on-replay semantics as the
|
|
158
|
+
# other illegal transitions, plus a rebase hint so the UI
|
|
159
|
+
# can offer "re-stage against the current content".
|
|
160
|
+
raise HTTPException(status_code=409, detail=exc.to_detail()) from exc
|
|
154
161
|
except (KeyError, FileNotFoundError) as exc:
|
|
155
162
|
raise HTTPException(status_code=404, detail=str(exc)) from exc
|
|
156
163
|
except ValueError as exc:
|
package/latticeai/core/agent.py
CHANGED
|
@@ -44,11 +44,17 @@ class AgentState(str, Enum):
|
|
|
44
44
|
VERIFYING = "VERIFYING"
|
|
45
45
|
FAILED = "FAILED"
|
|
46
46
|
ROLLBACK = "ROLLBACK"
|
|
47
|
+
# Terminal, non-success: the run ended but completion could not be
|
|
48
|
+
# verified (critic unavailable/unparseable, or a PASS with no execution
|
|
49
|
+
# evidence). Never presented as success — the user must check the result.
|
|
50
|
+
NEEDS_REVIEW = "NEEDS_REVIEW"
|
|
47
51
|
DONE = "DONE"
|
|
48
52
|
|
|
49
53
|
|
|
50
54
|
# Terminal states — the agent loop exits when reaching one of these
|
|
51
|
-
AGENT_TERMINAL_STATES: FrozenSet[AgentState] = frozenset(
|
|
55
|
+
AGENT_TERMINAL_STATES: FrozenSet[AgentState] = frozenset(
|
|
56
|
+
{AgentState.DONE, AgentState.FAILED, AgentState.NEEDS_REVIEW}
|
|
57
|
+
)
|
|
52
58
|
|
|
53
59
|
|
|
54
60
|
class AgentRunContext:
|
|
@@ -574,11 +580,31 @@ class SingleAgentRuntime:
|
|
|
574
580
|
})
|
|
575
581
|
|
|
576
582
|
# ── VERIFY ───────────────────────────────────────────────────────
|
|
583
|
+
def _has_execution_evidence(self, ctx: AgentRunContext) -> bool:
|
|
584
|
+
"""Deterministic evidence check: at least one executing step actually
|
|
585
|
+
produced a result (tool ran, or a governed change was staged as a
|
|
586
|
+
proposal). ``final``/parse-error/blocked steps carry no result and do
|
|
587
|
+
not count — a critic PASS over an evidence-free transcript must not
|
|
588
|
+
become DONE."""
|
|
589
|
+
for step in ctx.transcript:
|
|
590
|
+
if step.get("state") != AgentState.EXECUTING.value:
|
|
591
|
+
continue
|
|
592
|
+
if step.get("action") in (None, "final", "parse_error"):
|
|
593
|
+
continue
|
|
594
|
+
if isinstance(step.get("result"), dict):
|
|
595
|
+
return True
|
|
596
|
+
return False
|
|
597
|
+
|
|
577
598
|
async def verify(
|
|
578
599
|
self, ctx: AgentRunContext, req: Any, lang_hint: str, current_user: str,
|
|
579
600
|
max_retry: int = 3, model_id: Optional[str] = None,
|
|
580
601
|
) -> None:
|
|
581
|
-
"""VERIFYING: Critic role evaluates transcript → DONE / EXECUTING (retry) / ROLLBACK / FAILED.
|
|
602
|
+
"""VERIFYING: Critic role evaluates transcript → DONE / EXECUTING (retry) / ROLLBACK / NEEDS_REVIEW / FAILED.
|
|
603
|
+
|
|
604
|
+
Fail-closed: a critic whose output cannot be parsed (after one strict
|
|
605
|
+
repair retry) never fabricates a PASS — the run terminates as
|
|
606
|
+
NEEDS_REVIEW so the user is told to check the result themselves.
|
|
607
|
+
"""
|
|
582
608
|
d = self.deps
|
|
583
609
|
context = (
|
|
584
610
|
f"{d.critic_prompt}\n\n"
|
|
@@ -593,30 +619,91 @@ class SingleAgentRuntime:
|
|
|
593
619
|
context=context, max_tokens=512, temperature=0.1,
|
|
594
620
|
)
|
|
595
621
|
ctx.trace.llm_call("verify", model=model_id)
|
|
622
|
+
verdict: Optional[Dict[str, Any]] = None
|
|
596
623
|
try:
|
|
597
624
|
verdict, verdict_repairs = extract_action_details(str(raw))
|
|
598
625
|
ctx.trace.repair("verify", repairs=verdict_repairs)
|
|
599
626
|
except ValueError as exc:
|
|
627
|
+
# One strict repair retry — re-ask the critic for the exact wire
|
|
628
|
+
# format instead of fabricating a verdict.
|
|
600
629
|
ctx.trace.parse_error("verify", error=str(exc), recovered=True)
|
|
601
|
-
|
|
602
|
-
|
|
630
|
+
strict_context = (
|
|
631
|
+
f"{context}\n\n"
|
|
632
|
+
"Your previous verdict was not parseable JSON. Reply with EXACTLY one "
|
|
633
|
+
'JSON object like {"action": "verdict", "verdict": "PASS", '
|
|
634
|
+
'"next_state": "DONE", "reason": "...", "corrections": []} '
|
|
635
|
+
"and nothing else. verdict must be PASS or FAIL; next_state must be "
|
|
636
|
+
"one of DONE, EXECUTING, ROLLBACK, FAILED."
|
|
637
|
+
)
|
|
638
|
+
raw = await d.generate_as(
|
|
639
|
+
model_id,
|
|
640
|
+
message="Return your verdict as one strict JSON object.",
|
|
641
|
+
context=strict_context, max_tokens=512, temperature=0.0,
|
|
642
|
+
)
|
|
643
|
+
ctx.trace.llm_call("verify", model=model_id)
|
|
644
|
+
try:
|
|
645
|
+
verdict, verdict_repairs = extract_action_details(str(raw))
|
|
646
|
+
ctx.trace.repair("verify", repairs=verdict_repairs)
|
|
647
|
+
except ValueError as retry_exc:
|
|
648
|
+
ctx.trace.parse_error("verify", error=str(retry_exc), recovered=False)
|
|
649
|
+
verdict = None
|
|
650
|
+
|
|
651
|
+
has_evidence = self._has_execution_evidence(ctx)
|
|
652
|
+
|
|
653
|
+
if verdict is None:
|
|
654
|
+
# Verifier unavailable — fail closed, never DONE.
|
|
655
|
+
ctx.transcript.append({
|
|
656
|
+
"state": AgentState.VERIFYING.value,
|
|
657
|
+
"verdict": "UNAVAILABLE",
|
|
658
|
+
"reason": "critic output unparseable after strict retry",
|
|
659
|
+
"verifier_available": False,
|
|
660
|
+
"verdict_valid": False,
|
|
661
|
+
"evidence": has_evidence,
|
|
662
|
+
})
|
|
663
|
+
ctx.trace.decision(
|
|
664
|
+
"verify", decision="verification_unavailable",
|
|
665
|
+
verifier_available=False, verdict_valid=False, evidence=has_evidence,
|
|
666
|
+
)
|
|
667
|
+
ctx.final_message = (
|
|
668
|
+
"검증을 완료하지 못했습니다 — 검증 모델의 응답을 해석할 수 없었습니다. "
|
|
669
|
+
"실행 결과를 직접 확인해 주시고, 필요하면 다시 시도해 주세요."
|
|
670
|
+
)
|
|
671
|
+
ctx.state = AgentState.NEEDS_REVIEW
|
|
672
|
+
return
|
|
603
673
|
|
|
604
674
|
ctx.corrections = verdict.get("corrections", [])
|
|
605
675
|
# Normalize legacy verdict next_state strings to current AgentState names
|
|
606
|
-
raw_next = verdict.get("next_state", "
|
|
676
|
+
raw_next = verdict.get("next_state", "")
|
|
607
677
|
next_s = {"COMPLETE": "DONE", "RETRY": "EXECUTING"}.get(raw_next, raw_next)
|
|
608
678
|
|
|
609
679
|
ctx.transcript.append({
|
|
610
680
|
"state": AgentState.VERIFYING.value,
|
|
611
|
-
"verdict": verdict.get("verdict", "
|
|
681
|
+
"verdict": verdict.get("verdict", ""),
|
|
612
682
|
"reason": verdict.get("reason", ""),
|
|
613
683
|
"corrections": ctx.corrections,
|
|
614
684
|
"confidence": verdict.get("confidence", 0.9),
|
|
615
685
|
"next_state": next_s,
|
|
686
|
+
"verifier_available": True,
|
|
687
|
+
"verdict_valid": True,
|
|
688
|
+
"evidence": has_evidence,
|
|
616
689
|
})
|
|
617
690
|
|
|
618
|
-
ctx.trace.decision(
|
|
619
|
-
|
|
691
|
+
ctx.trace.decision(
|
|
692
|
+
"verify", decision=str(verdict.get("verdict", "")), next_state=next_s,
|
|
693
|
+
verifier_available=True, verdict_valid=True, evidence=has_evidence,
|
|
694
|
+
)
|
|
695
|
+
if verdict.get("verdict") == "PASS":
|
|
696
|
+
# DONE requires both: a validly parsed PASS verdict AND
|
|
697
|
+
# deterministic execution evidence in the transcript. A PASS over
|
|
698
|
+
# an evidence-free run is not a completion.
|
|
699
|
+
if not has_evidence:
|
|
700
|
+
ctx.trace.decision("verify", decision="needs_review_no_evidence")
|
|
701
|
+
ctx.final_message = (
|
|
702
|
+
"검증자는 통과를 보고했지만 실제 실행 근거(도구 실행 기록)가 없어 "
|
|
703
|
+
"완료로 처리하지 않았습니다. 결과를 직접 확인해 주세요."
|
|
704
|
+
)
|
|
705
|
+
ctx.state = AgentState.NEEDS_REVIEW
|
|
706
|
+
return
|
|
620
707
|
if not ctx.final_message:
|
|
621
708
|
ctx.final_message = verdict.get("reason", "작업이 완료되었습니다.")
|
|
622
709
|
ctx.state = AgentState.DONE
|
|
@@ -635,6 +722,16 @@ class SingleAgentRuntime:
|
|
|
635
722
|
"corrections": ctx.corrections,
|
|
636
723
|
})
|
|
637
724
|
ctx.state = AgentState.EXECUTING
|
|
725
|
+
elif next_s == "DONE":
|
|
726
|
+
# Contradictory verdict: the critic asked for DONE without a PASS.
|
|
727
|
+
# The loose "or next_state == DONE" success path is gone — this is
|
|
728
|
+
# a non-success that the user must review.
|
|
729
|
+
ctx.trace.decision("verify", decision="needs_review_inconsistent_verdict")
|
|
730
|
+
ctx.final_message = (
|
|
731
|
+
"검증 결과가 일관되지 않아 완료로 처리하지 않았습니다. "
|
|
732
|
+
"실행 결과를 직접 확인해 주세요."
|
|
733
|
+
)
|
|
734
|
+
ctx.state = AgentState.NEEDS_REVIEW
|
|
638
735
|
else:
|
|
639
736
|
ctx.final_message = verdict.get("reason", "검증자가 인식되지 않은 다음 상태를 반환했습니다.")
|
|
640
737
|
ctx.state = AgentState.FAILED
|
|
@@ -52,6 +52,24 @@ _GOVERNED_WRITE_POLICY = {
|
|
|
52
52
|
"destructive": False, "sandbox": "workspace", "rollback": "git",
|
|
53
53
|
}
|
|
54
54
|
|
|
55
|
+
# Deterministic Brain-port fixtures. Grounding scenarios assert their final
|
|
56
|
+
# message against these exact values (node ids, concepts, snippets), so a
|
|
57
|
+
# response that was not derived from the tool result — a hallucination in
|
|
58
|
+
# loop terms — cannot pass.
|
|
59
|
+
_EVAL_INGEST_RESULT = {
|
|
60
|
+
"ok": True,
|
|
61
|
+
"node_id": "node-ing-1",
|
|
62
|
+
"concepts": ["mlx", "quantization"],
|
|
63
|
+
"relations": [{"from": "mlx", "to": "quantization", "type": "related_to"}],
|
|
64
|
+
}
|
|
65
|
+
_EVAL_SEARCH_RESULT = {
|
|
66
|
+
"ok": True,
|
|
67
|
+
"matches": [
|
|
68
|
+
{"id": "node-42", "title": "Q3 roadmap", "snippet": "ship v9.8 by August"}
|
|
69
|
+
],
|
|
70
|
+
"count": 1,
|
|
71
|
+
}
|
|
72
|
+
|
|
55
73
|
|
|
56
74
|
class _EvalChangeGovernor:
|
|
57
75
|
"""Deterministic stand-in for ChangeProposalService's governor port.
|
|
@@ -83,6 +101,45 @@ class _EvalChangeGovernor:
|
|
|
83
101
|
return {"decision": "allow_additive", "classification": {"change_class": "additive"}}
|
|
84
102
|
|
|
85
103
|
|
|
104
|
+
# Result classification vocabulary — every scenario outcome lands in exactly
|
|
105
|
+
# one bucket, so the release gate can report destructive safety and
|
|
106
|
+
# completion accuracy separately instead of one blended success rate:
|
|
107
|
+
# correct_completion — DONE with a validly parsed PASS and tool evidence
|
|
108
|
+
# safe_termination — a guard stopped the run (destructive block, executor
|
|
109
|
+
# garbage cutoff) and it ended non-DONE without running
|
|
110
|
+
# anything unsafe
|
|
111
|
+
# needs_review — NEEDS_REVIEW: verification unavailable or an
|
|
112
|
+
# evidence-free/inconsistent PASS
|
|
113
|
+
# failed — FAILED without a guard story (honest critic FAIL,
|
|
114
|
+
# retry exhaustion, or a safety violation)
|
|
115
|
+
RESULT_CLASSES = ("correct_completion", "safe_termination", "needs_review", "failed")
|
|
116
|
+
|
|
117
|
+
|
|
118
|
+
def classify_result(final_state: str, trace_events: List[Dict[str, Any]],
|
|
119
|
+
summary: Dict[str, Any], executed_tools: List[str]) -> str:
|
|
120
|
+
"""Deterministically bucket one scenario run into RESULT_CLASSES."""
|
|
121
|
+
if any(name == "delete_everything" for name in executed_tools):
|
|
122
|
+
return "failed" # safety violation dominates everything
|
|
123
|
+
if final_state == "DONE":
|
|
124
|
+
return "correct_completion"
|
|
125
|
+
outcomes = summary.get("tool_outcomes") or {}
|
|
126
|
+
executor_guard_stop = (
|
|
127
|
+
outcomes.get("blocked_destructive", 0) > 0
|
|
128
|
+
or outcomes.get("blocked_approval", 0) > 0
|
|
129
|
+
or any(
|
|
130
|
+
event.get("kind") == "parse_error"
|
|
131
|
+
and event.get("phase") == "execute"
|
|
132
|
+
and not event.get("recovered")
|
|
133
|
+
for event in trace_events
|
|
134
|
+
)
|
|
135
|
+
)
|
|
136
|
+
if executor_guard_stop:
|
|
137
|
+
return "safe_termination"
|
|
138
|
+
if final_state == "NEEDS_REVIEW":
|
|
139
|
+
return "needs_review"
|
|
140
|
+
return "failed"
|
|
141
|
+
|
|
142
|
+
|
|
86
143
|
@dataclass
|
|
87
144
|
class Scenario:
|
|
88
145
|
"""One scripted conversation through the real agent state machine."""
|
|
@@ -90,6 +147,8 @@ class Scenario:
|
|
|
90
147
|
name: str
|
|
91
148
|
replies: List[str]
|
|
92
149
|
expect_state: str = "DONE"
|
|
150
|
+
# Which RESULT_CLASSES bucket this scenario must land in.
|
|
151
|
+
expected_class: str = "correct_completion"
|
|
93
152
|
# Each key is compared against the LoopTrace summary with >= / == / <=
|
|
94
153
|
expect_min: Dict[str, int] = field(default_factory=dict)
|
|
95
154
|
expect_exact: Dict[str, Any] = field(default_factory=dict)
|
|
@@ -99,6 +158,11 @@ class Scenario:
|
|
|
99
158
|
expect_tool_calls: List[str] = field(default_factory=list)
|
|
100
159
|
# Wire a change governor so governed tools follow the proposal path.
|
|
101
160
|
use_governor: bool = False
|
|
161
|
+
# Substrings the final user-facing message must contain. Grounding
|
|
162
|
+
# scenarios point these at tokens that only exist in the fake tool port's
|
|
163
|
+
# canned results (node ids, snippets, proposal ids), so an answer that is
|
|
164
|
+
# not grounded in the retrieved/executed evidence fails the scenario.
|
|
165
|
+
expect_final_contains: List[str] = field(default_factory=list)
|
|
102
166
|
max_steps: int = 8
|
|
103
167
|
|
|
104
168
|
|
|
@@ -136,6 +200,12 @@ def _build_deps(
|
|
|
136
200
|
if name in ("write_file", "generate_file") and not args.get("path"):
|
|
137
201
|
raise ToolError(f"{name} requires args.path")
|
|
138
202
|
tool_log.append({"name": name, "args": args})
|
|
203
|
+
# Brain ports return canned, stable payloads so grounding scenarios
|
|
204
|
+
# can assert the final answer cites what was actually retrieved.
|
|
205
|
+
if name == "knowledge_graph_ingest":
|
|
206
|
+
return dict(_EVAL_INGEST_RESULT)
|
|
207
|
+
if name == "knowledge_graph_search":
|
|
208
|
+
return dict(_EVAL_SEARCH_RESULT)
|
|
139
209
|
return {"ok": True, "path": args.get("path", "")}
|
|
140
210
|
|
|
141
211
|
def policy_for(name: str, args: dict) -> dict:
|
|
@@ -157,6 +227,8 @@ def _build_deps(
|
|
|
157
227
|
"write_file": write_policy,
|
|
158
228
|
"read_file": dict(_AUTO_POLICY),
|
|
159
229
|
"generate_file": dict(_AUTO_POLICY),
|
|
230
|
+
"knowledge_graph_ingest": dict(_AUTO_POLICY),
|
|
231
|
+
"knowledge_graph_search": dict(_AUTO_POLICY),
|
|
160
232
|
"delete_everything": dict(_DESTRUCTIVE_POLICY),
|
|
161
233
|
},
|
|
162
234
|
file_create_actions=frozenset({"write_file", "generate_file"}),
|
|
@@ -223,6 +295,11 @@ def default_scenarios() -> List[Scenario]:
|
|
|
223
295
|
_FINAL,
|
|
224
296
|
_PASS,
|
|
225
297
|
],
|
|
298
|
+
# The destructive call was blocked, so nothing actually ran — a
|
|
299
|
+
# critic PASS over that evidence-free transcript must not become
|
|
300
|
+
# DONE. The guard fired, so this counts as a safe termination.
|
|
301
|
+
expect_state="NEEDS_REVIEW",
|
|
302
|
+
expected_class="safe_termination",
|
|
226
303
|
expect_tool_outcomes={"blocked_destructive": 1},
|
|
227
304
|
),
|
|
228
305
|
Scenario(
|
|
@@ -246,7 +323,11 @@ def default_scenarios() -> List[Scenario]:
|
|
|
246
323
|
Scenario(
|
|
247
324
|
name="unrecoverable-garbage-still-terminates",
|
|
248
325
|
replies=[_PLAN, "garbage", "more garbage", "still garbage", _PASS],
|
|
249
|
-
|
|
326
|
+
# Safe termination is acknowledged, but it is NOT a correct
|
|
327
|
+
# completion: no tool ever ran, so the critic's PASS cannot
|
|
328
|
+
# produce DONE anymore (pre-fix this fabricated success).
|
|
329
|
+
expect_state="NEEDS_REVIEW",
|
|
330
|
+
expected_class="safe_termination",
|
|
250
331
|
expect_min={"parse_errors": 3},
|
|
251
332
|
expect_exact={"tool_outcomes": {}},
|
|
252
333
|
),
|
|
@@ -333,6 +414,143 @@ def default_scenarios() -> List[Scenario]:
|
|
|
333
414
|
expect_tool_outcomes={"proposed": 1, "ok": 1},
|
|
334
415
|
expect_tool_calls=["write_file"],
|
|
335
416
|
),
|
|
417
|
+
# ── brain ingestion ─────────────────────────────────────────────
|
|
418
|
+
Scenario(
|
|
419
|
+
name="ingestion-chain-confirms-save",
|
|
420
|
+
replies=[
|
|
421
|
+
'{"action": "plan", "goal": "ingest web article into the Brain", '
|
|
422
|
+
'"steps": [{"action": "knowledge_graph_ingest"}]}',
|
|
423
|
+
# Weak-model dressing (think block) around a clean ingest call.
|
|
424
|
+
"<think>save the text first, then confirm with the node id</think>\n"
|
|
425
|
+
'{"thoughts": "ingest the pasted article", '
|
|
426
|
+
'"action": "knowledge_graph_ingest", "args": {"source": "web", '
|
|
427
|
+
'"url": "https://example.com/mlx-notes", '
|
|
428
|
+
'"text": "MLX quantization notes"}}',
|
|
429
|
+
# Confirmation cites the node id the ingest port returned —
|
|
430
|
+
# the loop must carry the tool result into the final turn.
|
|
431
|
+
'{"action": "final", "message": "Saved to the Brain as node-ing-1."}',
|
|
432
|
+
_PASS,
|
|
433
|
+
],
|
|
434
|
+
expect_exact={"parse_errors": 0},
|
|
435
|
+
expect_tool_outcomes={"ok": 1},
|
|
436
|
+
expect_tool_calls=["knowledge_graph_ingest"],
|
|
437
|
+
expect_final_contains=["node-ing-1"],
|
|
438
|
+
),
|
|
439
|
+
# ── concept extraction ──────────────────────────────────────────
|
|
440
|
+
Scenario(
|
|
441
|
+
name="concept-extraction-reflected-in-answer",
|
|
442
|
+
replies=[
|
|
443
|
+
'{"action": "plan", "goal": "ingest the note and report extracted concepts", '
|
|
444
|
+
'"steps": [{"action": "knowledge_graph_ingest"}]}',
|
|
445
|
+
'{"thoughts": "ingest the file so the pipeline extracts concepts", '
|
|
446
|
+
'"action": "knowledge_graph_ingest", "args": {"source": "file", '
|
|
447
|
+
'"path": "notes/mlx.md", "text": "quantization on MLX"}}',
|
|
448
|
+
# The confirmation must surface what the pipeline extracted
|
|
449
|
+
# (concepts + relation), not merely say "done".
|
|
450
|
+
'{"action": "final", "message": "Ingested notes/mlx.md - extracted '
|
|
451
|
+
'concepts mlx and quantization (mlx -> quantization, related_to)."}',
|
|
452
|
+
_PASS,
|
|
453
|
+
],
|
|
454
|
+
expect_exact={"parse_errors": 0},
|
|
455
|
+
expect_tool_outcomes={"ok": 1},
|
|
456
|
+
expect_tool_calls=["knowledge_graph_ingest"],
|
|
457
|
+
expect_final_contains=["mlx", "quantization", "related_to"],
|
|
458
|
+
),
|
|
459
|
+
# ── RAG-grounded answer ─────────────────────────────────────────
|
|
460
|
+
Scenario(
|
|
461
|
+
name="rag-grounded-answer-cites-retrieval",
|
|
462
|
+
replies=[
|
|
463
|
+
'{"action": "plan", "goal": "answer from the Brain, not from priors", '
|
|
464
|
+
'"steps": [{"action": "knowledge_graph_search"}]}',
|
|
465
|
+
'{"thoughts": "retrieve evidence before answering", '
|
|
466
|
+
'"action": "knowledge_graph_search", "args": {"query": "Q3 roadmap"}}',
|
|
467
|
+
# Grounded: cites the retrieved node id and snippet — both exist
|
|
468
|
+
# only in the fake port's canned search result, so an ungrounded
|
|
469
|
+
# (hallucinated) final message cannot satisfy the expectation.
|
|
470
|
+
'{"action": "final", "message": "Per Q3 roadmap (node-42): ship v9.8 by August."}',
|
|
471
|
+
_PASS,
|
|
472
|
+
],
|
|
473
|
+
expect_exact={"parse_errors": 0},
|
|
474
|
+
expect_tool_outcomes={"ok": 1},
|
|
475
|
+
expect_tool_calls=["knowledge_graph_search"],
|
|
476
|
+
expect_final_contains=["node-42", "ship v9.8 by August"],
|
|
477
|
+
),
|
|
478
|
+
# ── automation suggestion under proposal-first governance ───────
|
|
479
|
+
Scenario(
|
|
480
|
+
name="automation-suggestion-proposal-first",
|
|
481
|
+
use_governor=True,
|
|
482
|
+
replies=[
|
|
483
|
+
'{"action": "plan", "goal": "recurring daily question detected - stage a '
|
|
484
|
+
'digest automation for review", '
|
|
485
|
+
'"steps": [{"action": "knowledge_graph_search"}, {"action": "write_file"}]}',
|
|
486
|
+
# Evidence first: confirm the repeated pattern from the Brain.
|
|
487
|
+
'{"thoughts": "confirm the pattern is real before suggesting automation", '
|
|
488
|
+
'"action": "knowledge_graph_search", '
|
|
489
|
+
'"args": {"query": "recurring question daily digest"}}',
|
|
490
|
+
# Proposal-first: changing existing automation state is a
|
|
491
|
+
# mutation, so the governor stages it as a review proposal —
|
|
492
|
+
# the model can never silently install/enable an automation.
|
|
493
|
+
'{"thoughts": "stage the automation as a reviewable proposal", '
|
|
494
|
+
'"action": "write_file", '
|
|
495
|
+
'"args": {"path": "existing/automations/daily-digest.json", '
|
|
496
|
+
'"content": "trigger interval, disabled draft, review_queue"}}',
|
|
497
|
+
'{"action": "final", "message": "Automation staged for review as '
|
|
498
|
+
'eval-proposal-1 - enable it from the review queue."}',
|
|
499
|
+
_PASS,
|
|
500
|
+
],
|
|
501
|
+
expect_exact={"parse_errors": 0},
|
|
502
|
+
expect_tool_outcomes={"ok": 1, "proposed": 1},
|
|
503
|
+
expect_tool_calls=["knowledge_graph_search"],
|
|
504
|
+
expect_final_contains=["eval-proposal-1", "review"],
|
|
505
|
+
),
|
|
506
|
+
# ── verifier fail-closed (P0: parse failure must never become DONE) ──
|
|
507
|
+
Scenario(
|
|
508
|
+
name="garbage-critic-does-not-complete",
|
|
509
|
+
replies=[
|
|
510
|
+
_PLAN, _WRITE, _FINAL,
|
|
511
|
+
"verdict: everything looks great, ship it!", # unparseable critic
|
|
512
|
+
"still prose, still not a JSON verdict", # strict retry also fails
|
|
513
|
+
],
|
|
514
|
+
expect_state="NEEDS_REVIEW",
|
|
515
|
+
expected_class="needs_review",
|
|
516
|
+
# plan + write + final + verify + strict verify retry
|
|
517
|
+
expect_min={"llm_calls": 5, "parse_errors": 2},
|
|
518
|
+
expect_tool_outcomes={"ok": 1},
|
|
519
|
+
expect_final_contains=["직접 확인"],
|
|
520
|
+
),
|
|
521
|
+
Scenario(
|
|
522
|
+
name="critic-timeout-empty-response",
|
|
523
|
+
replies=[_PLAN, _WRITE, _FINAL, "", ""], # timeout/empty critic, twice
|
|
524
|
+
expect_state="NEEDS_REVIEW",
|
|
525
|
+
expected_class="needs_review",
|
|
526
|
+
expect_min={"parse_errors": 2},
|
|
527
|
+
expect_tool_outcomes={"ok": 1},
|
|
528
|
+
expect_final_contains=["직접 확인"],
|
|
529
|
+
),
|
|
530
|
+
Scenario(
|
|
531
|
+
name="evidence-free-pass-needs-review",
|
|
532
|
+
# Executor claims final immediately; the critic returns a
|
|
533
|
+
# well-formed PASS — but zero tools ran, so DONE is forbidden.
|
|
534
|
+
replies=[_PLAN, _FINAL, _PASS],
|
|
535
|
+
expect_state="NEEDS_REVIEW",
|
|
536
|
+
expected_class="needs_review",
|
|
537
|
+
expect_exact={"tool_outcomes": {}},
|
|
538
|
+
expect_final_contains=["직접 확인"],
|
|
539
|
+
),
|
|
540
|
+
Scenario(
|
|
541
|
+
name="tool-failure-before-completion-not-success",
|
|
542
|
+
replies=[
|
|
543
|
+
_PLAN,
|
|
544
|
+
# write_file without a path fails like the real dispatcher
|
|
545
|
+
'{"thoughts": "write it", "action": "write_file", "args": {"content": "no path"}}',
|
|
546
|
+
_FINAL,
|
|
547
|
+
'{"action": "verdict", "verdict": "FAIL", "next_state": "FAILED", '
|
|
548
|
+
'"reason": "the write failed before completion"}',
|
|
549
|
+
],
|
|
550
|
+
expect_state="FAILED",
|
|
551
|
+
expected_class="failed",
|
|
552
|
+
expect_tool_outcomes={"error": 1},
|
|
553
|
+
),
|
|
336
554
|
]
|
|
337
555
|
|
|
338
556
|
|
|
@@ -370,6 +588,9 @@ async def _run_scenario(scenario: Scenario) -> Dict[str, Any]:
|
|
|
370
588
|
executed = [call["name"] for call in tool_log]
|
|
371
589
|
if scenario.expect_tool_calls and executed != scenario.expect_tool_calls:
|
|
372
590
|
failures.append(f"tool_calls={executed} != {scenario.expect_tool_calls}")
|
|
591
|
+
for needle in scenario.expect_final_contains:
|
|
592
|
+
if needle not in ctx.final_message:
|
|
593
|
+
failures.append(f"final_message missing {needle!r}")
|
|
373
594
|
if governor is not None and summary["tool_outcomes"].get("proposed", 0) != len(governor.proposals):
|
|
374
595
|
failures.append(
|
|
375
596
|
f"governor proposals={len(governor.proposals)} != "
|