fallow 3.33.1 → 3.34.1

package/types/output-contract.d.ts

@@ -24,7 +24,7 @@
 
 
 /**
- * Schemas for the JSON output of fallow commands. Object-shaped envelopes covered by the `FallowOutput` contract carry a top-level `kind` discriminator. Current kind values: `audit`, `explain`, `inspect_target`, `trace`, `trace-error`, `review-envelope`, `review-reconcile`, `coverage-setup`, `coverage-analyze`, `list-boundaries`, `list-workspaces`, `health`, `dupes`, `dead-code-grouped`, `architecture-grouped`, `impact`, `impact-cross-repo`, `security`, `security-survivors`, `security-blind-spots`, `dead-code`, `architecture`, `combined`, `feature-flags`, `audit-brief`, `decision-surface`, `review-walkthrough-guide`, `review-walkthrough-validation`, `suppression-inventory`, `doctor`, `type-aware-status`, `similar-code`, `similar-code-inspect`, `similar-code-review`, `similar-code-status`, `similar-code-cache-clear`. Consumers should branch on `kind` instead of probing for unique field presence. `CodeClimateOutput` is a bare JSON array (per the Code Climate / GitLab Code Quality spec) and stays a sibling root branch discriminated by checking whether the document root is an array. `ErrorOutput` is the `--format json` failure document, emitted on stdout with a non-zero exit; it carries no `kind` and is discriminated by the `error: true` field.
+ * Schemas for the JSON output of fallow commands. Object-shaped envelopes covered by the `FallowOutput` contract carry a top-level `kind` discriminator. Current kind values: `audit`, `explain`, `inspect_target`, `trace`, `trace-error`, `review-envelope`, `review-reconcile`, `coverage-setup`, `coverage-analyze`, `list-boundaries`, `list-workspaces`, `health`, `dupes`, `dead-code-grouped`, `architecture-grouped`, `impact`, `impact-cross-repo`, `security`, `security-survivors`, `security-blind-spots`, `dead-code`, `architecture`, `combined`, `feature-flags`, `audit-brief`, `decision-surface`, `review-walkthrough-guide`, `review-walkthrough-validation`, `suppression-inventory`, `doctor`, `type-aware-status`, `similar-code`, `similar-code-inspect`, `similar-code-review`, `similar-code-status`, `similar-code-cache-clear`, `mutation`, `mutation-plan`, `mutation-inspect`. Consumers should branch on `kind` instead of probing for unique field presence. `CodeClimateOutput` is a bare JSON array (per the Code Climate / GitLab Code Quality spec) and stays a sibling root branch discriminated by checking whether the document root is an array. `ErrorOutput` is the `--format json` failure document, emitted on stdout with a non-zero exit; it carries no `kind` and is discriminated by the `error: true` field.
  */
 export type FallowJsonOutput = (FallowOutput | CodeClimateOutput | ErrorOutput)
 /**
@@ -116,11 +116,17 @@ kind: "similar-code-review"
 kind: "similar-code-status"
 }) | (SimilarCodeCacheClearOutput & {
 kind: "similar-code-cache-clear"
+}) | (MutationReport & {
+kind: "mutation"
+}) | (MutationPlanOutput & {
+kind: "mutation-plan"
+}) | (MutationInspectOutput & {
+kind: "mutation-inspect"
 }))
 /**
  * Schema projection for the audit envelope's exact version.
  */
-export type AuditSchemaVersion = 12
+export type AuditSchemaVersion = 13
 /**
  * Fallow CLI version that produced this envelope. Renders to the JSON wire as
  * a bare string (e.g. `"2.74.0"`).
@@ -269,7 +275,7 @@ export type IssueAction = (FixAction | SuppressLineAction | SuppressFileAction |
  * Discriminant string for [`FixAction`]. Kebab-case per the JSON output
  * contract.
  */
-export type FixActionType = ("remove-export" | "delete-file" | "remove-dependency" | "move-dependency" | "remove-enum-member" | "remove-class-member" | "resolve-import" | "install-dependency" | "remove-duplicate" | "move-to-dev" | "move-to-prod" | "refactor-cycle" | "refactor-re-export-cycle" | "refactor-boundary" | "export-type" | "migrate-deprecated-export" | "remove-catalog-entry" | "remove-empty-catalog-group" | "update-catalog-reference" | "add-catalog-entry" | "remove-catalog-reference" | "remove-dependency-override" | "fix-dependency-override" | "resolve-policy-violation" | "move-to-server-module" | "split-mixed-barrel" | "hoist-directive" | "wire-server-action" | "provide-inject" | "use-load-data" | "render-component" | "use-component-prop" | "review-component-prop" | "emit-component-event" | "wire-svelte-event" | "resolve-route-collision" | "resolve-dynamic-segment-name-conflict" | "add-suppression-reason" | "remove-stale-suppression")
+export type FixActionType = ("remove-export" | "delete-file" | "remove-dependency" | "move-dependency" | "remove-enum-member" | "remove-class-member" | "resolve-import" | "install-dependency" | "remove-duplicate" | "move-to-dev" | "move-to-prod" | "refactor-cycle" | "refactor-re-export-cycle" | "refactor-boundary" | "export-type" | "migrate-deprecated-export" | "remove-catalog-entry" | "remove-empty-catalog-group" | "update-catalog-reference" | "add-catalog-entry" | "remove-catalog-reference" | "remove-dependency-override" | "fix-dependency-override" | "resolve-policy-violation" | "move-to-server-module" | "split-mixed-barrel" | "hoist-directive" | "wire-server-action" | "provide-inject" | "use-load-data" | "render-component" | "use-component-prop" | "review-component-prop" | "emit-component-event" | "wire-svelte-event" | "compose-effect-layer" | "fail-tagged-error" | "remove-catch-tag-handler" | "resolve-route-collision" | "resolve-dynamic-segment-name-conflict" | "add-suppression-reason" | "remove-stale-suppression")
 /**
  * Singleton discriminant for [`SuppressLineAction`].
  */
@@ -445,6 +451,10 @@ export type DependencyOverrideSource = ("pnpm-workspace.yaml" | "package.json")
  * surfacing them statically catches the issue first.
  */
 export type DependencyOverrideMisconfigReason = ("unparsable-key" | "empty-value")
