daemonic_error 1.0.0

Errors that compose, predict, and leave receipts - Compose: algebraic combination (in active development) - Predict: Glass/Severity - Receipts: audit trail, position, checksum - Reflection: Runtime Reflection through TopologySegment (in active development) 
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

use core::marker::PhantomData;
use crate::daemonic::glass::Glass;
use crate::{Annotation, DaemonicError, ObservationTier, Severity, Temporal, TopologySegment};

/// Faithful but uninterpretable by current observer.
/// Information exists behind the glass but can't be seen through.
/// The Black glass protocol's external face.
pub trait GlassOpaque<GLASS>: Glass<GLASS> + for<'error> DaemonicError<'error> {
	/// Why can't the observer see through?
	fn opacity_reason(&self) -> &str;
	
	/// What type of observer COULD see through?
	fn required_capability(&self) -> Option<&str> {
		None
	}
}
/// Annotation on an Opaque observation.
/// "You can't see through, but someone who can left you a note."
pub trait OpaqueAnnotation<GLASS>: GlassOpaque<GLASS> {
	fn annotation(&self) -> &str;
	
	/// Description from an observer who COULD see through.
	/// This is the note slipped under the Black glass.
	fn insider_description(&self) -> Option<&str> { None }
}