8 files changed, 100 insertions, 11 deletions
diff --git a/arg_picker/src/arg.rs b/arg_picker/src/arg.rs
index 78ad539..a352418 100644
--- a/arg_picker/src/arg.rs
+++ b/arg_picker/src/arg.rs
@@ -138,9 +138,27 @@ where
 /// Describes the attribute (behavior) of a command-line parameter.
 ///
 /// The ordering reflects parse priority (higher = parsed first):
-/// `PositionalMulti < Positional < Flag < Single < Multi`
+/// `Postprocess < Final < PositionalMulti < Positional < Flag < Single < Multi < Begin < Preprocess`
+///
+/// # Variants
+///
+/// - `Postprocess` — Reserved lowest priority, used only in special cases.
+/// - `Final` — Reserved post-processing priority, used only in special cases.
+/// - `PositionalMulti` — Positional argument that accepts multiple values (e.g., multiple input files).
+/// - `Positional` — Positional argument matched by its position (e.g., an input file).
+/// - `Flag` — Boolean flag with no associated value (e.g., `--verbose`).
+/// - `Single` — Accepts a single value (e.g., `--name Alice`).
+/// - `Multi` — Accepts multiple values (e.g., `--file a.txt --file b.txt`).
+/// - `Begin` — Reserved pre-processing priority, used only in special cases.
+/// - `Preprocess` — Reserved highest priority, used only in special cases.
 #[derive(Debug, Default, Clone, Copy, PartialEq, Eq, PartialOrd, Ord)]
 pub enum PickerArgAttr {
+    /// Reserved lowest priority, used only in special cases.
+    Postprocess,
+
+    /// Reserved post-processing priority, used only in special cases.
+    Final,
+
     /// Positional argument that accepts multiple values (e.g., multiple input files).
     PositionalMulti,
 
@@ -156,6 +174,12 @@ pub enum PickerArgAttr {
 
     /// Accepts multiple values (e.g., `--file a.txt --file b.txt`).
     Multi,
+
+    /// Reserved pre-processing priority, used only in special cases.
+    Begin,
+
+    /// Reserved highest priority, used only in special cases.
+    Preprocess,
 }
 
 impl PickerArgAttr {
diff --git a/arg_picker/src/builtin.rs b/arg_picker/src/builtin.rs
index e855b08..1c698ba 100644
--- a/arg_picker/src/builtin.rs
+++ b/arg_picker/src/builtin.rs
@@ -1,4 +1,5 @@
 mod pick_bool;
 mod pick_flag;
 mod pick_numbers;
+mod pick_picker_args;
 mod pick_string;
diff --git a/arg_picker/src/builtin/pick_picker_args.rs b/arg_picker/src/builtin/pick_picker_args.rs
new file mode 100644
index 0000000..419cbc8
--- /dev/null
+++ b/arg_picker/src/builtin/pick_picker_args.rs
@@ -0,0 +1,21 @@
+use crate::{PickerArgResult::Parsed, PickerArgs, parselib::build_masked_args, pickable_needed::*};
+
+impl<'a> Pickable<'a> for PickerArgs<'a> {
+    fn get_attr(_flag: &'a PickerArg<'a, Self>) -> PickerArgAttr {
+        // Use the lowest priority attribute
+        PickerArgAttr::Postprocess
+    }
+
+    fn tag(ctx: TagPhaseContext) -> Vec<usize> {
+        // Collect all remaining raw index values
+        build_masked_args(ctx.args, ctx.mask)
+            .iter()
+            .map(|m| m.raw_idx)
+            .collect()
+    }
+
+    fn pick(raw_strs: &[&str]) -> PickerArgResult<Self> {
+        let remains: Vec<String> = raw_strs.iter().map(|s| s.to_string()).collect();
+        Parsed(PickerArgs::Owned(remains))
+    }
+}
diff --git a/arg_picker/src/parselib.rs b/arg_picker/src/parselib.rs
index 7fbd606..0fcd583 100644
--- a/arg_picker/src/parselib.rs
+++ b/arg_picker/src/parselib.rs
@@ -117,13 +117,32 @@ impl<'a> From<crate::TagPhaseContext<'a>> for MatcherContext<'a> {
     }
 }
 
+/// Checks whether the argument at index `idx` is already claimed (masked).
+///
+/// Returns `true` if `idx` is within the mask bounds and the mask value is non-zero,
+/// indicating the argument has been claimed by a previous matcher.
+///
+/// # Arguments
+///
+/// * `mask` - A byte slice where non-zero values indicate claimed arguments.
+/// * `idx` - The index to check in the mask.
 #[inline(always)]