+/**
+ * Kind of an Effect layer definition.
+ */
+export type EffectLayerKind = ("top_level" | "static_member")
 /**
  * Which advisory a loaded baseline earned on this run.
  *
@@ -561,6 +571,12 @@ kind: "malformed-package-json"
 pattern: string
 kind: "glob-matched-no-package-json"
 } | {
+/**
+ * The workspace entry, as written in the file.
+ */
+pattern: string
+kind: "workspace-glob-outside-root"
+} | {
 /**
  * JSONC parse error text.
  */
@@ -679,6 +695,14 @@ kind: "file-scores-unavailable"
 cause: string
 kind: "hotspots-skipped"
 } | {
+/**
+ * Kebab-case token: `shallow-clone` (the fetched history is
+ * incomplete) or `too-few-commits` (fewer analyzed commits than the
+ * minimum revisions of one file). The set is open.
+ */
+cause: string
+kind: "change-coupling-skipped"
+} | {
 /**
  * `true` when the run also asked for ownership attribution, which a
  * shallow clone skews further by inflating single-author dominance.
@@ -821,6 +845,14 @@ export type ExceededThreshold = ("cyclomatic" | "cognitive" | "both" | "crap" |
  * scores. Default thresholds: cognitive 25/40, cyclomatic 30/50.
  */
 export type FindingSeverity = ("moderate" | "high" | "critical")
+/**
+ * Whether the mutation evidence still describes the current source file.
+ */
+export type HealthMutationState = ("fresh" | "stale")
+/**
+ * Why mutation evidence is stale.
+ */
+export type HealthMutationStaleReason = ("file-missing" | "no-digest" | "source-changed")
 /**
  * Coverage tier classification for CRAP findings.
  */
@@ -874,7 +906,7 @@ export type CoverageSourceConsistency = ("uniform" | "mixed")
  * set is OPEN: a later release can add a section, so a consumer must accept
  * a token that it does not know.
  */
-export type HealthSection = ("complexity" | "vital-signs" | "score" | "file-scores" | "coverage-gaps" | "hotspots" | "targets" | "trend" | "runtime-coverage" | "css")
+export type HealthSection = ("complexity" | "vital-signs" | "score" | "file-scores" | "coverage-gaps" | "hotspots" | "change-coupling" | "targets" | "trend" | "runtime-coverage" | "mutation" | "css")
 /**
  * Lifecycle state for a configured threshold override.
  */
@@ -985,6 +1017,10 @@ export type RuntimeCoverageRiskBand = ("low" | "medium" | "high")
  * License or trial watermark applied to runtime coverage output.
  */
 export type RuntimeCoverageWatermark = ("trial-expired" | "license-expired-grace" | "unknown")
+/**
+ * Whether the result is conclusive.
+ */
+export type MutationCompletionStatus = ("complete" | "partial")
 /**
  * Coverage-intelligence JSON contract version. Scoped to the
  * `coverage_intelligence` block and independent of the top-level fallow
@@ -1014,7 +1050,7 @@ export type CoverageIntelligenceMatchConfidence = ("path-function-line" | "path-
 /**
  * Category of refactoring recommendation.
  */
-export type RecommendationCategory = ("urgent_churn_complexity" | "break_circular_dependency" | "split_high_impact" | "remove_dead_code" | "extract_complex_functions" | "extract_dependencies" | "add_test_coverage")
+export type RecommendationCategory = ("urgent_churn_complexity" | "break_circular_dependency" | "split_high_impact" | "remove_dead_code" | "extract_complex_functions" | "extract_dependencies" | "add_test_coverage" | "resolve_hidden_coupling")
 /**
  * A ranked refactoring recommendation for a file.
  *
@@ -1097,6 +1133,22 @@ export type StylingFindingConfidence = ("high" | "low")
  * Agent handling hint for a [`StylingFinding`].
  */
 export type StylingAgentDisposition = ("fix-confidently" | "verify-first")
+/**
+ * The rule that owns a diff-risk finding.
+ */
+export type DiffRiskRule = ("weakened-tests" | "added-suppression" | "test-only-branch" | "diverged-clone-sibling" | "added-dependency")
+/**
+ * How a `weakened-tests` finding weakened the tests.
+ */
+export type WeakenedTestsKind = ("skip-only" | "removed-tests" | "assertion-drop" | "coverage-threshold")
+/**
+ * The severity of a diff-risk finding, from its rule.
+ */
+export type DiffRiskSeverity = ("error" | "warn")
+/**
+ * The type of a diff-risk action. Every type is a suppression.
+ */
+export type DiffRiskActionType = ("suppress-line" | "suppress-file" | "suppress-in-config")
 /**
  * `target` block of [`InspectOutput`], tagged by `type`.
  */
@@ -1129,6 +1181,16 @@ export type InspectSectionStatus = ("ok" | "partial" | "unavailable" | "error")
  * Granularity an [`InspectEvidenceSection`] payload covers.
  */
 export type InspectEvidenceScope = ("symbol" | "file" | "project_filtered_to_file")
+/**
+ * Whether a whole-word text search for an export name finds a consumer that
+ * the module graph resolves. The levels sort from best to worst.
+ */
+export type SearchVisibility = ("found" | "renamed" | "missed")
+/**
+ * Why a text search for an export name does not find the uses in a consumer,
+ * or why a consumer is not a search target (`pass-through`).
+ */
+export type SearchGapReason = ("import-alias" | "default-import" | "re-export-alias" | "namespace-use" | "dynamic-import" | "pass-through")
 /**
  * Wire-shape version of the [`DependencyUsage`] object.
  *
@@ -1244,7 +1306,7 @@ export type LogicalGroupStatus = ("ok" | "empty" | "invalid_path")
 /**
  * Exact schema version for [`HealthOutput`].
  */
-export type HealthSchemaVersion = 11
+export type HealthSchemaVersion = 12
 /**
  * Resolver mode label for grouped envelopes (dead-code, dupes, health).
  *
@@ -1304,8 +1366,11 @@ export type SecuritySchemaVersion = ("1" | "2" | "3" | "4" | "5" | "6" | "7" | "
 /**
  * Severity level for rules.
  *
- * Controls whether an issue type causes CI failure (`error`), is reported
- * without failing (`warn`), or is suppressed entirely (`off`).
+ * Controls whether an issue type sets a non-zero exit code (`error`), is
+ * reported without an effect on the exit code (`warn`), or is suppressed
+ * entirely (`off`). `--fail-on-issues` promotes `warn` to `error`. The
+ * dead-code count gate of the GitHub Action counts `warn` findings unless its
+ * `fail-on-issues` input is `false`.
  */
 export type Severity = ("error" | "warn" | "off")
 /**
@@ -1382,7 +1447,7 @@ export type SecurityBlindSpotsSchemaVersion = "1"
 /**
  * Schema projection for the combined envelope's exact version.
  */
-export type CombinedSchemaVersion = 13
+export type CombinedSchemaVersion = 14
 /**
  * Schema projection for the feature-flags envelope's exact version.
  */
@@ -1427,7 +1492,7 @@ export type VendorFlagState = ("on" | "off" | "rolled_out" | "archived" | "exper
  * Independently-versioned wire-version newtype for the brief envelope.
  * Serializes as the integer `REVIEW_BRIEF_SCHEMA_VERSION`.
  */
-export type ReviewBriefSchemaVersion = 12
+export type ReviewBriefSchemaVersion = 13
 /**
  * The exactly-three shippable decision categories (the SOLID-3). No cut category
  * (abstraction / deletion / convention / irreversibility) is representable: this
@@ -1467,6 +1532,25 @@ export type WeakeningKind = ("test-weakened" | "threshold-lowered" | "suppressio
  * Where a cognitive-complexity improvement came from.
  */
 export type CognitiveAttribution = ("nesting-reset" | "fewer-branch-points" | "mixed")
+/**
+ * Whether the project has tests to measure against.
+ */
+export type TestReachStatus = ("measured" | "no-tests")
+/**
+ * Why mock detection is or is not active.
+ */
+export type TestReachMasking = ("active" | "no-mocks" | "capped")
+/**
+ * How tests reach one changed export.
+ *
+ * Treat this as an open set: a later version can add a class. A consumer
+ * must read an unknown value as "needs attention".
+ */
+export type TestReachClass = ("mocked-only" | "none" | "none-file" | "transitive" | "direct" | "framework")
+/**
+ * Whether the export existed before the change.
+ */
+export type ExportChange = ("modified" | "new")
 /**
  * Independently-versioned wire-version newtype. Serializes as the integer
  * [`DECISION_SURFACE_SCHEMA_VERSION`].
@@ -1600,6 +1684,46 @@ export type SimilarCodeStatusSchemaVersion = "1"
  * Version singleton for vector-cache clear output.
  */
 export type SimilarCodeCacheClearSchemaVersion = "1"
+/**
+ * Version singleton for a mutation report.
+ */
+export type MutationSchemaVersion = "1"
+/**
+ * Why a run is partial.
+ */
+export type MutationIncompleteReason = ("runtime-error" | "mutant-limit" | "time-budget" | "skipped-files" | "unloaded-files" | "baseline-failure" | "worktree-changed" | "typecheck-failed" | "worktree-unchecked")
+/**
+ * Which code a run mutates.
+ */
+export type MutationScopeKind = ("changed" | "all" | "paths")
+/**
+ * The result of one mutant.
+ */
+export type MutantStatus = ("killed" | "timeout" | "survived" | "no_coverage" | "runtime_error" | "flaky" | "pruned" | "pending" | "equivalent" | "compile_error")
+/**
+ * Why the type check did not check a survivor.
+ */
+export type MutationTypecheckSkipReason = ("no-project" | "not-type-checked" | "source-changed" | "file-missing" | "unsupported-file")
+/**
+ * Version singleton for a mutation plan.
+ */
+export type MutationPlanSchemaVersion = "1"
+/**
+ * The status of a mutant in a plan.
+ */
+export type MutationPlanDisposition = ("planned" | "pending" | "no_coverage" | "pruned")
+/**
+ * Version singleton for a mutation inspect packet.
+ */
+export type MutationInspectSchemaVersion = "1"
+/**
+ * Whether the saved report still describes the current file.
+ */
+export type MutationInspectStatus = ("fresh" | "stale")
+/**
+ * Why an inspect packet is stale.
+ */
+export type MutationStaleReason = ("file-missing" | "no-digest" | "source-changed" | "mutant-not-reproduced")
 /**
  * Discriminator value for [`CodeClimateIssue::kind`].
  */
@@ -1667,7 +1791,8 @@ gate_outcomes?: (GateOutcomes | null)
  */
 _meta?: (Meta | null)
 /**
- * Dead-code findings scoped to the audit changeset.
+ * Dead-code findings scoped to the audit changeset. Absent when no file
+ * changed, or when `summary.dead_code_skipped` says the pass was skipped.
  */
 dead_code?: (CheckOutput | null)
 /**
@@ -1678,6 +1803,12 @@ duplication?: (DupesReportPayload | null)
  * Complexity findings scoped to the audit changeset.
  */
 complexity?: (HealthReport | null)
+/**
+ * Diff-risk findings: facts about the change itself, such as weakened
+ * tests or added suppressions. Every finding is introduced. Absent when
+ * the change has no diff-risk finding.
+ */
+diff_risk?: (DiffRiskReport | null)
 /**
  * Read-only follow-up commands computed from this run's findings. See
  * `CheckOutput::next_steps` for the contract.
@@ -1696,6 +1827,24 @@ dead_code_issues: number
  * Whether any reported dead-code issue has error severity.
  */
 dead_code_has_errors: boolean
+/**
+ * True when `--only`, `--skip` or `audit.deadCode = false` skipped the
+ * dead-code sub-analysis. The dead-code counts are then 0 and do not mean
+ * a clean result. Omitted when the sub-analysis ran.
+ */
+dead_code_skipped?: boolean
+/**
+ * True when `--only`, `--skip` or `audit.health = false` skipped the
+ * health sub-analysis. The complexity and styling counts are then 0 and
+ * do not mean a clean result. Omitted when the sub-analysis ran.
+ */
+complexity_skipped?: boolean
+/**
+ * True when `--only`, `--skip` or `audit.dupes = false` skipped the
+ * duplication sub-analysis. The clone-group counts are then 0 and do not
+ * mean a clean result. Omitted when the sub-analysis ran.
+ */
+duplication_skipped?: boolean
 /**
  * Total complexity findings reported for the changed files.
  */
@@ -1742,6 +1891,7 @@ duplication_inherited: number
 styling_introduced: number
 styling_inherited: number
 duplication_demoted: number
+diff_risk_introduced: number
 }
 /**
  * The verdict of every gate a run evaluated, keyed by name.
@@ -3086,6 +3236,23 @@ unused_component_outputs?: UnusedComponentOutputFinding[]
  * `warn`.
  */
 unused_svelte_events?: UnusedSvelteEventFinding[]
+/**
+ * Effect layers composed only into other layers that nothing uses.
+ * Gated on the project declaring `effect`. Default severity is `warn`.
+ */
+unused_effect_layers?: UnusedEffectLayerFinding[]
+/**
+ * Effect tagged error classes that only type positions or `catchTag`
+ * handlers reference. Gated on the project declaring `effect`. Default
+ * severity is `warn`.
+ */
+unused_tagged_errors?: UnusedTaggedErrorFinding[]
+/**
+ * `catchTag` / `catchTags` handlers for a project tag that no code
+ * produces and that no `unused_tagged_errors` entry covers. Gated on the
+ * project declaring `effect`. Default severity is `warn`.
+ */
+unproduced_catch_tags?: UnproducedCatchTagFinding[]
 /**
  * Next.js Server Actions (exports of `"use server"` files) that no code in
  * the project references. Reclassified out of `unused_exports` for
@@ -3211,7 +3378,8 @@ _meta?: (Meta | null)
  *
  * - workspace discovery, at config load: `undeclared-workspace`,
  *   `malformed-package-json`, `glob-matched-no-package-json`,
- *   `malformed-tsconfig`, `tsconfig-reference-dir-missing`;
+ *   `workspace-glob-outside-root`, `malformed-tsconfig`,
+ *   `tsconfig-reference-dir-missing`;
  * - source discovery, during the file walk: `skipped-large-file`,
  *   `skipped-minified-file`, `skipped-source-dotdir`,
  *   `excluded-by-default-ignore`, `source-read-failure`,
@@ -3293,6 +3461,10 @@ export interface CheckSummary {
  * Total number of issues across all categories.
  */
 total_issues: number
+/**
+ * Prop chains whose saved effective severity explicitly enforces error policy.
+ */
+prop_drilling_chains?: number
 /**
  * Unused source files.
  */
@@ -3364,6 +3536,18 @@ unused_component_outputs?: number
  * whose name is listened to nowhere in the project.
  */
 unused_svelte_events?: number
+/**
+ * Effect layers composed only into layers that nothing uses.
+ */
+unused_effect_layers?: number
+/**
+ * Effect tagged error classes that no code constructs or fails with.
+ */
+unused_tagged_errors?: number
+/**
+ * `catchTag` handlers for a project tag that no code produces.
+ */
+unproduced_catch_tags?: number
 /**
  * Next.js Server Actions (exports of `"use server"` files) referenced by no
  * code in the project.
@@ -6279,6 +6463,181 @@ introduced?: (AuditIntroduced | null)
  */
 effective_severity?: (EffectiveSeverity | null)
 }
