aspera-cli 4.27.0 → 4.27.2

data/lib/aspera/cli/parser.rb

@@ -1,7 +1,9 @@
 # frozen_string_literal: true
 
+require 'aspera/cli/preset_manager'
 require 'aspera/cli/extended_value'
 require 'aspera/cli/error'
+require 'aspera/cli/special_values'
 require 'aspera/cli/terminal_formatter'
 require 'aspera/colors'
 require 'aspera/secret_hider'
@@ -43,15 +45,12 @@ module Aspera
       SYMBOLS = [NO_SYM, YES_SYM].freeze
       # @return [Boolean] `true` if value is a value for `true` in ALL
       def true?(enum)
-        Aspera.assert_values(enum, ALL){'boolean'}
+        Aspera.assert_values(enum, ALL) { 'boolean' }
         TRUE_VALUES.include?(enum)
       end
 
       # @return [:yes, :no]
-      def to_sym(enum)
-        Aspera.assert_values(enum, ALL){'boolean'}
-        TRUE_VALUES.include?(enum) ? YES_SYM : NO_SYM
-      end
+      def to_sym(enum) = true?(enum) ? YES_SYM : NO_SYM
 
       # @return [Boolean] `true` if value is a value for `true` or `false` in ALL
       def symbol?(sym)
@@ -60,25 +59,26 @@ module Aspera
       module_function :true?, :to_sym, :symbol?
     end
 
-    # Constants to be used as parameter `allowed:` for `OptionValue`.
-    # Public API: TYPES_STRING_ARRAY, TYPES_SYMBOL_ARRAY, TYPES_INTEGER, TYPES_BOOLEAN, TYPES_NONE.
+    # Type specifiers for the `allowed:` parameter of option declarations.
+    # Public API: STRING_ARRAY, SYMBOL_ARRAY, INTEGER, BOOLEAN, NONE.
     # Internal (do not pass as `allowed:`):
-    #   TYPES_ENUM   - derived internally when `allowed:` is an Array<Symbol> (enum list)
-    #   TYPES_STRING - the implicit default; equivalent to omitting `allowed:` entirely
-    module Allowed
-      # This option can be set to a single string or array, multiple times, and gives Array of String
-      TYPES_STRING_ARRAY = [Array, String].freeze
-      # A list of symbols with constrained values; use as prefix: TYPES_SYMBOL_ARRAY + [:val1, :val2]
-      TYPES_SYMBOL_ARRAY = [Array, Symbol].freeze
-      # Value will be coerced to int
-      TYPES_INTEGER = [Integer].freeze
-      TYPES_BOOLEAN = BoolValue::TYPES
-      # No value at all for the option, it's a switch, like `-N`
-      TYPES_NONE = [].freeze
+    #   ENUM   - derived internally when `allowed:` is an Array<Symbol> (enum list)
+    #   STRING - the implicit default; equivalent to omitting `allowed:` entirely
+    module Type
+      # Option value is a String or Array of Strings (cumulative)
+      STRING_ARRAY = [Array, String].freeze
+      # Option value is a Symbol from a constrained list; use as prefix: SYMBOL_ARRAY + [:val1, :val2]
+      SYMBOL_ARRAY = [Array, Symbol].freeze
+      # Option value is coerced to Integer
+      INTEGER = [Integer].freeze
+      # Option value is a Boolean
+      BOOLEAN = BoolValue::TYPES
+      # Option has no value — it is a flag switch (e.g. `-N`, `--help`)
+      NONE = [].freeze
       # Internal: derived when allowed: is an Array<Symbol>; do not pass directly
-      TYPES_ENUM   = [Symbol].freeze
+      ENUM   = [Symbol].freeze
       # Internal: implicit default (String); equivalent to omitting allowed: entirely
-      TYPES_STRING = [String].freeze
+      STRING = [String].freeze
     end
 
     # Description of option, how to manage
@@ -103,8 +103,8 @@ module Aspera
       # - `Class` The single allowed Class
       # - `Array<Class>` Multiple allowed classes
       # - `Array<Symbol>` List of allowed values
-      def initialize(option:, description: nil, allowed: Allowed::TYPES_STRING, handler: nil, deprecation: nil, schema: nil)
-        Log.log.trace1{"option: #{option}, allowed: #{allowed}"}
+      def initialize(option:, description: nil, allowed: Type::STRING, handler: nil, deprecation: nil, schema: nil)
+        Log.log.trace1 { "option: #{option}, allowed: #{allowed}" }
         @option = option
         @description = description
         @group = nil
@@ -121,51 +121,83 @@ module Aspera
         bind_handler(handler) unless handler.nil?
         @types = nil
         @values = nil
-        # Derive allowed type from schema when not explicitly provided
-        if (allowed.nil? || allowed.eql?(Allowed::TYPES_STRING)) && schema
-          schema_node = Schema::Registry.instance.reader(schema).current rescue nil
-          if schema_node
-            case schema_node['type']
-            when 'object' then allowed = Hash
-            when 'array'  then allowed = Array
-            end
-          end
+        allowed = infer_allowed_from_schema(schema, allowed) if schema
+        apply_allowed(allowed) unless allowed.nil?
+        Log.log.trace1 { "declare: #{@option}: #{@access} #{@object.class}.#{@read_method}".green }
+      end
+
+      private
+
+      # Derive the `allowed:` value from the schema when not explicitly provided.
+      # Returns `allowed` unchanged when the schema provides no usable type information.
+      # @param schema  [String] schema identifier
+      # @param allowed [Object] caller-supplied allowed value (may be nil or Type::STRING)
+      # @return [Object] resolved allowed (Hash, Array, or the original value)
+      def infer_allowed_from_schema(schema, allowed)
+        return allowed unless allowed.nil? || allowed.eql?(Type::STRING)
+
+        schema_reader = Schema::Registry.instance.reader(schema) rescue nil
+        schema_node   = schema_reader&.current
+        return allowed unless schema_node
+
+        case schema_node['type']
+        when 'object' then return Hash
+        when 'array'  then return Array
         end
-        if !allowed.nil?
-          allowed = [allowed] if allowed.is_a?(Class)
-          Aspera.assert_type(allowed, Array)
-          if allowed.take(Allowed::TYPES_SYMBOL_ARRAY.length) == Allowed::TYPES_SYMBOL_ARRAY
-            # Special case: array of defined symbol values
-            @types = Allowed::TYPES_SYMBOL_ARRAY
-            @values = allowed[Allowed::TYPES_SYMBOL_ARRAY.length..]
-            # Default value for symbol array when no value has been set yet
-            assign_value([], where: 'array default', warn_deprecation: false) if value(log: false).nil?
-          elsif allowed.all?(Class)
-            @types = allowed
-            @values = BoolValue::ALL if allowed.eql?(Allowed::TYPES_BOOLEAN)
-            # Default value for array/hash when no value has been set yet
-            if @types.first.eql?(Array) && !@types.include?(NilClass) && value(log: false).nil?
-              assign_value([], where: 'array default', warn_deprecation: false)
-            elsif @types.first.eql?(Hash) && !@types.include?(NilClass) && value(log: false).nil?
-              assign_value({}, where: 'hash default', warn_deprecation: false)
-            end
-          elsif allowed.all?(Symbol)
-            @types = Allowed::TYPES_ENUM
-            @values = allowed
-          else
-            Aspera.error_unexpected_value(allowed)
+        # No top-level type: inspect oneOf/anyOf branches; if all resolve to 'object', infer Hash
+        composite_key = (%w[oneOf anyOf] & schema_node.keys).first
+        return allowed unless composite_key
+
+        branch_types = schema_node[composite_key].map do |branch|
+          resolved = branch['$ref'] ? schema_reader.resolve_ref(branch['$ref']).current : branch
+          resolved['type']
+        end
+        if branch_types.all?('object')
+          Hash
+        else
+          Aspera.assert(
+            !allowed.nil? && !allowed.eql?(Type::STRING),
+            "option :#{@option}: schema '#{schema}' has mixed-type oneOf branches #{branch_types.uniq}: specify allowed: explicitly"
+          )
+          allowed
+        end
+      end
+
+      # Initialise @types and @values from the resolved `allowed` specifier.
+      # @param allowed [Class, Array<Class>, Array<Symbol>] resolved allowed value (never nil)
+      def apply_allowed(allowed)
+        allowed = [allowed] if allowed.is_a?(Class)
+        Aspera.assert_type(allowed, Array)
+        if allowed.take(Type::SYMBOL_ARRAY.length) == Type::SYMBOL_ARRAY
+          # Special case: array of defined symbol values
+          @types = Type::SYMBOL_ARRAY
+          @values = allowed[Type::SYMBOL_ARRAY.length..]
+          assign_value([], where: 'array default', warn_deprecation: false) if value(log: false).nil?
+        elsif allowed.all?(Class)
+          @types = allowed
+          @values = BoolValue::ALL if allowed.eql?(Type::BOOLEAN)
+          if @types.first.eql?(Array) && !@types.include?(NilClass) && value(log: false).nil?
+            assign_value([], where: 'array default', warn_deprecation: false)
+          elsif @types.first.eql?(Hash) && !@types.include?(NilClass) && value(log: false).nil?
+            assign_value({}, where: 'hash default', warn_deprecation: false)
           end
