baram2584/FESADev
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity
467 Commits 1 Branch 1 Tag
d6ebbe97333de62bf095840f93ac394cee2355fb
Commit Graph

4 Commits

Author SHA1 Message Date
KOKO\Mimi 0cc2737212 docs(thermal): record dof and independent time-grid evidence 2026-09-29 19:17:49 +09:00
KOKO\Mimi 878a71bd96 build(thermal): register semantic sources and verification evidence 2026-09-29 18:51:05 +09:00
KOKO\Mimi 8a4284c7a0 docs(thermal): record independent numerical contract verification 2026-09-29 18:23:36 +09:00
KOKO\Mimi 8d8718dacf docs(thermal): record full pre-implementation baseline and reference hashes 2026-09-29 18:20:26 +09:00