+/**
+ * Wire-shape envelope for an [`UnusedEffectLayer`] finding. There is no safe auto-fix: a test or a script outside the project graph can still use the layer. Actions are manual
+ * remediation guidance plus a line-level suppress.
+ */
+export interface UnusedEffectLayerFinding {
+/**
+ * The module that defines the layer.
+ */
+path: string
+/**
+ * `FooLive`, or `FooService.layer` for a static member.
+ */
+name: string
+kind: EffectLayerKind
+/**
+ * 1-based line number of the layer name.
+ */
+line: number
+/**
+ * 0-based byte column offset of the layer name.
+ */
+col: number
+/**
+ * The unused layers that compose this layer, sorted by name.
+ */
+dead_consumers: string[]
+/**
+ * Stable id of this finding: `dc1:<rule>:<16 hex digits>`, with a
+ * `~<k>` suffix when several findings of one type share an identity.
+ * Line and column are not inputs, so the id survives line shifts,
+ * reformats and reorders. A rename of the file or the symbol gives a
+ * new id. Absent in output from older versions.
+ */
+finding_id?: (string | null)
+/**
+ * Suggested next steps. Always emitted (possibly empty for
+ * forward-compat).
+ */
+actions: IssueAction[]
+/**
+ * Set by the audit pass when this finding is introduced relative to
+ * the merge-base.
+ */
+introduced?: (AuditIntroduced | null)
+/**
+ * Gate severity of this finding after `rules` and `overrides[].rules`
+ * resolve for its path. CI formats read it for the annotation, SARIF
+ * and CodeClimate level. Absent in output from older versions. Not
+ * part of the finding identity, baseline keys or fingerprints.
+ */
+effective_severity?: (EffectiveSeverity | null)
+}
+/**
+ * Wire-shape envelope for an [`UnusedTaggedError`] finding. There is no safe auto-fix: the error can be part of a public API contract. Actions are manual
+ * remediation guidance plus a line-level suppress.
+ */
+export interface UnusedTaggedErrorFinding {
+/**
+ * The module that declares the class.
+ */
+path: string
+/**
+ * The class name.
+ */
+name: string
+/**
+ * The `_tag` value of the class.
+ */
+tag: string
+/**
+ * 1-based line number of the class name.
+ */
+line: number
+/**
+ * 0-based byte column offset of the class name.
+ */
+col: number
+/**
+ * The `catchTag` / `catchTags` handlers that name the tag.
+ */
+catch_sites: EffectCatchSite[]
+/**
+ * Stable id of this finding: `dc1:<rule>:<16 hex digits>`, with a
+ * `~<k>` suffix when several findings of one type share an identity.
+ * Line and column are not inputs, so the id survives line shifts,
+ * reformats and reorders. A rename of the file or the symbol gives a
+ * new id. Absent in output from older versions.
+ */
+finding_id?: (string | null)
+/**
+ * Suggested next steps. Always emitted (possibly empty for
+ * forward-compat).
+ */
+actions: IssueAction[]
+/**
+ * Set by the audit pass when this finding is introduced relative to
+ * the merge-base.
+ */
+introduced?: (AuditIntroduced | null)
+/**
+ * Gate severity of this finding after `rules` and `overrides[].rules`
+ * resolve for its path. CI formats read it for the annotation, SARIF
+ * and CodeClimate level. Absent in output from older versions. Not
+ * part of the finding identity, baseline keys or fingerprints.
+ */
+effective_severity?: (EffectiveSeverity | null)
+}
+/**
+ * A source location of a `catchTag` or `catchTags` handler.
+ */
+export interface EffectCatchSite {
+/**
+ * The module that contains the handler.
+ */
+path: string
+/**
+ * 1-based line number of the handled tag.
+ */
+line: number
+/**
+ * 0-based byte column offset of the handled tag.
+ */
+col: number
+}
+/**
+ * Wire-shape envelope for an [`UnproducedCatchTag`] finding. There is no safe auto-fix: the handler can guard against a future producer. Actions are manual
+ * remediation guidance plus a line-level suppress.
+ */
+export interface UnproducedCatchTagFinding {
+/**
+ * The module that contains the handler.
+ */
+path: string
+/**
+ * The handled tag.
+ */
+tag: string
+/**
+ * 1-based line number of the handled tag.
+ */
+line: number
+/**
+ * 0-based byte column offset of the handled tag.
+ */
+col: number
+/**
+ * The project classes that declare the tag, sorted by name.
+ */
+candidate_classes: string[]
+/**
+ * Stable id of this finding: `dc1:<rule>:<16 hex digits>`, with a
+ * `~<k>` suffix when several findings of one type share an identity.
+ * Line and column are not inputs, so the id survives line shifts,
+ * reformats and reorders. A rename of the file or the symbol gives a
+ * new id. Absent in output from older versions.
+ */
+finding_id?: (string | null)
+/**
+ * Suggested next steps. Always emitted (possibly empty for
+ * forward-compat).
+ */
+actions: IssueAction[]
+/**
+ * Set by the audit pass when this finding is introduced relative to
+ * the merge-base.
+ */
+introduced?: (AuditIntroduced | null)
+/**
+ * Gate severity of this finding after `rules` and `overrides[].rules`
+ * resolve for its path. CI formats read it for the annotation, SARIF
+ * and CodeClimate level. Absent in output from older versions. Not
+ * part of the finding identity, baseline keys or fingerprints.
+ */
+effective_severity?: (EffectiveSeverity | null)
+}
 /**
  * Wire-shape envelope for an [`UnusedServerAction`] finding. There is no safe
  * auto-fix: the fix is binary but judgement-bearing (wire the action up to a
@@ -6425,11 +6784,10 @@ actions: IssueAction[]
  */
 introduced?: (AuditIntroduced | null)
 /**
- * Rule severity of this finding. This type never gates the run, so the
- * value does not change the exit code. `fallow report --from` reads it
- * for the SARIF level, so the level does not depend on the config at
- * render time. Absent in output from older versions. Not part of the
- * finding identity, baseline keys or fingerprints.
+ * Rule severity after resolving overrides for the source hop. An explicit
+ * `error` enforces the chain; `warn` stays advisory under strict flags.
+ * Saved reports use this value for CI levels. Absent in older output.
+ * Not part of finding identity, baseline keys or fingerprints.
  */
 effective_severity?: (EffectiveSeverity | null)
 }
@@ -7481,11 +7839,24 @@ hotspots?: HotspotFinding[]
  * beside it rather than gating this summary.
  */
 hotspot_summary?: (HotspotSummary | null)
+/**
+ * Hidden change coupling: file pairs that change together in the git
+ * history without an import or re-export chain between them. Present
+ * when the hotspots section ran and the run read the git history.
+ * Advisory: no health score weight.
+ */
+change_coupling?: (ChangeCouplingReport | null)
 /**
  * Runtime coverage findings from the paid sidecar (only populated with
  * `--runtime-coverage`).
  */
 runtime_coverage?: (RuntimeCoverageReport | null)
+/**
+ * The join of a saved mutation report with the complexity findings
+ * (only populated with `--mutation-report`). It never changes the CRAP
+ * scores or the health score.
+ */
+mutation?: (HealthMutationSummary | null)
 /**
  * Combined coverage, runtime, complexity, and change-scope verdicts.
  */
@@ -7621,6 +7992,13 @@ effective_severity?: (EffectiveSeverity | null)
  * CRAP score (change risk anti-pattern), when coverage data exists.
  */
 crap?: (number | null)
+/**
+ * Mutation evidence of the function from a saved `fallow mutation`
+ * report (`fallow health --mutation-report`). A separate value: it never
+ * changes `crap` or the health score. Absent without the flag, and when
+ * no function result of the report matches the finding.
+ */
+mutation?: (HealthFindingMutation | null)
 /**
  * Test coverage percentage (0-100) backing the CRAP score.
  */
