Author SHA1 Message Date
sechmachine 735d990901 fix(core): normalize framework file modes
Verify Data Plane / gateway (push) Successful in 5m10s
2026-08-13 00:47:26 +07:00
sechmachine 9c27a1ebf5 fix(core): harden framework packaging
Verify Data Plane / gateway (push) Failing after 1m2s
2026-08-13 00:27:58 +07:00
sechmachine 079440f7a9 build(core): package deterministic arm64 framework
Verify Data Plane / gateway (push) Failing after 1m1s
2026-08-12 23:39:48 +07:00
sechmachine 7a03644a9d fix(core): arbitrate session startup
Verify Data Plane / gateway (push) Successful in 5m33s
2026-08-12 23:14:23 +07:00
sechmachine 0723c10d9a fix(core): linearize session publication 2026-08-12 22:40:05 +07:00
sechmachine 519c04e18f feat(core): run bounded real gateway sessions 2026-08-12 22:03:10 +07:00
sechmachine 86a95952b6 fix(transport): stop ambiguous admission failover
Verify Data Plane / gateway (push) Successful in 4m54s
2026-08-12 20:14:28 +07:00
sechmachine 09f40eb9c7 fix(transport): harden QUIC admission boundaries 2026-08-12 20:04:51 +07:00
sechmachine 111092becb feat(core): add QUIC TLS admission transport 2026-08-12 19:08:32 +07:00
sechmachine 7947ebcc75 fix(core): linearize ABI connect cancellation
Verify Data Plane / gateway (push) Successful in 4m48s
2026-08-12 17:29:30 +07:00
sechmachine 5cc2d120e7 fix(core): serialize ABI cancellation state 2026-08-12 17:20:20 +07:00
sechmachine 72b3c54ed9 fix(core): harden ABI cancellation contracts 2026-08-12 15:43:20 +07:00
sechmachine 67510b65b4 feat(core): add versioned fake-session C ABI 2026-08-12 15:08:09 +07:00
20 changed files with 7608 additions and 62 deletions
+595 -1
View File
@@ -2,18 +2,181 @@
# It is not intended for manual editing.
version = 4
[[package]]
name = "base64"
version = "0.22.1"
source = "registry+https://github.com/rust-lang/crates.io-index"
checksum = "72b3254f16251a8381aa12e40e3c4d2f0199f8c6508fbecb9d91f575e0fbb8c6"
[[package]]
name = "bumpalo"
version = "3.20.3"
source = "registry+https://github.com/rust-lang/crates.io-index"
checksum = "72f5acc6cb2ba439de613abc23857ec3d78374d8ed5ac84e9d11336e87da8649"
[[package]]
name = "bytes"
version = "1.12.1"
source = "registry+https://github.com/rust-lang/crates.io-index"
checksum = "fc652a48c352aef3ea3aed32080501cf3ef6ed5da78602a020c991775b0aff04"
[[package]]
name = "cc"
version = "1.4.2"
source = "registry+https://github.com/rust-lang/crates.io-index"
checksum = "5d262e149917187838d5b42777c8253bcb64500067342904e7d429499a6f277e"
dependencies = [
"find-msvc-tools",
"shlex",
]
[[package]]
name = "cfg-if"
version = "1.0.4"
source = "registry+https://github.com/rust-lang/crates.io-index"
checksum = "9330f8b2ff13f34540b44e946ef35111825727b38d33286ef986142615121801"
[[package]]
name = "cfg_aliases"
version = "0.2.2"
source = "registry+https://github.com/rust-lang/crates.io-index"
checksum = "f079e83a288787bcd14a6aea84cee5c87a67c5a3e660c30f557a3d24761b3527"
[[package]]
name = "chacha20"
version = "0.10.1"
source = "registry+https://github.com/rust-lang/crates.io-index"
checksum = "d524456ba66e72eb8b115ff89e01e497f8e6d11d78b70b1aa13c0fbd97540a81"
dependencies = [
"cfg-if",
"cpufeatures",
"rand_core",
]
[[package]]
name = "cpufeatures"
version = "0.3.0"
source = "registry+https://github.com/rust-lang/crates.io-index"
checksum = "8b2a41393f66f16b0823bb79094d54ac5fbd34ab292ddafb9a0456ac9f87d201"
dependencies = [
"libc",
]
[[package]]
name = "find-msvc-tools"
version = "0.1.10"
source = "registry+https://github.com/rust-lang/crates.io-index"
checksum = "26b73573e6edcd2af0cdf47bd6cb58f0b3839491263c314eaad1ccf24430e1de"
[[package]]
name = "futures-core"
version = "0.3.34"
source = "registry+https://github.com/rust-lang/crates.io-index"
checksum = "92d699e522242e69e3003b94ecc1f960f3a5e015aa7c5d7486e65ad01dd94f5e"
[[package]]
name = "futures-task"
version = "0.3.34"
source = "registry+https://github.com/rust-lang/crates.io-index"
checksum = "cd417de3d1d015fc3bfd2b1ea46dfc7bab72ef86f1cc7cc9c78e728b34a6d1fd"
[[package]]
name = "futures-util"
version = "0.3.34"
source = "registry+https://github.com/rust-lang/crates.io-index"
checksum = "0d50a92467f8ba5dd6e3ee5d4bd04d73ab2e4e1c44474a0674821dfce14b79bc"
dependencies = [
"futures-core",
"futures-task",
"pin-project-lite",
"slab",
]
[[package]]
name = "getrandom"
version = "0.2.17"
source = "registry+https://github.com/rust-lang/crates.io-index"
checksum = "ff2abc00be7fca6ebc474524697ae276ad847ad0a6b3faa4bcb027e9a4614ad0"
dependencies = [
"cfg-if",
"js-sys",
"libc",
"wasi",
"wasm-bindgen",
]
[[package]]
name = "getrandom"
version = "0.4.3"
source = "registry+https://github.com/rust-lang/crates.io-index"
checksum = "300e883d756b2e4ec94e02791f39b04b522276138852cfc41d9fb7e904106099"
dependencies = [
"cfg-if",
"js-sys",
"libc",
"r-efi",
"rand_core",
"wasm-bindgen",
]
[[package]]
name = "itoa"
version = "1.0.18"
source = "registry+https://github.com/rust-lang/crates.io-index"
checksum = "8f42a60cbdf9a97f5d2305f08a87dc4e09308d1276d28c869c684d7777685682"
[[package]]
name = "js-sys"
version = "0.3.104"
source = "registry+https://github.com/rust-lang/crates.io-index"
checksum = "0e0c1080212aad755ea003d18543e8768dd432c48819efd73a7bf1e39b7a5a3a"
dependencies = [
"cfg-if",
"futures-util",
"wasm-bindgen",
]
[[package]]
name = "libc"
version = "0.2.189"
source = "registry+https://github.com/rust-lang/crates.io-index"
checksum = "3eaf3ede3fee6db1a4c2ee091bf8a8b4dccdc6d17f656fb07896ee72867612f2"
[[package]]
name = "lru-slab"
version = "0.1.2"
source = "registry+https://github.com/rust-lang/crates.io-index"
checksum = "112b39cec0b298b6c1999fee3e31427f74f676e4cb9879ed1a121b43661a4154"
[[package]]
name = "memchr"
version = "2.8.3"
source = "registry+https://github.com/rust-lang/crates.io-index"
checksum = "cf8baf1c55e62ffcace7a9f06f4bd9cd3f0c4beb022d3b367256b91b87513d98"
[[package]]
name = "mio"
version = "1.2.2"
source = "registry+https://github.com/rust-lang/crates.io-index"
checksum = "30d65c71f1ce40ab09135ce117d742b9f8a19ff91a41a8b57ed50bc2de59c427"
dependencies = [
"libc",
"wasi",
"windows-sys 0.61.2",
]
[[package]]
name = "once_cell"
version = "1.21.4"
source = "registry+https://github.com/rust-lang/crates.io-index"
checksum = "9f7c3e4beb33f85d45ae3e3a1792185706c8e16d043238c593331cc7cd313b50"
[[package]]
name = "pin-project-lite"
version = "0.2.17"
source = "registry+https://github.com/rust-lang/crates.io-index"
checksum = "a89322df9ebe1c1578d689c92318e070967d1042b512afbe49518723f4e6d5cd"
[[package]]
name = "proc-macro2"
version = "1.0.107"
@@ -23,6 +186,62 @@ dependencies = [
"unicode-ident",
]
[[package]]
name = "quinn"
version = "0.11.11"
source = "registry+https://github.com/rust-lang/crates.io-index"
checksum = "0c1a41e437b6bbd489372cd4971de128e85c855f56c57f283d20ff016cf7c0a8"
dependencies = [
"bytes",
"cfg_aliases",
"pin-project-lite",
"quinn-proto",
"quinn-udp",
"rustc-hash",
"rustls",
"socket2",
"thiserror",
"tokio",
"tracing",
"web-time",
]
[[package]]
name = "quinn-proto"
version = "0.11.16"
source = "registry+https://github.com/rust-lang/crates.io-index"
checksum = "2f4bfc015262b9df63c8845072ce59068853ff5872180c2ce2f13038b970e560"
dependencies = [
"bytes",
"getrandom 0.4.3",
"lru-slab",
"rand",
"rand_pcg",
"ring",
"rustc-hash",
"rustls",
"rustls-pki-types",
"slab",
"thiserror",
"tinyvec",
"tracing",
"web-time",
]
[[package]]
name = "quinn-udp"
version = "0.5.15"
source = "registry+https://github.com/rust-lang/crates.io-index"
checksum = "35a133f956daabe89a61a685c2649f13d82d5aa4bd5d12d1277e1072a21c0694"
dependencies = [
"cfg_aliases",
"libc",
"once_cell",
"socket2",
"tracing",
"windows-sys 0.61.2",
]
[[package]]
name = "quote"
version = "1.0.47"
@@ -32,6 +251,108 @@ dependencies = [
"proc-macro2",
]
[[package]]
name = "r-efi"
version = "6.0.0"
source = "registry+https://github.com/rust-lang/crates.io-index"
checksum = "f8dcc9c7d52a811697d2151c701e0d08956f92b0e24136cf4cf27b57a6a0d9bf"
[[package]]
name = "rand"
version = "0.10.2"
source = "registry+https://github.com/rust-lang/crates.io-index"
checksum = "c7f5fa3a058cd35567ef9bfa5e75732bee0f9e4c55fa90477bef2dfcdbc4be80"
dependencies = [
"chacha20",
"getrandom 0.4.3",
"rand_core",
]
[[package]]
name = "rand_core"
version = "0.10.1"
source = "registry+https://github.com/rust-lang/crates.io-index"
checksum = "63b8176103e19a2643978565ca18b50549f6101881c443590420e4dc998a3c69"
[[package]]
name = "rand_pcg"
version = "0.10.2"
source = "registry+https://github.com/rust-lang/crates.io-index"
checksum = "caa0f4137e1c0a72f4c651489402276c8e8e1cf081f3b0ba156d2cbeef09e86a"
dependencies = [
"rand_core",
]
[[package]]
name = "ring"
version = "0.17.14"
source = "registry+https://github.com/rust-lang/crates.io-index"
checksum = "a4689e6c2294d81e88dc6261c768b63bc4fcdb852be6d1352498b114f61383b7"
dependencies = [
"cc",
"cfg-if",
"getrandom 0.2.17",
"libc",
"untrusted",
"windows-sys 0.52.0",
]
[[package]]
name = "rustc-hash"
version = "2.1.3"
source = "registry+https://github.com/rust-lang/crates.io-index"
checksum = "6b1e7f9a428571be2dc5bc0505c13fb6bf936822b894ec87abf8a08a4e51742d"
[[package]]
name = "rustls"
version = "0.23.43"
source = "registry+https://github.com/rust-lang/crates.io-index"
checksum = "0283386ce02abc0151e1761d08802dfe86c173b0b494af5cbc086574e453da06"
dependencies = [
"once_cell",
"ring",
"rustls-pki-types",
"rustls-webpki",
"subtle",
"zeroize",
]
[[package]]
name = "rustls-pemfile"
version = "2.2.0"
source = "registry+https://github.com/rust-lang/crates.io-index"
checksum = "dce314e5fee3f39953d46bb63bb8a46d40c2f8fb7cc5a3b6cab2bde9721d6e50"
dependencies = [
"rustls-pki-types",
]
[[package]]
name = "rustls-pki-types"
version = "1.15.1"
source = "registry+https://github.com/rust-lang/crates.io-index"
checksum = "2f4925028c7eb5d1fcdaf196971378ed9d2c1c4efc7dc5d011256f76c99c0a96"
dependencies = [
"web-time",
"zeroize",
]
[[package]]
name = "rustls-webpki"
version = "0.103.14"
source = "registry+https://github.com/rust-lang/crates.io-index"
checksum = "0527518605e68109d875e248ea259b6758801cf165e4b2c2733ae3b51f12535a"
dependencies = [
"ring",
"rustls-pki-types",
"untrusted",
]
[[package]]
name = "rustversion"
version = "1.0.23"
source = "registry+https://github.com/rust-lang/crates.io-index"
checksum = "cf54715a573b99ac80df0bc206da022bcd442c974952c7b9720069370852e21f"
[[package]]
name = "serde"
version = "1.0.229"
@@ -59,7 +380,7 @@ checksum = "e7a5d71263a5a7d47b41f6b3f06ba276f10cc18b0931f1799f710578e2309348"
dependencies = [
"proc-macro2",
"quote",
"syn",
"syn 3.0.3",
]
[[package]]
@@ -75,6 +396,45 @@ dependencies = [
"zmij",
]
[[package]]
name = "shlex"
version = "2.0.1"
source = "registry+https://github.com/rust-lang/crates.io-index"
checksum = "f8fadd59c855ef2080decdef8ff161eb6661b86933c9d82e5ba29dc602a55aba"
[[package]]
name = "slab"
version = "0.4.12"
source = "registry+https://github.com/rust-lang/crates.io-index"
checksum = "0c790de23124f9ab44544d7ac05d60440adc586479ce501c1d6d7da3cd8c9cf5"
[[package]]
name = "socket2"
version = "0.6.5"
source = "registry+https://github.com/rust-lang/crates.io-index"
checksum = "c3d1e2c7f27f8d4cb10542a02c49005dbd6e93095799d6f3be745fae9f8fedd4"
dependencies = [
"libc",
"windows-sys 0.61.2",
]
[[package]]
name = "subtle"
version = "2.6.1"
source = "registry+https://github.com/rust-lang/crates.io-index"
checksum = "13c2bddecc57b384dee18652358fb23172facb8a2c51ccc10d74c157bdea3292"
[[package]]
name = "syn"
version = "2.0.119"
source = "registry+https://github.com/rust-lang/crates.io-index"
checksum = "872831b642d1a07999a962a351ed35b955ea2cfc8f3862091e2a240a84f17297"
dependencies = [
"proc-macro2",
"quote",
"unicode-ident",
]
[[package]]
name = "syn"
version = "3.0.3"
@@ -86,20 +446,254 @@ dependencies = [
"unicode-ident",
]
[[package]]
name = "thiserror"
version = "2.0.20"
source = "registry+https://github.com/rust-lang/crates.io-index"
checksum = "ec86235f5fcc2a73650310756d2ac5b138a5780bbbdfae3eeccec992c435ba4f"
dependencies = [
"thiserror-impl",
]
[[package]]
name = "thiserror-impl"
version = "2.0.20"
source = "registry+https://github.com/rust-lang/crates.io-index"
checksum = "bc04cd3e1236dd4a98afca4569f2deb3f120e5422a4023be2cb683f8486292af"
dependencies = [
"proc-macro2",
"quote",
"syn 3.0.3",
]
[[package]]
name = "tinyvec"
version = "1.12.0"
source = "registry+https://github.com/rust-lang/crates.io-index"
checksum = "bb4ebadaa0af04fab11ae01eb5f9fdb5f9c5b875506e210e71c07873528baa7f"
dependencies = [
"tinyvec_macros",
]
[[package]]
name = "tinyvec_macros"
version = "0.1.1"
source = "registry+https://github.com/rust-lang/crates.io-index"
checksum = "1f3ccbac311fea05f86f61904b462b55fb3df8837a366dfc601a0161d0532f20"
[[package]]
name = "tokio"
version = "1.51.4"
source = "registry+https://github.com/rust-lang/crates.io-index"
checksum = "4e608df10a8a5f3c45a2ad4801f93083620b4f3a816551e5e407cdfcd6690f56"
dependencies = [
"libc",
"mio",
"pin-project-lite",
"socket2",
"windows-sys 0.61.2",
]
[[package]]
name = "tracing"
version = "0.1.44"
source = "registry+https://github.com/rust-lang/crates.io-index"
checksum = "63e71662fa4b2a2c3a26f570f037eb95bb1f85397f3cd8076caed2f026a6d100"
dependencies = [
"pin-project-lite",
"tracing-core",
]
[[package]]
name = "tracing-core"
version = "0.1.36"
source = "registry+https://github.com/rust-lang/crates.io-index"
checksum = "db97caf9d906fbde555dd62fa95ddba9eecfd14cb388e4f491a66d74cd5fb79a"
dependencies = [
"once_cell",
]
[[package]]
name = "unicode-ident"
version = "1.0.24"
source = "registry+https://github.com/rust-lang/crates.io-index"
checksum = "e6e4313cd5fcd3dad5cafa179702e2b244f760991f45397d14d4ebf38247da75"
[[package]]
name = "untrusted"
version = "0.9.0"
source = "registry+https://github.com/rust-lang/crates.io-index"
checksum = "8ecb6da28b8a351d773b68d5825ac39017e680750f980f3a1a85cd8dd28a47c1"
[[package]]
name = "versevdi-core"
version = "0.1.0"
dependencies = [
"base64",
"getrandom 0.4.3",
"quinn",
"rustls",
"rustls-pemfile",
"serde",
"serde_json",
"tokio",
]
[[package]]
name = "wasi"
version = "0.11.1+wasi-snapshot-preview1"
source = "registry+https://github.com/rust-lang/crates.io-index"
checksum = "ccf3ec651a847eb01de73ccad15eb7d99f80485de043efb2f370cd654f4ea44b"
[[package]]
name = "wasm-bindgen"
version = "0.2.127"
source = "registry+https://github.com/rust-lang/crates.io-index"
checksum = "1b70935747edd64d89de3efa29d73789b806c15798f8e7dca4d8ac356b50ce70"
dependencies = [
"cfg-if",
"once_cell",
"rustversion",
"wasm-bindgen-macro",
"wasm-bindgen-shared",
]
[[package]]
name = "wasm-bindgen-macro"
version = "0.2.127"
source = "registry+https://github.com/rust-lang/crates.io-index"
checksum = "77775f8f3f7217702089053b94958f8f54061a3f663417df76e19cbdcca29bc1"
dependencies = [
"quote",
"wasm-bindgen-macro-support",
]
[[package]]
name = "wasm-bindgen-macro-support"
version = "0.2.127"
source = "registry+https://github.com/rust-lang/crates.io-index"
checksum = "e11d33f857dc2fb11b8bc75aee111aa9cbeb12cd9f25efd3d4c2a3dd4e235284"
dependencies = [
"bumpalo",
"proc-macro2",
"quote",
"syn 2.0.119",
"wasm-bindgen-shared",
]
[[package]]
name = "wasm-bindgen-shared"
version = "0.2.127"
source = "registry+https://github.com/rust-lang/crates.io-index"
checksum = "7ef64dbcc55df09c7e5a46182d181c2cfa3e925f3da937ea764728b4bbb9dcbf"
dependencies = [
"unicode-ident",
]
[[package]]
name = "web-time"
version = "1.1.0"
source = "registry+https://github.com/rust-lang/crates.io-index"
checksum = "5a6580f308b1fad9207618087a65c04e7a10bc77e02c8e84e9b00dd4b12fa0bb"
dependencies = [
"js-sys",
"wasm-bindgen",
]
[[package]]
name = "windows-link"
version = "0.2.1"
source = "registry+https://github.com/rust-lang/crates.io-index"
checksum = "f0805222e57f7521d6a62e36fa9163bc891acd422f971defe97d64e70d0a4fe5"
[[package]]
name = "windows-sys"
version = "0.52.0"
source = "registry+https://github.com/rust-lang/crates.io-index"
checksum = "282be5f36a8ce781fad8c8ae18fa3f9beff57ec1b52cb3de0789201425d9a33d"
dependencies = [
"windows-targets",
]
[[package]]
name = "windows-sys"
version = "0.61.2"
source = "registry+https://github.com/rust-lang/crates.io-index"
checksum = "ae137229bcbd6cdf0f7b80a31df61766145077ddf49416a728b02cb3921ff3fc"
dependencies = [
"windows-link",
]
[[package]]
name = "windows-targets"
version = "0.52.6"
source = "registry+https://github.com/rust-lang/crates.io-index"
checksum = "9b724f72796e036ab90c1021d4780d4d3d648aca59e491e6b98e725b84e99973"
dependencies = [
"windows_aarch64_gnullvm",
"windows_aarch64_msvc",
"windows_i686_gnu",
"windows_i686_gnullvm",
"windows_i686_msvc",
"windows_x86_64_gnu",
"windows_x86_64_gnullvm",
"windows_x86_64_msvc",
]
[[package]]
name = "windows_aarch64_gnullvm"
version = "0.52.6"
source = "registry+https://github.com/rust-lang/crates.io-index"
checksum = "32a4622180e7a0ec044bb555404c800bc9fd9ec262ec147edd5989ccd0c02cd3"
[[package]]
name = "windows_aarch64_msvc"
version = "0.52.6"
source = "registry+https://github.com/rust-lang/crates.io-index"
checksum = "09ec2a7bb152e2252b53fa7803150007879548bc709c039df7627cabbd05d469"
[[package]]
name = "windows_i686_gnu"
version = "0.52.6"
source = "registry+https://github.com/rust-lang/crates.io-index"
checksum = "8e9b5ad5ab802e97eb8e295ac6720e509ee4c243f69d781394014ebfe8bbfa0b"
[[package]]
name = "windows_i686_gnullvm"
version = "0.52.6"
source = "registry+https://github.com/rust-lang/crates.io-index"
checksum = "0eee52d38c090b3caa76c563b86c3a4bd71ef1a819287c19d586d7334ae8ed66"
[[package]]
name = "windows_i686_msvc"
version = "0.52.6"
source = "registry+https://github.com/rust-lang/crates.io-index"
checksum = "240948bc05c5e7c6dabba28bf89d89ffce3e303022809e73deaefe4f6ec56c66"
[[package]]
name = "windows_x86_64_gnu"
version = "0.52.6"
source = "registry+https://github.com/rust-lang/crates.io-index"
checksum = "147a5c80aabfbf0c7d901cb5895d1de30ef2907eb21fbbab29ca94c5b08b1a78"
[[package]]
name = "windows_x86_64_gnullvm"
version = "0.52.6"
source = "registry+https://github.com/rust-lang/crates.io-index"
checksum = "24d5b23dc417412679681396f2b49f3de8c1473deb516bd34410872eff51ed0d"
[[package]]
name = "windows_x86_64_msvc"
version = "0.52.6"
source = "registry+https://github.com/rust-lang/crates.io-index"
checksum = "589f6da84c646204747d1270a2a5661ea66ed1cced2631d546fdfb155959f9ec"
[[package]]
name = "zeroize"
version = "1.9.0"
source = "registry+https://github.com/rust-lang/crates.io-index"
checksum = "e13c156562582aa81c60cb29407084cdb54c4164760106ab78e6c5b0858cf64e"
[[package]]
name = "zmij"
version = "1.0.23"
+12
View File
@@ -9,8 +9,14 @@ publish = false
crate-type = ["staticlib", "rlib"]
[dependencies]
base64 = "=0.22.1"
getrandom = "=0.4.3"
quinn = { version = "=0.11.11", default-features = false, features = ["runtime-tokio", "rustls-ring"] }
rustls = { version = "=0.23.43", default-features = false, features = ["std", "ring"] }
rustls-pemfile = "=2.2.0"
serde = { version = "=1.0.229", features = ["derive"] }
serde_json = "=1.0.151"
tokio = { version = "=1.51.4", features = ["rt-multi-thread", "sync", "time", "net"] }
[[test]]
name = "protocol_fixtures"
@@ -18,3 +24,9 @@ path = "tests/protocol_fixtures.rs"
[workspace]
resolver = "2"
[profile.release]
panic = "abort"
lto = "fat"
codegen-units = 1
incremental = false
+4
View File
@@ -0,0 +1,4 @@
module VerseVDICore {
header "versevdi_core.h"
export *
}
+206
View File
@@ -0,0 +1,206 @@
#ifndef VERSEVDI_CORE_H
#define VERSEVDI_CORE_H
#include <stddef.h>
#include <stdint.h>
#ifdef __cplusplus
extern "C" {
#endif
#define VERSE_CORE_ABI_VERSION_1 UINT32_C(1)
typedef uint32_t verse_status_t;
#define VERSE_STATUS_OK UINT32_C(0)
#define VERSE_STATUS_INVALID_ARGUMENT UINT32_C(1)
#define VERSE_STATUS_INVALID_STATE UINT32_C(2)
#define VERSE_STATUS_UNSUPPORTED_ABI UINT32_C(3)
#define VERSE_STATUS_AUTHORITY_REJECTED UINT32_C(4)
#define VERSE_STATUS_TLS UINT32_C(5)
#define VERSE_STATUS_TRANSPORT UINT32_C(6)
#define VERSE_STATUS_PROTOCOL UINT32_C(7)
#define VERSE_STATUS_EXPIRED UINT32_C(8)
#define VERSE_STATUS_QUEUE_FULL UINT32_C(9)
#define VERSE_STATUS_CANCELLED UINT32_C(10)
#define VERSE_STATUS_REENTRANT UINT32_C(11)
#define VERSE_STATUS_BUSY UINT32_C(12)
#define VERSE_STATUS_INTERNAL UINT32_C(13)
#define VERSE_STATE_CONNECTING UINT32_C(1)
#define VERSE_STATE_CONNECTED UINT32_C(2)
#define VERSE_STATE_CANCELLED UINT32_C(3)
#define VERSE_INPUT_KEYBOARD UINT32_C(1)
#define VERSE_INPUT_MOUSE_BUTTON UINT32_C(2)
#define VERSE_INPUT_RELATIVE_MOUSE UINT32_C(3)
#define VERSE_INPUT_TEXT UINT32_C(4)
#define VERSE_INPUT_CONTROLLER UINT32_C(5)
#define VERSE_INPUT_ABSOLUTE_MOUSE UINT32_C(6)
#define VERSE_INPUT_SCROLL UINT32_C(7)
typedef struct verse_core verse_core_t;
/* data may be NULL only when length is zero. The view never transfers ownership. */
typedef struct verse_bytes_view {
const uint8_t *data;
size_t length;
} verse_bytes_view_t;
typedef struct verse_state_event_v1 {
uint32_t struct_size;
uint32_t abi_version;
uint32_t state;
uint32_t reason;
} verse_state_event_v1_t;
typedef struct verse_error_event_v1 {
uint32_t struct_size;
uint32_t abi_version;
uint32_t code;
uint32_t retryable;
uint32_t phase;
uint32_t reserved;
} verse_error_event_v1_t;
typedef struct verse_stats_event_v1 {
uint32_t struct_size;
uint32_t abi_version;
uint64_t dropped_callbacks;
uint64_t dropped_media_units;
uint64_t dropped_input_events;
} verse_stats_event_v1_t;
typedef struct verse_media_event_v1 {
uint32_t struct_size;
uint32_t abi_version;
uint32_t channel;
uint32_t sequence;
uint64_t timestamp_ms;
verse_bytes_view_t encoded_unit;
} verse_media_event_v1_t;
typedef struct verse_control_event_v1 {
uint32_t struct_size;
uint32_t abi_version;
uint32_t kind;
uint32_t reserved;
verse_bytes_view_t payload;
} verse_control_event_v1_t;
/*
* Signers run synchronously inline on the thread invoking the API call.
* transcript/tls_message is borrowed only for the callback; signature_out is
* exactly 64 writable bytes. Admission may return OK, AUTHORITY_REJECTED,
* CANCELLED, or INTERNAL. TLS may return OK, TLS, CANCELLED, or INTERNAL. Any
* other value is normalized to INTERNAL.
*/
typedef verse_status_t (*verse_sign_admission_v1_fn)(
void *signer_context,
verse_bytes_view_t transcript,
uint8_t signature_out[64]);
typedef verse_status_t (*verse_sign_tls_ed25519_v1_fn)(
void *signer_context,
verse_bytes_view_t tls_message,
uint8_t signature_out[64]);
/*
* Event callbacks run asynchronously on one core-owned worker thread and are
* serialized with one another. Each event and nested byte view is borrowed only
* for its callback and must not be retained.
*/
typedef void (*verse_state_event_v1_fn)(
void *context,
const verse_state_event_v1_t *event);
typedef void (*verse_error_event_v1_fn)(
void *context,
const verse_error_event_v1_t *event);
typedef void (*verse_stats_event_v1_fn)(
void *context,
const verse_stats_event_v1_t *event);
typedef void (*verse_media_event_v1_fn)(
void *context,
const verse_media_event_v1_t *event);
typedef void (*verse_control_event_v1_fn)(
void *context,
const verse_control_event_v1_t *event);
/*
* create copies this table. context and every non-NULL callback must remain valid
* until destroy succeeds; BUSY does not end that lifetime.
*/
typedef struct verse_core_config_v1 {
uint32_t struct_size;
uint32_t abi_version;
void *context;
verse_sign_admission_v1_fn sign_admission;
verse_sign_tls_ed25519_v1_fn sign_tls_ed25519;
verse_state_event_v1_fn on_state;
verse_error_event_v1_fn on_error;
verse_stats_event_v1_fn on_stats;
verse_media_event_v1_fn on_media;
verse_control_event_v1_fn on_control;
} verse_core_config_v1_t;
typedef struct verse_connect_request_v1 {
uint32_t struct_size;
uint32_t abi_version;
verse_bytes_view_t manifest_json;
verse_bytes_view_t tunnel_credential_json;
} verse_connect_request_v1_t;
/* values are kind-specific signed fields; every unused field and flags must be zero. */
typedef struct verse_input_event_v1 {
uint32_t struct_size;
uint32_t abi_version;
uint32_t kind;
uint32_t flags;
int32_t values[12];
} verse_input_event_v1_t;
uint32_t verse_core_abi_version(void);
/*
* During a signer callback, every API below except verse_core_abi_version returns
* REENTRANT for every handle. During an event callback, only cancel on that event's
* originating handle is allowed; all other calls and cross-handle cancel return
* REENTRANT. Connect copies both byte inputs before returning, so callers may
* mutate or release their buffers afterward.
*/
verse_status_t verse_core_create_v1(
const verse_core_config_v1_t *config,
verse_core_t **out_core);
verse_status_t verse_core_connect_v1(
verse_core_t *core,
const verse_connect_request_v1_t *request);
verse_status_t verse_core_send_input_v1(
verse_core_t *core,
const verse_input_event_v1_t *event);
verse_status_t verse_core_request_idr_v1(verse_core_t *core);
/* Idempotent and nonblocking; it does not wait for an internal state lock. */
verse_status_t verse_core_cancel_v1(verse_core_t *core);
/*
* OK suppresses all later callbacks, releases session resources, and invalidates
* core. Calls admitted before destruction are accounted safely, but no API call
* may begin after OK. BUSY retains core, context, and callback ownership and
* requires a later retry.
*/
verse_status_t verse_core_destroy_v1(verse_core_t *core, uint32_t timeout_ms);
#if defined(__APPLE__) && defined(__aarch64__)
_Static_assert(sizeof(verse_bytes_view_t) == 16, "verse_bytes_view_t arm64 layout");
_Static_assert(sizeof(verse_core_config_v1_t) == 72, "verse_core_config_v1_t arm64 layout");
_Static_assert(offsetof(verse_core_config_v1_t, sign_admission) == 16, "config callback offset");
_Static_assert(sizeof(verse_connect_request_v1_t) == 40, "verse_connect_request_v1_t arm64 layout");
_Static_assert(offsetof(verse_connect_request_v1_t, manifest_json) == 8, "request view offset");
_Static_assert(sizeof(verse_input_event_v1_t) == 64, "verse_input_event_v1_t arm64 layout");
_Static_assert(sizeof(verse_state_event_v1_t) == 16, "verse_state_event_v1_t arm64 layout");
_Static_assert(sizeof(verse_error_event_v1_t) == 24, "verse_error_event_v1_t arm64 layout");
_Static_assert(sizeof(verse_stats_event_v1_t) == 32, "verse_stats_event_v1_t arm64 layout");
_Static_assert(sizeof(verse_media_event_v1_t) == 40, "verse_media_event_v1_t arm64 layout");
_Static_assert(sizeof(verse_control_event_v1_t) == 32, "verse_control_event_v1_t arm64 layout");
#endif
#ifdef __cplusplus
}
#endif
#endif
+234
View File
@@ -0,0 +1,234 @@
#!/bin/sh
set -eu
umask 022
PATH=/usr/bin:/bin:/usr/sbin:/sbin
export PATH
usage() {
echo "usage: $0 --output ABSOLUTE_DIR --target-dir ABSOLUTE_DIR" >&2
exit 2
}
output=
target_dir=
while test "$#" -gt 0; do
case "$1" in
--output)
test "$#" -ge 2 || usage
output=$2
shift 2
;;
--target-dir)
test "$#" -ge 2 || usage
target_dir=$2
shift 2
;;
*) usage ;;
esac
done
test -n "$output" || usage
test -n "$target_dir" || usage
ROOT=$(CDPATH= cd -P -- "$(dirname "$0")/../.." && pwd -P)
CORE="$ROOT/core"
resolve_new_path() {
requested=$1
label=$2
case "$requested" in
/*) ;;
*) usage ;;
esac
if test -e "$requested" || test -L "$requested"; then
echo "$label must not exist: $requested" >&2
exit 2
fi
parent=$(dirname -- "$requested")
name=$(basename -- "$requested")
case "$name" in
''|.|..) usage ;;
esac
physical_parent=$(CDPATH= cd -P -- "$parent" 2>/dev/null && pwd -P) || {
echo "$label parent must already exist: $parent" >&2
exit 2
}
candidate="$physical_parent/$name"
case "$candidate" in
"$ROOT"|"$ROOT"/*)
echo "$label must be outside the repository: $requested" >&2
exit 2
;;
esac
printf '%s\n' "$candidate"
}
output=$(resolve_new_path "$output" output)
target_dir=$(resolve_new_path "$target_dir" "target directory")
case "$output/:$target_dir/" in
"$target_dir/"*:*|*:"$output/"*)
echo "output and target directory must be separate" >&2
exit 2
;;
esac
mkdir "$output"
if ! mkdir "$target_dir"; then
rmdir "$output"
exit 2
fi
output=$(CDPATH= cd -P -- "$output" && pwd -P)
target_dir=$(CDPATH= cd -P -- "$target_dir" && pwd -P)
for reserved_path in "$output" "$target_dir"; do
case "$reserved_path" in
"$ROOT"|"$ROOT"/*)
echo "reserved packaging path resolved inside the repository: $reserved_path" >&2
exit 2
;;
esac
done
case "$output/:$target_dir/" in
"$target_dir/"*:*|*:"$output/"*)
echo "reserved output and target directory must be separate" >&2
exit 2
;;
esac
test "$(/usr/bin/uname -s)" = Darwin || {
echo "XCFramework packaging requires macOS" >&2
exit 2
}
test "$(/usr/bin/uname -m)" = arm64 || {
echo "XCFramework packaging requires an arm64 host" >&2
exit 2
}
user_record=$(/usr/bin/dscacheutil -q user -a name "$(/usr/bin/id -un)")
trusted_home=$(printf '%s\n' "$user_record" | awk '$1 == "dir:" { print $2; exit }')
rustup="$trusted_home/.cargo/bin/rustup"
test -x "$rustup" || {
echo "rustup not found at trusted user path" >&2
exit 2
}
cargo_bin=$(/usr/bin/env -i \
HOME="$trusted_home" \
PATH="$PATH" \
RUSTUP_HOME="$trusted_home/.rustup" \
"$rustup" which --toolchain 1.97.1 cargo)
rustc_bin=$(/usr/bin/env -i \
HOME="$trusted_home" \
PATH="$PATH" \
RUSTUP_HOME="$trusted_home/.rustup" \
"$rustup" which --toolchain 1.97.1 rustc)
rustc_version=$(/usr/bin/env -i HOME="$trusted_home" PATH="$PATH" "$rustc_bin" --version)
cargo_version=$(/usr/bin/env -i HOME="$trusted_home" PATH="$PATH" "$cargo_bin" --version)
test "$rustc_version" = 'rustc 1.97.1 (8bab26f4f 2026-07-14)' || {
echo "unexpected rustc identity: $rustc_version" >&2
exit 2
}
test "$cargo_version" = 'cargo 1.97.1 (c980f4866 2026-06-30)' || {
echo "unexpected cargo identity: $cargo_version" >&2
exit 2
}
xcodebuild=$(/usr/bin/env -i PATH="$PATH" /usr/bin/xcrun --find xcodebuild)
xcode_version=$(/usr/bin/env -i HOME="$trusted_home" PATH="$PATH" "$xcodebuild" -version)
test "$xcode_version" = 'Xcode 26.6
Build version 17F113' || {
echo "unexpected Xcode identity: $xcode_version" >&2
exit 2
}
clang=$(/usr/bin/env -i PATH="$PATH" /usr/bin/xcrun --find clang)
ar=$(/usr/bin/env -i PATH="$PATH" /usr/bin/xcrun --find ar)
clang_identity=$(/usr/bin/env -i HOME="$trusted_home" PATH="$PATH" "$clang" --version)
clang_version=$(printf '%s\n' "$clang_identity" | sed -n '1p')
sdk=$(/usr/bin/env -i PATH="$PATH" /usr/bin/xcrun --sdk macosx --show-sdk-path)
config_dir=$CORE
while :; do
if test -e "$config_dir/.cargo/config" || test -e "$config_dir/.cargo/config.toml"; then
echo "Cargo config is not permitted in the packaging path: $config_dir/.cargo" >&2
exit 2
fi
test "$config_dir" = / && break
config_dir=$(dirname "$config_dir")
done
source_commit=$(/usr/bin/env -i HOME="$trusted_home" PATH="$PATH" \
/usr/bin/git -C "$ROOT" rev-parse HEAD)
source_epoch=$(/usr/bin/env -i HOME="$trusted_home" PATH="$PATH" \
/usr/bin/git -C "$ROOT" show -s --format=%ct HEAD)
rustflags="--remap-path-prefix=$ROOT=. --remap-path-prefix=$target_dir=/cargo-target"
cflags="-fdebug-prefix-map=$ROOT=. -ffile-prefix-map=$ROOT=. -fdebug-prefix-map=$target_dir=/cargo-target -ffile-prefix-map=$target_dir=/cargo-target"
cargo_home="$target_dir/cargo-home"
build_tmp="$target_dir/tmp"
mkdir "$cargo_home" "$build_tmp"
for cache in registry git; do
if test -e "$trusted_home/.cargo/$cache"; then
ln -s "$trusted_home/.cargo/$cache" "$cargo_home/$cache"
fi
done
(
cd "$CORE"
/usr/bin/env -i \
AR="$ar" \
AR_aarch64_apple_darwin="$ar" \
CARGO_HOME="$cargo_home" \
CARGO_INCREMENTAL=0 \
CARGO_PROFILE_RELEASE_CODEGEN_UNITS=1 \
CARGO_PROFILE_RELEASE_INCREMENTAL=false \
CARGO_PROFILE_RELEASE_LTO=fat \
CARGO_PROFILE_RELEASE_PANIC=abort \
CARGO_TARGET_AARCH64_APPLE_DARWIN_LINKER="$clang" \
CARGO_TARGET_DIR="$target_dir" \
CC="$clang" \
CC_aarch64_apple_darwin="$clang" \
CFLAGS="$cflags" \
CFLAGS_aarch64_apple_darwin="$cflags" \
HOME="$trusted_home" \
MACOSX_DEPLOYMENT_TARGET=14.0 \
PATH="$PATH" \
RUSTC="$rustc_bin" \
RUSTFLAGS="$rustflags" \
SDKROOT="$sdk" \
SOURCE_DATE_EPOCH="$source_epoch" \
TMPDIR="$build_tmp" \
ZERO_AR_DATE=1 \
"$cargo_bin" build \
--target aarch64-apple-darwin \
--release \
--frozen
)
headers="$target_dir/xcframework-headers"
mkdir -p "$headers" "$output"
cp "$ROOT/core/include/versevdi_core.h" "$headers/"
cp "$ROOT/core/include/module.modulemap" "$headers/"
/usr/bin/env -i \
HOME="$trusted_home" \
PATH="$PATH" \
TMPDIR="$build_tmp" \
"$xcodebuild" -create-xcframework \
-library "$target_dir/aarch64-apple-darwin/release/libversevdi_core.a" \
-headers "$headers" \
-output "$output/VerseVDICore.xcframework"
timestamp=$(date -r "$source_epoch" +%Y%m%d%H%M.%S)
find "$output/VerseVDICore.xcframework" -exec touch -h -t "$timestamp" {} +
{
printf 'rustc=%s\n' "$rustc_version"
printf 'cargo=%s\n' "$cargo_version"
printf 'cargo_path=%s\n' "$cargo_bin"
printf 'rustc_path=%s\n' "$rustc_bin"
printf 'xcode=%s\n' "$xcode_version"
printf 'clang=%s\n' "$clang_version"
printf 'sdk=%s\n' "$sdk"
printf 'cargo_config=isolated-home-and-no-project-config\n'
printf 'target=aarch64-apple-darwin\n'
printf 'deployment_target=14.0\n'
printf 'source_commit=%s\n' "$source_commit"
printf 'source_epoch=%s\n' "$source_epoch"
printf 'rustflags=--remap-path-prefix=<repository>=. --remap-path-prefix=<target>=/cargo-target\n'
printf 'cflags=-fdebug-prefix-map/-ffile-prefix-map for <repository> and <target>\n'
} >"$output/build-environment.txt"
touch -t "$timestamp" "$output/build-environment.txt" "$output"
+1800
View File
File diff suppressed because it is too large Load Diff
+8
View File
@@ -4,7 +4,11 @@ use std::fmt;
#[derive(Clone, Copy, Debug, Eq, PartialEq)]
pub enum CoreError {
InvalidArgument,
Internal,
AuthorityRejected,
Tls,
Transport,
Protocol,
Expired,
QueueFull,
Cancelled,
@@ -32,7 +36,11 @@ impl CoreError {
pub const fn code(self) -> &'static str {
match self {
Self::InvalidArgument => "invalid_argument",
Self::Internal => "internal",
Self::AuthorityRejected => "authority_rejected",
Self::Tls => "tls",
Self::Transport => "transport",
Self::Protocol => "protocol",
Self::Expired => "expired",
Self::QueueFull => "queue_full",
Self::Cancelled => "cancelled",
+5 -2
View File
@@ -316,6 +316,7 @@ pub enum FeedbackEvent {
Hdr {
enabled: bool,
},
Disconnected,
}
fn u32_at(bytes: &[u8], offset: usize) -> u32 {
@@ -379,8 +380,9 @@ pub fn decode_feedback(bytes: &[u8]) -> Result<FeedbackEvent> {
(1, 0x12) if body.len() == 1 && body[0] <= 1 => Ok(FeedbackEvent::Hdr {
enabled: body[0] == 1,
}),
(0, 0x10..=0x12) | (1, 0x01..=0x03) => Err(CoreError::Direction),
(0, 0x01..=0x03) | (1, 0x10..=0x12) => Err(CoreError::Length),
(1, 0x13) if body.is_empty() => Ok(FeedbackEvent::Disconnected),
(0, 0x10..=0x13) | (1, 0x01..=0x03) => Err(CoreError::Direction),
(0, 0x01..=0x03) | (1, 0x10..=0x13) => Err(CoreError::Length),
_ => Err(CoreError::Type),
}
}
@@ -424,6 +426,7 @@ pub fn encode_feedback(event: &FeedbackEvent) -> Result<Vec<u8>> {
(1, 0x11, body)
}
FeedbackEvent::Hdr { enabled } => (1, 0x12, vec![u8::from(*enabled)]),
FeedbackEvent::Disconnected => (1, 0x13, Vec::new()),
};
let mut output = Vec::with_capacity(FEEDBACK_HEADER + body.len());
output.extend_from_slice(b"VGF1");
+8 -1
View File
@@ -1,4 +1,5 @@
#![forbid(unsafe_code, unsafe_op_in_unsafe_fn)]
#![deny(unsafe_code)]
#![forbid(unsafe_op_in_unsafe_fn)]
//! Provider-free wire codecs and bounded session primitives for `VerseVDI` clients.
//!
@@ -15,4 +16,10 @@ pub mod error;
pub mod input;
pub mod media;
pub mod session;
pub mod transport;
pub mod wire;
mod tls;
#[allow(unsafe_code)]
mod abi;
+14 -4
View File
@@ -210,10 +210,7 @@ impl Reassembler {
/// Returns a stable protocol error for conflicting fragments or size-bound violations.
pub fn push(&mut self, fragment: MediaFragment, now_ms: u64) -> Result<Option<EncodedUnit>> {
fragment.validate()?;
let before = self.incomplete.len();
self.incomplete
.retain(|unit| now_ms.saturating_sub(unit.started_at_ms) <= EXPIRY_MILLISECONDS);
self.expired_units += u64::try_from(before - self.incomplete.len()).unwrap_or(u64::MAX);
self.expire(now_ms);
let position = self.incomplete.iter().position(|unit| {
unit.channel == fragment.channel && unit.sequence == fragment.sequence
@@ -282,6 +279,19 @@ impl Reassembler {
}))
}
pub(crate) fn expire(&mut self, now_ms: u64) {
let before = self.incomplete.len();
self.incomplete
.retain(|unit| now_ms.saturating_sub(unit.started_at_ms) < EXPIRY_MILLISECONDS);
self.expired_units += u64::try_from(before - self.incomplete.len()).unwrap_or(u64::MAX);
}
pub(crate) fn next_expiry_ms(&self) -> Option<u64> {
self.incomplete
.front()
.map(|unit| unit.started_at_ms.saturating_add(EXPIRY_MILLISECONDS))
}
#[must_use]
pub fn incomplete_units(&self) -> usize {
self.incomplete.len()
+165
View File
@@ -0,0 +1,165 @@
use std::fmt;
use std::io::Cursor;
use std::sync::{Arc, Mutex};
use rustls::client::ResolvesClientCert;
use rustls::pki_types::CertificateDer;
use rustls::sign::{CertifiedKey, Signer, SigningKey};
use rustls::{ClientConfig, RootCertStore, SignatureAlgorithm, SignatureScheme};
use crate::error::{CoreError, Result};
use crate::wire::NativeTunnelCredential;
pub(crate) type SignCallback = dyn Fn(&[u8]) -> Result<[u8; 64]> + Send + Sync;
pub(crate) struct CallbackSigningKey {
callback: Arc<Mutex<Option<Arc<SignCallback>>>>,
}
impl fmt::Debug for CallbackSigningKey {
fn fmt(&self, formatter: &mut fmt::Formatter<'_>) -> fmt::Result {
formatter.write_str("CallbackSigningKey")
}
}
impl CallbackSigningKey {
pub(crate) fn new(callback: Arc<SignCallback>) -> Self {
Self {
callback: Arc::new(Mutex::new(Some(callback))),
}
}
}
impl SigningKey for CallbackSigningKey {
fn choose_scheme(&self, offered: &[SignatureScheme]) -> Option<Box<dyn Signer>> {
offered
.contains(&SignatureScheme::ED25519)
.then(|| Box::new(CallbackSigner(Arc::clone(&self.callback))) as Box<dyn Signer>)
}
fn algorithm(&self) -> SignatureAlgorithm {
SignatureAlgorithm::ED25519
}
}
struct CallbackSigner(Arc<Mutex<Option<Arc<SignCallback>>>>);
impl fmt::Debug for CallbackSigner {
fn fmt(&self, formatter: &mut fmt::Formatter<'_>) -> fmt::Result {
formatter.write_str("CallbackSigner")
}
}
impl Signer for CallbackSigner {
fn sign(&self, message: &[u8]) -> std::result::Result<Vec<u8>, rustls::Error> {
let callback = self
.0
.lock()
.map_err(|_| rustls::Error::General("client signing state failed".to_owned()))?
.take()
.ok_or_else(|| rustls::Error::General("client signer already used".to_owned()))?;
callback(message)
.map(|signature| signature.to_vec())
.map_err(|_| rustls::Error::General("client signing failed".to_owned()))
}
fn scheme(&self) -> SignatureScheme {
SignatureScheme::ED25519
}
}
#[derive(Debug)]
struct ClientIdentity(Arc<CertifiedKey>);
impl ResolvesClientCert for ClientIdentity {
fn resolve(
&self,
_root_hint_subjects: &[&[u8]],
sigschemes: &[SignatureScheme],
) -> Option<Arc<CertifiedKey>> {
sigschemes
.contains(&SignatureScheme::ED25519)
.then(|| Arc::clone(&self.0))
}
fn has_certs(&self) -> bool {
true
}
}
pub(crate) fn client_config(
credential: &NativeTunnelCredential,
callback: Arc<SignCallback>,
) -> Result<ClientConfig> {
let certificate_chain = rustls_pemfile::certs(&mut Cursor::new(
credential.certificate_chain_pem().as_bytes(),
))
.collect::<std::result::Result<Vec<CertificateDer<'static>>, _>>()
.map_err(|_| CoreError::Tls)?;
if certificate_chain.is_empty() {
return Err(CoreError::Tls);
}
let mut roots = RootCertStore::empty();
let trust_bundle =
rustls_pemfile::certs(&mut Cursor::new(credential.trust_bundle_pem().as_bytes()))
.collect::<std::result::Result<Vec<CertificateDer<'static>>, _>>()
.map_err(|_| CoreError::Tls)?;
if trust_bundle.is_empty() || roots.add_parsable_certificates(trust_bundle).1 != 0 {
return Err(CoreError::Tls);
}
let provider = Arc::new(rustls::crypto::ring::default_provider());
let mut config = ClientConfig::builder_with_provider(provider)
.with_protocol_versions(&[&rustls::version::TLS13])
.map_err(|_| CoreError::Tls)?
.with_root_certificates(roots)
.with_client_cert_resolver(Arc::new(ClientIdentity(Arc::new(CertifiedKey::new(
certificate_chain,
Arc::new(CallbackSigningKey::new(callback)),
)))));
config.alpn_protocols = vec![b"versevdi-gateway-v1".to_vec()];
config.enable_early_data = false;
Ok(config)
}
#[cfg(test)]
mod tests {
use std::sync::atomic::{AtomicBool, Ordering};
use super::*;
struct DropMarker(Arc<AtomicBool>);
impl Drop for DropMarker {
fn drop(&mut self) {
self.0.store(true, Ordering::SeqCst);
}
}
#[test]
fn tls_callback_is_consumed_and_released_after_one_signature() {
let dropped = Arc::new(AtomicBool::new(false));
let marker = DropMarker(Arc::clone(&dropped));
let callback: Arc<SignCallback> = Arc::new(move |_| {
let _ = &marker;
Ok([7; 64])
});
let key = CallbackSigningKey::new(callback);
let signer = key
.choose_scheme(&[SignatureScheme::ED25519])
.expect("ED25519 signer");
let second_signer = key
.choose_scheme(&[SignatureScheme::ED25519])
.expect("second ED25519 signer");
drop(key);
assert_eq!(
signer.sign(b"handshake").expect("first signature"),
vec![7; 64]
);
assert!(dropped.load(Ordering::SeqCst), "callback remained retained");
assert!(
second_signer.sign(b"second request").is_err(),
"signer was reusable"
);
}
}
File diff suppressed because it is too large Load Diff
+209 -17
View File
@@ -1,5 +1,6 @@
use serde::de::DeserializeOwned;
use serde::Deserialize;
use serde::{Deserialize, Serialize};
use std::time::{SystemTime, UNIX_EPOCH};
use crate::error::{CoreError, Result};
@@ -126,6 +127,47 @@ struct Timestamp {
nanosecond: u32,
}
pub(crate) fn now_utc() -> Result<String> {
system_time_utc(SystemTime::now())
}
fn system_time_utc(now: SystemTime) -> Result<String> {
let seconds = now
.duration_since(UNIX_EPOCH)
.map_err(|_| CoreError::InvalidArgument)?
.as_secs();
let days = seconds / 86_400;
let day_seconds = seconds % 86_400;
let shifted = days
.checked_add(719_468)
.ok_or(CoreError::InvalidArgument)?;
let era = shifted / 146_097;
let day_of_era = shifted % 146_097;
let year_of_era =
(day_of_era - day_of_era / 1_460 + day_of_era / 36_524 - day_of_era / 146_096) / 365;
let mut year = year_of_era + era * 400;
let day_of_year = day_of_era - (365 * year_of_era + year_of_era / 4 - year_of_era / 100);
let month_prime = (5 * day_of_year + 2) / 153;
let day = day_of_year - (153 * month_prime + 2) / 5 + 1;
let month = if month_prime < 10 {
month_prime + 3
} else {
month_prime - 9
};
if month <= 2 {
year += 1;
}
if year > 9_999 {
return Err(CoreError::InvalidArgument);
}
let hour = day_seconds / 3_600;
let minute = (day_seconds % 3_600) / 60;
let second = day_seconds % 60;
Ok(format!(
"{year:04}-{month:02}-{day:02}T{hour:02}:{minute:02}:{second:02}Z"
))
}
fn timestamp(value: &str, exact_seconds: bool) -> Option<Timestamp> {
let bytes = value.as_bytes();
if bytes.len() < 20
@@ -203,6 +245,8 @@ fn timestamp(value: &str, exact_seconds: bool) -> Option<Timestamp> {
fn valid_dns_name(value: &str) -> bool {
bounded(value, 1, 253)
&& value.parse::<std::net::IpAddr>().is_err()
&& !uuid_shaped(value)
&& value.split('.').all(|label| {
bounded(label, 1, 63)
&& !label.starts_with('-')
@@ -213,7 +257,15 @@ fn valid_dns_name(value: &str) -> bool {
})
}
#[derive(Clone, Debug, Deserialize, Eq, PartialEq)]
fn uuid_shaped(value: &str) -> bool {
value.len() == 36
&& value.bytes().enumerate().all(|(index, byte)| match index {
8 | 13 | 18 | 23 => byte == b'-',
_ => byte.is_ascii_hexdigit(),
})
}
#[derive(Clone, Debug, Deserialize, Eq, PartialEq, Serialize)]
#[serde(deny_unknown_fields)]
pub struct CapabilityProfile {
transport: String,
@@ -378,6 +430,7 @@ impl ConnectionManifest {
.iter()
.any(|address| !bounded(address, 1, 256))
|| !valid_dns_name(&self.gateway.public_identity)
|| self.gateway.public_identity == self.gateway.id
|| !(1..=4).contains(&self.tunnel.versions.len())
|| self
.tunnel
@@ -432,6 +485,39 @@ impl ConnectionManifest {
}
Ok(())
}
pub(crate) fn addresses(&self) -> &[String] {
&self.gateway.addresses
}
pub(crate) fn public_identity(&self) -> &str {
&self.gateway.public_identity
}
pub(crate) fn features(&self) -> &[String] {
&self.tunnel.features
}
pub(crate) fn admission(
&self,
client_nonce: String,
device_signature: String,
capabilities: CapabilityProfile,
) -> Result<TunnelAdmissionRequest> {
let request = TunnelAdmissionRequest {
version: "1".to_owned(),
session_id: self.session_id.clone(),
gateway_id: self.gateway.id.clone(),
audience: self.grant.audience.clone(),
grant: self.grant.opaque_value.clone(),
reconnect_sequence: self.reconnect_sequence,
client_nonce,
device_signature,
capabilities,
};
request.validate()?;
Ok(request)
}
}
#[derive(Clone, Debug, Deserialize)]
@@ -477,9 +563,17 @@ impl NativeTunnelCredential {
}
Ok(())
}
pub(crate) fn certificate_chain_pem(&self) -> &str {
&self.certificate_chain_pem
}
pub(crate) fn trust_bundle_pem(&self) -> &str {
&self.trust_bundle_pem
}
}
#[derive(Clone, Debug, Deserialize)]
#[derive(Clone, Debug, Deserialize, Serialize)]
#[serde(deny_unknown_fields)]
pub struct TunnelAdmissionRequest {
version: String,
@@ -501,23 +595,25 @@ impl TunnelAdmissionRequest {
/// Returns `invalid_argument` for malformed, unknown, or out-of-bound data.
pub fn decode(bytes: &[u8]) -> Result<Self> {
let request: Self = decode_strict(bytes, MAX_ADMISSION_JSON_BYTES)?;
if request.version != "1"
|| !bounded(&request.session_id, 1, 128)
|| !bounded(&request.gateway_id, 1, 128)
|| !bounded(&request.audience, 1, 256)
|| !bounded(&request.grant, 43, 256)
|| !bounded(&request.client_nonce, 16, 128)
|| request.device_signature.len() != 86
|| !matches!(
raw_base64url_decoded_len(&request.client_nonce),
Some(12..=96)
)
|| raw_base64url_decoded_len(&request.device_signature) != Some(64)
request.validate()?;
Ok(request)
}
fn validate(&self) -> Result<()> {
if self.version != "1"
|| !bounded(&self.session_id, 1, 128)
|| !bounded(&self.gateway_id, 1, 128)
|| !bounded(&self.audience, 1, 256)
|| !bounded(&self.grant, 43, 256)
|| !bounded(&self.client_nonce, 16, 128)
|| self.device_signature.len() != 86
|| !matches!(raw_base64url_decoded_len(&self.client_nonce), Some(12..=96))
|| raw_base64url_decoded_len(&self.device_signature) != Some(64)
{
return Err(CoreError::InvalidArgument);
}
request.capabilities.validate()?;
Ok(request)
self.capabilities.validate()?;
Ok(())
}
#[must_use]
@@ -561,6 +657,21 @@ pub struct ClientSessionAuthority {
capabilities: CapabilityProfile,
}
#[derive(Debug, Deserialize)]
#[serde(deny_unknown_fields)]
struct StableError {
version: String,
code: String,
message: String,
retryable: bool,
}
pub(crate) struct DecodedStableError {
pub(crate) error: CoreError,
pub(crate) code: String,
pub(crate) retryable: bool,
}
impl ClientSessionAuthority {
/// Strictly decodes and validates a provider-free RC5 client authority.
///
@@ -608,4 +719,85 @@ impl ClientSessionAuthority {
}
Ok(())
}
#[must_use]
pub fn session_id(&self) -> &str {
&self.session_id
}
}
pub(crate) fn decode_stable_error(bytes: &[u8]) -> Result<DecodedStableError> {
let stable: StableError = decode_strict(bytes, MAX_ADMISSION_JSON_BYTES)?;
if stable.version != "1" || !bounded(&stable.code, 1, 128) || !bounded(&stable.message, 1, 512)
{
return Err(CoreError::Protocol);
}
let error = match stable.code.as_str() {
"expired_grant" => CoreError::Expired,
"admission_rejected"
| "gateway_draining"
| "invalid_authority"
| "no_capability_overlap"
| "wrong_gateway"
| "provider_work_unavailable"
| "clipboard_audit_unavailable" => CoreError::AuthorityRejected,
"provider_identity_rejected"
| "provider_malformed"
| "provider_timeout"
| "provider_unavailable"
| "provider_state_unavailable" => CoreError::Transport,
"invalid_hello" => CoreError::Protocol,
_ => return Err(CoreError::Protocol),
};
Ok(DecodedStableError {
error,
code: stable.code,
retryable: stable.retryable,
})
}
#[cfg(test)]
mod stable_error_tests {
use super::{decode_stable_error, system_time_utc};
use crate::error::CoreError;
use std::time::{Duration, UNIX_EPOCH};
#[test]
fn system_clock_conversion_is_exact_at_epoch_and_leap_day() {
assert_eq!(
system_time_utc(UNIX_EPOCH).as_deref(),
Ok("1970-01-01T00:00:00Z")
);
assert_eq!(
system_time_utc(UNIX_EPOCH + Duration::from_secs(1_709_251_199)).as_deref(),
Ok("2024-02-29T23:59:59Z")
);
}
#[test]
fn stable_error_uses_exact_rc5_bounds_and_preserves_retryability() {
let message = "m".repeat(512);
let bytes = serde_json::to_vec(&serde_json::json!({
"version": "1",
"code": "gateway_draining",
"message": message,
"retryable": true,
}))
.expect("encode stable error");
let decoded = decode_stable_error(&bytes).expect("RC5 stable error");
assert_eq!(decoded.error, CoreError::AuthorityRejected);
assert!(decoded.retryable);
for invalid in [
serde_json::json!({"version":"1","code":"gateway_draining","message":"","retryable":true}),
serde_json::json!({"version":"1","code":"c".repeat(129),"message":"m","retryable":true}),
serde_json::json!({"version":"1","code":"gateway_draining","message":"m".repeat(513),"retryable":true}),
serde_json::json!({"version":"1","code":"unknown","message":"m","retryable":true}),
] {
assert_eq!(
decode_stable_error(&serde_json::to_vec(&invalid).expect("encode invalid")).err(),
Some(CoreError::Protocol)
);
}
}
}
+907
View File
@@ -0,0 +1,907 @@
#![allow(
unsafe_code,
clippy::borrow_as_ptr,
clippy::cast_possible_truncation,
clippy::items_after_statements,
clashing_extern_declarations
)]
use std::cell::RefCell;
use std::collections::HashMap;
use std::ffi::c_void;
use std::mem::{offset_of, size_of};
use std::ptr;
use std::sync::atomic::{AtomicBool, AtomicU32, AtomicUsize, Ordering};
use std::sync::{Arc, Condvar, Mutex};
use std::thread;
use std::time::{Duration, Instant};
use rustls::sign::SigningKey;
use rustls::SignatureScheme;
#[path = "gateway_oracle.rs"]
mod gateway_oracle;
thread_local! {
static CORE_CONTEXTS: RefCell<HashMap<usize, usize>> = RefCell::new(HashMap::new());
static ORACLES: RefCell<HashMap<usize, gateway_oracle::Oracle>> = RefCell::new(HashMap::new());
}
const ABI_V1: u32 = 1;
const OK: u32 = 0;
const INVALID_ARGUMENT: u32 = 1;
const INVALID_STATE: u32 = 2;
const UNSUPPORTED_ABI: u32 = 3;
const AUTHORITY_REJECTED: u32 = 4;
const TLS: u32 = 5;
const QUEUE_FULL: u32 = 9;
const CANCELLED: u32 = 10;
const REENTRANT: u32 = 11;
const BUSY: u32 = 12;
const INTERNAL: u32 = 13;
const STATE_CONNECTING: u32 = 1;
const STATE_CONNECTED: u32 = 2;
const STATE_CANCELLED: u32 = 3;
const INPUT_KEYBOARD: u32 = 1;
#[repr(C)]
struct Core {
_private: [u8; 0],
}
#[repr(C)]
#[derive(Clone, Copy)]
struct BytesView {
data: *const u8,
length: usize,
}
#[repr(C)]
struct StateEvent {
struct_size: u32,
abi_version: u32,
state: u32,
reason: u32,
}
#[repr(C)]
struct ErrorEvent {
struct_size: u32,
abi_version: u32,
code: u32,
retryable: u32,
phase: u32,
reserved: u32,
}
#[repr(C)]
struct StatsEvent {
struct_size: u32,
abi_version: u32,
dropped_callbacks: u64,
dropped_media_units: u64,
dropped_input_events: u64,
}
#[repr(C)]
struct MediaEvent {
struct_size: u32,
abi_version: u32,
channel: u32,
sequence: u32,
timestamp_ms: u64,
encoded_unit: BytesView,
}
#[repr(C)]
struct ControlEvent {
struct_size: u32,
abi_version: u32,
kind: u32,
reserved: u32,
payload: BytesView,
}
type SignFn = unsafe extern "C" fn(*mut c_void, BytesView, *mut u8) -> u32;
type StateFn = unsafe extern "C" fn(*mut c_void, *const StateEvent);
type ErrorFn = unsafe extern "C" fn(*mut c_void, *const ErrorEvent);
type StatsFn = unsafe extern "C" fn(*mut c_void, *const StatsEvent);
type MediaFn = unsafe extern "C" fn(*mut c_void, *const MediaEvent);
type ControlFn = unsafe extern "C" fn(*mut c_void, *const ControlEvent);
#[repr(C)]
struct Config {
struct_size: u32,
abi_version: u32,
context: *mut c_void,
sign_admission: Option<SignFn>,
sign_tls_ed25519: Option<SignFn>,
on_state: Option<StateFn>,
on_error: Option<ErrorFn>,
on_stats: Option<StatsFn>,
on_media: Option<MediaFn>,
on_control: Option<ControlFn>,
}
#[repr(C)]
struct ConnectRequest {
struct_size: u32,
abi_version: u32,
manifest_json: BytesView,
tunnel_credential_json: BytesView,
}
#[repr(C)]
struct InputEvent {
struct_size: u32,
abi_version: u32,
kind: u32,
flags: u32,
values: [i32; 12],
}
unsafe extern "C" {
fn verse_core_abi_version() -> u32;
fn verse_core_create_v1(config: *const Config, out_core: *mut *mut Core) -> u32;
fn verse_core_connect_v1(core: *mut Core, request: *const ConnectRequest) -> u32;
fn verse_core_send_input_v1(core: *mut Core, event: *const InputEvent) -> u32;
fn verse_core_request_idr_v1(core: *mut Core) -> u32;
fn verse_core_cancel_v1(core: *mut Core) -> u32;
fn verse_core_destroy_v1(core: *mut Core, timeout_ms: u32) -> u32;
}
const MANIFEST: &[u8] = br#"{
"version":"1","purpose":"launch","session_id":"session","reconnect_sequence":0,
"gateway":{"id":"gateway","addresses":["gateway.test:443"],"public_identity":"gateway.test"},
"tunnel":{"versions":["verse-gateway-v1/1"],"features":["control.v1","input.absolute.v1","input.scroll.v1"]},
"profile":{"id":"standard","bounds":{"minimum_kbps":1000,"target_kbps":5000,"maximum_kbps":10000},"display_mode":{"resolution_width":1920,"resolution_height":1080,"fps":60}},
"grant":{"opaque_value":"ggggggggggggggggggggggggggggggggggggggggggg","expires_at":"2099-01-01T00:00:00Z","audience":"audience"},
"correlation_id":"correlation"
}"#;
const CREDENTIAL: &[u8] = br#"{"client_device_id":"device","device_key_id":"key","certificate_chain_pem":"-----BEGIN CERTIFICATE-----\nAQID\n-----END CERTIFICATE-----","trust_bundle_pem":"-----BEGIN CERTIFICATE-----\nAQID\n-----END CERTIFICATE-----","expires_at":"2099-01-01T00:00:00Z"}"#;
struct Context {
core: AtomicUsize,
admission_calls: AtomicUsize,
tls_calls: AtomicUsize,
admission_status: AtomicU32,
tls_status: AtomicU32,
admission_input: Mutex<Vec<u8>>,
tls_input: Mutex<Vec<u8>>,
states: Mutex<Vec<u32>>,
wake: Condvar,
reentry_cancel: AtomicU32,
reentry_send: AtomicU32,
reentry_destroy: AtomicU32,
block_callbacks: AtomicBool,
release_callbacks: AtomicBool,
callback_active: AtomicUsize,
callback_max: AtomicUsize,
cancel_on_connecting: AtomicBool,
reentry_target: AtomicUsize,
reentry_results: Mutex<Vec<u32>>,
admission_key: Mutex<Option<Arc<dyn SigningKey>>>,
tls_key: Mutex<Option<Arc<dyn SigningKey>>>,
}
impl Default for Context {
fn default() -> Self {
Self {
core: AtomicUsize::new(0),
admission_calls: AtomicUsize::new(0),
tls_calls: AtomicUsize::new(0),
admission_status: AtomicU32::new(OK),
tls_status: AtomicU32::new(OK),
admission_input: Mutex::new(Vec::new()),
tls_input: Mutex::new(Vec::new()),
states: Mutex::new(Vec::new()),
wake: Condvar::new(),
reentry_cancel: AtomicU32::new(u32::MAX),
reentry_send: AtomicU32::new(u32::MAX),
reentry_destroy: AtomicU32::new(u32::MAX),
block_callbacks: AtomicBool::new(false),
release_callbacks: AtomicBool::new(false),
callback_active: AtomicUsize::new(0),
callback_max: AtomicUsize::new(0),
cancel_on_connecting: AtomicBool::new(false),
reentry_target: AtomicUsize::new(0),
reentry_results: Mutex::new(Vec::new()),
admission_key: Mutex::new(None),
tls_key: Mutex::new(None),
}
}
}
unsafe fn context<'a>(raw: *mut c_void) -> &'a Context {
// Test invariant: every callback receives the live Box<Context> supplied at create.
unsafe { &*raw.cast::<Context>() }
}
unsafe extern "C" fn sign_admission(raw: *mut c_void, input: BytesView, output: *mut u8) -> u32 {
// Test invariant: ABI promises input is readable for input.length during this callback.
let bytes = unsafe { std::slice::from_raw_parts(input.data, input.length) };
let ctx = unsafe { context(raw) };
ctx.admission_calls.fetch_add(1, Ordering::SeqCst);
*ctx.admission_input.lock().expect("admission lock") = bytes.to_vec();
let status = ctx.admission_status.load(Ordering::SeqCst);
if status != OK {
return status;
}
let key = ctx.admission_key.lock().expect("admission key");
let Some(key) = key.as_ref() else {
return INTERNAL;
};
let signer = key
.choose_scheme(&[SignatureScheme::ED25519])
.expect("Ed25519 admission signer");
let signature = signer.sign(bytes).expect("admission signature");
assert_eq!(signature.len(), 64);
// Test invariant: ABI promises a writable 64-byte Rust-owned signature buffer.
unsafe { ptr::copy_nonoverlapping(signature.as_ptr(), output, signature.len()) };
OK
}
unsafe extern "C" fn sign_tls(raw: *mut c_void, input: BytesView, output: *mut u8) -> u32 {
// Test invariant: ABI promises input is readable for input.length during this callback.
let bytes = unsafe { std::slice::from_raw_parts(input.data, input.length) };
let ctx = unsafe { context(raw) };
ctx.tls_calls.fetch_add(1, Ordering::SeqCst);
*ctx.tls_input.lock().expect("tls lock") = bytes.to_vec();
let status = ctx.tls_status.load(Ordering::SeqCst);
if status != OK {
return status;
}
let key = ctx.tls_key.lock().expect("TLS key");
let Some(key) = key.as_ref() else {
return INTERNAL;
};
let signer = key
.choose_scheme(&[SignatureScheme::ED25519])
.expect("Ed25519 TLS signer");
let signature = signer.sign(bytes).expect("TLS signature");
assert_eq!(signature.len(), 64);
// Test invariant: ABI promises a writable 64-byte Rust-owned signature buffer.
unsafe { ptr::copy_nonoverlapping(signature.as_ptr(), output, signature.len()) };
OK
}
unsafe extern "C" fn sign_admission_probes_global_reentry(
raw: *mut c_void,
input: BytesView,
output: *mut u8,
) -> u32 {
let ctx = unsafe { context(raw) };
let target = ctx.reentry_target.load(Ordering::SeqCst) as *mut Core;
let results = [
unsafe { verse_core_abi_version() },
unsafe { verse_core_create_v1(ptr::null(), ptr::null_mut()) },
unsafe { verse_core_connect_v1(target, ptr::null()) },
unsafe { verse_core_send_input_v1(target, ptr::null()) },
unsafe { verse_core_request_idr_v1(target) },
unsafe { verse_core_cancel_v1(target) },
unsafe { verse_core_destroy_v1(target, 0) },
];
ctx.reentry_results
.lock()
.expect("signer reentry results")
.extend(results);
unsafe { sign_admission(raw, input, output) }
}
unsafe extern "C" fn on_state_probes_global_reentry(raw: *mut c_void, event: *const StateEvent) {
let ctx = unsafe { context(raw) };
// Test invariant: ABI promises a readable state record for the callback duration.
let state = unsafe { (*event).state };
ctx.states.lock().expect("states lock").push(state);
ctx.wake.notify_all();
if state != STATE_CONNECTED {
return;
}
let origin = ctx.core.load(Ordering::SeqCst) as *mut Core;
let other = ctx.reentry_target.load(Ordering::SeqCst) as *mut Core;
let results = [
unsafe { verse_core_abi_version() },
unsafe { verse_core_create_v1(ptr::null(), ptr::null_mut()) },
unsafe { verse_core_connect_v1(origin, ptr::null()) },
unsafe { verse_core_send_input_v1(origin, ptr::null()) },
unsafe { verse_core_request_idr_v1(origin) },
unsafe { verse_core_cancel_v1(other) },
unsafe { verse_core_destroy_v1(origin, 0) },
unsafe { verse_core_cancel_v1(origin) },
];
ctx.reentry_results
.lock()
.expect("event reentry results")
.extend(results);
}
unsafe extern "C" fn on_state(raw: *mut c_void, event: *const StateEvent) {
let ctx = unsafe { context(raw) };
let active = ctx.callback_active.fetch_add(1, Ordering::SeqCst) + 1;
ctx.callback_max.fetch_max(active, Ordering::SeqCst);
// Test invariant: ABI promises a readable state record for the callback duration.
let state = unsafe { (*event).state };
ctx.states.lock().expect("states lock").push(state);
ctx.wake.notify_all();
if state == STATE_CONNECTING && ctx.cancel_on_connecting.load(Ordering::SeqCst) {
let core = ctx.core.load(Ordering::SeqCst) as *mut Core;
ctx.reentry_cancel
.store(unsafe { verse_core_cancel_v1(core) }, Ordering::SeqCst);
}
if ctx.block_callbacks.load(Ordering::SeqCst) && !ctx.release_callbacks.load(Ordering::SeqCst) {
let mut states = ctx.states.lock().expect("states lock");
while !ctx.release_callbacks.load(Ordering::SeqCst) {
states = ctx.wake.wait(states).expect("callback wait");
}
}
if state == STATE_CONNECTED && ctx.reentry_cancel.load(Ordering::SeqCst) == u32::MAX {
let core = ctx.core.load(Ordering::SeqCst) as *mut Core;
// Test invariant: the stored handle is live until this callback and its destroy complete.
ctx.reentry_cancel
.store(unsafe { verse_core_cancel_v1(core) }, Ordering::SeqCst);
let event = keyboard_event();
// Test invariant: event and handle remain valid for the synchronous call.
ctx.reentry_send.store(
unsafe { verse_core_send_input_v1(core, &event) },
Ordering::SeqCst,
);
// Test invariant: the callback intentionally probes the documented reentry rejection.
ctx.reentry_destroy
.store(unsafe { verse_core_destroy_v1(core, 1) }, Ordering::SeqCst);
}
ctx.callback_active.fetch_sub(1, Ordering::SeqCst);
}
unsafe extern "C" fn sign_admission_reenters(
raw: *mut c_void,
input: BytesView,
output: *mut u8,
) -> u32 {
let ctx = unsafe { context(raw) };
ctx.reentry_cancel.store(
unsafe { verse_core_cancel_v1(ctx.core.load(Ordering::SeqCst) as *mut Core) },
Ordering::SeqCst,
);
unsafe { sign_admission(raw, input, output) }
}
unsafe extern "C" fn sign_admission_waits_for_cancel(
raw: *mut c_void,
input: BytesView,
output: *mut u8,
) -> u32 {
let ctx = unsafe { context(raw) };
let deadline = Instant::now() + Duration::from_secs(2);
while ctx.reentry_cancel.load(Ordering::SeqCst) == u32::MAX {
assert!(
Instant::now() < deadline,
"connecting callback did not cancel"
);
thread::yield_now();
}
unsafe { sign_admission(raw, input, output) }
}
fn config(ctx: &mut Context) -> Config {
Config {
struct_size: size_of::<Config>() as u32,
abi_version: ABI_V1,
context: ptr::from_mut(ctx).cast(),
sign_admission: Some(sign_admission),
sign_tls_ed25519: Some(sign_tls),
on_state: Some(on_state),
on_error: None,
on_stats: None,
on_media: None,
on_control: None,
}
}
fn request(manifest: &[u8], credential: &[u8]) -> ConnectRequest {
ConnectRequest {
struct_size: size_of::<ConnectRequest>() as u32,
abi_version: ABI_V1,
manifest_json: BytesView {
data: manifest.as_ptr(),
length: manifest.len(),
},
tunnel_credential_json: BytesView {
data: credential.as_ptr(),
length: credential.len(),
},
}
}
fn keyboard_event() -> InputEvent {
let mut values = [0; 12];
values[0] = 1;
values[2] = 30;
InputEvent {
struct_size: size_of::<InputEvent>() as u32,
abi_version: ABI_V1,
kind: INPUT_KEYBOARD,
flags: 0,
values,
}
}
fn create(ctx: &mut Context) -> *mut Core {
let mut core = ptr::null_mut();
let config = config(ctx);
// Test invariant: config/out pointers remain valid for the synchronous create call.
assert_eq!(unsafe { verse_core_create_v1(&config, &mut core) }, OK);
assert!(!core.is_null());
register(core, ctx);
core
}
fn register(core: *mut Core, ctx: &mut Context) {
ctx.core.store(core as usize, Ordering::SeqCst);
CORE_CONTEXTS.with(|contexts| {
contexts
.borrow_mut()
.insert(core as usize, ptr::from_mut(ctx) as usize);
});
}
fn connect(core: *mut Core, manifest: &[u8], credential: &[u8]) -> u32 {
connect_mode(core, "", manifest, credential)
}
fn connect_mode(core: *mut Core, mode: &str, manifest: &[u8], credential: &[u8]) -> u32 {
connect_with_oracle(core, mode, |oracle| {
let manifest = if manifest == MANIFEST {
oracle.ready.manifest.as_bytes()
} else {
manifest
};
let credential = if credential == CREDENTIAL {
oracle.ready.credential.as_bytes()
} else {
credential
};
let request = request(manifest, credential);
// Test invariant: request and backing byte slices remain valid for the synchronous call.
unsafe { verse_core_connect_v1(core, &request) }
})
}
fn connect_with_oracle(
core: *mut Core,
mode: &str,
action: impl FnOnce(&gateway_oracle::Oracle) -> u32,
) -> u32 {
let oracle = gateway_oracle::Oracle::start(mode);
CORE_CONTEXTS.with(|contexts| {
let raw = *contexts
.borrow()
.get(&(core as usize))
.expect("registered ABI context");
// Test invariant: context outlives the core and is removed only after destroy succeeds.
let ctx = unsafe { &*(raw as *const Context) };
*ctx.admission_key.lock().expect("admission key") =
Some(gateway_oracle::test_key(&oracle.ready.admission_key));
*ctx.tls_key.lock().expect("TLS key") =
Some(gateway_oracle::test_key(&oracle.ready.client_key));
});
let status = action(&oracle);
if status == OK {
ORACLES.with(|oracles| {
oracles.borrow_mut().insert(core as usize, oracle);
});
}
status
}
fn wait_for(ctx: &Context, predicate: impl Fn(&[u32]) -> bool) {
let deadline = Instant::now() + Duration::from_secs(2);
let mut states = ctx.states.lock().expect("states lock");
while !predicate(&states) {
let remaining = deadline.saturating_duration_since(Instant::now());
assert!(
!remaining.is_zero(),
"callback deadline exceeded: {states:?}"
);
(states, _) = ctx
.wake
.wait_timeout(states, remaining)
.expect("callback wait");
}
}
fn destroy(core: *mut Core) -> u32 {
// Test invariant: caller retains the handle until destroy reports success.
let status = unsafe { verse_core_destroy_v1(core, 2_000) };
if status == OK {
ORACLES.with(|oracles| {
oracles.borrow_mut().remove(&(core as usize));
});
CORE_CONTEXTS.with(|contexts| {
contexts.borrow_mut().remove(&(core as usize));
});
}
status
}
#[test]
fn arm64_c_layout_is_exact_and_version_is_fixed() {
assert_eq!(versevdi_core::session::INPUT_QUEUE_CAPACITY, 64);
assert_eq!(size_of::<BytesView>(), 16);
assert_eq!(size_of::<Config>(), 72);
assert_eq!(offset_of!(Config, sign_admission), 16);
assert_eq!(size_of::<ConnectRequest>(), 40);
assert_eq!(offset_of!(ConnectRequest, manifest_json), 8);
assert_eq!(size_of::<InputEvent>(), 64);
assert_eq!(size_of::<StateEvent>(), 16);
assert_eq!(size_of::<ErrorEvent>(), 24);
assert_eq!(size_of::<StatsEvent>(), 32);
assert_eq!(size_of::<MediaEvent>(), 40);
assert_eq!(size_of::<ControlEvent>(), 32);
// Test invariant: no pointer arguments are involved.
assert_eq!(unsafe { verse_core_abi_version() }, ABI_V1);
}
#[test]
fn create_validates_prefix_callbacks_output_and_trailing_bytes() {
let mut ctx = Context::default();
let mut core = ptr::dangling_mut::<Core>();
let mut cfg = config(&mut ctx);
cfg.struct_size = 7;
// Test invariant: config/out are readable/writable for this call.
assert_eq!(
unsafe { verse_core_create_v1(&cfg, &mut core) },
INVALID_ARGUMENT
);
assert!(core.is_null());
cfg = config(&mut ctx);
cfg.abi_version = 2;
assert_eq!(
unsafe { verse_core_create_v1(&cfg, &mut core) },
UNSUPPORTED_ABI
);
assert!(core.is_null());
cfg = config(&mut ctx);
cfg.sign_tls_ed25519 = None;
assert_eq!(
unsafe { verse_core_create_v1(&cfg, &mut core) },
INVALID_ARGUMENT
);
assert!(core.is_null());
#[repr(C)]
struct Extended {
base: Config,
ignored: [u8; 32],
}
let extended = Extended {
base: config(&mut ctx),
ignored: [0xEE; 32],
};
let mut extended = extended;
extended.base.struct_size = size_of::<Extended>() as u32;
assert_eq!(
unsafe { verse_core_create_v1(&extended.base, &mut core) },
OK
);
assert_eq!(destroy(core), OK);
}
#[test]
fn connect_copies_inputs_and_calls_purpose_specific_signers_once() {
let mut ctx = Context::default();
let core = create(&mut ctx);
let mut manifest = MANIFEST.to_vec();
let mut credential = CREDENTIAL.to_vec();
assert_eq!(connect(core, &manifest, &credential), OK);
manifest.fill(b'x');
credential.fill(b'y');
assert_eq!(ctx.admission_calls.load(Ordering::SeqCst), 1);
assert_eq!(ctx.tls_calls.load(Ordering::SeqCst), 1);
let admission = ctx.admission_input.lock().expect("admission");
let tls = ctx.tls_input.lock().expect("tls");
assert!(admission.starts_with(b"versevdi/tunnel-admission/v1"));
assert!(!tls.is_empty());
assert_ne!(&*admission, &*tls);
assert_eq!(destroy(core), OK);
}
#[test]
fn tables_and_slices_reject_short_unsupported_null_and_oversized_inputs() {
let mut ctx = Context::default();
ctx.reentry_cancel.store(OK, Ordering::SeqCst);
let core = create(&mut ctx);
let mut req = request(MANIFEST, CREDENTIAL);
req.struct_size = 7;
assert_eq!(
unsafe { verse_core_connect_v1(core, &req) },
INVALID_ARGUMENT
);
req.struct_size = size_of::<ConnectRequest>() as u32;
req.abi_version = 2;
assert_eq!(
unsafe { verse_core_connect_v1(core, &req) },
UNSUPPORTED_ABI
);
req.abi_version = ABI_V1;
req.manifest_json = BytesView {
data: ptr::null(),
length: 1,
};
assert_eq!(
unsafe { verse_core_connect_v1(core, &req) },
INVALID_ARGUMENT
);
req.manifest_json = BytesView {
data: ptr::null(),
length: 0,
};
assert_eq!(
unsafe { verse_core_connect_v1(core, &req) },
INVALID_ARGUMENT
);
req.manifest_json.length = 1_048_577;
assert_eq!(
unsafe { verse_core_connect_v1(core, &req) },
INVALID_ARGUMENT
);
let mut input = keyboard_event();
input.struct_size = 7;
assert_eq!(
unsafe { verse_core_send_input_v1(core, &input) },
INVALID_ARGUMENT
);
input.struct_size = size_of::<InputEvent>() as u32;
input.abi_version = 2;
assert_eq!(
unsafe { verse_core_send_input_v1(core, &input) },
UNSUPPORTED_ABI
);
#[repr(C)]
struct ExtendedRequest {
base: ConnectRequest,
ignored: [u8; 24],
}
assert_eq!(
connect_with_oracle(core, "", |oracle| {
let mut trailing_request = ExtendedRequest {
base: request(
oracle.ready.manifest.as_bytes(),
oracle.ready.credential.as_bytes(),
),
ignored: [0xEE; 24],
};
trailing_request.base.struct_size = size_of::<ExtendedRequest>() as u32;
unsafe { verse_core_connect_v1(core, &trailing_request.base) }
}),
OK
);
#[repr(C)]
struct ExtendedInput {
base: InputEvent,
ignored: [u8; 24],
}
let mut trailing_input = ExtendedInput {
base: keyboard_event(),
ignored: [0xEE; 24],
};
trailing_input.base.struct_size = size_of::<ExtendedInput>() as u32;
assert_eq!(
unsafe { verse_core_send_input_v1(core, &trailing_input.base) },
OK
);
assert_eq!(destroy(core), OK);
}
#[test]
fn callback_order_is_serial_and_only_cancel_is_reentrant() {
let mut ctx = Context::default();
let core = create(&mut ctx);
assert_eq!(connect(core, MANIFEST, CREDENTIAL), OK);
wait_for(&ctx, |states| states.contains(&STATE_CANCELLED));
assert_eq!(
ctx.states.lock().expect("states").as_slice(),
[STATE_CONNECTING, STATE_CONNECTED, STATE_CANCELLED]
);
assert_eq!(ctx.reentry_cancel.load(Ordering::SeqCst), OK);
assert_eq!(ctx.reentry_send.load(Ordering::SeqCst), REENTRANT);
assert_eq!(ctx.reentry_destroy.load(Ordering::SeqCst), REENTRANT);
assert_eq!(ctx.callback_max.load(Ordering::SeqCst), 1);
assert_eq!(destroy(core), OK);
}
#[test]
fn signer_callbacks_cannot_reenter_even_cancel() {
let mut ctx = Context::default();
let mut cfg = config(&mut ctx);
cfg.sign_admission = Some(sign_admission_reenters);
let mut core = ptr::null_mut();
assert_eq!(unsafe { verse_core_create_v1(&cfg, &mut core) }, OK);
register(core, &mut ctx);
assert_eq!(connect(core, MANIFEST, CREDENTIAL), OK);
assert_eq!(ctx.reentry_cancel.load(Ordering::SeqCst), REENTRANT);
assert_eq!(destroy(core), OK);
}
#[test]
fn signer_callback_rejects_every_stateful_api_across_handles() {
let mut other_ctx = Context::default();
other_ctx.reentry_cancel.store(OK, Ordering::SeqCst);
let other = create(&mut other_ctx);
let mut ctx = Context::default();
ctx.reentry_cancel.store(OK, Ordering::SeqCst);
ctx.reentry_target.store(other as usize, Ordering::SeqCst);
let mut cfg = config(&mut ctx);
cfg.sign_admission = Some(sign_admission_probes_global_reentry);
let mut core = ptr::null_mut();
assert_eq!(unsafe { verse_core_create_v1(&cfg, &mut core) }, OK);
register(core, &mut ctx);
assert_eq!(connect(core, MANIFEST, CREDENTIAL), OK);
assert_eq!(
ctx.reentry_results
.lock()
.expect("signer results")
.as_slice(),
[ABI_V1, REENTRANT, REENTRANT, REENTRANT, REENTRANT, REENTRANT, REENTRANT]
);
assert_eq!(destroy(core), OK);
assert_eq!(connect(other, MANIFEST, CREDENTIAL), OK);
assert_eq!(destroy(other), OK);
}
#[test]
fn event_callback_allows_only_originating_handle_cancel() {
let mut other_ctx = Context::default();
other_ctx.reentry_cancel.store(OK, Ordering::SeqCst);
let other = create(&mut other_ctx);
let mut ctx = Context::default();
ctx.reentry_target.store(other as usize, Ordering::SeqCst);
let mut cfg = config(&mut ctx);
cfg.on_state = Some(on_state_probes_global_reentry);
let mut core = ptr::null_mut();
assert_eq!(unsafe { verse_core_create_v1(&cfg, &mut core) }, OK);
register(core, &mut ctx);
assert_eq!(connect(core, MANIFEST, CREDENTIAL), OK);
wait_for(&ctx, |states| states.contains(&STATE_CANCELLED));
assert_eq!(
ctx.reentry_results
.lock()
.expect("event results")
.as_slice(),
[ABI_V1, REENTRANT, REENTRANT, REENTRANT, REENTRANT, REENTRANT, REENTRANT, OK]
);
assert_eq!(destroy(core), OK);
assert_eq!(connect(other, MANIFEST, CREDENTIAL), OK);
assert_eq!(destroy(other), OK);
}
#[test]
fn signer_statuses_are_purpose_specific_and_unknown_values_are_internal() {
for (admission, expected) in [
(OK, OK),
(AUTHORITY_REJECTED, AUTHORITY_REJECTED),
(CANCELLED, CANCELLED),
(INTERNAL, INTERNAL),
(TLS, INTERNAL),
(u32::MAX, INTERNAL),
] {
let mut ctx = Context::default();
ctx.reentry_cancel.store(OK, Ordering::SeqCst);
ctx.admission_status.store(admission, Ordering::SeqCst);
let core = create(&mut ctx);
assert_eq!(connect(core, MANIFEST, CREDENTIAL), expected);
assert_eq!(destroy(core), OK);
}
for (tls, expected) in [
(OK, OK),
(TLS, TLS),
(CANCELLED, CANCELLED),
(INTERNAL, INTERNAL),
(AUTHORITY_REJECTED, INTERNAL),
(u32::MAX, INTERNAL),
] {
let mut ctx = Context::default();
ctx.reentry_cancel.store(OK, Ordering::SeqCst);
ctx.tls_status.store(tls, Ordering::SeqCst);
let core = create(&mut ctx);
assert_eq!(connect(core, MANIFEST, CREDENTIAL), expected);
assert_eq!(destroy(core), OK);
}
}
#[test]
fn cancel_during_connect_preserves_state_order_and_stops_before_tls_signing() {
let mut ctx = Context::default();
ctx.cancel_on_connecting.store(true, Ordering::SeqCst);
let mut cfg = config(&mut ctx);
cfg.sign_admission = Some(sign_admission_waits_for_cancel);
let mut core = ptr::null_mut();
assert_eq!(unsafe { verse_core_create_v1(&cfg, &mut core) }, OK);
register(core, &mut ctx);
assert_eq!(connect(core, MANIFEST, CREDENTIAL), CANCELLED);
wait_for(&ctx, |states| states.contains(&STATE_CANCELLED));
assert_eq!(
ctx.states.lock().expect("states").as_slice(),
[STATE_CONNECTING, STATE_CANCELLED]
);
assert_eq!(ctx.tls_calls.load(Ordering::SeqCst), 0);
assert_eq!(destroy(core), OK);
}
#[test]
fn send_input_is_nonblocking_bounded_and_cancel_is_idempotent() {
let mut ctx = Context::default();
ctx.reentry_cancel.store(OK, Ordering::SeqCst);
let core = create(&mut ctx);
assert_eq!(connect_mode(core, "slow-input", MANIFEST, CREDENTIAL), OK);
let event = keyboard_event();
let started = Instant::now();
let mut sent = 0;
let saturated = loop {
match unsafe { verse_core_send_input_v1(core, &event) } {
OK => sent += 1,
QUEUE_FULL => break true,
status => panic!("unexpected input status {status}"),
}
if sent == 10_000 || started.elapsed() > Duration::from_secs(1) {
break false;
}
};
assert!(saturated, "real slow consumer did not expose bounded queue");
assert!(started.elapsed() < Duration::from_secs(1));
assert_eq!(unsafe { verse_core_cancel_v1(core) }, OK);
assert_eq!(unsafe { verse_core_cancel_v1(core) }, OK);
assert_eq!(unsafe { verse_core_send_input_v1(core, &event) }, CANCELLED);
assert_eq!(destroy(core), OK);
}
#[test]
fn destroy_timeout_keeps_ownership_suppresses_late_callbacks_and_allows_retry() {
let mut ctx = Context::default();
ctx.reentry_cancel.store(OK, Ordering::SeqCst);
ctx.block_callbacks.store(true, Ordering::SeqCst);
let core = create(&mut ctx);
assert_eq!(connect(core, MANIFEST, CREDENTIAL), OK);
wait_for(&ctx, |states| !states.is_empty());
assert_eq!(unsafe { verse_core_destroy_v1(core, 1) }, BUSY);
let count_at_timeout = ctx.states.lock().expect("states").len();
ctx.release_callbacks.store(true, Ordering::SeqCst);
ctx.wake.notify_all();
assert_eq!(destroy(core), OK);
assert_eq!(ctx.states.lock().expect("states").len(), count_at_timeout);
}
#[test]
fn preconnect_and_postcancel_state_checks_are_stable() {
let mut ctx = Context::default();
ctx.reentry_cancel.store(OK, Ordering::SeqCst);
let core = create(&mut ctx);
let event = keyboard_event();
assert_eq!(
unsafe { verse_core_send_input_v1(core, &event) },
INVALID_STATE
);
assert_eq!(unsafe { verse_core_request_idr_v1(core) }, INVALID_STATE);
assert_eq!(unsafe { verse_core_cancel_v1(core) }, OK);
assert_eq!(connect(core, MANIFEST, CREDENTIAL), CANCELLED);
assert_eq!(destroy(core), OK);
}
+117
View File
@@ -0,0 +1,117 @@
#include "versevdi_core.h"
#include <assert.h>
#include <stdatomic.h>
#include <stdlib.h>
#include <string.h>
static const char MANIFEST[] =
"{\"version\":\"1\",\"purpose\":\"launch\",\"session_id\":\"session\","
"\"reconnect_sequence\":0,\"gateway\":{\"id\":\"gateway\",\"addresses\":["
"\"127.0.0.1:9\"],\"public_identity\":\"gateway.test\"},\"tunnel\":{"
"\"versions\":[\"verse-gateway-v1/1\"],\"features\":[\"control.v1\"]},"
"\"profile\":{\"id\":\"standard\",\"bounds\":{\"minimum_kbps\":1000,"
"\"target_kbps\":5000,\"maximum_kbps\":10000},\"display_mode\":null},"
"\"grant\":{\"opaque_value\":\"ggggggggggggggggggggggggggggggggggggggggggg\","
"\"expires_at\":\"2099-01-01T00:00:00Z\",\"audience\":\"audience\"},"
"\"correlation_id\":\"correlation\"}";
static const char CREDENTIAL[] =
"{\"client_device_id\":\"device\",\"device_key_id\":\"key\","
"\"certificate_chain_pem\":\"-----BEGIN CERTIFICATE-----\\nAQID\\n-----END CERTIFICATE-----\","
"\"trust_bundle_pem\":\"-----BEGIN CERTIFICATE-----\\nAQID\\n-----END CERTIFICATE-----\","
"\"expires_at\":\"2099-01-01T00:00:00Z\"}";
typedef struct smoke_context {
atomic_uint admission_calls;
atomic_uint tls_calls;
} smoke_context_t;
static verse_status_t reject_admission(
void *raw,
verse_bytes_view_t input,
uint8_t signature[64]) {
smoke_context_t *context = raw;
(void)input;
(void)signature;
atomic_fetch_add(&context->admission_calls, 1U);
return VERSE_STATUS_INTERNAL;
}
static verse_status_t reject_tls(
void *raw,
verse_bytes_view_t input,
uint8_t signature[64]) {
smoke_context_t *context = raw;
(void)input;
(void)signature;
atomic_fetch_add(&context->tls_calls, 1U);
return VERSE_STATUS_INTERNAL;
}
int main(void) {
smoke_context_t context = {0};
verse_core_config_v1_t config = {
.struct_size = sizeof(config),
.abi_version = VERSE_CORE_ABI_VERSION_1,
.context = &context,
.sign_admission = reject_admission,
.sign_tls_ed25519 = reject_tls,
};
verse_core_t *core = NULL;
assert(verse_core_abi_version() == VERSE_CORE_ABI_VERSION_1);
assert(verse_core_create_v1(NULL, &core) == VERSE_STATUS_INVALID_ARGUMENT);
assert(verse_core_create_v1(&config, NULL) == VERSE_STATUS_INVALID_ARGUMENT);
config.struct_size = 8U;
assert(verse_core_create_v1(&config, &core) == VERSE_STATUS_INVALID_ARGUMENT);
config.struct_size = sizeof(config);
config.abi_version = VERSE_CORE_ABI_VERSION_1 + 1U;
assert(verse_core_create_v1(&config, &core) == VERSE_STATUS_UNSUPPORTED_ABI);
config.abi_version = VERSE_CORE_ABI_VERSION_1;
assert(verse_core_create_v1(&config, &core) == VERSE_STATUS_OK);
assert(core != NULL);
verse_input_event_v1_t input = {
.struct_size = sizeof(input),
.abi_version = VERSE_CORE_ABI_VERSION_1,
.kind = VERSE_INPUT_KEYBOARD,
.values = {1, 0, 30},
};
assert(verse_core_send_input_v1(core, &input) == VERSE_STATUS_INVALID_STATE);
assert(verse_core_request_idr_v1(core) == VERSE_STATUS_INVALID_STATE);
char manifest[sizeof(MANIFEST)];
char credential[sizeof(CREDENTIAL)];
memcpy(manifest, MANIFEST, sizeof(manifest));
memcpy(credential, CREDENTIAL, sizeof(credential));
verse_connect_request_v1_t request = {
.struct_size = sizeof(request),
.abi_version = VERSE_CORE_ABI_VERSION_1,
.manifest_json = {(const uint8_t *)manifest, sizeof(manifest) - 1U},
.tunnel_credential_json = {(const uint8_t *)credential, sizeof(credential) - 1U},
};
assert(verse_core_connect_v1(NULL, &request) == VERSE_STATUS_INVALID_ARGUMENT);
request.struct_size = 8U;
assert(verse_core_connect_v1(core, &request) == VERSE_STATUS_INVALID_ARGUMENT);
request.struct_size = sizeof(request);
request.abi_version = VERSE_CORE_ABI_VERSION_1 + 1U;
assert(verse_core_connect_v1(core, &request) == VERSE_STATUS_UNSUPPORTED_ABI);
request.abi_version = VERSE_CORE_ABI_VERSION_1;
request.manifest_json.data = NULL;
assert(verse_core_connect_v1(core, &request) == VERSE_STATUS_INVALID_ARGUMENT);
request.manifest_json.data = (const uint8_t *)manifest;
assert(verse_core_connect_v1(core, &request) == VERSE_STATUS_TLS);
memset(manifest, 0, sizeof(manifest));
memset(credential, 0, sizeof(credential));
assert(verse_core_send_input_v1(core, &input) == VERSE_STATUS_CANCELLED);
assert(verse_core_request_idr_v1(core) == VERSE_STATUS_CANCELLED);
assert(verse_core_cancel_v1(core) == VERSE_STATUS_OK);
assert(verse_core_cancel_v1(core) == VERSE_STATUS_OK);
assert(atomic_load(&context.admission_calls) == 0U);
assert(atomic_load(&context.tls_calls) == 0U);
assert(verse_core_destroy_v1(core, 2000U) == VERSE_STATUS_OK);
assert(atomic_load(&context.admission_calls) == 0U);
assert(atomic_load(&context.tls_calls) == 0U);
return EXIT_SUCCESS;
}
File diff suppressed because it is too large Load Diff
+234
View File
@@ -0,0 +1,234 @@
#!/bin/sh
set -eu
ROOT=$(CDPATH= cd -- "$(dirname "$0")/../.." && pwd)
BUILDER="$ROOT/core/scripts/build-xcframework.sh"
EXPECTED_EXPORTS='_verse_core_abi_version
_verse_core_cancel_v1
_verse_core_connect_v1
_verse_core_create_v1
_verse_core_destroy_v1
_verse_core_request_idr_v1
_verse_core_send_input_v1'
test "$(uname -s)" = Darwin
test "$(uname -m)" = arm64
test -x "$BUILDER"
WORK=$(mktemp -d "${TMPDIR:-/tmp}/versevdi-core-package.XXXXXX")
trap 'rm -rf "$WORK"' EXIT HUP INT TERM
expect_path_rejected() {
error=$1
shift
if "$BUILDER" "$@" >"$WORK/path.stdout" 2>"$WORK/path.stderr"; then
echo "unsafe packaging path was accepted" >&2
exit 1
fi
grep -F "$error" "$WORK/path.stderr" >/dev/null
}
mkdir "$WORK/parents" "$WORK/physical-parent"
mkdir "$WORK/existing-output"
expect_path_rejected "must not exist" \
--output "$WORK/existing-output" --target-dir "$WORK/parents/existing-target"
ln -s "$WORK/physical-parent" "$WORK/parent-alias"
ln -s "$WORK/physical-parent" "$WORK/second-parent-alias"
ln -s "$WORK/missing" "$WORK/dangling-output"
expect_path_rejected "must not exist" \
--output "$WORK/dangling-output" --target-dir "$WORK/parents/dangling-target"
expect_path_rejected "must be separate" \
--output "$WORK/parents/same" --target-dir "$WORK/parents/same"
expect_path_rejected "must be separate" \
--output "$WORK/parent-alias/aliased-same" \
--target-dir "$WORK/second-parent-alias/aliased-same"
ln -s "$ROOT" "$WORK/repository-alias"
expect_path_rejected "outside the repository" \
--output "$WORK/repository-alias/core/forbidden-output" \
--target-dir "$WORK/parents/repository-alias-target"
(umask 022 && "$BUILDER" --output "$WORK/one" --target-dir "$WORK/target-one")
mkdir "$WORK/hostile-bin"
mkdir -p "$WORK/hostile-cargo-home" "$WORK/hostile-home/.cargo"
ln -s /usr/bin/false "$WORK/hostile-bin/cargo"
ln -s /usr/bin/false "$WORK/hostile-bin/rustup"
ln -s /usr/bin/false "$WORK/hostile-bin/xcodebuild"
cat >"$WORK/hostile-cargo-home/config.toml" <<'EOF'
[build]
rustc-wrapper = "/usr/bin/false"
EOF
cat >"$WORK/hostile-home/.cargo/config.toml" <<'EOF'
[build]
rustc = "/usr/bin/false"
EOF
(
umask 077
env \
AR=/usr/bin/false \
CARGO_BUILD_RUSTC=/usr/bin/false \
CARGO_BUILD_RUSTC_WRAPPER=/usr/bin/false \
CARGO_ENCODED_RUSTFLAGS=--cfghostile \
CARGO_HOME="$WORK/hostile-cargo-home" \
CARGO_TARGET_AARCH64_APPLE_DARWIN_LINKER=/usr/bin/false \
CC=/usr/bin/false \
DEVELOPER_DIR="$WORK/hostile-xcode" \
HOME="$WORK/hostile-home" \
PATH="$WORK/hostile-bin:/usr/bin:/bin" \
RUSTC=/usr/bin/false \
RUSTC_WRAPPER=/usr/bin/false \
RUSTFLAGS=--cfg=hostile \
RUSTUP_HOME="$WORK/hostile-rustup-home" \
RUSTUP_TOOLCHAIN=bogus \
"$BUILDER" \
--output "$WORK/parent-alias/two" \
--target-dir "$WORK/parents/target-two"
)
framework_one="$WORK/one/VerseVDICore.xcframework"
framework_two="$WORK/physical-parent/two/VerseVDICore.xcframework"
library_one=$(find "$framework_one" -type f -name libversevdi_core.a -print)
library_two=$(find "$framework_two" -type f -name libversevdi_core.a -print)
test "$(printf '%s\n' "$library_one" | grep -c .)" -eq 1
test "$(printf '%s\n' "$library_two" | grep -c .)" -eq 1
platform=$(/usr/libexec/PlistBuddy -c 'Print :AvailableLibraries:0:SupportedPlatform' "$framework_one/Info.plist")
architecture=$(/usr/libexec/PlistBuddy -c 'Print :AvailableLibraries:0:SupportedArchitectures:0' "$framework_one/Info.plist")
available_libraries=$(/usr/libexec/PlistBuddy -c 'Print :AvailableLibraries' "$framework_one/Info.plist")
test "$platform" = macos
test "$architecture" = arm64
test "$(printf '%s\n' "$available_libraries" | grep -c 'Dict {')" -eq 1
library_archs=$(xcrun lipo -archs "$library_one")
library_identity=$(file "$library_one")
test "$library_archs" = arm64
printf '%s\n' "$library_identity" | grep -F 'current ar archive' >/dev/null
consumer="$WORK/consumer"
link_consumer() {
output=$1
library=$2
xcrun clang \
-arch arm64 \
-mmacosx-version-min=14.0 \
-std=c11 \
-Wall -Wextra -Werror -Wpedantic \
-fmodules \
-fmodules-cache-path="$WORK/module-cache" \
-I"$(dirname "$library_one")/Headers" \
"$ROOT/core/tests/ffi/abi_smoke.c" \
-Wl,-force_load,"$library" \
-framework Security \
-framework SystemConfiguration \
-framework CoreFoundation \
-lresolv \
-o "$output"
}
link_consumer "$consumer" "$library_one"
consumer_archs=$(xcrun lipo -archs "$consumer")
consumer_identity=$(file "$consumer")
test "$consumer_archs" = arm64
printf '%s\n' "$consumer_identity" | grep -F 'Mach-O 64-bit executable arm64' >/dev/null
symbols=$(xcrun nm -gjU "$consumer")
actual_exports=$(printf '%s\n' "$symbols" | grep '^_verse_core_' | LC_ALL=C sort -u)
test "$actual_exports" = "$EXPECTED_EXPORTS"
cat >"$WORK/unexpected.c" <<'EOF'
void verse_core_unexpected_v1(void) {}
EOF
xcrun clang -arch arm64 -mmacosx-version-min=14.0 -c "$WORK/unexpected.c" -o "$WORK/unexpected.o"
cp "$library_one" "$WORK/libunexpected.a"
ZERO_AR_DATE=1 xcrun ar -r "$WORK/libunexpected.a" "$WORK/unexpected.o"
link_consumer "$WORK/unexpected-consumer" "$WORK/libunexpected.a"
unexpected_symbols=$(xcrun nm -gjU "$WORK/unexpected-consumer")
if test "$(printf '%s\n' "$unexpected_symbols" | grep '^_verse_core_' | LC_ALL=C sort -u)" = "$EXPECTED_EXPORTS"; then
echo "force-loaded export inspection missed an unreferenced ABI symbol" >&2
exit 1
fi
dependencies=$(xcrun otool -L "$consumer")
unexpected_dependencies=$(printf '%s\n' "$dependencies" | tail -n +2 | awk '{print $1}' | grep -Ev '^(/usr/lib/(libSystem\.B|libresolv\.9)\.dylib|/System/Library/Frameworks/(CoreFoundation|Security|SystemConfiguration)\.framework/Versions/A/[^/]+)$' || true)
test -z "$unexpected_dependencies"
"$consumer"
i=0
pids=
while test "$i" -lt 32; do
"$consumer" &
pids="$pids $!"
i=$((i + 1))
done
for pid in $pids; do
wait "$pid"
done
canonical_tree() {
(
cd "$1"
find . -print >"$WORK/tree.entries"
LC_ALL=C sort "$WORK/tree.entries" >"$WORK/tree.sorted"
while IFS= read -r path; do
metadata=$(stat -f '%HT|%Sp' "$path")
case "$metadata" in
'Regular File|'*) digest=$(sha256_file "$path") ;;
'Symbolic Link|'*) digest=$(readlink "$path") ;;
*) digest=- ;;
esac
printf '%s|%s|%s\n' "$metadata" "$digest" "$path"
done <"$WORK/tree.sorted"
)
}
sha256_file() {
checksum=$(shasum -a 256 "$1")
set -- $checksum
printf '%s\n' "$1"
}
canonical_tree "$framework_one" >"$WORK/one.tree"
canonical_tree "$framework_two" >"$WORK/two.tree"
cmp "$WORK/one.tree" "$WORK/two.tree"
canonical_tree "$WORK/one" >"$WORK/one.output-tree"
canonical_tree "$WORK/physical-parent/two" >"$WORK/two.output-tree"
cmp "$WORK/one.output-tree" "$WORK/two.output-tree"
for directory in \
"$WORK/one" \
"$WORK/target-one" \
"$framework_one" \
"$WORK/physical-parent/two" \
"$WORK/parents/target-two" \
"$framework_two"; do
test "$(stat -f '%Sp' "$directory")" = drwxr-xr-x
done
test "$(sha256_file "$library_one")" = "$(sha256_file "$library_two")"
source_epoch=$(git -C "$ROOT" show -s --format=%ct HEAD)
find "$WORK/one" "$WORK/physical-parent/two" -exec stat -f '%m' {} \; >"$WORK/mtimes"
while IFS= read -r epoch; do
test "$epoch" = "$source_epoch"
done <"$WORK/mtimes"
expected_rustc='rustc 1.97.1 (8bab26f4f 2026-07-14)'
expected_cargo='cargo 1.97.1 (c980f4866 2026-06-30)'
expected_xcode='Xcode 26.6
Build version 17F113'
grep -Fx "rustc=$expected_rustc" "$WORK/one/build-environment.txt" >/dev/null
grep -Fx "cargo=$expected_cargo" "$WORK/one/build-environment.txt" >/dev/null
test "$(sed -n 's/^xcode=//p; /^Build version /p' "$WORK/one/build-environment.txt")" = "$expected_xcode"
cmp "$WORK/one/build-environment.txt" "$WORK/physical-parent/two/build-environment.txt"
strings "$library_one" >"$WORK/library.strings"
if grep -F "$ROOT" "$WORK/library.strings" >/dev/null; then
echo "repository path leaked into static archive" >&2
exit 1
fi
if grep -F "$WORK/target-one" "$WORK/library.strings" >/dev/null; then
echo "target directory path leaked into static archive" >&2
exit 1
fi
archive_members=$(xcrun ar -tv "$library_one")
printf '%s\n' "$archive_members" | awk '$7 != "1970" { exit 1 }'
printf 'framework_sha256=%s\n' "$(sha256_file "$WORK/one.tree")"
printf 'library_sha256=%s\n' "$(sha256_file "$library_one")"
+103
View File
@@ -134,6 +134,27 @@ fn strict_rc5_dtos_reject_duplicate_trailing_unknown_and_provider_fields() {
assert!(TunnelAdmissionRequest::decode(admission_provider.as_bytes()).is_err());
}
#[test]
fn manifest_public_identity_requires_dns_sni_not_ip_or_uuid() {
for invalid_identity in ["127.0.0.1", "::1", "550e8400-e29b-41d4-a716-446655440000"] {
let manifest = String::from_utf8(valid_manifest().to_vec())
.expect("fixture is UTF-8")
.replace("gateway.test\"}", &format!("{invalid_identity}\"}}"));
assert!(
ConnectionManifest::decode(manifest.as_bytes()).is_err(),
"non-DNS SNI accepted: {invalid_identity}"
);
}
let identity_equals_dns_shaped_gateway_id = String::from_utf8(valid_manifest().to_vec())
.expect("fixture is UTF-8")
.replace("\"id\":\"gateway\"", "\"id\":\"gateway.test\"");
assert!(
ConnectionManifest::decode(identity_equals_dns_shaped_gateway_id.as_bytes()).is_err(),
"public SNI identity matched the logical gateway id"
);
}
#[test]
fn rc5_manifest_credential_and_authority_enforce_bounds_and_bindings() {
let manifest = ConnectionManifest::decode(valid_manifest()).expect("valid manifest");
@@ -164,6 +185,70 @@ fn rc5_manifest_credential_and_authority_enforce_bounds_and_bindings() {
let provider_authority = br#"{"version":"1","session_id":"session","gateway_id":"gateway","audience":"audience","reconnect_sequence":0,"expires_at":"2098-01-01T00:00:00Z","capabilities":{"transport":"quic-tls13","framing":"datagram-v2","media":"encoded","audio":"encoded","source_rate_control":"server","client_decode":["h264-opus"]},"provider_profile":"apollo"}"#;
assert!(ClientSessionAuthority::decode(provider_authority).is_err());
let provider_route = br#"{"version":"1","session_id":"session","gateway_id":"gateway","audience":"audience","reconnect_sequence":0,"expires_at":"2098-01-01T00:00:00Z","capabilities":{"transport":"quic-tls13","framing":"datagram-v2","media":"encoded","audio":"encoded","source_rate_control":"server","client_decode":["h264-opus"]},"stream_host":"provider.invalid"}"#;
assert!(ClientSessionAuthority::decode(provider_route).is_err());
}
#[test]
fn client_authority_directly_rejects_every_manifest_binding_mismatch() {
let manifest = ConnectionManifest::decode(valid_manifest()).expect("valid manifest");
let offered = CapabilityProfile::new(
"quic-tls13",
"datagram-v2",
"encoded",
"encoded",
"server",
vec!["h264-opus".to_owned()],
)
.expect("offered capabilities");
let valid = serde_json::json!({
"version": "1",
"session_id": "session",
"gateway_id": "gateway",
"audience": "audience",
"reconnect_sequence": 0,
"expires_at": "2098-01-01T00:00:00Z",
"capabilities": {
"transport": "quic-tls13",
"framing": "datagram-v2",
"media": "encoded",
"audio": "encoded",
"source_rate_control": "server",
"client_decode": ["h264-opus"],
},
});
for case in [
"session",
"gateway",
"audience",
"reconnect",
"expired",
"beyond-grant",
"capability",
] {
let mut value = valid.clone();
match case {
"session" => value["session_id"] = "other".into(),
"gateway" => value["gateway_id"] = "other".into(),
"audience" => value["audience"] = "other".into(),
"reconnect" => value["reconnect_sequence"] = 1.into(),
"expired" => value["expires_at"] = "2026-08-12T00:00:00Z".into(),
"beyond-grant" => value["expires_at"] = "2100-01-01T00:00:00Z".into(),
"capability" => {
value["capabilities"]["client_decode"] =
serde_json::json!(["h264-opus", "hevc-opus"]);
}
_ => unreachable!(),
}
let authority =
ClientSessionAuthority::decode(&serde_json::to_vec(&value).expect("encode authority"))
.expect("structurally valid authority");
assert_eq!(
authority.validate_binding(&manifest, &offered, "2026-08-12T00:00:00Z"),
Err(versevdi_core::error::CoreError::AuthorityRejected),
"binding mismatch accepted: {case}"
);
}
}
#[test]
@@ -448,6 +533,16 @@ fn reassembly_discards_conflicts_and_expires_after_250_ms() {
assert_eq!(reassembler.expired_units(), 1);
}
#[test]
fn reassembly_expires_at_exactly_250_ms() {
let mut reassembler = Reassembler::new();
let expiring = MediaFragment::new_video(2, 1, 0, 2, vec![1]).expect("fragment");
reassembler.push(expiring, 10).expect("first");
let next = MediaFragment::new_video(3, 1, 0, 2, vec![1]).expect("fragment");
reassembler.push(next, 260).expect("expiry sweep");
assert_eq!(reassembler.expired_units(), 1);
}
#[test]
fn reassembly_rejects_a_complete_unit_above_one_mebibyte() {
let mut reassembler = Reassembler::new();
@@ -480,6 +575,14 @@ fn input_features_and_feedback_booleans_fail_closed() {
);
}
#[test]
fn disconnected_gateway_feedback_is_provider_free_control() {
assert_eq!(
decode_feedback(&decode_hex("5647463101130000")).expect("disconnected feedback"),
FeedbackEvent::Disconnected
);
}
#[test]
fn fec_feedback_enforces_rc5_go_field_invariants_on_decode_and_encode() {
for invalid in [
+290 -1
View File
@@ -14,6 +14,7 @@ import (
"encoding/hex"
"encoding/json"
"errors"
"fmt"
"io"
"math/big"
"net"
@@ -476,6 +477,293 @@ func TestAdmissionQUICMTLSRelayAndCleanup(t *testing.T) {
}
}
func TestStableErrorFramePrecedesConnectionTeardown(t *testing.T) {
for _, retryable := range []bool{false, true} {
t.Run(fmt.Sprintf("retryable=%t", retryable), func(t *testing.T) {
serverTLS, clientTLS := testTLS(t)
clientTLS.NextProtos = []string{"versevdi-gateway-v1"}
fake := NewFakeApollo(FakeApolloConfig{Now: time.Now()})
authority := protocol.SessionAuthority{
Version: "1", SessionID: "session-1", GatewayID: "gateway-1", Audience: "versevdi-gateway",
ExpiresAt: time.Now().Add(time.Minute).UTC().Format(time.RFC3339Nano), Capabilities: DefaultCapabilities(),
ProviderProfile: ProviderProfileApollo, ProviderIdentity: fake.config.Identity.Key(),
}
server, err := NewServer(ServerConfig{ListenAddress: "127.0.0.1:0", TLSConfig: serverTLS, GatewayID: authority.GatewayID, Admission: &oneTimeAdmission{authority: authority, released: make(chan struct{})}, Provider: fake})
if err != nil {
t.Fatal(err)
}
if retryable {
server.BeginDrain()
}
ctx, cancel := context.WithCancel(context.Background())
defer cancel()
go func() { _ = server.Serve(ctx) }()
connection, err := quic.DialAddr(context.Background(), server.Addr().String(), clientTLS, &quic.Config{EnableDatagrams: true})
if err != nil {
t.Fatal(err)
}
stream, err := connection.OpenStreamSync(context.Background())
if err != nil {
t.Fatal(err)
}
gatewayID := authority.GatewayID
if !retryable {
gatewayID = "wrong-gateway"
}
request := protocol.TunnelAdmissionRequest{Version: "1", SessionID: authority.SessionID, GatewayID: gatewayID, Audience: authority.Audience, Grant: strings.Repeat("g", 64), ClientNonce: "nonce-0000000001", DeviceSignature: strings.Repeat("s", 86), Capabilities: DefaultCapabilities()}
payload, err := protocol.EncodeTunnelAdmissionRequest(request)
if err != nil {
t.Fatal(err)
}
if err := writeWire(stream, payload, defaultHelloLimit); err != nil {
t.Fatal(err)
}
response, err := readWire(stream, defaultHelloLimit)
if err != nil {
t.Fatalf("stable response lost before connection teardown: %v", err)
}
stable, err := protocol.DecodeStableError(response)
if err != nil || stable.Retryable != retryable {
t.Fatalf("stable response = %#v, %v", stable, err)
}
select {
case <-connection.Context().Done():
case <-time.After(2 * time.Second):
t.Fatal("server retained rejected connection")
}
_ = server.Close()
})
}
}
func TestStableErrorDrainOutlivesExpiredHandlerContext(t *testing.T) {
serverTLS, clientTLS := testTLS(t)
clientTLS.NextProtos = []string{"versevdi-gateway-v1"}
fake := NewFakeApollo(FakeApolloConfig{Now: time.Now()})
authority := protocol.SessionAuthority{Version: "1", SessionID: "session-1", GatewayID: "gateway-1", Audience: "versevdi-gateway", ExpiresAt: time.Now().Add(time.Minute).UTC().Format(time.RFC3339Nano), Capabilities: DefaultCapabilities(), ProviderProfile: ProviderProfileApollo, ProviderIdentity: fake.config.Identity.Key()}
admission := AdmissionFunc(func(ctx context.Context, _ protocol.TunnelAdmissionRequest) (protocol.SessionAuthority, error) {
<-ctx.Done()
return protocol.SessionAuthority{}, ctx.Err()
})
server, err := NewServer(ServerConfig{ListenAddress: "127.0.0.1:0", TLSConfig: serverTLS, GatewayID: authority.GatewayID, Admission: admission, Provider: fake})
if err != nil {
t.Fatal(err)
}
server.helloTimeout = 20 * time.Millisecond
ctx, cancel := context.WithCancel(context.Background())
go func() { _ = server.Serve(ctx) }()
connection, err := quic.DialAddr(context.Background(), server.Addr().String(), clientTLS, &quic.Config{EnableDatagrams: true})
if err != nil {
t.Fatal(err)
}
stream, err := connection.OpenStreamSync(context.Background())
if err != nil {
t.Fatal(err)
}
request := protocol.TunnelAdmissionRequest{Version: "1", SessionID: authority.SessionID, GatewayID: authority.GatewayID, Audience: authority.Audience, Grant: strings.Repeat("g", 64), ClientNonce: "nonce-0000000001", DeviceSignature: strings.Repeat("s", 86), Capabilities: DefaultCapabilities()}
payload, err := protocol.EncodeTunnelAdmissionRequest(request)
if err != nil {
t.Fatal(err)
}
if err := writeWire(stream, payload, defaultHelloLimit); err != nil {
t.Fatal(err)
}
response, err := readWire(stream, defaultHelloLimit)
if err != nil {
t.Fatalf("stable response lost with expired handler context: %v", err)
}
if stable, err := protocol.DecodeStableError(response); err != nil || stable.Code != "admission_rejected" {
t.Fatalf("stable response = %#v, %v", stable, err)
}
_ = connection.CloseWithError(applicationError, "done")
cancel()
_ = server.Close()
}
func TestServerCloseInterruptsPartialHelloClient(t *testing.T) {
serverTLS, clientTLS := testTLS(t)
clientTLS.NextProtos = []string{"versevdi-gateway-v1"}
fake := NewFakeApollo(FakeApolloConfig{Now: time.Now()})
authority := protocol.SessionAuthority{Version: "1", SessionID: "session-1", GatewayID: "gateway-1", Audience: "versevdi-gateway", ExpiresAt: time.Now().Add(time.Minute).UTC().Format(time.RFC3339Nano), Capabilities: DefaultCapabilities(), ProviderProfile: ProviderProfileApollo, ProviderIdentity: fake.config.Identity.Key()}
server, err := NewServer(ServerConfig{ListenAddress: "127.0.0.1:0", TLSConfig: serverTLS, GatewayID: authority.GatewayID, Admission: &oneTimeAdmission{authority: authority, released: make(chan struct{})}, Provider: fake})
if err != nil {
t.Fatal(err)
}
ctx, cancel := context.WithCancel(context.Background())
serveDone := make(chan error, 1)
go func() { serveDone <- server.Serve(ctx) }()
connection, err := quic.DialAddr(context.Background(), server.Addr().String(), clientTLS, &quic.Config{EnableDatagrams: true})
if err != nil {
t.Fatal(err)
}
stream, err := connection.OpenStreamSync(context.Background())
if err != nil {
t.Fatal(err)
}
if _, err := stream.Write([]byte{0, 0}); err != nil {
t.Fatal(err)
}
closed := make(chan error, 1)
go func() { closed <- server.Close() }()
select {
case err := <-closed:
if err != nil {
t.Fatal(err)
}
case <-time.After(time.Second):
t.Fatal("Server.Close blocked on partial hello")
}
select {
case <-connection.Context().Done():
case <-time.After(time.Second):
t.Fatal("partial hello connection remained open")
}
cancel()
if err := <-serveDone; err != nil {
t.Fatal(err)
}
}
func TestHelloUsesOneAbsoluteDeadlineAgainstTrickle(t *testing.T) {
serverTLS, clientTLS := testTLS(t)
clientTLS.NextProtos = []string{"versevdi-gateway-v1"}
fake := NewFakeApollo(FakeApolloConfig{Now: time.Now()})
authority := protocol.SessionAuthority{Version: "1", SessionID: "session-1", GatewayID: "gateway-1", Audience: "versevdi-gateway", ExpiresAt: time.Now().Add(time.Minute).UTC().Format(time.RFC3339Nano), Capabilities: DefaultCapabilities(), ProviderProfile: ProviderProfileApollo, ProviderIdentity: fake.config.Identity.Key()}
server, err := NewServer(ServerConfig{ListenAddress: "127.0.0.1:0", TLSConfig: serverTLS, GatewayID: authority.GatewayID, Admission: &oneTimeAdmission{authority: authority, released: make(chan struct{})}, Provider: fake})
if err != nil {
t.Fatal(err)
}
server.helloTimeout = 40 * time.Millisecond
ctx, cancel := context.WithCancel(context.Background())
defer cancel()
go func() { _ = server.Serve(ctx) }()
connection, err := quic.DialAddr(context.Background(), server.Addr().String(), clientTLS, &quic.Config{EnableDatagrams: true})
if err != nil {
t.Fatal(err)
}
stream, err := connection.OpenStreamSync(context.Background())
if err != nil {
t.Fatal(err)
}
if _, err := stream.Write([]byte{0}); err != nil {
t.Fatal(err)
}
started := time.Now()
time.Sleep(25 * time.Millisecond)
_, _ = stream.Write([]byte{0})
response, err := readWire(stream, defaultHelloLimit)
if err != nil {
t.Fatalf("absolute hello deadline did not produce a stable error: %v", err)
}
stable, err := protocol.DecodeStableError(response)
if err != nil || stable.Code != "invalid_hello" {
t.Fatalf("stable response = %#v, %v", stable, err)
}
if time.Since(started) > 250*time.Millisecond {
t.Fatal("trickling hello reset or escaped its absolute deadline")
}
_ = connection.CloseWithError(applicationError, "done")
_ = server.Close()
}
func TestHelloDeadlineIsClearedAfterAdmission(t *testing.T) {
serverTLS, clientTLS := testTLS(t)
fake := NewFakeApollo(FakeApolloConfig{Now: time.Now()})
authority := protocol.SessionAuthority{Version: "1", SessionID: "session-1", GatewayID: "gateway-1", Audience: "versevdi-gateway", ExpiresAt: time.Now().Add(time.Minute).UTC().Format(time.RFC3339Nano), Capabilities: DefaultCapabilities(), ProviderProfile: ProviderProfileApollo, ProviderIdentity: fake.config.Identity.Key()}
admission := &oneTimeAdmission{authority: authority, released: make(chan struct{}), disableClipboard: true}
server, err := NewServer(ServerConfig{ListenAddress: "127.0.0.1:0", TLSConfig: serverTLS, GatewayID: authority.GatewayID, Admission: admission, Provider: fake})
if err != nil {
t.Fatal(err)
}
server.helloTimeout = 40 * time.Millisecond
ctx, cancel := context.WithCancel(context.Background())
defer cancel()
go func() { _ = server.Serve(ctx) }()
request := protocol.TunnelAdmissionRequest{Version: "1", SessionID: authority.SessionID, GatewayID: authority.GatewayID, Audience: authority.Audience, Grant: strings.Repeat("g", 64), ClientNonce: "nonce-0000000001", DeviceSignature: strings.Repeat("s", 86), Capabilities: DefaultCapabilities()}
client, err := Dial(context.Background(), server.Addr().String(), clientTLS, request)
if err != nil {
t.Fatal(err)
}
time.Sleep(80 * time.Millisecond)
select {
case <-client.connection.Context().Done():
t.Fatal("hello deadline leaked into the admitted session")
default:
}
_ = client.Close()
_ = server.Close()
}
func TestStableErrorNeverLeaksInternalProviderDetails(t *testing.T) {
var wire bytes.Buffer
if err := writeStableError(&wire, "provider_unavailable", errors.New("https://provider.invalid/launch?rikey=secret-sentinel"), true); err != nil {
t.Fatal(err)
}
response, err := readWire(&wire, defaultHelloLimit)
if err != nil {
t.Fatal(err)
}
stable, err := protocol.DecodeStableError(response)
if err != nil {
t.Fatal(err)
}
if strings.Contains(stable.Message, "provider.invalid") || strings.Contains(stable.Message, "secret-sentinel") {
t.Fatalf("stable error leaked internal details: %q", stable.Message)
}
}
func TestPostAdmissionProviderFailureIsTerminalEvenWhenReleaseFails(t *testing.T) {
serverTLS, clientTLS := testTLS(t)
clientTLS.NextProtos = []string{"versevdi-gateway-v1"}
fake := NewFakeApollo(FakeApolloConfig{Now: time.Now()})
authority := protocol.SessionAuthority{Version: "1", SessionID: "session-1", GatewayID: "gateway-1", Audience: "versevdi-gateway", ExpiresAt: time.Now().Add(time.Minute).UTC().Format(time.RFC3339Nano), Capabilities: DefaultCapabilities(), ProviderProfile: ProviderProfileApollo, ProviderIdentity: fake.config.Identity.Key()}
admission := &oneTimeAdmission{authority: authority, released: make(chan struct{}), disableClipboard: true, releaseErr: errors.New("release failed")}
provider := providerStartFunc(func(context.Context, LaunchRequest) (ProviderSession, error) {
return nil, context.DeadlineExceeded
})
server, err := NewServer(ServerConfig{ListenAddress: "127.0.0.1:0", TLSConfig: serverTLS, GatewayID: authority.GatewayID, Admission: admission, Provider: provider})
if err != nil {
t.Fatal(err)
}
ctx, cancel := context.WithCancel(context.Background())
defer cancel()
go func() { _ = server.Serve(ctx) }()
connection, err := quic.DialAddr(context.Background(), server.Addr().String(), clientTLS, &quic.Config{EnableDatagrams: true})
if err != nil {
t.Fatal(err)
}
stream, err := connection.OpenStreamSync(context.Background())
if err != nil {
t.Fatal(err)
}
request := protocol.TunnelAdmissionRequest{Version: "1", SessionID: authority.SessionID, GatewayID: authority.GatewayID, Audience: authority.Audience, Grant: strings.Repeat("g", 64), ClientNonce: "nonce-0000000001", DeviceSignature: strings.Repeat("s", 86), Capabilities: DefaultCapabilities()}
payload, err := protocol.EncodeTunnelAdmissionRequest(request)
if err != nil {
t.Fatal(err)
}
if err := writeWire(stream, payload, defaultHelloLimit); err != nil {
t.Fatal(err)
}
response, err := readWire(stream, defaultHelloLimit)
if err != nil {
t.Fatal(err)
}
stable, err := protocol.DecodeStableError(response)
if err != nil || stable.Code != "provider_timeout" || stable.Retryable {
t.Fatalf("post-admission stable response = %#v, %v", stable, err)
}
select {
case <-admission.released:
case <-time.After(time.Second):
t.Fatal("post-admission failure did not attempt release")
}
if got := admission.releases.Load(); got != 1 {
t.Fatalf("release attempts = %d, want 1", got)
}
_ = connection.CloseWithError(applicationError, "done")
_ = server.Close()
}
func TestGatewayTelemetrySeparatesQueueProcessingAndPacing(t *testing.T) {
serverTLS, clientTLS := testTLS(t)
session := &fakeSession{
@@ -1590,6 +1878,7 @@ type oneTimeAdmission struct {
streamPolicy protocol.ProviderStreamPolicy
providerWork *protocol.ProviderSessionWork
disableClipboard bool
releaseErr error
}
type recordingProviderStateReporter struct {
@@ -1664,7 +1953,7 @@ func (a *oneTimeAdmission) Release(_ context.Context, authority protocol.Session
a.releaseAuthority = authority
close(a.released)
}
return nil
return a.releaseErr
}
func mustRead(t *testing.T, path string) []byte {
+101 -36
View File
@@ -21,6 +21,7 @@ import (
const (
defaultHelloLimit = 16 * 1024
defaultHelloTimeout = 10 * time.Second
defaultControlLimit = 128 * 1024
clientControlBacklog = 64
terminalAckTimeout = 2 * time.Second
@@ -88,16 +89,18 @@ type mediaTimingObservation struct {
}
type Server struct {
listener *quic.Listener
config ServerConfig
metrics *Metrics
pacer *fairPacer
mu sync.Mutex
sessions map[*gatewaySession]struct{}
draining atomic.Bool
closed atomic.Bool
closeOnce sync.Once
workers sync.WaitGroup
listener *quic.Listener
config ServerConfig
metrics *Metrics
pacer *fairPacer
mu sync.Mutex
sessions map[*gatewaySession]struct{}
connections map[*quic.Conn]struct{}
helloTimeout time.Duration
draining atomic.Bool
closed atomic.Bool
closeOnce sync.Once
workers sync.WaitGroup
}
func NewServer(config ServerConfig) (*Server, error) {
@@ -138,7 +141,7 @@ func NewServer(config ServerConfig) (*Server, error) {
if err != nil {
return nil, err
}
return &Server{listener: listener, config: config, metrics: &Metrics{}, pacer: newFairPacer(config.PacerKbps), sessions: make(map[*gatewaySession]struct{})}, nil
return &Server{listener: listener, config: config, metrics: &Metrics{}, pacer: newFairPacer(config.PacerKbps), sessions: make(map[*gatewaySession]struct{}), connections: make(map[*quic.Conn]struct{}), helloTimeout: defaultHelloTimeout}, nil
}
func validateServerTLS(config *tls.Config) error {
@@ -174,9 +177,22 @@ func (s *Server) Serve(ctx context.Context) error {
}
return err
}
s.mu.Lock()
if s.closed.Load() {
s.mu.Unlock()
_ = connection.CloseWithError(applicationError, "server closed")
continue
}
s.connections[connection] = struct{}{}
s.workers.Add(1)
s.mu.Unlock()
go func() {
defer s.workers.Done()
defer func() {
s.mu.Lock()
delete(s.connections, connection)
s.mu.Unlock()
}()
s.handleConnection(ctx, connection)
}()
}
@@ -186,13 +202,24 @@ func (s *Server) Close() error {
var err error
s.closeOnce.Do(func() {
s.BeginDrain()
s.closed.Store(true)
err = s.listener.Close()
s.mu.Lock()
s.closed.Store(true)
sessions := make([]*gatewaySession, 0, len(s.sessions))
for session := range s.sessions {
session.cancel()
sessions = append(sessions, session)
}
connections := make([]*quic.Conn, 0, len(s.connections))
for connection := range s.connections {
connections = append(connections, connection)
}
s.mu.Unlock()
err = s.listener.Close()
for _, session := range sessions {
session.cancel()
}
for _, connection := range connections {
_ = connection.CloseWithError(applicationError, "server closed")
}
})
s.workers.Wait()
return err
@@ -200,80 +227,98 @@ func (s *Server) Close() error {
func (s *Server) handleConnection(parent context.Context, connection *quic.Conn) {
defer connection.CloseWithError(applicationError, "connection closed")
ctx, cancel := context.WithTimeout(parent, 10*time.Second)
helloDeadline := time.Now().Add(s.helloTimeout)
ctx, cancel := context.WithDeadline(parent, helloDeadline)
defer cancel()
stream, err := connection.AcceptStream(ctx)
if err != nil {
return
}
if err := stream.SetDeadline(helloDeadline); err != nil {
return
}
writeError := func(code string, err error, retryable bool) {
responseDeadline := time.Now().Add(time.Second)
if stream.SetDeadline(responseDeadline) != nil {
return
}
if writeStableError(stream, code, err, retryable) == nil && stream.Close() == nil {
responseCtx, responseCancel := context.WithDeadline(context.Background(), responseDeadline)
defer responseCancel()
select {
case <-connection.Context().Done():
case <-responseCtx.Done():
}
}
}
requestBytes, err := readWire(stream, defaultHelloLimit)
if err != nil {
_ = writeStableError(stream, "invalid_hello", err, false)
writeError("invalid_hello", err, false)
return
}
request, err := protocol.DecodeTunnelAdmissionRequest(requestBytes)
if err != nil {
_ = writeStableError(stream, "invalid_hello", err, false)
writeError("invalid_hello", err, false)
return
}
if s.Draining() {
_ = writeStableError(stream, "gateway_draining", ErrGatewayDraining, true)
writeError("gateway_draining", ErrGatewayDraining, true)
return
}
if request.GatewayID != s.config.GatewayID {
_ = writeStableError(stream, "wrong_gateway", ErrAdmissionRejected, false)
writeError("wrong_gateway", ErrAdmissionRejected, false)
return
}
authority, err := s.config.Admission.Admit(ctx, request)
if err != nil {
s.metrics.AdmissionRejects.Add(1)
_ = writeStableError(stream, stableAdmissionCode(err), err, errors.Is(err, context.DeadlineExceeded))
writeError(stableAdmissionCode(err), err, false)
return
}
if s.Draining() {
_ = s.config.Admission.Release(context.Background(), authority)
_ = writeStableError(stream, "gateway_draining", ErrGatewayDraining, true)
writeError("gateway_draining", ErrGatewayDraining, false)
return
}
if err := s.validateAuthority(authority, request); err != nil {
_ = s.config.Admission.Release(context.Background(), authority)
_ = writeStableError(stream, "invalid_authority", err, false)
writeError("invalid_authority", err, false)
return
}
work, err := s.config.Admission.ProviderWork(ctx, authority)
if err != nil || s.validateProviderWork(work, authority) != nil {
_ = s.config.Admission.Release(context.Background(), authority)
_ = writeStableError(stream, "provider_work_unavailable", ErrAdmissionRejected, err != nil)
writeError("provider_work_unavailable", ErrAdmissionRejected, false)
return
}
selected, err := IntersectCapabilities(s.config.Capabilities, s.config.ProviderCapabilities, request.Capabilities, authority.Capabilities)
if err != nil {
_ = s.config.Admission.Release(context.Background(), authority)
s.metrics.AdmissionRejects.Add(1)
_ = writeStableError(stream, "no_capability_overlap", err, false)
writeError("no_capability_overlap", err, false)
return
}
selected, err = selectApolloPolicyCapabilities(work.StreamPolicy, selected)
if err != nil {
_ = s.config.Admission.Release(context.Background(), authority)
s.metrics.AdmissionRejects.Add(1)
_ = writeStableError(stream, "no_capability_overlap", err, false)
writeError("no_capability_overlap", err, false)
return
}
clipboard, err := newClipboardGate(work.ClipboardPolicy, time.Now)
if err != nil {
_ = s.config.Admission.Release(context.Background(), authority)
_ = writeStableError(stream, "provider_work_unavailable", ErrAdmissionRejected, false)
writeError("provider_work_unavailable", ErrAdmissionRejected, false)
return
}
if (work.ClipboardPolicy.ClientToProviderEnabled || work.ClipboardPolicy.ProviderToClientEnabled) && s.config.ClipboardAuditReporter == nil {
_ = s.config.Admission.Release(context.Background(), authority)
_ = writeStableError(stream, "clipboard_audit_unavailable", ErrAdmissionRejected, true)
writeError("clipboard_audit_unavailable", ErrAdmissionRejected, false)
return
}
if err := s.reportProviderState(ctx, protocol.ProviderState{Version: "1", SessionID: request.SessionID, State: ProviderStateStarting, CleanupPending: false, Channels: []string{"video", "audio", "input", "feedback"}}); err != nil {
_ = s.config.Admission.Release(context.Background(), authority)
_ = writeStableError(stream, "provider_state_unavailable", err, true)
writeError("provider_state_unavailable", err, false)
return
}
providerSession, err := s.config.Provider.Start(ctx, LaunchRequest{SessionID: request.SessionID, Capabilities: selected, ProviderProfile: authority.ProviderProfile, ProviderIdentity: work.ProviderIdentity, ProviderWork: work})
@@ -281,14 +326,14 @@ func (s *Server) handleConnection(parent context.Context, connection *quic.Conn)
s.metrics.ProviderErrors.Add(1)
_ = s.reportProviderState(context.Background(), protocol.ProviderState{Version: "1", SessionID: request.SessionID, State: ProviderStateFailed, CleanupPending: false, Channels: []string{"video", "audio", "input", "feedback"}})
_ = s.config.Admission.Release(context.Background(), authority)
_ = writeStableError(stream, stableProviderCode(err), err, errors.Is(err, context.DeadlineExceeded))
writeError(stableProviderCode(err), err, false)
return
}
if err := s.reportProviderState(ctx, providerSession.State()); err != nil {
_ = providerSession.ReleaseAll(context.Background())
_ = providerSession.Terminate(context.Background())
_ = s.config.Admission.Release(context.Background(), authority)
_ = writeStableError(stream, "provider_state_unavailable", err, true)
writeError("provider_state_unavailable", err, false)
return
}
clientAuthority := protocol.ClientSessionAuthority{
@@ -296,7 +341,7 @@ func (s *Server) handleConnection(parent context.Context, connection *quic.Conn)
ReconnectSequence: authority.ReconnectSequence, ExpiresAt: authority.ExpiresAt, Capabilities: selected,
}
authorityBytes, err := protocol.EncodeClientSessionAuthority(clientAuthority)
if err != nil || writeWire(stream, authorityBytes, defaultHelloLimit) != nil {
if err != nil || writeWire(stream, authorityBytes, defaultHelloLimit) != nil || stream.SetDeadline(time.Time{}) != nil {
_ = providerSession.ReleaseAll(context.Background())
_ = providerSession.Terminate(context.Background())
_ = s.config.Admission.Release(context.Background(), authority)
@@ -943,11 +988,8 @@ func (s *gatewaySession) cleanup() {
})
}
func writeStableError(writer io.Writer, code string, err error, retryable bool) error {
message := err.Error()
if len(message) > 256 {
message = message[:256]
}
func writeStableError(writer io.Writer, code string, _ error, retryable bool) error {
message := stableErrorMessage(code)
payload, encodeErr := protocol.EncodeStableError(protocol.StableError{Version: "1", Code: code, Message: message, Retryable: retryable})
if encodeErr != nil {
return encodeErr
@@ -955,6 +997,29 @@ func writeStableError(writer io.Writer, code string, err error, retryable bool)
return writeWire(writer, payload, defaultHelloLimit)
}
func stableErrorMessage(code string) string {
switch code {
case "invalid_hello":
return "invalid client hello"
case "gateway_draining":
return "gateway is draining"
case "wrong_gateway":
return "gateway does not match admission request"
case "admission_rejected", "expired_grant":
return "admission rejected"
case "invalid_authority":
return "invalid session authority"
case "no_capability_overlap":
return "no compatible capability"
case "clipboard_audit_unavailable":
return "clipboard audit unavailable"
case "provider_work_unavailable", "provider_identity_rejected", "provider_malformed", "provider_timeout", "provider_unavailable", "provider_state_unavailable":
return "provider unavailable"
default:
return "request failed"
}
}
func stableAdmissionCode(err error) string {
if errors.Is(err, ErrGatewayDraining) {
return "gateway_draining"