Introduce the always-linked stdlib as manifest CkLang spec drafts and align
the plan leaves to them.

New .ck spec files:
- Floor.ck      — the closed 1:1 machine floor + the one `tick` event-loop grain
- Types.ck      — aliases (Int=i64), base value types (String/List/Map/Set),
                  Option, the Error trait tier, and world-types (Color/Money/Geo)
                  with one uniform impl form and concrete per-tag impls
- Prelude.ck    — the operator-trait tier, one impl per concrete primitive
- Operators.ck  — the operator symbol / precedence table

Plan reconciliations (soll aligned to the .ck files):
- Eq -> Equals everywhere (Equals is the trait; Eq is not a CkLang trait)
- size_of is not a floor leaf (compile-time iconst); floor roster completed
  (negate/remainder/bitwise/shift/float families)
- Int/Float are `type` aliases (i64/f64 sugar), not distinct primitives
- retire "Preamble" -> "Types.ck" / the always-linked stdlib units
- move write(String)/openat(String) off the floor; keep byte-level leaves

Types.ck design rulings (owner):
- no blanket impls — Money expands to concrete per-currency impls; unlocked
  rosters (Length units, temporal reps) are honest stubs, not invented sweeps
- Literal is Form A (`impl Literal<T>`), never `impl … for T`
- closed `data Currency` tag (Money<USD>) is the currency-safety, not String<3>

Also carries pre-existing working-tree changes: the workspace `dead_code = "deny"`
gate in Cargo.toml and the removal of prompt.md.

@@ -0,0 +282,4 @@
+impl BitAnd<bit, bit, bit> { fn band(a: bit, b: bit) -> bit = Floor.band(a, b) }
+
+trait BitOr<A, B, R> {
+   fn bor(a: A, b: B) -> R

@@ -0,0 +83,4 @@
+  needs no primitive variant — the `ItemRef` change the old step planned is moot.)
+- **Step 2 — route nominal receivers through the arity key.** With scalars now
+  `Ty::Nominal` (3b), `resolve_method_call` already reaches `coherence.traits_for`
+  for them (`ck_types/src/method_call.rs:325`); the old `_ => Vec::new()` arm that

@@ -94,0 +95,4 @@
+    // history but never leading (see `plan.md` "Deferred / archived"). Their
+    // links point at the pre-restructure layout on purpose, so the archive is
+    // out of scope for the link gate — only live docs must stay linked.
+    let archived = docs_root.join("old");