chore(developer-ecosystem): absorb dnfinition, drop uninitialized template scaffolds

dnfinition previously had its own .git dir inside this monorepo, violating the
"no .git dirs in monorepo subdirs" rule. GitHub origin was 404. Absorbing
as a regular monorepo subdirectory and dropping the uninitialized
src/abi/ + ffi/zig/ template scaffolds ({{project}} placeholders never
substituted; not wired into any build).

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

Author: hyperpolymath

dnfinition/.claude/CLAUDE.md

@@ -0,0 +1,83 @@
+## Machine-Readable Artefacts
+
+The following files in `.machine_readable/` contain structured project metadata:
+
+- `STATE.scm` - Current project state and progress
+- `META.scm` - Architecture decisions and development practices
+- `ECOSYSTEM.scm` - Position in the ecosystem and related projects
+- `AGENTIC.scm` - AI agent interaction patterns
+- `NEUROSYM.scm` - Neurosymbolic integration config
+- `PLAYBOOK.scm` - Operational runbook
+
+---
+
+# CLAUDE.md - AI Assistant Instructions
+
+## Language Policy (Hyperpolymath Standard)
+
+### ALLOWED Languages & Tools
+
+| Language/Tool | Use Case | Notes |
+|---------------|----------|-------|
+| **ReScript** | Primary application code | Compiles to JS, type-safe |
+| **Deno** | Runtime & package management | Replaces Node/npm/bun |
+| **Rust** | Performance-critical, systems, WASM | Preferred for CLI tools |
+| **Tauri 2.0+** | Mobile apps (iOS/Android) | Rust backend + web UI |
+| **Dioxus** | Mobile apps (native UI) | Pure Rust, React-like |
+| **Gleam** | Backend services | Runs on BEAM or compiles to JS |
+| **Bash/POSIX Shell** | Scripts, automation | Keep minimal |
+| **JavaScript** | Only where ReScript cannot | MCP protocol glue, Deno APIs |
+| **Nickel** | Configuration language | For complex configs |
+| **Guile Scheme** | State/meta files | STATE.scm, META.scm, ECOSYSTEM.scm |
+| **Julia** | Batch scripts, data processing | Per RSR |
+| **OCaml** | AffineScript compiler | Language-specific |
+| **Ada** | Safety-critical systems | Where required |
+
+### BANNED - Do Not Use
+
+| Banned | Replacement |
+|--------|-------------|
+| TypeScript | ReScript |
+| Node.js | Deno |
+| npm | Deno |
+| Bun | Deno |
+| pnpm/yarn | Deno |
+| Go | Rust |
+| Python | Julia/Rust/ReScript |
+| Java/Kotlin | Rust/Tauri/Dioxus |
+| Swift | Tauri/Dioxus |
+| React Native | Tauri/Dioxus |
+| Flutter/Dart | Tauri/Dioxus |
+
+### Mobile Development
+
+**No exceptions for Kotlin/Swift** - use Rust-first approach:
+
+1. **Tauri 2.0+** - Web UI (ReScript) + Rust backend, MIT/Apache-2.0
+2. **Dioxus** - Pure Rust native UI, MIT/Apache-2.0
+
+Both are FOSS with independent governance (no Big Tech).
+
+### Enforcement Rules
+
+1. **No new TypeScript files** - Convert existing TS to ReScript
+2. **No package.json for runtime deps** - Use deno.json imports
+3. **No node_modules in production** - Deno caches deps automatically
+4. **No Go code** - Use Rust instead
+5. **No Python anywhere** - Use Julia for data/batch, Rust for systems, ReScript for apps
+6. **No Kotlin/Swift for mobile** - Use Tauri 2.0+ or Dioxus
+
+### Package Management
+
+- **Primary**: Guix (guix.scm)
+- **Fallback**: Nix (flake.nix)
+- **JS deps**: Deno (deno.json imports)
+
+### Security Requirements
+
+- No MD5/SHA1 for security (use SHA256+)
+- HTTPS only (no HTTP URLs)
+- No hardcoded secrets
+- SHA-pinned dependencies
+- SPDX license headers on all files
+

dnfinition/.editorconfig

