Skip to content

The pulseengine-wasm realm is in the file consumers download - #190

Merged
avrabe merged 1 commit into
mainfrom
feat/wasm-realm-definition
Sep 24, 2026
Merged

avrabe merged 1 commit into
mainfrom
feat/wasm-realm-definition

Conversation

@avrabe

@avrabe avrabe commented Sep 24, 2026

Copy link
Copy Markdown
Contributor

The pulseengine-wasm realm now has a published layer (2026.09.0, its
first), a trust root and a registry — and the canonical varve-realms.toml
did not mention it.

Every document tells a consumer to gh release download -p varve-realms.toml
instead of pasting a key. That file defined exactly one realm, so pinning the
wasm toolchain meant hand-writing realm definitions — the thing the file exists
to prevent.

It also blocks the composition. compose::walk_installed resolves an
include's realm to a root; a realm it cannot name is UnknownRealm. The
combination layer — one pin over both realms — is uninstallable by anyone whose
realms file knows only one of them.

The root is the one that verified

Not asserted from the repo that holds it. Layer 2026.09.0 was installed from
ghcr.io/pulseengine/wasm-layers as a consumer, against
f1300acb791d330da9b81951d4137f5b1fb0c5efc50213deee4d7a981be28745, and its
signature checked out:

installed layer 2026.09.0 (counter 1) sha256:4bae60c6…
cached baseline line-status #1 for line 2026.09

That is the only evidence worth having for a trust root.

Named for who vouches

pulseengine-wasm, not bytecodealliance: a realm name is a claim about who
vouches
, and the key is ours while the payloads are upstream's. The comment
also warns that three of its four payloads carry no proof of origin, with
the operator's reasons signed into the layer — someone choosing to pin this
realm should read them first.

Gate

shipped_realms.rs checks the file we hand out: it parses with the parser that
will read it, every realm resolves completely, every registry is an OCI
reference, every root is 64 hex characters. It deliberately does not check
that a root is the right one — only the realm holding the private half can
say that, and the proof is a layer verifying.

Negative-controlled: a truncated root, and a registry that is not an OCI
reference.

fmt · clippy -D warnings · 1035 tests, 0 failed · trace-gate OK.

🤖 Generated with Claude Code

https://claude.ai/code/session_019TNtfRjLNhEz82G2ggeeNu

@avrabe
avrabe enabled auto-merge (squash) September 24, 2026 11:12
@avrabe
avrabe force-pushed the feat/wasm-realm-definition branch from e7c63fc to 256081c Compare September 24, 2026 11:13
The realm has a published layer, a trust root and a registry, and the
canonical `varve-realms.toml` did not mention it. Every document tells a
consumer to `gh release download -p varve-realms.toml` rather than paste a
key — and that file defined exactly one realm, so pinning the wasm toolchain
meant hand-writing realm definitions, which is the thing the file exists to
prevent.

It also blocks the composition. `compose::walk_installed` resolves an
include's realm to a ROOT, and a realm it cannot name is `UnknownRealm`. A
layer composing both realms — the worked multi-realm example — cannot be
installed by anyone whose realms file knows only one of them.

The root is not asserted from the repository that holds it; it is the one that
VERIFIED. Layer 2026.09.0 was installed from ghcr.io as a consumer against
`f1300acb…` and its signature checked out. That is the only evidence worth
having for a trust root.

NAMED `pulseengine-wasm`, not `bytecodealliance`, and the comment says why: a
realm name is a claim about who vouches, and the key is ours while the
payloads are upstream's. The comment also warns that three of its four
payloads carry no proof of origin, with their reasons signed into the layer —
because a consumer choosing to pin this realm should read them first.

`shipped_realms.rs` gates the file we hand out: it parses with the parser that
will read it, every realm resolves completely, every registry is an OCI
reference, and every root is 64 hex characters. What it deliberately does NOT
check is whether a root is the RIGHT one — only the realm holding the private
half can say that, and the proof is a layer verifying.

Negative-controlled: a truncated root and a registry that is not an OCI
reference both fail it.

Co-Authored-By: Claude Opus 5 <noreply@anthropic.com>
Claude-Session: https://claude.ai/code/session_019TNtfRjLNhEz82G2ggeeNu
@avrabe
avrabe force-pushed the feat/wasm-realm-definition branch from 256081c to 2a53a57 Compare September 24, 2026 15:29
@avrabe
avrabe merged commit 5406c9e into main Sep 24, 2026
26 checks passed
@avrabe
avrabe deleted the feat/wasm-realm-definition branch September 24, 2026 16:10
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant