9 Commits

Include renames

Author	SHA1	Message	Date
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