zard-rigor 0.0.2

checksums.yaml

@@ -0,0 +1,7 @@
+---
+SHA256:
+  metadata.gz: a8959e0208d1dd2d8ea9e4f188752a6439053e95c789e5f864d19eddd9b257c6
+  data.tar.gz: 7371853262f5cb278fae4a6acb53e3c05c0cf1ea39c3dd72489a77335dc88d55
+SHA512:
+  metadata.gz: 21c9d4e542d2d2ba31beeb29f0cd59d1e2d316f8d6e96fb5fabf3fe3edbb7ce0ff3a73be4a0bbef8100dedad243ac37fba7ea7eca5baff612a3829edf4c6b645
+  data.tar.gz: eae928982f67b3d864662aec9f50d850202cc1eb5dcf9e5b3161c27d4061a24b2d625a7cf4035929bce9c2ad6bfd87d7ef1c420cf7ee13f44cdc12fab0d57a66

data/LICENSE

@@ -0,0 +1,373 @@
+Mozilla Public License Version 2.0
+==================================
+
+1. Definitions
+--------------
+
+1.1. "Contributor"
+    means each individual or legal entity that creates, contributes to
+    the creation of, or owns Covered Software.
+
+1.2. "Contributor Version"
+    means the combination of the Contributions of others (if any) used
+    by a Contributor and that particular Contributor's Contribution.
+
+1.3. "Contribution"
+    means Covered Software of a particular Contributor.
+
+1.4. "Covered Software"
+    means Source Code Form to which the initial Contributor has attached
+    the notice in Exhibit A, the Executable Form of such Source Code
+    Form, and Modifications of such Source Code Form, in each case
+    including portions thereof.
+
+1.5. "Incompatible With Secondary Licenses"
+    means
+
+    (a) that the initial Contributor has attached the notice described
+        in Exhibit B to the Covered Software; or
+
+    (b) that the Covered Software was made available under the terms of
+        version 1.1 or earlier of the License, but not also under the
+        terms of a Secondary License.
+
+1.6. "Executable Form"
+    means any form of the work other than Source Code Form.
+
+1.7. "Larger Work"
+    means a work that combines Covered Software with other material, in
+    a separate file or files, that is not Covered Software.
+
+1.8. "License"
+    means this document.
+
+1.9. "Licensable"
+    means having the right to grant, to the maximum extent possible,
+    whether at the time of the initial grant or subsequently, any and
+    all of the rights conveyed by this License.
+
+1.10. "Modifications"
+    means any of the following:
+
+    (a) any file in Source Code Form that results from an addition to,
+        deletion from, or modification of the contents of Covered
+        Software; or
+
+    (b) any new file in Source Code Form that contains any Covered
+        Software.
+
+1.11. "Patent Claims" of a Contributor
+    means any patent claim(s), including without limitation, method,
+    process, and apparatus claims, in any patent Licensable by such
+    Contributor that would be infringed, but for the grant of the
+    License, by the making, using, selling, offering for sale, having
+    made, import, or transfer of either its Contributions or its
+    Contributor Version.
+
+1.12. "Secondary License"
+    means either the GNU General Public License, Version 2.0, the GNU
+    Lesser General Public License, Version 2.1, the GNU Affero General
+    Public License, Version 3.0, or any later versions of those
+    licenses.
+
+1.13. "Source Code Form"
+    means the form of the work preferred for making modifications.
+
+1.14. "You" (or "Your")
+    means an individual or a legal entity exercising rights under this
+    License. For legal entities, "You" includes any entity that
+    controls, is controlled by, or is under common control with You. For
+    purposes of this definition, "control" means (a) the power, direct
+    or indirect, to cause the direction or management of such entity,
+    whether by contract or otherwise, or (b) ownership of more than
+    fifty percent (50%) of the outstanding shares or beneficial
+    ownership of such entity.
+
+2. License Grants and Conditions
+--------------------------------
+
+2.1. Grants
+
+Each Contributor hereby grants You a world-wide, royalty-free,
+non-exclusive license:
+
+(a) under intellectual property rights (other than patent or trademark)
+    Licensable by such Contributor to use, reproduce, make available,
+    modify, display, perform, distribute, and otherwise exploit its
+    Contributions, either on an unmodified basis, with Modifications, or
+    as part of a Larger Work; and
+
+(b) under Patent Claims of such Contributor to make, use, sell, offer
+    for sale, have made, import, and otherwise transfer either its
+    Contributions or its Contributor Version.
+
+2.2. Effective Date
+
+The licenses granted in Section 2.1 with respect to any Contribution
+become effective for each Contribution on the date the Contributor first
+distributes such Contribution.
+
+2.3. Limitations on Grant Scope
+
+The licenses granted in this Section 2 are the only rights granted under
+this License. No additional rights or licenses will be implied from the
+distribution or licensing of Covered Software under this License.
+Notwithstanding Section 2.1(b) above, no patent license is granted by a
+Contributor:
+
+(a) for any code that a Contributor has removed from Covered Software;
+    or
+
+(b) for infringements caused by: (i) Your and any other third party's
+    modifications of Covered Software, or (ii) the combination of its
+    Contributions with other software (except as part of its Contributor
+    Version); or
+
+(c) under Patent Claims infringed by Covered Software in the absence of
+    its Contributions.
+
+This License does not grant any rights in the trademarks, service marks,
+or logos of any Contributor (except as may be necessary to comply with
+the notice requirements in Section 3.4).
+
+2.4. Subsequent Licenses
+
+No Contributor makes additional grants as a result of Your choice to
+distribute the Covered Software under a subsequent version of this
+License (see Section 10.2) or under the terms of a Secondary License (if
+permitted under the terms of Section 3.3).
+
+2.5. Representation
+
+Each Contributor represents that the Contributor believes its
+Contributions are its original creation(s) or it has sufficient rights
+to grant the rights to its Contributions conveyed by this License.
+
+2.6. Fair Use
+
+This License is not intended to limit any rights You have under
+applicable copyright doctrines of fair use, fair dealing, or other
+equivalents.
+
+2.7. Conditions
+
+Sections 3.1, 3.2, 3.3, and 3.4 are conditions of the licenses granted
+in Section 2.1.
+
+3. Responsibilities
+-------------------
+
+3.1. Distribution of Source Form
+
+All distribution of Covered Software in Source Code Form, including any
+Modifications that You create or to which You contribute, must be under
+the terms of this License. You must inform recipients that the Source
+Code Form of the Covered Software is governed by the terms of this
+License, and how they can obtain a copy of this License. You may not
+attempt to alter or restrict the recipients' rights in the Source Code
+Form.
+
+3.2. Distribution of Executable Form
+
+If You distribute Covered Software in Executable Form then:
+
+(a) such Covered Software must also be made available in Source Code
+    Form, as described in Section 3.1, and You must inform recipients of
+    the Executable Form how they can obtain a copy of such Source Code
+    Form by reasonable means in a timely manner, at a charge no more
+    than the cost of distribution to the recipient; and
+
+(b) You may distribute such Executable Form under the terms of this
+    License, or sublicense it under different terms, provided that the
+    license for the Executable Form does not attempt to limit or alter
+    the recipients' rights in the Source Code Form under this License.
+
+3.3. Distribution of a Larger Work
+
+You may create and distribute a Larger Work under terms of Your choice,
+provided that You also comply with the requirements of this License for
+the Covered Software. If the Larger Work is a combination of Covered
+Software with a work governed by one or more Secondary Licenses, and the
+Covered Software is not Incompatible With Secondary Licenses, this
+License permits You to additionally distribute such Covered Software
+under the terms of such Secondary License(s), so that the recipient of
+the Larger Work may, at their option, further distribute the Covered
+Software under the terms of either this License or such Secondary
+License(s).
+
+3.4. Notices
+
+You may not remove or alter the substance of any license notices
+(including copyright notices, patent notices, disclaimers of warranty,
+or limitations of liability) contained within the Source Code Form of
+the Covered Software, except that You may alter any license notices to
+the extent required to remedy known factual inaccuracies.
+
+3.5. Application of Additional Terms
+
+You may choose to offer, and to charge a fee for, warranty, support,
+indemnity or liability obligations to one or more recipients of Covered
+Software. However, You may do so only on Your own behalf, and not on
+behalf of any Contributor. You must make it absolutely clear that any
+such warranty, support, indemnity, or liability obligation is offered by
+You alone, and You hereby agree to indemnify every Contributor for any
+liability incurred by such Contributor as a result of warranty, support,
+indemnity or liability terms You offer. You may include additional
+disclaimers of warranty and limitations of liability specific to any
+jurisdiction.
+
+4. Inability to Comply Due to Statute or Regulation
+---------------------------------------------------
+
+If it is impossible for You to comply with any of the terms of this
+License with respect to some or all of the Covered Software due to
+statute, judicial order, or regulation then You must: (a) comply with
+the terms of this License to the maximum extent possible; and (b)
+describe the limitations and the code they affect. Such description must
+be placed in a text file included with all distributions of the Covered
+Software under this License. Except to the extent prohibited by statute
+or regulation, such description must be sufficiently detailed for a
+recipient of ordinary skill to be able to understand it.
+
+5. Termination
+--------------
+
+5.1. The rights granted under this License will terminate automatically
+if You fail to comply with any of its terms. However, if You become
+compliant, then the rights granted under this License from a particular
+Contributor are reinstated (a) provisionally, unless and until such
+Contributor explicitly and finally terminates Your grants, and (b) on an
+ongoing basis, if such Contributor fails to notify You of the
+non-compliance by some reasonable means prior to 60 days after You have
+come back into compliance. Moreover, Your grants from a particular
+Contributor are reinstated on an ongoing basis if such Contributor
+notifies You of the non-compliance by some reasonable means, this is the
+first time You have received notice of non-compliance with this License
+from such Contributor, and You become compliant prior to 30 days after
+Your receipt of the notice.
+
+5.2. If You initiate litigation against any entity by asserting a patent
+infringement claim (excluding declaratory judgment actions,
+counter-claims, and cross-claims) alleging that a Contributor Version
+directly or indirectly infringes any patent, then the rights granted to
+You by any and all Contributors for the Covered Software under Section
+2.1 of this License shall terminate.
+
+5.3. In the event of termination under Sections 5.1 or 5.2 above, all
+end user license agreements (excluding distributors and resellers) which
+have been validly granted by You or Your distributors under this License
+prior to termination shall survive termination.
+
+************************************************************************
+*                                                                      *
+*  6. Disclaimer of Warranty                                           *
+*  -------------------------                                           *
+*                                                                      *
+*  Covered Software is provided under this License on an "as is"       *
+*  basis, without warranty of any kind, either expressed, implied, or  *
+*  statutory, including, without limitation, warranties that the       *
+*  Covered Software is free of defects, merchantable, fit for a        *
+*  particular purpose or non-infringing. The entire risk as to the     *
+*  quality and performance of the Covered Software is with You.        *
+*  Should any Covered Software prove defective in any respect, You     *
+*  (not any Contributor) assume the cost of any necessary servicing,   *
+*  repair, or correction. This disclaimer of warranty constitutes an   *
+*  essential part of this License. No use of any Covered Software is   *
+*  authorized under this License except under this disclaimer.         *
+*                                                                      *
+************************************************************************
+
+************************************************************************
+*                                                                      *
+*  7. Limitation of Liability                                          *
+*  --------------------------                                          *
+*                                                                      *
+*  Under no circumstances and under no legal theory, whether tort      *
+*  (including negligence), contract, or otherwise, shall any           *
+*  Contributor, or anyone who distributes Covered Software as          *
+*  permitted above, be liable to You for any direct, indirect,         *
+*  special, incidental, or consequential damages of any character      *
+*  including, without limitation, damages for lost profits, loss of    *
+*  goodwill, work stoppage, computer failure or malfunction, or any    *
+*  and all other commercial damages or losses, even if such party      *
+*  shall have been informed of the possibility of such damages. This   *
+*  limitation of liability shall not apply to liability for death or   *
+*  personal injury resulting from such party's negligence to the       *
+*  extent applicable law prohibits such limitation. Some               *
+*  jurisdictions do not allow the exclusion or limitation of           *
+*  incidental or consequential damages, so this exclusion and          *
+*  limitation may not apply to You.                                    *
+*                                                                      *
+************************************************************************
+
+8. Litigation
+-------------
+
+Any litigation relating to this License may be brought only in the
+courts of a jurisdiction where the defendant maintains its principal
+place of business and such litigation shall be governed by laws of that
+jurisdiction, without reference to its conflict-of-law provisions.
+Nothing in this Section shall prevent a party's ability to bring
+cross-claims or counter-claims.
+
+9. Miscellaneous
+----------------
+
+This License represents the complete agreement concerning the subject
+matter hereof. If any provision of this License is held to be
+unenforceable, such provision shall be reformed only to the extent
+necessary to make it enforceable. Any law or regulation which provides
+that the language of a contract shall be construed against the drafter
+shall not be used to construe this License against a Contributor.
+
+10. Versions of the License
+---------------------------
+
+10.1. New Versions
+
+Mozilla Foundation is the license steward. Except as provided in Section
+10.3, no one other than the license steward has the right to modify or
+publish new versions of this License. Each version will be given a
+distinguishing version number.
+
+10.2. Effect of New Versions
+
+You may distribute the Covered Software under the terms of the version
+of the License under which You originally received the Covered Software,
+or under the terms of any subsequent version published by the license
+steward.
+
+10.3. Modified Versions
+
+If you create software not governed by this License, and you want to
+create a new license for such software, you may create and use a
+modified version of this License if you rename the license and remove
+any references to the name of the license steward (except to note that
+such modified license differs from this License).
+
+10.4. Distributing Source Code Form that is Incompatible With Secondary
+Licenses
+
+If You choose to distribute Source Code Form that is Incompatible With
+Secondary Licenses under the terms of this version of the License, the
+notice described in Exhibit B of this License must be attached.
+
+Exhibit A - Source Code Form License Notice
+-------------------------------------------
+
+  This Source Code Form is subject to the terms of the Mozilla Public
+  License, v. 2.0. If a copy of the MPL was not distributed with this
+  file, You can obtain one at http://mozilla.org/MPL/2.0/.
+
+If it is not possible or desirable to put the notice in a particular
+file, then You may include the notice in a location (such as a LICENSE
+file in a relevant directory) where a recipient would be likely to look
+for such a notice.
+
+You may add additional accurate notices of copyright ownership.
+
+Exhibit B - "Incompatible With Secondary Licenses" Notice
+---------------------------------------------------------
+
+  This Source Code Form is "Incompatible With Secondary Licenses", as
+  defined by the Mozilla Public License, v. 2.0.