+        elsif allowed.all?(Symbol)
+          @types = Type::ENUM
+          @values = allowed
+        else
+          Aspera.error_unexpected_value(allowed)
         end
-        Log.log.trace1{"declare: #{@option}: #{@access} #{@object.class}.#{@read_method}".green}
       end
 
+      public
+
       # Wire (or re-wire) the getter/setter delegation for this option.
       # Safe to call after construction - used by Parser#set_handler to bind a composed
       # instance variable that did not exist at class-load time (Category C handlers).
       # @param handler [Hash] Accessor hash with keys :o (object) and :m (method symbol)
       # @return [nil]
       def bind_handler(handler)
-        Aspera.assert_type(handler, Hash){'handler'}
+        Aspera.assert_type(handler, Hash) { 'handler' }
         # Capture any value already stored locally before switching to delegated storage.
         # This transfers defaults (and any preset values already applied) to the new target.
         pending_value = @access.eql?(:local) ? @object : nil
@@ -173,12 +205,12 @@ module Aspera
         @read_method  = handler[:m]
         @write_method = "#{@read_method}=".to_sym
         @access = if @object.respond_to?(@write_method)
-          :write
+          :attr   # delegation via attr_accessor-style m / m=
         else
-          :setter
+          :custom # delegation via generic 3-arg method m(sym, :get/:set, val)
         end
-        Aspera.assert(@object.respond_to?(@read_method)){"#{@object} does not respond to #{@read_method}"}
-        Log.log.trace1{"bind_handler: #{@option}: #{@access} #{@object.class}.#{@read_method}".green}
+        Aspera.assert(@object.respond_to?(@read_method)) { "#{@object} does not respond to #{@read_method}" }
+        Log.log.trace1 { "bind_handler: #{@option}: #{@access} #{@object.class}.#{@read_method}".green }
         # Push the pending local value to the new target if one was stored
         assign_value(pending_value, where: 'bind_handler', warn_deprecation: false) unless pending_value.nil?
         nil
@@ -193,18 +225,23 @@ module Aspera
         first_line.end_with?('.') ? first_line[0..-2] : first_line
       end
 
+      # Reset stored value to nil
+      # @return [nil]
       def clear
         @object = nil
       end
 
+      # Get current option value
+      # @param log [Boolean] whether to log the value retrieval
+      # @return [Object] current value
       def value(log: true)
         current_value =
           case @access
-          when :local then @object
-          when :write then @object.send(@read_method)
-          when :setter then @object.send(@read_method, @option, :get)
+          when :local  then @object
+          when :attr   then @object.send(@read_method)
+          when :custom then @object.send(@read_method, @option, :get)
           end
-        Log.log.trace1{"#{@option} -> (#{current_value.class})#{current_value}"} if log
+        Log.log.trace1 { "#{@option} -> (#{current_value.class})#{current_value}" } if log
         current_value
       end
 
@@ -215,25 +252,25 @@ module Aspera
       # @param warn_deprecation [Boolean] Emit deprecation warning (false for internal transfers)
       # @return [nil]
       def assign_value(value, where:, warn_deprecation: true)
-        Aspera.assert(!@deprecation, type: :warn){"Option #{@option} is deprecated: #{@deprecation}"} if warn_deprecation
+        Aspera.assert(!@deprecation, type: :warn) { "Option #{@option} is deprecated: #{@deprecation}" } if warn_deprecation
         new_value = ExtendedValue.instance.evaluate(value, context: "option: #{@option}", allowed: @types)
-        Log.log.trace1{"#{where}: #{@option} <- (#{new_value.class})#{new_value}"}
+        Log.log.trace1 { "#{where}: #{@option} <- (#{new_value.class})#{new_value}" }
         # Per-type coercion: String input from CLI/env/preset is normalized to the expected type.
         # Centralized here so all sources (CLI dispatch, preset, env) go through the same path.
         case @types
-        when Allowed::TYPES_ENUM
+        when Type::ENUM
           new_value = Parser.get_from_list(new_value, @option, @values) if new_value.is_a?(String)
-        when Allowed::TYPES_BOOLEAN
+        when Type::BOOLEAN
           new_value = Parser.get_from_list(new_value, @option, BoolValue::ALL) if new_value.is_a?(String)
           new_value = BoolValue.true?(new_value)
-        when Allowed::TYPES_INTEGER
+        when Type::INTEGER
           new_value = Integer(new_value)
-        when Allowed::TYPES_STRING_ARRAY
+        when Type::STRING_ARRAY
           new_value = [new_value] if new_value.is_a?(String)
-        when Allowed::TYPES_SYMBOL_ARRAY
+        when Type::SYMBOL_ARRAY
           new_value = [new_value] if new_value.is_a?(String)
           Aspera.assert_array_all(new_value, String, type: BadArgument)
-          new_value = new_value.map{ |v| Parser.get_from_list(v, @option, @values)}
+          new_value = new_value.map { |v| Parser.get_from_list(v, @option, @values) }
         else
           # nil (setting nil on a Hash/Array option resets to empty container)
           new_value = {} if new_value.nil? && @types&.first.eql?(Hash)
@@ -241,42 +278,144 @@ module Aspera
         end
         # Skip type validation for the special 'help' value on Hash options: store it as-is
         # so that get_option(schema:) can raise SchemaRequest with the contextual schema later.
-        if new_value.eql?(Parser::HELP) && @types&.include?(Hash) && !@schema
-          case @access
-          when :local  then @object = new_value
-          when :write  then @object.send(@write_method, new_value)
-          when :setter then @object.send(@read_method, @option, :set, new_value)
-          end
+        # Note: set_option already raises SchemaRequest when @schema is set, so this path is
+        # only reached when @schema is nil (e.g. --query=help before schema is known).
+        if new_value.eql?(Parser::HELP) && @types&.include?(Hash)
+          store(new_value)
           return
         end
-        Aspera.assert_type(new_value, *@types, type: BadArgument){"Option #{@option}"} if @types
+        Aspera.assert_type(new_value, *@types, type: BadArgument) { "Option #{@option}" } if @types
         if new_value.is_a?(Hash) || new_value.is_a?(Array)
           current_value = value(log: false)
           new_value = current_value.deep_merge(new_value) if new_value.is_a?(Hash) && current_value.is_a?(Hash) && !current_value.empty?
           new_value = current_value + new_value if new_value.is_a?(Array) && current_value.is_a?(Array) && !current_value.empty?
         end
+        store(new_value)
+        Log.log.trace1 { v = value(log: false); "#{@option} <- (#{v.class})#{v}" } # rubocop:disable Style/Semicolon
+        nil
+      end
+
+      private
+
+      # Store value according to access mode
+      # @param new_value [Object] value to store
+      # @return [Object] stored value
+      def store(new_value)
         case @access
-        when :local then @object = new_value
-        when :write then @object.send(@write_method, new_value)
-        when :setter then @object.send(@read_method, @option, :set, new_value)
+        when :local  then @object = new_value
+        when :attr   then @object.send(@write_method, new_value)
+        when :custom then @object.send(@read_method, @option, :set, new_value)
         end
-        Log.log.trace1{v = value(log: false); "#{@option} <- (#{v.class})#{v}"} # rubocop:disable Style/Semicolon
-        nil
       end
     end
 