@@ -7719,45 +8097,118 @@ custom: number
 max_effect_dep_arity?: (number | null)
 }
 /**
- * Component-level aggregate attached to a template complexity finding,
- * pairing the template's scores with the worst class-side function.
+ * The mutation evidence of one complexity finding.
  */
-export interface ComponentRollup {
+export interface HealthFindingMutation {
+state: HealthMutationState
 /**
- * Component name.
+ * Why the evidence is stale. Absent when the state is `fresh`.
  */
-component: string
+stale_reason?: (HealthMutationStaleReason | null)
 /**
- * Name of the worst-scoring function in the component class.
+ * The mutation score of the function, a fraction from 0 to 1:
+ * `(killed + timeout) / (killed + timeout + survived)`. Absent when the
+ * state is `stale`, and when no mutant of the function ran to a tested
+ * result.
  */
-class_worst_function: string
+score?: (number | null)
 /**
- * Cyclomatic complexity of that worst class function.
+ * The number of mutants of the function for each status. Absent when
+ * the state is `stale`.
  */
-class_cyclomatic: number
+counts?: (MutationStatusCounts | null)
+}
 /**
- * Cognitive complexity of that worst class function.
+ * The number of mutants for each status, and the mutation score.
  */
-class_cognitive: number
+export interface MutationStatusCounts {
 /**
- * Template file path relative to the project root.
+ * Each mutant.
  */
-template_path: string
+total: number
 /**
- * Cyclomatic complexity of the template.
+ * Killed mutants.
  */
-template_cyclomatic: number
+killed: number
 /**
- * Cognitive complexity of the template.
+ * Mutants that passed their timeout.
  */
-template_cognitive: number
-}
+timeout: number
 /**
- * A single complexity increment, located at its source line/column.
- *
- * `weight` is the amount this construct added to `metric`; for nested
- * cognitive increments `weight == 1 + nesting`. Consumers that render inline
- * (the VS Code editor breakdown) group contributions by `line` and sum the
+ * Mutants that each covering test let pass.
+ */
+survived: number
+/**
+ * Mutants that no test reaches.
+ */
+no_coverage: number
+/**
+ * Mutants with a runner fault.
+ */
+runtime_error: number
+/**
+ * Mutants where the second run in a new companion changed whether the
+ * tests detect the mutant.
+ */
+flaky: number
+/**
+ * Mutants that a static rule removed.
+ */
+pruned: number
+/**
+ * Mutants that did not run.
+ */
+pending: number
+/**
+ * Mutants that a verdict marks as equivalent.
+ */
+equivalent: number
+/**
+ * Survived mutants that do not type-check. A report from a version
+ * before `--typecheck` has no such field, so it reads as 0.
+ */
+compile_error?: number
+}
+/**
+ * Component-level aggregate attached to a template complexity finding,
+ * pairing the template's scores with the worst class-side function.
+ */
+export interface ComponentRollup {
+/**
+ * Component name.
+ */
+component: string
+/**
+ * Name of the worst-scoring function in the component class.
+ */
+class_worst_function: string
+/**
+ * Cyclomatic complexity of that worst class function.
+ */
+class_cyclomatic: number
+/**
+ * Cognitive complexity of that worst class function.
+ */
+class_cognitive: number
+/**
+ * Template file path relative to the project root.
+ */
+template_path: string
+/**
+ * Cyclomatic complexity of the template.
+ */
+template_cyclomatic: number
+/**
+ * Cognitive complexity of the template.
+ */
+template_cognitive: number
+}
+/**
+ * A single complexity increment, located at its source line/column.
+ *
+ * `weight` is the amount this construct added to `metric`; for nested
+ * cognitive increments `weight == 1 + nesting`. Consumers that render inline
+ * (the VS Code editor breakdown) group contributions by `line` and sum the
  * weights, deferring the per-kind list to a hover.
  */
 export interface ComplexityContribution {
@@ -8473,11 +8924,11 @@ function_count: number
 lines: number
 /**
  * Highest CRAP score among the file's functions. Always the raw measured
- * value; threshold overrides never rewrite it.
+ * value; threshold overrides and suppressions never rewrite it.
  */
 crap_max: number
 /**
- * Functions whose rounded CRAP score meets or exceeds their effective
+ * Unsuppressed functions whose rounded CRAP score meets or exceeds their effective
  * ceiling, resolved from `health.thresholdOverrides` over the global
  * `maxCrap` / `--max-crap` value. Zero when CRAP enforcement is disabled
  * (global ceiling `0`).
@@ -8491,6 +8942,26 @@ crap_above_threshold: number
  * function at or above the canonical baseline. Omitted when zero.
  */
 crap_exempted?: number
+/**
+ * Concrete scored functions accepted by a complexity suppression, including
+ * subthreshold functions and disabled-enforcement runs. Omitted when zero.
+ * May overlap with configured exemptions; the counts are not a partition.
+ */
+crap_suppressed?: number
+/**
+ * Highest rounded CRAP among unsuppressed scored functions, including
+ * subthreshold and configured-exempt functions. Present with the paired
+ * unsuppressed threshold whenever a scored suppression exists. Explicitly
+ * zero when every scored function is suppressed; raw crap_max is unchanged.
+ */
+crap_unsuppressed_max?: (number | null)
+/**
+ * Lowest effective ceiling among unsuppressed scored functions, or the run
+ * global when none remain. Emitted with crap_unsuppressed_max. Consumers
+ * receiving an absent or partial pair fall back to the complete legacy pair:
+ * crap_max and crap_effective_threshold (or the run global when absent).
+ */
+crap_unsuppressed_effective_threshold?: (number | null)
 /**
  * Lowest effective CRAP ceiling among the file's functions, present only
  * when it differs from the run global (`summary.max_crap_threshold`).
@@ -8712,6 +9183,19 @@ complexity_density: number
  */
 fan_in: number
 trend: ChurnTrend
+/**
+ * Change dispersion: the median number of analyzed files in the commits
+ * that changed this file, over the change coupling history window. Bulk
+ * commits above the coupling file cap are not counted. Absent when the
+ * history has no commit ids (for example imported churn without them).
+ */
+median_files_per_commit?: (number | null)
+/**
+ * Change dispersion: the median number of changed lines (added plus
+ * deleted, analyzed files only) in the commits that changed this file.
+ * Same window and rules as `median_files_per_commit`.
+ */
+median_lines_per_commit?: (number | null)
 /**
  * Ownership metrics, when ownership analysis ran.
  */
@@ -8885,6 +9369,105 @@ epoch_secs: number
  */
 reproducible: boolean
 }
+/**
+ * Hidden change coupling: pairs of files that change together in the git
+ * history while no import or re-export chain connects them.
+ *
+ * An agent that follows the import graph cannot find the second file of a
+ * hidden pair. The section is advisory: it has no health score weight and
+ * never gates.
+ */
+export interface ChangeCouplingReport {
+/**
+ * History window that the section reads, for example `"12 months"`.
+ * Without `--since` the window is 12 months, wider than the hotspot
+ * window.
+ */
+since: string
+/**
+ * Commits that changed at least one analyzed file and were not skipped.
+ */
+commits_analyzed: number
+/**
+ * Commits skipped because they changed more analyzed files than
+ * `thresholds.max_files_per_commit`.
+ */
+commits_skipped: number
+/**
+ * Hidden pairs in scope before `--top` cuts `pairs`.
+ */
+total_pairs: number
+thresholds: ChangeCouplingThresholds
+/**
+ * Hidden pairs, sorted by `degree` and then `shared_revisions` (both
+ * descending), then by path. Empty when the history cannot show
+ * coupling; `workspace_diagnostics` then tells why.
+ */
+pairs: HiddenCouplingPair[]
+}
+/**
+ * Thresholds that a hidden pair met.
+ */
+export interface ChangeCouplingThresholds {
+/**
+ * Commits with more analyzed files than this are skipped.
+ */
+max_files_per_commit: number
+/**
+ * Minimum commits for each file of a pair.
+ */
+min_revisions: number
+/**
+ * Minimum commits that change both files of a pair.
+ */
+min_shared_revisions: number
+/**
+ * Minimum coupling degree, from 0 to 1.
+ */
+min_degree: number
+/**
+ * Degree at or above which a pair is `strong`.
+ */
+strong_degree: number
+}
+/**
+ * Two files that change together without a static edge between them.
+ */
+export interface HiddenCouplingPair {
+/**
+ * First file, relative to the project root. Sorts before `path_b`.
+ */
+path_a: string
+/**
+ * Second file, relative to the project root.
+ */
+path_b: string
+/**
+ * Commits that changed `path_a` in the window.
+ */
+revisions_a: number
+/**
+ * Commits that changed `path_b` in the window.
+ */
+revisions_b: number
+/**
+ * Commits that changed both files.
+ */
+shared_revisions: number
+/**
+ * Coupling degree from 0 to 1: `shared_revisions` divided by the mean of
+ * `revisions_a` and `revisions_b`.
+ */
+degree: number
+/**
+ * True when `degree` reaches `thresholds.strong_degree`. The check uses
+ * the rounded `degree` that the report shows, so 0.495 counts as 0.5.
+ * A strong pair gives each file the `hidden_coupling` target factor. A
+ * file that no other target rule claims becomes a
+ * `resolve_hidden_coupling` refactoring target.
+ */
+strong?: boolean
+}
 /**
  * Runtime coverage findings merged into the health report or emitted by
  * `fallow coverage analyze`. Present in health output when --runtime-coverage
@@ -9439,6 +10022,50 @@ stale: boolean
  */
 stale_after_days: number
 }
