diff --git a/unison-src/transcripts/fix5080.md b/unison-src/transcripts/fix5080.md
index 4c80c0760..5c343603d 100644
--- a/unison-src/transcripts/fix5080.md
+++ b/unison-src/transcripts/fix5080.md
@@ -1,18 +1,18 @@
-```ucm
-.> project.create test-5080
+```ucm:hide
+scratch/main> builtins.merge lib.builtins
 ```
 
 ```unison
-test> fix5080.tests.success = check (6 Nat.== 6)
-test> fix5080.tests.failure = check (2 Nat.== 4)
+test> fix5080.tests.success = [Ok "success"]
+test> fix5080.tests.failure = [Fail "fail"]
 ```
 
 ```ucm:error
-test-5080/main> add
-test-5080/main> test
+scratch/main> add
+scratch/main> test
 ```
 
 ```ucm
-test-5080/main> delete.term 2
-test-5080/main> test
+scratch/main> delete.term 2
+scratch/main> test
 ```
diff --git a/unison-src/transcripts/fix5080.output.md b/unison-src/transcripts/fix5080.output.md
index cccf11a8f..c9d0b7c0c 100644
--- a/unison-src/transcripts/fix5080.output.md
+++ b/unison-src/transcripts/fix5080.output.md
@@ -1,29 +1,6 @@
-```ucm
-.> project.create test-5080
-
-  🎉 I've created the project test-5080.
-
-  I'll now fetch the latest version of the base Unison
-  library...
-
-  Downloaded 14067 entities.
-
-  🎨 Type `ui` to explore this project's code in your browser.
-  🔭 Discover libraries at https://share.unison-lang.org
-  📖 Use `help-topic projects` to learn more about projects.
-  
-  Write your first Unison code with UCM:
-  
-    1. Open scratch.u.
-    2. Write some Unison code and save the file.
-    3. In UCM, type `add` to save it to your new project.
-  
-  🎉 🥳 Happy coding!
-
-```
 ```unison
-test> fix5080.tests.success = check (6 Nat.== 6)
-test> fix5080.tests.failure = check (2 Nat.== 4)
+test> fix5080.tests.success = [Ok "success"]
+test> fix5080.tests.failure = [Fail "fail"]
 ```
 
 ```ucm
@@ -42,30 +19,30 @@ test> fix5080.tests.failure = check (2 Nat.== 4)
   Now evaluating any watch expressions (lines starting with
   `>`)... Ctrl+C cancels.
 
-    1 | test> fix5080.tests.success = check (6 Nat.== 6)
+    1 | test> fix5080.tests.success = [Ok "success"]
     
-    ✅ Passed Passed
+    ✅ Passed success
   
-    2 | test> fix5080.tests.failure = check (2 Nat.== 4)
+    2 | test> fix5080.tests.failure = [Fail "fail"]
     
-    🚫 FAILED Failed
+    🚫 FAILED fail
 
 ```
 ```ucm
-test-5080/main> add
+scratch/main> add
 
   ⍟ I've added these definitions:
   
     fix5080.tests.failure : [Result]
     fix5080.tests.success : [Result]
 
-test-5080/main> test
+scratch/main> test
 
   Cached test results (`help testcache` to learn more)
   
-    1. fix5080.tests.success   ◉ Passed
+    1. fix5080.tests.success   ◉ success
   
-    2. fix5080.tests.failure   ✗ Failed
+    2. fix5080.tests.failure   ✗ fail
   
   🚫 1 test(s) failing, ✅ 1 test(s) passing
   
@@ -73,15 +50,15 @@ test-5080/main> test
 
 ```
 ```ucm
-test-5080/main> delete.term 2
+scratch/main> delete.term 2
 
   Done.
 
-test-5080/main> test
+scratch/main> test
 
   Cached test results (`help testcache` to learn more)
   
-    1. fix5080.tests.success   ◉ Passed
+    1. fix5080.tests.success   ◉ success
   
   ✅ 1 test(s) passing