+    # Represents a positional (non-option) CLI argument token.
+    class Argument
+      # @return [String] the raw argument value
+      attr_reader :value
+
+      def initialize(value)
+        @value = value
+      end
+
+      def to_s = @value
+    end
+
+    # Represents a parsed CLI option token (long or short form).
+    # Pre-computed at argv-scan time; resolution against @declared_options happens later in parse_options!
+    class Option
+      # @return [String] raw token as it appeared in argv (e.g. "--log-level=debug", "-Pval")
+      attr_reader :raw
+      # @return [String, nil] option name with underscores (e.g. "log_level", "custom"); nil for short options
+      attr_reader :name
+      # @return [String, nil] single-char short option letter (e.g. "P"), nil for long options
+      attr_reader :short_char
+      # @return [Array<String>, nil] sub-keys for dot-path notation (e.g. ["field"] for --custom.field),
+      #                              nil when name is the full option name (no dot)
+      attr_reader :dot_path
+      # @return [String, nil] inline value string, or nil if no value was provided inline
+      attr_reader :value
+      # @return [Boolean] true if `=` (long) or glued value (short) was present in the raw token;
+      #                   false means no inline separator — value may come from the next argv token
+      attr_reader :has_value
+
+      # @param raw        [String] full raw token
+      # @param name       [String, nil] option name (underscored, no prefix)
+      # @param short_char [String, nil] single-char short letter
+      # @param dot_path   [Array<String>, nil] dot-path sub-keys, or nil
+      # @param value      [String, nil] inline value
+      # @param has_value  [Boolean] whether an inline value separator was present
+      def initialize(raw:, name:, short_char:, dot_path:, value:, has_value:)
+        @raw        = raw
+        @name       = name
+        @short_char = short_char
+        @dot_path   = dot_path
+        @value      = value
+        @has_value  = has_value
+      end
+
+      def to_s = @raw
+
+      class << self
+        # Build an Option from a raw long-option token (starts with `--`)
+        # @param raw [String] e.g. "--log-level=debug" or "--custom.field" or "--log-level"
+        def from_long(raw)
+          without_prefix = raw.delete_prefix(PREFIX)
+          eq_idx = without_prefix.index(VALUE_SEP)
+          if eq_idx
+            name_raw  = without_prefix[0, eq_idx]
+            value     = without_prefix[eq_idx + 1..]
+            has_value = true
+          else
+            name_raw  = without_prefix
+            value     = nil
+            has_value = false
+          end
+          parts    = name_raw.split(DotContainer::SEPARATOR)
+          root     = parts.shift.gsub(NAME_SEP_LINE, NAME_SEP_SYMBOL)
+          dot_path = parts.empty? ? nil : parts
+          new(raw: raw, name: root, short_char: nil, dot_path: dot_path, value: value, has_value: has_value)
+        end
+
+        # Build an Option from a raw short-option token (starts with `-` but not `--`)
+        # @param raw [String] e.g. "-P", "-Pval", "-h"
+        def from_short(raw)
+          short_char = raw[1]
+          if raw.length > 2
+            new(raw: raw, name: nil, short_char: short_char, dot_path: nil, value: raw[2..], has_value: true)
+          else
+            new(raw: raw, name: nil, short_char: short_char, dot_path: nil, value: nil, has_value: false)
+          end
+        end
+      end
+
+      # Option name separator on command line (e.g. `--option-name`, the `-` between words)
+      NAME_SEP_LINE   = '-'
+      # Option name separator in code/symbol (e.g. `:option_name`, the `_` between words)
+      NAME_SEP_SYMBOL = '_'
+      # Separator between option name and its inline value (e.g. `--opt=val`, the `=`)
+      VALUE_SEP = '='
+      # Long-option prefix (e.g. `--opt`)
+      PREFIX = '--'
+      # (public: shared with Parser)
+    end
+
     # parse command line options
     # arguments options start with '-', others are commands
     # resolves on extended value syntax
     class Parser
       class << self
         # Find shortened string value in allowed symbol list
+        # @param short_value   [String] value or prefix to find
+        # @param descr         [String] description for error messages
+        # @param allowed_values [Array] list of allowed values
+        # @return [Symbol, Boolean] matched symbol or boolean value
         def get_from_list(short_value, descr, allowed_values)
           Aspera.assert_type(short_value, String)
           # we accept shortcuts
-          matching_exact = allowed_values.select{ |i| i.to_s.eql?(short_value)}
+          matching_exact = allowed_values.select { |i| i.to_s.eql?(short_value) }
           return matching_exact.first if matching_exact.length == 1
-          matching = allowed_values.select{ |i| i.to_s.start_with?(short_value)}
+          matching = allowed_values.select { |i| i.to_s.start_with?(short_value) }
           raise BadArgument, "Identifier '#{short_value}' used where a #{descr} is expected: place the identifier after the command" if matching.empty? && short_value.match?(REGEX_LOOKUP_ID_BY_FIELD)
           Aspera.assert(!matching.empty?, multi_choice_assert_msg("unknown value for #{descr}: #{short_value}", allowed_values), type: BadArgument)
           Aspera.assert(matching.length.eql?(1), multi_choice_assert_msg("ambiguous shortcut for #{descr}: #{short_value}", matching), type: BadArgument)
@@ -288,28 +427,42 @@ module Aspera
         # @return [Object, nil] the matching key, or nil if none or ambiguous
         def match_prefix(short_value, allowed_values)
           return short_value if allowed_values.include?(short_value)
-          matches = allowed_values.select{ |k| k.to_s.start_with?(short_value.to_s)}
+          matches = allowed_values.select { |k| k.to_s.start_with?(short_value.to_s) }
           matches.length == 1 ? matches.first : nil
         end
 
         # Generates error message with list of allowed values
-        # @param error_msg [String] Error message
+        # @param error_msg   [String] Error message
         # @param accept_list [Array<Symbol>] List of allowed values
-        def multi_choice_assert_msg(error_msg, accept_list)
-          [error_msg, 'Use:', *accept_list.map{ |choice| "- #{choice}"}.sort].join("\n")
+        # @param aliases     [Hash{Symbol=>Symbol}, nil] alias→id map; used to annotate entries with their aliases
+        def multi_choice_assert_msg(error_msg, accept_list, aliases: nil)
+          # Build reverse map: id → [alias, ...] for annotation
+          reverse = aliases&.each_with_object({}) do |(ali, id), h|
+            (h[id] ||= []) << ali
+          end
+          lines = accept_list.map do |choice|
+            suffix = reverse&.key?(choice) ? " (alias: #{reverse[choice].join(', ')})" : ''
+            "- #{choice}#{suffix}"
+          end
+          [error_msg, 'Use:', *lines.sort].join("\n")
         end
 
         # Change option name with dash to name with underscore
         # @param name [String] option name with dash separators
         # @return [String] option name with underscore separators
         def option_line_to_name(name)
-          name.gsub(OPTION_SEP_LINE, OPTION_SEP_SYMBOL)
+          name.gsub(Option::NAME_SEP_LINE, Option::NAME_SEP_SYMBOL)
         end
 
+        # Convert option symbol to CLI line flag format
+        # @param name [Symbol, String] option name
+        # @return [String] option flag (e.g. "--option-name")
         def option_name_to_line(name)
-          "#{OPTION_PREFIX}#{name.to_s.gsub(OPTION_SEP_SYMBOL, OPTION_SEP_LINE)}"
+          "#{Option::PREFIX}#{name.to_s.gsub(Option::NAME_SEP_SYMBOL, Option::NAME_SEP_LINE)}"
         end
 
+        # Parse percent-selector string into field name and value (extended value is parsed in value)
+        # @param identifier [String] identifier to parse
         # @return [Hash{Symbol => String}, nil] `{field:,value:}` if identifier is a percent selector, else `nil`
         def percent_selector(identifier)
           Aspera.assert_type(identifier, String)
@@ -318,6 +471,20 @@ module Aspera
           end
           nil
         end
+
+        # Using dotted hash notation, convert value to bool, int, float or extended value
+        # @param value [String] The value to convert to appropriate type
+        # @return [Boolean, Integer, Float, String, Array, Hash] the converted value
+        def smart_convert(value)
+          case value
+          when 'true'  then true
+          when 'false' then false
+          else
+            Integer(value, exception: false) ||
+              Float(value, exception: false) ||
+              ExtendedValue.instance.evaluate(value, context: 'dotted expression')
+          end
+        end
       end
 
       attr_accessor :ask_missing_mandatory, :ask_missing_optional, :help_requested
