docs: reposition as the live rules engine for AI agents - #243

Repositions the repo around the category approved on 2026-10-04: the live rules engine for AI agents, h1 "Take the rules out of your prompts.", bold line "Your agents act on what's true now." (source: gtm-tagline report §2–4 and §9, with the challenger's factual fixes applied).

What changed

• README.md: the first screen follows report §4.2: category line, h1, bold line, definition, Replaces/Keeps, Where it sits, the hero, the no-model caption and the scope line. Below the fold follows §4.5: what it does, how it recovers, the stack line ("Models think. InputLayer knows." moves here), what you delete, before/after table, the agent loop with a model, proof points, get started/SDKs, IQL under the hood, ontologies, who it is for.
• Unshipped API is labelled. The hero uses subscribe()/claim() (SDK phase 1, not merged) and sits under an "upcoming SDK" note. A new What runs today section shows the same rule on today's Python SDK, the WebSocket standing query and its deltas, and the engine's .why proof.
• Challenger fixes applied: workflow-id dedupe moves to Keeps (Temporal's workflow id becomes the claim key). Replaces names "already handled" rows and claimed_by columns; TTL locks are left to WorkQueue leases in phase 3. Crons that wait on time keep a clock writer. Staleness is an explicit lease guard. kg.why() from Python is not shown as working; the engine's .why is. Also: "when", not "the moment"; the scope line says "in progress (draft)" and links feat(protocol): share evaluations across standing queries that differ only in bound constants, and cache their plans #232; no "carries a proof"; no "one per tenant".
• SDKs: Python README intro rewritten. TypeScript SDK README added (it was missing from files). pyproject and package.json descriptions and keywords updated.
• Other places the category appears: the Cargo description and keywords (5, the crates.io limit), the inputlayer-server --help banner, docs/README.md and the docs landing page docs/content/index.mdx.

Verification

Run against a main-equivalent engine (c166f94 binary) in a scratch lab:

• The README "What runs today" Python block, extracted verbatim, printed late/killed/restored as shown.
• A .subscribe needs ?check_needed(Order, Shipment) session got a snapshot, then a delta retracting the row on +kill_switch and one re-inserting it on -kill_switch.
• .why ?check_needed("ORD-4821", S) returned the proof tree that is abridged in the README.
• The JS README quick start, extracted verbatim and run against a tarball built with npm pack and installed with npm install inputlayer@file:…, printed the rows shown in its comments.
• The flights example's output is now in the order the engine returns. The il subcommands work and il search lists consistency-core.
• Every inputlayer.ai docs link returns 200. ghcr.io/inputlayer/inputlayer:latest resolves. cargo metadata passes, and the pyproject and package.json files parse.

Removed or redirected links

• The "Flagship Guide" link (inputlayer.ai/blog/building-a-voice-agent-that-knows/) returned 404, because the post is unpublished (docs(blog): redraw the voice-agent architecture figure with InputLayer as the hub #228), so it is dropped.
• The ingestion guide returns 404 on the site, so the README links the repo file instead.
• The "WebSocket API Docs" entry pointed at the configuration page; it now points at websocket-api.

Not in this PR

• The website (front/, report §4.6) still uses the old category in about a dozen places.
• The GitHub repo description still says "Live knowledge graph for AI agents" (repo settings).

Found while verifying (SDK, not changed here)

• JS AND() on main takes two arguments and silently drops the rest. A multi-condition rule compiles with its later conditions missing. The JS README nests AND. feat(inputlayer-js): add guarded programs, claim() and any()/NOT(any()) existence checks #240 makes AND variadic.
• Python kg.why(Derived) returns a shallow tree (a query-wrapper fact), and kg.why(Cls, key=…) raises (known; challenger item 5).