ProofChain
Research verification console
Google ADK Runner · deterministic agents
CASE / NEW VERIFICATION

Can Table 2 be reproduced?

A Google ADK coordinator runs five scoped agents that map the claim, reproduce it, diagnose drift, repair the configuration, and challenge the conclusion.

Ready to verify
Source anchor Table 2 · FAST-SENT · test column
Reported macro F1 0.942
Tolerance ±0.002
SYNTHETIC FIXTURE orchestration benchmark
EXECUTABLE CONTROL-PLANE EVIDENCE

Fortified controls

Not evaluated

Four independently inspectable controls. Values appear only after the server returns executable evidence.

C1 WAITING

Agent registry

— versioned agent cards
Evidence
Not requested
C2 WAITING

Least privilege

— deny + quarantine decisions
Evidence
Not requested
C3 WAITING

Crash recovery

— lease-expiry recovery semantics
Evidence
Not requested
C4 WAITING

Authoritative context

— effective-time context lookup
Evidence
Not requested
RECORDED ADK EXECUTION TRACE

Five specialist events + one coordinator event.

00:00.0
SELECTED EVIDENCE

Verification contract

UNRUN

Run the case to populate exact configs, metric deltas, execution fingerprints, and agent decisions. Every status must be backed by a tool result.