docs: fix stale example counts and 0.3-era status text

- EXAMPLES.md: archived count 30 → 29 (the 30th ls entry is
  archived/README.md, not an example); ALL 50 → 53 heading; category
  counts (feature-specific 11, type showcases 1); drop the empty
  performance-testing section heading; replace the 0.3-era KEY
  ACHIEVEMENTS block and stale verification blockquote with current
  lane framing
- README.md: drop the stale '43 build on the 2026-07-28 default' exact
  count (×2) — reworded to lane framing with a pointer to EXAMPLES.md

Author: hortovanyi

EXAMPLES.md

@@ -168,22 +168,17 @@ cargo run -p tasks-e2e-inmemory-server
 cargo run -p tasks-e2e-inmemory-client -- --url http://127.0.0.1:8080/mcp
 ```
 
-## 📖 **TYPE SHOWCASES** (4 examples) - Print-Only Demonstrations
+## 📖 **TYPE SHOWCASES** (1 example) - Print-Only Demonstrations
 
 These examples demonstrate MCP 2025-11-25 type construction without starting a server:
 
 | Example | Type | Status | Description | Types Demonstrated |
 |---------|------|--------|-------------|-------------------|
 | **icon-showcase** | Demo | ✅ VALIDATED | Icon support | `Icon` struct on tools, resources, prompts |
 
-## 📚 **PERFORMANCE TESTING** (1 example) - Benchmarks
-
-| Example | Type | Status | Description | Purpose |
-|---------|------|--------|-------------|---------|
-
 ## 🚨 **COMPREHENSIVE VALIDATION RESULTS**
 
-### ✅ **ALL 50 ACTIVE EXAMPLES COMPILE UNDER THEIR LANE'S CI GATES**
+### ✅ **ALL 53 ACTIVE EXAMPLES COMPILE UNDER THEIR LANE'S CI GATES**
 **0.4.0 branch (MCP 2026-07-28 default, 2025-11-25 opt-in) — last reconciled 2026-06-12.**
 The per-example functional verification ledger lives in
 `docs/plans/2026-07-28-examples-review.md`; the 2026-06-12 migrate slice
@@ -192,28 +187,28 @@ re-verified its six examples live on the wire.
 - **Getting Started** - 5 examples (all tool creation levels)
 - **Session Storage** - 3 examples (SQLite, PostgreSQL, DynamoDB)
 - **Resource Servers** - 6 examples (session-aware resources)
-- **Feature-Specific** - 8 examples (prompts, sampling, elicitation, etc.)
+- **Feature-Specific** - 11 examples (prompts, sampling, elicitation, MRTR, origin policy, header binding, etc.)
 - **Advanced/Composite** - audit-trail, pagination, icon showcase
 - **Session & State** - stateful-server + session-aware-resource-server (2025-pinned) and the storage-backend trio
-- **Client Examples** - 7 examples (client-server communication — see the pairs table above)
+- **Client Examples** - see the pairs table above (9 pairing rows)
 - **AWS Lambda** - 4 examples (server, streaming, client, authorizer)
 - **Tool Creation & Schemas** - 6 examples (macro patterns + output schemas)
 - **Middleware** - 4 examples (auth, logging, rate-limiting, Lambda auth)
 - **Tasks** - 3 examples (MCP 2025-11-25 task lifecycle)
 - **Type Showcases** - 4 examples (print-only type demonstrations)
-- **Performance Testing** - 1 example (benchmarks)
 
-> 50 examples functionally verified (Start → Initialize → Execute or Run → Check Output).
-> 2 skipped (external deps: PostgreSQL, DynamoDB). 2 blocked by client library bug (OPTIONS preflight).
-> 4 Lambda/performance examples compile-verified only. See `EXAMPLE_VERIFICATION_LOG.md`.
+> Lane-by-lane compilation is enforced by CI (`scripts/ci-gates.sh all`); the
+> 2026-06-12 disposition slices live-verified every migrated and new example.
+> Historical per-example verification notes: `EXAMPLE_VERIFICATION_LOG.md`
+> (0.3-era snapshot).
 
-### 🎯 **KEY ACHIEVEMENTS**
-- **Session-Aware Resources**: All resources support SessionContext
-- **Full MCP 2025-11-25 Compliance**: Complete specification implementation
-- **Zero Breaking Changes**: All existing examples continue to work
+### 🎯 **CURRENT STATE**
+- **2026-07-28 default lane**: stateless core (per-request `_meta`, POST-only, `subscriptions/listen`, MRTR)
+- **2025-11-25 opt-in lane**: stateful session examples pinned per-manifest, feeding the regression gates
+- **Live-verified**: migrated and new examples were verified by running them and executing their own printed commands
 
 ### 📊 **Statistics**
-- **Total Examples**: 53 active (30 archived in `examples/archived/`)
+- **Total Examples**: 53 active (29 archived in `examples/archived/`)
 - **Session-Aware Resources**: 6 examples demonstrating session context integration
 - **Client-Server Pairs**: 9 pairing-table rows validating communication patterns
 - **Task Support**: 3 examples demonstrating MCP 2025-11-25 task lifecycle (InMemory storage)

README.md

@@ -24,7 +24,7 @@ A comprehensive Rust framework for building Model Context Protocol (MCP) servers
 ## ✨ Key Highlights
 
 - **🏗️ 15 Framework Crates**: Complete MCP ecosystem with core framework, client library, task storage, and serverless support
-- **📚 Comprehensive Examples**: Real-world business applications and framework demonstrations (43 build on the 2026-07-28 default; a small 2025-11-25 regression set is pinned to the opt-in)
+- **📚 Comprehensive Examples**: Real-world business applications and framework demonstrations (most build on the 2026-07-28 default lane; a 2025-11-25 regression set is pinned to the opt-in, and client-using examples are built by explicit CI steps — see EXAMPLES.md)
 - **🧪 Framework-Native Test Suite**: Core framework tests, SessionContext integration tests, and framework-native integration tests
 - **⚡ Multiple Development Patterns**: Derive macros, function attributes, declarative macros, and manual implementation
 - **🌐 Transport Flexibility**: Streamable HTTP via StreamableHttpHandler with SSE streaming (stdio planned)
@@ -1238,7 +1238,7 @@ This project is licensed under the MIT OR Apache-2.0 License - see the LICENSE f
 
 ### 🎯 Current Framework State
 - **MCP 2026-07-28 adoption (this branch)**: default build targets the 2026-07-28 stateless core; 2025-11-25 remains fully supported as the opt-in stateful line
-- **Examples Validated**: 43 examples build on the 2026-07-28 default; a small 2025-11-25 regression set is pinned to the opt-in
+- **Examples Validated**: 53 active examples compile under their lane's CI gates (2026-07-28 default lane plus the pinned 2025-11-25 regression set — see EXAMPLES.md)
 - **SSE Streaming Verified**: Real-time notifications and session-aware logging working correctly
 - **Beta Status**: Active development with API stability considerations before 1.0.0