port(src/ui/tea/invariant_path_gui.affine): ReScript surface -> AffineScript (Refs #229) (#4)

Oracle-validated Tier-1 port (affinescript main @ #229 canonical map,
docs/RESCRIPT-ELIMINATION.adoc):
- List(T) -> [T]  (3 occurrences)
- expression-position record literals { ... } -> #{ ... } (the record
  sigil, spec.md:414-421). Match record-PATTERNS and struct/enum/type
  decl bodies correctly left as { } (sigil is expression-literal-only,
  oracle-confirmed).
- ReScript string `+` -> AffineScript `++` where present (concat is
  `++`; `+` is numeric — left a String/Int unify error beneath the
  parse wall; numeric `+`/`-` untouched).

Verified: `affinescript main check src/ui/tea/invariant_path_gui.affine` -> Type checking passed
(was: parse error / DRIFT-SYNTAX pre-port). Self-contained file, no
imports. Refs #229 (estate-wide, sequenced, human-gated — not Closes).

Co-authored-by: hyperpolymath <hyperpolymath@users.noreply.github.com>
Co-authored-by: Claude Opus 4.7 (1M context) <noreply@anthropic.com>

Author: hyperpolymath

src/ui/tea/invariant_path_gui.affine

@@ -17,7 +17,7 @@ struct Claim {
 struct TraceStep {
   step_id: Int,
   description: String,
-  affected_claims: List(Claim)
+  affected_claims: [Claim]
 }
 
 enum ViewState {
@@ -30,7 +30,7 @@ enum ViewState {
 
 struct Model {
   view_state: ViewState,
-  active_trace: List(TraceStep),
+  active_trace: [TraceStep],
   current_step_index: Int,
   is_scanning: Bool,
   history_depth: Int
@@ -41,15 +41,15 @@ struct Model {
 enum Msg {
   Navigate(ViewState),
   StartScan,
-  ScanComplete(List(TraceStep)),
+  ScanComplete([TraceStep]),
   SelectStep(Int),
   PopState
 }
 
 // ── TEA Logic ────────────────────────────────────────────────────────────────
 
 fn invariant_path_init() -> Model {
-  {
+  #{
     view_state: ViewState::Dashboard,
     active_trace: [],
     current_step_index: -1,
@@ -63,7 +63,7 @@ fn invariant_path_update(@linear msg: Msg, @linear model: Model) -> Model {
     { view_state: v, active_trace: t, current_step_index: i, is_scanning: s, history_depth: h } => {
       match msg {
         Navigate(new_state) => {
-          {
+          #{
             view_state: new_state,
             active_trace: t,
             current_step_index: i,
@@ -73,7 +73,7 @@ fn invariant_path_update(@linear msg: Msg, @linear model: Model) -> Model {
         }
 
         StartScan => {
-          {
+          #{
             view_state: v,
             active_trace: t,
             current_step_index: i,
@@ -83,7 +83,7 @@ fn invariant_path_update(@linear msg: Msg, @linear model: Model) -> Model {
         }
 
         ScanComplete(new_trace) => {
-          {
+          #{
             view_state: ViewState::TraceViewer,
             active_trace: new_trace,
             current_step_index: 0,
@@ -93,7 +93,7 @@ fn invariant_path_update(@linear msg: Msg, @linear model: Model) -> Model {
         }
 
         SelectStep(new_idx) => {
-          {
+          #{
             view_state: v,
             active_trace: t,
             current_step_index: new_idx,
@@ -104,15 +104,15 @@ fn invariant_path_update(@linear msg: Msg, @linear model: Model) -> Model {
 
         PopState => {
           if h > 0 {
-            {
+            #{
               view_state: ViewState::Dashboard,
               active_trace: t,
               current_step_index: -1,
               is_scanning: false,
               history_depth: h - 1
             }
           } else {
-            {
+            #{
               view_state: v,
               active_trace: t,
               current_step_index: i,
@@ -129,7 +129,7 @@ fn invariant_path_update(@linear msg: Msg, @linear model: Model) -> Model {
 fn invariant_path_view(model: Model) -> String {
   match model.view_state {
     Dashboard       => "INVARIANT PATH: Claim Tracing Dashboard",
-    TraceViewer     => "TRACE VIEWER: Step " + (if model.current_step_index >= 0 { "Active" } else { "None" }),
+    TraceViewer     => "TRACE VIEWER: Step " ++ (if model.current_step_index >= 0 { "Active" } else { "None" }),
     IntegrityReport => "INTEGRITY REPORT: Factual Claim Grounding"
   }
 }