git:20260527.408beea to git:20260531.112973e

2 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. See docs/reference/opengauss-naming.md; for the public Lean exemplar see projects/template_active_inference/lean/.

+ 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; for the public Lean exemplar see projects/templates/template_active_inference/lean/.

---

# Gauss (Lean tooling)

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

- Public Lean boundary exemplar: [`projects/template_active_inference/lean/`](../../../projects/template_active_inference/lean/) (`lake build`).

+ Public Lean boundary exemplar: [`projects/templates/template_active_inference/lean/`](../../../projects/templates/template_active_inference/lean/) (`lake build`).