rigortype 0.1.8 → 0.1.10

data/lib/rigor/type/constant.rb

@@ -1,5 +1,6 @@
 # frozen_string_literal: true
 
+require "date"
 require_relative "../trinary"
 
 module Rigor
@@ -24,6 +25,13 @@ module Rigor
         Complex,
         Regexp,
         Pathname,
+        ::Set,
+        # `Date` covers `DateTime` (a subclass). `Time` is core.
+        # Both arise only from deterministic constructor folding
+        # (`Date.new` / `Time.utc`) — there is no Date / Time
+        # literal node — so a `Constant` carrier is always sound.
+        Date,
+        Time,
         TrueClass,
         FalseClass,
         NilClass
@@ -42,12 +50,31 @@ module Rigor
           raise ArgumentError, "Rigor::Type::Constant only carries scalar literals; got #{value.class}"
         end
 
-        @value = value.is_a?(String) ? value.dup.freeze : value
+        @value = freezable_carrier?(value) ? value.dup.freeze : value
         freeze
       end
 
+      # Mutable-ish carriers are stored as a frozen copy so a later
+      # in-place mutation cannot rewrite the literal under us. `Time`
+      # joins `String` / `Set` here: `Time#localtime` mutates the
+      # receiver's zone in place, so the carrier holds a frozen copy
+      # (the catalog also blocklists the mutators). `Date` is already
+      # immutable, but is duped-and-frozen for symmetry.
+      def freezable_carrier?(value)
+        value.is_a?(String) || value.is_a?(::Set) ||
+          value.is_a?(Date) || value.is_a?(Time)
+      end
+
+      # `Date#inspect` / `DateTime#inspect` spell out the internal
+      # astronomical-Julian-day representation, which is unreadable
+      # in a diagnostic. ISO-8601 is the compact, deterministic
+      # form. `Time#inspect` is already compact (`2026-01-01
+      # 00:00:00 UTC`), so it keeps the default.
       def describe(_verbosity = :short)
-        value.inspect
+        case value
+        when Date then value.iso8601
+        else value.inspect
+        end
       end
 
       # RBS supports `Literal` types for booleans, nil, integer

data/lib/rigor/version.rb

@@ -1,5 +1,5 @@
 # frozen_string_literal: true
 
 module Rigor
-  VERSION = "0.1.8"
+  VERSION = "0.1.10"
 end

data/sig/rigor/analysis/baseline.rbs

@@ -0,0 +1,39 @@
+module Rigor
+  module Analysis
+    # ADR-22 Slice 1 — per-project baseline filter.
+    # See lib/rigor/analysis/baseline.rb for the full contract.
+    class Baseline
+      class LoadError < ::StandardError
+      end
+
+      # Load a baseline file from disk.
+      # Returns `nil` when `path` is nil (no baseline configured).
+      # Raises {LoadError} on malformed or unsupported content.
+      def self.load: (::String? path) -> Baseline?
+
+      # Build a baseline from a current run's diagnostic stream.
+      def self.from_diagnostics: (untyped diagnostics, ?match_mode: :rule | :message) -> Baseline
+
+      attr_reader buckets: untyped
+
+      def initialize: (untyped buckets) -> void
+
+      # Apply the baseline filter. Returns [surfaced_diagnostics, silenced_count].
+      def filter: (untyped diagnostics) -> [untyped, ::Integer]
+
+      # Report bucket-level drift for each recorded baseline bucket.
+      def audit: (untyped diagnostics) -> untyped
+
+      # Return a new Baseline with the given buckets removed.
+      def without: (untyped buckets_to_drop) -> Baseline
+
+      # Serialise to a YAML string.
+      def to_yaml: () -> ::String
+
+      # Number of recorded buckets.
+      def size: () -> ::Integer
+
+      def empty?: () -> bool
+    end
+  end
+end

data/sig/rigor/environment.rbs

@@ -15,11 +15,12 @@ module Rigor
     attr_reader hkt_registry: untyped?
 
     def self.default: () -> Environment
