DEV Community

Finley Zhou profile picture

Finley Zhou

Backend developer who loves Rust and distributed systems.

Location Tokyo, Japan Joined Joined on 
Run Only the Invariants the Diff Can Break

Run Only the Invariants the Diff Can Break

Comments
8 min read
Map Callers Before You Trust a Green Agent Patch

Map Callers Before You Trust a Green Agent Patch

Comments
9 min read
Metamorphic Checks for Agent Patches When You Have No Trusted Oracle

Metamorphic Checks for Agent Patches When You Have No Trusted Oracle

Comments
7 min read
A Receipt for Every Agent Patch: Seeds, Digests, and a Freeze File

A Receipt for Every Agent Patch: Seeds, Digests, and a Freeze File

Comments
7 min read
Green Tests Can Be a Weakened Oracle: A Three-Bucket Plan for Agent Patches

Green Tests Can Be a Weakened Oracle: A Three-Bucket Plan for Agent Patches

Comments
8 min read
Green CI Is Not a Boundary Test: Partition Tables for Agent Patches

Green CI Is Not a Boundary Test: Partition Tables for Agent Patches

Comments
9 min read
Name the Failure Class Before You Keep an Agent Patch

Name the Failure Class Before You Keep an Agent Patch

Comments
7 min read
Test-Inventory Diff as a Merge Gate for Agent Patches

Test-Inventory Diff as a Merge Gate for Agent Patches

Comments
7 min read
A Frozen Test Is Not Coverage: A Merge Gate for Agent Patches

A Frozen Test Is Not Coverage: A Merge Gate for Agent Patches

Comments
10 min read
Shadow-Compare the Agent Patch. Merge Only Classified Divergences.

Shadow-Compare the Agent Patch. Merge Only Classified Divergences.

Comments
8 min read
Don't Xfail the Flake. Journal Its Seed.

Don't Xfail the Flake. Journal Its Seed.

Comments
7 min read
Classify the Failure Before the Agent Edits a Test

Classify the Failure Before the Agent Edits a Test

Comments
7 min read
Diff the Test Suite, Not Just the Exit Code, After an Agent Patch

Diff the Test Suite, Not Just the Exit Code, After an Agent Patch

Comments
9 min read
The Compiler as Validator: When a Free Model's Wrong C++ Is Still Cheap

The Compiler as Validator: When a Free Model's Wrong C++ Is Still Cheap

Comments
4 min read
Case Study: A Free Model's 47th Test Input Crashed Our Parser

Case Study: A Free Model's 47th Test Input Crashed Our Parser

Comments
5 min read
Capture the Oracle Before the Agent Runs

Capture the Oracle Before the Agent Runs

Comments
8 min read
The 3 AM Restart: A 25-Line Watchdog a Free Model Wrote for My Free Server

The 3 AM Restart: A 25-Line Watchdog a Free Model Wrote for My Free Server

Comments
5 min read
Free AI Log Triage: Cut Weekly Review to 15 Minutes

Free AI Log Triage: Cut Weekly Review to 15 Minutes

Comments
5 min read
Score Test Hunks Before You Trust a Green Agent Patch

Score Test Hunks Before You Trust a Green Agent Patch

Comments
9 min read
Build a Write-Protected Test Plane for Agent Patches

Build a Write-Protected Test Plane for Agent Patches

Comments
7 min read
Assertion Deltas Are the Real Test Report for Agent Patches

Assertion Deltas Are the Real Test Report for Agent Patches

Comments
8 min read
Don't Skip Flakes After an Agent Patch. Demote Them.

Don't Skip Flakes After an Agent Patch. Demote Them.

Comments
8 min read
Spend a Freeze Slot Only After Property and Fixture Both Fail

Spend a Freeze Slot Only After Property and Fixture Both Fail

Comments
7 min read
A Shrinking Input Domain Is a Failed Agent Patch

A Shrinking Input Domain Is a Failed Agent Patch

Comments
8 min read
Freeze Agent-Patch Tests Against a Fixture Digest, Not a Name

Freeze Agent-Patch Tests Against a Fixture Digest, Not a Name

Comments
7 min read
Classify Every Test Before You Score an Agent Patch

Classify Every Test Before You Score an Agent Patch

Comments
8 min read
Type the Agent-Patch Verdict Before You Freeze Anything

Type the Agent-Patch Verdict Before You Freeze Anything

Comments
7 min read
Fail Closed on Side Effects: A Blast-Radius Gate for Agent Patches

Fail Closed on Side Effects: A Blast-Radius Gate for Agent Patches

1
Comments
7 min read
Test the Behavior Delta After an Agent Patch, Not the Whole Suite

Test the Behavior Delta After an Agent Patch, Not the Whole Suite

Comments
7 min read
Don't Golden-File an Agent Patch. Golden-File the Relation.

Don't Golden-File an Agent Patch. Golden-File the Relation.

Comments
7 min read
Test Agent Patches With an Oracle the Diff Cannot Touch

Test Agent Patches With an Oracle the Diff Cannot Touch

Comments
7 min read
Invariant Replay for Agent Patches: Relations, Dataset Leases, and a Counted Flake Freeze

Invariant Replay for Agent Patches: Relations, Dataset Leases, and a Counted Flake Freeze

Comments
9 min read
Mutation-Test Your Agent Patch: A Budgeted Sandbox That Costs You Nothing

Mutation-Test Your Agent Patch: A Budgeted Sandbox That Costs You Nothing

Comments
4 min read
Verify Agent Patches on a Free Server: Property Checks, Fixtures, and a Flaky Freeze

