docs: Update spec with implementation status and add book chapter (Refs DEPYLER-O1MAP-001)

- Add Appendix B: Implementation Status (completed vs remaining)
- Add Appendix C: Changelog with v1.1.0 release notes
- Add module-mapping.md to TDD book
- Update SUMMARY.md with new chapter link

🤖 Generated with [Claude Code](https://claude.com/claude-code)

Co-Authored-By: Claude Opus 4.5 <[email protected]>

Author: noahgift

docs/specifications/o-1-lookup-lib-mapping-rust-python-spec.md

@@ -582,7 +582,40 @@ String interning (future)   12.1 KB       4.1 KB
 
 ---
 
-## Appendix B: Changelog
+## Appendix B: Implementation Status
+
+### Completed (v1.1.0)
+
+| Component | File | Status |
+|-----------|------|--------|
+| O(1) HashMap Lookup | `module_mapper.rs` | ✅ Production |
+| 35+ Module Mappings | `module_mapper.rs` | ✅ Production |
+| Batuta Stack (numpy→trueno, sklearn→aprender) | `module_mapper.rs` | ✅ Production |
+| Typeshed Ingestion Parser | `typeshed_ingest.rs` | ✅ Complete (8 tests) |
+| Multiline .pyi Parsing | `typeshed_ingest.rs` | ✅ Complete |
+| Semantic Bridge Configs | `typeshed_ingest.rs` | ✅ Complete |
+| Specification Document | This file | ✅ Complete |
+
+### Remaining Work (Future)
+
+| Component | Priority | Effort | Notes |
+|-----------|----------|--------|-------|
+| PHF Compile-Time Migration | P1 | Medium | Replace HashMap with `phf` crate |
+| Full Typeshed Corpus Integration | P1 | Medium | CI pipeline to ingest all stdlib stubs |
+| Semantic Equivalence Test Suite | P2 | High | Golden tests for all mappings |
+| Performance Benchmarks | P2 | Low | Measure actual lookup times |
+| Property-Based Tests | P2 | Medium | QuickCheck/Proptest for mappings |
+| depyler.toml Config Support | P3 | Low | User-defined mapping overrides |
+
+---
+
+## Appendix C: Changelog
+
+### v1.1.0 (2025-12-07)
+- **IMPLEMENTED**: `typeshed_ingest.rs` - .pyi stub parser for auto-mapping
+- Added Section 5: Automation Strategy (Typeshed Ingestion)
+- Added Appendix B: Implementation Status tracking
+- 8 passing tests for json, math, os, and unknown module ingestion
 
 ### v1.0.0 (2025-12-07)
 - Initial specification based on `module_mapper.rs` implementation
@@ -591,6 +624,3 @@ String interning (future)   12.1 KB       4.1 KB
 - Established semantic equivalence validation contracts
 - Added Toyota Way design principles alignment
 - Included 12 peer-reviewed citations
-
-### v1.1.0 (2025-12-07)
-- Added Section 5: Automation Strategy (Typeshed Ingestion) to eliminate manual mapping bottleneck

tdd-book/src/SUMMARY.md

@@ -71,3 +71,4 @@
 - [Hunt Mode: Automated Calibration](./hunt-mode.md)
 - [Corpus Report: Scientific Analysis](./corpus-report.md)
 - [CITL Corpus Extraction](./citl-corpus-extraction.md)
+- [O(1) Module Mapping](./module-mapping.md)

tdd-book/src/module-mapping.md

@@ -0,0 +1,67 @@
+# O(1) Module Mapping
+
+This document provides an overview of depyler's module mapping system, which translates Python standard library and third-party modules to their Rust equivalents.
+
+## Architecture
+
+Depyler uses an O(1) amortized lookup HashMap to map Python modules to Rust crates:
+
+```rust
+// Core lookup in module_mapper.rs
+pub fn get_mapping(&self, module_name: &str) -> Option<&ModuleMapping> {
+    self.module_map.get(module_name)  // O(1) amortized
+}
+```
+
+## Supported Modules
+
+| Python Module | Rust Crate | Priority |
+|---------------|------------|----------|
+| `argparse` | `clap` | P0 |
+| `json` | `serde_json` | P0 |
+| `numpy` | `trueno` | P0 |
+| `sklearn.*` | `aprender::*` | P0 |
+| `re` | `regex` | P0 |
+| `datetime` | `chrono` | P1 |
+| `random` | `rand` | P1 |
+
+See the full mapping table in the [specification](../docs/specifications/o-1-lookup-lib-mapping-rust-python-spec.md).
+
+## Typeshed Ingestion
+
+To eliminate manual mapping effort, depyler can auto-generate mappings from Python's typeshed `.pyi` stub files:
+
+```rust
+use depyler_core::typeshed_ingest::parse_pyi;
+
+let json_pyi = std::fs::read_to_string("typeshed/stdlib/json.pyi")?;
+let mapping = parse_pyi(&json_pyi, "json");
+// mapping.item_map contains: loads→from_str, dumps→to_string, etc.
+```
+
+## Specification
+
+Full specification: [DEPYLER-O1MAP-001](../docs/specifications/o-1-lookup-lib-mapping-rust-python-spec.md)
+
+### Implementation Status
+
+| Component | Status |
+|-----------|--------|
+| HashMap O(1) Lookup | ✅ Production |
+| 35+ Module Mappings | ✅ Production |
+| Typeshed Parser | ✅ Complete |
+| PHF Optimization | ⏳ Future |
+
+## Usage
+
+```rust
+use depyler_core::module_mapper::ModuleMapper;
+
+let mapper = ModuleMapper::new();
+
+// Get mapping for a Python module
+if let Some(mapping) = mapper.get_mapping("json") {
+    println!("Rust crate: {}", mapping.rust_path);  // "serde_json"
+    println!("External: {}", mapping.is_external);   // true
+}
+```