KOKO\Mimi 685f5e6a82 Reduce MITC4 Jet product scratch stack storage

2026-10-21 08:42:06 +09:00

..

integration

Add MITC4 drilling diagnostics output and comparison contract

2026-10-20 09:45:58 +09:00

reference

Add MITC4 drilling diagnostics output and comparison contract

2026-10-20 09:45:58 +09:00

unit

Reduce MITC4 Jet product scratch stack storage

2026-10-21 08:42:06 +09:00

AGENTS.md

modify repository

2026-10-18 14:32:55 +09:00

CMakeLists.txt

test: add immutable shell Jet baseline oracle

2026-10-21 07:04:15 +09:00

test_compare_hex8.py

Integrate Refactor solver sources and dual MSVC CMake builds

2026-10-18 02:10:51 +09:00

test_compare_hht_dynamic.py

Add MITC4 drilling diagnostics output and comparison contract

2026-10-20 09:45:58 +09:00

test_cpp_policy_contract.py

test: preserve Dev verification contracts through Refactor APIs

2026-10-18 02:26:08 +09:00