Added spot artificer

Author: isaacchua

lib/src/assert/mod.rs

@@ -406,6 +406,29 @@ pub fn assert_impl(
     id: String,
     details: &Value,
 ) {
+    // Spot artificer
+    let spot_artifact = || -> Option<Value> {
+        if hit && !condition {
+            let mut details = details.as_object()?.clone();
+            let artifact_path = details.get("artifact_path")?.as_str()?;
+            let artifact_dir = std::env::var(crate::internal::ARTIFICER_DIR).ok()?;
+            let nonce = format!("{:016x}", crate::random::get_random());
+            let mut artificer = std::fs::OpenOptions::new()
+                .write(true)
+                .append(true)
+                .create(true)
+                .open(std::path::Path::new(&artifact_dir).join(&nonce)).ok()?;
+            use std::io::Write;
+            writeln!(artificer, "{artifact_path}").ok()?;
+            details.insert("artifact_id".to_owned(), Value::String(nonce));
+            Some(Value::Object(details))
+        } else {
+            None
+        }
+    };
+    let new_details = spot_artifact();
+    let details = new_details.as_ref().unwrap_or(details);
+
     let assertion = AssertionInfo::new(
         assert_type,
         display_type,

lib/src/internal/mod.rs

@@ -51,6 +51,8 @@ const SDK_VERSION: &str = env!("CARGO_PKG_VERSION");
 
 pub const LOCAL_OUTPUT: &str = "ANTITHESIS_SDK_LOCAL_OUTPUT";
 
+pub const ARTIFICER_DIR: &str = "ANTITHESIS_ARTIFICER_DIR";
+
 #[cfg(feature = "full")]
 fn get_handler() -> Box<dyn LibHandler + Sync + Send> {
     match VoidstarHandler::try_load() {