@@ -0,0 +1,69 @@
+# SPDX-License-Identifier: AGPL-3.0-or-later
+# dnfinition - Editor Configuration
+# https://editorconfig.org
+
+root = true
+
+[*]
+charset = utf-8
+end_of_line = lf
+indent_size = 2
+indent_style = space
+insert_final_newline = true
+trim_trailing_whitespace = true
+
+[*.md]
+trim_trailing_whitespace = false
+
+[*.adoc]
+trim_trailing_whitespace = false
+
+[*.rs]
+indent_size = 4
+
+[*.ex]
+indent_size = 2
+
+[*.exs]
+indent_size = 2
+
+[*.zig]
+indent_size = 4
+
+[*.ada]
+indent_size = 3
+
+[*.adb]
+indent_size = 3
+
+[*.ads]
+indent_size = 3
+
+[*.hs]
+indent_size = 2
+
+[*.res]
+indent_size = 2
+
+[*.resi]
+indent_size = 2
+
+[*.ncl]
+indent_size = 2
+
+[*.rkt]
+indent_size = 2
+
+[*.scm]
+indent_size = 2
+
+[*.nix]
+indent_size = 2
+
+[Justfile]
+indent_style = space
+indent_size = 4
+
+[justfile]
+indent_style = space
+indent_size = 4

dnfinition/.gitattributes

@@ -0,0 +1,54 @@
+# SPDX-License-Identifier: AGPL-3.0-or-later
+# dnfinition .gitattributes
+
+* text=auto eol=lf
+
+# Source
+*.rs    text eol=lf diff=rust
+*.ex    text eol=lf diff=elixir
+*.exs   text eol=lf diff=elixir
+*.jl    text eol=lf
+*.res   text eol=lf
+*.resi  text eol=lf
+*.ada   text eol=lf diff=ada
+*.adb   text eol=lf diff=ada
+*.ads   text eol=lf diff=ada
+*.hs    text eol=lf
+*.chpl  text eol=lf
+*.scm   text eol=lf
+*.ncl   text eol=lf
+*.nix   text eol=lf
+
+# Docs
+*.md    text eol=lf diff=markdown
+*.adoc  text eol=lf
+*.txt   text eol=lf
+
+# Data
+*.json  text eol=lf
+*.yaml  text eol=lf
+*.yml   text eol=lf
+*.toml  text eol=lf
+
+# Config
+.gitignore     text eol=lf
+.gitattributes text eol=lf
+justfile       text eol=lf
+Makefile       text eol=lf
+Containerfile  text eol=lf
+
+# Scripts
+*.sh   text eol=lf
+
+# Binary
+*.png   binary
+*.jpg   binary
+*.gif   binary
+*.pdf   binary
+*.woff2 binary
+*.zip   binary
+*.gz    binary
+
+# Lock files
+Cargo.lock  text eol=lf -diff
+flake.lock  text eol=lf -diff

dnfinition/.githooks/pre-commit

@@ -0,0 +1,49 @@
+#!/bin/bash
+# SPDX-License-Identifier: AGPL-3.0-or-later
+# Pre-commit hook for dnfinition quality checks
+
+set -e
+
+echo "Running pre-commit checks..."
+
+# Check for SPDX headers in new/modified Ada files
+ADA_FILES=$(git diff --cached --name-only --diff-filter=ACM | grep -E '\.(ads|adb)$' || true)
+if [ -n "$ADA_FILES" ]; then
+    for f in $ADA_FILES; do
+        if ! head -3 "$f" | grep -q "SPDX-License-Identifier"; then
+            echo "Missing SPDX header: $f"
+            exit 1
+        fi
+    done
+fi
+
+# Check for SPDX headers in new/modified Elixir files
+EX_FILES=$(git diff --cached --name-only --diff-filter=ACM | grep -E '\.(ex|exs)$' || true)
+if [ -n "$EX_FILES" ]; then
+    for f in $EX_FILES; do
+        if ! head -3 "$f" | grep -q "SPDX-License-Identifier"; then
+            echo "Missing SPDX header: $f"
+            exit 1
+        fi
+    done
+fi
+
+# Check for unpinned GitHub Actions in workflows
+WF_FILES=$(git diff --cached --name-only --diff-filter=ACM | grep -E '\.github/workflows/.*\.yml$' || true)
+if [ -n "$WF_FILES" ]; then
+    for f in $WF_FILES; do
+        if grep -qE 'uses:.*@v[0-9]+$' "$f"; then
+            echo "Unpinned GitHub Action in $f - use SHA instead of version tag"
+            exit 1
+        fi
+    done
+fi
+
+# Check for hardcoded secrets patterns
+SECRETS=$(git diff --cached --diff-filter=ACM -U0 | grep -E '^\+.*[Pp]assword.*=.*["\x27]' | head -1 || true)
+if [ -n "$SECRETS" ]; then
+    echo "Potential hardcoded password detected!"
+    exit 1
+fi
+
+echo "Pre-commit checks passed"

