Documentation by YARD 0.9.45

Alphabetic Index

File Listing

README

Namespace Listing A-Z

AST (Rigor)
Acceptance (Rigor::Inference)
AcceptanceRouter (Rigor::Type)
AcceptsResult (Rigor::Type)
AccessDeniedError (Rigor::Plugin)
Accumulator (Rigor::Effects::Collector)
Accumulator (Rigor::Analysis::DependencyRecorder)
Accumulator (Rigor::Analysis::SelfCallResolutionRecorder)
AdditionalInitializer (Rigor::Plugin)
AlwaysTruthyConditionCollector (Rigor::Analysis::CheckRules)
Analysis (Rigor)
AnnotateCommand (Rigor::CLI)
AnonymousClassName (Rigor::Type)
AnonymousMetaClass (Rigor::Inference)
App (Rigor::Type)
AppRef (Rigor::Inference::HktBody)
ArrayToHFolding (Rigor::Inference::MethodDispatcher)
AssertEffect (Rigor::RbsExtended)
Attribution (Rigor::Effects)

Base (Rigor::Plugin)
Baseline (Rigor::Analysis)
Baseline (Rigor::Protection::ClosureKillOracle)
BaselineCommand (Rigor::CLI)
BleedingEdge (Rigor)
BlockAsMethod (Rigor::Plugin::Macro)
BlockFolding (Rigor::Inference::MethodDispatcher)
BlockParameterBinder (Rigor::Inference)
Blueprint (Rigor::Plugin)
BodyFixpoint (Rigor::Inference)
Bot (Rigor::Type)
BoundMethod (Rigor::Type)
BoundaryCrossReporter (Rigor::Analysis::DependencySourceInference)
Box (Rigor::Plugin)
Bucket (Rigor::Analysis::Baseline)
BudgetTrace (Rigor::Inference)
BufferBinding (Rigor::Analysis)
BufferPoolDispatcher (Rigor::Analysis::Runner)
BufferResolution (Rigor::LanguageServer)
BufferTable (Rigor::LanguageServer)
BuildState (Rigor::Analysis::DependencySourceInference::Builder)
Builder (Rigor::Analysis::DependencySourceInference)
Builtins (Rigor)
Builtins (Rigor::Inference)
BundleSigDiscovery (Rigor::Environment)

CGIFolding (Rigor::Inference::MethodDispatcher)
CLI (Rigor)
Cache (Rigor)
CallContext (Rigor::Inference::MethodDispatcher)
CallRecord (Rigor::Effects::Collector)
Candidate (Rigor::Analysis::Reachability::Graph)
Capture (Rigor::Analysis::DependencyRecorder)
Catalog (Rigor::Effects)
CatalogEntry (Rigor::Analysis::DependencySourceInference::Walker)
Catalogue (Rigor::Triage)
ChainKey (Rigor::Scope)
CheckCommand (Rigor::CLI)
CheckInvocation (Rigor::CLI)
CheckRules (Rigor::Analysis)
CheckRunnerFactory (Rigor::CLI)
Checkstyle (Rigor::CLI::DiagnosticFormats)
CiDetector (Rigor)
ClassEntry (Rigor::Effects::Catalog)
ClassFrame (Rigor::Inference::StatementEvaluator)
ClassMethods (Rigor::ValueSemantics)
ClassRegistry (Rigor::Environment)
Classification (Rigor::SigGen)
ClosureEscapeAnalyzer (Rigor::Inference)
ClosureKillOracle (Rigor::Protection)
Collector (Rigor::Effects)
CollectorDriver (Rigor::Analysis::CheckRules::RuleWalk)
Combinator (Rigor::Type)
Command (Rigor::CLI)
CompletionProvider (Rigor::LanguageServer)
Conditional (Rigor::Inference::HktBody)
ConfigAudit (Rigor)
ConfigEntry (Rigor::Cache::Descriptor)
ConfigEnvelopes (Rigor::Effects)
Configuration (Rigor)
ConfigurationError (Rigor)
Conflict (Rigor::Cache::Descriptor)
Conflict (Rigor::Plugin::FactStore)
Conflict (Rigor::FlowContribution)
ConformanceChecker (Rigor::RbsExtended)
Constant (Rigor::Type)
ConstantFolding (Rigor::Inference::MethodDispatcher)
ConstantPath (Rigor::Source)
ConstantTypeCacheHolder (Rigor::Environment)
Consumption (Rigor::Plugin::Manifest)
Context (Rigor::Analysis::CheckRules::RuleWalk)
Contribution (Rigor::Plugin::Registry)
Contribution (Rigor::Analysis::Reachability::PluginRoots)
ContributionIndex (Rigor::Plugin)
Coverage (Rigor::Environment::RbsCoverageReport)
CoverageAccumulator (Rigor::CLI)
CoverageCommand (Rigor::CLI)
CoverageMutation (Rigor::CLI)
CoverageRenderer (Rigor::CLI)
CoverageReport (Rigor::CLI)
CoverageScan (Rigor::CLI)
CoverageScanner (Rigor::Inference)

