chore: rename docs/specs/SPEC.md and faces.md to .adoc (#96) (#97)

- git mv docs/specs/SPEC.md -> docs/specs/SPEC.adoc
- git mv docs/specs/faces.md -> docs/specs/faces.adoc
- Convert Markdown syntax to AsciiDoc (headings, tables, code fences, bold/italic)
- Add standard PMPL preamble with :toc: macro
- Update inbound links in NAVIGATION.adoc, docs/README.adoc,
  docs/guides/frontier-guide.adoc, docs/guides/migration-playbook.adoc,
  .machine_readable/6a2/META.a2ml
- Sweep stale prose references in docs/README.adoc tree diagram,
  docs/academic/white-papers/language-design.md, docs/standards/RELEASE.md,
  and lib/quantity.ml doc comment

Closes #96

Author: hyperpolymath

.machine_readable/6a2/META.a2ml

@@ -667,5 +667,5 @@ consequences = """
 """
 references = [
   "docs/DESIGN-VISION.adoc (faces section)",
-  "docs/specs/faces.md (to be written)",
+  "docs/specs/faces.adoc",
 ]

NAVIGATION.adoc

@@ -47,7 +47,7 @@ This guide helps you navigate the AffineScript repository structure.
 **Key specification documents:**
 
 * link:docs/specs/affinescript-spec.md[AffineScript Specification] - Complete language spec
-* link:docs/specs/SPEC.md[Core Specification] - Core language features
+* link:docs/specs/SPEC.adoc[Core Specification] - Core language features
 
 **Governance documents:**
 

docs/README.adoc

@@ -13,7 +13,7 @@ docs/
 ├── README.adoc               # This file
 ├── specs/                    # Language specifications
 │   ├── affinescript-spec.md  # Complete language specification
-│   └── SPEC.md               # Core specification
+│   └── SPEC.adoc             # Core specification
 ├── governance/               # Community and process docs
 │   ├── CODE_OF_CONDUCT.md    # Community standards
 │   ├── CONTRIBUTING.adoc     # How to contribute
@@ -36,7 +36,7 @@ docs/
 **For language designers and implementers.**
 
 * link:specs/affinescript-spec.md[AffineScript Specification] - Complete language spec
-* link:specs/SPEC.md[Core Specification] - Core language features
+* link:specs/SPEC.adoc[Core Specification] - Core language features
 
 === Governance (`governance/`)
 

docs/academic/white-papers/language-design.md

@@ -448,7 +448,7 @@ We thank the academic community for foundational work on type theory, linear log
 
 ---
 
-**Appendix A**: Full syntax grammar (see SPEC.md)
+**Appendix A**: Full syntax grammar (see SPEC.adoc)
 
 **Appendix B**: Typing rules (see proofs/type-soundness.md)
 

docs/guides/frontier-guide.adoc

@@ -498,7 +498,7 @@ fn fetch_with_retry(
 - link:warmup/README.adoc[Warmup scripts] — hands-on exercises, 15 minutes each
 - link:migration-playbook.adoc[Migration Playbook] — systematic re-decomposition rules for porting ReScript / TypeScript / other `-script` codebases into AffineScript
 - link:frontier-programming-practices/Human_Programming_Guide.adoc[Frontier Programming Practices] — the wider design philosophy (v2.0, 2026-04-10)
-- link:../specs/SPEC.md[Language Specification] — the authoritative grammar and semantics
+- link:../specs/SPEC.adoc[Language Specification] — the authoritative grammar and semantics
 - link:../specs/SETTLED-DECISIONS.adoc[Settled Decisions] — architectural choices and why they were made
 - link:../DESIGN-VISION.adoc[Design Vision] — the long view
 
@@ -521,7 +521,7 @@ AffineScript.  Error messages are translated back to the face you chose, so
 "Ownership error: single-use variable" appears instead of internal jargon.
 
 Additional faces (JS-face, Pseudocode-face, and others) are on the roadmap.
-See link:../specs/faces.md[faces.md] for the architecture.
+See link:../specs/faces.adoc[faces.adoc] for the architecture.
 
 [appendix]
 == Appendix: Bringing in Target Intrinsics

docs/guides/migration-playbook.adoc

@@ -321,7 +321,7 @@ If you complete a non-trivial `.res → .affine` translation and the re-decompos
 * link:frontier-programming-practices/Human_Programming_Guide.adoc[Frontier Programming Practices] — the wider design philosophy.
 * link:frontier-programming-practices/AI.a2ml[`AI.a2ml`] — machine-readable companion, read by AI agents at session start.
 * link:../specs/SETTLED-DECISIONS.adoc[Settled Decisions] — architectural choices and why they were made.
-* link:../specs/SPEC.md[Language Specification] — authoritative grammar and semantics.
+* link:../specs/SPEC.adoc[Language Specification] — authoritative grammar and semantics.
 
 [appendix]
 == Revision History