Vakyartha documentation

1001 action:
1002 BackupAction::Export {
1003 include_secrets, ..
1004 },
1005 } => assert!(include_secrets),
1006 other => panic!("unexpected: {other:?}"),
1007 }
1008 }
1009
1010 #[test]
1011 fn backup_import_conflict_defaults_to_skip() {
1012 match parse(&["backup", "import", "/tmp/bk"]) {
1013 Command::Backup {
1014 action: BackupAction::Import { conflict, .. },
1015 } => assert_eq!(conflict, "skip"),
1016 other => panic!("unexpected: {other:?}"),
1017 }
1018 match parse(&["backup", "import", "/tmp/bk", "--conflict", "rename"]) {
1019 Command::Backup {
1020 action: BackupAction::Import { conflict, .. },
1021 } => assert_eq!(conflict, "rename"),
1022 other => panic!("unexpected: {other:?}"),
1023 }
1024 }
1025
1026 #[test]
1027 fn digest_days_default_is_seven() {
1028 match parse(&["digest"]) {
1029 Command::Digest { days } => assert_eq!(days, 7),
1030 other => panic!("unexpected: {other:?}"),
1031 }
1032 match parse(&["digest", "--days", "31"]) {
1033 Command::Digest { days } => assert_eq!(days, 31),
1034 other => panic!("unexpected: {other:?}"),
1035 }
1036 }
1037
1038 #[test]
1039 fn tasks_add_prompt_and_script_are_separate_flags() {
1040 match parse(&[
1041 "tasks",
1042 "add",
1043 "--name",
1044 "nightly",
1045 "--prompt",
1046 "tidy",
1047 "--cron",
1048 "0 3 * * *",
1049 "--model",
1050 "haiku",
1051 ]) {
1052 Command::Tasks {
1053 action:
1054 TasksAction::Add {
1055 name,
1056 prompt,
1057 script,
1058 every,
1059 cron,
1060 deliver,
1061 model,
1062 ..
1063 },
1064 } => {
1065 assert_eq!(name.as_deref(), Some("nightly"));
1066 assert_eq!(prompt.as_deref(), Some("tidy"));
1067 assert_eq!(script, None);
1068 assert_eq!(every, None);
1069 assert_eq!(cron.as_deref(), Some("0 3 * * *"));
1070 assert_eq!(deliver, None);
1071 assert_eq!(model.as_deref(), Some("haiku"));
1072 }
1073 other => panic!("unexpected: {other:?}"),
1074 }
1075 }
1076
1077 #[test]
1078 fn tasks_add_preset_parses_without_name_or_content_flags() {
1079 match parse(&["tasks", "add", "--preset", "weekly-digest"]) {
1080 Command::Tasks {
1081 action:
1082 TasksAction::Add {
1083 name,
1084 prompt,
1085 script,
1086 every,
1087 cron,
1088 deliver,
1089 model,
1090 preset,
1091 ..
1092 },
1093 } => {
1094 assert_eq!(preset.as_deref(), Some("weekly-digest"));
1095 assert_eq!(name, None);
1096 assert_eq!(prompt, None);
1097 assert_eq!(script, None);
1098 assert_eq!(every, None);
1099 assert_eq!(cron, None);
1100 assert_eq!(deliver, None);
1101 assert_eq!(model, None);
1102 }
1103 other => panic!("unexpected: {other:?}"),
1104 }
1105 }
1106
1107 #[test]
1108 fn tasks_add_preset_conflicts_are_clap_errors() {
1109 for extra in [
1110 vec!["--prompt", "tidy"],
1111 vec!["--script", "echo tick"],
1112 vec!["--cron", "0 9 * * 1"],
1113 vec!["--every", "60"],
1114 ] {
1115 let args: Vec<&str> = ["tasks", "add", "--preset", "weekly-digest"]
1116 .into_iter()
1117 .chain(extra.iter().copied())
1118 .collect();
1119 let err = Cli::try_parse_from(std::iter::once("vak").chain(args))
1120 .expect_err("preset must reject conflicting flag");
1121 assert_eq!(err.kind(), clap::error::ErrorKind::ArgumentConflict);
1122 }
1123 }
1124
1125 #[test]
1126 fn tasks_add_requires_name_without_preset() {
1127 let err = Cli::try_parse_from(["vak", "tasks", "add"])
1128 .expect_err("--name is required without --preset");
1129 assert_eq!(err.kind(), clap::error::ErrorKind::MissingRequiredArgument);
1130 }
1131
1132 #[test]
1133 fn tasks_enable_disable_remove_take_ids() {
1134 assert!(matches!(
1135 parse(&["tasks", "enable", "abc"]),
1136 Command::Tasks {
1137 action: TasksAction::Enable { .. }
1138 }
1139 ));
1140 assert!(matches!(
1141 parse(&["tasks", "disable", "abc"]),
1142 Command::Tasks {
1143 action: TasksAction::Disable { .. }
1144 }
1145 ));
1146 match parse(&["tasks", "remove", "abc"]) {
1147 Command::Tasks {
1148 action: TasksAction::Remove { id },
1149 } => assert_eq!(id, "abc"),
1150 other => panic!("unexpected: {other:?}"),
1151 }
1152 }
1153
1154 #[test]
1155 fn inbox_subactions_parse_with_defaults() {
1156 assert!(matches!(parse(&["inbox"]), Command::Inbox { action: None }));
1157 match parse(&["inbox", "list", "--all", "--limit", "5"]) {
1158 Command::Inbox {
1159 action: Some(InboxAction::List { all, limit }),
1160 } => {
1161 assert!(all);
1162 assert_eq!(limit, 5);
1163 }
1164 other => panic!("unexpected: {other:?}"),
1165 }
1166 match parse(&["inbox", "show", "abcd1234"]) {
1167 Command::Inbox {
1168 action: Some(InboxAction::Show { id_prefix }),
1169 } => assert_eq!(id_prefix, "abcd1234"),
1170 other => panic!("unexpected: {other:?}"),
1171 }
1172 assert!(matches!(
1173 parse(&["inbox", "ack", "abcd1234"]),
1174 Command::Inbox {
1175 action: Some(InboxAction::Ack { .. })
1176 }
1177 ));
1178 assert!(matches!(
1179 parse(&["inbox", "count"]),
1180 Command::Inbox {
1181 action: Some(InboxAction::Count)
1182 }
1183 ));
1184 }
1185
1186 #[test]
1187 fn memory_subactions_carry_profile_flag() {
1188 match parse(&["memory", "list", "--profile"]) {
1189 Command::Memory {
1190 action: Some(MemoryAction::List { profile: true, .. }),
1191 } => {}
1192 other => panic!("unexpected: {other:?}"),
1193 }
1194 // Bare `memory` keeps its historical listing behavior.
1195 assert!(matches!(
1196 parse(&["memory"]),
1197 Command::Memory { action: None }
1198 ));
1199 match parse(&["memory", "amend", "deadbeef", "new body", "--profile"]) {
1200 Command::Memory {
1201 action: Some(MemoryAction::Amend { id, text, profile }),
1202 } => {
1203 assert_eq!(id, "deadbeef");
1204 assert_eq!(text, "new body");
1205 assert!(profile);
1206 }
1207 other => panic!("unexpected: {other:?}"),
1208 }
1209 }
1210
1211 #[test]
1212 fn memory_consolidate_and_entities_and_export_commands_parse() {
1213 assert!(matches!(
1214 parse(&["memory", "consolidate"]),
1215 Command::Memory {
1216 action: Some(MemoryAction::Consolidate),
1217 }
1218 ));
1219
1220 assert!(matches!(
1221 parse(&["entities"]),
1222 Command::Entities { action: None }
1223 ));
1224
1225 match parse(&[
1226 "entities",
1227 "search",
1228 "postgres",
1229 "--entity-type",
1230 "database",
1231 ]) {
1232 Command::Entities {
1233 action:
1234 Some(EntitiesAction::Search {
1235 query,
1236 entity_type,
1237 global,
1238 }),
1239 } => {
1240 assert_eq!(query, "postgres");
1241 assert_eq!(entity_type.as_deref(), Some("database"));
1242 assert!(!global);
1243 }
1244 other => panic!("unexpected: {other:?}"),
1245 }
1246
1247 match parse(&["export", "sess-1234", "--html"]) {
1248 Command::Export {
1249 session_id,
1250 html,
1251 out,
1252 } => {
1253 assert_eq!(session_id, "sess-1234");
1254 assert!(html);
1255 assert!(out.is_none());
1256 }
1257 other => panic!("unexpected: {other:?}"),
1258 }
1259
1260 assert!(matches!(
1261 parse(&["agents"]),
1262 Command::Agents { action: None }
1263 ));
1264 assert!(matches!(
1265 parse(&["agents", "templates"]),
1266 Command::Agents {
1267 action: Some(AgentsAction::Templates)
1268 }
1269 ));
1270 match parse(&[
1271 "agents",
1272 "init",
1273 "--template",
1274 "researcher",
1275 "--id",
1276 "research-lead",
1277 "--name",
1278 "Dr. Lead",
1279 ]) {
1280 Command::Agents {
1281 action:
1282 Some(AgentsAction::Init {
1283 template,
1284 id,
1285 name,
1286 global,
1287 }),
1288 } => {
1289 assert_eq!(template, "researcher");
1290 assert_eq!(id, "research-lead");
1291 assert_eq!(name.as_deref(), Some("Dr. Lead"));
1292 assert!(!global);
1293 }
1294 other => panic!("unexpected: {other:?}"),
1295 }
1296 }
1297
1298 #[test]
1299 fn plugin_lifecycle_commands_parse() {
1300 assert!(matches!(
1301 parse(&["plugins", "catalog-inspect", "./catalog"]),
1302 Command::Plugins {
1303 action: PluginAction::CatalogInspect { .. }
1304 }
1305 ));
1306 assert!(matches!(
1307 parse(&["plugins", "inspect", "./sample", "--json"]),
1308 Command::Plugins {
1309 action: PluginAction::Inspect { json: true, .. }
1310 }
1311 ));
1312 assert!(matches!(
1313 parse(&[
1314 "plugins",
1315 "install",
1316 "./sample",
1317 "--scope",
1318 "workspace",
1319 "--allow-unlicensed"
1320 ]),
1321 Command::Plugins {
1322 action: PluginAction::Install {
1323 scope: PluginScopeArg::Workspace,
1324 allow_unlicensed: true,
1325 ..
1326 }
1327 }
1328 ));
1329 assert!(matches!(
1330 parse(&["plugins", "audit"]),
1331 Command::Plugins {
1332 action: PluginAction::Audit {
1333 scope: PluginScopeArg::User,
1334 ..
1335 }
1336 }
1337 ));
1338 }
1339
1340 #[test]
1341 fn exec_accepts_repeatable_write_scope_paths() {
1342 match parse(&[
1343 "exec",
1344 "update files",
1345 "--write-path",
1346 "src/lib.rs",
1347 "--write-path",
1348 "Cargo.toml",
1349 ]) {
1350 Command::Exec { write_paths, .. } => {
1351 assert_eq!(
1352 write_paths,
1353 vec![PathBuf::from("src/lib.rs"), PathBuf::from("Cargo.toml")]
1354 );
1355 }
1356 other => panic!("unexpected: {other:?}"),
1357 }
1358 }
1359}
1360
1361#[derive(Subcommand, Debug)]
1362pub(crate) enum OfficeAction {
1363 /// Print a page of the file's content with anchors, its structure, or
1364 /// its facts, as the reader projects it.
1365 Read {
1366 file: PathBuf,
1367 /// The unit to start the page at.
1368 #[arg(long, default_value_t = 0)]
1369 from: usize,
1370 /// Start the page at the unit this anchor names (`Budget!B4`,
1371 /// `slide:256`, `p:1A2B3C4D`).
1372 #[arg(long, conflicts_with = "from")]
1373 at: Option<String>,
1374 /// Parts, content types and relationships instead of content.
1375 #[arg(long, conflicts_with_all = ["at", "facts"])]
1376 structure: bool,
1377 /// Kind, counts and flags only.
1378 #[arg(long, conflicts_with = "at")]
1379 facts: bool,
1380 },
1381 /// Apply typed ops (the `office_apply` schema) and write the result to a
1382 /// new file. The source is never changed. With no source file and no
1383 /// digest, `--out` is created from scratch from the built-in blank.
1384 Apply {
1385 /// The file to start from; leave out, with --base-digest, to create
1386 /// from scratch.
1387 file: Option<PathBuf>,
1388 /// A JSON file holding the array of ops, or `-` for stdin.
1389 #[arg(long)]
1390 ops: String,
1391 /// The sha256 (or its first 16 hex digits) of the file the ops were
1392 /// written against, as `read` printed it. Required with a file.
1393 #[arg(long)]
1394 base_digest: Option<String>,
1395 /// Where to write the result; must not exist.
1396 #[arg(long)]
1397 out: PathBuf,
1398 /// The Agent id Word tracked changes are attributed to.
1399 #[arg(long, default_value = "vak")]
1400 agent: String,
1401 },
1402 /// The semantic change list from one file to another, with what the
1403 /// change does to signatures and sensitivity labels.
1404 Diff { before: PathBuf, after: PathBuf },
1405 /// Check that a file is a well-formed package of the format its name
1406 /// says. Exits 1 when it is not.
1407 Verify { file: PathBuf },
1408}
1409
1410#[derive(Subcommand, Debug)]
1411pub(crate) enum IntentAction {
1412 /// Resolve a prompt and print the reading, every contributing signal, and
1413 /// the engagement diff against the unrestricted baseline. Costs nothing
1414 /// and dispatches nothing.
1415 Explain {
1416 prompt: String,
1417 /// Pretend the request arrived on this surface: cli, desktop, server,
1418 /// chat, cron, heartbeat, worker.
1419 #[arg(long)]
1420 surface: Option<String>,
1421 /// Override the reading's act.
1422 #[arg(long)]
1423 act: Option<String>,
1424 /// Override the reading's horizon.
1425 #[arg(long)]
1426 horizon: Option<String>,
1427 /// Override the reading's stakes.
1428 #[arg(long)]
1429 stakes: Option<String>,
1430 /// Override the reading's evidence standard.
1431 #[arg(long)]
1432 evidence: Option<String>,
1433 #[arg(long)]
1434 json: bool,
1435 },
1436 /// Print the resolved intent policy for this workspace.
1437 Show,
1438}
1439
1440#[derive(Subcommand, Debug)]
1441pub(crate) enum CommitAction {
1442 /// List commitments, scheduling order first.
1443 List {
1444 /// Include closed commitments.
1445 #[arg(long)]
1446 all: bool,
1447 #[arg(long)]
1448 json: bool,
1449 },
1450 /// Show one commitment: criteria, episodes, evidence, and closure.
1451 Show {
1452 id: String,
1453 #[arg(long)]
1454 json: bool,
1455 },
1456 /// Close a commitment with an explicit verdict. A `fulfilled` claim is
1457 /// refused unless the recorded evidence actually supports it.
1458 Close {
1459 id: String,
1460 /// fulfilled | partial | failed | abandoned | expired | unknown
1461 #[arg(long, default_value = "abandoned")]
1462 verdict: String,
1463 #[arg(long, default_value = "")]
1464 note: String,
1465 },
1466 /// Replace one commitment with another, recording the lineage.
1467 Supersede {
1468 id: String,
1469 #[arg(long)]
1470 by: String,
1471 #[arg(long, default_value = "")]
1472 reason: String,
1473 },
1474 /// Record a human attestation against a criterion. The only way, other
1475 /// than an external receipt, to reach `attested` evidence.
1476 Attest {
1477 id: String,
1478 #[arg(long)]
1479 criterion: String,
1480 #[arg(long, default_value = "")]
1481 note: String,
1482 },
1483}
1484