DataClass (Rigor::Type)
DataFolding (Rigor::Inference::MethodDispatcher)
DataInstance (Rigor::Type)
DeadAssignmentCollector (Rigor::Analysis::CheckRules)
Debouncer (Rigor::LanguageServer)
Declaration (Rigor::Analysis::Reachability::Scan)
DeclarationPosition (Rigor::Analysis::Runner)
DeclarationSourcedGuard (Rigor::Analysis::CheckRules)
DefHandle (Rigor::Inference)
DefNodeResolver (Rigor::Inference)
DefReturnTyper (Rigor::Inference)
DefaultHttpClient (Rigor::Plugin)
Definition (Rigor::Inference::HktRegistry)
Dependencies (Rigor::Configuration)
DependencyClosure (Rigor::Protection)
DependencyEntry (Rigor::Cache::Descriptor)
DependencyRecorder (Rigor::Analysis)
DependencySourceInference (Rigor::Analysis)
Descriptor (Rigor::Cache)
Destructure (Rigor::Inference)
Diagnostic (Rigor::Analysis)
DiagnosticAggregator (Rigor::Analysis::Runner)
DiagnosticFormats (Rigor::CLI)
DiagnosticOracle (Rigor::Protection)
DiagnosticPublisher (Rigor::LanguageServer)
DiffCommand (Rigor::CLI)
Difference (Rigor::Type)
Direct (Rigor::Plugin::Isolation)
Discharge (Rigor::Effects)
Discovery (Rigor::Analysis::Runner::ProjectPrePasses)
DiscoveryIndex (Rigor::Scope)
DiscoverySeed (Rigor::Protection)
DocsCommand (Rigor::CLI)
DoctorCommand (Rigor::CLI)
DocumentSymbolProvider (Rigor::LanguageServer)
DriftRow (Rigor::Analysis::Baseline)
DuplicateHashKeyCollector (Rigor::Analysis::CheckRules)
Dynamic (Rigor::Type)
DynamicOrigin (Rigor::Inference)
DynamicUse (Rigor::Analysis::Reachability::Scan)

Edge (Rigor::Effects::PluginFacts)
Edge (Rigor::Effects::FileCollection)
EffectAncestry (Rigor::Plugin)
EffectAnnotation (Rigor::RbsExtended)
EffectAnnotationResidualPass (Rigor::Analysis::Runner)
EffectAttribution (Rigor::Plugin)
EffectEdge (Rigor::Plugin)
EffectEntryPoints (Rigor::Plugin)
EffectEnvelopePass (Rigor::Analysis::Runner)
EffectTable (Rigor::Effects)
Effects (Rigor)
EffectsCommand (Rigor::CLI)
EffectsDiffRenderer (Rigor::CLI)
EffectsExplainRenderer (Rigor::CLI)
EffectsRenderer (Rigor::CLI)
EffectsReport (Rigor::CLI)
EffectsSnapshotCommand (Rigor::CLI)
Element (Rigor::FlowContribution)
Emit (Rigor::Plugin::Macro::HeredocTemplate)
EngineSource (Rigor::Cache)
Entry (Rigor::Effects::Catalog)
Entry (Rigor::Effects::Snapshot)
Entry (Rigor::Effects::EffectTable)
Entry (Rigor::SignaturePathAudit)
Entry (Rigor::Analysis::RuleCatalog)
Entry (Rigor::Effects::ConfigEnvelopes)
Entry (Rigor::Configuration::Dependencies)
Entry (Rigor::LanguageServer::BufferTable)
Entry (Rigor::Inference::ProjectPatchedMethods)
Entry (Rigor::Plugin::SourceRbsSynthesisReporter)
Entry (Rigor::Analysis::DependencySourceInference::BoundaryCrossReporter)
EntryPoints (Rigor::Effects)
Envelope (Rigor::Effects)
EnvelopeCheck (Rigor::Effects)
EnvelopeIndex (Rigor::Effects)
EnvelopeMessages (Rigor::Analysis::Runner)
EnvelopeScanner (Rigor::RbsExtended)
Environment (Rigor)
ErbTemplateDetector (Rigor::Analysis)
Error (Rigor::Effects::Catalog)
Error (Rigor::Effects::Registry)
Error (Rigor::Effects::EntryPoints)
Event (Rigor::Effects::SnapshotDiff)
Event (Rigor::Inference::FlowTracer)
ExplainCommand (Rigor::CLI)
ExpressionTyper (Rigor::Inference)

