Graduate TeX semantics to EvePlugins

scripts/run-eveplugins-owner-smoke.ps1

@@ -0,0 +1,30 @@
+param([string] $EvePluginsRoot = "E:\Projects\EvePlugins")
+
+$ErrorActionPreference = "Stop"
+
+$requiredPaths = @(
+  "plugins\eve-plugin-tex\plugin.json",
+  "plugins\eve-plugin-tex\advertisement.json",
+  "plugins\eve-plugin-tex\plugin-abi-fixture.json",
+  "plugins\eve-plugin-tex\src\sidecar.mjs",
+  "scripts\run-tex-witness.mjs"
+)
+
+foreach ($relativePath in $requiredPaths) {
+  $path = Join-Path $EvePluginsRoot $relativePath
+  if (-not (Test-Path -LiteralPath $path -PathType Leaf)) {
+    throw "EvePlugins owner path is missing: $path"
+  }
+}
+
+Push-Location $EvePluginsRoot
+try {
+  npm test
+  if ($LASTEXITCODE -ne 0) { throw "EvePlugins tests failed." }
+  npm run witness:tex
+  if ($LASTEXITCODE -ne 0) { throw "EvePlugins TeX witness failed." }
+} finally {
+  Pop-Location
+}
+
+Write-Host "EvePlugins TeX owner smoke passed: $EvePluginsRoot"

scripts/run-parity-harness.ps1

