Expand description
Research-only Semantics v3 prototype.
This module is intentionally disconnected from public alpha.4 learn/check, baseline and verdict paths. It prototypes proposition-scoped proof semantics before any public schema integration is considered.
Structs§
Enums§
- Causal
Binding - Completeness
Dimension - Completeness
State - FdTable
Relation State - Identity
Basis - Observation
Point - Proposition
- Temporal
Binding