fix(README): Dbsp.Core → Zeta.Core (Amara P2 — broken quick-tour snippets)

README.md

@@ -90,7 +90,7 @@ correctly under the paper's rules.
 ## Quick tour
 
 ```fsharp
-open Dbsp.Core
+open Zeta.Core
 
 let circuit = Circuit.create ()
 let orders = circuit.ZSetInput<string * int64> ()
@@ -103,17 +103,20 @@ let totals =
 
 let view = circuit.Output(circuit.IntegrateZSet totals)
 
-orders.Send(ZSet.ofKeys [ "alice", 100L ; "bob", 50L ])
-do! circuit.StepAsync ()
+async {
+    orders.Send(ZSet.ofKeys [ "alice", 100L ; "bob", 50L ])
+    do! circuit.StepAsync () |> Async.AwaitTask
 
-for e in view.Current do
-    printfn "%A -> weight %d" e.Key e.Weight
+    for e in view.Current do
+        printfn "%A -> weight %d" e.Key e.Weight
+}
+|> Async.RunSynchronously
 ```
 
 And the same thing, C#-side:
 
 ```csharp
-using Dbsp.Core;
+using Zeta.Core;
 
 var circuit = new Circuit();
 var orders = circuit.ZSetInput<(string, long)>();

openspec/README.md

@@ -1,4 +1,4 @@
-# OpenSpec in Dbsp.Core
+# OpenSpec in Zeta.Core
 
 OpenSpec is the source of truth for this project.
 

openspec/specs/durability-modes/profiles/fsharp.md

@@ -5,7 +5,7 @@ today. Prose bullets, no RFC-2119; those live in the base `spec.md`.
 
 ## Namespace and source files
 
-- Types and the factory live in the `Dbsp.Core` namespace, across:
+- Types and the factory live in the `Zeta.Core` namespace, across:
   - `src/Core/Durability.fs` — the `DurabilityMode` discriminated union,
     the `WitnessDurableBackingStore` skeleton, the `DurabilityMode` module
     with `createBackingStore` and `recoveryProperty`.

openspec/specs/retraction-safe-recursion/profiles/fsharp.md

@@ -6,7 +6,7 @@ realised in F# today. Prose bullets, no RFC-2119; those live in the base
 
 ## Namespace and source files
 
-- Types and extension methods live in the `Dbsp.Core` namespace, assembled
+- Types and extension methods live in the `Zeta.Core` namespace, assembled
   from:
   - `src/Core/Recursive.fs` — feedback cells, the three recursive
     combinators, and the fixed-point iteration driver.