@@ -337,6 +504,8 @@ module Aspera
         @fail_on_missing_mandatory = true
         # set to true when --help / -h is parsed
         @help_requested = false
+        # options explicitly reset to nil from CLI (e.g. --opt=@none:); preset injection skips these
+        @explicitly_cleared = {}
         # options can also be provided by env vars : --param-name -> ASCLI_PARAM_NAME
         @option_pairs_batch = {}
         @option_pairs_env = {}
@@ -344,48 +513,41 @@ module Aspera
         @short_options = {}
         # Current help section group name, set by #group
         @current_group = 'global'
-        env_prefix = program_name.upcase + OPTION_SEP_SYMBOL
+        env_prefix = program_name.upcase + Option::NAME_SEP_SYMBOL
         ENV.each do |k, v|
           @option_pairs_env[k.delete_prefix(env_prefix).downcase.to_sym] = v if k.start_with?(env_prefix)
         end
-        Log.log.debug{"env=#{@option_pairs_env}".red}
-        # command line values starting with at least one '-'
-        @unprocessed_cmd_line_options = []
-        # command line values *not* starting with '-'
-        @unprocessed_cmd_line_arguments = []
-        # a copy of all initial options
-        @initial_cli_options = []
-        # For each option string: list (one entry per occurrence) of the number of positional args
-        # that appear before it in original argv. Used by `@:` in option values to skip preceding args.
-        # @type [Hash{String => Array<Integer>}]
-        @args_before_option = {}
+        Log.dump(:env, @option_pairs_env)
+        # Ordered list of all CLI tokens after `--` splitting.
+        # Single source of truth for CLI parsing — pending_arguments and pending_options are derived views.
+        # @type [Array<Option, Argument>]
+        @argv_tokens = []
+        # Frozen snapshot of @argv_tokens used by unprocessed_options_with_value.
+        @initial_argv_tokens = [].freeze
+        # Number of original positional args before the option currently being parsed (nil = positional context).
+        @current_option_args_offset = nil
+        # Current index in @argv_tokens during parse_options! loop (used by shift_next_argument_token).
+        @current_parse_idx = nil
         return if argv.nil?
         # true until `--` is found (stop options)
         process_options = true
-        arg_count = 0
         argv.each do |value|
           if process_options && value.start_with?('-')
-            Log.log.trace1{"opt: #{value}"}
+            Log.log.trace1 { "opt: #{value}" }
             if value.eql?(OPTIONS_STOP)
               process_options = false
             else
-              @unprocessed_cmd_line_options.push(value)
-              (@args_before_option[value] ||= []).push(arg_count)
+              @argv_tokens.push(value.start_with?(Option::PREFIX) ? Option.from_long(value) : Option.from_short(value))
             end
           else
-            Log.log.trace1{"arg: #{value}"}
-            @unprocessed_cmd_line_arguments.push(value)
-            arg_count += 1
+            Log.log.trace1 { "arg: #{value}" }
+            @argv_tokens.push(Argument.new(value))
           end
         end
-        # Total positional args at parse time - used in args_as_extended to compute how many to skip.
-        @arg_total_count = @unprocessed_cmd_line_arguments.length
-        # Number of original positional args before the option currently being parsed (nil = positional context).
-        @current_option_args_offset = nil
-        @initial_cli_options = @unprocessed_cmd_line_options.dup.freeze
-        Log.log.trace1{"add_cmd_line_options:commands/arguments=#{@unprocessed_cmd_line_arguments},options=#{@unprocessed_cmd_line_options}".red}
-        declare(:interactive, description: 'Use interactive input of missing params', allowed: Allowed::TYPES_BOOLEAN, handler: {o: self, m: :ask_missing_mandatory})
-        declare(:ask_options, description: 'Ask even optional options', allowed: Allowed::TYPES_BOOLEAN, handler: {o: self, m: :ask_missing_optional})
+        @initial_argv_tokens = @argv_tokens.dup.freeze
+        Log.log.trace1 { "add_cmd_line_options:arguments=#{pending_arguments},options=#{pending_options}".red }
+        declare(:interactive, description: 'Use interactive input of missing params', allowed: Type::BOOLEAN, handler: {o: self, m: :ask_missing_mandatory})
+        declare(:ask_options, description: 'Ask even optional options', allowed: Type::BOOLEAN, handler: {o: self, m: :ask_missing_optional})
         # do not parse options yet, let's wait for option `-h` to be overridden
       end
 
@@ -393,7 +555,7 @@ module Aspera
       # @param types [Array<Class>] types to add
       # @return [String] Types if relevant
       def add_types_info(types)
-        return '' if !types || types.empty? || types.eql?(Allowed::TYPES_ENUM) || types.eql?(Allowed::TYPES_BOOLEAN) || types.eql?(Allowed::TYPES_STRING)
+        return '' if !types || types.empty? || types.eql?(Type::ENUM) || types.eql?(Type::BOOLEAN) || types.eql?(Type::STRING)
         " (#{types.map(&:name).join(', ')})"
       end
 
@@ -401,15 +563,20 @@ module Aspera
       # @param option_symbol [Symbol] option name
       # @param description   [String, nil] description for help; if nil, derived from schema
       # @param short         [String] short option name
-      # @param allowed       [Object] Allowed values, see `OptionValue`
+      # @param allowed       [Object] Allowed values, see `OptionValue`.
+      #   When `schema:` is provided:
+      #   - Omit `allowed:` when the schema has a single type (`type: object/array`): it is inferred automatically.
+      #   - Omit `allowed:` when the schema uses `oneOf`/`anyOf` and all branches are `object`: `Hash` is inferred.
+      #   - Use `allowed: [Hash, String]` when the option additionally accepts a plain String shorthand;
+      #     the schema then documents the Hash form and `=help` still shows it.
       # @param default       [Object] default value
       # @param handler       [Hash]   handler for option value: keys: :o(object) and :m(method)
       # @param deprecation   [String] deprecation
-      # @param schema        [String] Definition of schema for Hash parameters
+      # @param schema        [String] schema path documenting the Hash form of this option
       # @param block [Proc] Block to execute when option is found
       def declare(option_symbol, description: nil, short: nil, allowed: nil, default: nil, handler: nil, deprecation: nil, schema: nil, &block)
         Aspera.assert_type(option_symbol, Symbol)
-        Aspera.assert(!@declared_options.key?(option_symbol)){"#{option_symbol} already declared"}
+        Aspera.assert(!@declared_options.key?(option_symbol)) { "#{option_symbol} already declared" }
         Aspera.assert_type(handler, Hash) if handler
         Aspera.assert(handler.keys.sort.eql?(%i[m o]), 'handler must have keys :m and :o') if handler
         option_attrs = @declared_options[option_symbol] = OptionValue.new(
@@ -422,21 +589,21 @@ module Aspera
         )
         option_attrs.group = @current_group
         description = option_attrs.description
-        Aspera.assert(!description.nil?){"#{option_symbol}: no description and no schema to derive one from"}
-        Aspera.assert(description[-1] != '.'){"#{option_symbol} ends with dot"}
-        Aspera.assert(description[0] == description[0].upcase){"#{option_symbol} description does not start with an uppercase"}
-        Aspera.assert(!['hash', 'extended value'].any?{ |s| description.downcase.include?(s)}){"#{option_symbol} shall use :allowed instead of hash/extended value in option description"}
-        set_option(option_symbol, default, where: 'default') unless default.nil?
+        Aspera.assert(!description.nil?) { "#{option_symbol}: no description and no schema to derive one from" }
+        Aspera.assert(description[-1] != '.') { "#{option_symbol} ends with dot" }
+        Aspera.assert(description[0] == description[0].upcase) { "#{option_symbol} description does not start with an uppercase" }
+        Aspera.assert(!['hash', 'extended value'].any? { |s| description.downcase.include?(s) }) { "#{option_symbol} shall use :allowed instead of hash/extended value in option description" }
+        set_option(option_symbol, default, where: 'default', warn_deprecation: false) unless default.nil?
         case option_attrs.types
-        when Allowed::TYPES_ENUM, Allowed::TYPES_BOOLEAN
+        when Type::ENUM, Type::BOOLEAN
           # This option value must be a symbol (or array of symbols)
