Add bounded composable math operations with exact contracts #4778

Job	Run time
static	12s
boundaries (process)	24s
python (domain)	31s
python (composition)	31s
boundaries (mcp)	33s
python (component)	30s
python (unit)	39s
Lean Runtime	-1s
wheel (Python ${{ matrix.python-version }})	0s
Coverage	21s
required	2s
	3m 42s

Navigation Menu