PASS valid case 1: REJECTED
PASS valid case 2: REJECTED
PASS valid case 3: ACCEPTED
PASS valid case 4: ACCEPTED
PASS valid case 5: REJECTED
PASS valid case 6: ACCEPTED
PASS valid case 7: ACCEPTED
PASS invalid construction (0,1,1): refused before dispatch; input/publication counts remain 7
PASS invalid construction (1,-1,1): refused before dispatch; input/publication counts remain 7
PASS invalid construction (1,1,-1): refused before dispatch; input/publication counts remain 7
PASS invalid construction (2,9223372036854775807,1): refused before dispatch; input/publication counts remain 7
PASS runtime-only verification: seven explicit decisions and four invalid constructions.
Audit records are genuine configured EventLogManager sink output, separated as YAML documents.
Application clock starts at 1700000000000 milliseconds; initial lifecycle/clock-setup records can use wall-clock time.
Scope: tested requirements only; no human approval or broader correctness claim.