release: v0.9.0

[aaltshuler]

Summary

Final release PR for v0.9.0. Documentation only — the workspace has been at 0.9.0 since the version bump; this closes the release-notes gap left by the merges that landed after #449 rewrote them.

• extend docs/releases/v0.9.0.md with the missing user-visible changes: edge property bindings (feat(compiler,engine): edge bindings to filter and project edge properties #447), standalone filter-clause pushdown (Push standalone filter clauses down to the Lance scanner #450), the keyed per-transaction write bound and its Overwrite exemption (fix(loader): preserve bulk overwrite capacity #454), and strict cluster policy-bundle validation (fix(cluster): validate policy bundle semantics #444), plus developer-facing lines for RFC-030/031/032 and the rustfmt baseline
• scope the keyed-write ceiling wording in docs/user/reference/constants.md and docs/user/operations/errors.md to the Append/Merge routes (fix(loader): preserve bulk overwrite capacity #454's doc drift)
• bump the pinned-version install examples from v0.1.0 to v0.9.0

Release plan

Once this merges, the merge commit is the intended target for the annotated v0.9.0 tag (message OmniGraph v0.9.0), which fires release.yml (binaries + Homebrew), publish-crates.yml (first live crates.io publish since 0.7.x, including the first omnigraph-storage release), and publish-image.yml (GHCR + Docker Hub).

Validation

• scripts/check-agents-md.sh (the only local complaints are untracked scratch notes not part of this change)
• docs-only change: the CI text-only classifier applies; no OpenAPI or code surface touched

Greptile Summary

The PR completes the v0.9.0 documentation by recording recently shipped query, write-limit, and cluster-validation behavior and refreshing installation examples.

• Documents edge-property bindings and standalone filter-clause pushdown.
• Clarifies keyed-write ceilings and the Overwrite exemption.
• Records strict cluster policy-bundle validation and developer-facing RFC work.
• Updates pinned installation examples to v0.9.0.

Confidence Score: 5/5

The PR appears safe to merge.

No blocking failure remains.

Important Files Changed

Filename	Overview
docs/releases/v0.9.0.md	Adds missing v0.9.0 features and replaces the previously unexplained C0 shorthand with concrete RFC-030 groundwork.
docs/user/install.md	Updates pinned installation examples from v0.1.0 to v0.9.0.
docs/user/operations/errors.md	Clarifies that keyed write limits apply to mutate and Append/Merge loads but not Overwrite.
docs/user/reference/constants.md	Aligns the keyed-write row-ceiling reference with the documented Overwrite exemption.

_{Reviews (2): Last reviewed commit: "docs(release): name the RFC-030 groundwo..." | Re-trigger Greptile}