Expand description
Shared raised-exception contract for guest runtimes.
A guest obtains a class from its declared class descriptor, constructs
[Raised], selects handlers through [match_raised_class], and stores
recursive guest relations as stable edges in [ManagedException].
Structs§
- Class
Match Budget - Finite work allowance passed unchanged to the class-relation provider.
- Class
Match Evidence - Inspectable proof retained from a bounded subclass query.
- Exception
Graph Budget - Maximum number of relation edges admitted to one graph projection.
- Exception
Graph Edge - One caller-typed relation in a bounded graph view.
- Exception
Graph View - Terminating graph projection with explicit loss reporting.
- Managed
Exception - A guest exception payload with caller-defined relation roles.
- Raised
- The one language-neutral exceptional-completion envelope.
- Raised
Browse Budget - Explicit byte budget for rendering a raised payload into a browse face.
- Raised
Browse Projection - Result of a bounded raised-envelope browse projection.
- Raised
Shape - Shape for the non-recursive
Raisedobject and its read-construct face.
Enums§
- Bounded
Subclass Outcome - Exact result supplied by a bounded class-relation provider such as CLASS_2.
- Class
Match Outcome - Exact outcome of bounded handler class selection.
Functions§
- match_
raised_ class - Matches a raised class using bounded subclass evidence and explicit policy.