-          set_option(option_symbol, BoolValue.true?(default), where: 'default') if option_attrs.values.eql?(BoolValue::ALL) && !default.nil?
-        when Allowed::TYPES_NONE
-          Aspera.assert_type(block, Proc){"missing execution block for #{option_symbol}"}
+          set_option(option_symbol, BoolValue.true?(default), where: 'default', warn_deprecation: false) if option_attrs.values.eql?(BoolValue::ALL) && !default.nil?
+        when Type::NONE
+          Aspera.assert_type(block, Proc) { "missing execution block for #{option_symbol}" }
           option_attrs.block = block
         end
         @short_options[short] = option_symbol unless short.nil?
-        Log.log.trace1{"declare: #{option_symbol}, group: #{@current_group}, short: #{short}"}
+        Log.log.trace1 { "declare: #{option_symbol}, group: #{@current_group}, short: #{short}" }
       end
 
       # Set the current help section group name for subsequent declarations
@@ -450,7 +617,7 @@ module Aspera
       # declares its options before its group name is known (e.g. Plugins::Config).
       # @param name [String] new group name
       def rename_current_group(name)
-        @declared_options.each_value{ |opt| opt.group = name if opt.group.eql?(@current_group)}
+        @declared_options.each_value { |opt| opt.group = name if opt.group.eql?(@current_group) }
         @current_group = name
       end
 
@@ -466,59 +633,41 @@ module Aspera
       # @param aliases     [Hash] map of aliases: key = alias, value = real value
       # @param default     [Object] default value
       # @return [Object, Array, nil] one value, list or nil (if optional and no default)
-      def get_next_argument(descr, mandatory: true, multiple: false, accept_list: nil, validation: Allowed::TYPES_STRING, aliases: nil, default: nil, schema: nil)
+      def get_next_argument(descr, mandatory: true, multiple: false, accept_list: nil, validation: Type::STRING, aliases: nil, default: nil, schema: nil)
         Aspera.assert_array_all(accept_list, Symbol) unless accept_list.nil?
         Aspera.assert_hash_all(aliases, Symbol, Symbol) unless aliases.nil?
         validation = Symbol unless accept_list.nil?
         validation = [validation] unless validation.is_a?(Array) || validation.nil?
-        Aspera.assert_array_all(validation, Class){'validation'} unless validation.nil?
+        Aspera.assert_array_all(validation, Class) { 'validation' } unless validation.nil?
         descr = "#{descr}#{add_types_info(validation)}"
         result =
-          if !@unprocessed_cmd_line_arguments.empty?
-            case multiple
-            when true
-              values = @unprocessed_cmd_line_arguments.shift(@unprocessed_cmd_line_arguments.length)
-            when false
-              values = [@unprocessed_cmd_line_arguments.shift]
-            when String
-              index = @unprocessed_cmd_line_arguments.index(multiple)
-              if index
-                values = @unprocessed_cmd_line_arguments.shift(index)
-                @unprocessed_cmd_line_arguments.shift # remove end marker
-              else
-                values = @unprocessed_cmd_line_arguments.shift(@unprocessed_cmd_line_arguments.length)
-              end
-            else Aspera.error_unexpected_value(multiple){'multiple'}
-            end
-            values = values.map{ |v| ExtendedValue.instance.evaluate(v, context: "argument: #{descr}", allowed: validation)}
+          if !pending_arguments.empty?
+            values = extract_argument_tokens(multiple)
+            values = values.map { |v| ExtendedValue.instance.evaluate(v, context: "argument: #{descr}", allowed: validation) }
             # If expecting list and only one arg of type array : it is the list
             values = values.first if multiple && values.length.eql?(1) && values.first.is_a?(Array)
             if accept_list
               allowed_values = [].concat(accept_list)
               allowed_values.concat(aliases.keys) unless aliases.nil?
-              values = values.map{ |v| self.class.get_from_list(v, descr, allowed_values)}
+              values = values.map { |v| self.class.get_from_list(v, descr, allowed_values) }
             end
             multiple ? values : values.first
           elsif !default.nil? then default
-            # no value provided, either get value interactively, or exception
-          elsif mandatory then get_interactive(descr, multiple: multiple, accept_list: accept_list, schema: schema)
+          elsif mandatory then get_interactive(descr, multiple: multiple, accept_list: accept_list, aliases: aliases, schema: schema)
           end
-        if result.is_a?(String) && validation&.eql?(Allowed::TYPES_INTEGER)
+        Log.log.trace1 { "#{descr}=#{result}" }
+        result = aliases[result] if aliases&.key?(result)
+        # if value comes from JSON/YAML, it may come as Integer
+        result = result.to_s if result.is_a?(Integer) && validation&.eql?(Type::STRING)
+        # Integer coercion: a String argument for an INTEGER option must be parseable
+        if result.is_a?(String) && validation&.eql?(Type::INTEGER)
           int_result = Integer(result, exception: false)
           raise Cli::BadArgument, "Invalid integer: #{result}" if int_result.nil?
           result = int_result
         end
-        Log.log.trace1{"#{descr}=#{result}"}
-        result = aliases[result] if aliases&.key?(result)
-        # if value comes from JSON/YAML, it may come as Integer
-        result = result.to_s if result.is_a?(Integer) && validation&.eql?(Allowed::TYPES_STRING)
         if validation && (mandatory || !result.nil?)
           value_list = multiple ? result : [result]
-          value_list.each do |value|
-            raise SchemaRequest.new(:argument, descr, schema) if validation.include?(Hash) && value.eql?(HELP)
-            raise Cli::BadArgument,
-              "Argument #{descr} is a #{value.class} but must be #{'one of: ' if validation.length > 1}#{validation.map(&:name).join(', ')}" unless validation.any?{ |t| value.is_a?(t)}
-          end
+          value_list.each { |value| validate_argument(value, validation: validation, descr: descr, schema: schema) }
         end
         result
       end
@@ -535,12 +684,16 @@ module Aspera
         res_id = get_next_argument(description, multiple: get_option(:bulk))
         # Can be an Array
         if res_id.is_a?(String) && (m = Parser.percent_selector(res_id))
-          Aspera.assert(block_given?, type: Cli::BadArgument){"Percent syntax for #{description} not supported in this context"}
+          Aspera.assert(block_given?, type: Cli::BadArgument) { "Percent syntax for #{description} not supported in this context" }
           res_id = yield(m[:field], m[:value])
         end
         res_id
       end
 
+      # Get next positional command argument from accepted list
+      # @param command_list [Array<Symbol>] accepted command names
+      # @param aliases      [Hash, nil] command aliases
+      # @return [Symbol] selected command
       def get_next_command(command_list, aliases: nil); get_next_argument('command', accept_list: command_list, aliases: aliases); end
 
       # Check whether an option has already been declared in this manager
@@ -558,7 +711,7 @@ module Aspera
       # @return [OptionValue] Option definition
       # @raise [Cli::BadArgument] if option not found
       def option_def(option_symbol)
-        Aspera.assert(@declared_options.key?(option_symbol), type: Cli::BadArgument){"Unknown option: #{option_symbol}"}
+        Aspera.assert(@declared_options.key?(option_symbol), type: Cli::BadArgument) { "Unknown option: #{option_symbol}" }
         @declared_options[option_symbol]
       end
 
@@ -579,7 +732,7 @@ module Aspera
         return :skip_missing_mandatory if result.nil? && mandatory && !@fail_on_missing_mandatory
         if result.nil?
           if !@ask_missing_mandatory
-            Aspera.assert(!mandatory, type: Cli::BadArgument){"Missing mandatory option: #{option_symbol}"}
+            Aspera.assert(!mandatory, type: Cli::BadArgument) { "Missing mandatory option: #{option_symbol}" }
           elsif @ask_missing_optional || mandatory
             # ask_missing_mandatory
             result = get_interactive(option_symbol.to_s, check_option: true, accept_list: option_attrs.values, schema: option_attrs.schema)
@@ -594,17 +747,19 @@ module Aspera
       # @param option_symbol [Symbol] option name
       # @param value [String] Value to set
       # @param where [String] Where the value comes from
-      def set_option(option_symbol, value, where: 'code override')
+      def set_option(option_symbol, value, where: 'code override', warn_deprecation: true)
         Aspera.assert_type(option_symbol, Symbol)
         option = option_def(option_symbol)
         # Raise immediately only when the option has a static schema: the schema is known at parse time.
         # When schema is nil (e.g. --query), 'help' is stored as-is and SchemaRequest is raised later
         # in get_option() with the contextual schema provided by the calling command.
         raise SchemaRequest.new(:option, option.option, option.schema) if option.types&.include?(Hash) && value.eql?(HELP) && option.schema
