Two updates from a design conversation that surfaced load-bearing
context not yet in the canonical docs:

1. The type-system docs lead with mechanisms (no subtyping,
   synthesis-only, universal turbofish) but never name the *property*
   those mechanisms exist to enforce: every type is visible in the
   source. That property is the AI-first + Go-speed commitments
   expressed at the type level — it is the reason all the mechanisms
   are shaped the way they are. Added section in type-system/README.md
   ("The property the type system exists to deliver") and reworked the
   opening of inference.md to frame "synthesis-only" as the *how* in
   service of the *why*.

   Uses the PL-theory term "manifest" (types are written, not implicit)
   with a parenthetical disambiguating it from "structural typing"
   (shape-equality — distinct, and not what CkLang is; CkLang is
   nominal).

2. R2's spec previously had a placeholder open-questions section. The
   things that read as "open" close on principles already in the docs
   (meta-substrate is observation-only, uniform rules, runtime trusts
   the front-end) — so they aren't questions. Replaced with one
   positively-framed "Locked stance" line: match is first-arm-wins;
   exhaustiveness is TY7's contract; an unreachable arm at eval raises
   Panic::raise(Unreachable). Also fixed an HM-flavored phrase in the
   front-end prerequisite (arms "unify" → arms widen by tag membership)
   and recorded TY7 as a hard prerequisite for match.

Docs-only. Link checker: 0 broken anchors. cargo check: 0 warnings.

@@ -0,0 +50,4 @@
+| Trait-bounded call `x.show()` where `T: Show` | direct call to the monomorphized `Show_for_T::show(x)` |
+| Generic `f::<Int>(...)` | direct call to the monomorphized `f_Int(...)` |
+| `for x in range { body }` | iterator protocol: `let it = range.iter(); while let Some(x) = it.next() { body }` (Range stays as a value) |
+| Variant construction `Some(42)` | record construction with the variant's tag set |

@@ -2,0 +13,4 @@
+>
+> The replacement is described across [F1–F4](README.md#foundation--pipeline-scaffolding-orders-14)
+> (lowering + container + meta-stream wire) plus the new
+> [R1-executor-core.md](R1-executor-core.md) (test fn execution as a

@@ -30,2 +36,2 @@
-- **In:** `ck --interactive` entry; the root supervisor actor; single carrier + shared event loop (one thread, run-to-completion, no preemption); `spawn <Name>` as a message to the supervisor; `Ephemeral` child spawn; a **safe** per-actor arena (bootstrap stand-in); arena reclaim on stop; the minimal `MetaStream` events (`ActorSpawned` / `ActorDespawned` / `MessageSent` / `MessageReceived`) and a minimal `RuntimeState` (live-actor set + arena high-water, enough to observe reclaim).
-- **Out:** evaluating expressions in a behavior ([order 2](R1-executor-core.md)); multi-actor `send` / `receive` between user actors (order 10); supervisor **restart** and the full lifetime model (`Singleton` / `Bound`, order 9); the user-facing `spawn` return shape ([todo #1](../../../todo.md)); the real page-map arena and any `unsafe` (deferred — see decision 4); multi-carrier / work-stealing (order 10); the `ArenaReclaimed` meta event (proposed, co-lands with M7 — reclaim is observed here via `RuntimeState`, not a meta event).
+- **In:** the floor library (`ck_rt`) gains: the root supervisor actor; single carrier + shared event loop (one thread, run-to-completion, no preemption); `Ephemeral` child spawn primitive; a **safe** per-actor arena (bootstrap stand-in); arena reclaim on stop; the minimal `MetaEvent` emissions (`ActorSpawned` / `ActorDespawned` / `MessageSent` / `MessageReceived`) via F4's `emit_meta_event`; and a minimal `RuntimeState` (live-actor set + arena high-water, enough to observe reclaim) flushed at binary exit. The compiled binary's entry point is updated to boot the supervisor.
+- **Out:** evaluating expressions in a behavior ([order 6](R1-executor-core.md)); multi-actor `send` / `receive` between user actors (order 14); supervisor **restart** and the full lifetime model (`Singleton` / `Bound`, order 13); the user-facing `spawn` return shape ([todo #1](../../../todo.md)); the real page-map arena and any `unsafe` (deferred); multi-carrier / work-stealing (order 15); the `ArenaReclaimed` meta event (proposed, co-lands with M7 — reclaim is observed here via `RuntimeState`, not a meta event).