diff --git a/examples/0617-comptime-reify-recvresult.sx b/examples/0617-comptime-reify-recvresult.sx
new file mode 100644
index 00000000..af49d7f1
--- /dev/null
+++ b/examples/0617-comptime-reify-recvresult.sx
@@ -0,0 +1,37 @@
+// REIFY Phase 3: RecvResult($T) / TryResult($T) — the channel result types,
+// built ENTIRELY in sx library code as type-fns over `reify` (no new compiler
+// machinery beyond Phases 0–1). A blocking recv yields a value or a `closed`
+// marker; a non-blocking try-recv adds `empty` — three states a bool can't
+// express. This locks that they construct and match like any enum, and that
+// `RecvResult(i64)` is one nominal type across sites (the type-fn identity path).
+#import "modules/std.sx";
+#import "modules/std/meta.sx";
+
+main :: () -> i32 {
+    r := RecvResult(i64).value(42);
+    if r == {
+        case .value:  (v) { print("recv value {}\n", v); }
+        case .closed: { print("recv closed\n"); }
+    }
+
+    rc : RecvResult(i64) = .closed;
+    if rc == {
+        case .value:  (v) { print("recv value {}\n", v); }
+        case .closed: { print("recv closed\n"); }
+    }
+
+    t := TryResult(i64).value(7);
+    if t == {
+        case .value:  (v) { print("try value {}\n", v); }
+        case .empty:  { print("try empty\n"); }
+        case .closed: { print("try closed\n"); }
+    }
+
+    te : TryResult(i64) = .empty;
+    if te == {
+        case .value:  (v) { print("try value {}\n", v); }
+        case .empty:  { print("try empty\n"); }
+        case .closed: { print("try closed\n"); }
+    }
+    return 0;
+}
diff --git a/examples/expected/0617-comptime-reify-recvresult.exit b/examples/expected/0617-comptime-reify-recvresult.exit
new file mode 100644
index 00000000..e69de29b