-        option.assign_value(value, where: where)
+        option.assign_value(value, where: where, warn_deprecation: warn_deprecation)
       end
 
       # Set option to `nil`
+      # @param option_symbol [Symbol] option name
+      # @return [nil]
       def clear_option(option_symbol)
         Aspera.assert_type(option_symbol, Symbol)
         option_def(option_symbol).clear
@@ -628,28 +783,36 @@ module Aspera
       # @param override    [Boolean] Override if already present
       def add_option_preset(preset_hash, where, override: true)
         Aspera.assert_type(preset_hash, Hash)
-        Log.log.debug{"add_option_preset: #{preset_hash}, #{where}, #{override}"}
+        Log.log.debug { "add_option_preset: #{preset_hash}, #{where}, #{override}" }
         preset_hash.each do |k, v|
+          # Ignore comment/meta keys (e.g. _comment, _description)
+          next if k.to_s.start_with?(PresetManager::Key::META_PREFIX)
           option_symbol = k.to_sym
+          # Never restore an option that was explicitly cleared from the CLI (e.g. --opt=@none:)
+          next if @explicitly_cleared.key?(option_symbol)
           @option_pairs_batch[option_symbol] = v if override || !@option_pairs_batch.key?(option_symbol)
         end
       end
 
       # Allows a plugin to add an argument as next argument to process
+      # @param argument [String] argument value to prepend
+      # @return [Array<Option, Argument>] updated tokens list
       def unshift_next_argument(argument)
-        @unprocessed_cmd_line_arguments.unshift(argument)
+        @argv_tokens.unshift(Argument.new(argument))
       end
 
-      # Check if there were unprocessed values to generate error
+      # Check if there are no pending positional arguments
+      # @return [Boolean] true if no pending positional arguments
       def command_or_arg_empty?
-        @unprocessed_cmd_line_arguments.empty?
+        pending_arguments.empty?
       end
 
-      # Unprocessed options or arguments ?
+      # Check for unprocessed options or arguments error messages
+      # @return [Array<String>] list of error messages for unprocessed tokens
       def final_errors
         result = []
-        result.push("unprocessed options: #{@unprocessed_cmd_line_options}") unless @unprocessed_cmd_line_options.empty?
-        result.push("unprocessed values: #{@unprocessed_cmd_line_arguments}") unless @unprocessed_cmd_line_arguments.empty?
+        result.push("unprocessed options: #{pending_options}") unless pending_options.empty?
+        result.push("unprocessed values: #{pending_arguments}") unless pending_arguments.empty?
         result
       end
 
@@ -657,17 +820,17 @@ module Aspera
       # @return [Hash] options as taken from config file and command line just before command execution
       def unprocessed_options_with_value
         result = {}
-        @initial_cli_options.each do |option_argument|
-          # ignore short options
-          next unless option_argument.start_with?(OPTION_PREFIX)
-          name, value = option_argument.delete_prefix(OPTION_PREFIX).split(OPTION_VALUE_SEPARATOR, 2)
+        @initial_argv_tokens.each_with_index do |tok, idx|
+          next unless tok.is_a?(Option) && tok.short_char.nil?
+          # For space-separated form: value is the immediately following :argument token (if any)
+          value = tok.value || @initial_argv_tokens[idx + 1]&.then { |t| t.value if t.is_a?(Argument) }
           # ignore options without value
           next if value.nil?
-          Log.log.debug{"option #{name}=#{value}"}
-          path = name.split(DotContainer::SEPARATOR)
-          path[0] = self.class.option_line_to_name(path[0])
-          DotContainer.dotted_to_container(path, smart_convert(value), result)
-          @unprocessed_cmd_line_options.delete(option_argument)
+          name = tok.dot_path ? [tok.name, *tok.dot_path].join(DotContainer::SEPARATOR) : tok.name
+          Log.log.debug { "option #{name}=#{value}" }
+          path = [tok.name, *(tok.dot_path || [])]
+          DotContainer.dotted_to_container(path, Parser.smart_convert(value), result)
+          @argv_tokens.reject! { |t| t.is_a?(Option) && t.raw.eql?(tok.raw) }
         end
         result
       end
@@ -692,59 +855,138 @@ module Aspera
         @option_pairs_batch = consume_option_pairs(@option_pairs_batch, 'set')
         # Then, env var (to override)
         @option_pairs_env = consume_option_pairs(@option_pairs_env, 'env')
-        # Then, command line override: process one option at a time so that @current_option_args_offset
-        # can be set before each option is evaluated (used by `@:` extended value in option values).
-        unknown_options = []
+        # Then, command line override.
+        # Iterate @argv_tokens in order so that --opt val and -s val can consume the next argument
+        # token directly, without any secondary index.
+        # Process one option at a time so that @current_option_args_offset can be set before each
+        # option is evaluated (used by `@:` extended value).
+        deferred_tokens = []
         Log.log.trace1('Before parse')
-        Log.dump(:unprocessed_cmd_line_options, @unprocessed_cmd_line_options, level: :trace1)
-        until @unprocessed_cmd_line_options.empty?
-          opt = @unprocessed_cmd_line_options.shift
-          # Expose args_before for this option so `args_as_extended` can skip args preceding it.
-          # Peek (first) without consuming - consumed only if this option is processed (not deferred).
-          @current_option_args_offset = @args_before_option[opt]&.first
-          if opt.start_with?(OPTION_PREFIX)
-            # Long option: --name or --name=value
-            name_raw, raw_value = opt.delete_prefix(OPTION_PREFIX).split(OPTION_VALUE_SEPARATOR, 2)
-            option_sym = self.class.option_line_to_name(name_raw).to_sym
-            resolved_sym = self.class.match_prefix(option_sym, @declared_options.keys)
-            if resolved_sym
-              dispatch_option(resolved_sym, raw_value)
-              @args_before_option[opt]&.shift # consumed: advance to next occurrence
+        Log.dump(:argv_tokens, @argv_tokens, level: :trace1)
+        # Iterate with an index so that Argument tokens stay in @argv_tokens (not shifted).
+        # Only Option tokens are removed; Arguments remain until consumed by extract_argument_tokens.
+        @current_parse_idx = 0
+        while @current_parse_idx < @argv_tokens.length
+          tok = @argv_tokens[@current_parse_idx]
+          if tok.is_a?(Argument)
+            @current_parse_idx += 1
+            next
+          end
+          # tok is an Option — remove it from @argv_tokens
+          @argv_tokens.delete_at(@current_parse_idx)
+          # @current_option_args_offset = number of positional Argument tokens that appear BEFORE
+          # this option in @argv_tokens (i.e. at indices 0...@current_parse_idx after the delete).
+          # Used by args_as_extended to skip those leading args when collecting @: values.
+          @current_option_args_offset = @argv_tokens[0...@current_parse_idx].count { |t| t.is_a?(Argument) }
+          if tok.short_char
+            # Short option: -X or -Xvalue
+            option_sym = @short_options[tok.short_char]
+            if option_sym
+              raw_value = tok.value
+              # No inline value and option expects a value: consume the next :argument token
+              raw_value = shift_next_argument_token \
+                if !tok.has_value && !@declared_options[option_sym].types.eql?(Type::NONE)
+              dispatch_option(option_sym, raw_value)
+            else
+              deferred_tokens.push(tok)
+            end
+          elsif tok.dot_path
+            # Dotted notation: --a.b.c=val or --a.b.c val (always takes priority over plain option lookup)
+            Log.log.trace1 { "Dotted option: #{tok.raw}".red }
+            if tok.has_value
+              raw_value = tok.value
+              value_from_next_token = false
+            else
+              raw_value = shift_next_argument_token
+              value_from_next_token = true
+            end
+            if @declared_options.key?(tok.name.to_sym)
+              set_option(tok.name.to_sym, DotContainer.dotted_to_container(tok.dot_path, Parser.smart_convert(raw_value), get_option(tok.name.to_sym)), where: 'dotted')
             else