data/README.md

@@ -0,0 +1,71 @@
+# zard-rigor
+
+Optional, experimental adapter from the **released Rigor 0.4.5 CLI** to
+`zard-doc/v0` revision 1. It accepts only `lens/v0` revision 1; this is not
+the future stable lens protocol. Neither `zard` nor `zard-doc` loads Rigor.
+
+Version 0.0.2 is the first release of this optional gem. Add `gem "zard-rigor", "~> 0.0.2"` to your Gemfile alongside `zard-doc`.
+Install `zard-rigor` alongside `zard-doc`, and install `rigortype` 0.4.5 in
+the environment used by the executable. Projects using `rigor-rbs-inline`
+also need `rbs-inline` (the shared fixture uses 0.14.0). The child process
+runs outside the caller's Bundler environment, so its executable must have
+access to its own dependencies. A wrapper executable can select that environment.
+
+```sh
+zard-doc build --config zard-doc.yml --format json \
+  --lens-root /path/to/project --lens-config .rigor.dist.yml \
+  --rigor-command /path/to/rigor
+```
+
+`--lens-config` is optional and relative to the lens root. Without it,
+Rigor selects its normal configuration. `--lens-workers` defaults to 4.
+The Ruby entry point is `Zard::Rigor::Lens#enrich(export, base:)`, with the
+same `root:`, `config:`, `command:` and `workers:` constructor options.
+
+The adapter invokes one batch process from the explicit project root. It
+checks the ZARD SHA-256 snapshots, Rigor XXH3 digests, byte spans, target
+order, exit status and fact references, and rereads selected sources after
+analysis. Transport failure produces no JSON export. Partial target failures
+remain unavailable bindings with warnings. No types are parsed, combined or
+inferred here. Unavailable and dynamic slots retain the producer's reasons.
+
+The optional top-level `lens` extension preserves producer/context/capability
+metadata and separates source `sites`, shared `members`, and ZARD `bindings`.
+Bindings match exact path, byte span, declaration kind, owner, scope and name;
+aliases match their recorded target and refinements remain unavailable, without name-only fallback. Site
+keys are document-local, not public identities or anchors. Only facts needed
+by public declarations are retained, including other definition sites supporting
+a public member. Visibility and runtime winners are never guessed.
+
+`inputs` is not a complete dependency graph. Regenerate for each publication
+from the intended clean checkout and tool environment; do not reuse an enriched
+export solely because its selected Ruby files still match. Configure timeouts
+in the calling build job. This adapter adds no persistent cache.
+
+`zard-doc-astro` owns the HTML presentation. It shows member signatures and
+definition body returns separately, escaping Rigor's display text verbatim.
+Consumer applications own all CSS. Revision 1 does not provide type-reference
+links, plugin-synthesized members, or the reserved `@extrbs`
+semantics. Missing capabilities and omissions are not empty type sets.
+Rigor 0.4.5 supplies constant value slots and alias/module-function sites. The
+adapter preserves these facts; a module function's public singleton binding
+does not expose its private instance signature or relabel its body return.
+Only Rigor 0.4.5 is supported; regenerate older exports with that executable.
+Unavailable bindings carry explicit reasons for unsupported constructs or
+capabilities, target failures, ambiguous sites and unmatched declarations.
+Producer omission explanations are attached only after exact byte-span/name
+matching. Page coverage summaries distinguish these gaps from dynamic types.
+
+The shared fixture is attributed in `test/fixtures/rigor_lens/README.md`.
+Set `ZARD_RIGOR_COMMAND` to an executable for the opt-in released-CLI test.
+
+## Updating supported releases
+
+`lib/zard/rigor/compatibility.json` is the authoritative producer/schema allowlist.
+`default_version` selects the released executable tested in CI. Versions are
+explicitly reviewed; sharing a schema revision does not automatically admit an
+untested producer. After verifying a new released executable with the shared
+fixture and real project, replace the supported version and default, then run
+`node scripts/sync-lens-compatibility.mjs` from the repository root. The Astro
+package ships the generated manifest and tests/packing reject a stale copy.
+Its notice renders the validated producer version from the actual artifact.