-    def self.for_project: (?root: String, ?libraries: Array[String], ?signature_paths: Array[String | _ToPath]?, ?cache_store: untyped?, ?plugin_registry: untyped?, ?dependency_source_index: untyped?, ?rbs_extended_reporter: untyped?, ?boundary_cross_reporter: untyped?, ?bundler_bundle_path: String?, ?bundler_auto_detect: bool, ?synthetic_method_index: untyped?, ?project_patched_methods: untyped?) -> Environment
+    def self.for_project: (?root: String, ?libraries: Array[String], ?signature_paths: Array[String | _ToPath]?, ?cache_store: untyped?, ?plugin_registry: untyped?, ?dependency_source_index: untyped?, ?rbs_extended_reporter: untyped?, ?boundary_cross_reporter: untyped?, ?source_rbs_synthesis_reporter: untyped?, ?bundler_bundle_path: String?, ?bundler_auto_detect: bool, ?synthetic_method_index: untyped?, ?project_patched_methods: untyped?) -> Environment
 
-    def initialize: (?class_registry: ClassRegistry, ?rbs_loader: RbsLoader?, ?plugin_registry: untyped?, ?dependency_source_index: untyped?, ?rbs_extended_reporter: untyped?, ?boundary_cross_reporter: untyped?, ?synthetic_method_index: untyped?, ?project_patched_methods: untyped?) -> void
+    def initialize: (?class_registry: ClassRegistry, ?rbs_loader: RbsLoader?, ?plugin_registry: untyped?, ?dependency_source_index: untyped?, ?rbs_extended_reporter: untyped?, ?boundary_cross_reporter: untyped?, ?source_rbs_synthesis_reporter: untyped?, ?synthetic_method_index: untyped?, ?project_patched_methods: untyped?) -> void
     def rbs_extended_reporter: () -> untyped?
     def boundary_cross_reporter: () -> untyped?
+    def source_rbs_synthesis_reporter: () -> untyped?
     def attach_reporters!: (rbs_extended_reporter: untyped?, boundary_cross_reporter: untyped?) -> nil
     def nominal_for_name: (String | Symbol name) -> Type::Nominal?
     def singleton_for_name: (String | Symbol name) -> Type::Singleton?

data/sig/rigor/type.rbs

@@ -266,6 +266,10 @@ module Rigor
       def self?.non_numeric_string: () -> Refined
       def self?.literal_string_carrier?: (Type::t refined) -> bool
       def self?.literal_string_compatible?: (Type::t type) -> bool
+      def self?.non_empty_string_compatible?: (Type::t type) -> bool
+      def self?.non_empty_string_difference?: (Type::t diff) -> bool
+      def self?.non_zero_int_compatible?: (Type::t type) -> bool
+      def self?.non_zero_int_difference?: (Type::t diff) -> bool
       def self?.intersection: (*Type::t members) -> Type::t
       def self?.non_empty_lowercase_string: () -> Type::t
       def self?.non_empty_uppercase_string: () -> Type::t

data/sig/rigor.rbs

@@ -12,6 +12,8 @@ module Rigor
     attr_reader baseline_path: String?
 
     def self.load: (?String path) -> Configuration
+    def self.discover: () -> String?
+    def self.load_with_includes: (String path, ?visited: Set[String]) -> Hash[String, untyped]
     def initialize: (?Hash[String, untyped] data) -> void
     def to_h: () -> Hash[String, untyped]
   end

metadata

@@ -1,7 +1,7 @@
 --- !ruby/object:Gem::Specification
 name: rigortype
 version: !ruby/object:Gem::Version
-  version: 0.1.8
+  version: 0.1.10
 platform: ruby
 authors:
 - Rigor contributors
@@ -109,6 +109,26 @@ dependencies:
     - - "<"
       - !ruby/object:Gem::Version
         version: '15.0'
+- !ruby/object:Gem::Dependency
+  name: rbs-inline
+  requirement: !ruby/object:Gem::Requirement
+    requirements:
+    - - ">="
+      - !ruby/object:Gem::Version
+        version: '0.5'
+    - - "<"
+      - !ruby/object:Gem::Version
+        version: '1.0'
+  type: :development
+  prerelease: false
+  version_requirements: !ruby/object:Gem::Requirement
+    requirements:
+    - - ">="
+      - !ruby/object:Gem::Version
+        version: '0.5'
+    - - "<"
+      - !ruby/object:Gem::Version
+        version: '1.0'
 - !ruby/object:Gem::Dependency
   name: rspec
   requirement: !ruby/object:Gem::Requirement
@@ -261,10 +281,16 @@ files:
 - lib/rigor/cache/rbs_known_class_names.rb
 - lib/rigor/cache/store.rb
 - lib/rigor/cli.rb
+- lib/rigor/cli/annotate_command.rb
 - lib/rigor/cli/baseline_command.rb
