git:20260424.c64b351 to git:20260424.e1cd478

4 added, 2 removed. Audit A to A.

---

name: gauss-open-gauss-cli

- description: Open Gauss in this workspace is the math-inc/OpenGauss gauss CLI for Lean session tooling—not Huawei OpenGauss DBMS. Entry docs projects/fep_lean/AGENTS.md; Hermes + SQLite pipeline lives under projects/fep_lean/src/gauss/.

+ description: Open Gauss in this workspace is the math-inc/OpenGauss gauss CLI for Lean session tooling—not Huawei OpenGauss DBMS. See docs/reference/opengauss-naming.md; when projects/fep_lean exists, see projects/fep_lean/AGENTS.md and projects/fep_lean/src/gauss/.

---

# Gauss (Lean tooling)

- Authoritative onboarding: [`projects/fep_lean/AGENTS.md`](../../../projects/fep_lean/AGENTS.md).

+ **Naming:** [Open Gauss vs Huawei DBMS](../../../docs/reference/opengauss-naming.md).

+ When `projects/fep_lean/` is present, onboarding: [`projects/fep_lean/AGENTS.md`](../../../projects/fep_lean/AGENTS.md).