Expand description
§oxide-conservation
Conservation law verification for GPU computations.
Checks that energy, mass, and information are conserved across kernel boundaries using ternary verification results:
+1→ conserved (exact match)0→ approximate (within epsilon)-1→ violated (exceeds threshold)
Structs§
- Alert
- An alert raised when cumulative drift exceeds the budget threshold.
- Conservation
Budget - Tracks cumulative conservation drift across multiple kernel executions.
- Conservation
Monitor - Monitors conservation of tracked quantities across kernel boundaries.
- Verification
Result - Result of a single conservation verification.
Enums§
- Conservation
Law - Kinds of conservation laws that can be verified.
- Ternary
- Ternary verification result for conservation checks.