Verify Agent Patches on a Free Server: Property Checks, Fixtures, and a Flaky Freeze

Comments
4 min read
The Selective Gate: Property Checks, Fixture Leases, and a Flaky Freeze for a Free Server

The Selective Gate: Property Checks, Fixture Leases, and a Flaky Freeze for a Free Server

Comments
4 min read
Property Checks, Fixture Leases, and Flaky Freezes: A Decision Matrix for Agent Patches

Property Checks, Fixture Leases, and Flaky Freezes: A Decision Matrix for Agent Patches

Comments
5 min read
Three Signals, One Gate: Property Checks, Fixture Leases, and a Flaky Freeze for Agent Patches

Three Signals, One Gate: Property Checks, Fixture Leases, and a Flaky Freeze for Agent Patches

1
Comments
4 min read
Give Every Agent Patch a Regression Budget, Not Just a Green Check

Give Every Agent Patch a Regression Budget, Not Just a Green Check

Comments
4 min read
Your Fixture Passed. The Agent Patch Is Still Wrong.

Your Fixture Passed. The Agent Patch Is Still Wrong.

Comments
4 min read
Your Verification Gate Passed an Agent Patch. Why Did Production Still Fail?

Your Verification Gate Passed an Agent Patch. Why Did Production Still Fail?

Comments
5 min read
The Agent Wrote Its Own Tests. Your Gate Shouldn't Trust Them.

The Agent Wrote Its Own Tests. Your Gate Shouldn't Trust Them.

Comments
4 min read
Lease Your Fixtures: Deterministic Agent-Patch Gates Without a Global Lock

Lease Your Fixtures: Deterministic Agent-Patch Gates Without a Global Lock

Comments
4 min read
Run a Patch-Verification Gate on a Free Server: Property Checks, Fixture Locks, and Flaky Quarantine

Run a Patch-Verification Gate on a Free Server: Property Checks, Fixture Locks, and Flaky Quarantine

Comments
5 min read
Differential Contract Testing for Agent Patches: A 3-Layer Verification Strategy

Differential Contract Testing for Agent Patches: A 3-Layer Verification Strategy

Comments
4 min read
Flaky Freezes Are Technical Debt. Price Them Like It.

Flaky Freezes Are Technical Debt. Price Them Like It.

Comments
4 min read
One Command to Verify an Agent Patch: Seeded Hypothesis, Fixture Contracts, and a TTL Quarantine

One Command to Verify an Agent Patch: Seeded Hypothesis, Fixture Contracts, and a TTL Quarantine

1
Comments
4 min read
A Patch Triage Matrix: Which Tests Actually Matter for an Agent's Diff?

A Patch Triage Matrix: Which Tests Actually Matter for an Agent's Diff?

Comments
4 min read
Replay Yesterday's Bugs to Test Today's Agent-Patch Gate

Replay Yesterday's Bugs to Test Today's Agent-Patch Gate

Comments
4 min read
A Run Budget for Agent Patch Verification: Stop Rechecking Until Green

A Run Budget for Agent Patch Verification: Stop Rechecking Until Green

Comments
4 min read
A Verification Pipeline for Agent Patches: Property Checks, Fixture Pins, and a Flaky Freeze in One YAML

A Verification Pipeline for Agent Patches: Property Checks, Fixture Pins, and a Flaky Freeze in One YAML

Comments
4 min read
Legacy Code Night Shift: Drafting a Living API Contract with a Free Model and a Free Server

Legacy Code Night Shift: Drafting a Living API Contract with a Free Model and a Free Server

Comments
5 min read
Auditing Agent Patches: Property Checks, Fixture Locks, and Expiring Flaky Freezes

Auditing Agent Patches: Property Checks, Fixture Locks, and Expiring Flaky Freezes

2
Comments 1
4 min read
A Green Suite Can Still Lie: Mutation-Test Your Fixtures Before You Trust an Agent Patch

A Green Suite Can Still Lie: Mutation-Test Your Fixtures Before You Trust an Agent Patch

Comments
4 min read
A Zero-Budget Verification Layer for Agent Patches: Compile, Property, and Bound Before Merge

A Zero-Budget Verification Layer for Agent Patches: Compile, Property, and Bound Before Merge

Comments
6 min read
The Patch Passed All Tests. The Error Contract Didn't.

The Patch Passed All Tests. The Error Contract Didn't.

Comments
4 min read
Fixture Drift: Why Agent Patches Pass Green Tests and Break Production

Fixture Drift: Why Agent Patches Pass Green Tests and Break Production

Comments
4 min read
Three Independent Checks for an Agent Patch: Fixture Contract, Reference Oracle, and a Flaky Quarantine

Three Independent Checks for an Agent Patch: Fixture Contract, Reference Oracle, and a Flaky Quarantine

Comments
4 min read
Give Your Agent Patch a Determinism Budget: Seed-Locked Properties, Pinned Fixtures, a Freeze Registry

Give Your Agent Patch a Determinism Budget: Seed-Locked Properties, Pinned Fixtures, a Freeze Registry

Comments
4 min read
Free Tokens, Free Server, and a Property Test That Refuses to Be Gamed

Free Tokens, Free Server, and a Property Test That Refuses to Be Gamed

Comments
5 min read
Three Buckets and a Freeze: A Testing Triage for Agent Patches That Don't Trust the Patch

Three Buckets and a Freeze: A Testing Triage for Agent Patches That Don't Trust the Patch

Comments
5 min read
loading...