-
Notifications
You must be signed in to change notification settings - Fork 0
fix(review): close post-merge viewer findings #539
New issue
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
Changes from all commits
01719bd
90d043d
17bfd3f
8c7c11a
6d5a926
File filter
Filter by extension
Conversations
Jump to
Diff view
Diff view
There are no files selected for viewing
| Original file line number | Diff line number | Diff line change |
|---|---|---|
|
|
@@ -49,14 +49,14 @@ function Write-Check { | |
| return $Ok | ||
| } | ||
|
|
||
| function Test-DocContains { | ||
| function Test-DocContent { | ||
| param( | ||
| [Parameter(Mandatory = $true)][string]$Doc, | ||
| [Parameter(Mandatory = $true)][string]$Needle, | ||
| [Parameter(Mandatory = $true)][string]$Label, | ||
| [string]$Context = "docs/ops/concurrency-safety.md" | ||
| ) | ||
| $ok = $Doc.Contains($Needle) | ||
| $ok = $Doc.Contains($Needle) | ||
| [void](Write-Check -Label $Label -Ok $ok) | ||
| if (-not $ok) { | ||
| throw "$Context missing required anchor: '$Needle'" | ||
|
|
@@ -70,7 +70,7 @@ function Test-DocPattern { | |
| [Parameter(Mandatory = $true)][string]$Label, | ||
| [string]$Context = "docs/ops/concurrency-safety.md" | ||
| ) | ||
| $ok = $Doc -match $Pattern | ||
| $ok = $Doc -cmatch $Pattern | ||
| [void](Write-Check -Label $Label -Ok $ok) | ||
| if (-not $ok) { | ||
| throw "$Context missing required pattern: '$Pattern'" | ||
|
|
@@ -96,21 +96,21 @@ $raceModel = Get-Content -LiteralPath $raceModelPath -Raw | |
| $cargoToml = Get-Content -LiteralPath $cargoTomlPath -Raw | ||
|
|
||
| Write-Host "Concurrency safety doc anchors (done vs unpaid):" | ||
| Test-DocContains -Doc $doc -Needle "Miri permutation checkers" ` | ||
| Test-DocContent -Doc $doc -Needle "Miri permutation checkers" ` | ||
| -Label "miri permutation section heading" | ||
| Test-DocContains -Doc $doc -Needle "scripts/miri-permutation-check.ps1" ` | ||
| Test-DocContent -Doc $doc -Needle "scripts/miri-permutation-check.ps1" ` | ||
| -Label "permutation SelfCheck script reference" | ||
| Test-DocPattern -Doc $doc -Pattern "Miri permutation SelfCheck\s+\|\s+\*\*done\*\*" ` | ||
| Test-DocPattern -Doc $doc -Pattern "(?m)^\| Miri permutation SelfCheck\s+\|\s+\*\*done\*\*\s+\|" ` | ||
| -Label "permutation SelfCheck gate marked done" | ||
| Test-DocPattern -Doc $doc -Pattern "Miri permutation race_model CI\s+\|\s+\*\*done\*\*" ` | ||
| Test-DocPattern -Doc $doc -Pattern "(?m)^\| Miri permutation race_model CI\s+\|\s+\*\*done\*\*\s+\|" ` | ||
| -Label "permutation race_model CI gate marked done" | ||
| Test-DocContains -Doc $doc -Needle "miri-permutation.yml" ` | ||
| Test-DocContent -Doc $doc -Needle "miri-permutation.yml" ` | ||
| -Label "miri-permutation workflow reference" | ||
| Test-DocContains -Doc $doc -Needle "miri-smoke.yml" ` | ||
| Test-DocContent -Doc $doc -Needle "miri-smoke.yml" ` | ||
| -Label "miri-smoke soft workflow reference retained" | ||
| Test-DocPattern -Doc $doc -Pattern "loom_model under Miri\s+\|\s+\*\*unpaid\*\*" ` | ||
| Test-DocPattern -Doc $doc -Pattern "(?m)^\| loom_model under Miri\s+\|\s+\*\*unpaid\*\*\s+\|" ` | ||
| -Label "loom_model under Miri unpaid gate" | ||
|
Comment on lines
+103
to
112
There was a problem hiding this comment. Choose a reason for hiding this commentThe reason will be displayed to describe this comment to others. Learn more. 🎯 Functional Correctness | 🟡 Minor | ⚡ Quick win 🔎 Supported by static analysis🏁 Script executed: #!/usr/bin/env bash
set -euo pipefail
pwsh -NoProfile -Command '
$pattern = "(?m)^\| Miri permutation SelfCheck\s+\|\s+\*\*done\*\*\s+\|"
$splitRow = "| Miri permutation SelfCheck`n| **done** |"
$extraContent = "| Miri permutation SelfCheck | **done** | extra"
if (-not ($splitRow -cmatch $pattern)) { throw "Expected the current pattern to accept a split row" }
if (-not ($extraContent -cmatch $pattern)) { throw "Expected the current pattern to accept trailing content" }
'Repository: KooshaPari/SessionLedger Length of output: 162 Anchor each documentation pattern to one complete table row. The three 🧰 Tools🪛 PSScriptAnalyzer (1.25.0)[warning] Missing BOM encoding for non-ASCII encoded file 'miri-permutation-check.ps1' (PSUseBOMForUnicodeEncodedFile) 🤖 Prompt for AI Agents |
||
| Test-DocContains -Doc $doc -Needle "Full loom / shuttle permutation checkers | **unpaid**" ` | ||
| Test-DocContent -Doc $doc -Needle "Full loom / shuttle permutation checkers | **unpaid**" ` | ||
| -Label "shared loom/shuttle unpaid gate retained" | ||
|
|
||
| Write-Host "Workflow blocking-gate anchors:" | ||
|
|
||
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
🎯 Functional Correctness | 🟡 Minor | ⚡ Quick win
Preserve the light-theme override in the toggle handler.
When
launch-splash-lightis active and the current setting isTheme::Light, this handler writesdarkto the document and local storage. The persistence effect may restorelightlater, but the fixture can expose the incorrect intermediate state.Resolve the fixture override before the direct DOM update, as the persistence effect does at Line 514.
Proposed fix
📝 Committable suggestion
🤖 Prompt for AI Agents