* 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>