+/**
+ * The join of a saved mutation report with the complexity findings.
+ */
+export interface HealthMutationSummary {
+/**
+ * The completion status of the run that wrote the report. Only
+ * `complete` makes an empty survivor list conclusive. Absent when the
+ * report has no completion.
+ */
+completion?: (MutationCompletionStatus | null)
+/**
+ * The number of function results in the report.
+ */
+functions: number
+/**
+ * The number of complexity findings with fresh mutation evidence.
+ */
+findings_fresh: number
+/**
+ * The number of complexity findings with stale mutation evidence.
+ */
+findings_stale: number
+/**
+ * The number of complexity findings that no function result of the
+ * report matches. A finding matches when the path, the first line and
+ * the name are equal.
+ */
+findings_unmatched: number
+/**
+ * The report files that do not match the current source, sorted by
+ * path. Their functions have no score.
+ */
+stale_files?: HealthMutationStaleFile[]
+}
+/**
+ * One file of the mutation report that does not match the current source.
+ */
+export interface HealthMutationStaleFile {
+/**
+ * The root-relative path, with forward slashes.
+ */
+path: string
+reason: HealthMutationStaleReason
+}
 /**
  * Combined coverage, runtime, complexity, and change-scope verdicts.
  */
@@ -9695,6 +10322,11 @@ direct_callers?: DirectCallerEvidence[]
  * Other duplicate-code instances that share a clone group with this target.
  */
 clone_siblings?: CloneSiblingEvidence[]
+/**
+ * Files that change together with this target without a static edge
+ * (populated for `ResolveHiddenCoupling` targets), strongest first.
+ */
+co_change_partners?: CoChangePartnerEvidence[]
 }
 /**
  * A function referenced in target evidence.
@@ -9764,6 +10396,23 @@ end_line: number
  */
 fingerprint: string
 }
+/**
+ * A hidden change-coupling partner referenced in target evidence.
+ */
+export interface CoChangePartnerEvidence {
+/**
+ * File that changes together with the target.
+ */
+path: string
+/**
+ * Commits that changed both files.
+ */
+shared_revisions: number
+/**
+ * Coupling degree from 0 to 1.
+ */
+degree: number
+}
 /**
  * Suggested action attached to a [`RefactoringTarget`].
  *
@@ -11223,6 +11872,88 @@ actions: CssCandidateAction[]
  */
 introduced?: (boolean | null)
 }
+/**
+ * The diff-risk section of `fallow audit` JSON.
+ */
+export interface DiffRiskReport {
+/**
+ * Findings, ordered by path, line, rule and kind.
+ */
+findings: DiffRiskFinding[]
+}
+/**
+ * One diff-risk finding.
+ */
+export interface DiffRiskFinding {
+rule: DiffRiskRule
+/**
+ * How the tests were weakened. Present only on `weakened-tests`.
+ */
+kind?: (WeakenedTestsKind | null)
+/**
+ * Root-relative path of the changed file, with forward slashes.
+ */
+path: string
+/**
+ * 1-based head line. Absent when the finding is about the whole file,
+ * for example removed tests or a deleted file.
+ */
+line?: (number | null)
+/**
+ * One-sentence statement of the fact.
+ */
+message: string
+/**
+ * The token, the count change, or the value change that supports the
+ * finding.
+ */
+evidence: string
+severity: DiffRiskSeverity
+/**
+ * Always `true`: the change introduced the finding.
+ */
+introduced: boolean
+/**
+ * Related locations, such as the unchanged siblings of a clone group.
+ */
+related?: DiffRiskLocation[]
+/**
+ * Suppression actions.
+ */
+actions: DiffRiskAction[]
+}
+/**
+ * A location that relates to a diff-risk finding, such as an unchanged clone
+ * sibling.
+ */
+export interface DiffRiskLocation {
+/**
+ * Root-relative path, with forward slashes.
+ */
+path: string
+/**
+ * 1-based line.
+ */
+line: number
+}
+/**
+ * One action on a diff-risk finding.
+ */
+export interface DiffRiskAction {
+type: DiffRiskActionType
+/**
+ * Always `false`: Fallow does not apply a suppression for you.
+ */
+auto_fixable: boolean
+/**
+ * Human-readable description of the action.
+ */
+description: string
+/**
+ * The suppression comment to insert. Absent on `suppress-in-config`.
+ */
+comment?: (string | null)
+}
 /**
  * Envelope emitted by `fallow explain <issue-type> --format json`.
  *
@@ -11468,6 +12199,29 @@ from_file: string
  * Reference kind, such as named import, default import, or re-export.
  */
 kind: string
+/**
+ * 1-based line of the import statement in `from_file`. Absent when the
+ * graph holds no source position for the reference or the file cannot be
+ * read.
+ */
+line?: (number | null)
+/**
+ * Whether a whole-word text search for the export name finds this
+ * consumer. Absent when no check applies, for example when the consumer
+ * source cannot be read.
+ */
+search_visibility?: (SearchVisibility | null)
+/**
+ * Why a text search does not find the uses in this consumer. With
+ * `search_visibility` `found`, only `pass-through` occurs: the consumer
+ * forwards the export and does not use it.
+ */
+reason?: (SearchGapReason | null)
+/**
+ * The name to search for in this consumer instead of the export name.
+ * Absent when the export name finds the uses or no single name does.
+ */
+search_as?: (string | null)
 }
 /**
  * Direct references that credit one namespace of an export binding.
@@ -11556,7 +12310,8 @@ owner_file_reachable: boolean
  */
 owner_is_entry_point: boolean
 /**
- * Files that reference the owning export directly.
+ * Files that reference the owning export directly. The search visibility
+ * fields on each entry check the owner export name, not the member name.
  */
 owner_direct_references: ExportReference[]
 /**
@@ -12126,6 +12881,28 @@ consumed_symbols: string[]
  * Scope note for the syntactic trace.
  */
 note: string
+/**
+ * Whether a whole-word text search for the consumed symbol names finds
+ * this consumer. When the consumer uses more than one symbol, the worst
+ * level wins (`missed`, then `renamed`, then `found`). Absent when no
+ * check applies, for example when the consumer source cannot be read.
+ */
+search_visibility?: (SearchVisibility | null)
+/**
+ * Why a text search does not find the uses of the worst symbol. With
+ * `search_visibility` `found`, only `pass-through` occurs.
+ */
+reason?: (SearchGapReason | null)
+/**
+ * The name to search for in this consumer instead of the symbol name.
+ */
+search_as?: (string | null)
+/**
+ * The entry of `consumed_symbols` that `search_visibility`, `reason`
+ * and `search_as` describe: the worst symbol, `default` for a default
+ * export. Present when `search_visibility` is present.
+ */
+search_symbol?: (string | null)
 }
 /**
  * Result of asking how one module reaches another: the shortest import path.
@@ -13084,11 +13861,24 @@ hotspots?: HotspotFinding[]
  * beside it rather than gating this summary.
  */
 hotspot_summary?: (HotspotSummary | null)
+/**
+ * Hidden change coupling: file pairs that change together in the git
+ * history without an import or re-export chain between them. Present
+ * when the hotspots section ran and the run read the git history.
+ * Advisory: no health score weight.
+ */
+change_coupling?: (ChangeCouplingReport | null)
 /**
  * Runtime coverage findings from the paid sidecar (only populated with
  * `--runtime-coverage`).
  */
 runtime_coverage?: (RuntimeCoverageReport | null)
+/**
+ * The join of a saved mutation report with the complexity findings
+ * (only populated with `--mutation-report`). It never changes the CRAP
+ * scores or the health score.
+ */
+mutation?: (HealthMutationSummary | null)
 /**
  * Combined coverage, runtime, complexity, and change-scope verdicts.
  */
@@ -13990,6 +14780,23 @@ unused_component_outputs?: UnusedComponentOutputFinding[]
  * `warn`.
  */
 unused_svelte_events?: UnusedSvelteEventFinding[]
+/**
+ * Effect layers composed only into other layers that nothing uses.
+ * Gated on the project declaring `effect`. Default severity is `warn`.
+ */
+unused_effect_layers?: UnusedEffectLayerFinding[]
+/**
+ * Effect tagged error classes that only type positions or `catchTag`
+ * handlers reference. Gated on the project declaring `effect`. Default
+ * severity is `warn`.
+ */
+unused_tagged_errors?: UnusedTaggedErrorFinding[]
+/**
+ * `catchTag` / `catchTags` handlers for a project tag that no code
+ * produces and that no `unused_tagged_errors` entry covers. Gated on the
+ * project declaring `effect`. Default severity is `warn`.
+ */
+unproduced_catch_tags?: UnproducedCatchTagFinding[]
 /**
  * Next.js Server Actions (exports of `"use server"` files) that no code in
  * the project references. Reclassified out of `unused_exports` for
@@ -15701,6 +16508,23 @@ unused_component_outputs?: UnusedComponentOutputFinding[]
  * `warn`.
  */
 unused_svelte_events?: UnusedSvelteEventFinding[]
+/**
+ * Effect layers composed only into other layers that nothing uses.
+ * Gated on the project declaring `effect`. Default severity is `warn`.
+ */
+unused_effect_layers?: UnusedEffectLayerFinding[]
+/**
+ * Effect tagged error classes that only type positions or `catchTag`
+ * handlers reference. Gated on the project declaring `effect`. Default
+ * severity is `warn`.
+ */
+unused_tagged_errors?: UnusedTaggedErrorFinding[]
+/**
+ * `catchTag` / `catchTags` handlers for a project tag that no code
+ * produces and that no `unused_tagged_errors` entry covers. Gated on the
+ * project declaring `effect`. Default severity is `warn`.
+ */
+unproduced_catch_tags?: UnproducedCatchTagFinding[]
 /**
  * Next.js Server Actions (exports of `"use server"` files) that no code in
  * the project references. Reclassified out of `unused_exports` for
@@ -15826,7 +16650,8 @@ _meta?: (Meta | null)
  *
  * - workspace discovery, at config load: `undeclared-workspace`,
  *   `malformed-package-json`, `glob-matched-no-package-json`,
- *   `malformed-tsconfig`, `tsconfig-reference-dir-missing`;
+ *   `workspace-glob-outside-root`, `malformed-tsconfig`,
+ *   `tsconfig-reference-dir-missing`;
  * - source discovery, during the file walk: `skipped-large-file`,
  *   `skipped-minified-file`, `skipped-source-dotdir`,
  *   `excluded-by-default-ignore`, `source-read-failure`,
@@ -16624,6 +17449,12 @@ complexity?: (HealthReport | null)
  * comparison ran.
  */
 branching?: (BranchingReport | null)
