PtcRunner.Kernel.Attestation (PtcRunner v0.14.0)

Copy Markdown View Source

Internal in-VM construction attestation for sealed Kernel values.

This detects accidental or caller-authored struct mutation across trusted construction boundaries. It is not a security boundary against trusted code running in the same VM.

Summary

Functions

attest(owner, payload)

@spec attest(module(), term()) :: binary()

valid?(owner, payload, attestation)

@spec valid?(module(), term(), term()) :: boolean()