+- lib/rigor/cli/coverage_command.rb
+- lib/rigor/cli/coverage_renderer.rb
+- lib/rigor/cli/coverage_report.rb
 - lib/rigor/cli/diff_command.rb
 - lib/rigor/cli/explain_command.rb
 - lib/rigor/cli/lsp_command.rb
+- lib/rigor/cli/mcp_command.rb
+- lib/rigor/cli/prism_colorizer.rb
 - lib/rigor/cli/sig_gen_command.rb
 - lib/rigor/cli/triage_command.rb
 - lib/rigor/cli/triage_renderer.rb
@@ -317,6 +343,7 @@ files:
 - lib/rigor/inference/builtins/time_catalog.rb
 - lib/rigor/inference/closure_escape_analyzer.rb
 - lib/rigor/inference/coverage_scanner.rb
+- lib/rigor/inference/def_return_typer.rb
 - lib/rigor/inference/expression_typer.rb
 - lib/rigor/inference/fallback.rb
 - lib/rigor/inference/fallback_tracer.rb
@@ -327,19 +354,27 @@ files:
 - lib/rigor/inference/macro_block_self_type.rb
 - lib/rigor/inference/method_dispatcher.rb
 - lib/rigor/inference/method_dispatcher/block_folding.rb
+- lib/rigor/inference/method_dispatcher/cgi_folding.rb
 - lib/rigor/inference/method_dispatcher/constant_folding.rb
 - lib/rigor/inference/method_dispatcher/file_folding.rb
 - lib/rigor/inference/method_dispatcher/iterator_dispatch.rb
 - lib/rigor/inference/method_dispatcher/kernel_dispatch.rb
 - lib/rigor/inference/method_dispatcher/literal_string_folding.rb
+- lib/rigor/inference/method_dispatcher/math_folding.rb
 - lib/rigor/inference/method_dispatcher/method_folding.rb
 - lib/rigor/inference/method_dispatcher/overload_selector.rb
 - lib/rigor/inference/method_dispatcher/rbs_dispatch.rb
 - lib/rigor/inference/method_dispatcher/receiver_affinity.rb
+- lib/rigor/inference/method_dispatcher/regexp_folding.rb
+- lib/rigor/inference/method_dispatcher/set_folding.rb
 - lib/rigor/inference/method_dispatcher/shape_dispatch.rb
+- lib/rigor/inference/method_dispatcher/shellwords_folding.rb
+- lib/rigor/inference/method_dispatcher/time_folding.rb
+- lib/rigor/inference/method_dispatcher/uri_folding.rb
 - lib/rigor/inference/method_parameter_binder.rb
 - lib/rigor/inference/multi_target_binder.rb
 - lib/rigor/inference/narrowing.rb
+- lib/rigor/inference/precision_scanner.rb
 - lib/rigor/inference/project_patched_methods.rb
 - lib/rigor/inference/project_patched_scanner.rb
 - lib/rigor/inference/rbs_type_translator.rb
@@ -364,6 +399,9 @@ files:
 - lib/rigor/language_server/signature_help_provider.rb
 - lib/rigor/language_server/synchronized_writer.rb
 - lib/rigor/language_server/uri.rb
+- lib/rigor/mcp.rb
+- lib/rigor/mcp/loop.rb
+- lib/rigor/mcp/server.rb
 - lib/rigor/plugin.rb
 - lib/rigor/plugin/access_denied_error.rb
 - lib/rigor/plugin/base.rb
@@ -378,8 +416,10 @@ files:
 - lib/rigor/plugin/macro/heredoc_template.rb
 - lib/rigor/plugin/macro/trait_registry.rb
 - lib/rigor/plugin/manifest.rb
+- lib/rigor/plugin/protocol_contract.rb
 - lib/rigor/plugin/registry.rb
 - lib/rigor/plugin/services.rb
+- lib/rigor/plugin/source_rbs_synthesis_reporter.rb
 - lib/rigor/plugin/trust_policy.rb
 - lib/rigor/plugin/type_node_resolver.rb
 - lib/rigor/rbs_extended.rb
@@ -437,6 +477,7 @@ files:
 - lib/rigor/type_node/union.rb
 - lib/rigor/version.rb
 - sig/rigor.rbs
+- sig/rigor/analysis/baseline.rbs
 - sig/rigor/analysis/check_rules/always_truthy_condition_collector.rbs
 - sig/rigor/analysis/check_rules/dead_assignment_collector.rbs
 - sig/rigor/analysis/dependency_source_inference/gem_resolver.rbs