Fact (Rigor::Plugin::FactStore)
Fact (Rigor::Analysis::FactStore)
Fact (Rigor::FlowContribution)
FactStore (Rigor::Plugin)
FactStore (Rigor::Analysis)
Fallback (Rigor::Inference)
FallbackTracer (Rigor::Inference)
Feature (Rigor::BleedingEdge)
FileCollection (Rigor::Effects)
FileDigest (Rigor::Cache)
FileEffectiveness (Rigor::CLI)
FileEntry (Rigor::Cache::Descriptor)
FileFolding (Rigor::Inference::MethodDispatcher)
FileProtection (Rigor::CLI)
FileResult (Rigor::Inference::PrecisionScanner)
FileResult (Rigor::Protection::MutationScanner)
FileResult (Rigor::Inference::ProtectionScanner)
Finding (Rigor::Effects::LiskovCheck)
Finding (Rigor::Effects::EnvelopeCheck)
Finding (Rigor::Effects::UnknownLabelCheck)
FirstParty (Rigor::Plugin)
FlowContribution (Rigor)
FlowTracer (Rigor::Inference)
FoldingRangeProvider (Rigor::LanguageServer)
ForkMap (Rigor::Inference)
FrameworkUnits (Rigor::Effects)
FuelExhausted (Rigor::Inference::HktReducer)
FusedFileProtection (Rigor::CLI)
FusedFileResult (Rigor::Protection::MutationScanner)
FusedProtectionAccumulator (Rigor::CLI)
FusedProtectionRenderer (Rigor::CLI)
FusedProtectionReport (Rigor::CLI)
FusedSite (Rigor::Protection::MutationScanner)

GemEntry (Rigor::Cache::Descriptor)
GemResolver (Rigor::Analysis::DependencySourceInference)
Generator (Rigor::SigGen)
Generic (Rigor::TypeNode)
GithubActions (Rigor::CLI::DiagnosticFormats)
GitlabCodeQuality (Rigor::CLI::DiagnosticFormats)
GlobEntry (Rigor::Cache::Descriptor)
Graph (Rigor::Analysis::Reachability)

HashShape (Rigor::Type)
HeredocTemplate (Rigor::Plugin::Macro)
Hint (Rigor::Triage)
HktBody (Rigor::Inference)
HktBodyParser (Rigor::Inference)
HktBuiltins (Rigor::Builtins)
HktDirectives (Rigor::RbsExtended)
HktReducer (Rigor::Inference)
HktRegistry (Rigor::Inference)
HktRegistryHolder (Rigor::Environment)
Hotspot (Rigor::Triage)
HoverProvider (Rigor::LanguageServer)
HoverRenderer (Rigor::LanguageServer)

Identifier (Rigor::TypeNode)
Identity (Rigor::Effects)
ImportedRefinements (Rigor::Builtins)
IncompatibleSignature (Rigor::RbsExtended::ConformanceChecker)
Incremental (Rigor::Analysis)
IncrementalSession (Rigor::Analysis)
IncrementalSnapshot (Rigor::Cache)
IncrementalSync (Rigor::LanguageServer)
Index (Rigor::Effects::Propagator)
Index (Rigor::Analysis::DependencySourceInference)
IndexedAccess (Rigor::TypeNode)
IndexedKey (Rigor::Scope)
IndexedNarrowing (Rigor::Inference)
Inference (Rigor)
InferredParamGuard (Rigor::Analysis::CheckRules)
Inflector (Rigor::Plugin)
InlineAnchor (Rigor::Effects)
IntegerLiteral (Rigor::TypeNode)
IntegerRange (Rigor::Type)
Intersection (Rigor::Type)
InvalidLabelError (Rigor::Effects::Registry)
Invocation (Rigor::CLI::CheckInvocation)
IoBoundary (Rigor::Plugin)
Isolation (Rigor::Plugin)
IteratorDispatch (Rigor::Inference::MethodDispatcher)
IvarWriteCollector (Rigor::Analysis::CheckRules)