-fn is_masked(mask: &[u8], idx: usize) -> bool {
+pub fn is_masked(mask: &[u8], idx: usize) -> bool {
     idx < mask.len() && mask[idx] != 0
 }
 
+/// Builds a vector of [`MaskedArg`] from the given `PickerArgs` and mask.
+///
+/// Only arguments whose mask entry is `0` (i.e., available/not yet claimed) are included.
+/// Each resulting [`MaskedArg`] retains its original raw string and its index in the full
+/// argument list for later reference.
+///
+/// # Arguments
+///
+/// * `args` - The full set of parsed arguments.
+/// * `mask` - A byte slice where `0` means available and non-zero means already claimed.
 #[inline(always)]
-fn build_masked_args<'a>(args: &'a PickerArgs, mask: &'a [u8]) -> Vec<MaskedArg<'a>> {
+pub fn build_masked_args<'a>(args: &'a PickerArgs, mask: &'a [u8]) -> Vec<MaskedArg<'a>> {
     let mut cidx = 0;
     args.iter()
         .filter_map(|r| {
diff --git a/arg_picker/src/picker.rs b/arg_picker/src/picker.rs
index ecab648..7a60e16 100644
--- a/arg_picker/src/picker.rs
+++ b/arg_picker/src/picker.rs
@@ -73,6 +73,26 @@ pub enum PickerArgs<'a> {
     Owned(Vec<String>),
 }
 
+impl<'a> From<PickerArgs<'a>> for Vec<String> {
+    fn from(value: PickerArgs<'a>) -> Self {
+        match value {
+            PickerArgs::Slice(items) => items.iter().map(|s| s.to_string()).collect(),
+            PickerArgs::Vec(items) => items.into_iter().map(|s| s.to_string()).collect(),
+            PickerArgs::Owned(items) => items,
+        }
+    }
+}
+
+impl<'a> From<&'a PickerArgs<'a>> for Vec<&'a str> {
+    fn from(value: &'a PickerArgs<'a>) -> Self {
+        match value {
+            PickerArgs::Slice(items) => items.to_vec(),
+            PickerArgs::Vec(items) => items.clone(),
+            PickerArgs::Owned(items) => items.iter().map(|s| s.as_str()).collect(),
+        }
+    }
+}
+
 impl<'a> Default for PickerArgs<'a> {
     fn default() -> Self {
         Self::Vec(vec![])
diff --git a/arg_picker/src/picker/parse.rs b/arg_picker/src/picker/parse.rs
index 366028b..9db5bd9 100644
--- a/arg_picker/src/picker/parse.rs
+++ b/arg_picker/src/picker/parse.rs
@@ -21,14 +21,16 @@ internal_repeat!(1..=32 => {
 internal_repeat!(1..=32 => {
     impl<'a, (T$,+), Route> PickerPattern$<'a, (T$,+), Route>
     where (T$: Pickable<'a>,+) {
-        /// Unwraps the result, panicking if a route was selected.
+        /// Unwraps the result, panicking if a route was selected or a required
+        /// value is missing.
         ///
         /// # Panics
         ///
-        /// Panics if a route was selected.
+        /// Panics if a route was selected, or if a required argument was not
+        /// provided by the user.
         pub fn unwrap(self) -> ((T$,+)) {
             let p = self.parse();
-            ((p.v$.unwrap(),+))
+            ((p.v$.expect(concat!("missing required argument at position ", $)),+))
         }
 
         /// Returns the individual option values without checking the route.
diff --git a/arg_picker/src/picker/result.rs b/arg_picker/src/picker/result.rs
index 83ca2cd..2099825 100644
--- a/arg_picker/src/picker/result.rs
+++ b/arg_picker/src/picker/result.rs
@@ -21,13 +21,15 @@ internal_repeat!(1..=32 => {
 
 internal_repeat!(1..=32 => {
     impl<(T$,+), Route> PickerResult$<(T$,+), Route> {
-        /// Unwraps the result, panicking if a route was selected.
+        /// Unwraps the result, panicking if a route was selected or a required
+        /// value is missing.
         ///
         /// # Panics
         ///
-        /// Panics if `self.route` is `Some(...)`.
+        /// Panics if `self.route` is `Some(...)`, or if a required argument was
+        /// not provided by the user.
         pub fn unwrap(self) -> ((T$,+)) {
-            ((self.v$.unwrap(),+))
+            ((self.v$.expect(concat!("missing required argument at position ", $)),+))
         }
 
         /// Returns the individual option values without checking the route.
diff --git a/arg_picker/test/src/test/route_test.rs b/arg_picker/test/src/test/route_test.rs
index 7594c6e..c9cd5ab 100644
--- a/arg_picker/test/src/test/route_test.rs
+++ b/arg_picker/test/src/test/route_test.rs
@@ -1,4 +1,4 @@
-use arg_picker::{macros::arg, IntoPicker};
+use arg_picker::{IntoPicker, macros::arg};
 
 // Route mechanism — or_route
 
@@ -53,7 +53,7 @@ fn test_or_route_to_option_returns_none() {
 }
 
 #[test]
-#[should_panic(expected = "called `Option::unwrap()` on a `None` value")]
+#[should_panic(expected = "missing required argument")]
 fn test_or_route_unwrap_panics() {
     let args: Vec<&str> = vec![];
     args.with_route::<&'static str>()