Struct DeterminismGuard 

pub struct DeterminismGuard { /* private fields */ }

Verifies transformations under one proxy trace id.

Implementations

impl DeterminismGuard

pub fn new(request_id: impl Into<String>) -> Self

pub fn verify(&self, before: &[Value], after: &[Value]) -> DeterminismProof

Produces a proof for the supplied request id.

pub fn verify_forwarded( &self, before: &[Value], after: &[Value], sent: Option<&SentPrefix>, ) -> DeterminismProof

Verifies after against what the proxy already forwarded for this conversation (sent, from prefix_replay::sent_prefix).

The provider cached the bytes the proxy sent, not the client’s: the protected prefix is the run of leading messages the client sent unchanged since the last forward, and each of them must leave exactly as it left then. A message forwarded for the first time — the newest tool result — is new content and may be rewritten; a content- deterministic rewrite then leaves the same bytes on every later turn. Where the client changed or dropped a message (a rewind, another conversation with the same opening) the protected prefix ends there.

Assumption: a conversation the proxy has not forwarded (sent is None: its first turn, or the first after a proxy restart) holds no provider cache made through this proxy, so nothing is protected. Once a forwarded prefix is known, a differing byte in it fails closed — except where it first differs at a message long-session elision rewrote this turn (session_elide, once per stride).

frozen_bytes counts the canonical bytes of the protected messages that leave unchanged; modification_start_byte is where after first differs from before. The prefix hashes cover the per-message hashes of the protected prefix as forwarded then and as forwarded now.

Trait Implementations

impl Clone for DeterminismGuard

fn clone(&self) -> Self

Returns a duplicate of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl Debug for DeterminismGuard

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.