-              # Dotted notation: --a.b.c=d does: a={"b":{"c":ext_val(d)}}
-              Log.log.trace1{"Unknown long option: #{opt}".red}
-              if !raw_value.nil?
-                path = name_raw.split(DotContainer::SEPARATOR)
-                root_sym = self.class.option_line_to_name(path.shift).to_sym
-                if @declared_options.key?(root_sym)
-                  set_option(root_sym, DotContainer.dotted_to_container(path, smart_convert(raw_value), get_option(root_sym)), where: 'dotted')
-                  @args_before_option[opt]&.shift # consumed: advance to next occurrence
-                  next
-                end
-              end
-              # Unknown option: defer to next parse_options! round, do not consume the recorded offset
-              unknown_options.push(opt)
+              # Only re-inject if value was space-separated (consumed from next token); inline values stay in tok.value
+              @argv_tokens.unshift(Argument.new(raw_value)) if raw_value && value_from_next_token
+              deferred_tokens.push(tok)
             end
-          elsif opt.start_with?('-') && (option_sym = @short_options[opt[1]])
-            # Short option: -h, -v, or -Pvalue (value glued to flag)
-            dispatch_option(option_sym, opt.length > 2 ? opt[2..] : nil)
-            @args_before_option[opt]&.shift # consumed: advance to next occurrence
+          elsif (resolved_sym = self.class.match_prefix(tok.name.to_sym, @declared_options.keys))
+            # Known long option (plain, no dot-path)
+            raw_value = tok.value
+            # No inline `=` and option expects a value: consume the next :argument token
+            raw_value = shift_next_argument_token \
+              if !tok.has_value && !@declared_options[resolved_sym].types.eql?(Type::NONE)
+            dispatch_option(resolved_sym, raw_value)
           else
-            unknown_options.push(opt)
+            Log.log.trace1 { "Unknown long option: #{tok.raw}".red }
+            deferred_tokens.push(tok)
           end
         end
         @current_option_args_offset = nil
+        @current_parse_idx = nil
         Log.log.trace1('After parse')
-        Log.log.trace1{"remains: #{unknown_options}"}
-        # Set unprocessed options for next time
-        @unprocessed_cmd_line_options = unknown_options
+        Log.log.trace1 { "deferred: #{deferred_tokens}" }
+        # @argv_tokens now contains only: remaining Arguments + deferred Options (already in correct order).
+        # Re-insert deferred Options at their original positions by rebuilding from @initial_argv_tokens.
+        deferred_ids = deferred_tokens.map(&:object_id).to_set
+        remaining_arg_ids = @argv_tokens.grep(Argument).map(&:object_id).to_set
+        injected = @argv_tokens.grep(Argument).reject { |t| @initial_argv_tokens.include?(t) }
+        @argv_tokens = @initial_argv_tokens.select do |t|
+          (t.is_a?(Option) && deferred_ids.include?(t.object_id)) ||
+            (t.is_a?(Argument) && remaining_arg_ids.include?(t.object_id))
+        end
+        # Prepend arguments injected at runtime (e.g. via unshift_next_argument) not in @initial_argv_tokens.
+        @argv_tokens.unshift(*injected)
+      end
+
+      # Extract raw string tokens from @argv_tokens (Argument objects) according to `multiple`.
+      # Consumed Argument tokens are removed from @argv_tokens.
+      # @param multiple [false, true, String] consumption mode:
+      #   false  — consume exactly one token
+      #   true   — consume all remaining tokens
+      #   String — consume up to (but not including) the marker token, or all if absent
+      # @return [Array<String>] consumed raw token strings
+      def extract_argument_tokens(multiple)
+        arg_tokens = @argv_tokens.grep(Argument)
+        case multiple
+        when false
+          tok = arg_tokens.first
+          @argv_tokens.delete(tok)
+          [tok.value]
+        when true
+          arg_tokens.each { |t| @argv_tokens.delete(t) }
+          arg_tokens.map(&:value)
+        when String
+          idx = arg_tokens.index { |t| t.value.eql?(multiple) }
+          consumed = idx ? arg_tokens[0, idx] : arg_tokens
+          marker   = idx ? arg_tokens[idx] : nil
+          (consumed + [marker].compact).each { |t| @argv_tokens.delete(t) }
+          consumed.map(&:value)
+        else Aspera.error_unexpected_value(multiple) { 'multiple' }
+        end
+      end
+
+      # Validate and coerce a single argument value.
+      # Raises SchemaRequest when the value is 'help' and validation includes Hash.
+      # Raises BadArgument when the value is an Integer on a STRING validation (coerced upstream).
+      # Raises BadArgument when the value's type is not in the validation list.
+      # @param value      [Object]        the value to validate
+      # @param validation [Array<Class>]  accepted types
+      # @param descr      [String]        argument description (for error messages)
+      # @param schema     [String, nil]   schema path for SchemaRequest
+      def validate_argument(value, validation:, descr:, schema:)
+        raise SchemaRequest.new(:argument, descr, schema) if validation.include?(Hash) && value.eql?(HELP)
+        raise Cli::BadArgument,
+          "Argument #{descr} is a #{value.class} but must be #{'one of: ' if validation.length > 1}#{validation.map(&:name).join(', ')}" \
+          unless validation.any? { |t| value.is_a?(t) }
       end
 
+      # Prompt user for console input
+      # @param prompt    [String]  prompt string to display
+      # @param sensitive [Boolean] whether to hide typed input
+      # @return [String] user input stripped of trailing newline
       def prompt_user_input(prompt, sensitive: false)
         return $stdin.getpass("#{prompt}> ") if sensitive
         print("#{prompt}> ")
         line = $stdin.gets
-        Aspera.assert_type(line, String){'Unexpected end of standard input'}
+        Aspera.assert_type(line, String) { 'Unexpected end of standard input' }
         line.chomp
       end
 
@@ -755,7 +997,7 @@ module Aspera
       def prompt_user_input_in_list(prompt, sym_list)
         loop do
           input = prompt_user_input(prompt).to_sym
-          if sym_list.any?{ |a| a.eql?(input)}
+          if sym_list.any? { |a| a.eql?(input) }
             return input
           else
             $stderr.puts("No such #{prompt}: #{input}, select one of: #{sym_list.join(', ')}") # rubocop:disable Style/StderrPuts
@@ -769,13 +1011,13 @@ module Aspera
       # @param multiple     [Boolean, String] `true` if multiple values expected
       # @param accept_list  [Array<Symbol>,NilClass] List of expected values
       # @return [String] user input
-      def get_interactive(descr, check_option: false, multiple: false, accept_list: nil, schema: nil)
+      def get_interactive(descr, check_option: false, multiple: false, accept_list: nil, aliases: nil, schema: nil)
         option_attrs = @declared_options[descr.to_sym]
         what = option_attrs ? 'option' : 'argument'
         default_prompt = "#{what}: #{descr}"
         if !@ask_missing_mandatory
           message = "Missing #{default_prompt}"
-          message = self.class.multi_choice_assert_msg(message, accept_list) if accept_list
+          message = self.class.multi_choice_assert_msg(message, accept_list, aliases: aliases) if accept_list
           message += "\n#{TerminalFormatter::HINT}Give `#{HELP}` as argument to retrieve the schema of the missing argument." if schema
           raise Cli::MissingArgument, message
         end
@@ -803,23 +1045,23 @@ module Aspera
         # ExtendedValue.assert_no_value(end_marker, :p)
         end_marker = SpecialValues::EOA if end_marker.empty?
         # When called from an option value, skip positional args that appear before the option in argv.
-        # @current_option_args_offset holds the number of original args before the option (nil = positional context).
-        # The number to actually skip = args_before_option - args_already_consumed (clamped to 0).
-        skip_count = if @current_option_args_offset
-          [@current_option_args_offset - (@arg_total_count - @unprocessed_cmd_line_arguments.length), 0].max
-        else
-          0
-        end
-        skipped = skip_count.positive? ? @unprocessed_cmd_line_arguments.shift(skip_count) : []
-        Log.log.trace1{"args_as_extended: skipping #{skipped.length} args before option: #{skipped}"} unless skipped.empty?
+        # @current_option_args_offset is set by parse_options! to the number of args in
+        # @unprocessed_cmd_line_arguments that preceded this option; nil when called from a positional context.
+        skip_count = @current_option_args_offset || 0
+        # Skip leading positional args that precede this option in original argv order.
+        # Grab the first `skip_count` Argument tokens and temporarily remove them.
+        arg_tokens = @argv_tokens.grep(Argument)
+        skipped_tokens = skip_count.positive? ? arg_tokens.first(skip_count) : []
+        skipped_tokens.each { |t| @argv_tokens.delete(t) }
+        Log.log.trace1 { "args_as_extended: skipping #{skipped_tokens.length} args before option: #{skipped_tokens.map(&:value)}" } unless skipped_tokens.empty?
         result = nil
         get_next_argument('args', multiple: end_marker).each do |argument|
