kumi 0.0.36 → 0.1.0

data/.rubocop_todo.yml

@@ -0,0 +1,931 @@
+# This configuration was generated by
+# `rubocop --auto-gen-config --auto-gen-only-exclude --exclude-limit 300`
+# on 2026-06-18 07:13:21 UTC using RuboCop version 1.81.6.
+# The point is for the user to remove these configuration records
+# one by one as the offenses are removed from the code base.
+# Note that changes in the inspected code, or installation of new
+# versions of RuboCop, may require this file to be generated again.
+
+# Offense count: 12
+# This cop supports safe autocorrection (--autocorrect).
+# Configuration parameters: EnforcedStyle.
+# SupportedStyles: leading, trailing
+Layout/LineContinuationLeadingSpace:
+  Exclude:
+    - 'lib/kumi/core/analyzer/passes/input_collector_pass.rb'
+    - 'lib/kumi/core/ruby_parser/input_builder.rb'
+
+# Offense count: 9
+# This cop supports safe autocorrection (--autocorrect).
+# Configuration parameters: Max, AllowHeredoc, AllowURI, AllowQualifiedName, URISchemes, IgnoreCopDirectives, AllowedPatterns, SplitStrings.
+# URISchemes: http, https
+Layout/LineLength:
+  Exclude:
+    - 'lib/kumi/core/analyzer/passes/normalize_to_nast_pass.rb'
+    - 'lib/kumi/core/compiler/access_planner_v2.rb'
+    - 'lib/kumi/dev/profile_aggregator.rb'
+    - 'lib/kumi/ir/df/passes/support/instruction_cloner.rb'
+    - 'spec/kumi/ir/df/lower_spec.rb'
+
+# Offense count: 2
+# This cop supports safe autocorrection (--autocorrect).
+Lint/AmbiguousOperatorPrecedence:
+  Exclude:
+    - 'spec/integration/outer_axis_spec.rb'
+
+# Offense count: 1
+# This cop supports unsafe autocorrection (--autocorrect-all).
+# Configuration parameters: RequireParenthesesForMethodChains.
+Lint/AmbiguousRange:
+  Exclude:
+    - 'spec/support/debug_printers.rb'
+
+# Offense count: 10
+# Configuration parameters: AllowedMethods.
+# AllowedMethods: enums
+Lint/ConstantDefinitionInBlock:
+  Exclude:
+    - 'spec/integration/element_access_mode_spec.rb'
+    - 'spec/kumi/core/analyzer/debug_spec.rb'
+    - 'spec/kumi/ir/df/passes/import_inlining_spec.rb'
+    - 'spec/kumi/parser/guard_rails_spec.rb'
+    - 'spec/kumi/parser/hash_spec.rb'
+    - 'spec/kumi/parser_imports_spec.rb'
+
+# Offense count: 16
+# Configuration parameters: IgnoreLiteralBranches, IgnoreConstantBranches, IgnoreDuplicateElseBranch.
+Lint/DuplicateBranch:
+  Exclude:
+    - 'lib/kumi/core/analyzer/debug.rb'
+    - 'lib/kumi/core/analyzer/passes/codegen/loop/js/emitter.rb'
+    - 'lib/kumi/core/analyzer/passes/codegen/loop/ruby/emitter.rb'
+    - 'lib/kumi/core/analyzer/passes/input_collector_pass.rb'
+    - 'lib/kumi/core/analyzer/passes/nast_dimensional_analyzer_pass.rb'
+    - 'lib/kumi/core/analyzer/passes/semantic_constraint_validator_pass.rb'
+    - 'lib/kumi/core/analyzer/passes/unsat_detector_pass.rb'
+    - 'lib/kumi/core/compiler/accessors/read_accessor.rb'
+    - 'lib/kumi/core/json_schema/generator.rb'
+    - 'lib/kumi/dev/ir.rb'
+    - 'lib/kumi/dev/profile_aggregator.rb'
+    - 'lib/kumi/dev/profile_runner.rb'
+    - 'lib/kumi/pack/builder.rb'
+    - 'spec/support/error_inspector.rb'
+
+# Offense count: 1
+Lint/DuplicateMethods:
+  Exclude:
+    - 'lib/kumi/core/nast.rb'
+
+# Offense count: 1
+# Configuration parameters: AllowComments, AllowEmptyLambdas.
+Lint/EmptyBlock:
+  Exclude:
+    - 'spec/kumi/schema_spec.rb'
+
+# Offense count: 1
+# Configuration parameters: AllowComments.
+Lint/EmptyClass:
+  Exclude:
+    - 'spec/kumi/parser_imports_spec.rb'
+
+# Offense count: 1
+Lint/FloatComparison:
+  Exclude:
+    - 'spec/kumi/sugar_literal_lifting_spec.rb'
+
+# Offense count: 4
+Lint/HashCompareByIdentity:
+  Exclude:
+    - 'lib/kumi/ir/df/lower.rb'
+    - 'lib/kumi/ir/loop/lower.rb'
+
+# Offense count: 1
+Lint/IneffectiveAccessModifier:
+  Exclude:
+    - 'lib/kumi/dev/ir.rb'
+
+# Offense count: 4
+# Configuration parameters: AllowedParentClasses.
+Lint/MissingSuper:
+  Exclude:
+    - 'lib/kumi/core/types/value_objects.rb'
+    - 'lib/kumi/ir/df/passes/import_inlining.rb'
+
+# Offense count: 2
+# This cop supports unsafe autocorrection (--autocorrect-all).
+Lint/NonAtomicFileOperation:
+  Exclude:
+    - 'spec/kumi/core/analyzer/checkpoint_spec.rb'
+    - 'spec/kumi/frontends_spec.rb'
+
+# Offense count: 2
+# This cop supports unsafe autocorrection (--autocorrect-all).
+# Configuration parameters: AllowedMethods, InferNonNilReceiver, AdditionalNilMethods.
+# AllowedMethods: instance_of?, kind_of?, is_a?, eql?, respond_to?, equal?
+# AdditionalNilMethods: present?, blank?, try, try!
+Lint/RedundantSafeNavigation:
+  Exclude:
+    - 'lib/kumi/core/analyzer/passes/unsat_detector_pass.rb'
+    - 'lib/kumi/ir/loop/lower.rb'
+
+# Offense count: 2
+Lint/StructNewOverride:
+  Exclude:
+    - 'lib/kumi/core/analyzer/structs/access_plan.rb'
+    - 'lib/kumi/syntax/root.rb'
+
+# Offense count: 1
+# Configuration parameters: AllowComments, AllowNil.
+Lint/SuppressedException:
+  Exclude:
+    - 'spec/kumi/parser/guard_rails_spec.rb'
+
+# Offense count: 1
+# Configuration parameters: AllowKeywordBlockArguments.
+Lint/UnderscorePrefixedVariableName:
+  Exclude:
+    - 'lib/kumi/core/analyzer/passes/input_collector_pass.rb'
+
+# Offense count: 14
+# This cop supports safe autocorrection (--autocorrect).
+# Configuration parameters: AllowUnusedKeywordArguments, IgnoreEmptyMethods, IgnoreNotImplementedMethods, NotImplementedExceptions.
+# NotImplementedExceptions: NotImplementedError
+Lint/UnusedMethodArgument:
+  Exclude:
+    - 'lib/kumi/core/analyzer/passes/codegen/loop/js/emitter.rb'
+    - 'lib/kumi/ir/df/passes/broadcast_simplify.rb'
+    - 'lib/kumi/ir/df/passes/cse.rb'
+    - 'lib/kumi/ir/df/passes/decl_inlining.rb'
+    - 'lib/kumi/ir/df/passes/load_dedup.rb'
+    - 'lib/kumi/ir/df/passes/stencil_cse.rb'
+    - 'lib/kumi/ir/df/passes/tuple_to_object.rb'
+    - 'lib/kumi/ir/vec.rb'
+    - 'lib/kumi/ir/vec/passes/axis_canonicalization.rb'
+    - 'lib/kumi/ir/vec/passes/constant_propagation.rb'
+    - 'lib/kumi/ir/vec/passes/dce.rb'
+    - 'lib/kumi/ir/vec/passes/gvn.rb'
+    - 'lib/kumi/ir/vec/passes/peephole_simplify.rb'
+    - 'lib/kumi/ir/vec/passes/stencil_detection.rb'
+
+# Offense count: 1
+Lint/UselessRescue:
+  Exclude:
+    - 'lib/kumi/core/analyzer/passes/normalize_to_nast_pass.rb'
+
+# Offense count: 79
+# Configuration parameters: AllowedMethods, AllowedPatterns, CountRepeatedAttributes, Max.
+Metrics/AbcSize:
+  Exclude:
+    - 'lib/kumi/analyzer.rb'
+    - 'lib/kumi/core/analyzer/binder.rb'
+    - 'lib/kumi/core/analyzer/checkpoint.rb'
+    - 'lib/kumi/core/analyzer/debug.rb'
+    - 'lib/kumi/core/analyzer/folder.rb'
+    - 'lib/kumi/core/analyzer/pass_manager.rb'
+    - 'lib/kumi/core/compiler/access_emit/base.rb'
+    - 'lib/kumi/core/compiler/access_emit/each_indexed.rb'
+    - 'lib/kumi/core/compiler/access_emit/materialize.rb'
+    - 'lib/kumi/core/compiler/access_emit/ravel.rb'
+    - 'lib/kumi/core/compiler/access_planner_v2.rb'
+    - 'lib/kumi/core/compiler/accessors/base.rb'
+    - 'lib/kumi/core/compiler/accessors/each_indexed_accessor.rb'
+    - 'lib/kumi/core/compiler/accessors/materialize_accessor.rb'
+    - 'lib/kumi/core/compiler/accessors/ravel_accessor.rb'
+    - 'lib/kumi/core/expression_renderer.rb'
+    - 'lib/kumi/core/functions/overload_resolver.rb'
+    - 'lib/kumi/core/ir/execution_engine/combinators.rb'
+    - 'lib/kumi/core/ir/execution_engine/interpreter.rb'
+    - 'lib/kumi/core/ir/execution_engine/profiler.rb'
+    - 'lib/kumi/core/irv2/module.rb'
+    - 'lib/kumi/core/ruby_parser/sugar.rb'
+    - 'lib/kumi/core/types/inference.rb'
+    - 'lib/kumi/core/types/normalizer.rb'
+    - 'lib/kumi/dev/golden_v2.rb'
+    - 'lib/kumi/dev/ir.rb'
+    - 'lib/kumi/dev/parse.rb'
+    - 'lib/kumi/dev/pretty_printer.rb'
+    - 'lib/kumi/dev/printer/irv2_formatter.rb'
+    - 'lib/kumi/dev/profile_aggregator.rb'
+    - 'lib/kumi/dev/profile_runner.rb'
+    - 'lib/kumi/dev/runner.rb'
+    - 'lib/kumi/doc_generator/formatters/markdown.rb'
+    - 'lib/kumi/function_registry/loader.rb'
+    - 'lib/kumi/pack/builder.rb'
+    - 'lib/kumi/schema.rb'
+    - 'lib/kumi/schema_metadata.rb'
+    - 'lib/kumi/schema_metadata/printer.rb'
+    - 'lib/kumi/support/ir_render.rb'
+    - 'lib/kumi/support/nast_printer.rb'
+    - 'lib/kumi/support/s_expression_printer.rb'
+    - 'lib/kumi/support/snast_printer.rb'
+    - 'lib/kumi/syntax/root.rb'
+
+# Offense count: 19
+# Configuration parameters: CountComments, Max, CountAsOne, AllowedMethods, AllowedPatterns, inherit_mode.
+# AllowedMethods: refine
+Metrics/BlockLength:
+  Exclude:
+    - 'lib/kumi/core/analyzer/binder.rb'
+    - 'lib/kumi/core/analyzer/passes/import_analysis_pass.rb'
+    - 'lib/kumi/core/analyzer/passes/input_collector_pass.rb'
+    - 'lib/kumi/core/compiler/access_planner_v2.rb'
+    - 'lib/kumi/core/compiler/accessors/each_indexed_accessor.rb'
+    - 'lib/kumi/core/compiler/accessors/materialize_accessor.rb'
+    - 'lib/kumi/core/compiler/accessors/ravel_accessor.rb'
+    - 'lib/kumi/core/ir/execution_engine/interpreter.rb'
+    - 'lib/kumi/core/ruby_parser/dsl_cascade_builder.rb'
+    - 'lib/kumi/core/ruby_parser/sugar.rb'
+    - 'lib/kumi/ir/df/passes/import_inlining.rb'
+    - 'lib/kumi/ir/df/passes/load_dedup.rb'
+    - 'lib/kumi/ir/df/passes/tuple_fold_canonicalization.rb'
+    - 'lib/kumi/ir/loop/lower.rb'
+
+# Offense count: 1
+# Configuration parameters: CountBlocks, CountModifierForms, Max.
+Metrics/BlockNesting:
+  Exclude:
+    - 'lib/kumi/core/compiler/accessors/materialize_accessor.rb'
+
+# Offense count: 32
+# Configuration parameters: CountComments, Max, CountAsOne.
+Metrics/ClassLength:
+  Exclude:
+    - 'lib/kumi/core/analyzer/debug.rb'
+    - 'lib/kumi/core/analyzer/pass_manager.rb'
+    - 'lib/kumi/core/analyzer/passes/attach_terminal_info_pass.rb'
+    - 'lib/kumi/core/analyzer/passes/codegen/loop/js/emitter.rb'
+    - 'lib/kumi/core/analyzer/passes/codegen/loop/ruby/emitter.rb'
+    - 'lib/kumi/core/analyzer/passes/contract_checker_pass.rb'
+    - 'lib/kumi/core/analyzer/passes/formal_constraint_propagator.rb'
+    - 'lib/kumi/core/analyzer/passes/input_collector_pass.rb'
+    - 'lib/kumi/core/analyzer/passes/join_reduce_planning_pass.rb'
+    - 'lib/kumi/core/analyzer/passes/lower_to_irv2_pass.rb'
+    - 'lib/kumi/core/analyzer/passes/nast_dimensional_analyzer_pass.rb'
+    - 'lib/kumi/core/analyzer/passes/normalize_to_nast_pass.rb'
+    - 'lib/kumi/core/analyzer/passes/snast_pass.rb'
+    - 'lib/kumi/core/analyzer/passes/unsat_detector_pass.rb'
+    - 'lib/kumi/core/compiler/access_planner_v2.rb'
+    - 'lib/kumi/core/ir/execution_engine/profiler.rb'
+    - 'lib/kumi/core/ruby_parser/dsl_cascade_builder.rb'
+    - 'lib/kumi/core/ruby_parser/input_builder.rb'
+    - 'lib/kumi/core/ruby_parser/schema_builder.rb'
+    - 'lib/kumi/dev/golden_v2.rb'
+    - 'lib/kumi/dev/printer/irv2_formatter.rb'
+    - 'lib/kumi/dev/profile_aggregator.rb'
+    - 'lib/kumi/doc_generator/formatters/markdown.rb'
+    - 'lib/kumi/ir/base/instruction.rb'
+    - 'lib/kumi/ir/df/lower.rb'
+    - 'lib/kumi/ir/df/passes/import_inlining.rb'
+    - 'lib/kumi/ir/df/passes/tuple_fold_canonicalization.rb'
+    - 'lib/kumi/ir/loop/lower.rb'
+    - 'lib/kumi/ir/vec/lower.rb'
+    - 'lib/kumi/schema_metadata.rb'
+    - 'lib/kumi/support/s_expression_printer.rb'
+    - 'spec/support/debug_printers.rb'
+
+# Offense count: 39
+# Configuration parameters: AllowedMethods, AllowedPatterns, Max.
+Metrics/CyclomaticComplexity:
+  Exclude:
+    - 'lib/kumi/core/analyzer/binder.rb'
+    - 'lib/kumi/core/analyzer/debug.rb'
+    - 'lib/kumi/core/analyzer/pass_manager.rb'
+    - 'lib/kumi/core/compiler/access_emit/base.rb'
+    - 'lib/kumi/core/compiler/access_planner_v2.rb'
+    - 'lib/kumi/core/compiler/accessors/each_indexed_accessor.rb'
+    - 'lib/kumi/core/compiler/accessors/materialize_accessor.rb'
+    - 'lib/kumi/core/compiler/accessors/ravel_accessor.rb'
+    - 'lib/kumi/core/expression_renderer.rb'
+    - 'lib/kumi/core/input/type_matcher.rb'
+    - 'lib/kumi/core/ir/execution_engine/combinators.rb'
+    - 'lib/kumi/core/ir/execution_engine/interpreter.rb'
+    - 'lib/kumi/core/ir/execution_engine/profiler.rb'
+    - 'lib/kumi/core/irv2/module.rb'
+    - 'lib/kumi/core/types/inference.rb'
+    - 'lib/kumi/core/types/normalizer.rb'
+    - 'lib/kumi/dev/parse.rb'
+    - 'lib/kumi/dev/profile_aggregator.rb'
+    - 'lib/kumi/dev/profile_runner.rb'
+    - 'lib/kumi/doc_generator/formatters/markdown.rb'
+    - 'lib/kumi/function_registry/loader.rb'
+    - 'lib/kumi/pack/builder.rb'
+    - 'lib/kumi/schema_metadata.rb'
+    - 'lib/kumi/support/nast_printer.rb'
+    - 'lib/kumi/support/s_expression_printer.rb'
+    - 'lib/kumi/support/snast_printer.rb'
+    - 'spec/support/debug_printers.rb'
+
+# Offense count: 32
+# Configuration parameters: CountComments, Max, CountAsOne, AllowedMethods, AllowedPatterns.
+Metrics/MethodLength:
+  Exclude:
+    - 'lib/kumi/core/analyzer/binder.rb'
+    - 'lib/kumi/core/compiler/access_emit/base.rb'
+    - 'lib/kumi/core/compiler/access_emit/each_indexed.rb'
+    - 'lib/kumi/core/compiler/access_emit/materialize.rb'
+    - 'lib/kumi/core/compiler/access_emit/ravel.rb'
+    - 'lib/kumi/core/compiler/access_planner_v2.rb'
+    - 'lib/kumi/core/compiler/accessors/each_indexed_accessor.rb'
+    - 'lib/kumi/core/compiler/accessors/materialize_accessor.rb'
+    - 'lib/kumi/core/compiler/accessors/ravel_accessor.rb'
+    - 'lib/kumi/core/ir/execution_engine/combinators.rb'
+    - 'lib/kumi/core/ir/execution_engine/interpreter.rb'
+    - 'lib/kumi/core/ir/execution_engine/profiler.rb'
+    - 'lib/kumi/core/irv2/module.rb'
+    - 'lib/kumi/core/ruby_parser/dsl_cascade_builder.rb'
+    - 'lib/kumi/core/ruby_parser/sugar.rb'
+    - 'lib/kumi/core/types/inference.rb'
+    - 'lib/kumi/core/types/normalizer.rb'
+    - 'lib/kumi/dev/golden_v2.rb'
+    - 'lib/kumi/dev/parse.rb'
+    - 'lib/kumi/dev/profile_aggregator.rb'
+    - 'lib/kumi/dev/profile_runner.rb'
+    - 'lib/kumi/dev/runner.rb'
+    - 'lib/kumi/doc_generator/formatters/markdown.rb'
+    - 'lib/kumi/schema.rb'
+    - 'lib/kumi/support/nast_printer.rb'
+    - 'lib/kumi/support/snast_printer.rb'
+
+# Offense count: 10
+# Configuration parameters: CountComments, Max, CountAsOne.
+Metrics/ModuleLength:
+  Exclude:
+    - 'lib/kumi/core/analyzer/debug.rb'
+    - 'lib/kumi/core/compiler/access_emit/base.rb'
+    - 'lib/kumi/core/export/node_builders.rb'
+    - 'lib/kumi/core/export/node_serializers.rb'
+    - 'lib/kumi/core/ir/execution_engine/interpreter.rb'
+    - 'lib/kumi/core/ir/execution_engine/profiler.rb'
+    - 'lib/kumi/dev/pretty_printer.rb'
+    - 'lib/kumi/dev/profile_runner.rb'
+    - 'lib/kumi/pack/builder.rb'
+    - 'spec/support/debug_printers.rb'
+
+# Offense count: 32
+# Configuration parameters: Max, CountKeywordArgs, MaxOptionalParameters.
+Metrics/ParameterLists:
+  Exclude:
+    - 'lib/kumi/core/analyzer/passes/attach_terminal_info_pass.rb'
+    - 'lib/kumi/core/analyzer/passes/dependency_resolver_pass.rb'
+    - 'lib/kumi/core/analyzer/structs/access_plan.rb'
+    - 'lib/kumi/core/compiler/access_emit/base.rb'
+    - 'lib/kumi/core/ir/execution_engine/profiler.rb'
+    - 'lib/kumi/ir/df.rb'
+    - 'lib/kumi/ir/df/ops/node.rb'
+    - 'lib/kumi/ir/loop/builder.rb'
+    - 'lib/kumi/ir/loop/ops/node.rb'
+    - 'lib/kumi/ir/testing/snast_factory.rb'
+    - 'lib/kumi/ir/vec.rb'
+    - 'lib/kumi/ir/vec/ops/node.rb'
+    - 'lib/kumi/ir/vec/passes/support/instruction_cloner.rb'
+    - 'lib/kumi/pack/builder.rb'
+
+# Offense count: 30
+# Configuration parameters: AllowedMethods, AllowedPatterns, Max.
+Metrics/PerceivedComplexity:
+  Exclude:
+    - 'lib/kumi/core/analyzer/binder.rb'
+    - 'lib/kumi/core/analyzer/debug.rb'
+    - 'lib/kumi/core/analyzer/pass_manager.rb'
+    - 'lib/kumi/core/compiler/access_emit/base.rb'
+    - 'lib/kumi/core/compiler/access_planner_v2.rb'
+    - 'lib/kumi/core/ir/execution_engine/combinators.rb'
+    - 'lib/kumi/core/ir/execution_engine/interpreter.rb'
+    - 'lib/kumi/core/ir/execution_engine/profiler.rb'
+    - 'lib/kumi/dev/parse.rb'
+    - 'lib/kumi/dev/profile_aggregator.rb'
+    - 'lib/kumi/dev/profile_runner.rb'
+    - 'lib/kumi/doc_generator/formatters/markdown.rb'
+    - 'lib/kumi/pack/builder.rb'
+    - 'lib/kumi/schema_metadata.rb'
+    - 'lib/kumi/support/nast_printer.rb'
+    - 'lib/kumi/support/s_expression_printer.rb'
+    - 'lib/kumi/support/snast_printer.rb'
+
+# Offense count: 2
+Naming/AccessorMethodName:
+  Exclude:
+    - 'lib/kumi/core/ir/execution_engine/profiler.rb'
+    - 'lib/kumi/ir/base/builder.rb'
+
+# Offense count: 14
+# Configuration parameters: EnforcedStyle, AllowedPatterns, ForbiddenIdentifiers, ForbiddenPatterns.
+# SupportedStyles: snake_case, camelCase
+# ForbiddenIdentifiers: __id__, __send__
+Naming/MethodName:
+  Exclude:
+    - 'lib/kumi/core/ir.rb'
+
+# Offense count: 134
+# Configuration parameters: MinNameLength, AllowNamesEndingInNumbers, AllowedNames, ForbiddenNames.
+# AllowedNames: as, at, by, cc, db, id, if, in, io, ip, of, on, os, pp, to
+Naming/MethodParameterName:
+  Exclude:
+    - 'lib/kumi/core/analyzer/constant_folding_helpers.rb'
+    - 'lib/kumi/core/analyzer/fn_aliases.rb'
+    - 'lib/kumi/core/analyzer/passes/attach_anchors_pass.rb'
+    - 'lib/kumi/core/analyzer/passes/attach_terminal_info_pass.rb'
+    - 'lib/kumi/core/analyzer/passes/codegen/loop/js/emitter.rb'
+    - 'lib/kumi/core/analyzer/passes/codegen/loop/ruby/emitter.rb'
+    - 'lib/kumi/core/analyzer/passes/codegen/loop/ruby/output_buffer.rb'
+    - 'lib/kumi/core/analyzer/passes/input_collector_pass.rb'
+    - 'lib/kumi/core/analyzer/passes/load_input_cse_pass.rb'
+    - 'lib/kumi/core/analyzer/passes/normalize_to_nast_pass.rb'
+    - 'lib/kumi/core/analyzer/passes/precompute_access_paths_pass.rb'
+    - 'lib/kumi/core/analyzer/passes/snast_pass.rb'
+    - 'lib/kumi/core/analyzer/state_serde.rb'
+    - 'lib/kumi/core/compiler/accessors/base.rb'
+    - 'lib/kumi/core/ir.rb'
+    - 'lib/kumi/core/ir/execution_engine/combinators.rb'
+    - 'lib/kumi/core/ir/execution_engine/profiler.rb'
+    - 'lib/kumi/core/ir/execution_engine/values.rb'
+    - 'lib/kumi/core/irv2/builder.rb'
+    - 'lib/kumi/core/irv2/value.rb'
+    - 'lib/kumi/core/nast.rb'
+    - 'lib/kumi/dev/printer/irv2_formatter.rb'
+    - 'lib/kumi/ir/base/module.rb'
+    - 'lib/kumi/ir/df.rb'
+    - 'lib/kumi/ir/df/lower.rb'
+    - 'lib/kumi/ir/df/ops/fold.rb'
+    - 'lib/kumi/ir/df/ops/map.rb'
+    - 'lib/kumi/ir/df/ops/reduce.rb'
+    - 'lib/kumi/ir/df/passes/broadcast_simplify.rb'
+    - 'lib/kumi/ir/df/passes/cse.rb'
+    - 'lib/kumi/ir/df/passes/decl_inlining.rb'
+    - 'lib/kumi/ir/df/passes/import_inlining.rb'
+    - 'lib/kumi/ir/df/passes/load_dedup.rb'
+    - 'lib/kumi/ir/df/passes/stencil_cse.rb'
+    - 'lib/kumi/ir/df/passes/tuple_fold_canonicalization.rb'
+    - 'lib/kumi/ir/loop/builder.rb'
+    - 'lib/kumi/ir/loop/lower.rb'
+    - 'lib/kumi/ir/loop/ops/core_ops.rb'
+    - 'lib/kumi/ir/loop/passes/array_contraction.rb'
+    - 'lib/kumi/ir/loop/passes/loop_fusion.rb'
+    - 'lib/kumi/ir/testing/snast_factory.rb'
+    - 'lib/kumi/ir/vec.rb'
+    - 'lib/kumi/ir/vec/ops/core_ops.rb'
+    - 'lib/kumi/pack/builder.rb'
+    - 'spec/kumi/ir/df/validator_spec.rb'
+    - 'spec/kumi/ir/loop/passes_spec.rb'
+
+# Offense count: 2
+# Configuration parameters: Mode, AllowedMethods, AllowedPatterns, AllowBangMethods, WaywardPredicates.
+# AllowedMethods: call
+# WaywardPredicates: nonzero?
+Naming/PredicateMethod:
+  Exclude:
+    - 'lib/kumi/dev/golden_v2.rb'
+    - 'lib/kumi/schema_metadata.rb'
+
+# Offense count: 2
+# Configuration parameters: NamePrefix, ForbiddenPrefixes, AllowedMethods, MethodDefinitionMacros, UseSorbetSigs.
+# NamePrefix: is_, has_, have_, does_
+# ForbiddenPrefixes: is_, has_, have_, does_
+# AllowedMethods: is_a?
+# MethodDefinitionMacros: define_method, define_singleton_method
+Naming/PredicatePrefix:
+  Exclude:
+    - 'lib/kumi/core/errors.rb'
+    - 'lib/kumi/doc_generator/formatters/markdown.rb'
+
+# Offense count: 4
+# Configuration parameters: MinSize.
+Performance/CollectionLiteralInLoop:
+  Exclude:
+    - 'lib/kumi/core/analyzer/binder.rb'
+    - 'lib/kumi/dev/printer/irv2_formatter.rb'
+    - 'lib/kumi/dev/profile_aggregator.rb'
+    - 'lib/kumi/dev/profile_runner.rb'
+
+# Offense count: 7
+# This cop supports unsafe autocorrection (--autocorrect-all).
+Performance/MapCompact:
+  Exclude:
+    - 'lib/kumi/dev/profile_aggregator.rb'
+    - 'lib/kumi/ir/df/import_inliner.rb'
+    - 'lib/kumi/ir/df/passes/decl_inlining.rb'
+    - 'lib/kumi/ir/df/passes/import_inlining.rb'
+    - 'lib/kumi/ir/df/passes/tuple_fold_canonicalization.rb'
+    - 'lib/kumi/ir/vec/passes/constant_propagation.rb'
+    - 'spec/support/analyzer_state_helper.rb'
+
+# Offense count: 3
+# This cop supports unsafe autocorrection (--autocorrect-all).
+# Configuration parameters: AllowRegexpMatch.
+Performance/RedundantEqualityComparisonBlock:
+  Exclude:
+    - 'lib/kumi/core/analyzer/folder.rb'
+    - 'lib/kumi/ir/base/instruction.rb'
+
+# Offense count: 28
+# This cop supports unsafe autocorrection (--autocorrect-all).
+# Configuration parameters: SkipBlocks, EnforcedStyle, OnlyStaticConstants.
+# SupportedStyles: described_class, explicit
+RSpec/DescribedClass:
+  Exclude:
+    - 'spec/kumi/core/types/value_objects_spec.rb'
+    - 'spec/kumi/version_spec.rb'
+
+# Offense count: 3
+# This cop supports unsafe autocorrection (--autocorrect-all).
+RSpec/EmptyExampleGroup:
+  Exclude:
+    - 'spec/integration/cascade_logic_spec.rb'
+    - 'spec/kumi/schema_spec.rb'
+
+# Offense count: 10
+# Configuration parameters: Max, CountAsOne.
+RSpec/ExampleLength:
+  Exclude:
+    - 'spec/integration/outer_axis_spec.rb'
+    - 'spec/kumi/core/analyzer/checkpoint_spec.rb'
+    - 'spec/kumi/ir/df/lower_spec.rb'
+    - 'spec/kumi/ir/df/passes/import_inlining_spec.rb'
+    - 'spec/kumi/ir/df_examples_spec.rb'
+    - 'spec/kumi/schema_spec.rb'
+
+# Offense count: 12
+# Configuration parameters: AssignmentOnly.
+RSpec/InstanceVariable:
+  Exclude:
+    - 'spec/kumi/analyzer/passes/dependency_resolver_pass_spec.rb'
+    - 'spec/kumi/core/analyzer/debug_spec.rb'
+    - 'spec/kumi/golden_v2_spec.rb'
+    - 'spec/kumi/ir/df/passes/import_inlining_spec.rb'
+
+# Offense count: 20
+RSpec/LeakyConstantDeclaration:
+  Exclude:
+    - 'spec/integration/element_access_mode_spec.rb'
+    - 'spec/kumi/core/analyzer/debug_spec.rb'
+    - 'spec/kumi/ir/df/passes/import_inlining_spec.rb'
+    - 'spec/kumi/parser/guard_rails_spec.rb'
+    - 'spec/kumi/parser/hash_spec.rb'
+    - 'spec/kumi/parser_imports_spec.rb'
+
+# Offense count: 7
+# Configuration parameters: EnforcedStyle.
+# SupportedStyles: have_received, receive
+RSpec/MessageSpies:
+  Exclude:
+    - 'spec/kumi/core/analyzer/checkpoint_spec.rb'
+    - 'spec/kumi/core/analyzer/debug/debug_module_spec.rb'
+
+# Offense count: 5
+# Configuration parameters: AllowSubject, Max.
+RSpec/MultipleMemoizedHelpers:
+  Exclude:
+    - 'spec/kumi/types/inference_spec.rb'
+
+# Offense count: 15
+# Configuration parameters: Max, AllowedGroups.
+RSpec/NestedGroups:
+  Exclude:
+    - 'spec/kumi/core/analyzer/debug_spec.rb'
+    - 'spec/kumi/input/type_matcher_spec.rb'
+
+# Offense count: 4
+# This cop supports unsafe autocorrection (--autocorrect-all).
+# Configuration parameters: Strict, EnforcedStyle, AllowedExplicitMatchers.
+# SupportedStyles: inflected, explicit
+RSpec/PredicateMatcher:
+  Exclude:
+    - 'spec/kumi/core/error_handling_spec.rb'
+
+# Offense count: 3
+# This cop supports unsafe autocorrection (--autocorrect-all).
+RSpec/ReceiveMessages:
+  Exclude:
+    - 'spec/kumi/core/analyzer/debug_spec.rb'
+
+# Offense count: 1
+RSpec/RemoveConst:
+  Exclude:
+    - 'spec/kumi/parser/guard_rails_spec.rb'
+
+# Offense count: 2
+RSpec/RepeatedExample:
+  Exclude:
+    - 'spec/kumi/version_spec.rb'
+
+# Offense count: 26
+# Configuration parameters: CustomTransform, IgnoreMethods, IgnoreMetadata.
+RSpec/SpecFilePathFormat:
+  Exclude:
+    - 'spec/kumi/analyzer/passes/declaration_validator_pass_spec.rb'
+    - 'spec/kumi/analyzer/passes/dependency_resolver_pass_spec.rb'
+    - 'spec/kumi/analyzer/passes/name_indexer_pass_spec.rb'
+    - 'spec/kumi/analyzer/passes/pass_base_spec.rb'
+    - 'spec/kumi/analyzer/passes/toposorter_pass_spec.rb'
+    - 'spec/kumi/analyzer/passes/visitor_pass_spec.rb'
+    - 'spec/kumi/core/analyzer/debug/debug_module_spec.rb'
+    - 'spec/kumi/core/analyzer/debug_spec.rb'
+    - 'spec/kumi/domain/enum_analyzer_spec.rb'
+    - 'spec/kumi/domain/range_analyzer_spec.rb'
+    - 'spec/kumi/domain/validator_spec.rb'
+    - 'spec/kumi/domain/violation_formatter_spec.rb'
+    - 'spec/kumi/errors/input_validation_error_spec.rb'
+    - 'spec/kumi/export_spec.rb'
+    - 'spec/kumi/function_registry/yaml_dtype_loader_spec.rb'
+    - 'spec/kumi/golden_v2_spec.rb'
+    - 'spec/kumi/input/type_matcher_spec.rb'
+    - 'spec/kumi/input/validator_spec.rb'
+    - 'spec/kumi/input/violation_creator_spec.rb'
+    - 'spec/kumi/ir/df_spec.rb'
+    - 'spec/kumi/ir/vec/lower_spec.rb'
+    - 'spec/kumi/json_schema/generator_spec.rb'
+    - 'spec/kumi/parser/dsl_spec.rb'
+    - 'spec/kumi/parser/expression_converter_spec.rb'
+    - 'spec/kumi/types/inference_spec.rb'
+    - 'spec/kumi/types/normalizer_spec.rb'
+
+# Offense count: 1
+RSpec/UnspecifiedException:
+  Exclude:
+    - 'spec/kumi/parser_imports_spec.rb'
+
+# Offense count: 10
+# Configuration parameters: IgnoreNameless, IgnoreSymbolicNames.
+RSpec/VerifiedDoubles:
+  Exclude:
+    - 'spec/kumi/analyzer_refactoring_spec.rb'
+    - 'spec/kumi/core/analyzer/debug/debug_module_spec.rb'
+    - 'spec/kumi/core/analyzer/debug_spec.rb'
+    - 'spec/kumi/core/analyzer/passes/lower_to_dfir_pass_spec.rb'
+    - 'spec/kumi/ir/df/passes/tuple_fold_canonicalization_spec.rb'
+    - 'spec/kumi/json_schema/generator_spec.rb'
+    - 'spec/kumi/parser/expression_converter_spec.rb'
+
+# Offense count: 2
+Security/CompoundHash:
+  Exclude:
+    - 'lib/kumi/core/types/value_objects.rb'
+
+# Offense count: 5
+Security/Eval:
+  Exclude:
+    - 'lib/kumi/core/compiler/access_codegen.rb'
+    - 'spec/support/schema_test_helper.rb'
+
+# Offense count: 2
+Security/MarshalLoad:
+  Exclude:
+    - 'lib/kumi/core/analyzer/state_serde.rb'
+    - 'spec/kumi/core/analyzer/state_serde_spec.rb'
+
+# Offense count: 1
+# This cop supports unsafe autocorrection (--autocorrect-all).
+# Configuration parameters: MinBranchesCount.
+Style/CaseLikeIf:
+  Exclude:
+    - 'lib/kumi/core/compiler/access_emit/base.rb'
+
+# Offense count: 5
+# This cop supports unsafe autocorrection (--autocorrect-all).
+# Configuration parameters: EnforcedStyle, EnforcedStyleForClasses, EnforcedStyleForModules.
+# SupportedStyles: nested, compact
+# SupportedStylesForClasses: ~, nested, compact
+# SupportedStylesForModules: ~, nested, compact
+Style/ClassAndModuleChildren:
+  Exclude:
+    - 'lib/kumi/core/compiler/access_emit/each_indexed.rb'
+    - 'lib/kumi/core/compiler/access_emit/materialize.rb'
+    - 'lib/kumi/core/compiler/access_emit/ravel.rb'
+    - 'lib/kumi/core/compiler/access_emit/read.rb'
+    - 'lib/kumi/core/ir.rb'
+
+# Offense count: 5
+# This cop supports unsafe autocorrection (--autocorrect-all).
+Style/CommentedKeyword:
+  Exclude:
+    - 'lib/kumi/core/analyzer/checkpoint.rb'
+    - 'spec/kumi/core/analyzer/debug_spec.rb'
+
+# Offense count: 1
+Style/DocumentDynamicEvalDefinition:
+  Exclude:
+    - 'spec/support/schema_test_helper.rb'
+
+# Offense count: 6
+# This cop supports unsafe autocorrection (--autocorrect-all).
+# Configuration parameters: EnforcedStyle.
+# SupportedStyles: allowed_in_returns, forbidden
+Style/DoubleNegation:
+  Exclude:
+    - 'lib/kumi/core/ir/execution_engine/interpreter.rb'
+    - 'spec/kumi/core/analyzer/checkpoint_spec.rb'
+
+# Offense count: 1
+# This cop supports safe autocorrection (--autocorrect).
+# Configuration parameters: EnforcedStyle.
+# SupportedStyles: format, sprintf, percent
+Style/FormatString:
+  Exclude:
+    - 'lib/kumi/core/analyzer/checkpoint.rb'
+
+# Offense count: 11
+# This cop supports safe autocorrection (--autocorrect).
+# Configuration parameters: MaxUnannotatedPlaceholdersAllowed, Mode, AllowedMethods, AllowedPatterns.
+# SupportedStyles: annotated, template, unannotated
+Style/FormatStringToken:
+  EnforcedStyle: unannotated
+
+# Offense count: 11
+# This cop supports unsafe autocorrection (--autocorrect-all).
+# Configuration parameters: EnforcedStyle.
+# SupportedStyles: always, always_true, never
+Style/FrozenStringLiteralComment:
+  Exclude:
+    - 'cmd'
+    - 'lib/kumi/core/compiler/access_builder.rb'
+    - 'lib/kumi/dev/printer/width_aware_json.rb'
+    - 'lib/kumi/doc_generator.rb'
+    - 'lib/kumi/doc_generator/formatters/json.rb'
+    - 'lib/kumi/doc_generator/formatters/markdown.rb'
+    - 'lib/kumi/doc_generator/loader.rb'
+    - 'lib/kumi/doc_generator/merger.rb'
+    - 'lib/kumi/syntax/location.rb'
+    - 'spec/kumi/doc_generator_spec.rb'
+    - 'spec/kumi/parser/hash_spec.rb'
+
+# Offense count: 1
+# This cop supports safe autocorrection (--autocorrect).
+# Configuration parameters: MinBodyLength, AllowConsecutiveConditionals.
+Style/GuardClause:
+  Exclude:
+    - 'lib/kumi/core/analyzer/passes/snast_pass.rb'
+
+# Offense count: 1
+# This cop supports unsafe autocorrection (--autocorrect-all).
+# Configuration parameters: AllowSplatArgument.
+Style/HashConversion:
+  Exclude:
+    - 'lib/kumi/core/analyzer/passes/nast_dimensional_analyzer_pass.rb'
+
+# Offense count: 6
+# This cop supports unsafe autocorrection (--autocorrect-all).
+# Configuration parameters: AllowedReceivers.
+# AllowedReceivers: Thread.current
+Style/HashEachMethods:
+  Exclude:
+    - 'lib/kumi/core/analyzer/passes/contract_checker_pass.rb'
+    - 'lib/kumi/core/analyzer/passes/join_reduce_planning_pass.rb'
+    - 'lib/kumi/core/analyzer/passes/lower_to_irv2_pass.rb'
+    - 'lib/kumi/core/analyzer/passes/unsat_detector_pass.rb'
+    - 'lib/kumi/support/snast_printer.rb'
+
+# Offense count: 2
+# This cop supports unsafe autocorrection (--autocorrect-all).
+Style/HashExcept:
+  Exclude:
+    - 'lib/kumi/core/analyzer/binder.rb'
+    - 'lib/kumi/dev/printer/irv2_formatter.rb'
+
+# Offense count: 1
+# This cop supports unsafe autocorrection (--autocorrect-all).
+Style/HashTransformKeys:
+  Exclude:
+    - 'lib/kumi/core/analyzer/passes/assemble_irv2_pass.rb'
+
+# Offense count: 1
+# This cop supports unsafe autocorrection (--autocorrect-all).
+Style/HashTransformValues:
+  Exclude:
+    - 'lib/kumi/doc_generator/formatters/json.rb'
+
+# Offense count: 4
+# This cop supports unsafe autocorrection (--autocorrect-all).
+Style/IdenticalConditionalBranches:
+  Exclude:
+    - 'lib/kumi/core/ir/execution_engine/profiler.rb'
+    - 'lib/kumi/dev/parse.rb'
+
+# Offense count: 7
+# This cop supports safe autocorrection (--autocorrect).
+Style/IfUnlessModifier:
+  Exclude:
+    - 'lib/kumi/core/analyzer/pass_manager.rb'
+    - 'lib/kumi/core/analyzer/passes/attach_terminal_info_pass.rb'
+    - 'lib/kumi/core/ir/execution_engine/combinators.rb'
+    - 'lib/kumi/core/ir/execution_engine/interpreter.rb'
+    - 'lib/kumi/ir/base/instruction.rb'
+    - 'lib/kumi/ir/df/validator.rb'
+    - 'lib/kumi/ir/loop/lower.rb'
+
+# Offense count: 2
+# This cop supports unsafe autocorrection (--autocorrect-all).
+# Configuration parameters: InverseMethods, InverseBlocks.
+Style/InverseMethods:
+  Exclude:
+    - 'lib/kumi/core/analyzer/passes/attach_terminal_info_pass.rb'
+    - 'lib/kumi/core/analyzer/passes/lower_to_irv2_pass.rb'
+
+# Offense count: 1
+# This cop supports unsafe autocorrection (--autocorrect-all).
+Style/MapIntoArray:
+  Exclude:
+    - 'lib/kumi/dev/pretty_printer.rb'
+
+# Offense count: 1
+# This cop supports unsafe autocorrection (--autocorrect-all).
+Style/MapToHash:
+  Exclude:
+    - 'lib/kumi/core/analyzer/passes/precompute_access_paths_pass.rb'
+
+# Offense count: 19
+Style/MultilineBlockChain:
+  Exclude:
+    - 'lib/kumi/core/ir/execution_engine/profiler.rb'
+    - 'lib/kumi/dev/profile_aggregator.rb'
+    - 'lib/kumi/dev/profile_runner.rb'
+    - 'spec/integration/location_tracking_spec.rb'
+    - 'spec/kumi/parser/expression_converter_spec.rb'
+
+# Offense count: 1
+# This cop supports unsafe autocorrection (--autocorrect-all).
+# Configuration parameters: EnforcedStyle.
+# SupportedStyles: literals, strict
+Style/MutableConstant:
+  Exclude:
+    - 'lib/kumi/core/compiler/access_codegen.rb'
+
+# Offense count: 15
+# This cop supports unsafe autocorrection (--autocorrect-all).
+# Configuration parameters: EnforcedStyle, AllowedMethods, AllowedPatterns.
+# SupportedStyles: predicate, comparison
+Style/NumericPredicate:
+  Exclude:
+    - 'lib/kumi/core/analyzer/passes/formal_constraint_propagator.rb'
+    - 'lib/kumi/core/error_reporter.rb'
+    - 'lib/kumi/core/errors.rb'
+    - 'lib/kumi/core/ir/execution_engine/combinators.rb'
+    - 'lib/kumi/core/ir/execution_engine/profiler.rb'
+    - 'lib/kumi/dev/profile_aggregator.rb'
+    - 'lib/kumi/dev/profile_runner.rb'
+
+# Offense count: 2
+# Configuration parameters: AllowedMethods.
+# AllowedMethods: respond_to_missing?
+Style/OptionalBooleanParameter:
+  Exclude:
+    - 'lib/kumi/core/analyzer/passes/nast_dimensional_analyzer_pass.rb'
+    - 'lib/kumi/core/compiler/accessors/each_indexed_accessor.rb'
+
+# Offense count: 3
+# This cop supports unsafe autocorrection (--autocorrect-all).
+# Configuration parameters: ConvertCodeThatCanStartToReturnNil, AllowedMethods, MaxChainLength.
+# AllowedMethods: present?, blank?, presence, try, try!
+Style/SafeNavigation:
+  Exclude:
+    - 'lib/kumi/core/analyzer/passes/normalize_to_nast_pass.rb'
+    - 'lib/kumi/core/errors.rb'
+    - 'lib/kumi/dev/profile_aggregator.rb'
+
+# Offense count: 1
+# This cop supports unsafe autocorrection (--autocorrect-all).
+Style/SingleArgumentDig:
+  Exclude:
+    - 'lib/kumi/core/analyzer/passes/assemble_irv2_pass.rb'
+
+# Offense count: 4
+# This cop supports unsafe autocorrection (--autocorrect-all).
+Style/SlicingWithRange:
+  Exclude:
+    - 'lib/kumi/core/analyzer/passes/attach_terminal_info_pass.rb'
+    - 'lib/kumi/core/analyzer/passes/dependency_resolver_pass.rb'
+    - 'lib/kumi/core/ir/execution_engine/combinators.rb'
+    - 'lib/kumi/pack/builder.rb'
+
+# Offense count: 3
+# This cop supports unsafe autocorrection (--autocorrect-all).
+# Configuration parameters: RequireEnglish.
+# SupportedStyles: use_perl_names, use_english_names, use_builtin_english_names
+Style/SpecialGlobalVars:
+  EnforcedStyle: use_perl_names
+
+# Offense count: 6
+# This cop supports unsafe autocorrection (--autocorrect-all).
+# Configuration parameters: Mode.
+Style/StringConcatenation:
+  Exclude:
+    - 'lib/kumi/analyzer.rb'
+    - 'lib/kumi/core/compiler/access_emit/materialize.rb'
+    - 'lib/kumi/core/irv2/value.rb'
+    - 'lib/kumi/dev/ir.rb'
+    - 'lib/kumi/dev/printer/width_aware_json.rb'
+    - 'lib/kumi/ir/printer.rb'
+
+# Offense count: 1
+# This cop supports unsafe autocorrection (--autocorrect-all).
+Style/StructInheritance:
+  Exclude:
+    - 'lib/kumi/syntax/location.rb'
+
+# Offense count: 2
+# This cop supports unsafe autocorrection (--autocorrect-all).
+# Configuration parameters: AllowMethodsWithArguments, AllowedMethods, AllowedPatterns, AllowComments.
+# AllowedMethods: define_method
+Style/SymbolProc:
+  Exclude:
+    - 'lib/kumi/core/analyzer/passes/codegen/loop/ruby/emitter.rb'
+    - 'lib/kumi/core/compiler/access_planner_v2.rb'