@tea-agent/loop-agent 0.42.0-next.13 → 0.42.0-next.15

package/dist/workflows/dag/node-execution.js

@@ -21,6 +21,7 @@ import "./contract-validator-registrations.js";
 import { computeNormalizedFailureFingerprint } from "./frontend-recovery-lineage.js";
 import { parseLedgerJson } from "../../task/source-prepare/ledger.js";
 import { readTypedEventStoreFromJsonl } from "./frontend-typed-event-store.js";
+import { collectCanonicalStateFlowNames, extractRequiredDeliverablePaths, resolveFrontendContractRequirements, } from "./frontend-contract-facts.js";
 import { allowedRepairReadPaths, auditRepairAttemptToolUse, buildStructuredOutputRepairPrompt, freezeStructuredOutputRepairContext, hasNonEmptyStructuredCandidate, isFrontendStructuredRepairSchemaId, isStructuredRepairableFailureCategory, persistStructuredAttemptRaw, sessionEventsByteLength, GOVERNANCE_BLOCKED_CATEGORY, STRUCTURED_REPAIR_EXHAUSTED_CATEGORY, } from "./structured-output-repair.js";
 import { readFrontendCanonicalCandidate } from "./frontend-implementation-contract.js";
 import { writeDagNodeJsonArtifact } from "../../infrastructure/harness/artifact-store.js";
