I read this as offline QA verification - I will inspect the candidate and test surfaces, run the requested disposable checks, and report evidenced PASS/FAIL/INCONCLUSIVE without modifying or releasing anything.


I have verified the frozen candidate bytes and exact source/tool hashes; I am now exercising the sealed source, bootstrap, type-surface, authority/capability, and observer paths in isolated temporary environments.


The candidate checks are passing; two disposable comparator attempts exposed only expected path-dependent RECORD differences. I am narrowing the comparison to the contract's portable projection core and retaining the raw hashes as audit-only values.


type: cancelled

previous_status: running

reason: Candidate invalidated by non-hermetic Ty attestation and unenforced current authority