ryac 0.2.0

data/sig/shims/typeprof/core/ast.rbs

@@ -0,0 +1,299 @@
+module TypeProf
+  module Core
+    class AST
+      class Node
+        attr_reader lenv: LocalEnv
+        attr_reader static_ret: Node?
+        attr_reader ret: BasicVertex
+        attr_reader raw_node: Prism::Node
+
+        def traverse: () { (Symbol, Node) -> void } -> void
+        def each_subnode: () { (Node) -> void } -> void
+        def boxes: (Symbol kind) { (Box) -> void } -> void
+        def code_range: () -> TypeProf::CodeRange
+        def object_id: () -> Integer
+      end
+
+      class CallBaseNode < Node
+        attr_reader recv: Node?
+        attr_reader mid: Symbol
+        attr_reader positional_args: Array[Node]
+        attr_reader block_body: Node?
+        attr_reader block_f_args: Array[Symbol]
+        attr_reader block_pass: Node?
+        attr_reader safe_navigation: bool
+
+        attr_reader keyword_args: Node?
+        attr_reader block_multi_targets: Hash[Integer, Prism::MultiTargetNode]?
+      end
+
+      class CallNode < CallBaseNode
+      end
+
+      class SuperNode < CallBaseNode
+      end
+
+      class ForwardingSuperNode < CallBaseNode
+      end
+
+      class YieldNode < CallBaseNode
+      end
+
+      class OperatorNode < CallBaseNode
+      end
+
+      class IndexReadNode < CallBaseNode
+      end
+
+      class IndexWriteNode < CallBaseNode
+        attr_reader rhs: Node?
+      end
+
+      class CallReadNode < CallBaseNode
+      end
+
+      class CallWriteNode < CallBaseNode
+        attr_reader rhs: Node?
+      end
+
+      class DefNode < Node
+        attr_reader singleton: bool
+        attr_reader mid: Symbol
+        attr_reader body: Node?
+        attr_reader tbl: Array[Symbol]
+        attr_reader block: Node?
+        attr_reader req_positionals: Array[Symbol]
+        attr_reader opt_positionals: Array[Symbol]
+        attr_reader rest_positionals: Symbol?
+        attr_reader post_positionals: Array[Symbol]
+        attr_reader req_keywords: Array[Symbol]?
+        attr_reader opt_keywords: Array[Symbol]?
+        attr_reader rest_keywords: Symbol?
+        attr_reader block_param: Symbol?
+      end
+
+      class LiteralNode < Node
+        attr_reader lit: Symbol | String | Integer | Float | Rational | Complex | nil
+      end
+
+      class NilNode < LiteralNode
+      end
+
+      class TrueNode < LiteralNode
+      end
+
+      class FalseNode < LiteralNode
+      end
+
+      class IntegerNode < LiteralNode
+      end
+
+      class FloatNode < LiteralNode
+      end
+
+      class SymbolNode < LiteralNode
+      end
+
+      class StringNode < LiteralNode
+      end
+
+      class LocalVariableReadNode < Node
+        attr_reader var: Symbol
+      end
+
+      class LocalVariableWriteNode < Node
+        attr_reader var: Symbol
+        attr_reader rhs: Node?
+      end
+
+      class InstanceVariableReadNode < Node
+        attr_reader var: Symbol
+      end
+
+      class InstanceVariableWriteNode < Node
+        attr_reader var: Symbol
+        attr_reader rhs: Node?
+      end
+
+      class ConstantReadNode < Node
+        attr_reader cname: Symbol
+        attr_reader cbase: Node?
+        attr_reader toplevel: bool
+        # Not an AST node: a Static const-read record (ConstRead/ScopedConstRead),
+        # probed via respond_to? at the use site.
+        attr_reader static_ret: untyped
+      end
+
+      class ConstantWriteNode < Node
+        attr_reader cpath: Array[Symbol]?
+        attr_reader rhs: Node?
+        attr_reader static_cpath: Array[Symbol]
+      end
+
+      class IfNode < Node
+        attr_reader cond: Node?
+        attr_reader then_body: Node?
+        attr_reader else_body: Node?
+      end
+
+      class UnlessNode < Node
+        attr_reader cond: Node?
+        attr_reader then_body: Node?
+        attr_reader else_body: Node?
+      end
+
+      class WhileNode < Node
+        attr_reader cond: Node?
+        attr_reader body: Node?
+      end
+
+      class UntilNode < Node
+        attr_reader cond: Node?
+        attr_reader body: Node?
+      end
+
+      class CaseNode < Node
+        attr_reader cond: Node?
+        attr_reader whens: Array[Node]?
+        attr_reader else_body: Node?
+      end
+
+      class AndNode < Node
+        attr_reader e1: Node?
+        attr_reader e2: Node?
+      end
+
+      class OrNode < Node
+        attr_reader e1: Node?
+        attr_reader e2: Node?
+      end
+
+      class ReturnNode < Node
+        attr_reader args: Array[Node]?
+      end
+
+      class BreakNode < Node
+        attr_reader args: Array[Node]?
+      end
+
+      class NextNode < Node
+        attr_reader args: Array[Node]?
+      end
+
+      class BeginNode < Node
+        attr_reader body: Node?
+        attr_reader rescue_clauses: Array[Node]
+        attr_reader else_body: Node?
+        attr_reader ensure_body: Node?
+      end
+
+      class RescueModifierNode < Node
+        attr_reader body: Node?
+        attr_reader rescue_body: Node?
+      end
+
+      class ModuleNode < Node
+        attr_reader body: Node?
+        attr_reader static_cpath: Array[Symbol]
+      end
+
+      class ClassNode < Node
+        attr_reader body: Node?
+        attr_reader superclass_cpath: Node?
+        attr_reader static_cpath: Array[Symbol]
+      end
+
+      class IncludeMetaNode < Node
+        attr_reader args: Array[Node]?
+      end
+
+      class AttrReaderMetaNode < Node
+        attr_reader args: Array[Symbol]
+      end
+
+      class AttrAccessorMetaNode < Node
+        attr_reader args: Array[Symbol]
+      end
+
+      class StatementsNode < Node
+        attr_reader stmts: Array[Node]
+      end
+
+      class DummyNilNode < Node
+      end
+
+      class SplatNode < Node
+        attr_reader child: Node?
+      end
+
+      class SelfNode < Node
+      end
+
+      class ArrayNode < Node
+        attr_reader elems: Array[Node]?
+      end
+
+      class HashNode < Node
+        attr_reader keys: Array[Node?]
+        attr_reader vals: Array[Node]
+      end
+
+      class RangeNode < Node
+        attr_reader begin_node: Node?
+        attr_reader end_node: Node?
+        attr_reader exclude_end: bool
+      end
+
+      class InterpolatedStringNode < Node
+        attr_reader parts: Array[Node]?
+      end
+
+      class InterpolatedSymbolNode < Node
+        attr_reader parts: Array[Node]?
+      end
+
+      class RegexpNode < Node
+        attr_reader parts: Array[Node]?
+        attr_reader flags: String?
+      end
+
+      class AliasNode < Node
+        attr_reader new_mid: Node
+        attr_reader old_mid: Node
+      end
+
+      class UndefNode < Node
+        attr_reader names: Array[Node]
+      end
+
+      class LambdaNode < Node
+      end
+
+      class ForNode < Node
+        attr_reader body: Node?
+      end
+
+      class DefinedNode < Node
+      end
+
+      class GlobalVariableReadNode < Node
+        attr_reader var: Symbol
+      end
+
+      class GlobalVariableWriteNode < Node
+        attr_reader var: Symbol
+      end
+
+      class AliasGlobalVariableNode < Node
+      end
+
+      class ClassVariableReadNode < Node
+        attr_reader var: Symbol
+      end
+
+      class ClassVariableWriteNode < Node
+        attr_reader var: Symbol
+      end
+    end
+  end
+end

