rigortype 0.3.5 → 0.3.6

data/lib/rigor/version.rb

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

data/skills/rigor-ci-setup/SKILL.md

@@ -168,9 +168,9 @@ The exact recipe (the `BUNDLE_GEMFILE` wiring, the Dependabot entry) is in
   `rigor docs ci` (ready files: `rigor docs --list manual | grep
   ci-templates`). Web fallback, before Rigor is installed:
   <https://github.com/rigortype/rigor/blob/master/docs/manual/11-ci.md>.
-- [ADR-51](https://github.com/rigortype/rigor/blob/master/docs/adr/51-ci-diagnostic-output-formats.md)
+- [ADR-51](../../docs/adr/51-ci-diagnostic-output-formats.md)
   — the output-format surface (the severity / identifier contract).
-- [ADR-27](https://github.com/rigortype/rigor/blob/master/docs/adr/27-tool-distribution-model.md)
+- [ADR-27](../../docs/adr/27-tool-distribution-model.md)
   — why Rigor installs standalone and runs in its own job.
 - [reviewdog](https://github.com/reviewdog/reviewdog) /
   [action-setup](https://github.com/reviewdog/action-setup).

data/skills/rigor-editor-setup/SKILL.md

@@ -24,7 +24,7 @@ rigor docs editor-integration
 ```
 
 (Web fallback, only before Rigor is installed:
-**[Rigor LSP — Editor Integration](https://github.com/rigortype/rigor/blob/master/docs/manual/09-editor-integration.md)**.)
+**[Rigor LSP — Editor Integration](../../docs/manual/09-editor-integration.md)**.)
 This skill is the *workflow* around it (identify the editor → apply the
 manual's snippet → verify), so it does not duplicate (and cannot
 stale-out) the config details.
@@ -62,7 +62,7 @@ Every editor snippet simply launches **`rigor lsp`** (stdio) and needs
 **`rigor` on the editor's `PATH`** — the same executable `rigor check`
 uses. For GUI editors that do not inherit your shell, the `mise` shim
 path is the most reliable channel (see `rigor docs install`, or
-[Installing Rigor](https://github.com/rigortype/rigor/blob/master/docs/install.md)
+[Installing Rigor](../../docs/install.md)
 on the web). Do **not** add `rigortype` to the project's `Gemfile` — it
 is a tool, not a library.
 

data/skills/rigor-mcp-setup/SKILL.md

@@ -26,7 +26,7 @@ rigor docs mcp-server
 ```
 
 (Web fallback, only before Rigor is installed:
-**[Rigor MCP Server — AI Agent Integration](https://github.com/rigortype/rigor/blob/master/docs/manual/10-mcp-server.md)**.)
+**[Rigor MCP Server — AI Agent Integration](../../docs/manual/10-mcp-server.md)**.)
 This skill is the *workflow* around it (identify the client → apply the
 manual's snippet → verify the handshake), so it does not duplicate (and
 cannot stale-out) the config details.
@@ -70,7 +70,7 @@ Every client config simply launches **`rigor mcp`** (stdio) and needs
 **`rigor` on the agent's `PATH`** — the same executable `rigor check`
 uses. For agents that do not inherit your shell, the `mise` shim path is
 the most reliable channel (see `rigor docs install`, or
-[Installing Rigor](https://github.com/rigortype/rigor/blob/master/docs/install.md)
+[Installing Rigor](../../docs/install.md)
 on the web). Do **not** add `rigortype` to the project's `Gemfile` — it
 is a tool, not a library.
 

data/skills/rigor-monkeypatch-resolve/SKILL.md

@@ -14,7 +14,7 @@ When a project adds methods to existing classes in its own files — the
 classic `lib/core_ext/*.rb` `class String; def squish; …; end` pattern —
 Rigor does not see them unless told to, so every call to the added method
 fires `call.undefined-method` (or `call.unresolved-toplevel` for a
-top-level helper). `pre_eval:` ([ADR-17](https://github.com/rigortype/rigor/blob/master/docs/adr/17-monkey-patch-pre-evaluation.md))
+top-level helper). `pre_eval:` ([ADR-17](../../docs/adr/17-monkey-patch-pre-evaluation.md))
 fixes this: it pre-evaluates the listed project files and registers every
 method they define with a **literal** `def` / `def self.`.
 

data/skills/rigor-plugin-review/SKILL.md

@@ -80,14 +80,14 @@ rigor plugin path  rigor-<id>     # its directory, to browse
 The **authoritative** authoring surface — the one this review scores
 against — is the internal spec, not this file:
 
-- [`docs/internal-spec/plugin.md`](https://github.com/rigortype/rigor/blob/master/docs/internal-spec/plugin.md)
+- [`docs/internal-spec/plugin.md`](../../docs/internal-spec/plugin.md)
   — manifest, `node_rule` / `node_file_context`, `dynamic_return` /
   `narrowing_facts`, the `#diagnostic` / `#diagnostics_for` / `.suggest`
   / `#read_fact` author helpers, `config_schema` `{kind:, default:}`.
-- [`docs/internal-spec/plugin-cache-producers.md`](https://github.com/rigortype/rigor/blob/master/docs/internal-spec/plugin-cache-producers.md)
+- [`docs/internal-spec/plugin-cache-producers.md`](../../docs/internal-spec/plugin-cache-producers.md)
   — `producer` / `#cache_for` / `#producer_value` / `#producer_error`,
   ADR-60 WD3 record-and-validate.
-- [`docs/internal-spec/plugin-trust.md`](https://github.com/rigortype/rigor/blob/master/docs/internal-spec/plugin-trust.md)
+- [`docs/internal-spec/plugin-trust.md`](../../docs/internal-spec/plugin-trust.md)
   — `TrustPolicy` / `IoBoundary`.
 
 When the checklist below and the spec disagree, **the spec binds** —

metadata

@@ -1,7 +1,7 @@
 --- !ruby/object:Gem::Specification
 name: rigortype
 version: !ruby/object:Gem::Version
-  version: 0.3.5
+  version: 0.3.6
 platform: ruby
 authors:
 - Rigor contributors
@@ -422,6 +422,7 @@ files:
 - lib/rigor/analysis/dependency_source_inference/return_type_heuristic.rb
 - lib/rigor/analysis/dependency_source_inference/walker.rb
 - lib/rigor/analysis/diagnostic.rb
+- lib/rigor/analysis/effects_cache_probe.rb
 - lib/rigor/analysis/erb_template_detector.rb
 - lib/rigor/analysis/fact_store.rb
 - lib/rigor/analysis/incremental.rb
@@ -433,6 +434,7 @@ files:
 - lib/rigor/analysis/reachability/plugin_roots.rb
 - lib/rigor/analysis/reachability/project_files.rb
 - lib/rigor/analysis/reachability/scan.rb
+- lib/rigor/analysis/reachability/scan_cache.rb
 - lib/rigor/analysis/reachability/signature_scan.rb
 - lib/rigor/analysis/result.rb
 - lib/rigor/analysis/rule_catalog.rb
@@ -488,6 +490,7 @@ files:
 - lib/rigor/cli/coverage_scan.rb
 - lib/rigor/cli/diagnostic_formats.rb
 - lib/rigor/cli/diff_command.rb
+- lib/rigor/cli/doc_links.rb
 - lib/rigor/cli/docs_command.rb
 - lib/rigor/cli/doctor_command.rb
 - lib/rigor/cli/effects_command.rb
@@ -540,6 +543,7 @@ files:
 - lib/rigor/effects/catalog.rb
 - lib/rigor/effects/collector.rb
 - lib/rigor/effects/config_envelopes.rb
+- lib/rigor/effects/definition_lines.rb
 - lib/rigor/effects/discharge.rb
 - lib/rigor/effects/effect_table.rb
 - lib/rigor/effects/entry_points.rb