@@ -325,6 +326,8 @@ const FRONTEND_CONTRACT_RECORD_TOOL_NAMES_LOCAL = new Set([
     "record_handoff_intent",
     "record_open_question",
     "record_split_proposal",
+    "record_ui_state",
+    "record_required_deliverables",
 ]);
 async function countContractRecordSubmissions(runDir, nodeId) {
     const eventsPath = path.join(runDir, nodeId, "session-events.jsonl");
@@ -553,8 +556,9 @@ export function renderFrontendPlanInputContext(input) {
         : []);
     const contractFacts = committedFacts(input.contractRecords);
     const scoutFacts = committedFacts(input.scoutRecords);
-    const requirements = contractFacts
-        .filter((fact) => fact.kind === "requirement" && fact.origin === "contract")
+    const requirementFacts = resolveFrontendContractRequirements(contractFacts);
+    const requiredDeliverables = extractRequiredDeliverablePaths(contractFacts);
+    const requirements = requirementFacts
         .map((fact) => ({
         id: planInputText(fact.id, 80),
         text: planInputText(fact.text),
@@ -580,19 +584,28 @@ export function renderFrontendPlanInputContext(input) {
         paths: fact.paths,
         conflicts: fact.conflicts,
     }));
+    // Authoritative UI states (contract-declared): the source's UI-state table
+    // extracted by the contract node. The planner binds these ids instead of
+    // inventing list-visibility variants.
+    const declaredUiStates = contractFacts
+        .filter((fact) => fact.kind === "ui-state-declaration" && fact.origin === "contract")
+        .map((fact) => ({
+        id: planInputText(fact.id, 80),
+        trigger: planInputText(fact.trigger),
+        observableOutcome: planInputText(fact.observableOutcome),
+    }))
+        .filter((state) => state.id !== undefined);
+    // Replay registry edits and state-flow removals/additions in commit order.
+    const committedUxNames = collectCanonicalStateFlowNames(input.planRecords ?? [], true);
+    const committedUiStateNames = [...committedUxNames.uiStateNames];
+    const committedInteractionNames = [...committedUxNames.interactionNames];
     // Reviewer-rubric scaffold: the design reviewer re-runs the design-policy
     // checks on the committed facts, so publish the checklist to the producer.
     // Requirements whose contract evidence expects behavioural verification are
     // enumerated explicitly — those are the slots the reviewer finds missing
     // when the plan models interactions ad hoc (r8/r9 findings).
-    const behaviorRequiredIds = requirements
-        .filter((requirement) => {
-        const fact = contractFacts.find((candidate) => candidate.kind === "requirement" &&
-            candidate.origin === "contract" &&
-            candidate.id === requirement.id);
-        const evidence = fact?.evidence;
-        return evidence?.behavior === "required";
-    })
+    const behaviorRequiredIds = requirementFacts
+        .filter((requirement) => requirement.evidence.behavior === "required")
         .map((requirement) => requirement.id);
     const serializeAtCap = (cap) => JSON.stringify({
         requirements: requirements.map((requirement) => ({
@@ -600,6 +613,7 @@ export function renderFrontendPlanInputContext(input) {
             text: planInputText(requirement.text, cap.text),
             sourceFragmentIds: planInputStrings(requirement.sourceFragmentIds).slice(0, cap.array),
         })),
+        requiredDeliverables,
         targetSurface: targetSurface.map((surface) => ({
             completeness: planInputText(surface.completeness, 32),
             entrypoint: planInputText(surface.entrypoint, cap.text),
@@ -615,6 +629,18 @@ export function renderFrontendPlanInputContext(input) {
             paths: planInputStrings(evidence.paths).slice(0, cap.array),
             conflicts: planInputStrings(evidence.conflicts).slice(0, cap.array),
         })),
+        declaredUiStates: declaredUiStates.map((state) => ({
+            id: state.id,
+            trigger: planInputText(state.trigger, cap.text),
+            observableOutcome: planInputText(state.observableOutcome, cap.text),
+        })),
+        committedUx: committedUiStateNames.length > 0 ||
+            committedInteractionNames.length > 0
+            ? {
+                uiStateNames: committedUiStateNames,
+                interactionNames: committedInteractionNames,
+            }
+            : undefined,
     });
     let serialized = serializeAtCap(FRONTEND_PLAN_INPUT_CAP_LADDER[0]);
     for (const cap of FRONTEND_PLAN_INPUT_CAP_LADDER.slice(1)) {
@@ -628,6 +654,7 @@ export function renderFrontendPlanInputContext(input) {
         // to the minimum, and declare the degradation instead of corrupting JSON.
         let fallback = {
             degraded: "requirement-texts-truncated",
+            requiredDeliverables,
             requirements: requirements.map((requirement) => ({
                 id: requirement.id,
                 text: "(truncated)",
@@ -652,20 +679,20 @@ export function renderFrontendPlanInputContext(input) {
         serialized = bounded;
     }
     const checklistLines = [
-        "1. Every interaction you record needs a uiComponentChoices entry whose purpose equals the interaction name, or one decision=reuse-existing choice covering behavioural interactions.",
-        "2. Every applicable UI state needs a purpose-matching component choice or a stylingStrategy.",
-        "3. Every requirement marked (behavior) below needs modelled interactions plus at least one verification target that references it.",
-        "4. targets.files must name the concrete deliverable files; never leave the scope broader than the frozen requirements state.",
+        "1. Record the GLOBAL UX vocabulary with record_state_registry BEFORE any record_state_flow: one stable behavior-domain name per state/interaction (e.g. planner-task-edit), never one name per AC number, and never a rename of an already-recorded concept. Coverage slices by AC; UX does not.",
+        "2. Every recorded interaction/uiState name must be in that registry, and uiState names must use the contract's declared authoritative ids (declaredUiStates below) when present.",
+        "3. Every interaction and every applicable UI state must be covered by a uiComponentChoices entry: its purpose equals the name, or the choice lists the name in covers (one choice may cover many ids). A reuse-existing decision without evidencePath is rejected; stylingStrategy alone covers nothing.",
+        "4. Every requirement marked (behavior) below needs modelled interactions plus at least one verification target that references it.",
         "5. Verification targets may only reference UI states and requirements you actually recorded (the record_* tools reject unknown references).",
         `Requirements requiring behavioural coverage: ${behaviorRequiredIds.length > 0 ? behaviorRequiredIds.join(", ") : "(none)"}`,
-        "6. A decision=new component must declare sourceRequirementIds and pass sourceFragmentId for the frozen PRD fragment whose section matches the component's purpose — the runtime validates that binding and derives specReference (path/section/line); the reviewer checks purpose↔citation consistency.",
+        "6. A decision=new component must declare sourceRequirementIds and pass sourceFragmentId for the frozen PRD fragment whose section matches the component's purpose — the runtime validates that binding and derives specReference (path/section/line); the reviewer checks purpose↔citation consistency. A decision=reuse-existing component must pass evidencePath pointing at the existing repo file that proves the reuse.",
         ...[...input.componentSourceCitations ?? []]
             .filter(([id]) => behaviorRequiredIds.includes(id))
             .flatMap(([id, citations]) => citations.map((citation) => `   ${id} + ${citation.fragmentId} → ${citation.section}${citation.line ? ` (line ${citation.line})` : ""}`)),
     ];
     return [
         "<frontend_plan_input>",
-        "Committed Contract/Scout facts, compiled by the runner. Treat them as the complete planning evidence.",
+        "Committed Contract/Scout facts, compiled by the runner. Treat them as the complete planning evidence. declaredUiStates are the authoritative UI states from the task source; committedUx (retry attempts) is the UX vocabulary already recorded — reuse those names, never re-invent them.",
         serialized,
         "Do not read upstream artifacts, task sources, or repository files. If this input cannot support a decision, record a genuine evidence gap.",
         "</frontend_plan_input>",
@@ -692,6 +719,16 @@ export async function buildFrontendPlanInputContext(runDir, componentSourceCitat
         // forbids reading anything.
         throw new Error(`frontend-plan-input-unavailable: cannot read committed typed facts (${error instanceof Error ? error.message : String(error)})`);
     }
+    // Retry-attempt continuity (UX slice visibility): the plan node's own
+    // committed facts are absent on the first attempt and present on retries;
+    // a missing file is normal there, not a broken pipeline.
+    let planRecords = [];
+    try {
+        planRecords = await readTypedEventStoreFromJsonl(path.join(runDir, "frontend-plan-pi", "plan-typed-facts.jsonl"));
+    }
+    catch {
+        planRecords = [];
+    }
     const committedCount = [...contractRecords, ...scoutRecords].filter((record) => record.phase === "committed").length;
     if (committedCount === 0) {
         throw new Error(`frontend-plan-input-unavailable: no committed Contract/Scout facts in ${contractFactsPath} / ${scoutFactsPath}`);
@@ -699,6 +736,7 @@ export async function buildFrontendPlanInputContext(runDir, componentSourceCitat
     return renderFrontendPlanInputContext({
         contractRecords,
         scoutRecords,
+        planRecords,
         componentSourceCitations,
     });
 }

package/docs/operations/README.md

@@ -11,5 +11,6 @@
 - [`production-readiness.md`](production-readiness.md)：交付前的生产就绪判断。
 - [`agent-worker-production-readiness.md`](agent-worker-production-readiness.md)：agent-worker Feature/Task Pool 外层编排的 Production Readiness v1 操作合同。
 - [`backend-test-jacoco-coverage.md`](backend-test-jacoco-coverage.md)：Java 被测服务挂载 JaCoCo tcpserver agent 的 Maven、`java -jar` 与 Docker 操作手册。
+- [`console-chat-dogfood-playbook.md`](console-chat-dogfood-playbook.md)：Operator Chat（含 Explore 子 Agent）真实模型 dogfood 的 CLI 驱动步骤、mutation 双 token / SSE 超时 / question 应答等已知陷阱与验证方式。
 
 验证命令仍以 [`../governance/verification-matrix.md`](../governance/verification-matrix.md) 为准。

package/docs/templates/frontend-implementation-contract.schema.json

@@ -58,6 +58,12 @@
             "type": "string",
             "minLength": 1
           }
+        },
+        "requiredDeliverables": {
+          "type": "array",
+          "items": {
+            "$ref": "#/$defs/path"
+          }
         }
       }
     },
@@ -433,8 +439,7 @@
         "required": [
           "purpose",
           "component",
-          "decision",
-          "rationale"
+          "decision"
         ],
         "properties": {
           "purpose": {
@@ -465,6 +470,16 @@
           "rationale": {
             "type": "string",
             "minLength": 1
+          },
+          "covers": {
+            "type": "array",
+            "items": {
+              "type": "string",
+              "minLength": 1
+            }
+          },
+          "evidencePath": {
+            "$ref": "#/$defs/path"
           }
         },
         "allOf": [
@@ -511,6 +526,23 @@
                 }
               }
             }
+          },
+          {
+            "if": {
+              "properties": {
+                "decision": {
+                  "const": "reuse-existing"
+                }
+              },
+              "required": [
+                "decision"
+              ]
+            },
+            "then": {
+              "required": [
+                "evidencePath"
+              ]
+            }
           }
         ]
       }

package/harness.json

@@ -82,7 +82,7 @@
   "executors": {
     "pi": {
       "description": "Pi 负责规划、评审、诊断；当 DAG toolProfile=write 时也可做有界写入。模型按复杂度三档配置，支持 provider/model 字符串或带 thinking 的对象；斜杠前为 Pi provider，后为 modelId，勿只写裸 modelId。",
-      "LOW": "wizard-local/minimax-m3",
+      "LOW": "wizard-local/glm-5.3-flash",
 			"MED": "wizard-local/glm-5.3",
       "HIGH": "wizard-local/gpt-5.6-sol"
     }

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@tea-agent/loop-agent",
-  "version": "0.42.0-next.13",
+  "version": "0.42.0-next.15",
   "type": "module",
   "bin": {
     "loop-agent": "bin/loop-agent.js",
@@ -107,6 +107,5 @@
     "typescript": "^5.9.3",
     "vite": "^7.0.0",
     "vitest": "^4.1.11"
-  },
-  "packageManager": "pnpm@10.33.0+sha512.10568bb4a6afb58c9eb3630da90cc9516417abebd3fabbe6739f0ae795728da1491e9db5a544c76ad8eb7570f5c4bb3d6c637b2cb41bfdcdb47fa823c8649319"
+  }
 }

package/skills/frontend-plan/SKILL.md

@@ -21,6 +21,14 @@ requirement coverage, component/styling choices, applicable states and interacti
 data/Mock strategy, deviations, and dependency policy. Process a bounded requirement
 slice and record facts immediately rather than reasoning over the whole task first.
 
+UX vocabulary is global, not per-requirement: commit `record_state_registry`
+(one stable behavior-domain name per state/interaction) before any
+`record_state_flow`, bind UI states to the contract's declared authoritative ids,
+and let one component choice cover many ids via `covers`. `reuse-existing` must
+cite `evidencePath` of an existing file; greenfield is `decision=new`.
+Bind every file in the Contract-owned `requiredDeliverables` inventory. It records
+explicit source obligations, not every path mentioned by a requirement.
+
 The runtime owns protected skeleton fields, path/command validation, materialization,
 and final schema checks. Finish with exactly one `finalize_plan`; return no Markdown
 narrative. Record a genuine evidence gap when frozen facts are insufficient.

package/skills/frontend-plan/references/decision-contract.md

@@ -36,12 +36,29 @@ the task's declared scope. Capabilities the task source lists as non-goals (e.g.
 responsive/mobile layout, animations) must not be promised here, and themes or
 CSS conventions must not be claimed without a Scout-confirmed repository fact.
 
+## UX vocabulary (registry first)
+
+- Record `record_state_registry` BEFORE any `record_state_flow`: one compact
+  global vocabulary of UI-state and interaction names. Coverage may slice by
+  requirement; UX must not — never one name per requirement number and never a
+  rename of an already-recorded concept (kebab-case behavior-domain names, e.g.
+  `planner-task-edit`, `focus-queue-move`).
+- UI states use the contract's declared authoritative ids (`declaredUiStates`
+  in the plan input) when the source declares a state table.
+- Retry slices see `committedUx` in the plan input: reuse those exact names.
+
 ## Global decisions
 
 Keep route/component placement, Mock/data strategy, and dependency/deviation policy
 as explicit global decisions rather than duplicating them across each requirement.
 Use only frozen command labels and Scout-confirmed paths.
 
+Component choices: ONE choice may cover many UI states/interactions explicitly via
+`covers` — never one row per interaction. `decision=reuse-existing` REQUIRES
+`evidencePath` naming the existing repo file that proves the reuse (the runtime
+verifies the file exists); a path that does not exist yet is greenfield and must
+use `decision=new`.
+
 For Mock/API, keep the real request path enabled by default. Select only a strategy
 allowed by the frozen task capability. Active Mock requires deterministic Mock-backed
 verification and production-default-off activation. `not-needed` requires positive
@@ -54,6 +71,12 @@ widen the write set.
 ## Runtime-owned fields and terminal
 
 The runtime owns `schemaVersion`, `sourceBinding`, risk, canonical target files,
-aliases, command allowlisting, path containment, and final validation. Submit only
-editable decision facts, then call `finalize_plan` exactly once. The deterministic
-design policy materializes the canonical implementation contract.
+`requiredDeliverables`, aliases, command allowlisting, path containment, and final
+validation. Submit only editable decision facts, then call `finalize_plan` exactly
+once. The deterministic design policy materializes the canonical implementation
+contract: every file in the Contract's explicit source-bound delivery inventory
+must be planned (`requiredDeliverables` gate). Permissions, prohibitions, examples
+and read-only references do not create delivery obligations. Plan receives this
+inventory as `requiredDeliverables`; it cannot add, remove or reinterpret it.
+Missing files and UX name collisions are reported by finalize_plan before commit
+and checked again by the policy shell.

package/dist/worker/console/static/assets/channel-CXqdP5pW.js

@@ -1 +0,0 @@
-import{ag as o,ah as n}from"./mermaid.core-BRJNIM6p.js";const t=(a,r)=>o.lang.round(n.parse(a)[r]);export{t as c};

package/dist/worker/console/static/assets/classDiagram-JCYQIIEL-D9C3agF7.js

@@ -1 +0,0 @@
-import{s as a,c as s,a as e,C as t}from"./chunk-GF5L2VYU-CP_nYuCV.js";import{_ as i}from"./mermaid.core-BRJNIM6p.js";import"./chunk-5VM5RSS4-BlVZrbtM.js";import"./chunk-XXDRQBXY-DHdUgjS-.js";import"./chunk-KBJHAD2P-CyUki8wp.js";import"./chunk-2GRJ4B5K-DGXplIJs.js";import"./index-DhfjOafu.js";var n={parser:e,get db(){return new t},renderer:s,styles:a,init:i(r=>{r.class||(r.class={}),r.class.arrowMarkerAbsolute=r.arrowMarkerAbsolute},"init")};export{n as diagram};

package/dist/worker/console/static/assets/classDiagram-v2-OCEON4UE-D9C3agF7.js

@@ -1 +0,0 @@
-import{s as a,c as s,a as e,C as t}from"./chunk-GF5L2VYU-CP_nYuCV.js";import{_ as i}from"./mermaid.core-BRJNIM6p.js";import"./chunk-5VM5RSS4-BlVZrbtM.js";import"./chunk-XXDRQBXY-DHdUgjS-.js";import"./chunk-KBJHAD2P-CyUki8wp.js";import"./chunk-2GRJ4B5K-DGXplIJs.js";import"./index-DhfjOafu.js";var n={parser:e,get db(){return new t},renderer:s,styles:a,init:i(r=>{r.class||(r.class={}),r.class.arrowMarkerAbsolute=r.arrowMarkerAbsolute},"init")};export{n as diagram};

package/dist/worker/console/static/assets/stateDiagram-v2-UEYNNEHI-Tp7V0U4q.js

@@ -1 +0,0 @@
-import{s as r,b as e,a,S as s}from"./chunk-5RXB4S5H-D1KqU_Vi.js";import{_ as i}from"./mermaid.core-BRJNIM6p.js";import"./chunk-XXDRQBXY-DHdUgjS-.js";import"./chunk-KBJHAD2P-CyUki8wp.js";import"./chunk-2GRJ4B5K-DGXplIJs.js";import"./index-DhfjOafu.js";var u={parser:a,get db(){return new s(2)},renderer:e,styles:r,init:i(t=>{t.state||(t.state={}),t.state.arrowMarkerAbsolute=t.arrowMarkerAbsolute},"init")};export{u as diagram};

package/dist/worker/console/static/assets/swimlanesDiagram-ULZ7WXOC-DUZWZWi8.js

@@ -1,8 +0,0 @@
-import{c as r,s as e}from"./flowDiagram-UKHOOZJN-C-zc6-kB.js";import{_ as a}from"./mermaid.core-BRJNIM6p.js";import"./chunk-5VM5RSS4-BlVZrbtM.js";import"./chunk-XXDRQBXY-DHdUgjS-.js";import"./chunk-KBJHAD2P-CyUki8wp.js";import"./chunk-2GRJ4B5K-DGXplIJs.js";import"./channel-CXqdP5pW.js";import"./index-DhfjOafu.js";var o=a(t=>`${e(t)}
-  .swimlane.cluster rect {
-    stroke: ${t.clusterBorder} !important;
-  }
-  [data-look="neo"].cluster rect {
-    filter: none;
-  }
-`,"getStyles"),s=o,n=r({defaultLayout:"swimlane",styles:s});export{n as diagram};