aw-spec-cli 0.1.28 → 0.1.30

package/assets/.appweaver/scripts/powershell/aw-spec-actions.ps1

@@ -654,8 +654,8 @@ function Invoke-LaneSet {
     Invoke-AwStackCore -Op 'set' -Rest $fwd
 }
 
-# ─────────────── contract-export / contract-client / contract-check ───────────────
-# Twins of the bash cmd_contract_export / cmd_contract_client / cmd_contract_check.
+# ─────────────── contract-export / -draft / -combine / -requests / -client / -check ───────────────
+# Twins of the bash cmd_contract_export / _draft / _combine / _requests / _client / _check.
 function Invoke-ContractExport {
     param([string[]]$Rest)
     $fwd = @()
@@ -668,10 +668,48 @@ function Invoke-ContractExport {
     Invoke-AwStackCore -Op 'contract-export' -Rest $fwd
 }
 
+function Invoke-ContractDraft {
+    param([string[]]$Rest)
+    $fwd = @()
+    for ($i = 0; $i -lt $Rest.Count; $i++) {
+        switch ($Rest[$i]) {
+            '--feature-dir' { $v = $Rest[++$i]; if ($v) { $fwd += '--feature-dir'; $fwd += $v } }
+            default { Write-Error "contract-draft: unknown arg '$($Rest[$i])'"; exit 1 }
+        }
+    }
+    Invoke-AwStackCore -Op 'contract-draft' -Rest $fwd
+}
+
+function Invoke-ContractCombine {
+    param([string[]]$Rest)
+    if ($Rest.Count -gt 0) { Write-Error "contract-combine: unknown arg '$($Rest[0])'"; exit 1 }
+    Invoke-AwStackCore -Op 'contract-combine' -Rest @()
+}
+
+function Invoke-ContractRequests {
+    param([string[]]$Rest)
+    $fwd = @()
+    for ($i = 0; $i -lt $Rest.Count; $i++) {
+        switch ($Rest[$i]) {
+            '--feature-dir' { $v = $Rest[++$i]; if ($v) { $fwd += '--feature-dir'; $fwd += $v } }
+            default { Write-Error "contract-requests: unknown arg '$($Rest[$i])'"; exit 1 }
+        }
+    }
+    Invoke-AwStackCore -Op 'contract-requests' -Rest $fwd
+}
+
+# --doc names the document `{{contract}}` stands for in the lane's `client` command; an
+# empty one is dropped. Twin of bash cmd_contract_client.
 function Invoke-ContractClient {
     param([string[]]$Rest)
-    if ($Rest.Count -gt 0) { Write-Error "contract-client: unknown arg '$($Rest[0])'"; exit 1 }
-    Invoke-AwStackCore -Op 'run-phase' -Rest @('--phase', 'client', '--kind', 'frontend')
+    $fwd = @('--phase', 'client', '--kind', 'frontend')
+    for ($i = 0; $i -lt $Rest.Count; $i++) {
+        switch ($Rest[$i]) {
+            '--doc' { $v = $Rest[++$i]; if ($v) { $fwd += '--contract'; $fwd += $v } }
+            default { Write-Error "contract-client: unknown arg '$($Rest[$i])'"; exit 1 }
+        }
+    }
+    Invoke-AwStackCore -Op 'run-phase' -Rest $fwd
 }
 
 function Invoke-ContractCheck {
@@ -686,6 +724,26 @@ function Invoke-ContractCheck {
     Invoke-AwStackCore -Op 'contract-check' -Rest $fwd
 }
 
+# cmd_contract_impact: what a change's service delta changes or removes that the frontend
+# master plan binds to. Each path is forwarded only when it is not empty — PowerShell 5.1
+# drops an empty value, and the flag would then take the next one.
+function Invoke-ContractImpact {
+    param([string[]]$Rest)
+    $fwd = @()
+    for ($i = 0; $i -lt $Rest.Count; $i++) {
+        switch ($Rest[$i]) {
+            { $_ -in '--delta-backend','--frontend-plan','--delta-frontend' } {
+                $flag = $Rest[$i]
+                if ($i + 1 -lt $Rest.Count -and -not "$($Rest[$i + 1])".StartsWith('--')) {
+                    $v = $Rest[++$i]; if ($v) { $fwd += $flag; $fwd += $v }
+                }
+            }
+            default { Write-Error "contract-impact: unknown arg '$($Rest[$i])'"; exit 1 }
+        }
+    }
+    Invoke-AwStackCore -Op 'contract-impact' -Rest $fwd
+}
+
 # The gate: is the declaration USABLE for the phase about to run. Twin of bash
 # cmd_lane_verify. --require names a lane kind the phase cannot run without;
 # --allow-missing-root is the greenfield state, where a lane root folder is declared
@@ -705,12 +763,31 @@ function Invoke-LaneVerify {
             # --flag=value: --command carries a phase name that starts with '/'.
             '--command'             { $fwd += ('--command=' + $Rest[++$i]) }
             '--allow-missing-root'  { $fwd += '--allow-missing-root' }
+            '--working-only'        { $fwd += '--working-only' }
             default { Write-Error "lane-verify: unknown arg '$($Rest[$i])'"; exit 1 }
         }
     }
     Invoke-AwStackCore -Op 'verify' -Rest $fwd
 }
 
