Known Gaps (honest) — tracking issue

[hyperpolymath]

The repo's honest Known Gaps (.claude/CLAUDE.md + .machine_readable/6a2/STATE.a2ml [blockers-and-issues]) are aggregated here for tracking, per the 2026-06-13 estate checkpoint (#34). None are regressions — all are documented incomplete work, surfaced from inline notes into an actionable tracker.

Build/runtime gaps

• WASM: bump allocator defined but not wired (no GC in linear memory)
• LLVM: rt-native static library exists, automatic linking not wired (manual today)
• Runtime metrics not wired to real OS metrics (except RSS memory on Linux)
• Package registry server stub exists but not deployed
• No measured benchmarks (all current performance claims are projections)

Echo follow-ons (post-#32/#33)

• functorial echo_map + (graded co)functor laws as conformance tests
• lift EchoThermo.v discrete shadow toward real-valued k·T·ln2; connect to ShadowPrices.v

Refs: STATE.a2ml [critical-next-actions], THEORY.md §5.5, formal/coq/src/EchoThermo.v.

Filed during the 2026-06-13 estate reconciliation checkpoint.
https://claude.ai/code/session_01PWMMxryCcPrAjJ8tuGvygG