Proofs
58 documents tagged proofs.
- Cortex.Graph.Laws
- Cortex.Graph.Quotient
- Cortex.Graph.Relation
- Cortex.Graph.Safety
- Cortex.Pulse.Classify
- Cortex.Pulse.Closure
- Cortex.Pulse.DAG
- Cortex.Pulse.Fact
- Cortex.Pulse.Frontier
- Cortex.Pulse.Recovery
- Cortex.Pulse.RunSafety
- Cortex.Pulse.State
- Cortex.Pulse.Validity
- Cortex.Wire.ActualizedBridge
- Cortex.Wire.Admission
- Cortex.Wire.AdmissionArtifact.Boundary
- Cortex.Wire.AdmissionArtifact.Check
- Cortex.Wire.AdmissionArtifact.Generated
- Cortex.Wire.AdmissionArtifact.GeneratedReconstruction
- Cortex.Wire.AdmissionArtifact.Phantom
- Cortex.Wire.AdmissionArtifact.PhantomReconstruction
- Cortex.Wire.AdmissionArtifact.Primitive
- Cortex.Wire.AdmissionArtifact.PrimitiveReconstruction
- Cortex.Wire.AdmissionArtifact.PrimitiveTraceCheck
- Cortex.Wire.AdmissionArtifact.ReadyGeneral
- Cortex.Wire.AdmissionArtifact.ReadyGenerated
- Cortex.Wire.AdmissionArtifact.ReadyPhantom
- Cortex.Wire.AdmissionArtifact.ReadyPhantomBridge
- Cortex.Wire.AdmissionArtifact.ReadyPrimitiveRows
- Cortex.Wire.AdmissionArtifact.ReadySelect
- Cortex.Wire.AdmissionArtifact.ReadySelectBridge
- Cortex.Wire.AdmissionArtifact.ReadySummary
- Cortex.Wire.AdmissionArtifact.Select
- Cortex.Wire.AdmissionArtifact.SelectReconstruction
- Cortex.Wire.AdmissionArtifact.Sound
- Cortex.Wire.AdmissionArtifact.StaticValue
- Cortex.Wire.AdmissionArtifact.ValidatorCore
- Cortex.Wire.AdmissionArtifact.ValidatorCoreCheck
- Cortex.Wire.BoundaryResource
- Cortex.Wire.ElaborationIR
- Cortex.Wire.FrontierReclaim
- Cortex.Wire.GeneratedForms
- Cortex.Wire.GraphElaboration
- Cortex.Wire.Make
- Cortex.Wire.NodeBoundary
- Cortex.Wire.PhantomAdapter
- Cortex.Wire.Planner
- Cortex.Wire.Planner.Chain
- Cortex.Wire.Planner.Construction
- Cortex.Wire.PortLinearity
- Cortex.Wire.PulseSafety
- Cortex.Wire.Pure
- Cortex.Wire.Registry
- Cortex.Wire.Rewrite
- Cortex.Wire.RunTrace
- Cortex.Wire.Select
- Cortex.Wire.SelectAdmission
- Cortex.Wire.SelectRecovery