Skip to content

ci: block the zero-leak gate on router-field and wit-namespace scans#450

Open
mfw78 wants to merge 1 commit into
feat/m2-zero-leak-check-alignfrom
feat/m2-zero-leak-blocking
Open

ci: block the zero-leak gate on router-field and wit-namespace scans#450
mfw78 wants to merge 1 commit into
feat/m2-zero-leak-check-alignfrom
feat/m2-zero-leak-blocking

Conversation

@mfw78

@mfw78 mfw78 commented Jul 17, 2026

Copy link
Copy Markdown
Contributor

What

Flips the venue-agnostic CI check from advisory to blocking, extends scripts/check-venue-agnostic.sh with a privileged router-field scan and a foreign-WIT-namespace scan, and adds an echo-venue boot integration test as the oracle.

Why

A go/no-go gate before repos are cut: the host must boot the echo venue and route a submission through the generic extension seam with no venue/intent/cow crate, charter symbol, router field, or foreign WIT namespace anywhere in its graph.

Testing

  • just check-venue-agnostic
  • cargo test -p videre-host --test zero_leak

AI Assistance

Implemented with Claude Code.

Closes #385

Drop continue-on-error from the venue-agnostic job, add privileged-field
and host-WIT namespace scans to the zero-leak script, and pin the
invariant with two integration tests: the echo venue boots and routes a
worker's submission purely through the generic extension seam, and the
nexum-runtime crate graph names no venue-shaped crate. A missing wasm
fixture hard-fails the boot oracle under CI so the gate cannot skip
itself.
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