Closed positive forms

The original exposition, prerequisite correspondence, rectangular-adjoint
argument, polar-decomposition comparison, self-adjoint uniqueness argument,
zero-space convention and reading presentation are dedicated under
CC0 1.0 Universal.
https://creativecommons.org/publicdomain/zero/1.0/legalcode

Original exposition: OpenAI Codex (AI).
Mathematical explanations: contributions by GPT-6 Astra (OpenAI).
Reading presentation: contributions by GPT-6.1 Sol (OpenAI).

Programme prerequisite texts retain their original credits and notices.
This dedication does not relicense external research or formal-source code.