raiv 0.0.1

Bounded reproducible checkpoints for agent behavioral continuity.
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86

//! Atomic working-Memory object merge; no registration, admission or persistence.

use super::{schema, Memory, PatchArguments};
use crate::{
    format::{merge_map_field, CodecError, DecodeLimits, ModelValue, ValueView},
    limits::Limits,
};
use core::fmt;

#[derive(Clone, Copy, Debug, Eq, PartialEq)]
pub enum PatchError {
    Codec(CodecError),
    EntryLimit,
    InvalidArguments,
    PlaneNotMap,
    NullInArray,
}
impl From<CodecError> for PatchError {
    fn from(error: CodecError) -> Self {
        Self::Codec(error)
    }
}
impl fmt::Display for PatchError {
    fn fmt(&self, f: &mut fmt::Formatter<'_>) -> fmt::Result {
        f.write_str(match self {
            Self::Codec(error) => return error.fmt(f),
            Self::EntryLimit => "patch exceeds aggregate entry limit",
            Self::InvalidArguments => "patch arguments must be the object patch itself",
            Self::PlaneNotMap => "plane patch must be an object or null",
            Self::NullInArray => "replacement array data contains null",
        })
    }
}
impl core::error::Error for PatchError {
    fn source(&self) -> Option<&(dyn core::error::Error + 'static)> {
        match self {
            Self::Codec(error) => Some(error),
            _ => None,
        }
    }
}
impl Memory {
    /// Apply canonical model-CBOR representing the JSON object patch itself.
    /// Null deletes object fields; arrays replace; empty object fields normalize.
    /// Failure preserves bytes/CID/assignment. This does not debit work, register
    /// a capability, authorize a disabled profile or create a checkpoint.
    ///
    /// ```
    /// use raiv::{format::DecodeLimits, limits::Limits, memory::Memory};
    /// let mut memory = Memory::encode(&[], &DecodeLimits::default())?;
    /// let complete = memory.apply_patch(&[0xa0], &Limits::default())?;
    /// assert_eq!(complete, &[0xa0]); // Enabled empty memory, not Finish.
    /// # Ok::<(), Box<dyn std::error::Error>>(())
    /// ```
    pub fn apply_patch(&mut self, bytes: &[u8], limits: &Limits) -> Result<&[u8], PatchError> {
        PatchArguments::decode(bytes, limits)?.apply(self)
    }
    pub(super) fn patched(
        &self,
        patch: ValueView<'_>,
        limits: &Limits,
    ) -> Result<Self, PatchError> {
        let bounds = DecodeLimits {
            max_block_bytes: limits.max_block_bytes.min(limits.max_memory_bytes),
            max_depth: limits.max_depth,
            max_collection_entries: limits.max_collection_entries,
        };
        crate::format::validate_model_value(self.as_bytes(), &bounds)?;
        let bytes = merge_map_field(
            ValueView::preflighted(self.as_bytes()),
            "value",
            patch,
            &bounds,
            super::plane,
        )?;
        let block = ModelValue::from_encoded(bytes, &bounds)?;
        let value_span = schema(block.as_bytes()).map_err(|error| match error {
            super::MemoryError::Codec(error) => error,
            _ => CodecError::Malformed,
        })?;
        Ok(Self { block, value_span })
    }
}

#[cfg(test)]
mod tests;