Adversarial fuzz session: an15-http-framing-v2-20260815

Validated adversarial-fuzz v2 evidence

Generated: 2026-08-15T04:55:57.399295Z

Source: adversarial-fuzz v2 contract

PASS

Summary

Validated v2 adversarial-fuzz evidence rendered through the sc-compose report contract. Session an15-http-framing-v2-20260815 contains one bounded panel per worker. This is executed product-seam evidence; each retained command log proves the named seam's bounded corpus.

Candidate outcome ledger: zero confirmed bugs is explicit evidence, not an implicit pass.

Candidate outcomeCount
confirmed bug0
non repro0
benign0
inconclusive0
Fuzz run descriptionIterationsPassResult
local-http-framing shape-probe product seam 100 100/100 PASS
local-http-framing template-probe product seam 100 100/100 PASS
local-http-framing boundary-probe product seam 100 100/100 PASS
local-http-framing differential-probe product seam 100 100/100 PASS

Adversarial fuzz worker

shape-probe

Session an15-http-framing-v2-20260815 · Worker shape-probe

PASS

Fuzz run descriptionIterationsPassResult
local-http-framing shape-probe product seam 100 100/100 PASS

Verified target invocation

SeamMechanismInvocationsEvidence
atm_http_runtime::axum_router::malformed_jsoncoverage100site/reports/fuzz/an15-http-framing-v2-20260815-v2/shape-probe.log

Inputs exercised

CaseTemplate / inputOutcome
malformed-jsoninvalid JSON is rejected before dispatchHTTP framing rejected malformed JSON

Negative diagnostic contracts

CaseExpectedObservedDiagnostic match
malformed-jsoninvalid JSON is rejected before dispatchHTTP framing rejected malformed JSONPASS

Adversarial fuzz worker

template-probe

Session an15-http-framing-v2-20260815 · Worker template-probe

PASS

Fuzz run descriptionIterationsPassResult
local-http-framing template-probe product seam 100 100/100 PASS

Verified target invocation

SeamMechanismInvocationsEvidence
atm_http_runtime::axum_router::content_typecoverage100site/reports/fuzz/an15-http-framing-v2-20260815-v2/template-probe.log

Inputs exercised

CaseTemplate / inputOutcome
non-json-contentunsupported content is rejected before dispatchHTTP framing rejected non-JSON content

Negative diagnostic contracts

CaseExpectedObservedDiagnostic match
non-json-contentunsupported content is rejected before dispatchHTTP framing rejected non-JSON contentPASS

Adversarial fuzz worker

boundary-probe

Session an15-http-framing-v2-20260815 · Worker boundary-probe

PASS

Fuzz run descriptionIterationsPassResult
local-http-framing boundary-probe product seam 100 100/100 PASS

Verified target invocation

SeamMechanismInvocationsEvidence
atm_http_runtime::axum_router::retired_provenancecoverage100site/reports/fuzz/an15-http-framing-v2-20260815-v2/boundary-probe.log

Inputs exercised

CaseTemplate / inputOutcome
retired-provenanceclient provenance claims are rejected before dispatchHTTP framing rejected retired provenance

Negative diagnostic contracts

CaseExpectedObservedDiagnostic match
retired-provenanceclient provenance claims are rejected before dispatchHTTP framing rejected retired provenancePASS

Adversarial fuzz worker

differential-probe

Session an15-http-framing-v2-20260815 · Worker differential-probe

PASS

Fuzz run descriptionIterationsPassResult
local-http-framing differential-probe product seam 100 100/100 PASS

Verified target invocation

SeamMechanismInvocationsEvidence
atm_http_runtime::loopback_tcp::live_requestcoverage100site/reports/fuzz/an15-http-framing-v2-20260815-v2/differential-probe.log

Inputs exercised

CaseTemplate / inputOutcome

Negative diagnostic contracts

CaseExpectedObservedDiagnostic match

Metadata

Sessionan15-http-framing-v2-20260815
Execution modeexecuted-product-campaign
Worker count4