Claude/add ordinal notation layer 9qh sf (#3)

* Add CLAUDE.md ecosystem context for session bootstrapping

Documents adjacent hyperpolymath / PanLL projects so every session
starts with the same mental map instead of being re-explained.
Includes TODO placeholders for Burble, VQL-UT, and the Groove
protocol pending operator-supplied descriptions.

https://claude.ai/code/session_01DDGQFBtAT9JdRwmu25QzC2

* Fill in Burble, VCL-UT, Groove ecosystem entries in CLAUDE.md

Descriptions sourced from the panll repo and the hyperpolymath
org's public project docs. The operator-supplied "VQL-UT" name
has been recorded as likely VCL-UT (now VCL-total), with a
reconcile-spelling note rather than a silent correction.

https://claude.ai/code/session_01DDGQFBtAT9JdRwmu25QzC2

* Drop VCL-UT spelling reconcile note (confirmed by operator)

https://claude.ai/code/session_01DDGQFBtAT9JdRwmu25QzC2

* Record ephapax as hyperpolymath ecosystem member

Linear-type WebAssembly language at hyperpolymath/ephapax.
Added as a separate entry; the Echidna-vs-ephapax question
(whether ephapax fills the Echidna role) remains open.

https://claude.ai/code/session_01DDGQFBtAT9JdRwmu25QzC2

* Add echo-types one-liner to ecosystem list

Mirrors the bullet format used for every other hyperpolymath
member so future sessions see echo-types alongside its siblings
rather than only in the "this repo" section further down.

https://claude.ai/code/session_01DDGQFBtAT9JdRwmu25QzC2

* Add ArghDA MVP design spec

Parks the proof-workspace-manager design in-tree until ArghDA
gets its own repo. Covers: core/panll split, four-state triage
file-move machine (inbox/working/proven/rejected), Agda-first
linter rules targeting the silent-failure class, DAG JSON
schema, first-sprint ordering, and acceptance criteria against
echo-types itself as the seed workspace.

https://claude.ai/code/session_01DDGQFBtAT9JdRwmu25QzC2

* Scaffold arghda-core v0.1 with two linter rules

Rust crate parked at echo-types/arghda-core/ until it gets its
own repo. Implements the v0.1 surface from docs/arghda-spec.adoc:

- Workspace struct with four-state (inbox/working/proven/rejected)
  filesystem-backed layout; init() and open() are idempotent
- notify-based filesystem watcher helper
- LintRule trait + LintContext with include_root and entry_module
- missing-safe-pragma rule: scans the head of each file for both
  --safe and --without-K, emits hard-block if either is missing
- orphan-module rule: builds the transitive import closure starting
  from All.agda (tolerating stdlib modules as silent absent files),
  hard-blocks any .agda file outside that closure
- CLI (arghda): init, scan --json, watch
- Smoke test asserts the echo-types Agda suite passes both rules
  at the current commit (19 files, 0 hard-blocks)

https://claude.ai/code/session_01DDGQFBtAT9JdRwmu25QzC2

---------

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

Author: hyperpolymath