@tea-agent/loop-agent 0.42.0-next.14 → 0.42.0-next.16

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/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@tea-agent/loop-agent",
-  "version": "0.42.0-next.14",
+  "version": "0.42.0-next.16",
   "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

@@ -4,7 +4,7 @@ description: Use only for the tool-only frontend decision planning node.
 references:
   - path: references/decision-contract.md
     required: true
-    maxChars: 5200
+    maxChars: 5600
   - path: references/design-decisions.md
     required: true
     maxChars: 3400
@@ -21,6 +21,19 @@ 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.
+
+Cross-slice citations must close in the same session: when a requirement cites a
+verification target committed in another slice's session, re-commit that target
+here with the same id and `replace=true` (union backfill) before finalize. A
+`duplicate` receipt is a correction invitation, not a prohibition.
+
 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

@@ -16,11 +16,9 @@
 
 ### Behavior target shape (canonical example)
 
-Behavior targets are machine-traced evidence: each one must name the requirements
-it proves and the declared UI states it exercises. Empty `requirementIds` or empty
-`uiStates` (when the contract declares any UI state or interaction) is rejected at
-plan validation — fix the mapping, do not resubmit unchanged. State names must be
-copied verbatim from the declared `uiStates`; never invent synonyms.
+Each behavior target names the requirements it proves and declared UI states it
+exercises. Empty `requirementIds`, or empty `uiStates` when any state/interaction
+is declared, is rejected. Copy state names verbatim; never invent synonyms.
 
 ```json
 {
@@ -36,11 +34,81 @@ 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.
 
+### UI state declaration shape (canonical example)
+
+Use the exact state names referenced by behavior targets. Each applicable state
+carries behavior, implementation targets, and verification target ids:
+
+```json
+{
+  "uiStates": [
+    {
+      "name": "disabled-minus",
+      "applicable": true,
+      "expectedBehavior": "minus button disabled at count 0",
+      "implementationTargets": ["src/components/SmokeCounter.tsx"],
+      "verificationTargetIds": ["VT-COUNTER-LOCAL-CONSTRAINTS"]
+    }
+  ],
+  "interactions": [
+    {
+      "name": "refresh",
+      "trigger": "User clicks refresh",
+      "expectedBehavior": "reloads runs",
+      "implementationTargets": ["src/App.tsx"],
+      "verificationTargetIds": ["VT-SMOKE-COUNTER-BEHAVIOR"]
+    }
+  ]
+}
+```
+
+### Implementation target coverage (canonical example)
+
+`targets.files` is the union of every requirement's `implementationTargets`; list
+each required component, integration point, and sibling source. Admission adds
+non-static verification target files to the writer writeSet separately.
+
+```json
+{
+  "id": "AC-FE-001",
+  "implementationTargets": [
+    "src/components/SmokeCounter.tsx",
+    "src/App.tsx"
+  ],
+  "verificationTargetIds": [
+    "VT-SMOKE-COUNTER-BEHAVIOR",
+    "VT-COUNTER-LOCAL-CONSTRAINTS"
+  ]
+}
+```
+
+### Bidirectional VT cross-reference invariant
+
+Every requirement → VT citation must close in both directions: the cited VT's
+`requirementIds` must list the citing requirement back. The checker reports the
+missing direction; fix it in-node by re-submitting the corrected VT entry with
+the same id and `replace=true`. `replace` is a full replacement: the latest
+submission under an id becomes the authoritative entry (a subset re-submission
+is the new rule). A `duplicate` receipt is a correction invitation, not a
+prohibition, and a reverse-reference backfill is not "re-deriving committed
+facts".
+
+## UX vocabulary (registry first)
+
+- Record `record_state_registry` BEFORE `record_state_flow`: one global vocabulary.
+  Coverage may slice by requirement; UX must not. Use stable kebab-case behavior
+  names, never AC-number-derived names or renamed committed concepts.
+- 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.
+global. Use only frozen command labels and Scout-confirmed paths.
+
+One component choice may cover many states/interactions via `covers`.
+`reuse-existing` requires an existing-file `evidencePath`; greenfield uses `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
@@ -54,6 +122,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/skills/frontend-plan/references/design-decisions.md