data/lib/zard/rigor/compatibility.json

@@ -0,0 +1,7 @@
+{
+  "schema": "lens/v0",
+  "revision": 1,
+  "producer": "rigor",
+  "versions": ["0.4.5"],
+  "default_version": "0.4.5"
+}

data/lib/zard/rigor/compatibility.rb

@@ -0,0 +1,21 @@
+# frozen_string_literal: true
+
+require "json"
+
+module Zard
+  module Rigor
+    module Compatibility
+      DATA = JSON.parse(File.read(File.join(__dir__, "compatibility.json"))).freeze
+
+      def self.validate!(document)
+        unless document.values_at("schema", "revision") == DATA.values_at("schema", "revision")
+          raise Error, "Invalid lens document: unsupported schema/revision"
+        end
+        producer = document.fetch("producer")
+        unless producer.is_a?(Hash) && producer["name"] == DATA.fetch("producer") && DATA.fetch("versions").include?(producer["version"])
+          raise Error, "Invalid lens document: supported Rigor versions: #{DATA.fetch("versions").join(", ")}"
+        end
+      end
+    end
+  end
+end

data/lib/zard/rigor/document.rb

@@ -0,0 +1,219 @@
+# frozen_string_literal: true
+
+module Zard
+  module Rigor
+    class Document
+      STATUSES = %w[ok not_found not_ruby outside_project duplicate parse_error failed].freeze
+      PROVENANCES = %w[sig inline inferred library].freeze
+
+      def initialize(data, root:, selected:, arguments:, status:)
+        @data = data
+        @root = root
+        @selected = selected
+        @sites = {}
+        @members = {}
+        @files = {}
+        validate(arguments, status)
+      end
+
+      def bind(export, base:, project:)
+        bindings = []
+        retained = []
+        warnings = []
+        export.fetch("scopes").each do |scope|
+          scope.fetch("declarations").each do |row|
+            path = Pathname.new(File.expand_path(row.fetch("span").fetch("path"), base)).relative_path_from(Pathname.new(@root)).to_s
+            file = @files.fetch(path)
+            candidates = (file["sites"] || []).select { |site| matches?(row, site) }
+            binding = {"scope" => scope.fetch("name"), "declaration_id" => row.fetch("id"), "file" => path, "site_key" => nil, "member_keys" => []}
+            if candidates.one?
+              site = candidates.first
+              retained << site.fetch("key")
+              binding["site_key"] = site.fetch("key")
+              binding["status"] = "matched"
+              member_scope = row.fetch("kind").start_with?("singleton_") ? "singleton" : "instance"
+              binding["member_keys"] = @members.filter_map { |key, member| key if member.fetch("scope") == member_scope && member.fetch("sites").include?(site.fetch("key")) }
+            else
+              binding["status"] = "unavailable"
+              binding.merge!(unavailable(row, file, candidates))
+              warnings << "#{scope.fetch("name")}:#{row.fetch("display_name")}: lens #{binding.fetch("reason")}"
+            end
+            bindings << binding
+          end
+        end
+        used_members = bindings.flat_map { |binding| binding.fetch("member_keys") }.uniq
+        retained |= used_members.flat_map { |key| @members.fetch(key).fetch("sites") }
+        files = @data.fetch("files").map do |file|
+          file.merge("sites" => file["sites"]&.select { |site| retained.include?(site.fetch("key")) })
+        end
+        members = used_members.map do |key|
+          member = @members.fetch(key)
+          member.merge("key" => key, "sites" => member.fetch("sites").select { |site| retained.include?(site) })
+        end
+        @data.merge("adapter" => {"name" => "zard-rigor", "version" => VERSION, "grammar" => "rigor:v1"},
+          "project" => project, "files" => files, "members" => members, "bindings" => bindings, "warnings" => warnings)
+      end
+
+      private
+
+      def unavailable(row, file, candidates)
+        return {"reason" => file.fetch("status"), "detail" => file.fetch("reason")} if file.fetch("status") != "ok"
+        return {"reason" => "ambiguous_site"} unless candidates.empty?
+
+        omissions = file.fetch("omissions").select do |omission|
+          %w[start_offset end_offset].all? { |edge| omission.fetch("span")[edge] == row.fetch("span")[edge] } &&
+            [row.fetch("name"), row.fetch("display_name")].include?(omission["name"])
+        end
+        if omissions.one?
+          return {"reason" => "unsupported_declaration", "omission" => omissions.first.slice("kind", "reason")}
+        end
+        kind = row.fetch("kind")
+        capability = if kind.include?("attribute")
+          "attribute"
+        elsif kind.include?("method")
+          "method"
+        else
+          kind
+        end
+        return {"reason" => "unsupported_capability", "capability" => capability} unless @data.fetch("capabilities").include?(capability)
+
+        {"reason" => "unmatched_declaration"}
+      end
+
+      def reject!(message)
+        raise Error, "Invalid lens/v0 document: #{message}"
+      end
+
+      def validate(arguments, status)
+        reject!("expected object") unless @data.is_a?(Hash)
+        Compatibility.validate!(@data)
+        reject!("invalid context") unless @data.fetch("context").is_a?(Hash)
+        capabilities = @data.fetch("capabilities")
+        reject!("missing required capabilities") unless capabilities.is_a?(Array) && (%w[class module method attribute] - capabilities).empty?
+        files = @data.fetch("files")
+        reject!("expected target array") unless files.is_a?(Array) && files.all? { |file| file.is_a?(Hash) }
+        reject!("missing, reordered or unexpected targets") unless files.map { |file| file.fetch("argument") } == arguments
+        files.each_with_index { |file, i| validate_file(file, @selected.keys.sort.fetch(i)) }
+        ok = files.count { |file| file.fetch("status") == "ok" }
+        reject!("exit status contradicts targets") unless status == (ok.positive? ? 0 : 1)
+        raise Error, "rigor lens produced no successful targets: #{files.map { |file| file["reason"] }.join("; ")}" if ok.zero?
+
+        members = @data.fetch("members")
+        reject!("expected member array") unless members.is_a?(Array) && members.all? { |member| member.is_a?(Hash) }
+        members.each { |member| validate_member(member) }
+      end
+
+      def validate_file(file, absolute)
+        status = file.fetch("status")
+        reject!("unknown target status") unless STATUSES.include?(status)
+        path = Pathname.new(absolute).relative_path_from(Pathname.new(@root)).to_s
+        reject!("target path mismatch") if file["path"] && file["path"] != path
+        reject!("failed target has no reason") if status != "ok" && !file["reason"].is_a?(String)
+        @files[path] = file
+        return unless %w[ok parse_error].include?(status)
+
+        expected = "xxh3-64:#{Digest::XXH3_64bits.hexdigest(@selected.fetch(absolute))}"
+        reject!("stale source digest for #{path}") unless file.fetch("digest") == expected
+        return unless status == "ok"
+
+        reject!("invalid completeness/omissions") unless [true, false].include?(file.fetch("complete")) && file.fetch("omissions").is_a?(Array)
+        reject!("completeness contradicts omissions") unless file.fetch("complete") == file.fetch("omissions").empty?
+        reject!("expected sites/inputs arrays") unless file.fetch("sites").is_a?(Array) && file.fetch("inputs").is_a?(Array)
+        file.fetch("omissions").each { |omission| validate_span(omission.fetch("span"), @selected.fetch(absolute)) }
+        file.fetch("sites").each do |site|
+          location = site.fetch("span")
+          validate_span(location, @selected.fetch(absolute))
+          key = "#{path}:#{location.fetch("start_offset")}-#{location.fetch("end_offset")}:#{site.fetch("ordinal")}"
+          reject!("duplicate or invalid site key") if site.fetch("key") != key || @sites.key?(key)
+          reject!("unknown site kind") unless %w[class module method attribute constant].include?(site.fetch("kind"))
+          slot(site.fetch("body_return")) if site["body_return"]
+          slot(site.fetch("value")) if site["value"]
+          @sites[key] = site
+        end
+        file.fetch("inputs").each do |input|
+          path = input.fetch("path")
+          actual = File.realpath(File.expand_path(path, @root))
+          reject!("input escapes project root") unless actual.start_with?(@root + File::SEPARATOR)
+          reject!("input changed: #{path}") unless "xxh3-64:#{Digest::XXH3_64bits.hexdigest(File.binread(actual))}" == input.fetch("digest")
+        end
+      end
+
+      def validate_span(span, source)
+        first = span.fetch("start_offset")
+        last = span.fetch("end_offset")
+        reject!("invalid byte span") unless first.is_a?(Integer) && last.is_a?(Integer) && first >= 0 && last > first && last <= source.bytesize
+        %w[start end].each do |edge|
+          offset = span.fetch("#{edge}_offset")
+          prefix = source.byteslice(0, offset)
+          line = prefix.count("\n") + 1
+          column = offset - ((prefix.b.rindex("\n") || -1) + 1)
+          reject!("line/column drift") unless span.values_at("#{edge}_line", "#{edge}_column") == [line, column]
+        end
+      end
+
+      def validate_member(member)
+        reject!("invalid member identity") unless member.fetch("owner").is_a?(String) && member.fetch("name").is_a?(String)
+        key = JSON.generate(member.values_at("owner", "scope", "name"))
+        reject!("duplicate member") if @members.key?(key)
+        reject!("invalid member scope/basis") unless %w[instance singleton].include?(member.fetch("scope")) && %w[contract single_site contested].include?(member.fetch("basis"))
+        sites = member.fetch("sites")
+        reject!("unknown member site") unless sites.is_a?(Array) && !sites.empty? && sites.uniq == sites && sites.all? { |site| @sites.key?(site) }
+        sites.each do |key|
+          site = @sites.fetch(key)
+          scopes = site["module_function"] ? %w[instance singleton] : [site.fetch("scope")]
+          reject!("member ownership mismatch") unless site.fetch("owner") == member.fetch("owner") && scopes.include?(member.fetch("scope")) && site.fetch("members").include?(member.fetch("name"))
+        end
+        overloads = member.fetch("overloads")
+        reject!("expected overload array") unless overloads.is_a?(Array)
+        reject!("contested member must not assert overloads") if member.fetch("basis") == "contested" && !overloads.empty?
+        overloads.each do |overload|
+          reject!("invalid RBS text") unless overload["rbs"].nil? || overload["rbs"].is_a?(String)
+          values = (overload["params"] || []).map { |parameter| parameter.fetch("type") }
+          values << overload.fetch("block").fetch("type") if overload["block"]
+          values << overload.fetch("return")
+          reject!("unavailable slots cannot assert RBS text") if values.any? { |value| value["state"] == "unavailable" } && overload["rbs"]
+          overload["params"]&.each { |parameter| slot(parameter.fetch("type"), member_sites: sites) }
+          slot(overload.fetch("block").fetch("type"), member_sites: sites) if overload["block"]
+          slot(overload.fetch("return"), member_sites: sites)
+        end
+        @members[key] = member
+      end
+
+      def slot(value, member_sites: [])
+        reject!("expected slot object") unless value.is_a?(Hash)
+        case value.fetch("state")
+        when "unavailable"
+          reject!("unknown unavailable reason") unless %w[contested not_computed definition_build_failed].include?(value.fetch("reason"))
+        when "typed", "dynamic"
+          reject!("missing type text") unless value.fetch("type").is_a?(String)
+          provenance = value.fetch("provenance")
+          known = provenance.is_a?(String) && (PROVENANCES.include?(provenance) || provenance.match?(/\Aplugin:.+/))
+          reject!("unknown provenance") unless known
+          reject!("dynamic is not untyped") if value.fetch("state") == "dynamic" && value.fetch("type") != "untyped"
+          from = value.fetch("from_site")
+          reject!("invalid inferred site") if from && (!member_sites.include?(from) || provenance != "inferred")
+        else
+          reject!("unknown slot state")
+        end
+      end
+
+      def matches?(row, site)
+        return false if row["refinement"]
+        return false unless row["alias_target"] == site["alias_of"]
+        return false unless %w[start_offset end_offset].all? { |key| row.fetch("span")[key] == site.fetch("span")[key] }
+
+        kind = row.fetch("kind")
+        return site.values_at("kind", "name") == [kind, row.fetch("display_name")] if %w[class module constant].include?(kind)
+        return false unless kind.include?("method") || kind.include?("attribute")
+
+        scope = kind.start_with?("singleton_") ? "singleton" : "instance"
+        owner = row.fetch("namespace") || "Object"
+        owner = "Object" if owner.empty?
+        expected_kind = kind.include?("attribute") ? "attribute" : "method"
+        site_scope = (site["module_function"] && scope == "singleton") ? "singleton" : site.fetch("scope")
+        [site.fetch("kind"), site.fetch("owner"), site_scope, site.fetch("name")] == [expected_kind, owner, scope, row.fetch("name")]
+      end
+    end
+    private_constant :Document
+  end
+end

