refactor: migrate Markdown to AsciiDoc

CHANGELOG.adoc

@@ -0,0 +1,95 @@
+== Changelog
+
+All notable changes to the nextgen-languages parent repository.
+
+=== 2026-06-12
+
+==== Changed
+
+* _KitchenSpeak Echo bridge is now MACHINE-CHECKED against the real
+`+hyperpolymath/echo-types+` library._
+`+kitchenspeak/proofs/agda/EchoBridge.agda+` previously carried a
+"`hand-verified, not machine-checked`" caveat; it now typechecks against
+the real `+Echo+` (the `+@+` sensor witness IS
+`+Echo (fired sensor thr) true+`). The wider echo-types ↔ typesystem
+integration is recorded in echo-types’
+`+docs/bridges/cross-repo-bridge-status.md+`.
+
+==== Fixed
+
+* `+kitchenspeak/proofs/agda/PoachedEgg.agda+`: stdlib v2.3 API drift
+(`+toWitness {Q = …}+` → `+{a? = …}+`) so the KitchenSpeak proof suite
+(Dough + PoachedEgg + EchoBridge) type-checks on the echo-types CI
+toolchain (Agda 2.6.3 + stdlib v2.3).
+
+=== 2026-06-02
+
+==== Added
+
+* KitchenSpeak elevated to standalone-repo-ready and listed as a DSL in
+`+README.adoc+` / `+EXPLAINME.adoc+`;
+`+scripts/elevate-kitchenspeak.sh+` performs the repo split + submodule
+conversion.
+* KitchenSpeak proofs commenced: `+PoachedEgg.agda+`
+(Linear+Tropical+Echo), `+EchoBridge.agda+`, and a proof harness
+(`+proofs/Makefile+`, `+kitchenspeak.agda-lib+`).
+* KitchenSpeak ADRs 0002–0004: standalone elevation; `+echo-types+`
+dependency; Echo attaches to Linear/Dyadic (B-now / C-later / A-shim).
+* Hypatia accepted-findings registry in
+`+.machine_readable/6a2/NEUROSYM.a2ml+` `+[waivers]+`, with gitbot
+runbook in `+PLAYBOOK.a2ml+` and agent contract in `+AGENTIC.a2ml+`.
+* `+6a2+` machine-readable state refreshed
+(STATE/META/ECOSYSTEM/NEUROSYM/ PLAYBOOK/AGENTIC); `+MUST.contractile+`
+project-specific invariants.
+
+==== Changed
+
+* CI hygiene: `+timeout-minutes+` on all real jobs; CodeQL matrix
+`+javascript-typescript+` → `+actions+`; scorecard publish job split
+from an unprivileged score-gate; `+instant-sync+` dispatch gated on
+secret presence; fixed pre-existing invalid YAML in
+`+instant-sync.yml+`.
+* `+Trustfile+` reconciled: deleting merged PR branches is permitted
+(force-push, CI-secret modification, and publish remain denied).
+
+==== Removed
+
+* Spurious `+nuget+` ecosystem from `+.github/dependabot.yml+` (no .NET
+projects).
+* Stale merged feature branches.
+
+=== 2026-03-15
+
+==== Changed
+
+* Moved 6 design documents to `+docs/design/+` and `+docs/+` for cleaner
+root.
+* Deleted 14 stale status snapshots, executed plans, and duplicate
+files.
+* Renamed `+AI.a2ml+` to `+0-AI-MANIFEST.a2ml+` (RSR standard).
+* Deleted `+CONTRIBUTING.adoc+` (content subset of `+CONTRIBUTING.md+`).
+
+==== Removed
+
+* `+COMPLETION-STATUS-2026-02-07.md+` (stale snapshot)
+* `+CONSOLIDATION-COMPLETE.md+` (executed plan)
+* `+CONSOLIDATION-PLAN.md+` (executed plan)
+* `+FINAL-STATUS-2026-02-07.md+` (stale snapshot)
+* `+LANGUAGE-STATUS-MASTER.md+` (superseded)
+* `+LANGUAGE-STATUS-VERIFIED-2026-02-07.md+` (stale snapshot)
+* `+OBLIBENY-COMPLETION-2026-02-07.md+` (stale snapshot)
+* `+MY-LANG-VERIFICATION-BLOCKED.md+` (resolved issue)
+* `+MIGRATION-STATUS.md+` (stale, from 2025-12)
+* `+MIGRATION-STRATEGY.md+` (executed plan)
+* `+MANIFEST.md+` (superseded by 0-AI-MANIFEST.a2ml)
+* `+PALIMPSEST.adoc+` (redundant with LICENSE)
+* `+CLAUDE-INSTRUCTIONS.md+` (superseded by .claude/CLAUDE.md)
+* `+CONTRIBUTING.adoc+` (subset of CONTRIBUTING.md)
+
+=== 2026-02-07
+
+==== Added
+
+* Consolidation of scattered language repos into canonical locations.
+* Updated .machine_readable/6a2/STATE.a2ml with verified completion
+percentages.

