N0zoM1z0
|
e0bc7fd973
|
fix(hopper): add bounded analysis recovery
|
2026-07-24 00:33:29 +09:00 |
morluto
|
b906defbff
|
fix(capabilities): expose typed availability codes
|
2026-07-23 07:09:16 +00:00 |
|
morluto
|
508a9ccde9
|
feat(javascript): expose bounded semantic tracing
|
2026-07-22 23:22:55 +00:00 |
|
morluto
|
b4df565b77
|
fix(process): bound trace comparison semantics
|
2026-07-23 05:27:49 +08:00 |
|
morluto
|
d81745cb95
|
feat(process): compare declared concurrent traces
|
2026-07-23 05:27:49 +08:00 |
|
morluto
|
3df9a07413
|
feat(process): add direct replay machine runner
|
2026-07-23 03:47:46 +08:00 |
|
morluto
|
34c583a170
|
feat(process): run finite-state replay during capture
|
2026-07-22 14:06:50 +00:00 |
|
morluto
|
513fa294a4
|
feat(process): record provider and verifier run lineage
|
2026-07-22 14:01:47 +00:00 |
|
morluto
|
f5b3e22e72
|
feat(evidence): generate verifier completion ledgers
|
2026-07-22 13:59:19 +00:00 |