runtime: sync() — synchronous view of WIT-sync exports (A25); getter/setter pre-ruling (CM#701) - #256
Merged
Merged
Conversation
…ter/setter pre-ruling (CM#701, #254) Amendment A25 (contracts/embedder-api.md §"Functions and async"): some host contexts cannot use a Promise however promptly it resolves (an event handler deciding preventDefault before it returns, a sort comparator, a JS accessor). sync() — exported from @polyengine/runtime/embedder, application-tier per A22 — adapts a WIT-sync export to a synchronous call: brand-dispatched views over export functions, guest-resource instances/classes, and exports records, riding a plain-entered SYNC_ENTRY generalized from the constructor-only CONSTRUCTOR_SYNC_ENTRY. Failure ladder per A25: pre-enter refusals and NeedsJspi stay non-poisoning; new SyncEntryBusy refuses sync entry during a jspi hop window (also closing the constructor sync entry's latent bypass of the hop-quiescence gate); a genuinely-parking guest fails as the trap it is. Pre-ruling for CM getters/setters (WebAssembly/component-model#701, tracked in #254): export side will emit real JS accessors, sync-required both directions via A25; import side dispatches as property get/assign on the A2 receiver. Until the toolchain catches up, parseLeafName refuses unknown bracket forms instead of misbinding them as plain names (also fixes [method][get]r.p parsing as a method of resource '[get]r').
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
2 participants
Add this suggestion to a batch that can be applied as a single commit.This suggestion is invalid because no changes were made to the code.Suggestions cannot be applied while the pull request is closed.Suggestions cannot be applied while viewing a subset of changes.Only one suggestion per line can be applied in a batch.Add this suggestion to a batch that can be applied as a single commit.Applying suggestions on deleted lines is not supported.You must change the existing code in this line in order to create a valid suggestion.Outdated suggestions cannot be applied.This suggestion has been applied or marked resolved.Suggestions cannot be applied from pending reviews.Suggestions cannot be applied on multi-line comments.Suggestions cannot be applied while the pull request is queued to merge.Suggestion cannot be applied right now. Please check back later.
What
Amendment A25:
sync(), the explicit synchronous view of a WIT-sync export — motivated by host contexts where a Promise is useless no matter how promptly it resolves (decidingpreventDefault()before an event handler returns, sort comparators,Proxytraps, JS accessors: even a resolved Promise defers observation by a microtask).Getters/setters pre-ruling (upstream WebAssembly/component-model#701, 📡-gated, approved): contract section pinning the JS shape — export-side real accessors, sync-required both directions via A25; import-side property get/assign on the A2 receiver — so implementation is mechanical once the toolchain (wit-parser → wasm-tools → wasmtime gate → our pinned bump) catches up. Dependency chain tracked in #254. Until then the runtime refuses unknown bracket forms loudly instead of misbinding them as plain names.
How
CONSTRUCTOR_SYNC_ENTRYgeneralized toSYNC_ENTRYon every sync-typed lifted export in jspi mode (plain mode already completes synchronously throughdriveSyncLift; the Promise was an embedder-layer wrapper). NewSyncEntryBusy(non-poisoning, pre-enter) refuses sync entry during a jspi hop window — which also closes the constructor sync entry's latent bypass of the hop-quiescence gate (lift-corruption window).sync()/Sync<F>from@polyengine/runtime/embedder(application-tier per A22 — deliberately not protocol vocabulary; brandpolyengine.syncCallable/1in the registry). Views over export functions, resource instances (receiver-bound methods), classes (statics), and exports records (recursive, memoized, lazy async refusal). Failure ladder per A25:result<T,E>throwsComponentExceptionsynchronously; parking guests fail loudly (NeedsJspi/SyncEntryBusy/ trap).parseLeafNamerefuses unknown bracket forms per the pre-ruling (found & fixed in passing:[method][get]r.ppreviously parsed as a method of a resource literally named[get]r).Sync<F>mappings over generated interfaces/classes (including the named-interface index-signature pitfall, fixed here).Conventions goldens untouched (sync() is runtime surface, not host-ABI — protocol package deliberately untouched); no breaking labels needed (additive runtime surface).
Gates
Full
just gatesgreen (build/test-rust, test-runtime 696/0, protocol, wasi, ct-runner, sockets-node, bundle, publish-check, examples, test-translate, conformance, sched-seeds 1/4242, shells, browsers incl. worker realms, smoke-tls, smoke-c0).Automerge armed per repo convention.