Jit (Rigor::Runtime)
Junit (Rigor::CLI::DiagnosticFormats)

KernelDispatch (Rigor::Inference::MethodDispatcher)
KillSignature (Rigor::Protection)

Label (Rigor::Effects)
LabelIntent (Rigor::Effects)
LabelSet (Rigor::Effects)
LanguageServer (Rigor)
LayoutIndex (Rigor::SigGen)
LineTypeCollector (Rigor::CLI)
LiskovCheck (Rigor::Effects)
LiteralStringFolding (Rigor::Inference::MethodDispatcher)
Literals (Rigor::Source)
LoadError (Rigor::Analysis::Baseline)
LoadError (Rigor::Plugin)
Loader (Rigor::Plugin)
LocalOwnership (Rigor::Effects)
LocatedEvent (Rigor::CLI::TypeScanCommand)
Location (RBS)
LockedGem (Rigor::Environment::LockfileResolver)
LockfileResolver (Rigor::Environment)
Loop (Rigor::MCP)
Loop (Rigor::LanguageServer)
LossyProjectionEntry (Rigor::RbsExtended::Reporter)
LspCommand (Rigor::CLI)

MCP (Rigor)
Macro (Rigor::Plugin)
MacroBlockSelfType (Rigor::Inference)
MainPassCollector (Rigor::Analysis::CheckRules)
Manifest (Rigor::Plugin)
MathFolding (Rigor::Inference::MethodDispatcher)
McpCommand (Rigor::CLI)
Member (Rigor::SigGen::MetaClassShape)
MemberShapeProjection (Rigor::Inference::MethodDispatcher)
MergeResult (Rigor::FlowContribution)
Merger (Rigor::FlowContribution)
MetaClassShape (Rigor::SigGen)
MethodCandidate (Rigor::SigGen)
MethodCatalog (Rigor::Inference::Builtins)
MethodDispatcher (Rigor::Inference)
MethodEffectResolver (Rigor::Inference::ScopeIndexer)
MethodFolding (Rigor::Inference::MethodDispatcher)
MethodKey (Rigor::Effects)
MethodParameterBinder (Rigor::Inference)
MissedBreakage (Rigor::CLI)
MissingGemConstantIndex (Rigor::Environment)
MultiTargetBinder (Rigor::Inference)
Mutation (Rigor::Protection)
MutationCache (Rigor::Protection)
MutationClassifier (Rigor::Effects)
MutationForkScan (Rigor::CLI)
MutationProtectionAccumulator (Rigor::CLI)
MutationProtectionRenderer (Rigor::CLI)
MutationProtectionReport (Rigor::CLI)
MutationScanner (Rigor::Protection)
MutationWidening (Rigor::Inference)
Mutator (Rigor::Protection)

NameScope (Rigor::TypeNode)
Namespace (RBS)
Narrowing (Rigor::Effects)
Narrowing (Rigor::Inference)
NestedClassTemplate (Rigor::Plugin::Macro)
Node (Prism)
Node (Rigor::AST)
NodeChildren (Rigor::Source)
NodeContext (Rigor::Plugin)
NodeLocator (Rigor::Source)
NodeRuleWalk (Rigor::Plugin)
NodeWalker (Rigor::Source)
Nominal (Rigor::Type)
NominalApp (Rigor::Inference::HktBody)
NumericCatalog (Rigor::Inference::Builtins)

ObservationCollector (Rigor::SigGen)
ObservedCall (Rigor::SigGen)
OptimisticOrigin (Rigor::Inference)
Options (Rigor::CLI)
Origin (Rigor::Effects)
OriginLookup (Rigor::Inference)
OutOfRangeError (Rigor::Source::NodeLocator)
Outcome (Rigor::CLI::CheckInvocation)
Outcome (Rigor::Analysis::DependencySourceInference::Walker)
OverloadSelector (Rigor::Inference::MethodDispatcher)
OwnershipError (Rigor::Effects::Registry)