1001 action:
1002 BackupAction::Export {
1003 include_secrets, ..
1004 },
1005 } => assert!(include_secrets),
1006 other => panic!("unexpected: {other:?}"),
1007 }
1008 }
1009
1010 #[test]
1011 fn backup_import_conflict_defaults_to_skip() {
1012 match parse(&["backup", "import", "/tmp/bk"]) {
1013 Command::Backup {
1014 action: BackupAction::Import { conflict, .. },
1015 } => assert_eq!(conflict, "skip"),
1016 other => panic!("unexpected: {other:?}"),
1017 }
1018 match parse(&["backup", "import", "/tmp/bk", "--conflict", "rename"]) {
1019 Command::Backup {
1020 action: BackupAction::Import { conflict, .. },
1021 } => assert_eq!(conflict, "rename"),
1022 other => panic!("unexpected: {other:?}"),
1023 }
1024 }
1025
1026 #[test]
1027 fn digest_days_default_is_seven() {
1028 match parse(&["digest"]) {
1029 Command::Digest { days } => assert_eq!(days, 7),
1030 other => panic!("unexpected: {other:?}"),
1031 }
1032 match parse(&["digest", "--days", "31"]) {
1033 Command::Digest { days } => assert_eq!(days, 31),
1034 other => panic!("unexpected: {other:?}"),
1035 }
1036 }
1037
1038 #[test]
1039 fn tasks_add_prompt_and_script_are_separate_flags() {
1040 match parse(&[
1041 "tasks",
1042 "add",
1043 "--name",
1044 "nightly",
1045 "--prompt",
1046 "tidy",
1047 "--cron",
1048 "0 3 * * *",
1049 "--model",
1050 "haiku",
1051 ]) {
1052 Command::Tasks {
1053 action:
1054 TasksAction::Add {
1055 name,
1056 prompt,
1057 script,
1058 every,
1059 cron,
1060 deliver,
1061 model,
1062 ..
1063 },
1064 } => {
1065 assert_eq!(name.as_deref(), Some("nightly"));
1066 assert_eq!(prompt.as_deref(), Some("tidy"));
1067 assert_eq!(script, None);
1068 assert_eq!(every, None);
1069 assert_eq!(cron.as_deref(), Some("0 3 * * *"));
1070 assert_eq!(deliver, None);
1071 assert_eq!(model.as_deref(), Some("haiku"));
1072 }
1073 other => panic!("unexpected: {other:?}"),
1074 }
1075 }
1076
1077 #[test]
1078 fn tasks_add_preset_parses_without_name_or_content_flags() {
1079 match parse(&["tasks", "add", "--preset", "weekly-digest"]) {
1080 Command::Tasks {
1081 action:
1082 TasksAction::Add {
1083 name,
1084 prompt,
1085 script,
1086 every,
1087 cron,
1088 deliver,
1089 model,
1090 preset,
1091 ..
1092 },
1093 } => {
1094 assert_eq!(preset.as_deref(), Some("weekly-digest"));
1095 assert_eq!(name, None);
1096 assert_eq!(prompt, None);
1097 assert_eq!(script, None);
1098 assert_eq!(every, None);
1099 assert_eq!(cron, None);
1100 assert_eq!(deliver, None);
1101 assert_eq!(model, None);
1102 }
1103 other => panic!("unexpected: {other:?}"),
1104 }
1105 }
1106
1107 #[test]
1108 fn tasks_add_preset_conflicts_are_clap_errors() {
1109 for extra in [
1110 vec!["--prompt", "tidy"],
1111 vec!["--script", "echo tick"],
1112 vec!["--cron", "0 9 * * 1"],
1113 vec!["--every", "60"],
1114 ] {
1115 let args: Vec<&str> = ["tasks", "add", "--preset", "weekly-digest"]
1116 .into_iter()
1117 .chain(extra.iter().copied())
1118 .collect();
1119 let err = Cli::try_parse_from(std::iter::once("vak").chain(args))
1120 .expect_err("preset must reject conflicting flag");
1121 assert_eq!(err.kind(), clap::error::ErrorKind::ArgumentConflict);
1122 }
1123 }
1124
1125 #[test]
1126 fn tasks_add_requires_name_without_preset() {
1127 let err = Cli::try_parse_from(["vak", "tasks", "add"])
1128 .expect_err("--name is required without --preset");
1129 assert_eq!(err.kind(), clap::error::ErrorKind::MissingRequiredArgument);
1130 }
1131
1132 #[test]
1133 fn tasks_enable_disable_remove_take_ids() {
1134 assert!(matches!(
1135 parse(&["tasks", "enable", "abc"]),
1136 Command::Tasks {
1137 action: TasksAction::Enable { .. }
1138 }
1139 ));
1140 assert!(matches!(
1141 parse(&["tasks", "disable", "abc"]),
1142 Command::Tasks {
1143 action: TasksAction::Disable { .. }
1144 }
1145 ));
1146 match parse(&["tasks", "remove", "abc"]) {
1147 Command::Tasks {
1148 action: TasksAction::Remove { id },
1149 } => assert_eq!(id, "abc"),
1150 other => panic!("unexpected: {other:?}"),
1151 }
1152 }
1153
1154 #[test]
1155 fn inbox_subactions_parse_with_defaults() {
1156 assert!(matches!(parse(&["inbox"]), Command::Inbox { action: None }));
1157 match parse(&["inbox", "list", "--all", "--limit", "5"]) {
1158 Command::Inbox {
1159 action: Some(InboxAction::List { all, limit }),
1160 } => {
1161 assert!(all);
1162 assert_eq!(limit, 5);
1163 }
1164 other => panic!("unexpected: {other:?}"),
1165 }
1166 match parse(&["inbox", "show", "abcd1234"]) {
1167 Command::Inbox {
1168 action: Some(InboxAction::Show { id_prefix }),
1169 } => assert_eq!(id_prefix, "abcd1234"),
1170 other => panic!("unexpected: {other:?}"),
1171 }
1172 assert!(matches!(
1173 parse(&["inbox", "ack", "abcd1234"]),
1174 Command::Inbox {
1175 action: Some(InboxAction::Ack { .. })
1176 }
1177 ));
1178 assert!(matches!(
1179 parse(&["inbox", "count"]),
1180 Command::Inbox {
1181 action: Some(InboxAction::Count)
1182 }
1183 ));
1184 }
1185
1186 #[test]
1187 fn memory_subactions_carry_profile_flag() {
1188 match parse(&["memory", "list", "--profile"]) {
1189 Command::Memory {
1190 action: Some(MemoryAction::List { profile: true, .. }),
1191 } => {}
1192 other => panic!("unexpected: {other:?}"),
1193 }
1194 // Bare `memory` keeps its historical listing behavior.
1195 assert!(matches!(
1196 parse(&["memory"]),
1197 Command::Memory { action: None }
1198 ));
1199 match parse(&["memory", "amend", "deadbeef", "new body", "--profile"]) {
1200 Command::Memory {
1201 action: Some(MemoryAction::Amend { id, text, profile }),
1202 } => {
1203 assert_eq!(id, "deadbeef");
1204 assert_eq!(text, "new body");
1205 assert!(profile);
1206 }
1207 other => panic!("unexpected: {other:?}"),
1208 }
1209 }
1210
1211 #[test]
1212 fn memory_consolidate_and_entities_and_export_commands_parse() {
1213 assert!(matches!(
1214 parse(&["memory", "consolidate"]),
1215 Command::Memory {
1216 action: Some(MemoryAction::Consolidate),
1217 }
1218 ));
1219
1220 assert!(matches!(
1221 parse(&["entities"]),
1222 Command::Entities { action: None }
1223 ));
1224
1225 match parse(&[
1226 "entities",
1227 "search",
1228 "postgres",
1229 "--entity-type",
1230 "database",
1231 ]) {
1232 Command::Entities {
1233 action:
1234 Some(EntitiesAction::Search {
1235 query,
1236 entity_type,
1237 global,
1238 }),
1239 } => {
1240 assert_eq!(query, "postgres");
1241 assert_eq!(entity_type.as_deref(), Some("database"));
1242 assert!(!global);
1243 }
1244 other => panic!("unexpected: {other:?}"),
1245 }
1246
1247 match parse(&["export", "sess-1234", "--html"]) {
1248 Command::Export {
1249 session_id,
1250 html,
1251 out,
1252 } => {
1253 assert_eq!(session_id, "sess-1234");
1254 assert!(html);
1255 assert!(out.is_none());
1256 }
1257 other => panic!("unexpected: {other:?}"),
1258 }
1259
1260 assert!(matches!(
1261 parse(&["agents"]),
1262 Command::Agents { action: None }
1263 ));
1264 assert!(matches!(
1265 parse(&["agents", "templates"]),
1266 Command::Agents {
1267 action: Some(AgentsAction::Templates)
1268 }
1269 ));
1270 match parse(&[
1271 "agents",
1272 "init",
1273 "--template",
1274 "researcher",
1275 "--id",
1276 "research-lead",
1277 "--name",
1278 "Dr. Lead",
1279 ]) {
1280 Command::Agents {
1281 action:
1282 Some(AgentsAction::Init {
1283 template,
1284 id,
1285 name,
1286 global,
1287 }),
1288 } => {
1289 assert_eq!(template, "researcher");
1290 assert_eq!(id, "research-lead");
1291 assert_eq!(name.as_deref(), Some("Dr. Lead"));
1292 assert!(!global);
1293 }
1294 other => panic!("unexpected: {other:?}"),
1295 }
1296 }
1297
1298 #[test]
1299 fn plugin_lifecycle_commands_parse() {
1300 assert!(matches!(
1301 parse(&["plugins", "catalog-inspect", "./catalog"]),
1302 Command::Plugins {
1303 action: PluginAction::CatalogInspect { .. }
1304 }
1305 ));
1306 assert!(matches!(
1307 parse(&["plugins", "inspect", "./sample", "--json"]),
1308 Command::Plugins {
1309 action: PluginAction::Inspect { json: true, .. }
1310 }
1311 ));
1312 assert!(matches!(
1313 parse(&[
1314 "plugins",
1315 "install",
1316 "./sample",
1317 "--scope",
1318 "workspace",
1319 "--allow-unlicensed"
1320 ]),
1321 Command::Plugins {
1322 action: PluginAction::Install {
1323 scope: PluginScopeArg::Workspace,
1324 allow_unlicensed: true,
1325 ..
1326 }
1327 }
1328 ));
1329 assert!(matches!(
1330 parse(&["plugins", "audit"]),
1331 Command::Plugins {
1332 action: PluginAction::Audit {
1333 scope: PluginScopeArg::User,
1334 ..
1335 }
1336 }
1337 ));
1338 }
1339
1340 #[test]
1341 fn exec_accepts_repeatable_write_scope_paths() {
1342 match parse(&[
1343 "exec",
1344 "update files",
1345 "--write-path",
1346 "src/lib.rs",
1347 "--write-path",
1348 "Cargo.toml",
1349 ]) {
1350 Command::Exec { write_paths, .. } => {
1351 assert_eq!(
1352 write_paths,
1353 vec![PathBuf::from("src/lib.rs"), PathBuf::from("Cargo.toml")]
1354 );
1355 }
1356 other => panic!("unexpected: {other:?}"),
1357 }
1358 }
1359}
1360
1361#[derive(Subcommand, Debug)]
1362pub(crate) enum OfficeAction {
1363 /// Print a page of the file's content with anchors, its structure, or
1364 /// its facts, as the reader projects it.
1365 Read {
1366 file: PathBuf,
1367 /// The unit to start the page at.
1368 #[arg(long, default_value_t = 0)]
1369 from: usize,
1370 /// Start the page at the unit this anchor names (`Budget!B4`,
1371 /// `slide:256`, `p:1A2B3C4D`).
1372 #[arg(long, conflicts_with = "from")]
1373 at: Option<String>,
1374 /// Parts, content types and relationships instead of content.
1375 #[arg(long, conflicts_with_all = ["at", "facts"])]
1376 structure: bool,
1377 /// Kind, counts and flags only.
1378 #[arg(long, conflicts_with = "at")]
1379 facts: bool,
1380 },
1381 /// Apply typed ops (the `office_apply` schema) and write the result to a
1382 /// new file. The source is never changed. With no source file and no
1383 /// digest, `--out` is created from scratch from the built-in blank.
1384 Apply {
1385 /// The file to start from; leave out, with --base-digest, to create
1386 /// from scratch.
1387 file: Option<PathBuf>,
1388 /// A JSON file holding the array of ops, or `-` for stdin.
1389 #[arg(long)]
1390 ops: String,
1391 /// The sha256 (or its first 16 hex digits) of the file the ops were
1392 /// written against, as `read` printed it. Required with a file.
1393 #[arg(long)]
1394 base_digest: Option<String>,
1395 /// Where to write the result; must not exist.
1396 #[arg(long)]
1397 out: PathBuf,
1398 /// The Agent id Word tracked changes are attributed to.
1399 #[arg(long, default_value = "vak")]
1400 agent: String,
1401 },
1402 /// The semantic change list from one file to another, with what the
1403 /// change does to signatures and sensitivity labels.
1404 Diff { before: PathBuf, after: PathBuf },
1405 /// Check that a file is a well-formed package of the format its name
1406 /// says. Exits 1 when it is not.
1407 Verify { file: PathBuf },
1408}
1409
1410#[derive(Subcommand, Debug)]
1411pub(crate) enum IntentAction {
1412 /// Resolve a prompt and print the reading, every contributing signal, and
1413 /// the engagement diff against the unrestricted baseline. Costs nothing
1414 /// and dispatches nothing.
1415 Explain {
1416 prompt: String,
1417 /// Pretend the request arrived on this surface: cli, desktop, server,
1418 /// chat, cron, heartbeat, worker.
1419 #[arg(long)]
1420 surface: Option<String>,
1421 /// Override the reading's act.
1422 #[arg(long)]
1423 act: Option<String>,
1424 /// Override the reading's horizon.
1425 #[arg(long)]
1426 horizon: Option<String>,
1427 /// Override the reading's stakes.
1428 #[arg(long)]
1429 stakes: Option<String>,
1430 /// Override the reading's evidence standard.
1431 #[arg(long)]
1432 evidence: Option<String>,
1433 #[arg(long)]
1434 json: bool,
1435 },
1436 /// Print the resolved intent policy for this workspace.
1437 Show,
1438}
1439
1440#[derive(Subcommand, Debug)]
1441pub(crate) enum CommitAction {
1442 /// List commitments, scheduling order first.
1443 List {
1444 /// Include closed commitments.
1445 #[arg(long)]
1446 all: bool,
1447 #[arg(long)]
1448 json: bool,
1449 },
1450 /// Show one commitment: criteria, episodes, evidence, and closure.
1451 Show {
1452 id: String,
1453 #[arg(long)]
1454 json: bool,
1455 },
1456 /// Close a commitment with an explicit verdict. A `fulfilled` claim is
1457 /// refused unless the recorded evidence actually supports it.
1458 Close {
1459 id: String,
1460 /// fulfilled | partial | failed | abandoned | expired | unknown
1461 #[arg(long, default_value = "abandoned")]
1462 verdict: String,
1463 #[arg(long, default_value = "")]
1464 note: String,
1465 },
1466 /// Replace one commitment with another, recording the lineage.
1467 Supersede {
1468 id: String,
1469 #[arg(long)]
1470 by: String,
1471 #[arg(long, default_value = "")]
1472 reason: String,
1473 },
1474 /// Record a human attestation against a criterion. The only way, other
1475 /// than an external receipt, to reach `attested` evidence.
1476 Attest {
1477 id: String,
1478 #[arg(long)]
1479 criterion: String,
1480 #[arg(long, default_value = "")]
1481 note: String,
1482 },
1483}
1484

Indexing the workspace…