Fix pre-existing test bugs; narrative docs → AsciiDoc; version 0.9.0 (#52)

* fix: repair pre-existing debugger, parser, and incremental-lexer bugs

Addresses test failures surfaced by the Hypatia review / ExUnit suite:

- debugger: read variable bindings from State.environment (the real field; the
  code referenced a non-existent State.variables), and add the missing
  Phronesis.Trace.merge/2 the debugger uses to fold per-node sub-traces.
- parser: a parenthesised group now parses the full logical expression, so
  comparisons and booleans inside parens work, e.g.
  (is_valid == true AND enabled) -- fixes conformance 04_boolean_logic.
- incremental_lexer: clamp the edit window into the source so an out-of-bounds
  delta can't drive binary_part/3 with a negative length.

Net: the local suite goes from 17 to 6 failures with no regressions. The
remaining 6 are doc-generator fixture/feature gaps and one LSP incremental
re-lex edge case (see PR notes).

Co-Authored-By: Claude <noreply@anthropic.com>
Claude-Session: https://claude.ai/code/session_01AqMopxUsgu78rg5fhWBUkk

* docs: convert narrative docs to AsciiDoc (CC-BY-SA-4.0); set version 0.9.0

- Convert the top-level narrative documentation from Markdown to AsciiDoc per
  the estate "docs must be .adoc" policy, licensed CC-BY-SA-4.0:
  ANALYSIS-COMPLETE, IMPLEMENTATION-ROADMAP, LSP-IMPLEMENTATION-SUMMARY,
  TEST-NEEDS, TOOLCHAIN-WISHLIST, TOPOLOGY, WOKELANG-FEATURE-COMPARISON.
  GitHub-required (.md), AI-instruction, issue-template, wiki, and academic
  proof corpora are intentionally left as-is.
- EXPLAINME: update the file-map reference to the renamed LSP summary.
- mix.exs: version 0.1.0 -> 0.9.0 to match STATE.a2ml and resolve the
  three-way version disagreement.

Co-Authored-By: Claude <noreply@anthropic.com>
Claude-Session: https://claude.ai/code/session_01AqMopxUsgu78rg5fhWBUkk

---------

Co-authored-by: Claude <noreply@anthropic.com>

Author: hyperpolymath

ANALYSIS-COMPLETE.adoc

@@ -0,0 +1,116 @@
+// SPDX-License-Identifier: CC-BY-SA-4.0
+// Copyright (c) Jonathan D.A. Jewell <j.d.a.jewell@open.ac.uk>
+
+== Phronesis Analysis Complete
+
+=== Task Summary
+
+*User Request:* "I need you to do all that we just did with wokelang...for phronesis"
+
+*What was done for WokeLang (4 features):*
+
+[arabic]
+. Record field access with dot notation
+. Full stdlib integration with interpreter
+. Worker message passing
+. Enhanced error messages with hints
+
+=== Analysis Results
+
+==== Feature-by-Feature Comparison
+
+*1. Record Field Access ✅*
+
+* Status: *Already complete in Phronesis*
+* Phronesis actually has MORE: optional chaining with `?.` operator
+* No work needed
+
+*2. Stdlib Integration ✅*
+
+* Status: *Already complete in Phronesis*
+* All 19 stdlib functions (BGP, RPKI, Consensus, Temporal) fully integrated
+* `resolve_builtin_module/2` wires all function calls
+* No work needed
+
+*3. Worker Concurrency ⚠️*
+
+* Status: *Not applicable to Phronesis*
+* Phronesis is a *decidable policy language* (guaranteed termination)
+* No loops, no recursion by design
+* Workers would break decidability guarantees
+* Consensus voting ≠ worker concurrency (it's distributed approval)
+* *Architecturally inappropriate to add*
+
+*4. Enhanced Error Messages ✅*
+
+* Status: *Already complete in Phronesis*
+* Has comprehensive diagnostics system (967+ lines)
+* Features WokeLang doesn't have:
+** Error codes (E0001-E9999, W0000-W9999)
+** Colorized output with ANSI
+** Source context with line highlighting
+** Levenshtein distance-based suggestions
+** "Did you mean...?" for typos
+** JSON export for tool integration
+
+==== What Phronesis Has That WokeLang Doesn't
+
+*Advanced Language Features:*
+
+* Optional chaining: `record?.field?.nested`
+* Interpolated strings: `"Hello ${name}"`
+* Null-safe field access
+* IPv6 address literals
+* Raw/multiline strings
+
+*Production Tooling:*
+
+* Full LSP server (1200+ lines)
+* Interactive debugger with REPL (1030+ lines)
+* Performance profiler (1158+ lines) with HTML/CSV/Markdown export
+* Documentation generator (1069+ lines)
+* Static analyzer (897+ lines) with security checks
+* Package manager (1198+ lines) with dependency resolution
+* Comprehensive CLI (12+ commands)
+* VSCode extension with full IDE support
+* Syntax highlighting for 4 editors
+
+*Infrastructure:*
+
+* Docker deployment (multi-stage build)
+* Docker Compose (3-node cluster)
+* Kubernetes StatefulSet (production-ready)
+* Hot code reloading
+* Distributed consensus with Raft
+* Performance benchmarks (exceeds 10k ops/sec target on 5/6 components)
+
+=== Conclusion
+
+*No work needed on Phronesis.*
+
+All applicable features from the WokeLang implementation are already complete in Phronesis, and Phronesis has significantly more capabilities:
+
+[cols=",,",options="header",]
+|===
+|Aspect |WokeLang |Phronesis
+|*Record field access* |Basic dot notation |Dot notation + optional chaining
+|*Stdlib integration* |96 functions |19 functions (specialized for networking)
+|*Error messages* |Design only |Full diagnostics system
+|*LSP server* |None |Complete (1200+ lines)
+|*Debugger* |None |Interactive with REPL
+|*Profiler* |None |Full with multiple export formats
+|*Package manager* |None |Complete with semver
+|*Production deployment* |None |Docker + K8s ready
+|*Project completion* |~30% (basic interpreter) |*100% (production-ready)*
+|===
+
+Phronesis is a *production-ready language with comprehensive tooling* that exceeds what was built for WokeLang.
+
+=== Files Created
+
+* `WOKELANG-FEATURE-COMPARISON.adoc` - Detailed feature-by-feature analysis
+* `ANALYSIS-COMPLETE.adoc` - This summary document
+
+=== Next Steps
+
+None required. Phronesis already has all applicable features and more.

ANALYSIS-COMPLETE.md

@@ -160,5 +160,5 @@ cryptographic signing for packages yet.
 | `Containerfile` | Podman container definition (Chainguard base)
 | `.machine_readable/` | A2ML state, meta, ecosystem files
 | `TESTING-REPORT.adoc` | Test results narrative
-| `LSP-IMPLEMENTATION-SUMMARY.md` | LSP feature coverage summary
+| `LSP-IMPLEMENTATION-SUMMARY.adoc` | LSP feature coverage summary
 |===