Intent: resolve remaining LANG.md contract contradictions

Resolve remaining LANG.md contract contradictions after Workstream 1.

Open contradictions to fix:

• Implementation Status says data layer primitives (put, get, @*) are planned/not implemented, but Data Store section still says they are language primitives that compile to Python.
• CLI section still documents intent query-holds FILE REL [ARGS...] without the new --kb behavior.
• Key design rules still imply full implementation-vs-spec verification (currently only typecheck + spec satisfiability verification).

Required outcome:

• A reader can determine current guarantees without contradiction.
• CLI docs match actual accepted command forms.
• Verification claims match implemented semantics.