+# The developer's WORKING lane, in .appweaver/lane.json (not committed). Twin of bash
+# cmd_lane_select: no argument reads it and lists the answers the declared stacks offer;
+# --lane writes one of them; --default writes the default for the declared stacks.
+function Invoke-LaneSelect {
+    param([string[]]$Rest)
+    $fwd = @()
+    for ($i = 0; $i -lt $Rest.Count; $i++) {
+        switch ($Rest[$i]) {
+            # --flag=value: --preselect carries raw user prose, and a value that starts
+            # with '-' reads as another flag when passed separately.
+            { $_ -in '--lane','--preselect' } { $fwd += ($Rest[$i] + '=' + $Rest[++$i]) }
+            '--default' { $fwd += '--default' }
+            default { Write-Error "lane-select: unknown arg '$($Rest[$i])'"; exit 1 }
+        }
+    }
+    Invoke-AwStackCore -Op 'lane-select' -Rest $fwd
+}
+
 # Evidence that a lane of this kind exists, from the FILE signals only: a lane in
 # stacks.json, and a stack name appearing in free prose. The authoritative signal
 # — whether the active project's technical map carries `## /aw-spec-<command>` for the
@@ -2702,11 +2779,14 @@ function Invoke-TestRun {
     #               feature's aggregate name (feature-dir basename) plus any --also referrer
     #               names — the per-feature integrity scope. .NET only; npm/none ignore it
     #               and run the full suite. (Kept byte-for-byte in step with the bash cmd_test_run.)
-    $featureDir = ''; $scope = 'repo'; $also = ''
+    # --kind runs ONE declared lane's suite — the developer's working lane. Empty means
+    # every declared lane, as before. (Twin of the bash cmd_test_run.)
+    $featureDir = ''; $scope = 'repo'; $also = ''; $kind = ''
     for ($i = 0; $i -lt $Rest.Count; $i++) {
         switch ($Rest[$i]) {
             { $_ -in '--feature-dir','-FeatureDir' } { $featureDir = $Rest[++$i] }
             { $_ -in '--scope','-Scope' }            { $scope = $Rest[++$i] }
+            { $_ -in '--kind','-Kind' }              { $kind = $Rest[++$i] }
             # Repeatable, lists UNION — see the bash twin for why the caller passes two.
             { $_ -in '--also','-Also' }              { $v = $Rest[++$i]; $also = if ($also) { "$also,$v" } else { $v } }
         }
@@ -2747,16 +2827,20 @@ function Invoke-TestRun {
     # VSTest's --filter is the only per-test selector any shipped profile has. Elsewhere a
     # slice run delegates and widens to the lane's whole suite, which the fence tolerates
     # by design, and reports scoped=false so fence_green comes from `ok`.
+    # A FRONTEND-only run always delegates: the .NET path below runs the service's suite,
+    # which is not the lane being asked about.
     # (Kept in step with the bash cmd_test_run.)
     $laneCount = Get-LaneField -Field 'lane_count'
     $useLanes = $false
     if ($laneCount -and $laneCount -ne '0') {
-        if ($scope -ne 'slice' -or -not $dotnetPresent) { $useLanes = $true }
+        if ($scope -ne 'slice' -or -not $dotnetPresent -or $kind -eq 'frontend') { $useLanes = $true }
     }
     if ($useLanes) {
         $py = Get-Py
         $core = Join-Path $PSScriptRoot '..' 'python' 'aw-stack.py'
-        $line = (& $py $core '--repo' $repo 'run-phase' '--phase' 'test' | Select-Object -First 1)
+        $kindArgs = @()
+        if ($kind) { $kindArgs = @('--kind', $kind) }
+        $line = (& $py $core '--repo' $repo 'run-phase' '--phase' 'test' @kindArgs | Select-Object -First 1)
         $d = if ($line) { $line | ConvertFrom-Json } else { $null }
         $dLog = if ($d -and $d.log_tail) { [string]$d.log_tail } else { '' }
         $dOk = [bool]($d -and $d.ok)
@@ -3137,9 +3221,35 @@ function Invoke-ModelScaffold {
 #                   new` resolves to it.
 # `count` and `has_changes` keep counting REAL open changes, so a caller that gates on
 # them is unaffected by either flag.
+#
+# EACH CHANGE'S LANES, from its delta-spec's `**Lanes**:` line (`lanes[]`, and
+# `lanes_recorded` false when there is no line, which means every lane). `--lane backend |
+# frontend | both` lists only the changes that touch one of those lanes; every count, id,
+# option and preselect above then covers that list alone, and `hidden_ids[]` names the open
+# changes it left out. No `--lane`, or an empty one, lists every open change. A change that
+# touches one lane only says so in its option label; the label of one touching both is
+# unchanged. Twin of bash cmd_cr_list.
+#
+# The lanes a change touches, from its delta-spec's **Lanes** line: the kinds it names, or
+# nothing when the line is missing or still the template placeholder — a change touching
+# every lane. Callers wrap the call in @() so one kind stays an array. Twin of
+# read_change_lanes in python/aw-stack.py, which bash cmd_cr_list / cmd_cr_paths load.
+function Get-ChangeLanes {
+    param([string]$Path)
+    if (-not (Test-Path -LiteralPath $Path -PathType Leaf)) { return }
+    $t = Get-Content -LiteralPath $Path -Raw -ErrorAction SilentlyContinue
+    if (-not $t) { return }
+    $m = [regex]::Match($t, '(?m)^\*\*Lanes\*\*:[ \t]*(.*?)[ \t]*(?:<!--.*)?$')
+    $v = ''
+    if ($m.Success) { $v = $m.Groups[1].Value.Trim().ToLower() }
+    if (-not $v -or $v.StartsWith('[')) { return }
+    if ($v -match '\bboth\b') { return @('backend', 'frontend') }
+    foreach ($k in @('backend', 'frontend')) { if ($v -match "\b$k\b") { $k } }
+}
+
 function Invoke-CrList {
     param([string[]]$Rest)
-    $fdArg = ''; $pre = ''; $incMain = $false; $incNew = $false
+    $fdArg = ''; $pre = ''; $incMain = $false; $incNew = $false; $laneArg = ''
     $mainLabel = "main · the feature's own spec — re-plan the master (not a change)"
     $newLabel = 'new · open a plan-only change — a refactor or architectural decision, no spec delta'
     for ($i = 0; $i -lt $Rest.Count; $i++) {
@@ -3148,8 +3258,17 @@ function Invoke-CrList {
             { $_ -in '--preselect','-Preselect' } { $pre = $Rest[++$i] }
             { $_ -in '--include-main','-IncludeMain' } { $incMain = $true }
             { $_ -in '--include-new','-IncludeNew' } { $incNew = $true }
+            # PowerShell 5.1 drops an empty value, so the next flag is never taken as one.
+            { $_ -in '--lane','-Lane' } { if ($i + 1 -lt $Rest.Count -and -not "$($Rest[$i + 1])".StartsWith('-')) { $laneArg = $Rest[++$i] } }
         }
     }
+    $want = @()
+    foreach ($tok in @([regex]::Split("$laneArg".Trim().ToLower(), '[\s,]+') | Where-Object { $_ })) {
+        if ($tok -eq 'both') { $want += 'backend'; $want += 'frontend' }
+        elseif ($tok -in @('backend', 'frontend')) { $want += $tok }
+        else { Write-Error "cr-list: --lane takes backend, frontend or both, not '$tok'"; exit 1 }
+    }
+    $want = @(@('backend', 'frontend') | Where-Object { $want -contains $_ })
     # The WHOLE argument, kept alongside the token. A cr id is matched on the token
     # because a selection label starts with one; the synthetic words are matched on the
     # whole string so that guidance prose like "new caching layer" — which plan passes
@@ -3188,6 +3307,10 @@ function Invoke-CrList {
                 $first = (Get-Content $dspec -TotalCount 1 -ErrorAction SilentlyContinue)
                 if ("$first" -match '^#\s+.*?:\s*(.+)$') { $t = $Matches[1].Trim(); if ($t -and -not $t.StartsWith('[')) { $title = $t } }
             }
+            $recorded = @(Get-ChangeLanes -Path $dspec)
+            # Assigned, not $( )-wrapped: a subexpression unrolls a one-kind array to a string.
+            $rowLanes = @('backend', 'frontend')
+            if ($recorded.Count) { $rowLanes = @($recorded) }
             $rows += [ordered]@{
                 cr_id = $d.Name; cr_dir = (ConvertTo-RepoRelative -Path $d.FullName -RepoRoot $repo); wave = $wave
                 title = $title
@@ -3198,13 +3321,19 @@ function Invoke-CrList {
                 legacy_delta_design = (Test-Path $legacy)
                 tracked = ($tracked -contains $d.Name)
                 active = ($d.Name -eq $active)
+                lanes = $rowLanes
+                lanes_recorded = ($recorded.Count -gt 0)
             }
         }
     }
     $rows = @($rows | Sort-Object @{ Expression = { $_.wave } }, @{ Expression = { $_.cr_id } })
+    $hidden = @($rows | Where-Object { $want.Count -and -not @($_.lanes | Where-Object { $want -contains $_ }).Count })
+    $hiddenIds = @($hidden | ForEach-Object { $_.cr_id })
+    $rows = @($rows | Where-Object { $hiddenIds -notcontains $_.cr_id })
     $crOpts = @(); foreach ($r in $rows) {
         $bits = @($r.cr_id, ("wave " + $r.wave))
         if ($r.title) { $bits += $r.title } else { $bits += '(delta-spec not authored yet)' }
+        if (@($r.lanes).Count -eq 1) { $bits += ('{0} only' -f @($r.lanes)[0]) }
         $planned = @(); if ($r.delta_backend_plan_exists) { $planned += 'backend' }; if ($r.delta_frontend_plan_exists) { $planned += 'frontend' }
         if ($planned.Count) { $bits += ('planned: ' + ($planned -join '+')) }
         $crOpts += ($bits -join ' · ')
@@ -3241,6 +3370,12 @@ function Invoke-CrList {
         active_change = $active; tracked = @($tracked)
         has_changes = ($rows.Count -gt 0)
         only_id = $(if ($rows.Count -eq 1) { $rows[0].cr_id } else { '' })
+        # What --lane left out: open changes that touch none of the lanes asked for.
+        lane_filter = @($want)
+        hidden_ids = @($hiddenIds); hidden_count = $hidden.Count
+        hidden_ids_csv = (@($hidden | ForEach-Object { '{0} ({1} only)' -f $_.cr_id, (@($_.lanes) -join '+') }) -join ', ')
+        # A --preselect naming one of those, so a caller can say why it was not selected.
+        preselect_hidden = $(if ($pre -and -not $matched -and $hiddenIds -contains $pre) { $pre } else { '' })
     })
 }
 
@@ -3271,6 +3406,9 @@ function Invoke-CrPaths {
     $fe     = Join-Path $crDir 'delta-frontend-plan.md'
     $master = Join-Path $ctx 'domain-model.md'
     $wave = [int](Get-WaveOf -FeatureDir $fd -CrId $crId -Repo $repo)
+    $recorded = @(Get-ChangeLanes -Path $dspec)
+    $lanes = @('backend', 'frontend')
+    if ($recorded.Count) { $lanes = @($recorded) }
     $pred = @(); $sib = @(); $predRows = @(); $sibRows = @(); $predSpecs = @()
     foreach ($f in @(Get-ChildItem -LiteralPath $ctx -Filter 'domain-model.*.delta.md' -File -ErrorAction SilentlyContinue | Sort-Object Name)) {
         $other = $f.Name.Substring('domain-model.'.Length)
@@ -3308,6 +3446,10 @@ function Invoke-CrPaths {
         delta_backend_plan = (ConvertTo-RepoRelative -Path $be -RepoRoot $repo); delta_backend_plan_exists = (Test-Path $be)
         delta_frontend_plan = (ConvertTo-RepoRelative -Path $fe -RepoRoot $repo); delta_frontend_plan_exists = (Test-Path $fe)
         wave = $wave
+        # The lanes this change touches, from its delta-spec's **Lanes** line — every lane
+        # when it records none (lanes_recorded false).
+        lanes = @($lanes); lanes_csv = (@($lanes) -join ','); lanes_recorded = ($recorded.Count -gt 0)
+        touches_backend = (@($lanes) -contains 'backend'); touches_frontend = (@($lanes) -contains 'frontend')
         context_dir = (ConvertTo-RepoRelative -Path $ctx -RepoRoot $repo)
         domain_model = (ConvertTo-RepoRelative -Path $master -RepoRoot $repo); domain_model_exists = (Test-Path $master)
         # Lower wave = committed to landing first, so this delta may plan on top of it.
@@ -3497,6 +3639,62 @@ function Invoke-CrWave {
     Write-Json ([ordered]@{ cr_id = $crId; wave = [int]$wave; stamped = $stamped; delta_spec = $dspec; delta_model = $dmodel })
 }
 
+# cmd_cr_lanes: the lanes a change touches, on its delta-spec's **Lanes** line. No --cr-id
+# lists the answers; with it, reads the line, and --set / --stamp write it. An empty value
+# is dropped by PowerShell 5.1 before it gets here, so --set goes last in a caller's args
+# and an answer is forwarded only when there is one.
+function Invoke-CrLanes {
+    param([string[]]$Rest)
+    $crId = ''; $fdArg = ''; $answer = ''; $stamp = $false
+    for ($i = 0; $i -lt $Rest.Count; $i++) {
+        switch ($Rest[$i]) {
+            '--cr-id' { $crId = $Rest[++$i] }
+            '--feature-dir' { $fdArg = $Rest[++$i] }
+            '--set' { $answer = $Rest[++$i] }
+            '--stamp' { $stamp = $true }
+            default { Write-Error "cr-lanes: unknown arg '$($Rest[$i])'"; exit 1 }
+        }
+    }
+    $crId = Get-CrIdToken -Raw $crId
+    $fwd = @()
+    if ($crId) {
+        $repo = Get-RepoRoot; $fd = Resolve-FeatureDir -Arg $fdArg -RepoRoot $repo
+        if (-not $fd) { Write-Error 'cr-lanes: no feature set and no --feature-dir'; exit 1 }
+        $fwd += '--delta-spec'; $fwd += (Join-Path $fd "changes/$crId/delta-spec.md")
+    } elseif ($stamp -or $answer) {
+        Write-Error 'cr-lanes: --set and --stamp need --cr-id'; exit 1
+    }
+    if ($stamp) { $fwd += '--stamp' }
+    if ($answer) { $fwd += ('--set=' + $answer) }
+    Invoke-AwStackCore -Op 'cr-lanes' -Rest $fwd
+}
+
+# analyze-slice-delta's result for ONE lane, written into the change's directory as
+# .aw-slice-gate.<lane>.json. Twin of bash cmd_slice_gate_stamp; the rule is in aw-stack.py.
+function Invoke-SliceGateStamp {
+    param([string[]]$Rest)
+    $crId = ''; $fdArg = ''; $fwd = @()
+    for ($i = 0; $i -lt $Rest.Count; $i++) {
+        switch ($Rest[$i]) {
+            '--cr-id' { $crId = $Rest[++$i] }
+            '--feature-dir' { $fdArg = $Rest[++$i] }
+            # --flag=value: the findings are a JSON list. PowerShell 5.1 drops an empty
+            # argument, so a value that would be the next flag is read as empty instead.
+            { $_ -in '--lane','--tests-green','--tests-ran','--requirements-ok','--findings' } {
+                $flag = $Rest[$i]; $v = ''
+                if ($i + 1 -lt $Rest.Count -and -not "$($Rest[$i + 1])".StartsWith('--')) { $v = $Rest[++$i] }
+                $fwd += ($flag + '=' + $v)
+            }
+            default { Write-Error "slice-gate-stamp: unknown arg '$($Rest[$i])'"; exit 1 }
+        }
+    }
+    $crId = Get-CrIdToken -Raw $crId
+    if (-not $crId) { Write-Error 'slice-gate-stamp: --cr-id is required'; exit 1 }
+    $repo = Get-RepoRoot; $fd = Resolve-FeatureDir -Arg $fdArg -RepoRoot $repo
+    if (-not $fd) { Write-Error 'slice-gate-stamp: no feature set and no --feature-dir'; exit 1 }
+    Invoke-AwStackCore -Op 'slice-gate-stamp' -Rest (@('--cr-dir', (Join-Path $fd "changes/$crId"), '--cr-id', $crId) + $fwd)
+}
+
 $PyCrWaveDerive = @'
 import glob, json, os, re
 
@@ -4443,11 +4641,16 @@ function Invoke-CrRecallCheck {
 # an untagged gap included — is a plan gap. Unreadable input is one plan gap: a verdict that
 # could not be read must not pass.
 function Invoke-PlanGaps {
+    # --lanes is the developer's WORKING lanes (csv) — see the bash twin cmd_plan_gaps.
     param([string[]]$Rest)
-    $raw = ''
+    $raw = ''; $lanesArg = ''
     for ($i = 0; $i -lt $Rest.Count; $i++) {
-        switch ($Rest[$i]) { { $_ -in '--gaps','-Gaps' } { $raw = $Rest[++$i] } }
+        switch ($Rest[$i]) {
+            { $_ -in '--gaps','-Gaps' }   { $raw = $Rest[++$i] }
+            { $_ -in '--lanes','-Lanes' } { $lanesArg = $Rest[++$i] }
+        }
     }
+    $lanes = @("$lanesArg".Split(',') | ForEach-Object { $_.Trim().ToLower() } | Where-Object { $_ })
     $gaps = @(); $readable = $true
     if ("$raw".Trim()) {
         try {
@@ -4455,25 +4658,39 @@ function Invoke-PlanGaps {
             if ($parsed -is [array]) { $gaps = @($parsed) } else { $readable = $false }
         } catch { $readable = $false }
     }
-    $plan = 0; $routed = @()
+    $plan = 0; $routed = @(); $other = @()
+    $perPlan = @{ backend = 0; frontend = 0 }
+    $perRouted = @{ backend = @(); frontend = @() }
     foreach ($g in $gaps) {
         if ($g -is [System.Management.Automation.PSCustomObject]) {
             $text = "$($g.gap)".Trim(); $route = "$($g.route)".Trim().ToLower(); $ref = "$($g.spec_ref)".Trim()
+            $lane = "$($g.lane)".Trim().ToLower()
         } else {
-            $text = "$g".Trim(); $route = ''; $ref = ''
+            $text = "$g".Trim(); $route = ''; $ref = ''; $lane = ''
         }
+        $line = $(if ($ref -and $ref -ne '—') { '{0}: {1}' -f $ref, $text } else { $text })
+        $targets = $(if ($lane -in 'backend','frontend') { @($lane) } else { @('backend','frontend') })
         if ($text.ToUpper().StartsWith('LIFT-FAILURE') -or $route -eq 'specify') {
-            $routed += $(if ($ref -and $ref -ne '—') { '{0}: {1}' -f $ref, $text } else { $text })
+            $routed += $line
+            foreach ($t in $targets) { $perRouted[$t] += $line }
+        } elseif ($lanes.Count -gt 0 -and $lane -in 'backend','frontend' -and $lanes -notcontains $lane) {
+            $other += ('{0}: {1}' -f $lane, $line)
         } else {
             $plan++
+            foreach ($t in $targets) { $perPlan[$t]++ }
         }
     }
-    if (-not $readable) { $plan++ }
-    $verdict = if ($plan -gt 0) { 'gaps' } elseif ($routed.Count -gt 0) { 'routed-gaps' } else { 'conformant' }
+    if (-not $readable) { $plan++; $perPlan['backend']++; $perPlan['frontend']++ }
+    function Get-GapVerdict([int]$p, [int]$r) { if ($p -gt 0) { 'gaps' } elseif ($r -gt 0) { 'routed-gaps' } else { 'conformant' } }
     Write-Json ([ordered]@{
-        ok = $true; readable = $readable; verdict = $verdict; plan_ok = ($plan -eq 0)
+        ok = $true; readable = $readable; verdict = (Get-GapVerdict $plan $routed.Count); plan_ok = ($plan -eq 0)
         plan_gaps = $plan; routed_gaps = $routed.Count; routed = @($routed)
-        routed_csv = ($routed -join '; ')
+        routed_csv = ($routed -join '; '); lanes = @($lanes)
+        other_gaps = $other.Count; other = @($other); other_csv = ($other -join '; ')
+        backend_verdict = (Get-GapVerdict $perPlan['backend'] $perRouted['backend'].Count)
+        backend_plan_gaps = $perPlan['backend']; backend_routed = @($perRouted['backend'])
+        frontend_verdict = (Get-GapVerdict $perPlan['frontend'] $perRouted['frontend'].Count)
+        frontend_plan_gaps = $perPlan['frontend']; frontend_routed = @($perRouted['frontend'])
     })
 }
 
@@ -4509,9 +4726,12 @@ function Invoke-PlanGateStamp {
 
 function Invoke-PlanGateCheck {
     param([string[]]$Rest)
-    $fdArg = ''
+    $fdArg = ''; $lane = ''
     for ($i = 0; $i -lt $Rest.Count; $i++) {
-        switch ($Rest[$i]) { { $_ -in '--feature-dir','-FeatureDir' } { $fdArg = $Rest[++$i] } }
+        switch ($Rest[$i]) {
+            { $_ -in '--feature-dir','-FeatureDir' } { $fdArg = $Rest[++$i] }
+            { $_ -in '--lane','-Lane' }              { $lane = $Rest[++$i] }
+        }
     }
     $repo = Get-RepoRoot; $fd = Resolve-FeatureDir -Arg $fdArg -RepoRoot $repo
     if (-not $fd) { Write-Error 'plan-gate-check: no feature set and no --feature-dir'; exit 1 }
@@ -4520,7 +4740,9 @@ function Invoke-PlanGateCheck {
     if (-not $py) { Write-Error 'plan-gate-check: python3 is required'; exit 1 }
     $core = Join-Path $PSScriptRoot '..' 'python' 'aw-plangate.py'
     if (-not (Test-Path $core)) { Write-Error "plan-gate-check: core not found at $core"; exit 1 }
-    & $py $core check --feature-dir $fd --context-dir $ctx --root $repo
+    $laneArgs = @()
+    if ($lane) { $laneArgs = @('--lane', $lane) }
+    & $py $core check --feature-dir $fd --context-dir $ctx --root $repo @laneArgs
     if ($LASTEXITCODE -ne 0) { exit $LASTEXITCODE }
 }
 
@@ -4657,9 +4879,14 @@ switch ($sub) {
     'lane-verify'      { Invoke-LaneVerify       -Rest $rest }
     'lane-probe'       { Invoke-LaneProbe        -Rest $rest }
     'lane-set'         { Invoke-LaneSet          -Rest $rest }
+    'lane-select'      { Invoke-LaneSelect       -Rest $rest }
     'contract-export'  { Invoke-ContractExport   -Rest $rest }
+    'contract-draft'   { Invoke-ContractDraft    -Rest $rest }
+    'contract-combine' { Invoke-ContractCombine  -Rest $rest }
+    'contract-requests' { Invoke-ContractRequests -Rest $rest }
     'contract-client'  { Invoke-ContractClient   -Rest $rest }
     'contract-check'   { Invoke-ContractCheck    -Rest $rest }
+    'contract-impact'  { Invoke-ContractImpact   -Rest $rest }
     'list-contexts'    { Invoke-ListContexts     -Rest $rest }
     'set-context'      { Invoke-SetContext       -Rest $rest }
     'list-features'    { Invoke-ListFeatures     -Rest $rest }
@@ -4685,6 +4912,8 @@ switch ($sub) {
     'cr-overlap'       { Invoke-CrOverlap        -Rest $rest }
     'cr-activate'      { Invoke-CrActivate       -Rest $rest }
     'cr-wave'          { Invoke-CrWave           -Rest $rest }
+    'cr-lanes'         { Invoke-CrLanes          -Rest $rest }
+    'slice-gate-stamp' { Invoke-SliceGateStamp   -Rest $rest }
     'cr-wave-derive'   { Invoke-CrWaveDerive     -Rest $rest }
     'cr-rebase'        { Invoke-CrRebase         -Rest $rest }
     'cr-archive'       { Invoke-CrArchive        -Rest $rest }

package/assets/.appweaver/scripts/powershell/aw-xref.ps1

@@ -2,7 +2,8 @@
 #
 # Cross-reference (OKF dependency) substrate. Logic lives ONCE in
 # ..\python\aw-xref.py; this wrapper exists only so the orchestrator's
-# execute_script (sh:/ps1: dispatch) can invoke it. Args pass through.
+# execute_script (sh:/ps1: dispatch) can invoke it. Args pass through, each
+# flag joined to its value (see below).
 #
 #   aw-xref.ps1 record         --using X --design <design.md> [--origin ...] [--date YYYY-MM-DD] [--root DIR]
 #   aw-xref.ps1 list           --aggregate Y [--root DIR] [--bundle knowledge]
@@ -17,5 +18,19 @@
 #                                then the boundary map, then the feature name itself)
 $ErrorActionPreference = "Stop"
 $core = Join-Path $PSScriptRoot "..\python\aw-xref.py"
-& python3 $core @args
+# Each value travels to python as ONE `--flag=value` argument. Windows PowerShell 5.1, and
+# pwsh before 7.3, drop an empty argument when calling a program, which would leave a flag
+# such as --under with no value or with the next flag as its value. `--under=` keeps the
+# empty value, and the core ignores an empty --under. --merge and --prune take no value.
+$switches = @('--merge', '--prune')
+$fwd = @()
+for ($i = 0; $i -lt $args.Count; $i++) {
+    $a = "$($args[$i])"
+    if ($a.StartsWith('--') -and -not $a.Contains('=') -and $switches -notcontains $a -and $i + 1 -lt $args.Count) {
+        $fwd += ($a + '=' + $args[++$i])
+    } else {
+        $fwd += $a
+    }
+}
+& python3 $core @fwd
 exit $LASTEXITCODE