data/lib/zard/rigor/version.rb

@@ -0,0 +1,7 @@
+# frozen_string_literal: true
+
+module Zard
+  module Rigor
+    VERSION = "0.0.2"
+  end
+end

data/lib/zard/rigor.rb

@@ -0,0 +1,77 @@
+# frozen_string_literal: true
+
+require "json"
+require "digest"
+require "digest/xxhash"
+require "open3"
+require "pathname"
+require_relative "rigor/version"
+require_relative "rigor/compatibility"
+require_relative "rigor/document"
+
+module Zard
+  module Rigor
+    class Error < StandardError; end
+
+    # The external process is the only Rigor dependency. No analyzer classes are loaded.
+    class Lens
+      def initialize(root:, command: "rigor", workers: 4, config: nil, runner: Open3.method(:capture3))
+        @root = File.realpath(root)
+        @command = command
+        @workers = workers
+        @config = config
+        @runner = runner
+      end
+
+      def enrich(export, base:)
+        data = JSON.parse(JSON.generate(export))
+        raise Error, "Expected zard-doc/v0 revision 1" unless data.values_at("schema", "revision") == ["zard-doc/v0", 1]
+
+        base = File.realpath(base)
+        selected = data.fetch("scopes").flat_map { |scope| scope.fetch("files") }.to_h do |file|
+          absolute = project_file(File.expand_path(file.fetch("path"), base))
+          bytes = File.binread(absolute)
+          raise Error, "ZARD source changed before lens: #{relative(absolute)}" unless Digest::SHA256.hexdigest(bytes) == file.fetch("digest")
+
+          [absolute, bytes]
+        end
+        raise Error, "No source files selected for lens" if selected.empty?
+
+        paths = selected.keys.sort
+        arguments = paths.map { |file| "./#{relative(file)}" }
+        options = ["--format=json", "--workers", @workers.to_s]
+        options += ["--config", @config] if @config
+        invoke = -> { @runner.call(@command, "lens", *options, *arguments, chdir: @root) }
+        stdout, stderr, process = defined?(Bundler) ? Bundler.with_unbundled_env(&invoke) : invoke.call
+        unless [0, 1].include?(process.exitstatus)
+          raise Error, "rigor lens failed (exit #{process.exitstatus || "signal"}): #{stderr.strip}"
+        end
+        document = Document.new(JSON.parse(stdout), root: @root, selected: selected, arguments: arguments, status: process.exitstatus)
+        paths.each do |file|
+          raise Error, "Source changed during lens: #{relative(file)}" unless File.binread(file) == selected.fetch(file)
+        end
+        data["lens"] = document.bind(data, base: base, project: Pathname.new(@root).relative_path_from(Pathname.new(base)).to_s)
+        data
+      rescue JSON::ParserError => error
+        raise Error, "rigor lens returned invalid or truncated JSON: #{error.message}"
+      rescue SystemCallError => error
+        raise Error, "Cannot run/read rigor lens; install supported Rigor (#{Compatibility::DATA.fetch("versions").join(", ")}) and check the configured executable/root: #{error.message}"
+      rescue KeyError, TypeError => error
+        raise Error, "Malformed lens/export data: #{error.message}"
+      end
+
+      private
+
+      def project_file(file)
+        actual = File.realpath(file)
+        raise Error, "Lens source escapes project root" unless actual.start_with?(@root + File::SEPARATOR)
+
+        actual
+      end
+
+      def relative(file)
+        Pathname.new(file).relative_path_from(Pathname.new(@root)).to_s
+      end
+    end
+  end
+end

