Adversarial fuzz session: an15-checked-emission-v2-20260815

Validated adversarial-fuzz v2 evidence

Generated: 2026-08-15T02:48:45.379494Z

Source: adversarial-fuzz v2 contract

PASS

Summary

Validated v2 adversarial-fuzz evidence rendered through the sc-compose report contract. Session an15-checked-emission-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
atm-template-checked-emission shape-probe product seam 100 100/100 PASS
atm-template-checked-emission template-probe product seam 100 100/100 PASS
atm-template-checked-emission boundary-probe product seam 100 100/100 PASS
atm-template-checked-emission differential-probe product seam 100 100/100 PASS

Adversarial fuzz worker

shape-probe

Session an15-checked-emission-v2-20260815 · Worker shape-probe

PASS

Fuzz run descriptionIterationsPassResult
atm-template-checked-emission shape-probe product seam 100 100/100 PASS

Verified target invocation

SeamMechanismInvocationsEvidence
atm_http_runtime::template_admission::captured_inputcoverage100site/reports/fuzz/an15-checked-emission-v2-20260815-v2/shape-probe.log

Inputs exercised

CaseTemplate / inputOutcome
missing-required-variablerequired input is rejected before persistencerequired template input is missing

Negative diagnostic contracts

CaseExpectedObservedDiagnostic match
missing-required-variablerequired input is rejected before persistencerequired template input is missingPASS

Adversarial fuzz worker

template-probe

Session an15-checked-emission-v2-20260815 · Worker template-probe

PASS

Fuzz run descriptionIterationsPassResult
atm-template-checked-emission template-probe product seam 100 100/100 PASS

Verified target invocation

SeamMechanismInvocationsEvidence
atm_template_sc_compose::checked_rendercoverage100site/reports/fuzz/an15-checked-emission-v2-20260815-v2/template-probe.log

Inputs exercised

CaseTemplate / inputOutcome
invalid-final-jsoninvalid final JSON is rejected with checked-render guidancechecked render rejected invalid JSON

Negative diagnostic contracts

CaseExpectedObservedDiagnostic match
invalid-final-jsoninvalid final JSON is rejected with checked-render guidancechecked render rejected invalid JSONPASS

Adversarial fuzz worker

boundary-probe

Session an15-checked-emission-v2-20260815 · Worker boundary-probe

PASS

Fuzz run descriptionIterationsPassResult
atm-template-checked-emission boundary-probe product seam 100 100/100 PASS

Verified target invocation

SeamMechanismInvocationsEvidence
atm_template_sc_compose::confined_includecoverage100site/reports/fuzz/an15-checked-emission-v2-20260815-v2/boundary-probe.log

Inputs exercised

CaseTemplate / inputOutcome
include-escapeconfined include escape is rejected without state mutationinclude path rejected outside configured root

Negative diagnostic contracts

CaseExpectedObservedDiagnostic match
include-escapeconfined include escape is rejected without state mutationinclude path rejected outside configured rootPASS

Adversarial fuzz worker

differential-probe

Session an15-checked-emission-v2-20260815 · Worker differential-probe

PASS

Fuzz run descriptionIterationsPassResult
atm-template-checked-emission differential-probe product seam 100 100/100 PASS

Verified target invocation

SeamMechanismInvocationsEvidence
atm_core::render_on_read::persisted_snapshotcoverage100site/reports/fuzz/an15-checked-emission-v2-20260815-v2/differential-probe.log

Inputs exercised

CaseTemplate / inputOutcome

Negative diagnostic contracts

CaseExpectedObservedDiagnostic match

Metadata

Sessionan15-checked-emission-v2-20260815
Execution modeexecuted-product-campaign
Worker count4