SZLHOLDINGS/szl-governed-norm
Updated • 171 • 1
Governed Kernels & Verifiers
Kernel software packages and their live/holographic demo surfaces. Cards govern algorithms, hashes, readiness, and proof scope; inclusion is not produ
Note Maturity: SOFTWARE_PACKAGE. Navigation only; no capability promotion.
SZLHOLDINGS/szl-lambda-gate
Updated • 59Note Maturity: SOFTWARE_PACKAGE. Navigation only; no capability promotion.
SZLHOLDINGS/szl-kernels
Updated • 96Note Maturity: SOFTWARE_PACKAGE. Navigation only; no capability promotion.
SZLHOLDINGS/szl-blocked
Updated • 1Note Maturity: SOFTWARE_PACKAGE. Navigation only; no capability promotion.
SZLHOLDINGS/szl-govsign
UpdatedNote Maturity: SOFTWARE_PACKAGE. Navigation only; no capability promotion.
SZLHOLDINGS/szl-provctl
UpdatedNote Maturity: SOFTWARE_PACKAGE. Navigation only; no capability promotion.
SZLHOLDINGS/szl-invariants
Updated • 2Note Maturity: SOFTWARE_PACKAGE. Navigation only; no capability promotion.
-
SZLHOLDINGS/governed-inference-meter
Updated -
SZLHOLDINGS/szl-khipu-kernels
Updated -
SZLHOLDINGS/szl-khipu
Updated