feat(ux): add onboarding, contractiles, and UX infrastructure

- Purge hardcoded absolute paths (replaced with env vars / relative)
- Add QUICKSTART-USER.adoc with real build/run instructions
- Add doctor/heal/tour/help-me recipes to Justfile
- Add LLM warmup scripts (user + dev, token-efficient)
- Add contractile baselines: MUST, TRUST, INTENT, ADJUST
- Add guix.scm + flake.nix for reproducible environments
- Slim/create AI manifest with tiered context loading

Co-Authored-By: Claude Opus 4.6 (1M context) <noreply@anthropic.com>

Author: hyperpolymath

ada-ecosystem/ada-loom-registry/PROJECT_STATUS.adoc

@@ -257,7 +257,7 @@ cabal build --with-ghc wasm32-wasi-ghc
 * WASM_STATUS.adoc (✅ Ready)
 
 **Community:**
-* Repository: `/var/home/hyper/workspace/projects/to-git/_cccp/ada-loom-registry`
+* Repository: `https://github.com/hyperpolymath/ada-loom-registry`
 * License: PMPL-1.0
 * Contact: See CONTRIBUTING.adoc
 

flake.nix

@@ -0,0 +1,62 @@
+# SPDX-License-Identifier: MPL-2.0
+# (PMPL-1.0-or-later preferred; MPL-2.0 used for ecosystem compatibility)
+# Copyright (c) 2026 Jonathan D.A. Jewell (hyperpolymath)
+#
+# Nix flake development environment for developer-ecosystem.
+# Usage: nix develop
+#
+# Provides tooling for all sub-ecosystems:
+#   ada, coq, deno, idris2, julia, rescript, v-lang, zig
+{
+  description = "Developer ecosystem — multi-language tooling monorepo";
+
+  inputs = {
+    nixpkgs.url = "github:NixOS/nixpkgs/nixos-unstable";
+    flake-utils.url = "github:numtide/flake-utils";
+  };
+
+  outputs = { self, nixpkgs, flake-utils }:
+    flake-utils.lib.eachDefaultSystem (system:
+      let pkgs = nixpkgs.legacyPackages.${system};
+      in {
+        devShells.default = pkgs.mkShell {
+          buildInputs = with pkgs; [
+            # Deno — deno-ecosystem tooling
+            deno
+
+            # Idris2 — idris2-ecosystem and ABI definitions
+            idris2
+
+            # Zig — zig-ecosystem and FFI
+            zig
+
+            # Julia — julia-ecosystem
+            julia
+
+            # Coq — coq-ecosystem formal proofs
+            coqPackages.coq
+
+            # Ada/GNAT — ada-ecosystem
+            gnat
+
+            # ReScript — rescript-ecosystem (via npm/deno)
+            # Note: ReScript installed via deno/npm within rescript-ecosystem
+
+            # V-lang — v-ecosystem protocol implementations
+            vlang
+
+            # OCaml/opam — package tooling
+            ocaml
+            opam
+
+            # Build tooling
+            pkg-config
+            gnumake
+          ];
+
+          shellHook = ''
+            echo "developer-ecosystem dev shell — deno + idris2 + zig + julia + coq + gnat + vlang"
+          '';
+        };
+      });
+}

guix.scm

@@ -0,0 +1,41 @@
+;; SPDX-License-Identifier: MPL-2.0
+;; (PMPL-1.0-or-later preferred; MPL-2.0 used for ecosystem compatibility)
+;; Copyright (c) 2026 Jonathan D.A. Jewell (hyperpolymath)
+;;
+;; Guix development environment for developer-ecosystem.
+;; Usage: guix shell -D -f guix.scm
+;;
+;; This provides tooling for all sub-ecosystems:
+;;   ada, coq, deno, idris2, julia, rescript, v-lang, zig
+
+(use-modules (guix packages)
+             (guix build-system gnu)
+             (gnu packages node)
+             (gnu packages idris)
+             (gnu packages zig)
+             (gnu packages julia)
+             (gnu packages coq)
+             (gnu packages ada)
+             (gnu packages ocaml)
+             (gnu packages pkg-config))
+
+(package
+  (name "developer-ecosystem")
+  (version "0.1.0")
+  (source #f)
+  (build-system gnu-build-system)
+  (native-inputs
+   (list deno
+         idris2
+         zig
+         julia
+         coq
+         gnat
+         opam
+         pkg-config))
+  (synopsis "Hyperpolymath developer ecosystem monorepo")
+  (description
+   "Monorepo containing ecosystem tooling for Ada, Coq, Deno, Idris2,
+Julia, ReScript, V-lang, and Zig sub-ecosystems with shared FFI
+bindings and aggregate library infrastructure.")
+  (license #f))

well-known-ecosystem/kith/.gitignore

@@ -0,0 +1,8 @@
+# SPDX-License-Identifier: PMPL-1.0-or-later
+# Ada/GNAT build artifacts
+obj/
+*.ali
+*.o
+b~*.adb
+b~*.ads
+b~*.ali