data/sig/shims/typeprof/core/type.rbs

@@ -0,0 +1,22 @@
+module TypeProf
+  module Core
+    class Type
+      def base_type: (GlobalEnv genv) -> Type
+
+      class Singleton < Type
+        attr_reader mod: ModuleEntity
+      end
+
+      class Instance < Type
+        attr_reader mod: ModuleEntity
+      end
+
+      class Symbol < Type
+        attr_reader sym: ::Symbol
+      end
+
+      class Bot < Type
+      end
+    end
+  end
+end

data/sig/shims/typeprof/core.rbs

@@ -0,0 +1,73 @@
+module TypeProf
+  class CodePosition
+    attr_reader lineno: Integer
+    attr_reader column: Integer
+  end
+
+  class CodeRange
+    attr_reader first: CodePosition
+    attr_reader last: CodePosition
+  end
+
+  module Core
+    class Service
+      attr_reader genv: GlobalEnv
+      def initialize: (Hash[Symbol, bool | String] options) -> void
+      def update_rb_file: (String path, String? code) -> void
+      def update_rbs_file: (String path, String? code) -> void
+    end
+
+    class GlobalEnv
+      def resolve_method: (Array[Symbol] cpath, bool singleton, Symbol mid) -> MethodEntity
+      def resolve_const: (Array[Symbol] cpath) -> ValueEntity
+      def resolve_cpath: (Array[Symbol] cpath) -> ModuleEntity
+      def each_superclass: (ModuleEntity mod, bool singleton) { (ModuleEntity, bool) -> void } -> void
+    end
+
+    class Box
+      attr_reader node: AST::Node
+
+      # Yields one resolution candidate per (entity, receiver type) pair; the
+      # entity and types are TypeProf internals, kept untyped on purpose.
+      def resolve: (GlobalEnv genv, untyped changes) { (untyped entity, untyped ty, Symbol mid, untyped orig_ty) -> void } -> void
+    end
+
+    class MethodEntity
+      attr_reader decls: Set[Box]
+      attr_reader defs: Set[Box]
+      attr_reader aliases: Hash[Box, Symbol]
+      attr_reader method_call_boxes: Set[Box]
+      def exist?: () -> bool
+    end
+
+    class ValueEntity
+      attr_reader read_boxes: Set[Box]
+      attr_reader vtx: BasicVertex
+    end
+
+    class ModuleEntity
+      attr_reader cpath: Array[Symbol]
+      attr_reader superclass: ModuleEntity?
+      attr_reader included_modules: Hash[ModuleEntity, ModuleEntity]
+      attr_reader child_modules: Hash[ModuleEntity, ModuleEntity]
+      attr_reader consts: Hash[Symbol, ValueEntity]
+      attr_reader methods: Hash[bool, Hash[Symbol, MethodEntity]]
+    end
+
+    class BasicVertex
+      attr_reader types: Hash[Type, bool]
+    end
+
+    class CRef
+      attr_reader cpath: Array[Symbol]
+      attr_reader scope_level: Symbol
+      attr_reader mid: Symbol?
+      attr_reader outer: CRef?
+    end
+
+    class LocalEnv
+      attr_reader cref: CRef
+      attr_reader locals: Hash[Symbol, BasicVertex]
+    end
+  end
+end

