apunkt/nyx
1
0
Fork 0
mirror of https://github.com/elicpeter/nyx.git synced 2026-07-03 20:41:00 +02:00
Code Issues Projects Releases Packages Wiki Activity

[pitboss] sweep after phase 11: 2 deferred items resolved

Browse source
This commit is contained in:
pitboss 2026-05-18 10:17:32 -05:00
parent d91351a6b1
commit 7509cfe6fd
12 changed files with 412 additions and 3 deletions
Download patch file Download diff file Expand all files Collapse all files

11
tests/dynamic_verify_e2e.rs
View file

@ -174,9 +174,14 @@ mod verify_e2e {
/// every successfully-derived spec records a `framework_adapter_none`
/// event whose `detail` carries `lang=<Lang> entry=<entry_name>`.
///
/// We drive `verify_finding` through the `NoPayloadsForCap` short-circuit
/// (CRYPTO has no curated payload corpus) so the trace is recorded
/// without needing a working toolchain or sandbox backend.
/// We drive `verify_finding` with a `Cap::CRYPTO` diagnostic so the
/// trace records the `framework_adapter_none` event during spec
/// derivation. The assertion holds regardless of how `run_spec`
/// resolves downstream (Phase 11 / Track J.9 added a `CRYPTO` payload
/// corpus, so the verifier no longer short-circuits via
/// `NoPayloadsForCap`; it now reaches `BuildFailed` while no
/// real-engine `Cap::CRYPTO` harness emitter exists, but the
/// adapter-none event fires before either branch returns).
#[test]
fn verify_finding_emits_framework_adapter_none_for_empty_registry() {
use nyx_scanner::dynamic::trace::{TraceStage, VerifyTrace};