Skip to content
Merged
Show file tree
Hide file tree
Changes from all commits
Commits
File filter

Filter by extension

Filter by extension


Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
2 changes: 0 additions & 2 deletions .github/justfile
Original file line number Diff line number Diff line change
Expand Up @@ -62,8 +62,6 @@ core:
@just gha::_step test-translate
@just gha::_step conformance
@just gha::_step sched-seeds
@just gha::_step test-ports
@just gha::_step test-webrtc

# The post-merge browser job (ci.yml `browser`; gates the prerelease).
browser:
Expand Down
3 changes: 0 additions & 3 deletions AGENTS.md
Original file line number Diff line number Diff line change
Expand Up @@ -43,11 +43,8 @@ just publish-check # deno publish --dry-run: the JSR publish checks, no u
just examples test-translate # embedder examples; build-time translation CLI
just conformance # official CM suite, Deno lane
just sched-seeds # seeded-shuffle reruns: DELTIC_SCHED_SEED=1, =4242 (FIFO when unset)
just test-ports # ports/webcrypto + ports/websocket unit suites
just test-webrtc # ports/webrtc unit suite
just shells # pinned engine/runtime lanes: sm + node everywhere, jsc on x64, bun findings-only
just browsers # chromium + firefox lanes (`just browsers-install` once)
just websocket-conformance # their suite under this host (spawns their echod)
just smoke-tls # polymorph-tls suite (issue #18)
just smoke-c0 # C0 smoke legs
```
Expand Down
1 change: 0 additions & 1 deletion README.md
Original file line number Diff line number Diff line change
Expand Up @@ -44,7 +44,6 @@ Pre-1.0, but densely gated:
| `ct-runner/` | conformance-suite runner for the polymorph-test L1 contract |
| `harness/` + `tools/browser` | official-suite harness; Deno lane + Chromium/Firefox/WebKit lanes |
| `contracts/` | the versioned interface contracts (plan format, embedder API, intrinsics, digest) |
| `ports/` | polymorph host-module ports (reference implementations pending upstreaming; the consumer exams retired upstream — docs/consumers.md) |

## Quick start

Expand Down
7 changes: 3 additions & 4 deletions docs/consumers.md
Original file line number Diff line number Diff line change
Expand Up @@ -107,7 +107,8 @@ Node is **not a consumer requirement.** Deno functionally substitutes across
the whole consumer capability surface — verified empirically (2026-08-08,
Deno 2.9.5/linux-arm64, via the C0 capability probe; served and retired
2026-08-14, history: `git log -- tools/probes/webrtc-deno` — the living
WebRTC coverage is `just test-webrtc`, node-datachannel under Deno):
WebRTC-under-Deno coverage is the consumers' own deltic legs, e.g. the
webrtc driver-ct matrix under their upstreamed host module):

| Capability | Deno path | Status |
|---|---|---|
Expand All @@ -130,9 +131,7 @@ the in-repo references is

| Path | What | Gate |
|---|---|---|
| `ports/websocket` | `polymorph:websocket/connections` host module | their conformance suite 55/55 incl. TLS (`conformance/run.ts`); their deltic-deno + deltic-browser rows run the upstreamed copy |
| `ports/webcrypto` | `polymorph:webcrypto` host module (full surface — [#3](https://github.com/lann/deltic/issues/3) closed) | KATs vs their vectors + iroh exec-model integration |
| `ports/webrtc` | `polymorph:webrtc-datachannels/connections` host module | their echo-demo component over real data channels; their full driver-ct loopback matrix (solo+pair, 37/37) runs under the upstreamed copy ([polymorph-webrtc-datachannels#149](https://github.com/polymorph-components/polymorph-webrtc-datachannels/pull/149)) |
| `ports/{websocket,webcrypto,webrtc}` (retired) | the `polymorph:{websocket/connections,webcrypto,webrtc-datachannels/connections}` host modules | served and retired (2026-08-14): developed here as the reference implementations of the embedder conventions, upstreamed as the consumers' own host modules — websocket ([#40](https://github.com/polymorph-components/polymorph-websocket/pull/40)/[#41](https://github.com/polymorph-components/polymorph-websocket/pull/41)), webcrypto ([#352](https://github.com/polymorph-components/polymorph-webcrypto/pull/352)), webrtc ([#149](https://github.com/polymorph-components/polymorph-webrtc-datachannels/pull/149) — their driver-ct loopback matrix 37/37) — whose repos run their suites (incl. websocket's 55/55 conformance) under those copies as the living gates; the in-repo `test-ports`/`test-webrtc`/`websocket-conformance` recipes retired with the trees. History: `git log -- ports` |
| `exams/iroh-endpoint` (retired) | the endpoint exit exam | served and retired (2026-08-11, in-repo through 5/5 + IROH-1): upstreamed as their `host-deltic/` + `just exam-deltic` ([polymorph-iroh#36](https://github.com/polymorph-components/polymorph-iroh/pull/36), merged), after which the in-repo copy was re-testing deltic against a staling guest snapshot — the consumer's own deltic leg is the living exam; the runtime defects it caught are pinned in deltic's suites (R-1/R-2, entry-deferral). History: `git log -- exams/iroh-endpoint` |
| `ct-runner` | L3 runner for the polymorph-test L1 contract | golden-tested L4 JSONL; drives the websocket suite |
| `tools/smoke-c0` | C0 smoke legs + report | legs 1–4 (`REPORT.md`) |
Expand Down
19 changes: 1 addition & 18 deletions justfile
Original file line number Diff line number Diff line change
Expand Up @@ -16,7 +16,7 @@ ci: (gha::core) (gha::browser)
# Includes the consumer smokes CI cannot run (they need the polymorph
# checkouts; docs/consumers.md).
# The full pre-commit pass (AGENTS.md "Gates"): everything.
gates: build test-rust test-protocol test-runtime test-wasi-shims test-sockets-node test-ct-runner test-bundle publish-check examples test-translate conformance sched-seeds test-ports test-webrtc shells browsers websocket-conformance smoke-tls smoke-c0
gates: build test-rust test-protocol test-runtime test-wasi-shims test-sockets-node test-ct-runner test-bundle publish-check examples test-translate conformance sched-seeds shells browsers smoke-tls smoke-c0

# Fast sanity: builds + native tests + type-checks, no suites.
check: build test-rust
Expand Down Expand Up @@ -135,18 +135,6 @@ sched-seeds: shim fixtures corpus
cd runtime && DELTIC_SCHED_SEED=4242 deno task test
cd harness && DELTIC_SCHED_SEED=1 deno task conformance

# Consumer conformance legs are separate (`websocket-conformance` below).
# Ports unit suites.
test-ports:
cd ports/webcrypto && deno test --allow-read tests/
cd ports/websocket && deno task test

# node-datachannel is a Node-API addon with linux prebuilds for both x64
# and arm64.
# webrtc unit suite.
test-webrtc:
cd ports/webrtc && deno install --allow-scripts=npm:node-datachannel && deno test -A webrtc.test.ts

# ----- engine lanes -----------------------------------------------------------

# Pinned lanes (sm-pinned, jsc-pinned) are required gates — a deviation
Expand Down Expand Up @@ -217,11 +205,6 @@ smoke-tls: shim
smoke-c0: shim
cd tools/smoke-c0 && deno task leg1 && deno task leg2 && deno task leg3 && deno task leg4

# Spawns their echod; DENO_CERT rides the task definition.
# The consumer's REAL websocket conformance suite under this host.
websocket-conformance: shim
cd ports/websocket && deno task conformance

# The host-boundary microbench (bench/boundary/README.md): calls/sec per
# ABI shape for the CURRENT tree, on plain node (callback + jspi) and
# deno. Manual instrument, not a gate — numbers are box-relative; the
Expand Down
167 changes: 0 additions & 167 deletions ports/webcrypto/conformance/run.ts

This file was deleted.

13 changes: 0 additions & 13 deletions ports/webcrypto/deno.json

This file was deleted.

Loading
Loading