data/tools/regen_pins.rb

@@ -0,0 +1,45 @@
+# frozen_string_literal: true
+
+# Regenerates the exact-byte pins in tests/ryac/levels/test_level*.rb from
+# the current pipeline. The level tests are the model: run this after a
+# deliberate behavior change, then review the pin diff — a surprising hunk
+# is a caught bug, never a reason to loosen an assertion (see CLAUDE.md).
+#
+#   ruby tools/regen_pins.rb
+
+ROOT = File.expand_path('..', __dir__)
+$LOAD_PATH.unshift File.join(ROOT, 'lib')
+require 'ryac'
+# The level tests run these exact recipes; regenerating from the same
+# table is what keeps the pins reproducible by a test run.
+require_relative '../tests/support/stage_recipes'
+
+CODE = File.read(File.join(ROOT, 'tests/fixtures/level_test_code.rb'), encoding: Encoding::UTF_8)
+
+RECIPES = MinifyTestHelper::STAGE_RECIPES
+
+# Cosmetic chunking in the pins' style: break after ';' when a natural
+# statement head follows. Lossless by construction (join == original).
+def chunk(code)
+  lines = code.gsub(/;(?=(?:def |class |module |alias |attr|puts |end;|define_))/, ";\n").split("\n")
+  raise 'chunking lost bytes' unless lines.join == code
+  lines
+end
+
+RECIPES.each do |level, stages|
+  result = Ryac::Minifier.run_stages(CODE, stages)
+  path = File.join(ROOT, "tests/ryac/levels/test_level#{level}.rb")
+  text = File.read(path, encoding: Encoding::UTF_8)
+
+  entries = chunk(result.code).map { |line| "      #{line.inspect}," }.join("\n")
+  block = "expected = [\n#{entries}\n    ].join('')"
+  new_text = text.sub(/expected = \[.*?\]\.join\(''\)/m) { block }
+  raise "expected block not found in #{path}" if new_text == text && !text.include?(block)
+
+  pre = "assert_equal #{result.preamble.inspect.tr('"', "'")}, result.preamble"
+  new_text = new_text.sub(/assert_equal '.*?', result\.preamble/) { pre }
+  ali = "assert_equal #{result.aliases.inspect.tr('"', "'")}, result.aliases"
+  new_text = new_text.sub(/assert_equal '.*?', result\.aliases/) { ali }
+  File.write(path, new_text)
+  puts "level #{level}: code=#{result.code.bytesize}B preamble=#{result.preamble.bytesize}B aliases=#{result.aliases.bytesize}B"
+end

metadata

@@ -0,0 +1,201 @@
+--- !ruby/object:Gem::Specification
+name: ryac
+version: !ruby/object:Gem::Version
+  version: 0.2.0
+platform: ruby
+authors:
+- ahogappa
+bindir: bin
+cert_chain: []
+date: 1980-01-02 00:00:00.000000000 Z
+dependencies:
+- !ruby/object:Gem::Dependency
+  name: prism
+  requirement: !ruby/object:Gem::Requirement
+    requirements:
+    - - ">="
+      - !ruby/object:Gem::Version
+        version: 1.4.0
+  type: :runtime
+  prerelease: false
+  version_requirements: !ruby/object:Gem::Requirement
+    requirements:
+    - - ">="
+      - !ruby/object:Gem::Version
+        version: 1.4.0
+- !ruby/object:Gem::Dependency
+  name: typeprof
+  requirement: !ruby/object:Gem::Requirement
+    requirements:
+    - - ">="
+      - !ruby/object:Gem::Version
+        version: 0.32.0
+  type: :runtime
+  prerelease: false
+  version_requirements: !ruby/object:Gem::Requirement
+    requirements:
+    - - ">="
+      - !ruby/object:Gem::Version
+        version: 0.32.0
+- !ruby/object:Gem::Dependency
+  name: rbs
+  requirement: !ruby/object:Gem::Requirement
+    requirements:
+    - - ">="
+      - !ruby/object:Gem::Version
+        version: 3.6.0
+    - - "<"
+      - !ruby/object:Gem::Version
+        version: 4.1.0
+  type: :runtime
+  prerelease: false
+  version_requirements: !ruby/object:Gem::Requirement
+    requirements:
+    - - ">="
+      - !ruby/object:Gem::Version
+        version: 3.6.0
+    - - "<"
+      - !ruby/object:Gem::Version
+        version: 4.1.0
+description: 'Ryac minifies Ruby source code using Prism AST transformations and TypeProf
+  type inference. It supports multi-file bundling via require_relative, two compression
+  levels (stable: whitespace removal, constant folding, constant/variable renaming;
+  unstable: adds method renaming), and preserves functional equivalence through scope-aware
+  analysis.'
+email:
+- ahogappa@gmail.com
+executables:
+- ryac
+extensions: []
+extra_rdoc_files: []
+files:
+- LICENSE
+- README.md
+- Rakefile
+- Steepfile
+- bin/console
+- bin/ryac
+- bin/setup
+- lib/ryac.rb
+- lib/ryac/analysis/constant/collection.rb
+- lib/ryac/analysis/constant/rename_mapping.rb
+- lib/ryac/analysis/cvar/collection.rb
+- lib/ryac/analysis/gvar/collection.rb
+- lib/ryac/analysis/gvar/rename_mapping.rb
+- lib/ryac/analysis/ivar/collection.rb
+- lib/ryac/analysis/keyword/collection.rb
+- lib/ryac/analysis/keyword/rename_mapping.rb
+- lib/ryac/analysis/local_scopes.rb
+- lib/ryac/analysis/method/collection.rb
+- lib/ryac/analysis/method/rename_mapping.rb
+- lib/ryac/analysis/method_aliases.rb
+- lib/ryac/analysis/method_aliasing.rb
+- lib/ryac/analysis/nesting.rb
+- lib/ryac/analysis/scope_management.rb
+- lib/ryac/analysis/site_bucket_mapping.rb
+- lib/ryac/analysis/type_oracle.rb
+- lib/ryac/ast_utils.rb
+- lib/ryac/errors.rb
+- lib/ryac/gem_resolver.rb
+- lib/ryac/minifier.rb
+- lib/ryac/name_generator.rb
+- lib/ryac/pipeline/analyzer.rb
+- lib/ryac/pipeline/attr_decl_shorten.rb
+- lib/ryac/pipeline/boolean_shorten.rb
+- lib/ryac/pipeline/char_shorten.rb
+- lib/ryac/pipeline/compactor.rb
+- lib/ryac/pipeline/concatenator.rb
+- lib/ryac/pipeline/constant_aliaser.rb
+- lib/ryac/pipeline/constant_fold.rb
+- lib/ryac/pipeline/control_flow_simplify.rb
+- lib/ryac/pipeline/data_types.rb
+- lib/ryac/pipeline/endless_method.rb
+- lib/ryac/pipeline/errors.rb
+- lib/ryac/pipeline/file_collector.rb
+- lib/ryac/pipeline/method_renamer.rb
+- lib/ryac/pipeline/paren_optimizer.rb
+- lib/ryac/pipeline/rename_patcher.rb
+- lib/ryac/pipeline/source_patcher.rb
+- lib/ryac/pipeline/spelling_shorten.rb
+- lib/ryac/pipeline/stage.rb
+- lib/ryac/pipeline/stage_runner.rb
+- lib/ryac/pipeline/variable_renamer.rb
+- lib/ryac/union_find.rb
+- lib/ryac/version.rb
+- rbs_collection.lock.yaml
+- rbs_collection.yaml
+- sig/ryac.rbs
+- sig/ryac/analysis/constant/collection.rbs
+- sig/ryac/analysis/constant/rename_mapping.rbs
+- sig/ryac/analysis/cvar/collection.rbs
+- sig/ryac/analysis/gvar/collection.rbs
+- sig/ryac/analysis/gvar/rename_mapping.rbs
+- sig/ryac/analysis/ivar/collection.rbs
+- sig/ryac/analysis/keyword/collection.rbs
+- sig/ryac/analysis/keyword/rename_mapping.rbs
+- sig/ryac/analysis/local_scopes.rbs
+- sig/ryac/analysis/method/collection.rbs
+- sig/ryac/analysis/method/rename_mapping.rbs
+- sig/ryac/analysis/method_aliases.rbs
+- sig/ryac/analysis/method_aliasing.rbs
+- sig/ryac/analysis/nesting.rbs
+- sig/ryac/analysis/scope_management.rbs
+- sig/ryac/analysis/site_bucket_mapping.rbs
+- sig/ryac/analysis/type_oracle.rbs
+- sig/ryac/ast_utils.rbs
+- sig/ryac/errors.rbs
+- sig/ryac/gem_resolver.rbs
+- sig/ryac/minifier.rbs
+- sig/ryac/name_generator.rbs
+- sig/ryac/pipeline/analyzer.rbs
+- sig/ryac/pipeline/attr_decl_shorten.rbs
+- sig/ryac/pipeline/boolean_shorten.rbs
+- sig/ryac/pipeline/char_shorten.rbs
+- sig/ryac/pipeline/compactor.rbs
+- sig/ryac/pipeline/concatenator.rbs
+- sig/ryac/pipeline/constant_aliaser.rbs
+- sig/ryac/pipeline/constant_fold.rbs
+- sig/ryac/pipeline/control_flow_simplify.rbs
+- sig/ryac/pipeline/data_types.rbs
+- sig/ryac/pipeline/endless_method.rbs
+- sig/ryac/pipeline/errors.rbs
+- sig/ryac/pipeline/file_collector.rbs
+- sig/ryac/pipeline/method_renamer.rbs
+- sig/ryac/pipeline/paren_optimizer.rbs
+- sig/ryac/pipeline/rename_patcher.rbs
+- sig/ryac/pipeline/source_patcher.rbs
+- sig/ryac/pipeline/spelling_shorten.rbs
+- sig/ryac/pipeline/stage.rbs
+- sig/ryac/pipeline/stage_runner.rbs
+- sig/ryac/pipeline/variable_renamer.rbs
+- sig/ryac/union_find.rbs
+- sig/shims/env.rbs
+- sig/shims/typeprof/core.rbs
+- sig/shims/typeprof/core/ast.rbs
+- sig/shims/typeprof/core/type.rbs
+- tools/regen_pins.rb
+homepage: https://github.com/ahogappa/ryac
+licenses:
+- MIT
+metadata:
+  homepage_uri: https://github.com/ahogappa/ryac
+  source_code_uri: https://github.com/ahogappa/ryac
+  changelog_uri: https://github.com/ahogappa/ryac/releases
+rdoc_options: []
+require_paths:
+- lib
+required_ruby_version: !ruby/object:Gem::Requirement
+  requirements:
+  - - ">="
+    - !ruby/object:Gem::Version
+      version: 3.4.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: A Ruby source code minifier with type-aware renaming (ryac, read as ryaku)
+test_files: []