CODE_OF_CONDUCT.adoc

@@ -0,0 +1,24 @@
+== Contributor Covenant Code of Conduct
+
+=== Our Pledge
+
+We pledge to make participation a harassment-free experience for
+everyone.
+
+=== Our Standards
+
+*Positive behavior:* * Using welcoming language * Being respectful of
+differing viewpoints * Accepting constructive criticism * Focusing on
+what is best for the community
+
+*Unacceptable behavior:* * Harassment, trolling, or personal attacks *
+Publishing private information without permission
+
+=== Enforcement
+
+Report issues to the maintainers. All complaints will be reviewed.
+
+=== Attribution
+
+Adapted from https://www.contributor-covenant.org/[Contributor Covenant]
+v2.1.

CONTRIBUTING.adoc

@@ -0,0 +1,109 @@
+== Clone the repository
+
+git clone https://github.com/hyperpolymath/nextgen-languages.git cd
+nextgen-languages
+
+== Using Nix (recommended for reproducibility)
+
+nix develop
+
+== Or using toolbox/distrobox
+
+toolbox create nextgen-languages-dev toolbox enter nextgen-languages-dev
+# Install dependencies manually
+
+== Verify setup
+
+just check # or: cargo check / mix compile / etc. just test # Run test
+suite
+
+....
+
+### Repository Structure
+....
+
+nextgen-languages/ ├── src/ # Source code (Perimeter 1-2) ├── lib/ #
+Library code (Perimeter 1-2) ├── extensions/ # Extensions (Perimeter 2)
+├── plugins/ # Plugins (Perimeter 2) ├── tools/ # Tooling (Perimeter 2)
+├── docs/ # Documentation (Perimeter 3) │ ├── architecture/ # ADRs,
+specs (Perimeter 2) │ └── proposals/ # RFCs (Perimeter 3) ├── examples/
+# Examples (Perimeter 3) ├── spec/ # Spec tests (Perimeter 3) ├── tests/
+# Test suite (Perimeter 2-3) ├── .well-known/ # Protocol files
+(Perimeter 1-3) ├── .github/ # GitHub config (Perimeter 1) │ ├──
+ISSUE_TEMPLATE/ │ └── workflows/ ├── CHANGELOG.md ├── CODE_OF_CONDUCT.md
+├── CONTRIBUTING.md # This file ├── GOVERNANCE.md ├── LICENSE ├──
+MAINTAINERS.md ├── README.adoc ├── SECURITY.md └── Justfile # Task
+runner (Perimeter 1)
+
+....
+
+---
+
+## How to Contribute
+
+### Reporting Bugs
+
+**Before reporting**:
+1. Search existing issues
+2. Check if it's already fixed in `main`
+3. Determine which perimeter the bug affects
+
+**When reporting**:
+
+Use the [bug report template](.github/ISSUE_TEMPLATE/bug_report.md) and include:
+
+- Clear, descriptive title
+- Environment details (OS, versions, toolchain)
+- Steps to reproduce
+- Expected vs actual behaviour
+- Logs, screenshots, or minimal reproduction
+
+### Suggesting Features
+
+**Before suggesting**:
+1. Check the [roadmap](ROADMAP.md) if available
+2. Search existing issues and discussions
+3. Consider which perimeter the feature belongs to
+
+**When suggesting**:
+
+Use the [feature request template](.github/ISSUE_TEMPLATE/feature_request.md) and include:
+
+- Problem statement (what pain point does this solve?)
+- Proposed solution
+- Alternatives considered
+- Which perimeter this affects
+
+### Your First Contribution
+
+Look for issues labelled:
+
+- [`good first issue`](https://github.com/hyperpolymath/nextgen-languages/labels/good%20first%20issue) — Simple Perimeter 3 tasks
+- [`help wanted`](https://github.com/hyperpolymath/nextgen-languages/labels/help%20wanted) — Community help needed
+- [`documentation`](https://github.com/hyperpolymath/nextgen-languages/labels/documentation) — Docs improvements
+- [`perimeter-3`](https://github.com/hyperpolymath/nextgen-languages/labels/perimeter-3) — Community sandbox scope
+
+---
+
+## Development Workflow
+
+### Branch Naming
+....
+
+docs/short-description # Documentation (P3) test/what-added # Test
+additions (P3) feat/short-description # New features (P2)
+fix/issue-number-description # Bug fixes (P2) refactor/what-changed #
+Code improvements (P2) security/what-fixed # Security fixes (P1-2)
+
+....
+
+### Commit Messages
+
+We follow [Conventional Commits](https://www.conventionalcommits.org/):
+....
+
+():
+
+{empty}[optional body]
+
+{empty}[optional footer]