feat: accept Glas execution overrides

rein_aharness/cli.py

@@ -235,6 +235,9 @@ def _cmd_run(args: argparse.Namespace) -> int:
         write_metrics=not args.no_metrics,
         emit_tool_events=args.stream_tool_events,
         on_tool_event=_print_event if args.stream_tool_events else None,
+        model=args.model,
+        tool_profile_override=args.tool_profile,
+        budget_tokens_override=args.budget_tokens,
     )
 
     closed = False
@@ -262,6 +265,7 @@ def _cmd_run(args: argparse.Namespace) -> int:
                 "tokens_spent": result.tokens_spent,
                 "execution_time_s": round(result.execution_time_s, 3),
                 "reason": result.reason,
+                "model": result.model,
                 "issue_id": issue_id,
                 "issue_closed": closed,
                 "issue_close_error": close_error,
@@ -313,6 +317,22 @@ def main(argv: list[str] | None = None) -> int:
             "-- HARNESS-WP-0002-T03)"
         ),
     )
+    run.add_argument(
+        "--model",
+        default=None,
+        help="Explicit Claude Code model identifier supplied by the execution profile",
+    )
+    run.add_argument(
+        "--tool-profile",
+        default=None,
+        help="Override the instance tool profile for this explicitly governed run",
+    )
+    run.add_argument(
+        "--budget-tokens",
+        type=int,
+        default=None,
+        help="Override the instance token budget for this explicitly governed run",
+    )
 
     scan = sub.add_parser(
         "mail-scan", help="Deterministic company-mailbox scan (no LLM session)"