Build verified Linux release packages

godot/FfmpegMovieDecoder.cs.uid

@@ -1 +0,0 @@
-uid://vn771ej7jl5b

godot/FfmpegMovieNative.cs.uid

@@ -1 +0,0 @@
-uid://bu4g2k4db17yj

godot/GodotAdvHost.AdvText.cs.uid

@@ -0,0 +1 @@
+uid://crkylynsjje5u

godot/GodotAdvHost.Audio.cs.uid

@@ -0,0 +1 @@
+uid://cvratxje7m4v2

godot/GodotAdvHost.Movies.cs.uid

@@ -0,0 +1 @@
+uid://dthl1q7be414d

godot/GodotAdvHost.PresentationInput.cs.uid

@@ -0,0 +1 @@
+uid://djhejlok24hqm

godot/GodotAdvHost.Surfaces.cs.uid

@@ -0,0 +1 @@
+uid://na8mjr1tkoel

godot/GodotTimelineLog.cs.uid

@@ -1 +0,0 @@
-uid://dr372hrl1xv5o

godot/GodotTraceSink.cs.uid

@@ -1 +0,0 @@
-uid://bj4w0ogg8o2qd

godot/GodotVmOptions.cs.uid

@@ -1 +0,0 @@
-uid://dasroldd6i3nf

godot/IMovieDecoder.cs.uid

@@ -1 +0,0 @@
-uid://ct34ufym8j2h0

godot/Main.Audio.cs.uid

@@ -0,0 +1 @@
+uid://4lvidgobirdo

godot/Main.Compositor.cs.uid

@@ -0,0 +1 @@
+uid://2485ahstyemb

godot/Main.Input.cs.uid

@@ -0,0 +1 @@
+uid://deq0qdk5spfp4

godot/Main.Movie.cs.uid

@@ -0,0 +1 @@
+uid://b2hj6y7cjrraj

godot/Main.PackageSmoke.cs

@@ -0,0 +1,32 @@
+using System;
+using Godot;
+
+public partial class Main
+{
+    private void RunPackageSmoke()
+    {
+        try
+        {
+            if (!OS.HasFeature("linux"))
+                throw new PlatformNotSupportedException("the packaged-runtime smoke gate requires Linux");
+            var table = HimegariRuntimeMetadata.LoadOpcodeTable();
+            if (table.Count != 548)
+                throw new InvalidOperationException(
+                    $"embedded opcode table has {table.Count} entries; expected 548");
+            if (!table.TryGet(0x55, out string label, out int argc)
+                || label != "mov" || argc != 2)
+                throw new InvalidOperationException("embedded opcode 0x55 metadata is invalid");
+            uint ffmpegAbi = FfmpegMovieNative.AbiVersion();
+            if (ffmpegAbi != 3)
+                throw new InvalidOperationException(
+                    $"native FFmpeg shim ABI is {ffmpegAbi}; expected 3");
+            GD.Print($"PACKAGE SMOKE OK: opcodes={table.Count} ffmpeg-abi={ffmpegAbi}");
+            GetTree().Quit(0);
+        }
+        catch (Exception error)
+        {
+            GD.PushError($"[package-smoke] {error}");
+            GetTree().Quit(1);
+        }
+    }
+}

godot/Main.PackageSmoke.cs.uid

@@ -0,0 +1 @@
+uid://b7qfxcw51q1so

godot/Main.SelfTest.cs.uid

@@ -0,0 +1 @@
+uid://bemighlft6tva

godot/Main.cs

@@ -59,6 +59,11 @@ public partial class Main : Godot.Control
     public override void _Ready()
     {
         var userArgs = OS.GetCmdlineUserArgs();
+        if (Array.IndexOf(userArgs, "--package-smoke") >= 0)
+        {
+            RunPackageSmoke();
+            return;
+        }
         GameRootSelection gameRoot;
         Sys4AssetCatalog catalog;
         try

godot/MovieAudioTimeline.cs.uid

@@ -1 +0,0 @@
-uid://bqwevje8by8yn

godot/MovieRuntime.cs.uid

@@ -1 +0,0 @@
-uid://8cfjbhv1b5k7

godot/MovieSurfaceRegistry.cs.uid

@@ -1 +0,0 @@
-uid://d1d60fk2538k5

godot/PageLocatorState.cs.uid

@@ -1 +0,0 @@
-uid://b8wh2a0rspxpp

godot/PerformanceFrameLog.cs.uid

@@ -1 +0,0 @@
-uid://3hc1deciabid

godot/RiffWaveSanitizer.cs.uid

@@ -1 +0,0 @@
-uid://dl4vnduqdhes0

godot/StepLimitDiagnosticFormatter.cs.uid

@@ -1 +0,0 @@
-uid://dbps8c8juv72d

godot/WindowLaunchOptions.cs.uid

@@ -1 +0,0 @@
-uid://dwo5hjh8m6a3v