Skip to main content

dev_prune/
json.rs

1// Copyright 2026 VKrishna04
2// SPDX-License-Identifier: Apache-2.0
3
4// Machine-readable output for `--json`.
5//
6// This module is the whole contract. Every field an AI agent, CI step or script can rely
7// on is built here, so there is exactly one place to look when asking "what does
8// dev-prune emit?" and exactly one place to change when the answer moves.
9//
10// ## Stability
11//
12// `schema` is an integer that increases when a consumer would have to change to keep
13// working: a field removed, renamed, or given a different meaning. *Adding* a field does
14// not bump it, so parse permissively and ignore what you do not recognise.
15//
16// Paths are emitted through `output::clean_path`, which is what the human output shows,
17// so the two never disagree about what a repository is called.
18
19use serde_json::{Value, json};
20
21use crate::config::{Registry, Settings};
22use crate::constants;
23use crate::engine::{PruneResult, PruneStatus, RepoStatusEntry, SkipReason};
24use crate::output::clean_path;
25
26/// Current output schema version. See the module docs before changing it.
27pub const SCHEMA_VERSION: u32 = 1;
28
29/// The stable machine name for a prune outcome.
30///
31/// Deliberately not the `Display` string: the human text is free to be reworded, these
32/// are not. Keep them lowercase snake_case and never reuse a retired one.
33fn status_tag(status: &PruneStatus) -> &'static str {
34    match status {
35        PruneStatus::Pruned => "pruned",
36        PruneStatus::SkippedActive => "skipped_active",
37        PruneStatus::SkippedDryRun => "skipped_dry_run",
38        PruneStatus::LockfileError(_) => "lockfile_error",
39        PruneStatus::ActivityCheckError(_) => "activity_check_error",
40        PruneStatus::PathMissing => "path_missing",
41        PruneStatus::NoBloat => "no_bloat",
42        PruneStatus::Disabled => "disabled",
43        PruneStatus::SkippedIgnored => "ignored",
44        PruneStatus::DeleteError(_) => "delete_error",
45        PruneStatus::ConfigError(_) => "config_error",
46        PruneStatus::SkippedSymlink(_) => "skipped_symlink",
47        PruneStatus::SkippedDeclaration(_) => "skipped_declaration",
48        PruneStatus::SkippedNestedRepo(_) => "skipped_nested_repo",
49    }
50}
51
52/// The detail carried by the failure variants, if any.
53fn status_message(status: &PruneStatus) -> Option<&str> {
54    match status {
55        PruneStatus::LockfileError(e)
56        | PruneStatus::ActivityCheckError(e)
57        | PruneStatus::DeleteError(e)
58        | PruneStatus::ConfigError(e)
59        | PruneStatus::SkippedSymlink(e)
60        | PruneStatus::SkippedDeclaration(e)
61        | PruneStatus::SkippedNestedRepo(e) => Some(e.trim()),
62        _ => None,
63    }
64}
65
66/// The command an agent should run to fix a failed lockfile check, or `None` when the
67/// failure is not of that kind.
68///
69/// This is the single reason an agent can act on a `lockfile_error` without a human:
70/// the fix is mechanical and the same one the human report prints.
71///
72/// Each of these is the *writing* form of that adapter's verification — the one
73/// [`crate::adapters::enforce_two_tier`] refuses to run on the user's behalf unless
74/// they set `allow_manifest_rewrite`. It resyncs the lockfile with the manifest, which
75/// is exactly what a failed read-only verification is complaining about.
76pub fn lockfile_fix_command(adapter: &str) -> Option<&'static str> {
77    Some(match adapter {
78        "npm" => "npm install --package-lock-only --ignore-scripts",
79        "pnpm" => "pnpm install --lockfile-only",
80        "yarn" => "yarn install --mode update-lockfile",
81        // bun has no resolve-only write mode; a plain install is what refreshes
82        // `bun.lock`, and unlike the others it also populates `node_modules`.
83        "bun" => "bun install",
84        "uv" => "uv lock",
85        "poetry" => "poetry lock",
86        "pdm" => "pdm lock",
87        "pipenv" => "pipenv lock",
88        "cargo" => "cargo generate-lockfile",
89        "go" => "go mod tidy",
90        "composer" => "composer update --no-install",
91        "bundler" => "bundle lock",
92        "cocoapods" => "pod install",
93        // Both Mix adapters refuse on a missing `mix.lock`, and one command writes it.
94        "mix" | "mix_build" => "mix deps.get",
95        // Writes the provider selections into `.terraform.lock.hcl` without touching
96        // the backend, which is the whole of what this adapter needs proven.
97        "terraform" => "terraform providers lock",
98        // Like bun, pub has no resolve-only write mode: `pub get` is what writes
99        // `pubspec.lock`, and it fills the machine-wide pub cache on the way past.
100        "dart" => "dart pub get",
101        // venv has no lockfile to regenerate — the fix is to write `requirements.txt`,
102        // which is authoring work, not a command we can hand over. gradle, maven, swift,
103        // vcpkg and cmake_build verify the manifest, not lockfile sync — a missing
104        // manifest, or a `vcpkg.json` that declares no dependencies, has no mechanical
105        // fix either.
106        _ => return None,
107    })
108}
109
110fn result_value(result: &PruneResult) -> Value {
111    let mut obj = json!({
112        "repository": clean_path(&result.repo_path),
113        "adapter": result.adapter_name,
114        "directory": result.bloat_dir,
115        "status": status_tag(&result.status),
116        "bytes": result.size_freed,
117        "shared_bytes": result.shared_bytes,
118    });
119
120    if let Some(message) = status_message(&result.status) {
121        obj["message"] = json!(message);
122    }
123    if matches!(result.status, PruneStatus::LockfileError(_))
124        && let Some(fix) = lockfile_fix_command(&result.adapter_name)
125    {
126        obj["fix_command"] = json!(fix);
127    }
128    obj
129}
130
131/// The document emitted by `devp run --json`.
132///
133/// `summary.errors` counts results whose status is one of the four failure tags; a
134/// consumer that only wants to know "did anything go wrong" can read that alone.
135pub fn run_document(results: &[PruneResult], dry_run: bool) -> Value {
136    let bytes_freed: u64 = results
137        .iter()
138        .filter(|r| matches!(r.status, PruneStatus::Pruned))
139        .map(|r| r.size_freed)
140        .sum();
141    let directories_pruned = results
142        .iter()
143        .filter(|r| matches!(r.status, PruneStatus::Pruned))
144        .count();
145    let bytes_reclaimable: u64 = results
146        .iter()
147        .filter(|r| matches!(r.status, PruneStatus::SkippedDryRun))
148        .map(|r| r.size_freed)
149        .sum();
150    let errors = results
151        .iter()
152        .filter(|r| {
153            matches!(
154                r.status,
155                PruneStatus::LockfileError(_)
156                    | PruneStatus::ActivityCheckError(_)
157                    | PruneStatus::DeleteError(_)
158                    | PruneStatus::ConfigError(_)
159            )
160        })
161        .count();
162
163    json!({
164        "schema": SCHEMA_VERSION,
165        "version": constants::VERSION,
166        "command": "run",
167        "dry_run": dry_run,
168        "results": results.iter().map(result_value).collect::<Vec<_>>(),
169        "summary": {
170            "bytes_freed": bytes_freed,
171            "bytes_reclaimable": bytes_reclaimable,
172            "directories_pruned": directories_pruned,
173            "errors": errors,
174        },
175    })
176}
177
178/// The stable machine name for why a repository is or is not a candidate.
179fn reason_tag(reason: &SkipReason) -> &'static str {
180    match reason {
181        SkipReason::Candidate => "candidate",
182        SkipReason::Active => "active",
183        SkipReason::Ignored => "ignored",
184        SkipReason::NoBloat => "no_bloat",
185        SkipReason::PathMissing => "path_missing",
186        SkipReason::ConfigError(_) => "config_error",
187    }
188}
189
190fn settings_value(settings: &Settings) -> Value {
191    json!({
192        "idle_days": settings.idle_days,
193        "check_interval_days": settings.check_interval_days,
194        "auto_setup": settings.auto_setup,
195        "auto_hooks": settings.auto_hooks,
196        "auto_daemon": settings.auto_daemon,
197        "require_confirmation": settings.require_confirmation,
198        "command_timeout_secs": settings.command_timeout_secs,
199        "min_size_mb": settings.min_size_mb,
200        "update_check": settings.update_check,
201    })
202}
203
204fn repo_value(registry: &Registry, entry: &RepoStatusEntry) -> Value {
205    let mut obj = json!({
206        "path": clean_path(&entry.path),
207        "state": reason_tag(&entry.reason),
208        "enabled": entry.entry.enabled,
209        "idle_days": entry.idle_days,
210        "last_activity": entry.last_activity.map(|t| t.to_rfc3339()),
211        "last_pruned_at": entry.entry.last_pruned_at.map(|t| t.to_rfc3339()),
212        "bytes_freed": entry.entry.total_freed_bytes,
213        "added_at": entry.entry.added_at.to_rfc3339(),
214        "adapters": entry.adapters,
215        "reclaimable_bytes": entry.reclaimable_bytes,
216        "directories": entry.bloat_dirs.iter().map(|b| json!({
217            "name": b.name,
218            "path": clean_path(&b.path),
219            "bytes": b.size_bytes,
220            "shared_bytes": b.shared_bytes,
221        })).collect::<Vec<_>>(),
222        // Null, not zero, when this machine has never timed a restore for any adapter
223        // this repository uses. Zero would read as "instant".
224        "restore_estimate_secs": registry
225            .estimate_restore(&entry.reclaimable_by_adapter)
226            .map(|(secs, _)| secs.round() as u64),
227    });
228
229    // Present only on `config_error`, and absent rather than null everywhere else — the
230    // same rule `result_value` follows for `message`, so one parser handles both
231    // documents. It carries the actual parse failure, so an agent can report what is
232    // wrong with the file instead of only the state word.
233    if let SkipReason::ConfigError(e) = &entry.reason {
234        obj["error"] = json!(e);
235    }
236    obj
237}
238
239/// The document emitted by `devp status --json`.
240///
241/// `daemon` and `hooks` are the same strings the dashboard shows; they describe the
242/// state of the machine's integrations, which is what an agent needs to decide whether
243/// to suggest `devp setup`.
244///
245/// `top` trims the `repositories` array only. `totals` is always computed over every
246/// registered repository, and `top` is echoed back so a consumer can tell a short list
247/// from a tidy machine.
248pub fn status_document(
249    registry: &Registry,
250    repos: &[RepoStatusEntry],
251    daemon: &str,
252    hooks: &str,
253    top: Option<usize>,
254) -> Value {
255    let reclaimable: u64 = repos.iter().map(|r| r.reclaimable_bytes).sum();
256    let candidates = repos
257        .iter()
258        .filter(|r| matches!(r.reason, SkipReason::Candidate))
259        .count();
260    let listed = crate::engine::take_top(repos, top);
261
262    // Over every repository, like the rest of `totals`, and not over the trimmed list.
263    let mut by_adapter: std::collections::BTreeMap<String, u64> = std::collections::BTreeMap::new();
264    for repo in repos {
265        for (adapter, bytes) in &repo.reclaimable_by_adapter {
266            *by_adapter.entry(adapter.clone()).or_default() += bytes;
267        }
268    }
269    let estimate = registry.estimate_restore(&by_adapter.into_iter().collect::<Vec<_>>());
270
271    let mut doc = json!({
272        "schema": SCHEMA_VERSION,
273        "version": constants::VERSION,
274        "command": "status",
275        "config_path": Registry::registry_path().map(|p| clean_path(&p)).ok(),
276        "integrations": { "daemon": daemon, "git_hooks": hooks },
277        "settings": settings_value(&registry.settings),
278        "totals": {
279            "repositories": registry.repo_count(),
280            "candidates": candidates,
281            "reclaimable_bytes": reclaimable,
282            "historical_bytes_freed": registry.total_freed_bytes,
283            "prune_passes": registry.total_pruned_count,
284            // Measured on this machine and nowhere else: `covered_bytes` is the part of
285            // `reclaimable_bytes` whose adapters have actually been timed here, so a
286            // consumer can tell a whole answer from a partial one instead of quoting
287            // `seconds` as if it covered everything.
288            "restore_estimate": estimate.map(|(secs, covered)| json!({
289                "seconds": secs.round() as u64,
290                "covered_bytes": covered,
291                "samples": registry.restore_rates.values().map(|r| r.samples as u64).sum::<u64>(),
292            })),
293        },
294        "repositories": listed.iter().map(|r| repo_value(registry, r)).collect::<Vec<_>>(),
295    });
296
297    // Absent rather than null when the whole list is present, the same rule `message`
298    // and `note` follow elsewhere in this contract.
299    if let Some(n) = top {
300        doc["top"] = json!(n);
301    }
302    doc
303}
304
305/// The document emitted by `devp stats --json`.
306///
307/// Three different vintages of number live here, and the field names say which is which.
308/// `lifetime` has been accumulating since 1.0.0. `recent_passes` and the `bytes_freed`
309/// inside `repositories` are only recorded from 1.1.0 onward, so on an upgraded machine
310/// they start near zero while `lifetime` does not — `history_starts_at` names the version
311/// that changed, so a consumer can say so rather than reporting a regression.
312/// `lifetime.cache_bytes_freed` is the third vintage: 1.9.0 onward, and zero on every
313/// machine that has not emptied a cache since upgrading.
314pub fn stats_document(registry: &Registry) -> Value {
315    let mut repos: Vec<(&std::path::PathBuf, &crate::config::RepoEntry)> =
316        registry.repositories.iter().collect();
317    repos.sort_by(|a, b| {
318        b.1.total_freed_bytes
319            .cmp(&a.1.total_freed_bytes)
320            .then_with(|| a.0.cmp(b.0))
321    });
322
323    json!({
324        "schema": SCHEMA_VERSION,
325        "version": constants::VERSION,
326        "command": "stats",
327        "history_starts_at": constants::HISTORY_STARTS_AT,
328        "lifetime": {
329            "bytes_freed": registry.total_freed_bytes,
330            // Its own key, never added to `bytes_freed`. Both are bytes this tool gave
331            // back, but a consumer asking "how much did pruning save me" and one asking
332            // "how much will I re-download" want different halves of the sum.
333            "cache_bytes_freed": registry.total_cache_freed_bytes,
334            // Same name and same number as `totals.prune_passes` in the status document.
335            // One per pass that deleted something, wherever it was started from.
336            "prune_passes": registry.total_pruned_count,
337            "repositories": registry.repo_count(),
338        },
339        "last_prune": registry.last_prune.as_ref().map(|p| json!({
340            "at": p.at.to_rfc3339(),
341            "bytes_freed": p.dirs.iter().map(|d| d.size_freed).sum::<u64>(),
342            "directories": p.dirs.len(),
343        })),
344        "recent_passes": registry.prune_history.iter().rev().map(|p| json!({
345            "at": p.at.to_rfc3339(),
346            "bytes_freed": p.bytes_freed,
347            "directories": p.dirs_removed,
348            "repositories": p.repos_touched,
349        })).collect::<Vec<_>>(),
350        "repositories": repos.iter().map(|(path, entry)| json!({
351            "path": clean_path(path),
352            "bytes_freed": entry.total_freed_bytes,
353            "last_pruned_at": entry.last_pruned_at.map(|t| t.to_rfc3339()),
354        })).collect::<Vec<_>>(),
355    })
356}
357
358/// One entry per container engine that is installed, for either document that carries
359/// them.
360///
361/// An engine that is not installed is absent rather than present with `available:
362/// false`: a consumer looping over this array is asking "what is on this machine", and a
363/// row for every engine that is not would make every machine look like it had three.
364///
365/// `available: false` is the other case — installed, and its daemon did not answer — and
366/// it carries `reason` instead of sizes. A consumer must not read a missing `total_bytes`
367/// as zero; that is the difference between "Docker is holding nothing" and "dev-prune
368/// could not find out".
369fn container_engines(reports: &[crate::commands::containers::EngineReport]) -> Vec<Value> {
370    use crate::commands::containers::EngineState;
371    reports
372        .iter()
373        .map(|report| match &report.state {
374            EngineState::Unavailable(reason) => json!({
375                "engine": report.name,
376                "available": false,
377                "reason": reason,
378            }),
379            EngineState::Ready(rows) => json!({
380                "engine": report.name,
381                "available": true,
382                "rows": rows.iter().map(|row| {
383                    let mut obj = json!({ "kind": row.kind });
384                    // Every one of these is absent rather than null when the engine did
385                    // not say. `docker system df` reports no count for build cache on
386                    // some versions, and a `"total": 0` there would be a number nobody
387                    // produced.
388                    if let Some(n) = row.total {
389                        obj["total"] = json!(n);
390                    }
391                    if let Some(n) = row.active {
392                        obj["active"] = json!(n);
393                    }
394                    if let Some(n) = row.bytes {
395                        obj["bytes"] = json!(n);
396                    }
397                    if let Some(n) = row.reclaimable {
398                        obj["reclaimable_bytes"] = json!(n);
399                    }
400                    obj
401                }).collect::<Vec<_>>(),
402                "total_bytes": report.total_bytes().unwrap_or(0),
403                "reclaimable_bytes": report.reclaimable_bytes().unwrap_or(0),
404            }),
405        })
406        .collect()
407}
408
409/// The document emitted by `devp caches docker --json` and its siblings.
410///
411/// Deliberately has no `clear_command` anywhere, unlike [`caches_document`]. The prune
412/// commands are in the human report because a person reads them and decides; putting them
413/// in a machine-readable document would be handing an agent an argv for `docker system
414/// prune --volumes`, and no field in this contract should be one command substitution
415/// away from deleting a database. An agent that wants to reclaim container disk should
416/// say so to its human.
417///
418/// `kubernetes_contexts` carries names and no sizes, for the same reason the table does:
419/// a local cluster's disk already belongs to one of the engines above.
420pub fn containers_document(
421    reports: &[crate::commands::containers::EngineReport],
422    kubernetes_contexts: &[String],
423) -> Value {
424    let total: u64 = reports.iter().filter_map(|r| r.total_bytes()).sum();
425    let reclaimable: u64 = reports.iter().filter_map(|r| r.reclaimable_bytes()).sum();
426
427    json!({
428        "schema": SCHEMA_VERSION,
429        "version": constants::VERSION,
430        "command": "caches containers",
431        "engines": container_engines(reports),
432        "kubernetes_contexts": kubernetes_contexts,
433        "summary": {
434            "total_bytes": total,
435            "reclaimable_bytes": reclaimable,
436            "engines": reports.len(),
437        },
438    })
439}
440
441/// The document emitted by `devp caches --json`.
442///
443/// `clear_command` is the one field an agent can act on, and it is the only place in this
444/// contract that carries a command dev-prune will not run itself: these caches are shared
445/// by every project on the machine, so clearing one is a human's decision. `note` is
446/// present only where there is a cost beyond time.
447/// `registered_repositories` is the denominator behind every `dependents` field, and is
448/// present only when there was a registry to count — a consumer that finds it absent knows
449/// the counts are missing because nothing could be counted, not because nothing uses these
450/// caches.
451pub fn caches_document(
452    reports: &[crate::commands::caches::CacheReport],
453    registered_repositories: Option<usize>,
454    containers: &[crate::commands::containers::EngineReport],
455) -> Value {
456    let total: u64 = reports.iter().map(|r| r.bytes).sum();
457
458    let caches: Vec<Value> = reports
459        .iter()
460        .map(|r| {
461            let mut obj = json!({
462                "manager": r.manager,
463                "kind": r.kind,
464                "path": clean_path(&r.path),
465                "bytes": r.bytes,
466                "clear_command": &r.clear_command,
467            });
468            if let Some(note) = r.note {
469                obj["note"] = json!(note);
470            }
471            // Only when a cap is actually set. A `"cap_gb": null` on every row of every
472            // report would read as a feature that is switched on and doing nothing.
473            if let Some(gb) = r.cap_gb {
474                obj["cap_gb"] = json!(gb);
475                obj["over_cap"] = json!(r.over_cap);
476            }
477            // Absent where dev-prune cannot attribute a cache to any adapter, for the same
478            // reason: a `"dependents": 0` on a `pip` row would be read as "safe to clear"
479            // by exactly the consumer this contract exists for.
480            if let Some(n) = r.dependents {
481                obj["dependents"] = json!(n);
482            }
483            obj
484        })
485        .collect();
486
487    let mut summary = json!({
488        "total_bytes": total,
489        "count": reports.len(),
490    });
491    if let Some(n) = registered_repositories {
492        summary["registered_repositories"] = json!(n);
493    }
494
495    // Outside `summary.total_bytes` on purpose, and outside `caches` too. Container disk
496    // is not a package manager cache, dev-prune will never clear it, and a consumer
497    // summing one figure for "what devp caches could free" must not pick this up.
498    json!({
499        "schema": SCHEMA_VERSION,
500        "version": constants::VERSION,
501        "command": "caches",
502        "caches": caches,
503        "containers": container_engines(containers),
504        "summary": summary,
505    })
506}
507/// The caches `clear` reported but deliberately did not empty, and the reason for each.
508///
509/// A consumer that only reads `caches` would otherwise see a Maven repository silently
510/// absent from a `clear all` and conclude there was none on the machine.
511fn kept_caches(kept: &[crate::commands::caches::CacheReport]) -> Vec<Value> {
512    use crate::commands::caches::Clear;
513    kept.iter()
514        .filter_map(|r| {
515            let Clear::Manual { why } = r.clear else {
516                return None;
517            };
518            Some(json!({
519                "manager": r.manager,
520                "kind": r.kind,
521                "path": clean_path(&r.path),
522                "bytes": r.bytes,
523                "clear_command": &r.clear_command,
524                "reason": why,
525            }))
526        })
527        .collect()
528}
529
530/// `caches clear --dry-run --json`: what would be emptied, and nothing touched.
531pub fn caches_clear_plan_document(
532    reports: &[crate::commands::caches::CacheReport],
533    kept: &[crate::commands::caches::CacheReport],
534) -> Value {
535    let total: u64 = reports.iter().map(|r| r.bytes).sum();
536
537    let caches: Vec<Value> = reports
538        .iter()
539        .map(|r| {
540            let mut obj = json!({
541                "manager": r.manager,
542                "kind": r.kind,
543                "path": clean_path(&r.path),
544                "bytes": r.bytes,
545                "clear_command": &r.clear_command,
546            });
547            if let Some(n) = r.dependents {
548                obj["dependents"] = json!(n);
549            }
550            obj
551        })
552        .collect();
553
554    json!({
555        "schema": SCHEMA_VERSION,
556        "version": constants::VERSION,
557        "command": "caches clear",
558        "dry_run": true,
559        "caches": caches,
560        "kept": kept_caches(kept),
561        "summary": {
562            "total_bytes": total,
563            "count": reports.len(),
564        },
565    })
566}
567
568/// `caches clear --json`: what actually went.
569///
570/// `freed_bytes` is measured, not assumed — a `prune` keeps what is still referenced,
571/// and a clear that failed half-way still freed part of it.
572pub fn caches_clear_document(
573    outcomes: &[crate::commands::caches::ClearOutcome],
574    kept: &[crate::commands::caches::CacheReport],
575) -> Value {
576    let freed: u64 = outcomes.iter().map(|o| o.freed()).sum();
577    let failed = outcomes.iter().filter(|o| o.problem.is_some()).count();
578
579    let caches: Vec<Value> = outcomes
580        .iter()
581        .map(|o| {
582            let mut obj = json!({
583                "manager": o.manager,
584                "kind": o.kind,
585                "path": clean_path(&o.path),
586                "bytes_before": o.before,
587                "bytes_after": o.after,
588                "freed_bytes": o.freed(),
589                "cleared": o.problem.is_none(),
590            });
591            if let Some(problem) = &o.problem {
592                obj["error"] = json!(problem);
593            }
594            obj
595        })
596        .collect();
597
598    json!({
599        "schema": SCHEMA_VERSION,
600        "version": constants::VERSION,
601        "command": "caches clear",
602        "dry_run": false,
603        "caches": caches,
604        "kept": kept_caches(kept),
605        "summary": {
606            "freed_bytes": freed,
607            "count": outcomes.len(),
608            "failed": failed,
609        },
610    })
611}
612/// `devp trust --json`: what the tool guarantees, and what this machine has switched on.
613///
614/// Guarantees and machine state stay in separate arrays because they are different kinds
615/// of claim — one is structural and one is a reading — and flattening them would let a
616/// consumer treat a setting as a promise.
617pub fn trust_document(report: &crate::commands::trust::TrustReport) -> Value {
618    let rows = |rows: &[crate::commands::trust::TrustRow]| -> Vec<Value> {
619        rows.iter()
620            .map(|r| {
621                json!({
622                    "key": r.key,
623                    "subject": r.subject,
624                    "state": r.state,
625                    "verdict": r.verdict_key(),
626                })
627            })
628            .collect()
629    };
630
631    let widened = report.widened();
632
633    json!({
634        "schema": SCHEMA_VERSION,
635        "version": constants::VERSION,
636        "command": "trust",
637        "guarantees": rows(&report.guarantees),
638        "machine": rows(&report.machine),
639        "summary": {
640            "widened": widened,
641            "widened_count": widened.len(),
642        },
643    })
644}
645
646/// The document emitted by `devp status --drift --json`.
647///
648/// A separate document from plain `status` because it answers a different question:
649/// not "what could a prune reclaim" but "what would a prune refuse, and why". An empty
650/// `drift` array means nothing was *detected*, across the adapters that can compare an
651/// environment against its lockfile from files alone.
652pub fn drift_document(findings: &[crate::commands::status::ProjectDrift]) -> Value {
653    let unrecorded_total: usize = findings.iter().map(|f| f.report.unrecorded.len()).sum();
654
655    json!({
656        "schema": SCHEMA_VERSION,
657        "version": constants::VERSION,
658        "command": "status --drift",
659        "drift": findings.iter().map(|f| json!({
660            "repository": clean_path(&f.repository),
661            "project": f.project,
662            "adapter": f.adapter,
663            "directory": f.report.directory,
664            "unrecorded": f.report.unrecorded,
665            "record_command": f.report.record_command,
666        })).collect::<Vec<_>>(),
667        "summary": {
668            "projects_with_drift": findings.len(),
669            "unrecorded_packages": unrecorded_total,
670        },
671    })
672}
673
674/// Print a document to stdout as pretty JSON with a trailing newline.
675///
676/// Pretty rather than compact because a human reads this output far more often than a
677/// parser does, and `jq` does not care either way.
678///
679/// When stdout is a terminal, the same document also lands on the clipboard: a pipe or
680/// a redirect means a program is consuming the output, but a terminal means a *person*
681/// asked for JSON, and the next thing they usually do is paste it somewhere. The
682/// notice goes to stderr and the copy is skipped entirely when piped, so the stdout
683/// contract — one document, byte-identical either way — holds.
684pub fn emit(document: &Value) -> anyhow::Result<()> {
685    use std::io::IsTerminal;
686    let text = serde_json::to_string_pretty(document)?;
687    println!("{text}");
688    if std::io::stdout().is_terminal() && copy_to_clipboard(&text) {
689        use colored::Colorize;
690        eprintln!("{}", "(also copied to your clipboard)".dimmed());
691    }
692    Ok(())
693}
694
695/// Best-effort: put `text` on the system clipboard. Returns whether it worked.
696///
697/// Spawns the platform's own clipboard tool rather than linking a clipboard crate — a
698/// native dependency is a heavy price for a nicety. `clip` on Windows, `pbcopy` on
699/// macOS, then `wl-copy`/`xclip`/`xsel` in that order on Linux; a headless box has
700/// none of them, and quietly not copying is the right behaviour there.
701fn copy_to_clipboard(text: &str) -> bool {
702    // `clip.exe` reads its input in the console codepage unless a BOM says otherwise;
703    // UTF-16LE with a BOM is the one encoding it always honours, and repository paths
704    // are not guaranteed to be ASCII.
705    let bytes: Vec<u8> = if cfg!(windows) {
706        let mut utf16 = vec![0xFF, 0xFE];
707        for unit in text.encode_utf16() {
708            utf16.extend_from_slice(&unit.to_le_bytes());
709        }
710        utf16
711    } else {
712        text.as_bytes().to_vec()
713    };
714
715    // On Windows the tool is named by full path: `CreateProcess` resolves a bare
716    // program name through the *current directory* before PATH, and dev-prune is
717    // routinely run from inside checkouts it has no reason to trust — a repository
718    // carrying its own `clip.exe` must not become the thing that executes. Unix PATH
719    // search never consults the current directory, so the bare names there are fine.
720    let windows_clip = std::env::var("SystemRoot")
721        .map(|root| format!("{root}\\System32\\clip.exe"))
722        .unwrap_or_else(|_| String::from("C:\\Windows\\System32\\clip.exe"));
723    let tools: Vec<Vec<&str>> = if cfg!(windows) {
724        vec![vec![windows_clip.as_str()]]
725    } else if cfg!(target_os = "macos") {
726        vec![vec!["pbcopy"]]
727    } else {
728        vec![
729            vec!["wl-copy"],
730            vec!["xclip", "-selection", "clipboard"],
731            vec!["xsel", "--clipboard", "--input"],
732        ]
733    };
734    tools.iter().any(|tool| pipe_into(tool, &bytes))
735}
736
737/// Run `command`, feed `bytes` to its stdin, and report whether it exited cleanly.
738fn pipe_into(command: &[&str], bytes: &[u8]) -> bool {
739    use std::io::Write;
740    use std::process::Stdio;
741    let Ok(mut child) = crate::spawn::command(command[0])
742        .args(&command[1..])
743        .stdin(Stdio::piped())
744        .stdout(Stdio::null())
745        .stderr(Stdio::null())
746        .spawn()
747    else {
748        return false;
749    };
750    let wrote = child
751        .stdin
752        .take()
753        .is_some_and(|mut stdin| stdin.write_all(bytes).is_ok());
754    let exited_cleanly = child.wait().map(|status| status.success()).unwrap_or(false);
755    wrote && exited_cleanly
756}
757
758#[cfg(test)]
759mod tests {
760    use super::*;
761    use std::path::PathBuf;
762
763    fn result(status: PruneStatus, bytes: u64) -> PruneResult {
764        PruneResult {
765            repo_path: PathBuf::from("/tmp/repo"),
766            adapter_name: "pnpm".to_string(),
767            bloat_dir: "node_modules".to_string(),
768            size_freed: bytes,
769            shared_bytes: 0,
770            runtime: None,
771            status,
772        }
773    }
774
775    #[test]
776    fn every_status_has_a_distinct_stable_tag() {
777        let all = [
778            PruneStatus::Pruned,
779            PruneStatus::SkippedActive,
780            PruneStatus::SkippedDryRun,
781            PruneStatus::LockfileError("x".into()),
782            PruneStatus::ActivityCheckError("x".into()),
783            PruneStatus::PathMissing,
784            PruneStatus::NoBloat,
785            PruneStatus::Disabled,
786            PruneStatus::SkippedIgnored,
787            PruneStatus::DeleteError("x".into()),
788            PruneStatus::ConfigError("x".into()),
789            PruneStatus::SkippedSymlink("x".into()),
790            PruneStatus::SkippedDeclaration("x".into()),
791            PruneStatus::SkippedNestedRepo("x".into()),
792        ];
793        let mut tags: Vec<&str> = all.iter().map(status_tag).collect();
794        let count = tags.len();
795        tags.sort_unstable();
796        tags.dedup();
797        assert_eq!(tags.len(), count, "two statuses share a JSON tag");
798    }
799
800    #[test]
801    fn every_repository_state_has_a_distinct_stable_tag() {
802        let all = [
803            SkipReason::Candidate,
804            SkipReason::Active,
805            SkipReason::Ignored,
806            SkipReason::NoBloat,
807            SkipReason::PathMissing,
808            SkipReason::ConfigError("x".into()),
809        ];
810        let mut tags: Vec<&str> = all.iter().map(reason_tag).collect();
811        let count = tags.len();
812        tags.sort_unstable();
813        tags.dedup();
814        assert_eq!(tags.len(), count, "two repository states share a JSON tag");
815    }
816
817    #[test]
818    fn only_an_unreadable_config_carries_an_error_field() {
819        let entry = |reason| RepoStatusEntry {
820            path: PathBuf::from("/tmp/repo"),
821            entry: crate::config::RepoEntry::new(),
822            reason,
823            adapters: Vec::new(),
824            bloat_dirs: Vec::new(),
825            reclaimable_bytes: 0,
826            reclaimable_by_adapter: Vec::new(),
827            last_activity: None,
828            idle_days: 15,
829        };
830
831        let registry = Registry::default();
832        let broken = repo_value(
833            &registry,
834            &entry(SkipReason::ConfigError("bad json".into())),
835        );
836        assert_eq!(broken["state"], "config_error");
837        assert_eq!(broken["error"], "bad json");
838
839        // Absent, not null — the same shape rule `message` follows in the run document.
840        let healthy = repo_value(&registry, &entry(SkipReason::Candidate));
841        assert!(healthy.get("error").is_none());
842    }
843
844    #[test]
845    fn run_summary_counts_only_real_deletions() {
846        let doc = run_document(
847            &[
848                result(PruneStatus::Pruned, 100),
849                result(PruneStatus::Pruned, 50),
850                result(PruneStatus::SkippedActive, 0),
851                result(PruneStatus::LockfileError("nope".into()), 0),
852            ],
853            false,
854        );
855        assert_eq!(doc["summary"]["bytes_freed"], 150);
856        assert_eq!(doc["summary"]["directories_pruned"], 2);
857        assert_eq!(doc["summary"]["errors"], 1);
858    }
859
860    #[test]
861    fn dry_run_bytes_land_in_reclaimable_not_freed() {
862        // A dry run must never claim to have freed anything — a CI step that adds up
863        // `bytes_freed` across runs would otherwise report space that still exists.
864        let doc = run_document(&[result(PruneStatus::SkippedDryRun, 4096)], true);
865        assert_eq!(doc["summary"]["bytes_freed"], 0);
866        assert_eq!(doc["summary"]["bytes_reclaimable"], 4096);
867        assert_eq!(doc["dry_run"], true);
868    }
869
870    #[test]
871    fn lockfile_errors_carry_the_fix_command() {
872        let doc = run_document(
873            &[result(PruneStatus::LockfileError("boom".into()), 0)],
874            false,
875        );
876        assert_eq!(doc["results"][0]["message"], "boom");
877        assert_eq!(
878            doc["results"][0]["fix_command"],
879            "pnpm install --lockfile-only"
880        );
881    }
882
883    #[test]
884    fn a_successful_result_carries_no_message_or_fix() {
885        let doc = run_document(&[result(PruneStatus::Pruned, 1)], false);
886        assert!(doc["results"][0].get("message").is_none());
887        assert!(doc["results"][0].get("fix_command").is_none());
888    }
889
890    #[test]
891    fn venv_has_no_mechanical_lockfile_fix() {
892        // There is no command that writes a requirements.txt, so offering one would be
893        // a lie an agent would then run.
894        assert!(lockfile_fix_command("venv").is_none());
895        assert!(lockfile_fix_command("nonsense").is_none());
896    }
897
898    #[test]
899    fn the_cache_report_totals_what_it_lists() {
900        use crate::commands::caches::{CacheReport, Clear};
901
902        let doc = caches_document(
903            &[
904                CacheReport {
905                    manager: "go",
906                    kind: "module cache",
907                    path: PathBuf::from("/home/dev/go/pkg/mod"),
908                    bytes: 4_000,
909                    clear_command: "go clean -modcache".to_string(),
910                    clear: Clear::Command("go", &["clean", "-modcache"]),
911                    note: None,
912                    cap_gb: None,
913                    over_cap: false,
914                    dependents: None,
915                    extra_args: Vec::new(),
916                },
917                CacheReport {
918                    manager: "pnpm",
919                    kind: "store",
920                    path: PathBuf::from("/home/dev/.pnpm-store"),
921                    bytes: 1_000,
922                    clear_command: "pnpm store prune".to_string(),
923                    clear: Clear::Command("pnpm", &["store", "prune"]),
924                    note: Some("hardlinked"),
925                    cap_gb: None,
926                    over_cap: false,
927                    dependents: None,
928                    extra_args: Vec::new(),
929                },
930            ],
931            Some(3),
932            &[],
933        );
934
935        assert_eq!(doc["command"], "caches");
936        assert_eq!(doc["summary"]["total_bytes"], 5_000);
937        assert_eq!(doc["summary"]["count"], 2);
938        // Absent rather than null where there is nothing to say, matching every other
939        // optional field in this contract.
940        assert!(doc["caches"][0].get("note").is_none());
941        assert_eq!(doc["caches"][1]["note"], "hardlinked");
942        assert_eq!(doc["caches"][0]["clear_command"], "go clean -modcache");
943    }
944
945    #[test]
946    fn an_empty_cache_report_is_still_a_document() {
947        // A machine with no package manager installed must produce a parseable zero, not
948        // an absent `summary` a consumer would have to special-case.
949        let doc = caches_document(&[], None, &[]);
950        assert_eq!(doc["summary"]["total_bytes"], 0);
951        assert_eq!(doc["caches"].as_array().unwrap().len(), 0);
952        assert_eq!(doc["containers"].as_array().unwrap().len(), 0);
953    }
954
955    #[test]
956    fn cache_clears_are_reported_beside_the_prune_total_not_inside_it() {
957        let mut registry = crate::config::Registry {
958            total_freed_bytes: 12_000_000_000,
959            ..Default::default()
960        };
961        registry.record_cache_clear(6_000_000_000);
962
963        let doc = stats_document(&registry);
964
965        assert_eq!(doc["lifetime"]["bytes_freed"], 12_000_000_000u64);
966        assert_eq!(doc["lifetime"]["cache_bytes_freed"], 6_000_000_000u64);
967    }
968
969    #[test]
970    fn container_disk_stays_out_of_the_cache_total() {
971        use crate::commands::containers::{EngineReport, EngineState, Row};
972
973        let docker = EngineReport {
974            name: "docker",
975            state: EngineState::Ready(vec![Row {
976                kind: "Images".to_string(),
977                total: Some(9),
978                active: Some(2),
979                bytes: Some(40_000_000_000),
980                reclaimable: Some(38_000_000_000),
981            }]),
982        };
983        let doc = caches_document(&[], None, std::slice::from_ref(&docker));
984
985        // The whole point of the separate key. A consumer summing `summary.total_bytes`
986        // is asking what `devp caches clear` could free, and 40 GB of images is not that
987        // — dev-prune will never delete them.
988        assert_eq!(doc["summary"]["total_bytes"], 0);
989        assert_eq!(doc["containers"][0]["engine"], "docker");
990        assert_eq!(doc["containers"][0]["total_bytes"], 40_000_000_000u64);
991        assert_eq!(doc["containers"][0]["rows"][0]["kind"], "Images");
992    }
993
994    #[test]
995    fn an_engine_that_did_not_answer_carries_no_zero() {
996        use crate::commands::containers::{EngineReport, EngineState};
997
998        let doc = containers_document(
999            &[EngineReport {
1000                name: "docker",
1001                state: EngineState::Unavailable("daemon is not running".to_string()),
1002            }],
1003            &[],
1004        );
1005
1006        assert_eq!(doc["command"], "caches containers");
1007        assert_eq!(doc["engines"][0]["available"], false);
1008        assert_eq!(doc["engines"][0]["reason"], "daemon is not running");
1009        // Absent, not zero: "dev-prune could not find out" and "Docker is holding
1010        // nothing" are different answers and a consumer must be able to tell them apart.
1011        assert!(doc["engines"][0].get("total_bytes").is_none());
1012        assert_eq!(doc["summary"]["total_bytes"], 0);
1013    }
1014
1015    #[test]
1016    fn no_prune_command_reaches_the_json_contract() {
1017        use crate::commands::containers::{EngineReport, EngineState, Row};
1018
1019        let doc = containers_document(
1020            &[EngineReport {
1021                name: "docker",
1022                state: EngineState::Ready(vec![Row {
1023                    kind: "Build Cache".to_string(),
1024                    total: Some(41),
1025                    active: Some(0),
1026                    bytes: Some(6_750_000_000),
1027                    reclaimable: Some(6_750_000_000),
1028                }]),
1029            }],
1030            &["kind-dev".to_string()],
1031        );
1032
1033        // Deliberate: no field here should be one command substitution away from
1034        // `docker system prune --volumes`. The prune commands live in the human report.
1035        let text = serde_json::to_string(&doc).unwrap();
1036        assert!(!text.contains("prune"), "{text}");
1037        assert_eq!(doc["kubernetes_contexts"][0], "kind-dev");
1038        assert_eq!(doc["summary"]["reclaimable_bytes"], 6_750_000_000u64);
1039    }
1040
1041    #[test]
1042    fn every_adapter_with_a_lockfile_has_a_fix_command() {
1043        for adapter in crate::adapters::get_all_adapters() {
1044            // venv, gradle, maven, swift, vcpkg and cmake_build verify without a
1045            // lockfile-sync step — see `lockfile_fix_command` for why each has nothing
1046            // mechanical to hand over.
1047            if matches!(
1048                adapter.name(),
1049                "venv" | "gradle" | "maven" | "swift" | "vcpkg" | "cmake_build"
1050            ) {
1051                continue;
1052            }
1053            assert!(
1054                lockfile_fix_command(adapter.name()).is_some(),
1055                "{} has no fix command",
1056                adapter.name()
1057            );
1058        }
1059    }
1060}