Param (Rigor::Inference::HktBody)
ParamOverride (Rigor::RbsExtended)
ParamType (Rigor::Plugin::ProtocolContract)
ParameterArgTypes (Rigor::Inference)
ParameterInferenceCollector (Rigor::Inference)
ParseError (Rigor::Effects::Snapshot)
ParseError (Rigor::CLI::MutationForkScan)
ParseError (Rigor::CLI::ProtectionForkScan)
ParseError (Rigor::Inference::HktBodyParser)
Parser (Rigor::Inference::HktBodyParser)
Path (Rigor::Effects::PathFinder)
PathExpansion (Rigor::Analysis)
PathFinder (Rigor::Effects)
PathMapper (Rigor::SigGen)
Payload (Rigor::Cache::IncrementalSnapshot)
PlainLattice (Rigor::Type)
Platform (Rigor::CiDetector)
Plugin (Rigor)
PluginCommand (Rigor::CLI)
PluginEntry (Rigor::Cache::Descriptor)
PluginFactFingerprint (Rigor::Analysis)
PluginFacts (Rigor::Effects)
PluginRoots (Rigor::Analysis::Reachability)
PluginsCommand (Rigor::CLI)
PluginsRenderer (Rigor::CLI)
PoolCoordinator (Rigor::Analysis::Runner)
Positions (Rigor::Effects::EnvelopeCheck)
PreEvalConstants (Rigor::Inference)
PrecisionScanner (Rigor::Inference)
PredefinedConstantRefinements (Rigor::Builtins)
PredicateEffect (Rigor::RbsExtended)
Prism
PrismColorizer (Rigor::CLI)
ProbeEnvironment (Rigor::CLI)
Process (Rigor::Plugin::Isolation)
ProjectContext (Rigor::LanguageServer)
ProjectFiles (Rigor::Analysis::Reachability)
ProjectPatchedMethods (Rigor::Inference)
ProjectPatchedScanner (Rigor::Inference)
ProjectPrePasses (Rigor::Analysis::Runner)
ProjectScan (Rigor::Analysis)
ProjectStateProbe (Rigor::CLI)
Propagator (Rigor::Effects)
Protection (Rigor)
ProtectionAccumulator (Rigor::CLI)
ProtectionForkScan (Rigor::CLI)
ProtectionRenderer (Rigor::CLI)
ProtectionReport (Rigor::CLI)
ProtectionScanner (Rigor::Inference)
ProtocolContract (Rigor::Plugin)
Provenance (Rigor::FlowContribution)
PublishBatcher (Rigor::LanguageServer)

