fallow 3.19.0 → 3.20.0

package/capabilities.json

@@ -1,6 +1,6 @@
 {
   "name": "fallow",
-  "version": "3.19.0",
+  "version": "3.20.0",
   "manifest_version": "1",
   "description": "Codebase analyzer for TypeScript/JavaScript: unused code, circular dependencies, code duplication, complexity hotspots, and architecture boundary violations",
   "global_flags": [
@@ -1792,7 +1792,7 @@
           "name": "--walkthrough-file",
           "type": "string",
           "required": false,
-          "description": "Ingest an agent's judgment JSON and POST-VALIDATE it against the LIVE graph. Rejects any judgment whose `signal_id` fallow did not emit (anti-hallucination); refuses the whole payload as stale when the echoed graph-snapshot hash no longer matches (the tree moved). The verifier is the graph, not a second model. Implies the brief; always exits 0. The agent's free-text framing is fenced as non-deterministic and never gates or auto-posts"
+          "description": "Ingest an agent's judgment JSON and POST-VALIDATE it against the LIVE graph. Rejects any judgment whose `signal_id` fallow did not emit (anti-hallucination); refuses the whole payload as stale when the echoed graph-snapshot hash no longer matches (the tree moved); rejects an `action` outside `block`, `address`, `consider`, `fyi` (`invalid-action`). The verifier is the graph, not a second model. Implies the brief; always exits 0. The agent's free-text framing and action label are fenced as non-deterministic and never gate or auto-post"
         },
         {
           "name": "--walkthrough",

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "fallow",
-  "version": "3.19.0",
+  "version": "3.20.0",
   "mcpName": "io.github.fallow-rs/fallow",
   "description": "Codebase intelligence for TypeScript and JavaScript. Free static analysis of code and styles, optional paid runtime intelligence (Fallow Runtime). Quality, risk, architecture, dependencies, duplication, and design-system drift for humans, CI, and the agents writing your code. Zero-config framework support.",
   "license": "MIT",
@@ -88,14 +88,14 @@
     "@tanstack/intent": "0.3.6"
   },
   "optionalDependencies": {
-    "@fallow-cli/darwin-arm64": "3.19.0",
-    "@fallow-cli/darwin-x64": "3.19.0",
-    "@fallow-cli/linux-x64-gnu": "3.19.0",
-    "@fallow-cli/linux-arm64-gnu": "3.19.0",
-    "@fallow-cli/linux-x64-musl": "3.19.0",
-    "@fallow-cli/linux-arm64-musl": "3.19.0",
-    "@fallow-cli/win32-arm64-msvc": "3.19.0",
-    "@fallow-cli/win32-x64-msvc": "3.19.0",
-    "fallow-type-aware": "3.19.0"
+    "@fallow-cli/darwin-arm64": "3.20.0",
+    "@fallow-cli/darwin-x64": "3.20.0",
+    "@fallow-cli/linux-x64-gnu": "3.20.0",
+    "@fallow-cli/linux-arm64-gnu": "3.20.0",
+    "@fallow-cli/linux-x64-musl": "3.20.0",
+    "@fallow-cli/linux-arm64-musl": "3.20.0",
+    "@fallow-cli/win32-arm64-msvc": "3.20.0",
+    "@fallow-cli/win32-x64-msvc": "3.20.0",
+    "fallow-type-aware": "3.20.0"
   }
 }

package/skills/fallow/references/cli-reference.md

@@ -385,7 +385,7 @@ Human output groups paths under "Shared with your team (commit these)" and "Loca
 {
   "kind": "agent-install",
   "schema_version": 1,
-  "fallow_version": "3.19.0",
+  "fallow_version": "3.20.0",
   "root": "/abs/path",
   "mode": "install",
   "dry_run": false,

package/types/output-contract.d.ts

@@ -988,7 +988,7 @@ export type FeatureFlagActionType = ("investigate-flag" | "suppress-line")
  * Independently-versioned wire-version newtype for the brief envelope.
  * Serializes as the integer `REVIEW_BRIEF_SCHEMA_VERSION`.
  */
-export type ReviewBriefSchemaVersion = 7
+export type ReviewBriefSchemaVersion = 8
 /**
  * The exactly-three shippable decision categories (the SOLID-3). No cut category
  * (abstraction / deletion / convention / irreversibility) is representable: this
@@ -1033,6 +1033,13 @@ export type DecisionSurfaceSchemaVersion = number
  * The discriminated action kinds a decision can carry.
  */
 export type DecisionActionType = ("ask-expert" | "suppress")
+/**
+ * Whether a changed source unit has a test file importing it, and whether that
+ * test moved with the change. A direct-importer fact from the graph, not a
+ * coverage claim: `untouched` says a test exists and was not edited, which is
+ * the verification question the reviewer asks the author, never an answer.
+ */
+export type TestAdjacency = ("none" | "untouched" | "changed")
 /**
  * The `fallow suppressions --format json` schema version. Independently
  * versioned from the main contract, mirroring `SecuritySchemaVersion`.
@@ -12518,6 +12525,16 @@ units: ReviewUnitFact[]
  * the `units` module directories.
  */
 order: string[]
+/**
+ * Connected components of the inter-unit dependency graph: groups of
+ * module directories that share no import edge with any unit outside the
+ * group. Present only when there are two or more; a single slice is just
+ * `order`. A slice proves the absence of import edges to the rest of the
+ * change, nothing more: whether it can land on its own is still a
+ * judgment (generated files and lockstep contracts share no edge and
+ * still belong together). An orientation fact, never a demand to split.
+ */
+independent_slices?: string[][]
 }
 /**
  * One review unit: a coherent by-module cluster of the changed set.
@@ -12683,6 +12700,19 @@ cycle_introduced: string[]
  * reachable through an `exports` path is present (exactly one).
  */
 public_api_added: string[]
