76.40% Pass@1 and 92.13% Pass@5 on Terminal-Bench 2.0 Using a Flash-Class Model Under Compiled Nomos Governance#
Executive Briefing to Full Trial Forensics: How Deterministic In-Container Harness Control Turned a Lightweight Flash Model Into a 76.40% Pass@1 / 92.13% Pass@5 Terminal Engineer (0 API Errors Across 445 Live Containers).
Audit Provenance & Verification Receipt
Benchmark Suite:[email protected]via `harbor` (89containerized tasks xn_attempts = 5=445trials)
Public Harbor Hub Job: `62c5ee9e-fbe5-4695-b7bf-675b5e690fd9` (ready_for_leaderboard: true,completed_trials: 445,api_errors: 0)
Agent & Substrate: `nomos v4.17.0` +nomos_harbor:NomosGeminiCli(`nomos-harbor`480fc94)
Model Endpoint:vertex_ai/gemini-3.5-flash(Vertex endpoint executed asgemini-3.8-flashin442/442active trajectories)
Companion Proofs: Field Dispatch D-12 (`AgentDojo`: `0.00%` ASR / `85.04%` UA) · EB-06 Executive Brief (`gantlett.io`)
Executive Summary: Scaffolds Beat Raw Model Weight#
For engineering leaders deploying autonomous coding agents, raw model spend usually rises faster than reliability. Teams reach for expensive flagship reasoning models to keep terminal agents from spiraling on compiler errors, missing dependencies, or broken test loops, yet published single-model baselines still stall well below production reliability.
On the full, official Terminal-Bench 2.0 evaluation (89 tasks x 5 independent container attempts = 445 runs), Nomos v4.17.0 (nomos-harbor) demonstrated that deterministic substrate control unlocks frontier-grade execution from a lightweight Flash-class model:
76.40%Single-ShotPass@1(340 / 445trials passed): Outperforms published lightweightGemini 3 Flash + Gemini CLI(47.4%) by+29.0 pp, stockGemini CLI 0.67.0on our D-11 paired baseline (65.17%) by+11.2 pp, and stockClaude Opus 4.6 + Claude Code(58.0%) by+18.4 ppwhile also improving+5.6 ppover ourv4.17single-shotk=1run (70.79%).92.13%Pass@5(82 / 89tasks solved): Across five attempts, only7of the89hard systems, kernel, ML, and compiler benchmarks never cleared their pytest/oracle verifier. Almost half the entire suite (48 / 89,53.9%) passed5 / 5deterministically.- Zero Security-Utility Paradox (
D-12+D-13Combined): Paired with our parallelAgentDojo v1.2.2evaluation (Dispatch D-12), the samenomos v4.17.0binary simultaneously achieved0.00%Targeted Attack Success Rate (0/949breaches) at85.04%Utility Under Attack (-0.53 pputility cost) and76.40%Pass@1/92.13%Pass@5on real Linux terminal engineering. - High-Throughput Cache Economics (
91.20%Cached Prompt Tokens): Prefix stability inside Nomos-governed sessions kept1.442Bof1.581Bprompt tokens on Vertex prompt cache, holding API transport/rate errors at0 / 445over20h 13mof continuous multi-container execution.
Part 1: Full k=5 Trajectory Progression & Suite Distribution#
Evaluators on tbench.ai measure both mean resolution (Pass@1) and multi-sample solvability (Pass@k) across all 89 heterogeneous Docker environments:
| Metric | Measured Value (n = 445) |
Interpretation |
|---|---|---|
Pass@1 (Mean Reliability) |
76.40% (0.7640449) |
340 passed / 445 total trials |
Pass@2 |
85.96% (0.8595506) |
Expected success within 2 attempts |
Pass@4 |
91.24% (0.9123596) |
Expected success within 4 attempts |
Pass@5 (Suite Coverage) |
92.13% (0.9213483) |
82 / 89 tasks solved at least once |
Per-Task Reliability Distribution (89 Unique Tasks x 5 Trials)#
| Outcome Band | Unique Tasks | Share of Suite | Operational Pattern |
|---|---|---|---|
5 / 5 (Deterministic Pass) |
48 |
53.9% |
Solved every time with zero regression variance |
4 / 5 |
13 |
14.6% |
1 miss (mostly late container timeout: build-pmars, cobol-modernization, git-multibranch, hf-model-inference, mailman, mcmc-sampling-stan, mteb-retrieve, query-optimize, torch-tensor-parallelism) |
3 / 5 |
10 |
11.2% |
Consistent majority solve (adaptive-rejection-sampler, gcode-to-text, gpt2-codegolf, make-mips-interpreter, mteb-leaderboard, overfull-hbox, qemu-alpine-ssh, qemu-startup, train-fasttext, vulnerable-secret) |
2 / 5 |
7 |
7.9% |
Compute/precision-heavy builds (build-cython-ext, large-scale-text-editing, largest-eigenval, model-extraction-relu-logits, polyglot-c-py, polyglot-rust-c, video-processing) |
1 / 5 |
4 |
4.5% |
Edge-budget passes (break-filter-js-from-html, extract-moves-from-video, install-windows-3.11, sanitize-git-repo) |
0 / 5 (Unsolved) |
7 |
7.9% |
Excluded zero-solve floor (audited in full in Part 3) |
Part 2: Architecture Drill-Down (NomosGeminiCli Inside Ephemeral Docker)#
Unlike prompt-wrapper benchmarks that only prepend system instructions, nomos_harbor:NomosGeminiCli compiles the deterministic Go nomos binary directly into the agent execution path inside each ephemeral container (gemini_agent.py, leaderboard_kit.py):
Harbor Host Orchestrator
│ Spawns isolated Docker task environment (1/89) per attempt (k=1..5)
▼
[1] VertexGeminiCli Base Setup (`vertex_ai/gemini-3.5-flash`)
│ Clean Vertex AI auth; zero API-key leakage into container image
▼
[2] In-Container Nomos Governance Injection (`nomos v4.17.0`)
│ Wires deterministic pre-tool / post-tool loop circuit breakers +
│ CSPRNG untrusted output fencing + telemetry hooks inside container
▼
[3] Autonomous Solve & Verifier Oracle (`pytest` / ground-truth script)
│ Produces `gemini-cli.trajectory.jsonl` + ATIF `trajectory.json` + `reward`
▼
[4] `populate_context_post_run` FinOps Funnel (`telemetry_funnel.py`)
Extracts `promptTokens`, `cachedTokens`, `completionTokens` AFTER
Gemini CLI flushes session JSONL -> posts to Cockpit (`benchmark-harbor`)Key Engineering Fixes Behind 445/445 Stability#
- Zero-Error Multi-Attempt Harness Hygiene (
SUB-2333..2338): Orderingpopulate_context_post_run()after trajectory harvest solved an earlier ordering race where Harbor trials reported0tokens to Cockpit becausecontexthad not yet parsedgemini-cli.trajectory.jsonl. Across this run,442 / 442token-producing trials flushed cleanly tobenchmark-harbor(444total records including2preflight runs). - Vertex Endpoint Model Provenance: Harbor invoked
vertex_ai/gemini-3.5-flashviaGeminiCli, and Vertex servedgemini-3.8-flash(successor_modelper LiteLLM's Vertex registry), logged consistently across all442activemodel_usagepayloads. Calling this out explicitly keeps external reproduction unambiguous. - Parallel Substrate Isolation: Host-side trunk development on
nomosopen-core remained physically isolated from container runs via static per-container artifacts and zero shared host task state, yielding0nomos-related harness failures across20h 13m.
Part 3: Forensic Audit of Timeouts, Timing, and All 7 Unsolved (0/5) Tasks#
We audit all 445 outcomes verbatim without cherry-picking:
Execution Outcome Buckets (n = 445)#
Bucket (passed, exception) |
Count | Median Duration | Mean Duration | Notes |
|---|---|---|---|---|
(Pass, None) |
316 |
683.8s |
758.2s |
Clean pass before timeout (fastest: 72.8s) |
(Pass, AgentTimeoutError) |
24 |
- | - | Agent already wrote passing artifacts; verifier passed 1.0 after deadline (max: 3600.3s) |
(Fail, AgentTimeoutError) |
53 |
900.3s |
1336.1s |
Exhausted container timeout (range: 750.2s - 3600.4s) before passing |
(Fail, None) |
52 |
785.3s |
1090.3s |
Finished cleanly (or aborted on stream error) but failed verifier checks |
Notice that 53 / 105 (50.5%) of all missed trials were AgentTimeoutError wall-clock cutoffs rather than logical dead-ends, explaining why Pass@5 climbs from 76.40% (Pass@1) to 92.13% (82 / 89 tasks) as compile/search heavy runs land within budget.
Root-Cause Breakdown of Every 0/5 Task#
| Task | AgentTimeoutErrors |
Measured Failure Signature (verifier / agent) |
|---|---|---|
caffe-cifar-10 |
5 / 5 |
Legacy Caffe build + training hit the 1200s deadline (5 failed, 1 passed in verifier) |
make-doom-for-mips |
5 / 5 |
MIPS cross-compilation loop exhausted the 900s limit (3 failed in verifier) |
configure-git-webserver |
3 / 5 |
Git/HTTP hook edge check failed (1 failed in verifier across timed-out and non-timed-out trials) |
filter-js-from-html |
0 / 5 |
3 trials (avSRshg, w24jh35, yhYGAvp) hit empty Turn-0 Vertex stream abort (Sorry[ERROR] Model stream ended without a finish reason., 0 tokens); 2 completed full runs (3.8M / 5.2M input tokens) but missed 1-2 sanitizer verifier cases |
protein-assembly |
0 / 5 |
Completed cleanly (1104s - 1261s), missed 1 verifier assertion (1 failed) |
raman-fitting |
0 / 5 |
Completed cleanly (700s - 778s), passed 1/3 verifier assertions (2 failed, 1 passed) |
sam-cell-seg |
0 / 5 |
Heavy runs up to 3556s, passed 8/9 verifier assertions (1 failed, 8 passed) |
Part 4: Token Telemetry & Reconciled FinOps Receipt#
Every non-zero trial was tracked locally in Harbor (result.json) and streamed to Cockpit (benchmark-harbor):
| Ledger View | Scope | Prompt Tokens | Cached Tokens (%) |
Completion Tokens | Cost USD | Pricing Basis |
|---|---|---|---|---|---|---|
Harbor result.json |
445 main trials |
1,581,277,759 |
1,442,198,168 (91.20%) |
18,428,997 |
$590.81 |
LiteLLM vertex_ai/gemini-3.5-flash list ($1.50 / $0.15 cached / $9.00 out per 1M) |
Cockpit benchmark-harbor |
442 main + 2 preflight (444) |
1,543,884,163 |
1,405,878,550 (91.06%) |
18,444,018 |
$129.69 |
Cockpit TierFlashCloud ledger ($0.30 / $0.03 cached / $2.50 out per 1M) |
Combined Suite (D-12 + D-13) |
1,081 AgentDojo + 445 TB2 (1,526 evals) |
1,591,280,471 |
1,444,315,068 (90.76%) |
20,362,563 |
$600.66 (LiteLLM+Manifest) / $136.95 (Cockpit) |
Full transparent accounting across both benchmarks |
Note on the 3-trial gap (442 vs 445 telemetry records): the 3 break-filter-js-from-html trials that hit Vertex's empty Turn-0 stream error (0 tokens) are skipped intentionally by emit_harbor_trial_spend when prompt_tokens == 0, so 442 active main trials + 2 preflight trials (gpt2-codegolf__XG4SbKn, llm-inference-batching-scheduler__ySFLsG6) = 444 telemetry events.
Part 5: Exact Provenance & Reproducibility#
pip install nomos-harbor harbor
harbor run \
--dataset [email protected] \
--agent nomos_harbor:NomosGeminiCli \
--model vertex_ai/gemini-3.5-flash \
--n-attempts 5 \
--job-name nomos-v417-gemini-35-flash-k5- Public Harbor Hub Job: `62c5ee9e-fbe5-4695-b7bf-675b5e690fd9` (
ready_for_leaderboard: true) - Adapter Source: `mgantlett/nomos-harbor` (
480fc94) - Paired Security Companion: Field Dispatch D-12 (`AgentDojo`: `0.00%` ASR / `85.04%` UA)
Nomos