Checking policy#

SpaceCore spaces can validate membership before operations. Checks are attached to spaces and run only when Context.enable_checks is true.

import spacecore as sc

ctx = sc.Context(sc.NumpyOps(), dtype="float64", enable_checks=True)
X = sc.VectorSpace((3,), ctx=ctx)

x = X.ctx.asarray([1.0, 2.0, 3.0])
X.check_member(x)

Built-in checks#

Validation categories

  • backend family and dense array representation

  • shape

  • dtype

  • square matrix structure

  • Hermitian matrix structure

  • product tuple structure and component validity

Where checks run#

Spaces call check_member inside operations such as add, inner, flatten, and apply. Linear operators call domain and codomain checks before apply and rapply when checking is enabled.

For exploratory use, enabled checks produce clearer errors. For tight numerical loops, disabled checks reduce validation overhead.

Inferred checking policy#

When a context is inferred from several source objects, the inferred enable_checks flag is the conjunction of the source flags:

\[\texttt{enable\_checks} = \bigwedge_i \texttt{ctx}_i.\texttt{enable\_checks}.\]

In other words, inferred checks remain enabled only if all source contexts have checks enabled. If any source context has checks disabled, the inferred context also disables checks.

The default enable_checks value used by the context manager is False.