dnfinition/.github/FUNDING.yml

@@ -0,0 +1,7 @@
+# SPDX-License-Identifier: MPL-2.0-or-later
+# Funding platforms for hyperpolymath projects
+# See: https://docs.github.com/en/repositories/managing-your-repositorys-settings-and-features/customizing-your-repository/displaying-a-sponsor-button-in-your-repository
+
+github: hyperpolymath
+ko_fi: hyperpolymath
+liberapay: hyperpolymath

dnfinition/.github/ISSUE_TEMPLATE/bug_report.md

@@ -0,0 +1,38 @@
+---
+name: Bug report
+about: Create a report to help us improve
+title: "[Bug]: "
+labels: 'bug, priority: unset, triage'
+assignees: ''
+
+---
+
+**Describe the bug**
+A clear and concise description of what the bug is.
+
+**To Reproduce**
+Steps to reproduce the behavior:
+1. Go to '...'
+2. Click on '....'
+3. Scroll down to '....'
+4. See error
+
+**Expected behavior**
+A clear and concise description of what you expected to happen.
+
+**Screenshots**
+If applicable, add screenshots to help explain your problem.
+
+**Desktop (please complete the following information):**
+ - OS: [e.g. iOS]
+ - Browser [e.g. chrome, safari]
+ - Version [e.g. 22]
+
+**Smartphone (please complete the following information):**
+ - Device: [e.g. iPhone6]
+ - OS: [e.g. iOS8.1]
+ - Browser [e.g. stock browser, safari]
+ - Version [e.g. 22]
+
+**Additional context**
+Add any other context about the problem here.

dnfinition/.github/ISSUE_TEMPLATE/custom.md

@@ -0,0 +1,10 @@
+---
+name: Custom issue template
+about: Describe this issue template's purpose here.
+title: ''
+labels: ''
+assignees: ''
+
+---
+
+

dnfinition/.github/ISSUE_TEMPLATE/documentation.md

@@ -0,0 +1,66 @@
+---
+name: Documentation
+about: Report unclear, missing, or incorrect documentation
+title: "[DOCS]: "
+labels: 'documentation, priority: unset, triage'
+assignees: ''
+
+---
+
+name: Documentation
+description: Report unclear, missing, or incorrect documentation
+title: "[Docs]: "
+labels: ["documentation", "triage"]
+body:
+  - type: markdown
+    attributes:
+      value: |
+        Help us improve our documentation by reporting issues or gaps.
+
+  - type: dropdown
+    id: type
+    attributes:
+      label: Documentation issue type
+      options:
+        - Missing (documentation doesn't exist)
+        - Incorrect (information is wrong)
+        - Unclear (confusing or hard to follow)
+        - Outdated (no longer accurate)
+        - Typo or grammar
+    validations:
+      required: true
+
+  - type: input
+    id: location
+    attributes:
+      label: Location
+      description: Where is this documentation? (URL, file path, or section name)
+      placeholder: README.adoc, section "Installation"
+    validations:
+      required: true
+
+  - type: textarea
+    id: description
+    attributes:
+      label: Description
+      description: What's the problem with the current documentation?
+      placeholder: Describe what's wrong or missing
+    validations:
+      required: true
+
+  - type: textarea
+    id: suggestion
+    attributes:
+      label: Suggested improvement
+      description: How should it be fixed or improved?
+      placeholder: The documentation should say...
+    validations:
+      required: false
+
+  - type: checkboxes
+    id: contribution
+    attributes:
+      label: Contribution
+      options:
+        - label: I would be willing to submit a PR to fix this
+          required: false