+/**
+ * How tests reach the value exports that the diff changes. Advisory,
+ * never gates. Absent when the diff changes no value export or no diff
+ * is known.
+ */
+test_reach?: (TestReachFacts | null)
 }
 /**
  * The ranked, capped decision surface plus the set of signal_ids the
@@ -16877,6 +17708,28 @@ affected_by_dir_omitted: number
  * deliberately skips story and test consumers that the affected set counts.
  */
 coordination_gap: CoordinationGapFact[]
+/**
+ * Co-change gaps: a changed file has a hidden change-coupling partner
+ * that is absent from the diff. The two files changed together in most
+ * commits of the history window, but no import or re-export chain
+ * connects them, so the graph facts above cannot point at the partner.
+ * Advisory, never gates. Omitted when empty.
+ * At most 10 entries (`CO_CHANGE_GAP_CAP`), strongest degree first.
+ */
+co_change_gap?: CoChangeGapFact[]
+/**
+ * All co-change gaps, before the cap cuts `co_change_gap`. Omitted
+ * when zero.
+ */
+co_change_gap_count?: number
+/**
+ * Consumers that a whole-word text search for a changed export name does
+ * not find (`missed`), or finds only under another local name
+ * (`renamed`). Only exports whose declaration statement overlaps an added
+ * diff line count, and only consumers outside the diff. Absent when no
+ * such consumer exists.
+ */
+search_gap?: (SearchGapFacts | null)
 }
 /**
  * One directory of the blast radius and how many affected files it holds.
@@ -16917,28 +17770,120 @@ consumed_symbols: string[]
 note: string
 }
 /**
- * The weighted focus map: the ranked `review-here` units plus the FULL
- * `deprioritized` escape-hatch list, so nothing is hidden.
- *
- * Completeness invariant (the escape-hatch done-condition): the two lists
- * partition the unit set, so `review_here.len() + deprioritized.len()` equals
- * the total unit count by construction.
+ * One co-change gap: `changed_file` is in the diff, `partner_file` is not,
+ * and history shows that the two files usually change together.
  */
-export interface FocusMap {
+export interface CoChangeGapFact {
 /**
- * Units labeled `review-here`, ranked by composite score (descending), ties
- * broken by path for determinism.
+ * Root-relative path of the changed file.
  */
-review_here: FocusUnit[]
+changed_file: string
 /**
- * EVERY de-prioritized unit (`not-prioritized`, plus runtime-backed `skip`
- * units on the paid path) -- the escape hatch. Always present and fully
- * enumerated so a reviewer can always "show me what you de-prioritized"; the
- * human brief collapses it by default and re-expands under
- * `--show-deprioritized`. Nothing is ever hidden, including a `skip`.
+ * Root-relative path of the hidden partner that the diff does not touch.
  */
-deprioritized: FocusUnit[]
-}
+partner_file: string
+/**
+ * Commits in the history window that changed both files.
+ */
+shared_revisions: number
+/**
+ * Coupling degree from 0 to 1.
+ */
+degree: number
+/**
+ * Scope note: history evidence, not a proof that the partner must change.
+ */
+note: string
+}
+/**
+ * The literal-search gap of the changed exports: the consumers that a text
+ * search for the export name does not find or finds only under another name.
+ */
+export interface SearchGapFacts {
+/**
+ * Sum of the per-export totals, before the per-export cap. A consumer of
+ * two changed exports counts once for each export.
+ */
+total: number
+/**
+ * One entry per changed export with at least one such consumer, sorted
+ * by file and line.
+ */
+exports: ExportSearchGapFact[]
+}
+/**
+ * The `missed` and `renamed` consumers of one changed export.
+ */
+export interface ExportSearchGapFact {
+/**
+ * Root-relative path of the changed file that declares the export.
+ */
+file: string
+/**
+ * The export name, `default` for a default export.
+ */
+export_name: string
+/**
+ * 1-based line of the export.
+ */
+line: number
+/**
+ * Number of `missed` and `renamed` consumers of this export, before the
+ * cap.
+ */
+total: number
+/**
+ * At most [`SEARCH_GAP_CONSUMER_CAP`] consumers, `missed` first, then by
+ * path.
+ */
+consumers: SearchGapConsumerFact[]
+}
+/**
+ * One consumer that a text search for the export name does not find, or
+ * finds only under another local name.
+ */
+export interface SearchGapConsumerFact {
+/**
+ * Root-relative path of the consumer.
+ */
+consumer_file: string
+/**
+ * 1-based line of the import statement in the consumer, when known.
+ */
+line?: (number | null)
+search_visibility: SearchVisibility
+/**
+ * Why the text search does not find the uses.
+ */
+reason?: (SearchGapReason | null)
+/**
+ * The name to search for in this consumer instead.
+ */
+search_as?: (string | null)
+}
+/**
+ * The weighted focus map: the ranked `review-here` units plus the FULL
+ * `deprioritized` escape-hatch list, so nothing is hidden.
+ *
+ * Completeness invariant (the escape-hatch done-condition): the two lists
+ * partition the unit set, so `review_here.len() + deprioritized.len()` equals
+ * the total unit count by construction.
+ */
+export interface FocusMap {
+/**
+ * Units labeled `review-here`, ranked by composite score (descending), ties
+ * broken by path for determinism.
+ */
+review_here: FocusUnit[]
+/**
+ * EVERY de-prioritized unit (`not-prioritized`, plus runtime-backed `skip`
+ * units on the paid path) -- the escape hatch. Always present and fully
+ * enumerated so a reviewer can always "show me what you de-prioritized"; the
+ * human brief collapses it by default and re-expands under
+ * `--show-deprioritized`. Nothing is ever hidden, including a `skip`.
+ */
+deprioritized: FocusUnit[]
+}
 /**
  * One review unit on the focus map: its file, composite score, label, human
  * reason, and any confidence flags.
@@ -17370,6 +18315,111 @@ branch_points_delta: number
  */
 functions_delta: number
 }
+/**
+ * How tests reach the value exports that the diff changes.
+ *
+ * A changed export is a value export whose declaring statement overlaps an
+ * added line. The section is advisory: it never changes the verdict or the
+ * exit code.
+ */
+export interface TestReachFacts {
+status: TestReachStatus
+masking: TestReachMasking
+/**
+ * Number of changed value exports.
+ */
+total: number
+counts: TestReachCounts
+/**
+ * The exports that need attention (`mocked-only`, `none`, `none-file`,
+ * `transitive`), at most [`TEST_REACH_EXPORT_CAP`]. The order is reach
+ * class, then `modified` before `new`, then file, line and name. Empty
+ * for `no-tests`.
+ */
+exports: ExportTestReachFact[]
+/**
+ * Number of attention rows left out by the cap.
+ */
+exports_omitted: number
+/**
+ * True when the project uses an end-to-end test runner (Playwright or
+ * Cypress). End-to-end tests drive the running app and do not import
+ * source files, so the reach classes do not count them. Absent when no
+ * such runner is present.
+ */
+e2e_runner?: boolean
+}
+/**
+ * Number of changed exports per reach class. The keys are exactly the
+ * [`TestReachClass`] values.
+ */
+export interface TestReachCounts {
+/**
+ * Exports that a test file references.
+ */
+direct: number
+/**
+ * Exports that tests reach only through other modules.
+ */
+transitive: number
+/**
+ * Exports that only mocking tests reference.
+ */
+"mocked-only": number
+/**
+ * Exports in a test-reached file without a test-reachable reference.
+ */
+none: number
+/**
+ * Exports in a file that no test loads.
+ */
+"none-file": number
+/**
+ * Framework configuration exports.
+ */
+framework: number
+}
+/**
+ * One changed export that needs attention.
+ */
+export interface ExportTestReachFact {
+/**
+ * Root-relative path of the file that declares the export.
+ */
+file: string
+/**
+ * The export name, `default` for a default export.
+ */
+export_name: string
+/**
+ * 1-based line of the export.
+ */
+line: number
+reach: TestReachClass
+change: ExportChange
+/**
+ * Test files that name the export, sorted, at most
+ * [`TEST_REACH_FILE_CAP`]. On a `mocked-only` row these are the mocking
+ * tests. Absent when no test file names the export.
+ */
+tests?: (string[] | null)
+/**
+ * Number of test files that name the export, before the cap. Present with
+ * `tests`.
+ */
+tests_total?: (number | null)
+/**
+ * True when one of the test files that name the export changed in this
+ * diff. Present with `tests`.
+ */
+test_changed?: (boolean | null)
+/**
+ * The mocked modules on the import paths, sorted, at most
+ * [`TEST_REACH_FILE_CAP`]. A mocked module can be a barrel in front of
+ * the declaring file. Present only on `mocked-only` rows.
+ */
+mocked_targets?: (string[] | null)
+}
 /**
  * The separable `decision-surface` envelope: the single call that puts taste-
  * decisions in front of a human, callable WITHOUT the full pipeline (the
@@ -17569,6 +18619,12 @@ decisions: DecisionSurface
  * never had a base snapshot.
  */
 branching?: (BranchingReport | null)
+/**
+ * How tests reach the value exports that the diff changes. Advisory,
+ * never gates. Absent when the diff changes no value export or no diff
+ * is known.
+ */
+test_reach?: (TestReachFacts | null)
 }
 /**
  * The review direction artifact: the order to review in, the coherent units,
@@ -18656,6 +19712,770 @@ removed: boolean
  */
 model_removed: boolean
 }