+/**
+ * Third-party dependencies a changed `package.json` declares that the base
+ * manifest did not, as `<manifest>::<name>` keys. Every dependency section
+ * participates. Always present, empty when no manifest changed.
+ */
+dependency_added: string[]
+/**
+ * Declared dependencies whose range moved across a major version (or a
+ * `0.x` minor) vs base, as `<manifest>::<name>@<from>-><to>` keys. Minor
+ * and patch moves are not candidates; a non-numeric range is skipped.
+ * Always present, empty when nothing crossed a major version.
+ */
+dependency_major_bumped: string[]
 }
 /**
  * One weakening signal: a category, the file it was detected in, and a short
@@ -12963,6 +12993,11 @@ out_of_diff: string[]
  * Routed expert(s), when ownership signals are available.
  */
 expert: string[]
+/**
+ * Direct test adjacency of this unit. Absent when the graph was not
+ * retained or the unit is itself a test file.
+ */
+test_adjacency?: (TestAdjacency | null)
 }
 /**
  * One stable per-hunk CHANGE ANCHOR: a changed region the agent may cite as a
@@ -13005,8 +13040,10 @@ previous_change_anchor?: (string | null)
  */
 export interface AgentSchema {
 /**
- * How the agent must structure each judgment: cite an emitted `signal_id`,
- * add free-text `framing` (non-deterministic, fenced), an optional `concern`.
+ * How the agent must structure each judgment: cite an emitted `signal_id`
+ * or `change_anchor`, add free-text `framing` (non-deterministic, fenced),
+ * an optional `concern`, and an optional `action` from the closed
+ * vocabulary.
  */
 judgment_shape: string
 /**
@@ -13018,6 +13055,16 @@ echo_field: string
  * The anchoring rule name.
  */
 anchoring_rule: string
+/**
+ * The closed `action` vocabulary ([`JUDGMENT_ACTIONS`]): a judgment with
+ * any other value is rejected on reentry.
+ */
+action_vocabulary: string[]
+/**
+ * The recommended `concern` vocabulary ([`JUDGMENT_CONCERNS`]), documented
+ * for grouping; free text is still accepted.
+ */
+concern_vocabulary: string[]
 }
 /**
  * The `fallow review --walkthrough-file` validation envelope: the result of
@@ -13095,6 +13142,13 @@ agent_framing: string
  * The agent's optional concern category.
  */
 concern?: (string | null)
+/**
+ * The author-action label the judgment carries (`block`, `address`,
+ * `consider`, or `fyi`), validated against [`JUDGMENT_ACTIONS`]. It tells
+ * the receiving author what is required and what is optional; it is the
+ * reviewer's instruction, fenced with the framing, never a gate.
+ */
+action?: (string | null)
 /**
  * Hard fence: always `false`. The framing is agent prose, never a
  * deterministic fallow result, so it never gates or auto-posts.
@@ -13118,9 +13172,15 @@ change_anchor: string
 /**
  * The rejection reason: `unanchored-signal-id` (cited a signal fallow did
  * not emit), `unknown-change-anchor` (cited a region fallow did not emit),
- * or `stale-snapshot` (the tree moved).
+ * `stale-snapshot` (the tree moved), or `invalid-action` (an `action`
+ * outside [`JUDGMENT_ACTIONS`]; the anchor itself resolved).
  */
 reason: string
+/**
+ * The offending value for an `invalid-action` rejection, echoed so the
+ * agent can correct it in one round trip. Absent for the other reasons.
+ */
+invalid_value?: (string | null)
 }
 /**
  * The `fallow suppressions --format json` envelope. `FallowOutput`