1#![forbid(unsafe_code)]
4
5use async_trait::async_trait;
6
7use serde_json::{Value, json};
8use std::path::{Path, PathBuf};
9use std::sync::Arc;
10use wm_core::{
11 Context, EffectRow, EpisodicKind, Galaxy, Gana, ProvenanceSource, Resource, Tool, ToolStats,
12};
13use wm_memory::{Memory, MemoryStore};
14
15fn capture_git_state(root: &Path) -> Option<Value> {
20 let run = |git_args: &[&str]| -> Option<String> {
21 let out = std::process::Command::new("git")
22 .args(git_args)
23 .current_dir(root)
24 .env("GIT_OPTIONAL_LOCKS", "0")
29 .output()
30 .ok()?;
31 if out.status.success() {
32 Some(String::from_utf8_lossy(&out.stdout).trim().to_string())
33 } else {
34 None
35 }
36 };
37 run(&["rev-parse", "--is-inside-work-tree"])?;
40 let commit = run(&["rev-parse", "HEAD"]).unwrap_or_default();
41 let branch = run(&["rev-parse", "--abbrev-ref", "HEAD"]).unwrap_or_default();
42 let dirty_count = run(&["status", "--porcelain"]).map_or(0, |s| s.lines().count());
43 Some(json!({
44 "commit": commit,
45 "branch": branch,
46 "dirty_count": dirty_count,
47 }))
48}
49
50fn resolve_project_root(args: &Value) -> Option<PathBuf> {
53 args.get("root")
54 .and_then(|v| v.as_str())
55 .filter(|s| !s.is_empty())
56 .map(PathBuf::from)
57 .or_else(|| {
58 std::env::var("WM_PROJECT_ROOT")
59 .ok()
60 .filter(|s| !s.is_empty())
61 .map(PathBuf::from)
62 })
63}
64
65fn latest_session_start(store: &MemoryStore) -> Option<String> {
68 store
69 .scan_all(Galaxy::Sessions)
70 .ok()?
71 .iter()
72 .filter(|m| m.metadata.tags.contains(&"start".to_string()))
73 .max_by_key(|m| m.metadata.created_at)
74 .map(|m| m.metadata.id.to_string())
75}
76
77pub struct SessionStartTool {
79 store: Arc<MemoryStore>,
80 stats: ToolStats,
81 effects: EffectRow,
82}
83
84impl SessionStartTool {
85 pub fn new(store: Arc<MemoryStore>) -> Self {
86 Self {
87 store,
88 stats: ToolStats::default(),
89 effects: EffectRow {
90 writes: vec![Resource::Galaxy("sessions".into())],
91 ..Default::default()
92 },
93 }
94 }
95}
96
97#[async_trait]
98impl Tool for SessionStartTool {
99 fn name(&self) -> &str {
100 "session.start"
101 }
102 fn gana(&self) -> Gana {
103 Gana::StraddlingLegs
104 }
105 fn effects(&self) -> &EffectRow {
106 &self.effects
107 }
108 fn input_schema(&self) -> Value {
109 super::common::schema(
110 &json!({
111 "title": super::common::str_prop("Session title"),
112 "user": super::common::str_prop("User identifier (default 'default')"),
113 }),
114 &[],
115 )
116 }
117 fn description(&self) -> &str {
118 "Start a new session — creates a session memory in Sessions galaxy"
119 }
120 async fn call(&self, _ctx: &mut Context, args: Value) -> wm_core::Result<Value> {
121 let title = args
122 .get("title")
123 .and_then(|v| v.as_str())
124 .unwrap_or("Untitled Session");
125 let user = args
126 .get("user")
127 .and_then(|v| v.as_str())
128 .unwrap_or("default");
129 let mut mem = Memory::new(
130 Galaxy::Sessions,
131 json!({
132 "type": "session_start",
133 "title": title,
134 "user": user,
135 })
136 .to_string(),
137 );
138 mem.metadata.tags = vec!["session".into(), "start".into()];
139 mem.metadata.importance = 0.7;
140 mem.metadata.source = "system".to_string();
142 mem.metadata.source_trust = 0.7;
143 self.store.put(Galaxy::Sessions, &mem)?;
144 crate::capture_explicit_memory(
145 &self.store,
146 &mem,
147 EpisodicKind::SystemEvent,
148 ProvenanceSource::System,
149 Some(mem.metadata.id),
150 0,
151 );
152 Ok(json!({
153 "status": "success",
154 "session_id": mem.metadata.id,
155 "title": title,
156 "user": user,
157 }))
158 }
159 fn stats(&self) -> &ToolStats {
160 &self.stats
161 }
162}
163
164pub struct SessionCheckpointTool {
166 store: Arc<MemoryStore>,
167 stats: ToolStats,
168 effects: EffectRow,
169}
170
171impl SessionCheckpointTool {
172 pub fn new(store: Arc<MemoryStore>) -> Self {
173 Self {
174 store,
175 stats: ToolStats::default(),
176 effects: EffectRow {
177 writes: vec![Resource::Galaxy("sessions".into())],
178 ..Default::default()
179 },
180 }
181 }
182}
183
184#[async_trait]
185impl Tool for SessionCheckpointTool {
186 fn name(&self) -> &str {
187 "session.checkpoint"
188 }
189 fn gana(&self) -> Gana {
190 Gana::StraddlingLegs
191 }
192 fn effects(&self) -> &EffectRow {
193 &self.effects
194 }
195 fn input_schema(&self) -> Value {
196 super::common::schema(
197 &json!({
198 "session_id": super::common::str_prop("Target session (default: most recent session)"),
199 "label": super::common::str_prop("Checkpoint label (default 'checkpoint')"),
200 "data": {
201 "type": "object",
202 "description": "Legacy free-form passthrough stored beside the handoff."
203 },
204 "commit": super::common::str_prop("Manual commit hash (auto-captured from git when root/WM_PROJECT_ROOT is set)"),
205 "branch": super::common::str_prop("Manual branch name (auto-captured when git is available)"),
206 "tests_green": {
207 "type": "boolean",
208 "description": "Whether the test suite was green at checkpoint time."
209 },
210 "next_queue": {
211 "type": "array",
212 "description": "Ordered next-step strings for the next session."
213 },
214 "open_flags": {
215 "type": "array",
216 "description": "Open concerns/flags worth surfacing on resume."
217 },
218 "lease_id": super::common::str_prop("Claimed scope (code.claim lease_id) that remains held at this handoff"),
219 "root": super::common::str_prop("Repository root for auto git-capture (default: WM_PROJECT_ROOT env)"),
220 }),
221 &[],
222 )
223 }
224 fn description(&self) -> &str {
225 "Save a session checkpoint with a verifiable structured handoff: commit, branch, dirty count (auto-captured from git via WM_PROJECT_ROOT), tests_green, next_queue, open_flags, lease_id (a code.claim scope that stays held)."
226 }
227 async fn call(&self, _ctx: &mut Context, args: Value) -> wm_core::Result<Value> {
228 let session_id = match args.get("session_id").and_then(|v| v.as_str()) {
229 Some(sid) if !sid.is_empty() => sid.to_string(),
230 _ => latest_session_start(&self.store).ok_or_else(|| {
231 wm_core::CoreError::Tool("no session found — run session.start first".into())
232 })?,
233 };
234 let label = args
235 .get("label")
236 .and_then(|v| v.as_str())
237 .unwrap_or("checkpoint");
238 let data = args.get("data").cloned().unwrap_or_else(|| json!({}));
239
240 let git_state = resolve_project_root(&args).and_then(|root| capture_git_state(&root));
243 let mut handoff = json!({});
244 {
245 let h = handoff.as_object_mut().expect("just created");
246 for (key, value) in [
247 ("commit", args.get("commit")),
248 ("branch", args.get("branch")),
249 ("tests_green", args.get("tests_green")),
250 ("next_queue", args.get("next_queue")),
251 ("open_flags", args.get("open_flags")),
252 ("lease_id", args.get("lease_id")),
253 ] {
254 if value.is_some() {
255 h.insert(key.to_string(), value.cloned().expect("checked above"));
256 }
257 }
258 if let Some(git) = git_state {
259 h.insert("git".to_string(), git);
260 }
261 }
262
263 let mut mem = Memory::new(
264 Galaxy::Sessions,
265 json!({
266 "type": "checkpoint",
267 "session_id": session_id,
268 "label": label,
269 "data": data,
270 "handoff": handoff,
271 })
272 .to_string(),
273 );
274 mem.metadata.tags = vec!["session".into(), "checkpoint".into()];
275 mem.metadata.importance = 0.5;
276 mem.metadata.source = "system".to_string();
278 mem.metadata.source_trust = 0.7;
279 self.store.put(Galaxy::Sessions, &mem)?;
280 crate::capture_explicit_memory(
281 &self.store,
282 &mem,
283 EpisodicKind::SystemEvent,
284 ProvenanceSource::System,
285 uuid::Uuid::parse_str(&session_id).ok(),
286 0,
287 );
288 Ok(json!({
289 "status": "success",
290 "checkpoint_id": mem.metadata.id,
291 "session_id": session_id,
292 "label": label,
293 "handoff": handoff,
294 }))
295 }
296 fn stats(&self) -> &ToolStats {
297 &self.stats
298 }
299}
300
301pub struct SessionVerifyTool {
308 store: Arc<MemoryStore>,
309 stats: ToolStats,
310 effects: EffectRow,
311}
312
313impl SessionVerifyTool {
314 pub fn new(store: Arc<MemoryStore>) -> Self {
315 Self {
316 store,
317 stats: ToolStats::default(),
318 effects: EffectRow::read_only(vec![Resource::Galaxy("sessions".into())]),
319 }
320 }
321}
322
323#[async_trait]
324impl Tool for SessionVerifyTool {
325 fn name(&self) -> &str {
326 "session.verify"
327 }
328 fn gana(&self) -> Gana {
329 Gana::StraddlingLegs
330 }
331 fn effects(&self) -> &EffectRow {
332 &self.effects
333 }
334 fn input_schema(&self) -> Value {
335 super::common::schema(
336 &json!({
337 "session_id": super::common::str_prop("Session whose latest checkpoint to verify (default: most recent session)"),
338 "root": super::common::str_prop("Repository root to verify against (default: WM_PROJECT_ROOT env)"),
339 }),
340 &[],
341 )
342 }
343 fn description(&self) -> &str {
344 "Verify a session's stored checkpoint against live git state — reports commit drift and dirty-count delta ('your memory says HEAD was X; git says Y')."
345 }
346 async fn call(&self, _ctx: &mut Context, args: Value) -> wm_core::Result<Value> {
347 let session_id = match args.get("session_id").and_then(|v| v.as_str()) {
348 Some(sid) if !sid.is_empty() => sid.to_string(),
349 _ => latest_session_start(&self.store).ok_or_else(|| {
350 wm_core::CoreError::Tool("no session found — run session.start first".into())
351 })?,
352 };
353
354 let memories = self.store.scan_all(Galaxy::Sessions)?;
357 let stored = memories
358 .iter()
359 .filter(|m| {
360 m.metadata.tags.contains(&"checkpoint".to_string())
361 && m.content.contains(&session_id)
362 })
363 .filter_map(|m| {
364 let parsed: Value = serde_json::from_str(&m.content).ok()?;
365 let git = parsed.get("handoff")?.get("git")?.clone();
366 if git.get("commit").and_then(Value::as_str).is_some() {
367 Some((m.metadata.id.to_string(), m.metadata.created_at, git))
368 } else {
369 None
370 }
371 })
372 .max_by_key(|(_, created_at, _)| *created_at);
373
374 let Some((checkpoint_id, _, stored_git)) = stored else {
375 return Ok(json!({
376 "status": "success",
377 "verifiable": false,
378 "message": "no checkpoint with captured git state found for this session — checkpoint with WM_PROJECT_ROOT set (or an explicit root) to enable verification"
379 }));
380 };
381
382 let Some(root) = resolve_project_root(&args) else {
383 return Ok(json!({
384 "status": "error",
385 "checkpoint_id": checkpoint_id,
386 "stored_git": stored_git,
387 "message": "no repository root available — pass 'root' or set WM_PROJECT_ROOT to verify against live git"
388 }));
389 };
390 let Some(current_git) = capture_git_state(&root) else {
391 return Ok(json!({
392 "status": "error",
393 "checkpoint_id": checkpoint_id,
394 "stored_git": stored_git,
395 "message": format!("'{}' is not a usable git work tree", root.display())
396 }));
397 };
398
399 let stored_commit = stored_git["commit"].as_str().unwrap_or_default();
400 let current_commit = current_git["commit"].as_str().unwrap_or_default();
401 let commits_ahead = if stored_commit == current_commit {
402 Some(0)
403 } else {
404 std::process::Command::new("git")
405 .args(["rev-list", "--count", &format!("{stored_commit}..HEAD")])
406 .current_dir(&root)
407 .output()
408 .ok()
409 .filter(|o| o.status.success())
410 .and_then(|o| {
411 String::from_utf8_lossy(&o.stdout)
412 .trim()
413 .parse::<u64>()
414 .ok()
415 })
416 };
417 let dirty_delta = current_git["dirty_count"].as_i64().unwrap_or(0)
418 - stored_git["dirty_count"].as_i64().unwrap_or(0);
419
420 let verdict = if stored_commit == current_commit && dirty_delta == 0 {
421 "clean"
422 } else if stored_commit == current_commit {
423 "dirty-drift"
424 } else {
425 "drifted"
426 };
427
428 Ok(json!({
429 "status": "success",
430 "verifiable": true,
431 "session_id": session_id,
432 "checkpoint_id": checkpoint_id,
433 "stored_git": stored_git,
434 "current_git": current_git,
435 "commits_ahead": commits_ahead,
436 "dirty_delta": dirty_delta,
437 "verdict": verdict,
438 }))
439 }
440 fn stats(&self) -> &ToolStats {
441 &self.stats
442 }
443}
444
445pub struct SessionRecallTool {
447 store: Arc<MemoryStore>,
448 stats: ToolStats,
449 effects: EffectRow,
450}
451
452impl SessionRecallTool {
453 pub fn new(store: Arc<MemoryStore>) -> Self {
454 Self {
455 store,
456 stats: ToolStats::default(),
457 effects: EffectRow::read_only(vec![Resource::Galaxy("sessions".into())]),
458 }
459 }
460}
461
462#[async_trait]
463impl Tool for SessionRecallTool {
464 fn name(&self) -> &str {
465 "session.recall"
466 }
467 fn gana(&self) -> Gana {
468 Gana::StraddlingLegs
469 }
470 fn effects(&self) -> &EffectRow {
471 &self.effects
472 }
473 fn description(&self) -> &str {
474 "Recall session memories by session_id"
475 }
476 async fn call(&self, _ctx: &mut Context, args: Value) -> wm_core::Result<Value> {
477 let session_id = args
478 .get("session_id")
479 .and_then(|v| v.as_str())
480 .unwrap_or("");
481 let limit = args
482 .get("limit")
483 .and_then(serde_json::Value::as_u64)
484 .unwrap_or(50) as usize;
485 let memories = self.store.scan_all(Galaxy::Sessions)?;
486 let filtered: Vec<Value> = memories
487 .iter()
488 .filter(|m| m.content.contains(session_id))
489 .take(limit)
490 .map(|m| {
491 json!({
492 "id": m.metadata.id,
493 "content": m.content,
494 "tags": m.metadata.tags,
495 "created_at": m.metadata.created_at.to_rfc3339(),
496 })
497 })
498 .collect();
499 Ok(json!({
500 "status": "success",
501 "session_id": session_id,
502 "count": filtered.len(),
503 "memories": filtered,
504 }))
505 }
506 fn stats(&self) -> &ToolStats {
507 &self.stats
508 }
509}
510
511pub struct SessionEndTool {
513 store: Arc<MemoryStore>,
514 stats: ToolStats,
515 effects: EffectRow,
516}
517
518impl SessionEndTool {
519 pub fn new(store: Arc<MemoryStore>) -> Self {
520 Self {
521 store,
522 stats: ToolStats::default(),
523 effects: EffectRow {
524 writes: vec![Resource::Galaxy("sessions".into())],
525 ..Default::default()
526 },
527 }
528 }
529}
530
531#[async_trait]
532impl Tool for SessionEndTool {
533 fn name(&self) -> &str {
534 "session.end"
535 }
536 fn gana(&self) -> Gana {
537 Gana::StraddlingLegs
538 }
539 fn effects(&self) -> &EffectRow {
540 &self.effects
541 }
542 fn description(&self) -> &str {
543 "End a session — writes a session_end marker"
544 }
545 async fn call(&self, _ctx: &mut Context, args: Value) -> wm_core::Result<Value> {
546 let session_id = args
547 .get("session_id")
548 .and_then(|v| v.as_str())
549 .unwrap_or("");
550 let summary = args.get("summary").and_then(|v| v.as_str()).unwrap_or("");
551 let mut mem = Memory::new(
552 Galaxy::Sessions,
553 json!({
554 "type": "session_end",
555 "session_id": session_id,
556 "summary": summary,
557 })
558 .to_string(),
559 );
560 mem.metadata.tags = vec!["session".into(), "end".into()];
561 mem.metadata.importance = 0.6;
562 mem.metadata.source = "system".to_string();
564 mem.metadata.source_trust = 0.7;
565 self.store.put(Galaxy::Sessions, &mem)?;
566 crate::capture_explicit_memory(
567 &self.store,
568 &mem,
569 EpisodicKind::SystemEvent,
570 ProvenanceSource::System,
571 uuid::Uuid::parse_str(session_id).ok(),
572 0,
573 );
574 Ok(json!({
575 "status": "success",
576 "session_id": session_id,
577 "end_id": mem.metadata.id,
578 }))
579 }
580 fn stats(&self) -> &ToolStats {
581 &self.stats
582 }
583}
584
585#[cfg(test)]
586mod tests {
587 use super::*;
588
589 fn test_store() -> Arc<MemoryStore> {
590 let dir = tempfile::tempdir().unwrap();
591 let path = dir.path().join("lmdb");
592 std::fs::create_dir_all(&path).unwrap();
593 Arc::new(MemoryStore::open_default(path).unwrap())
594 }
595
596 fn start_session(store: &MemoryStore) -> String {
597 let mut mem = Memory::new(
598 Galaxy::Sessions,
599 json!({"type": "session_start"}).to_string(),
600 );
601 mem.metadata.tags = vec!["session".into(), "start".into()];
602 store.put(Galaxy::Sessions, &mem).unwrap();
603 mem.metadata.id.to_string()
604 }
605
606 fn git_repo() -> (tempfile::TempDir, PathBuf) {
609 let dir = tempfile::tempdir().unwrap();
610 let root = dir.path().to_path_buf();
611 let run = |args: &[&str]| {
612 std::process::Command::new("git")
613 .args(args)
614 .current_dir(&root)
615 .output()
616 .expect("git must be available")
617 };
618 assert!(run(&["init", "-q"]).status.success());
619 assert!(run(&["config", "user.email", "t@t"]).status.success());
620 assert!(run(&["config", "user.name", "t"]).status.success());
621 assert!(
622 run(&["commit", "--allow-empty", "-m", "c1"])
623 .status
624 .success()
625 );
626 (dir, root)
627 }
628
629 #[tokio::test]
632 async fn start_marker_stamps_system_provenance() {
633 let store = test_store();
634 let tool = SessionStartTool::new(store.clone());
635 let mut ctx = Context::default();
636 let out = tool
637 .call(&mut ctx, json!({"title": "prov test"}))
638 .await
639 .unwrap();
640 let sid = uuid::Uuid::parse_str(out["session_id"].as_str().unwrap()).unwrap();
641 let mem = store
642 .get(Galaxy::Sessions, sid)
643 .expect("start stored")
644 .expect("start present");
645 assert_eq!(mem.metadata.source, "system");
646 assert!((mem.metadata.source_trust - 0.7).abs() < 1e-5);
647 }
648
649 #[tokio::test]
650 async fn checkpoint_auto_captures_git_state() {
651 let store = test_store();
652 let sid = start_session(&store);
653 let (_guard, root) = git_repo();
654
655 let tool = SessionCheckpointTool::new(store.clone());
656 let mut ctx = Context::default();
657 let r = tool
658 .call(
659 &mut ctx,
660 json!({"session_id": sid, "root": root.display().to_string(), "tests_green": true}),
661 )
662 .await
663 .unwrap();
664
665 assert_eq!(r["status"], "success");
666 let git = &r["handoff"]["git"];
667 let expected = String::from_utf8(
668 std::process::Command::new("git")
669 .args(["rev-parse", "HEAD"])
670 .current_dir(&root)
671 .output()
672 .unwrap()
673 .stdout,
674 )
675 .unwrap();
676 assert_eq!(
677 git["commit"].as_str().unwrap().trim(),
678 expected.trim(),
679 "checkpoint must auto-capture the live HEAD"
680 );
681 assert_eq!(git["dirty_count"], 0);
682 assert_eq!(r["handoff"]["tests_green"], true);
683 }
684
685 #[tokio::test]
686 async fn checkpoint_resolves_latest_session_when_absent() {
687 let store = test_store();
688 let _old = start_session(&store);
689 let newest = start_session(&store);
690
691 let tool = SessionCheckpointTool::new(store);
692 let mut ctx = Context::default();
693 let r = tool.call(&mut ctx, json!({"label": "wrap"})).await.unwrap();
694
695 assert_eq!(r["status"], "success");
696 assert_eq!(r["session_id"], newest, "must target the newest session");
697 }
698
699 #[tokio::test]
700 async fn verify_reports_clean_then_drifted() {
701 let store = test_store();
702 let sid = start_session(&store);
703 let (dir_guard, root) = git_repo();
704 let root_str = root.display().to_string();
705
706 let cp = SessionCheckpointTool::new(store.clone());
707 let mut ctx = Context::default();
708 cp.call(&mut ctx, json!({"session_id": sid, "root": root_str}))
709 .await
710 .unwrap();
711
712 let verify = SessionVerifyTool::new(store.clone());
713 let clean = verify
714 .call(&mut ctx, json!({"session_id": sid, "root": root_str}))
715 .await
716 .unwrap();
717 assert_eq!(clean["verifiable"], true);
718 assert_eq!(clean["verdict"], "clean", "got: {clean}");
719 assert_eq!(clean["commits_ahead"], 0);
720
721 assert!(
723 std::process::Command::new("git")
724 .args(["commit", "--allow-empty", "-m", "c2"])
725 .current_dir(&root)
726 .output()
727 .unwrap()
728 .status
729 .success()
730 );
731
732 let drifted = verify
733 .call(&mut ctx, json!({"session_id": sid, "root": root_str}))
734 .await
735 .unwrap();
736 assert_eq!(drifted["verdict"], "drifted", "got: {drifted}");
737 assert_eq!(drifted["commits_ahead"], 1);
738 assert_ne!(
739 drifted["stored_git"]["commit"],
740 drifted["current_git"]["commit"]
741 );
742
743 drop(dir_guard);
744 }
745
746 #[tokio::test]
747 async fn checkpoint_carries_lease_id_in_handoff() {
748 let store = test_store();
749 let sid = start_session(&store);
750
751 let tool = SessionCheckpointTool::new(store);
752 let mut ctx = Context::default();
753 let r = tool
754 .call(
755 &mut ctx,
756 json!({"session_id": sid, "lease_id": "src/expansion/"}),
757 )
758 .await
759 .unwrap();
760
761 assert_eq!(r["status"], "success");
762 assert_eq!(r["handoff"]["lease_id"], "src/expansion/");
763 }
764
765 #[tokio::test]
766 async fn verify_reports_unverifiable_without_git_checkpoint() {
767 let store = test_store();
768 let sid = start_session(&store);
769
770 let cp = SessionCheckpointTool::new(store.clone());
772 let mut ctx = Context::default();
773 let r = cp.call(&mut ctx, json!({"session_id": sid})).await.unwrap();
775 assert!(r["handoff"]["git"].is_null());
776
777 let verify = SessionVerifyTool::new(store);
778 let v = verify
779 .call(&mut ctx, json!({"session_id": sid}))
780 .await
781 .unwrap();
782 assert_eq!(v["verifiable"], false, "got: {v}");
783 assert!(v["message"].as_str().unwrap().contains("no checkpoint"));
784 }
785}