@@ -27,6 +27,7 @@ try {
     -Port 8894 `
     -SkipBuild
   & (Join-Path $PSScriptRoot "run-eveunity-owner-smoke.ps1")
+  & (Join-Path $PSScriptRoot "run-eveplugins-owner-smoke.ps1")
   & (Join-Path $PSScriptRoot "run-evetui-capture-smoke.ps1")
   & (Join-Path $PSScriptRoot "run-evetui-capture-smoke.ps1") `
     -AdvertisementPath "web\fixtures\eve-world-smoke.provider-advertisement.json" `
@@ -44,8 +45,10 @@ try {
   node .\tools\conformance\attach-runtime-witness.mjs `
     "E:\Projects\EveElectron\artifacts\capture\aetheria-world\runtime-witness.json" `
     ".\artifacts\conformance\latest"
+  node .\tools\conformance\attach-plugin-witness.mjs `
+    "E:\Projects\EvePlugins\artifacts\tex-math\runtime-witness.json" `
+    ".\artifacts\conformance\latest"
   & (Join-Path $PSScriptRoot "run-eveconformance-handoff-smoke.ps1")
-  & (Join-Path $PSScriptRoot "run-plugin-handoff-smoke.ps1")
   & (Join-Path $PSScriptRoot "run-aetheria-provider-handoff-smoke.ps1")
   & (Join-Path $PSScriptRoot "run-eveelectron-owner-smoke.ps1")
   & (Join-Path $PSScriptRoot "run-evetui-split-handoff-smoke.ps1")

scripts/run-plugin-handoff-smoke.ps1

@@ -1,156 +0,0 @@
-param(
-  [string[]] $HandoffPaths = @(
-    "plugins\incubating\tex-math.plugin-handoff.json"
-  )
-)
-
-$ErrorActionPreference = "Stop"
-
-$projectRoot = Split-Path -Parent $PSScriptRoot
-
-foreach ($handoffPath in $HandoffPaths) {
-  $absoluteHandoffPath = if ([System.IO.Path]::IsPathRooted($handoffPath)) {
-    $handoffPath
-  } else {
-    Join-Path $projectRoot $handoffPath
-  }
-
-  if (-not (Test-Path -LiteralPath $absoluteHandoffPath)) {
-    throw "Plugin handoff manifest not found: $absoluteHandoffPath"
-  }
-
-  $handoff = Get-Content -LiteralPath $absoluteHandoffPath -Raw | ConvertFrom-Json
-
-  if ($handoff.schema -ne "gamecult.eve.plugin_handoff.v1") {
-    throw "Unexpected plugin handoff schema in $($handoffPath): $($handoff.schema)"
-  }
-  if (-not $handoff.pluginId) {
-    throw "Plugin handoff missing pluginId: $handoffPath"
-  }
-  if (-not $handoff.ownerRepo) {
-    throw "Plugin handoff missing ownerRepo: $($handoff.pluginId)"
-  }
-  if ($handoff.currentHostRepo -ne "Eve") {
-    throw "Plugin handoff $($handoff.pluginId) has unexpected current host: $($handoff.currentHostRepo)"
-  }
-
-  foreach ($pathProperty in @("manifestPath", "advertisementPath", "abiFixturePath")) {
-    $relativePath = $handoff.$pathProperty
-    if (-not $relativePath) {
-      throw "Plugin handoff $($handoff.pluginId) missing $pathProperty"
-    }
-    $absolutePath = Join-Path $projectRoot $relativePath
-    if (-not (Test-Path -LiteralPath $absolutePath)) {
-      throw "Plugin handoff $($handoff.pluginId) references missing $($pathProperty): $relativePath"
-    }
-  }
-
-  $manifest = Get-Content -LiteralPath (Join-Path $projectRoot $handoff.manifestPath) -Raw | ConvertFrom-Json
-  $advertisement = Get-Content -LiteralPath (Join-Path $projectRoot $handoff.advertisementPath) -Raw | ConvertFrom-Json
-  $abiFixture = Get-Content -LiteralPath (Join-Path $projectRoot $handoff.abiFixturePath) -Raw | ConvertFrom-Json
-
-  if ($manifest.pluginId -ne $handoff.pluginId) {
-    throw "Plugin handoff pluginId does not match manifest: $($handoff.pluginId) vs $($manifest.pluginId)"
-  }
-  if ($advertisement.pluginId -ne $handoff.pluginId) {
-    throw "Plugin handoff pluginId does not match advertisement: $($handoff.pluginId) vs $($advertisement.pluginId)"
-  }
-  if ($abiFixture.pluginId -ne $handoff.pluginId) {
-    throw "Plugin handoff pluginId does not match ABI fixture: $($handoff.pluginId) vs $($abiFixture.pluginId)"
-  }
-  if ($manifest.incubation.ownerRepo -ne $handoff.ownerRepo) {
-    throw "Plugin handoff $($handoff.pluginId) owner does not match manifest owner: $($manifest.incubation.ownerRepo)"
-  }
-  if ($manifest.incubation.splitTarget -ne $handoff.splitTarget) {
-    throw "Plugin handoff $($handoff.pluginId) split target does not match manifest: $($manifest.incubation.splitTarget)"
-  }
-  if ($manifest.runtime.invocationModel -ne "executable-sidecar") {
-    throw "Plugin handoff $($handoff.pluginId) runtime is not executable-sidecar: $($manifest.runtime.invocationModel)"
-  }
-  if ($manifest.runtime.contract -ne "gamecult.eve.plugin_abi.v1") {
-    throw "Plugin handoff $($handoff.pluginId) runtime contract is not gamecult.eve.plugin_abi.v1: $($manifest.runtime.contract)"
-  }
-  if ($advertisement.runtime.invocationModel -ne $manifest.runtime.invocationModel) {
-    throw "Plugin handoff $($handoff.pluginId) advertisement runtime does not match manifest runtime: $($advertisement.runtime.invocationModel)"
-  }
-  foreach ($transport in @("cultmesh", "stdio")) {
-    if (-not (@($manifest.runtime.transports) -contains $transport)) {
-      throw "Plugin handoff $($handoff.pluginId) manifest runtime missing transport: $transport"
-    }
-    if (-not (@($advertisement.runtime.transports) -contains $transport)) {
-      throw "Plugin handoff $($handoff.pluginId) advertisement runtime missing transport: $transport"
-    }
-  }
-  foreach ($authority in @("renderer-independent", "no-provider-state-mutation", "provider-accepts-or-denies-commands")) {
-    if (-not (@($manifest.runtime.authority) -contains $authority)) {
-      throw "Plugin handoff $($handoff.pluginId) manifest runtime missing authority: $authority"
-    }
-    if (-not (@($advertisement.runtime.authority) -contains $authority)) {
-      throw "Plugin handoff $($handoff.pluginId) advertisement runtime missing authority: $authority"
-    }
-  }
-  foreach ($sidecarProperty in @("processKind", "protocol", "requestSchema", "responseSchema", "commandEnvelope", "receiptSchema", "stateAuthority")) {
-    if (-not $manifest.runtime.sidecar.$sidecarProperty) {
-      throw "Plugin handoff $($handoff.pluginId) manifest sidecar missing property: $sidecarProperty"
-    }
-    if ($advertisement.runtime.sidecar.$sidecarProperty -ne $manifest.runtime.sidecar.$sidecarProperty) {
-      throw "Plugin handoff $($handoff.pluginId) advertisement sidecar $sidecarProperty does not match manifest: $($advertisement.runtime.sidecar.$sidecarProperty)"
-    }
-  }
-
-  $operations = @($abiFixture.operations | ForEach-Object { $_.operation })
-  if ($abiFixture.requestSchema -ne $manifest.runtime.sidecar.requestSchema) {
-    throw "Plugin handoff $($handoff.pluginId) ABI fixture request schema does not match sidecar: $($abiFixture.requestSchema)"
-  }
-  if ($abiFixture.responseSchema -ne $manifest.runtime.sidecar.responseSchema) {
-    throw "Plugin handoff $($handoff.pluginId) ABI fixture response schema does not match sidecar: $($abiFixture.responseSchema)"
-  }
-  foreach ($operation in @("describe", "validate", "project", "lower", "measure", "apply")) {
-    if (-not ($operations -contains $operation)) {
-      throw "Plugin handoff $($handoff.pluginId) ABI fixture missing operation: $operation"
-    }
-    if (-not (@($manifest.runtime.sidecar.operations) -contains $operation)) {
-      throw "Plugin handoff $($handoff.pluginId) manifest sidecar missing operation: $operation"
-    }
-    if (-not (@($advertisement.runtime.sidecar.operations) -contains $operation)) {
-      throw "Plugin handoff $($handoff.pluginId) advertisement sidecar missing operation: $operation"
-    }
-  }
-
-  foreach ($moveSet in @($handoff.moveSets)) {
-    if ($moveSet.destinationOwner -ne $handoff.ownerRepo) {
-      throw "Plugin handoff $($handoff.pluginId) move set $($moveSet.id) has unexpected destination owner: $($moveSet.destinationOwner)"
-    }
-    if (-not $moveSet.replacementProof) {
-      throw "Plugin handoff $($handoff.pluginId) move set $($moveSet.id) missing replacement proof"
-    }
-    foreach ($relativePath in @($moveSet.currentPaths)) {
-      $absolutePath = Join-Path $projectRoot $relativePath
-      if (-not (Test-Path -LiteralPath $absolutePath)) {
-        throw "Plugin handoff $($handoff.pluginId) move set $($moveSet.id) references missing path: $relativePath"
-      }
-    }
-  }
-
-  foreach ($contract in @(
-    "gamecult.eve.plugin.v1",
-    "gamecult.eve.plugin_advertisement.v1",
-    "gamecult.eve.plugin_abi.v1",
-    "gamecult.eve.plugin_abi.request.v1",
-    "gamecult.eve.plugin_abi.response.v1",
-    "gamecult.eve.plugin_abi_fixture.v1",
-    "gamecult.eve.conformance_export.v1"
-  )) {
-    if (-not (@($handoff.contractInputs) -contains $contract)) {
-      throw "Plugin handoff $($handoff.pluginId) missing contract input: $contract"
-    }
-  }
-
-  foreach ($proof in @($handoff.requiredExternalProofs)) {
-    if (-not $proof) {
-      throw "Plugin handoff $($handoff.pluginId) contains an empty required external proof"
-    }
-  }
-}
-
-Write-Host "Plugin handoff smoke passed: $($HandoffPaths -join ', ')"

scripts/run-plugin-owner-conformance-consumer-smoke.ps1

@@ -44,9 +44,6 @@ node $consumerScript $consumerExport `
   --expect-plugin sai.vn `
   --expect-plugin norn.graph `
   --expect-plugin tex.math `
-  --expect-plugin-handoff tex.math `
-  --expect-plugin-handoff-move tex.math:plugin-manifest:current:exists:tex-math.plugin.json `
-  --expect-plugin-handoff-move tex.math:abi-conformance:current:exists:tex-math.plugin-abi-fixture.json `
   --expect-plugin-operation sai.vn:describe `
   --expect-plugin-operation sai.vn:validate `
   --expect-plugin-operation sai.vn:project `
@@ -101,16 +98,17 @@ node $consumerScript $consumerExport `
   --expect-plugin-abi-operation-coverage tex.math:lower:contracted:EvePlugins `
   --expect-plugin-abi-operation-coverage tex.math:apply:contracted:EvePlugins `
   --expect-plugin-runtime tex.math:executable-sidecar `
-  --expect-plugin-runtime-transport tex.math:cultmesh `
+  --expect-plugin-runtime-transport tex.math:stdio `
   --expect-plugin-runtime-authority tex.math:no-provider-state-mutation `
   --expect-plugin-runtime-field tex.math:sidecar.processKind:long-running-daemon `
-  --expect-plugin-runtime-field tex.math:sidecar.protocol:cultmesh-rpc-with-stdio-dev-transport `
+  --expect-plugin-runtime-field tex.math:sidecar.protocol:stdio-ndjson `
   --expect-plugin-runtime-field tex.math:sidecar.requestSchema:gamecult.eve.plugin_abi.request.v1 `
   --expect-plugin-runtime-field tex.math:sidecar.responseSchema:gamecult.eve.plugin_abi.response.v1 `
   --expect-plugin-runtime-field tex.math:sidecar.stateAuthority:emits-render-results-only-provider-owns-source-state `
   --expect-plugin-abi-field tex.math:lower:expect.loweringKind:typeset-fragment `
   --expect-plugin-abi-field tex.math:lower:expect.fallbackKind:source-text `
-  --expect-plugin-abi-field tex.math:apply:expect.receiptSchema:gamecult.eve.plugin_receipt.v1
+  --expect-plugin-abi-field tex.math:apply:expect.receiptSchema:gamecult.eve.plugin_receipt.v1 `
+  --expect-plugin-witness tex.math:stdio-ndjson:pass
 
 if ($LASTEXITCODE -ne 0) {
   throw "Plugin owner conformance consumer smoke failed with exit code $LASTEXITCODE"