@@ -15,3 +15,35 @@ Contract. Do not search specification roots or nearby code from Plan.
   responsive, and accessibility behavior; use not-applicable only with a reason.
 - Record styling strategy, deviations, conflicts, and unresolved gaps explicitly.
   Never silently replace a spec-defined component or claim unread evidence.
+
+### Component choice shape (canonical example)
+
+`purpose` must exactly match a declared UI state or interaction name — it is the
+coverage key the deterministic policy checks. Do not invent synonyms, and never
+swap a task-mandated component for another name without recording a deviation.
+
+```json
+[
+  {
+    "purpose": "disabled-minus",
+    "component": "SmokeCounter",
+    "decision": "new",
+    "sourceRequirementIds": ["AC-FE-001"],
+    "sourceFragmentId": "REQ-SRC-AC-FE-001",
+    "rationale": "task mandates a new SmokeCounter card on the home surface"
+  },
+  {
+    "purpose": "refresh",
+    "component": "RunFilterBar",
+    "decision": "reuse-existing",
+    "rationale": "reuses the Scout-confirmed filter bar for the refresh interaction"
+  }
+]
+```
+
+For `decision: "new"`, pass `sourceRequirementIds` + `sourceFragmentId` and let
+the runtime derive the exact task-source citation — never hand-write a
+`specReference`. A `reuse-existing` choice covers behavioural interactions
+without one row per interaction; each applicable visual UI state still needs its
+own `purpose` match (or an explicitly scoped stylingStrategy covering the visual
+dimension).

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

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

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

@@ -1 +0,0 @@
-import{s as a,c as s,a as e,C as t}from"./chunk-GF5L2VYU-Bkt-w8SZ.js";import{_ as i}from"./mermaid.core-CE4idY-s.js";import"./chunk-5VM5RSS4-B-LuWFZD.js";import"./chunk-XXDRQBXY-CamBh0Ll.js";import"./chunk-KBJHAD2P-CqHrBJhp.js";import"./chunk-2GRJ4B5K-CydnyQUX.js";import"./index-CWhTyxvc.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-D4-D49vY.js

@@ -1 +0,0 @@
-import{s as a,c as s,a as e,C as t}from"./chunk-GF5L2VYU-Bkt-w8SZ.js";import{_ as i}from"./mermaid.core-CE4idY-s.js";import"./chunk-5VM5RSS4-B-LuWFZD.js";import"./chunk-XXDRQBXY-CamBh0Ll.js";import"./chunk-KBJHAD2P-CqHrBJhp.js";import"./chunk-2GRJ4B5K-CydnyQUX.js";import"./index-CWhTyxvc.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-C4YCesmi.js

@@ -1 +0,0 @@
-import{s as r,b as e,a,S as s}from"./chunk-5RXB4S5H-DR358Phd.js";import{_ as i}from"./mermaid.core-CE4idY-s.js";import"./chunk-XXDRQBXY-CamBh0Ll.js";import"./chunk-KBJHAD2P-CqHrBJhp.js";import"./chunk-2GRJ4B5K-CydnyQUX.js";import"./index-CWhTyxvc.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-lN2U_DLl.js

@@ -1,8 +0,0 @@
-import{c as r,s as e}from"./flowDiagram-UKHOOZJN-BUYlie03.js";import{_ as a}from"./mermaid.core-CE4idY-s.js";import"./chunk-5VM5RSS4-B-LuWFZD.js";import"./chunk-XXDRQBXY-CamBh0Ll.js";import"./chunk-KBJHAD2P-CqHrBJhp.js";import"./chunk-2GRJ4B5K-CydnyQUX.js";import"./channel-DOsaUk1k.js";import"./index-CWhTyxvc.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};