Case Studies
Engineering records.
Runtime convergence, deterministic state, verification architecture and recovery hardening.
Case studies
Problem, method, result and evidence boundary.
AVSFT runtime convergence
How persistent identity, authority, state and model portability converged into the AVSFT runtime.
Ghoul runtime host
How repeated lifecycle, supervision, recovery and receipt mechanics became the shared Ghoul host.
Blackbox verification architecture
How receipts, hashing, signatures and release verification are separated and tested.
DSE state integrity
How deterministic engines keep one calculation authority and fail closed on contradiction.
Lazarus recovery & hardening
How damaged or historical state is reconstructed without becoming live authority by accident.