[Constant] Document the properties of value

`value` should be a morphism with some properties. Determine exactly what these are and document them.

No file, test, or entry point is named. Locate the definition and existing documentation for `value`, then determine its morphism properties from the project’s conventions before documenting them; done means the properties are stated precisely and supported by the relevant documentation.

Written by the indexing model from the issue text.