+/**
+ * The envelope of `fallow mutation`.
+ */
+export interface MutationReport {
+schema_version: MutationSchemaVersion
+version: ToolVersion
+elapsed_ms: ElapsedMs
+completion: MutationCompletion
+scope: MutationScopeOutput
+/**
+ * The runner. Absent when no companion started, for example when no
+ * test file reaches a mutant.
+ */
+runner?: (MutationRunnerOutput | null)
+/**
+ * The result cache. Absent with `--no-cache`, and when no companion
+ * started.
+ */
+cache?: (MutationCacheOutput | null)
+summary: MutationSummary
+/**
+ * Each mutant, ranked mutants first.
+ */
+mutants: MutantResult[]
+/**
+ * The results per enclosing function, by file and line.
+ */
+functions: MutationFunctionResult[]
+/**
+ * True when the project has no test files.
+ */
+no_test_files: boolean
+/**
+ * The tests and test files that failed with no active mutant.
+ */
+baseline_failures: MutationBaselineFailure[]
+/**
+ * The selected files that the plan did not instrument.
+ */
+skipped_files: MutationSkippedFile[]
+/**
+ * The paths of a `paths` scope that select no file.
+ */
+unmatched_paths: string[]
+/**
+ * The instrumented files that the runner never loaded.
+ */
+unloaded_paths: string[]
+worktree: MutationWorktreeCheck
+/**
+ * The errors that did not stop the run.
+ */
+errors: MutationRunIssue[]
+timings: MutationTimings
+/**
+ * The mutated files with their SHA-256 digest at plan time, sorted by
+ * path. `fallow mutation inspect` compares the digest with the current
+ * file.
+ */
+files: MutationPlanFile[]
+/**
+ * The join with a verdict document. Absent when the run read no verdict
+ * document (`--verdicts` not set).
+ */
+verdicts?: (MutationVerdictJoin | null)
+/**
+ * The type check of the survivors. Absent when the run did not check
+ * them (`--typecheck` not set).
+ */
+typecheck?: (MutationTypecheckOutput | null)
+}
+/**
+ * The completion status of a run.
+ */
+export interface MutationCompletion {
+status: MutationCompletionStatus
+/**
+ * Why the run is partial, sorted. Empty for a complete run.
+ */
+reasons: MutationIncompleteReason[]
+}
+/**
+ * The scope of a plan or a run.
+ */
+export interface MutationScopeOutput {
+kind: MutationScopeKind
+/**
+ * The base ref of a `changed` scope.
+ */
+base_ref?: (string | null)
+}
+/**
+ * The test runner of a run.
+ */
+export interface MutationRunnerOutput {
+/**
+ * The runner name, for example `vitest`.
+ */
+name: string
+/**
+ * The runner version from the project.
+ */
+version: string
+/**
+ * The wire protocol version of the companion.
+ */
+protocol_version: number
+runtime: MutationRuntimeOutput
+/**
+ * The number of companion processes that ran mutants.
+ */
+concurrency: number
+/**
+ * Facts of the runner setup that limit the result, kebab-case.
+ * `typecheck-not-run`: the project config enables the Vitest type-check
+ * pass, and the run did not execute it, so a type-level kill is not
+ * counted. Absent when the runner states no fact.
+ */
+notes?: string[]
+}
+/**
+ * The JavaScript runtime that ran the companion.
+ */
+export interface MutationRuntimeOutput {
+/**
+ * `node` or `bun`.
+ */
+name: string
+/**
+ * The version that the runtime reports.
+ */
+version: string
+}
+/**
+ * The result cache facts of a run.
+ */
+export interface MutationCacheOutput {
+/**
+ * The mutants whose status came from the cache. They did not run.
+ */
+hits: number
+/**
+ * The results that this run added to the cache.
+ */
+stored: number
+/**
+ * The test inputs that the cache key does not cover: modules that a
+ * test loads through a dynamic import that the module graph does not
+ * resolve (`dynamic-imports`), and files that a test reads
+ * (`file-reads`). A change to them does not invalidate a cached result.
+ */
+not_keyed: string[]
+}
+/**
+ * The totals of a run.
+ */
+export interface MutationSummary {
+counts: MutationStatusCounts
+/**
+ * The mutation score over the executed mutants, a fraction from 0 to 1:
+ * `(killed + timeout) / (killed + timeout + survived)`. `null` when no
+ * mutant ran to a tested result. `--min-score` and `mutation.minScore`
+ * compare this value in percent.
+ */
+score?: (number | null)
+/**
+ * The share of mutants that a test reaches, a fraction from 0 to 1:
+ * `covered / (covered + no_coverage)` over the whole plan. `covered`
+ * counts each executed mutant with a covering test and each `pending`
+ * mutant that a passing dry-run test covers. A `pending` mutant that no
+ * dry-run test covers is `no_coverage`, so a run that `--max-mutants`
+ * caps reports the coverage of the full run. `equivalent` and `pruned`
+ * mutants never count. `null` when no mutant is covered or unreached.
+ */
+coverage?: (number | null)
+}
+/**
+ * One mutant of a run.
+ */
+export interface MutantResult {
+/**
+ * The stable mutant id.
+ */
+mutant_id: string
+/**
+ * The root-relative path, with forward slashes.
+ */
+file: string
+/**
+ * The 1-based line.
+ */
+line: number
+/**
+ * The 1-based column.
+ */
+column: number
+/**
+ * The byte span in the original file.
+ *
+ * @minItems 2
+ * @maxItems 2
+ */
+span: [number, number]
+/**
+ * The operator name, kebab-case.
+ */
+operator: string
+/**
+ * The name of the enclosing function.
+ */
+function?: (string | null)
+/**
+ * The 1-based first line of the enclosing function.
+ */
+function_line?: (number | null)
+/**
+ * The 1-based execution rank of a planned mutant.
+ */
+rank?: (number | null)
+status: MutantStatus
+/**
+ * The static rule of a `pruned` mutant, kebab-case.
+ */
+prune_reason?: (string | null)
+/**
+ * The test that killed the mutant in this run. Absent for a kill by an
+ * error outside a test.
+ *
+ * This is evidence of one run, not a stable fact. A run stops at the
+ * first failing test, and it runs the fastest covering test first, so a
+ * second run on the same code can name another covering test. No
+ * fingerprint or baseline comparison uses this field.
+ */
+killed_by?: (string | null)
+/**
+ * The tests that reached the mutant in the dry run, sorted by test id.
+ */
+covering_tests?: string[]
+/**
+ * True when the mutant runs while a module loads, outside each test.
+ */
+static_mutant?: boolean
+/**
+ * The duration of one run in milliseconds. A `killed` mutant after a
+ * retry reports the retry. Each other status reports the first run.
+ */
+duration_ms?: (number | null)
+/**
+ * How tests reach the code of the mutant in the module graph. Only a
+ * `no_coverage` mutant has this field.
+ */
+test_reach?: (MutantTestReach | null)
+/**
+ * True when the status comes from a first run and a retry in a new
+ * companion. A `survived` or `timeout` mutant without this field got no
+ * retry, because the time budget ended first.
+ */
+retried?: boolean
+/**
+ * True when the status comes from the result cache of an earlier run.
+ * The mutant did not run in this run. `--no-cache` runs each mutant.
+ */
+cached?: boolean
+/**
+ * The TypeScript diagnostic codes of the new errors of a
+ * `compile_error` mutant, sorted, at most 8.
+ */
+type_error_codes?: number[]
+}
+/**
+ * How tests reach the code of one mutant in the module graph. The class
+ * gives a static reason why no test covers the mutant.
+ *
+ * A mutant in the top-level statement that declares a value export gets the
+ * class of that export. A mutant outside each such statement gets the class
+ * of its file: `none-file` when no test loads the file, `mocked-only` when no
+ * test loads the file and a mock explains an export of the file, and `none`
+ * when a test loads the file.
+ */
+export interface MutantTestReach {
+reach: TestReachClass
+/**
+ * The export whose declaration holds the mutant. Absent for a mutant
+ * outside each value export declaration.
+ */
+export_name?: (string | null)
+/**
+ * For `mocked-only`: the test files whose references a mock removed,
+ * sorted.
+ */
+tests?: string[]
+/**
+ * For `mocked-only`: the mocked modules on the reference paths, sorted.
+ * A mocked module can be a barrel in front of the file of the mutant.
+ */
+mocked_targets?: string[]
+}
+/**
+ * The results of the mutants of one function.
+ */
+export interface MutationFunctionResult {
+/**
+ * The root-relative path, with forward slashes.
+ */
+file: string
+/**
+ * The function name. `null` for code outside each function, and for an
+ * anonymous function.
+ */
+name?: (string | null)
+/**
+ * The 1-based first line. `null` for code outside each function.
+ */
+line?: (number | null)
+/**
+ * The 1-based last line. `null` for code outside each function.
+ */
+end_line?: (number | null)
+/**
+ * True when an added line of the diff is in the function.
+ */
+in_diff: boolean
+/**
+ * The cyclomatic complexity, when the analysis measured the function.
+ */
+cyclomatic?: (number | null)
+counts: MutationStatusCounts
+/**
+ * The mutation score of the function.
+ */
+score?: (number | null)
+/**
+ * The ids of the survived mutants, in rank order.
+ */
+survived?: string[]
+}
+/**
+ * A test or a test file that failed with no active mutant. Its tests do not
+ * decide a mutant status.
+ */
+export interface MutationBaselineFailure {
+/**
+ * The test file, root-relative. `null` for an error outside each test
+ * file.
+ */
+file?: (string | null)
+/**
+ * The test id, for a failed test.
+ */
+test_id?: (string | null)
+/**
+ * The error message, for an error outside a test, or the reason for a
+ * test that did not pass in the dry run of a restarted companion.
+ */
+message?: (string | null)
+/**
+ * The mutants that ran without this test, because the test did not pass
+ * in the dry run of a restarted companion. Each of them ran with its
+ * other covering tests. Absent for a failure of the first dry run.
+ */
+mutant_ids?: string[]
+}
+/**
+ * A selected file that the plan did not instrument.
+ */
+export interface MutationSkippedFile {
+/**
+ * The root-relative path, with forward slashes.
+ */
+path: string
+/**
+ * Why the plan skipped the file, kebab-case.
+ */
+reason: string
+}
+/**
+ * The git worktree check of a run: a run refuses a dirty worktree unless
+ * `--allow-dirty` is set, and it compares the worktree after the run.
+ */
+export interface MutationWorktreeCheck {
+/**
+ * False when the root is not in a git worktree, so no check ran.
+ */
+checked: boolean
+/**
+ * True when the caller allowed a dirty worktree.
+ */
+allow_dirty: boolean
+/**
+ * The paths that were dirty before the run, sorted.
+ */
+dirty_at_start?: string[]
+/**
+ * The paths that the run changed, sorted. A non-empty list is an error.
+ */
+changed_paths: string[]
+}
+/**
+ * An error of a run that did not stop the run.
+ */
+export interface MutationRunIssue {
+/**
+ * A stable kebab-case code: `runtime-error`, `static-map-miss`,
+ * `test-files-not-discovered`, `typecheck-failed`, `worktree-changed`
+ * or `worktree-check-failed`.
+ */
+code: string
+/**
+ * A description.
+ */
+message: string
+/**
+ * The mutant of the issue.
+ */
+mutant_id?: (string | null)
+/**
+ * The last part of the companion stderr.
+ */
+stderr_tail?: (string | null)
+}
+/**
+ * The wall time of each phase, in milliseconds.
+ */
+export interface MutationTimings {
+/**
+ * The analysis and the plan.
+ */
+plan_ms: number
+/**
+ * The companion install, the run directory, and the first `init`.
+ */
+setup_ms: number
+/**
+ * The dry run.
+ */
+dry_run_ms: number
+/**
+ * The mutant runs.
+ */
+mutants_ms: number
+/**
+ * The second runs of survived and timed-out mutants.
+ */
+retry_ms: number
+/**
+ * The type check of the survivors. Zero when the run did not check
+ * them.
+ */
+typecheck_ms: number
+}
+/**
+ * One instrumented file of a plan.
+ */
+export interface MutationPlanFile {
+/**
+ * The root-relative path, with forward slashes.
+ */
+path: string
+/**
+ * The SHA-256 digest of the file, lowercase hex.
+ */
+source_sha256: string
+/**
+ * The test files that reach the file in the module graph, sorted.
+ */
+static_test_files: string[]
+}
+/**
+ * The result of the join of a run with a verdict document.
+ */
+export interface MutationVerdictJoin {
+/**
+ * The SHA-256 digest of the verdict document, lowercase hex.
+ */
+verdicts_sha256: string
+/**
+ * The mutants that got the status `equivalent`, sorted.
+ */
+applied: string[]
+/**
+ * The verdicts that a test contradicts, sorted: the mutant was killed or
+ * timed out, so it is not equivalent. The status stays.
+ */
+contradicted: string[]
+/**
+ * The verdicts for mutants with no tested result (`pending`,
+ * `runtime_error` or `pruned`), sorted. The status stays.
+ */
+deferred: string[]
+/**
+ * The verdicts that match no mutant of this run, sorted. A verdict
+ * document can hold keys for code outside the scope of the run, and an
+ * edit of a function gives its mutants new keys.
+ */
+unmatched: string[]
+}
+/**
+ * The type check of the survivors (`--typecheck`).
+ */
+export interface MutationTypecheckOutput {
+/**
+ * True when the type check gave a result for each survivor that it
+ * received. False when the companion failed; the survivors then keep
+ * the status `survived`.
+ */
+completed: boolean
+/**
+ * The survivors that the type check received.
+ */
+survivors: number
+/**
+ * The survivors that the checker checked.
+ */
+checked: number
+/**
+ * The checked survivors that do not type-check. They have the status
+ * `compile_error`.
+ */
+compile_errors: number
+/**
+ * The survivors that the checker did not check, by reason.
+ */
+skipped?: MutationTypecheckSkip[]
+}
+/**
+ * The number of survivors with one skip reason.
+ */
+export interface MutationTypecheckSkip {
+reason: MutationTypecheckSkipReason
+/**
+ * The number of survivors.
+ */
+count: number
+}
+/**
+ * The envelope of `fallow mutation --plan`. It runs no user code.
+ */
+export interface MutationPlanOutput {
+schema_version: MutationPlanSchemaVersion
+version: ToolVersion
+elapsed_ms: ElapsedMs
+scope: MutationScopeOutput
+counts: MutationPlanCountsOutput
+/**
+ * Each mutant, ranked mutants first.
+ */
+mutants: MutationPlanMutant[]
+/**
+ * The instrumented files.
+ */
+files: MutationPlanFile[]
+/**
+ * The union of the static test files, sorted.
+ */
+test_files: string[]
+/**
+ * True when the project has no test files.
+ */
+no_test_files: boolean
+/**
+ * True when the plan applied the `framework-config` prune rule.
+ */
+framework_config_checked: boolean
+/**
+ * The selected files that the plan did not instrument.
+ */
+skipped_files: MutationSkippedFile[]
+/**
+ * The paths of a `paths` scope that select no file.
+ */
+unmatched_paths: string[]
+}
+/**
+ * The totals of a plan.
+ */
+export interface MutationPlanCountsOutput {
+/**
+ * Each mutant.
+ */
+total: number
+/**
+ * Planned mutants.
+ */
+planned: number
+/**
+ * Mutants after the mutant limit.
+ */
+pending: number
+/**
+ * Mutants that no test file reaches.
+ */
+no_coverage: number
+/**
+ * Mutants in unused files.
+ */
+pruned_dead_code: number
+/**
+ * Mutants in generated files.
+ */
+pruned_generated: number
+/**
+ * Mutants near a file system, process, network or database sink.
+ */
+pruned_side_effect_sink: number
+/**
+ * Mutants in framework config exports.
+ */
+pruned_framework_config: number
+}
+/**
+ * One mutant of a plan.
+ */
+export interface MutationPlanMutant {
+/**
+ * The stable mutant id.
+ */
+mutant_id: string
+/**
+ * The root-relative path, with forward slashes.
+ */
+file: string
+/**
+ * The 1-based line.
+ */
+line: number
+/**
+ * The 1-based column.
+ */
+column: number
+/**
+ * The byte span in the original file.
+ *
+ * @minItems 2
+ * @maxItems 2
+ */
+span: [number, number]
+/**
+ * The operator name, kebab-case.
+ */
+operator: string
+/**
+ * The name of the enclosing function.
+ */
+function?: (string | null)
+/**
+ * The 1-based first line of the enclosing function.
+ */
+function_line?: (number | null)
+/**
+ * The 1-based execution rank of a planned mutant.
+ */
+rank?: (number | null)
+disposition: MutationPlanDisposition
+/**
+ * The static rule of a `pruned` mutant, kebab-case.
+ */
+prune_reason?: (string | null)
+/**
+ * How tests reach the code of the mutant in the module graph. Only a
+ * `no_coverage` mutant has this field.
+ */
+test_reach?: (MutantTestReach | null)
+}
+/**
+ * The envelope of `fallow mutation inspect`. It runs no user code.
+ */
+export interface MutationInspectOutput {
+schema_version: MutationInspectSchemaVersion
+version: ToolVersion
+status: MutationInspectStatus
+/**
+ * Why the packet is stale. Absent for a fresh packet.
+ */
+stale_reason?: (MutationStaleReason | null)
+/**
+ * The stable mutant id.
+ */
+mutant_id: string
+/**
+ * The root-relative path, with forward slashes.
+ */
+file: string
+/**
+ * The 1-based line.
+ */
+line: number
+/**
+ * The 1-based column.
+ */
+column: number
+/**
+ * The byte span in the original file.
+ *
+ * @minItems 2
+ * @maxItems 2
+ */
+span: [number, number]
+/**
+ * The operator name, kebab-case.
+ */
+operator: string
+/**
+ * The name of the enclosing function.
+ */
+function?: (string | null)
+/**
+ * The 1-based first line of the enclosing function.
+ */
+function_line?: (number | null)
+/**
+ * The 1-based execution rank of a planned mutant.
+ */
+rank?: (number | null)
+/**
+ * The status of the mutant in the report. Absent for a plan.
+ */
+report_status?: (MutantStatus | null)
+/**
+ * The SHA-256 digest of the file in the report.
+ */
+report_sha256?: (string | null)
+/**
+ * The SHA-256 digest of the current file. `null` when the file is
+ * missing.
+ */
+current_sha256?: (string | null)
+/**
+ * The original and mutated code. `null` for a stale packet.
+ */
+code?: (MutationInspectCode | null)
+/**
+ * The tests that reached the mutant in the dry run, sorted.
+ */
+covering_tests: string[]
+/**
+ * The test files that reach the file in the module graph, sorted.
+ */
+static_test_files: string[]
+/**
+ * The test that killed the mutant in the run of the report.
+ */
+killed_by?: (string | null)
+}
+/**
+ * The code of one mutant, from the current file.
+ */
+export interface MutationInspectCode {
+/**
+ * The original text of the span.
+ */
+original: string
+/**
+ * The text that replaces the span.
+ */
+replacement: string
+/**
+ * The source lines that contain the span, before the mutation.
+ */
+original_lines: string
+/**
+ * The same lines with the replacement applied.
+ */
+mutated_lines: string
+}
 /**
  * Single CodeClimate-compatible issue inside [`CodeClimateOutput`].
  */