RBS
RbsCacheProducer (Rigor::Cache)
RbsClassAncestorTable (Rigor::Cache)
RbsClassTypeParamNames (Rigor::Cache)
RbsCollectionDiscovery (Rigor::Environment)
RbsConstantTable (Rigor::Cache)
RbsCoverageReport (Rigor::Environment)
RbsDescriptor (Rigor::Cache)
RbsDispatch (Rigor::Inference::MethodDispatcher)
RbsEnvironment (Rigor::Cache)
RbsExtended (Rigor)
RbsHierarchy (Rigor::Environment)
RbsKnownClassNames (Rigor::Cache)
RbsLoader (Rigor::Environment)
RbsTypeTranslator (Rigor::Inference)
RbsValidity (Rigor::SigGen)
Reachability (Rigor::Analysis)
ReadSet (Rigor::Analysis::DependencyRecorder)
ReceiverAffinity (Rigor::Inference::MethodDispatcher)
ReceiverAlias (Rigor::Inference)
Recheck (Rigor::Analysis::IncrementalSession)
Record (Rigor::Analysis::DependencyRecorder)
Record (Rigor::Analysis::SelfCallResolutionRecorder)
Recorder (Rigor::Inference::FlowTracer)
ReduceFolding (Rigor::Inference::MethodDispatcher)
Reference (Rigor::Analysis::Reachability::Scan)
Reference (Rigor::Analysis::Reachability::PluginRoots)
Refined (Rigor::Type)
Reflection (Rigor::Environment)
Reflection (Rigor)
RegexRefinement (Rigor::Builtins)
RegexpFolding (Rigor::Inference::MethodDispatcher)
Registration (Rigor::Inference::HktRegistry)
Registry (Rigor::Plugin)
Registry (Rigor::Effects)
Renderable (Rigor::CLI)
Renderer (Rigor::SigGen)
Report (Rigor::Triage)
Report (Rigor::CLI::SkillDeepProbe)
Report (Rigor::CLI)
Report (Rigor::Analysis::Reachability::Graph)
Reporter (Rigor::RbsExtended)
Reporters (Rigor::Environment)
Resolved (Rigor::Analysis::DependencySourceInference::GemResolver)
ResolverChain (Rigor::TypeNode)
Result (Rigor::Analysis)
Result (Rigor::CLI::TypeOfCommand)
Result (Rigor::Plugin::NodeRuleWalk)
Result (Rigor::Analysis::Reachability::Scan)
Result (Rigor::Inference::CoverageScanner)
Result (Rigor::RbsExtended::EnvelopeScanner)
Result (Rigor::Analysis::PluginFactFingerprint)
Result (Rigor::Inference::ProjectPatchedScanner)
Result (Rigor::Analysis::Runner::ProjectPrePasses)
Result (Rigor::Analysis::CheckRules::VoidValueUseCollector)
Result (Rigor::Analysis::CheckRules::ShadowedRescueCollector)
Result (Rigor::Analysis::CheckRules::UnreachableClauseCollector)
Result (Rigor::Analysis::CheckRules::AlwaysTruthyConditionCollector)
ReturnInEnsureCollector (Rigor::Analysis::CheckRules)
ReturnTypeHeuristic (Rigor::Analysis::DependencySourceInference)
ReturnsFromArg (Rigor::Plugin::Macro::HeredocTemplate)
Rigor
Row (Rigor::CLI::EffectsReport)
Row (Rigor::Effects::PluginFacts)
Row (Rigor::CLI::EffectsExplainRenderer)
RubyBox (Rigor::Plugin::Isolation)
RuleCatalog (Rigor::Analysis)
RuleCount (Rigor::Triage)
RuleWalk (Rigor::Analysis::CheckRules)
RunCacheKey (Rigor::Analysis)
RunCacheProbe (Rigor::Analysis)
RunDescriptor (Rigor::Cache::RbsDescriptor)
RunSnapshots (Rigor::Analysis::Runner)
RunStats (Rigor::Analysis)
Runner (Rigor::Analysis)
Runtime (Rigor)

Sampling (Rigor::Protection::MutationCache)
Sarif (Rigor::CLI::DiagnosticFormats)
Scan (Rigor::Analysis::Reachability)
ScanAccumulator (Rigor::CLI::TypeScanCommand)
Scanner (Rigor::Effects)
Scope (Rigor)
ScopeIndexer (Rigor::Inference)
SelectionRangeProvider (Rigor::LanguageServer)
Selector (Rigor::Triage)
SelfCallResolutionRecorder (Rigor::Analysis)
SelfClosednessScanner (Rigor::Analysis::CheckRules)
Server (Rigor::MCP)
Server (Rigor::LanguageServer)
Services (Rigor::Plugin)
SetFolding (Rigor::Inference::MethodDispatcher)
SeverityProfile (Rigor::Configuration)
SeverityStamp (Rigor::Analysis)
ShadowedRescueCollector (Rigor::Analysis::CheckRules)
Shape (Rigor::SigGen::MetaClassShape)
ShapeDispatch (Rigor::Inference::MethodDispatcher)
ShellwordsFolding (Rigor::Inference::MethodDispatcher)
ShowBleedingedgeCommand (Rigor::CLI)
SigGen (Rigor)
SigGenCommand (Rigor::CLI)
SignatureHelpProvider (Rigor::LanguageServer)
SignaturePathAudit (Rigor)
SignatureScan (Rigor::Analysis::Reachability)
SignatureSources (Rigor::Effects)
Singleton (Rigor::Type)
SingletonFolding (Rigor::Inference::MethodDispatcher)
SingletonObjectConstant (Rigor::Inference)
Site (Rigor::Inference::ProtectionScanner)
SkillCommand (Rigor::CLI)
SkillDeepProbe (Rigor::CLI)
SkillDescribe (Rigor::CLI)
Snapshot (Rigor::Effects)
SnapshotDiff (Rigor::Effects)
Source (Rigor)
SourceRbsSynthesisReporter (Rigor::Plugin)
State (Rigor::Inference::HktReducer)
StatementEvaluator (Rigor::Inference)
StaticReturnRefinements (Rigor::Builtins)
Store (Rigor::Cache)
StringLiteral (Rigor::TypeNode)
StructClass (Rigor::Type)
StructFoldSafety (Rigor::Inference)
StructFolding (Rigor::Inference::MethodDispatcher)
StructInstance (Rigor::Type)
Summary (Rigor::Triage)
Summary (Rigor::Effects)
SurvivingSite (Rigor::Protection::MutationScanner)
SymbolLiteral (Rigor::TypeNode)
SynchronizedWriter (Rigor::LanguageServer)
SyntheticMethod (Rigor::Inference)
SyntheticMethodIndex (Rigor::Inference)
SyntheticMethodScanner (Rigor::Inference)