metadata

@@ -0,0 +1,78 @@
+--- !ruby/object:Gem::Specification
+name: zard-rigor
+version: !ruby/object:Gem::Version
+  version: 0.0.2
+platform: ruby
+authors:
+- USAMI Kenta
+bindir: bin
+cert_chain: []
+date: 1980-01-02 00:00:00.000000000 Z
+dependencies:
+- !ruby/object:Gem::Dependency
+  name: zard
+  requirement: !ruby/object:Gem::Requirement
+    requirements:
+    - - "~>"
+      - !ruby/object:Gem::Version
+        version: 0.0.2
+  type: :runtime
+  prerelease: false
+  version_requirements: !ruby/object:Gem::Requirement
+    requirements:
+    - - "~>"
+      - !ruby/object:Gem::Version
+        version: 0.0.2
+- !ruby/object:Gem::Dependency
+  name: digest-xxhash
+  requirement: !ruby/object:Gem::Requirement
+    requirements:
+    - - "~>"
+      - !ruby/object:Gem::Version
+        version: 0.2.9
+  type: :runtime
+  prerelease: false
+  version_requirements: !ruby/object:Gem::Requirement
+    requirements:
+    - - "~>"
+      - !ruby/object:Gem::Version
+        version: 0.2.9
+email:
+- tadsan@zonu.me
+executables: []
+extensions: []
+extra_rdoc_files: []
+files:
+- LICENSE
+- README.md
+- lib/zard/rigor.rb
+- lib/zard/rigor/compatibility.json
+- lib/zard/rigor/compatibility.rb
+- lib/zard/rigor/document.rb
+- lib/zard/rigor/version.rb
+homepage: https://github.com/rigortype/zard
+licenses:
+- MPL-2.0
+metadata:
+  allowed_push_host: https://rubygems.org
+  homepage_uri: https://github.com/rigortype/zard
+  source_code_uri: https://github.com/rigortype/zard
+  rubygems_mfa_required: 'true'
+rdoc_options: []
+require_paths:
+- lib
+required_ruby_version: !ruby/object:Gem::Requirement
+  requirements:
+  - - ">="
+    - !ruby/object:Gem::Version
+      version: 3.2.0
+required_rubygems_version: !ruby/object:Gem::Requirement
+  requirements:
+  - - ">="
+    - !ruby/object:Gem::Version
+      version: '0'
+requirements: []
+rubygems_version: 4.0.16
+specification_version: 4
+summary: Experimental Rigor lens adapter for ZARD documentation
+test_files: []