~/runthismodel
daemon okbuild 5a3c91d00:00:00Z
verified runs / defensive-zip-extractor-v1
Secure coding·protocol 1.0.0 · 2026-08-03Measured

Qwen3-Coder-Next — Defensive ZIP Extractor

Qwen3-Coder-Next (52 GB, q4_K_M) generated a defensive ZIP extractor locally at 43.3 tokens per second. Seven independent fixtures exercised the promised security properties. Every check is shown as measured.

model / workflow
qwen3-coder-next:q4_K_M
task
defensive-zip-extractor-v1
checks held
6 / 7
measured attempts
1
best rate / timing
43.3 tok/s
attempt ledger·every attempt shown
attempttotalloadratecheckswhat happened
Warm repair60.92 s0.20 s43.3 tok/s6/72,493 generated tokens; Unix symlink metadata was not rejected.
What the code had to defend against

The task was defensive: implement a ZIP extractor that rejects traversal, absolute paths, overwrites, symlinks, oversized entries, excessive total expansion, and suspicious compression ratios.

The generated answer was fluent, complete, and easy to review. Rather than take that at face value, the implementation was placed behind seven fixtures that exercise each promised security property.

How the seven checks measured

Nested extraction worked. Traversal, mixed separators, Windows drive paths, overwrite attempts, and entry-size limits were rejected as expected.

The seventh fixture used a ZIP entry whose external metadata marked it as a Unix symlink. The generated code did not inspect that metadata bit, so the fixture extracted as a regular file. Six of the seven checks held.

What this shows

A model can fit, respond quickly, and produce convincing code while one defensive property behaves differently under test. The result shown here is the validator log and each fixture outcome, next to the generated code.

  • The attack surface is defined before prompting.
  • Independent adversarial fixtures run after every repair.
  • Every hard security property is checked directly.
  • Each fixture outcome is shown, so the next patch has a precise target.
reproduce / inspect·downloadable evidence
Measured results
Recorded model placement, timing, telemetry, and 6/7 correctness result.
Validator source
Seven defensive archive-extraction fixtures.
Scope boundary
This is a defensive evaluation of generated code. It does not establish universal coding ability and is not a hardware purchasing recommendation.