TaintCause (Rigor::Effects)
Target (Rigor::Analysis::FactStore)
Task (Rigor::LanguageServer::Debouncer)
Teamcity (Rigor::CLI::DiagnosticFormats)
TestEquality (Rigor::Inference::HktBody)
TestMembership (Rigor::Inference::HktBody)
TestSubtype (Rigor::Inference::HktBody)
TestSuiteOracle (Rigor::Protection)
Testing (Rigor)
TimeFolding (Rigor::Inference::MethodDispatcher)
Token (Rigor::Inference::HktBodyParser)
Tokenizer (Rigor::Inference::HktBodyParser)
Top (Rigor::Type)
Totals (Rigor::CLI::EffectsReport)
TraceCommand (Rigor::CLI)
TraceRenderer (Rigor::CLI)
TraitRegistry (Rigor::Plugin::Macro)
Triage (Rigor)
TriageCommand (Rigor::CLI)
TriageRenderer (Rigor::CLI)
Trinary (Rigor)
TrustPolicy (Rigor::Plugin)
Tuple (Rigor::Type)
Type (Rigor)
TypeElaborator (Rigor::SigGen)
TypeLeaf (Rigor::Inference::HktBody)
TypeName (RBS)
TypeNode (Rigor::AST)
TypeNode (Rigor)
TypeNodeResolver (Rigor::Plugin)
TypeOfCommand (Rigor::CLI)
TypeOfRenderer (Rigor::CLI)
TypeScanCommand (Rigor::CLI)
TypeScanRenderer (Rigor::CLI)

URIFolding (Rigor::Inference::MethodDispatcher)
UnappliableChange (Rigor::LanguageServer::IncrementalSync)
Unavailable (Rigor::Plugin::Inflector)
Unavailable (Rigor::Plugin::Isolation)
Unavailable (Rigor::Cache::EngineSource)
Undecidable (Rigor::Analysis::Reachability::Graph)
Union (Rigor::Type)
Union (Rigor::TypeNode)
Union (Rigor::Inference::HktBody)
UnitScan (Rigor::Effects)
UnknownLabelCheck (Rigor::Effects)
UnknownLabelReport (Rigor::Effects)
UnknownPreset (Rigor::Effects::EntryPoints)
UnprotectedBreakage (Rigor::CLI)
UnreachableClauseCollector (Rigor::Analysis::CheckRules)
UnrenderableMethod (Rigor::SigGen::Generator)
Unresolvable (Rigor::Analysis::DependencySourceInference::GemResolver)
UnresolvedEntry (Rigor::RbsExtended::Reporter)
UnresolvedInterface (Rigor::RbsExtended::ConformanceChecker)
UnresolvedSelfCall (Rigor::Analysis::SelfCallResolutionRecorder)
Unsatisfied (Rigor::RbsExtended::ConformanceChecker)
UntypedCall (Rigor::CLI)
UnusedCommand (Rigor::CLI)
UpgradeCommand (Rigor::CLI)
Uri (Rigor::LanguageServer)

ValueSemantics (Rigor)
VoidOrigin (Rigor::Inference)
VoidTailSummary (Rigor::Inference)
VoidValueUseCollector (Rigor::Analysis::CheckRules)

Walker (Rigor::Analysis::Reachability::Scan)
Walker (Rigor::Analysis::DependencySourceInference)
Warning (Rigor::ConfigAudit)
WorkerSession (Rigor::Analysis)
WriteResult (Rigor::SigGen)
Writer (Rigor::SigGen)

XmlEscaping (Rigor::CLI::DiagnosticFormats)

_CacheProducer (Rigor::Cache)
_DispatchTier (Rigor::Inference::MethodDispatcher)
_Type (Rigor::Type)