-          Aspera.assert(argument.include?(OPTION_VALUE_SEPARATOR)){"Positional argument: #{argument} does not include #{OPTION_VALUE_SEPARATOR}"}
-          path, value = argument.split(OPTION_VALUE_SEPARATOR, 2)
-          result = DotContainer.dotted_to_container(path.split(DotContainer::SEPARATOR), smart_convert(value), result)
+          Aspera.assert(argument.include?(Option::VALUE_SEP)) { "Positional argument: #{argument} does not include #{Option::VALUE_SEP}" }
+          path, value = argument.split(Option::VALUE_SEP, 2)
+          result = DotContainer.dotted_to_container(path.split(DotContainer::SEPARATOR), Parser.smart_convert(value), result)
         end
-        # Restore skipped args so they remain available for command dispatching
-        @unprocessed_cmd_line_arguments.unshift(*skipped) unless skipped.empty?
+        # Restore skipped tokens so they remain available for command dispatching
+        skipped_tokens.reverse_each { |t| @argv_tokens.unshift(t) }
         result
       end
 
@@ -837,7 +1079,8 @@ module Aspera
           short_char = @short_options.key(sym)
           short_part = short_char ? "-#{short_char}, " : '    '
           flag = "#{short_part}#{symbol_to_option(sym, option_display_value(opt))}"
-          rows << [flag, opt.description]
+          desc = opt.deprecation ? "#{opt.description} (deprecated: #{opt.deprecation})" : opt.description
+          rows << [flag, desc]
         end
         table = Terminal::Table.new(rows: rows, style: {border: HELP_BORDER, padding_left: 0, padding_right: 2})
         banner.nil? ? table.to_s : "#{banner}\n#{table}"
@@ -857,12 +1100,22 @@ module Aspera
       end.freeze
 
       # @param opt [OptionValue] option descriptor
-      # @return [String, nil] placeholder shown in flag column: 'ENUM', 'VALUE', or nil for flag switches
+      # @return [String, nil] placeholder shown in flag column: 'ENUM', 'HASH', 'INT', 'LIST', 'VALUE', or nil for flag switches
       def option_display_value(opt)
         case opt.types
-        when Allowed::TYPES_NONE then nil
-        when Allowed::TYPES_ENUM, Allowed::TYPES_BOOLEAN then 'ENUM'
-        else 'VALUE'
+        when Type::NONE    then nil
+        when Type::BOOLEAN then 'yes|no'
+        when Type::INTEGER then 'INT'
+        when Type::ENUM
+          opt.values&.any? && opt.values.length <= 4 ? opt.values.join('|') : 'ENUM'
+        else
+          if opt.types&.include?(Hash) || !opt.schema.nil?
+            'HASH'
+          elsif opt.types&.include?(Array)
+            'LIST'
+          else
+            'VALUE'
+          end
         end
       end
 
@@ -871,32 +1124,26 @@ module Aspera
       # @param raw_value [String, nil] raw string value from command line, or nil for flag switches
       def dispatch_option(sym, raw_value)
         opt = @declared_options[sym]
-        if opt.types.eql?(Allowed::TYPES_NONE)
+        if opt.types.eql?(Type::NONE)
           opt.block.call
         else
           set_option(sym, raw_value, where: SOURCE_USER)
+          # Track options explicitly cleared from CLI (e.g. --opt=@none:) so that
+          # subsequent preset injection does not silently restore the value.
+          # @none: always evaluates to nil; detect it by checking the raw token directly
+          # to avoid re-evaluating side-effectful extended values (e.g. @: consumes positional args).
+          cleared = get_option(sym).nil? || raw_value.eql?('@none:')
+          @explicitly_cleared[sym] = true if cleared
         end
       end
 
-      # Using dotted hash notation, convert value to bool, int, float or extended value
-      # @param value [String] The value to convert to appropriate type
-      # @return [Boolean, Integer, Float, String, Array, Hash] the converted value
-      def smart_convert(value)
-        case value
-        when 'true'  then true
-        when 'false' then false
-        else
-          Integer(value, exception: false) ||
-            Float(value, exception: false) ||
-            ExtendedValue.instance.evaluate(value, context: 'dotted expression')
-        end
-      end
-
-      # generate command line option from option symbol
+      # Generate command line option string from option symbol
+      # @param symbol  [Symbol]      option name
+      # @param opt_val [String, nil] optional value placeholder
+      # @return [String] formatted option string (e.g. "--option=VALUE")
       def symbol_to_option(symbol, opt_val = nil)
-        result = [OPTION_PREFIX, symbol.to_s.gsub(OPTION_SEP_SYMBOL, OPTION_SEP_LINE)].join
-        result = [result, OPTION_VALUE_SEPARATOR, opt_val].join unless opt_val.nil?
-        result
+        result = self.class.option_name_to_line(symbol)
+        opt_val.nil? ? result : "#{result}#{Option::VALUE_SEP}#{opt_val}"
       end
 
       # TODO: use formatter
@@ -923,28 +1170,40 @@ module Aspera
       # @param where [String] label used in log messages and error context
       # @return [Hash{Symbol => Object}] pairs whose keys were not yet declared (deferred to next round)
       def consume_option_pairs(option_pairs, where)
-        Log.log.trace1{"consume_option_pairs: #{where}"}
+        Log.log.trace1 { "consume_option_pairs: #{where}" }
         remaining = {}
         option_pairs.each do |k, v|
           if @declared_options.key?(k)
             set_option(k, v, where: where)
           else
-            Log.log.trace1{"unprocessed: #{k}: #{v}"}
+            Log.log.trace1 { "unprocessed: #{k}: #{v}" }
             remaining[k] = v
           end
         end
         remaining
       end
 
-      # Option name separator on command line, e.g. in --option-blah, third "-"
-      OPTION_SEP_LINE = '-'
-      # Option name separator in code (symbol), e.g. in :option_blah, the "_"
-      OPTION_SEP_SYMBOL = '_'
-      # Option value separator on command line, e.g. in --option-blah=foo, the "="
-      OPTION_VALUE_SEPARATOR = '='
-      # Starts an option, e.g. in --option-blah, the two first "--"
-      OPTION_PREFIX = '--'
-      # when this is alone, this stops option processing
+      # Consume the Argument token immediately following the current option in @argv_tokens.
+      # After delete_at(@current_parse_idx), the next token is at @argv_tokens[@current_parse_idx].
+      # @return [String, nil] the consumed argument value, or nil if the next token is not an Argument
+      def shift_next_argument_token
+        pos = @current_parse_idx || 0
+        return unless @argv_tokens[pos]&.is_a?(Argument)
+
+        @argv_tokens.delete_at(pos).value
+      end
+
+      # @return [Array<String>] values of all pending positional Argument tokens
+      def pending_arguments
+        @argv_tokens.grep(Argument).map(&:value)
+      end
+
+      # @return [Array<String>] raw strings of all pending Option tokens
+      def pending_options
+        @argv_tokens.grep(Option).map(&:raw)
+      end
+
+      # when this is alone, this stops option processing (same characters as Option::PREFIX but distinct semantics)
       OPTIONS_STOP = '--'
       SOURCE_USER = 'cmdline' # cspell:disable-line
       # Percent selector: select by this field for this value
@@ -952,7 +1211,7 @@ module Aspera
       # Ask for schema of Extended value
       HELP = 'help'
 
-      private_constant :OPTION_SEP_LINE, :OPTION_SEP_SYMBOL, :OPTION_VALUE_SEPARATOR, :OPTION_PREFIX, :OPTIONS_STOP, :SOURCE_USER, :REGEX_LOOKUP_ID_BY_FIELD, :HELP_BORDER
+      private_constant :OPTIONS_STOP, :SOURCE_USER, :REGEX_LOOKUP_ID_BY_FIELD, :HELP_BORDER
     end
   end
 end