NINI
81 lines
6.4 KiB
PowerShell
81 lines
6.4 KiB
PowerShell
param([Parameter(Mandatory)][string]$EvidenceDir,[Parameter(Mandatory)][string]$FixtureDir,[string]$ProgressionSource=(Join-Path $PSScriptRoot 'exercise-final-progression.ps1'))
|
|
$ErrorActionPreference='Stop'
|
|
New-Item -ItemType Directory $EvidenceDir -Force|Out-Null
|
|
$checks=[Collections.Generic.List[object]]::new();$script:inputs=[Collections.Generic.List[object]]::new()
|
|
function Record($Id,$Passed,$Actual){$checks.Add(@{id=$Id;passed=[bool]$Passed;actual=$Actual})}
|
|
function Load($Path,$Name){
|
|
$ast=[Management.Automation.Language.Parser]::ParseFile($Path,[ref]$null,[ref]$null)
|
|
$f=$ast.Find({param($n)$n-is[Management.Automation.Language.FunctionDefinitionAst]-and$n.Name-eq$Name},$true)
|
|
if(!$f){throw "Missing function $Name"}
|
|
$expected=$f.Extent.Text.Replace("function $Name","function global:$Name").Replace('$PSScriptRoot',"'$PSScriptRoot'")
|
|
. ([scriptblock]::Create($expected))
|
|
Record "$Name-production-body" ((Get-Command $Name).ScriptBlock.Ast.Extent.Text-ceq$expected) $Path
|
|
}
|
|
function Clone($Value){return $Value|ConvertTo-Json -Depth 30|ConvertFrom-Json}
|
|
function Adb {return 'Physical size: 1080x2400'}
|
|
function Check($Id,$Passed,$Actual){if(!$Passed){throw "$Id : $Actual"}}
|
|
function Start-Sleep {}
|
|
# External input leaves are inert. Geometry below is counterfactual framing, never native proof.
|
|
function pwsh {$script:inputs.Add('pinch-leaf');$global:LASTEXITCODE=0}
|
|
function NativePointer {}
|
|
function Step {}
|
|
function global:LiftMergeRoute {return $null}
|
|
$commands=[Collections.Generic.List[object]]::new()
|
|
$script:current=$null;$script:zoomed=$false;$script:badZoom=$false;$script:caseState=$null
|
|
function Save([string]$Name){
|
|
if($Name-match'-before-(\d+)$'){$script:current=if($script:caseState){Clone $script:caseState}else{Get-Content (Join-Path $FixtureDir "stage-16-merge-4-before-$($Matches[1]).json") -Raw|ConvertFrom-Json};$script:zoomed=$false}
|
|
if($Name-match'zoom-out-state'){
|
|
$script:current=Clone $script:current
|
|
(Board $script:current 16).camera.distance=15
|
|
if($script:badZoom){$script:current.completedStageIds+=16}
|
|
$script:zoomed=$true
|
|
}
|
|
return Clone $script:current
|
|
}
|
|
function global:NativeMoveAndHold($Name,$Board,$Id,$End){
|
|
if(!(BallClear $Board $Id)-or!(WorldSafe $End)){throw 'unsafe-counterfactual-input'}
|
|
$script:inputs.Add(@{id=$Id;end=$End;distance=$Board.camera.distance;zoomed=$script:zoomed})
|
|
throw 'safe-framed-drop-selected'
|
|
}
|
|
try{
|
|
foreach($n in @('BallPoint','WorldSafe','BallClear','Same')){Load (Join-Path $PSScriptRoot 'final-common.ps1') $n}
|
|
foreach($n in @('Board','Orbit','ZoomOut','MergeReal')){Load $ProgressionSource $n}
|
|
$errorText=$null;try{MergeReal 16 'offline-merge16'|Out-Null}catch{$errorText=$_.Exception.Message}
|
|
$drops=@($script:inputs|Where-Object {$_-isnot[string]})
|
|
Record 'actual-depth-window-reframes-and-reprojects-within-original-bound' ($errorText-eq'safe-framed-drop-selected'-and$drops.Count-eq1-and$drops[0].zoomed-and$drops[0].distance-eq15) @{error=$errorText;inputs=$script:inputs.ToArray();scope='Offline decision/input-leaf replay only; no merge success inferred'}
|
|
# A native pinch must not mask an independent completion record change.
|
|
$script:badZoom=$true;$script:inputs.Clear();$errorText=$null
|
|
try{MergeReal 16 'bad-zoom'|Out-Null}catch{$errorText=$_.Exception.Message}
|
|
Record 'pinch-independent-record-corruption-rejected-before-ball-input' ($errorText-match'pinch-preserves-whole-save'-and@($script:inputs|Where-Object {$_-isnot[string]}).Count-eq0) $errorText
|
|
$script:badZoom=$false
|
|
foreach($kind in @('already-safe-pair','no-eligible-depth','no-source-first-hit','maximum-distance','no-eligible-source-size','offset-only-unsafe')){
|
|
$index=if($kind-eq'no-eligible-depth'){0}elseif($kind-eq'maximum-distance'){11}else{2}
|
|
$script:caseState=Get-Content (Join-Path $FixtureDir "stage-16-merge-4-before-$index.json") -Raw|ConvertFrom-Json
|
|
$b=Board $script:caseState 16;$sourceCount=1;$targetCount=5
|
|
switch($kind){
|
|
'already-safe-pair'{$b.camera.distance=15}
|
|
'no-source-first-hit'{foreach($ball in $b.balls){$ball.position=Clone $b.balls[0].position}}
|
|
'maximum-distance'{foreach($ball in $b.balls){$ball.position.x*=15/8;$ball.position.y=1.25+($ball.position.y-1.25)*15/8;$ball.position.z*=15/8};$b.camera.distance=15}
|
|
'no-eligible-source-size'{$sourceCount=2}
|
|
'offset-only-unsafe'{
|
|
$b.camera.rotation=[pscustomobject]@{x=0;y=0;z=0;w=1}
|
|
foreach($ball in $b.balls){$ball.position=[pscustomobject]@{x=-8;y=2.5;z=0}}
|
|
@($b.balls|Where-Object id -eq 's16-b04')[0].position=[pscustomobject]@{x=0;y=1.25;z=0}
|
|
@($b.balls|Where-Object id -eq 's16-b05')[0].position=[pscustomobject]@{x=-5.94;y=2.5;z=0}
|
|
$point=BallPoint $b 's16-b05'
|
|
Record 'offset-control-center-safe-endpoint-unsafe' ((WorldSafe $point)-and!(WorldSafe @(($point[0]-35),$point[1]))) $point
|
|
}
|
|
}
|
|
$script:inputs.Clear();$errorText=$null;try{MergeReal 16 "control-$kind" $sourceCount $targetCount|Out-Null}catch{$errorText=$_.Exception.Message}
|
|
$pinches=@($script:inputs|Where-Object {$_-is[string]}).Count
|
|
$drops=@($script:inputs|Where-Object {$_-isnot[string]})
|
|
if($kind-eq'offset-only-unsafe'){$ok=$pinches-eq5-and$errorText-eq'safe-framed-drop-selected'-and$drops.Count-eq1-and$drops[0].zoomed}
|
|
elseif($kind-eq'already-safe-pair'){$ok=$pinches-eq0-and$errorText-eq'safe-framed-drop-selected'-and$drops.Count-eq1-and!$drops[0].zoomed}
|
|
else{$ok=$pinches-eq0-and$drops.Count-eq0-and$errorText-match'Native merge bound reached'}
|
|
Record "branch-control-$kind" $ok @{pinchLeaves=$pinches;drops=$drops;error=$errorText;scope='Explicitly counterfactual boundary control'}
|
|
}
|
|
}catch{Record 'evaluation' $false $_.Exception.Message}
|
|
$passed=$checks.Count-gt0-and@($checks|Where-Object passed -ne $true).Count-eq0
|
|
@{passed=$passed;scope='Offline frozen failed execution replay; mocked native leaves and explicitly counterfactual distance15; not Android completion';progressionSha256=(Get-FileHash $ProgressionSource).Hash;fixtures=@(0..15|ForEach-Object {$p=Join-Path $FixtureDir "stage-16-merge-4-before-$_.json";@{path=$p;sha256=(Get-FileHash $p).Hash}});checks=$checks.ToArray()}|ConvertTo-Json -Depth 12|Set-Content (Join-Path $EvidenceDir 'merge-framing-result.json')
|
|
if(!$passed){exit 1};exit 0
|