DEV Community

Finley Zhou profile picture

Finley Zhou

Backend developer who loves Rust and distributed systems.

Location Tokyo, Japan Joined Joined on 
A Frozen Test Can't Justify a Patch: Lease-Bound Freezes and Witnessed Properties for Agent Patches

A Frozen Test Can't Justify a Patch: Lease-Bound Freezes and Witnessed Properties for Agent Patches

Comments
6 min read
The Patch Didn't Break the Test. It Added a Clock: An Ambient-Input Ledger for Agent Patches

The Patch Didn't Break the Test. It Added a Clock: An Ambient-Input Ledger for Agent Patches

Comments
6 min read
Nothing Failed. The Suite Just Got Slower: A Wall-Clock Budget Gate for Agent Patches

Nothing Failed. The Suite Just Got Slower: A Wall-Clock Budget Gate for Agent Patches

Comments
6 min read
The Patch Added a Sleep: Reviewing Timing and Retry Hunks Before Merge

The Patch Added a Sleep: Reviewing Timing and Retry Hunks Before Merge

Comments
6 min read
Green by Forgiveness: Three Budgets That Catch Agent Patches Passing for the Wrong Reason

Green by Forgiveness: Three Budgets That Catch Agent Patches Passing for the Wrong Reason

Comments
6 min read
A Freeze With an Expiry: Rate-Based Triage for Flaky Tests After an Agent Patch

A Freeze With an Expiry: Rate-Based Triage for Flaky Tests After an Agent Patch

Comments
6 min read
Cheapest First: Sequencing Agent-Patch Checks by Cost, and a Freeze That Re-Arms Itself

Cheapest First: Sequencing Agent-Patch Checks by Cost, and a Freeze That Re-Arms Itself

Comments
5 min read
Which Check Would Have Caught It? A Fault-to-Test Attribution Matrix for Agent Patches

Which Check Would Have Caught It? A Fault-to-Test Attribution Matrix for Agent Patches

Comments
6 min read
Put the Verifier Where the Agent Can't Write: A Remote Testing Packet for Agent Patches

Put the Verifier Where the Agent Can't Write: A Remote Testing Packet for Agent Patches

Comments
6 min read
Green Tests, Shrinking Surface: A Census That Catches Agent Patches Weakening Their Own Tests

Green Tests, Shrinking Surface: A Census That Catches Agent Patches Weakening Their Own Tests

Comments
6 min read
A Green Suite That Rewrote Its Own Fixture: Write-Set Audits and Expiring Quarantines for Agent Patches

A Green Suite That Rewrote Its Own Fixture: Write-Set Audits and Expiring Quarantines for Agent Patches

Comments
6 min read
Is It Flaky or Is It Your Patch? A Base-vs-Head Attribution Matrix

Is It Flaky or Is It Your Patch? A Base-vs-Head Attribution Matrix

Comments
6 min read
The Fixture Moved With the Assertion: A Co-Movement Gate for Agent Patches

The Fixture Moved With the Assertion: A Co-Movement Gate for Agent Patches

Comments
6 min read
The Patch Reads the Wall Clock: A Time-Source Audit for Agent Patches

The Patch Reads the Wall Clock: A Time-Source Audit for Agent Patches

Comments
6 min read
Green in One Order, Broken in Another: A Shuffle-and-Bisect Harness for Agent Patches

Green in One Order, Broken in Another: A Shuffle-and-Bisect Harness for Agent Patches

Comments 2
7 min read
Your Agent Patch's Green Didn't Travel: A Portability Ledger for Two-Machine Test Evidence

Your Agent Patch's Green Didn't Travel: A Portability Ledger for Two-Machine Test Evidence

Comments
6 min read
The Suite Only Passes in One Order: A Seed-Sweep Audit for Agent Patches

The Suite Only Passes in One Order: A Seed-Sweep Audit for Agent Patches

Comments
6 min read
Properties Without Witnesses Are Decorations: A Falsifiability Gate for Agent Patches

Properties Without Witnesses Are Decorations: A Falsifiability Gate for Agent Patches

Comments
5 min read
A Skipped Test Is a Withdrawal: Make Agent Patches Deposit a Property Before You Freeze a Flake

A Skipped Test Is a Withdrawal: Make Agent Patches Deposit a Property Before You Freeze a Flake

Comments
6 min read
Order Is a Hidden Input: Permutation-Sweeping an Agent-Patched Test Suite

Order Is a Hidden Input: Permutation-Sweeping an Agent-Patched Test Suite

Comments
5 min read
Green Suite, Three Unchecked Claims: Domain Fingerprints, Fixture Re-derivation, and a Freeze Budget

Green Suite, Three Unchecked Claims: Domain Fingerprints, Fixture Re-derivation, and a Freeze Budget

Comments
7 min read
Agent Patches Touch Your Fixtures Too: Fingerprint the Setup Layer Before You Freeze a Flaky Test

Agent Patches Touch Your Fixtures Too: Fingerprint the Setup Layer Before You Freeze a Flaky Test

Comments
6 min read
Your Agent Patch's Tests Never Touched the Changed Lines: A Diff-Coverage Gate

Your Agent Patch's Tests Never Touched the Changed Lines: A Diff-Coverage Gate

Comments
6 min read
Test Selection Is a Claim: Audit Which Tests an Agent Patch Actually Ran

Test Selection Is a Claim: Audit Which Tests an Agent Patch Actually Ran

Comments
6 min read
Diff-Scoped Mutation Probing: An Assertion-Strength Ledger for Agent Patches

Diff-Scoped Mutation Probing: An Assertion-Strength Ledger for Agent Patches

Comments
6 min read
Attribute Coverage to Hunks, Not Files: An Ownership Map for Agent Patches

Attribute Coverage to Hunks, Not Files: An Ownership Map for Agent Patches

Comments
6 min read
Attribute Coverage to Hunks, Not Files: An Ownership Map for Agent Patches

Attribute Coverage to Hunks, Not Files: An Ownership Map for Agent Patches

Comments
6 min read
Agent Patches Can Quietly Shrink Your Test Suite: Diff the Collected Inventory

Agent Patches Can Quietly Shrink Your Test Suite: Diff the Collected Inventory

Comments
6 min read
Run the Agent's Tests Against the Parent Tree: A 2 2 Verdict Matrix for Patch Evidence

Run the Agent's Tests Against the Parent Tree: A 2 2 Verdict Matrix for Patch Evidence

Comments
6 min read
Run the Check That Can Fail First: An Evidence Ladder for Agent Patches

Run the Check That Can Fail First: An Evidence Ladder for Agent Patches

Comments
7 min read
Declare Your Entropy: A Determinism Manifest for Agent Patch Tests

Declare Your Entropy: A Determinism Manifest for Agent Patch Tests

Comments 1
7 min read
Test Order Is an Input: Shuffle the Suite Before You Trust an Agent Patch

Test Order Is an Input: Shuffle the Suite Before You Trust an Agent Patch

Comments
7 min read
A Property You Cannot Falsify Is Not a Gate: Failure Witnesses for Agent Patches

A Property You Cannot Falsify Is Not a Gate: Failure Witnesses for Agent Patches

Comments 1
6 min read
Revert the Fix, Keep the Tests: A Three-Tree Differential Gate for Agent Patches

Revert the Fix, Keep the Tests: A Three-Tree Differential Gate for Agent Patches

1
Comments 3
6 min read
Warm, Ordered, Dirty: Replay an Agent Patch's Test Suite Cold Before You Trust the Green

Warm, Ordered, Dirty: Replay an Agent Patch's Test Suite Cold Before You Trust the Green

Comments
6 min read
Rerunning Agent Patch Tests Until Green Is Not Evidence — Budget the Flakes Instead

Rerunning Agent Patch Tests Until Green Is Not Evidence — Budget the Flakes Instead

Comments
7 min read
Reachability Receipts: Prove an Agent Patch's Green Build Came From Tests That Touched It

Reachability Receipts: Prove an Agent Patch's Green Build Came From Tests That Touched It

Comments
7 min read
Only a Flake-Class Exit May Open the Lease

Only a Flake-Class Exit May Open the Lease

Comments
8 min read
Judge Agent Patches Against a Fixture Pin They Did Not Write

Judge Agent Patches Against a Fixture Pin They Did Not Write

Comments
9 min read
A Second Host Measures Drift. It Does Not Open the Freeze.

A Second Host Measures Drift. It Does Not Open the Freeze.

Comments
8 min read
Hash the Sampler Output Before You Freeze an Agent-Patch Failure

Hash the Sampler Output Before You Freeze an Agent-Patch Failure

Comments
8 min read
An Agent Patch May Not Run Until the Fixture Digest Is Signed

An Agent Patch May Not Run Until the Fixture Digest Is Signed

Comments
7 min read
Score Fixture Independence Before an Agent Patch Merges

Score Fixture Independence Before an Agent Patch Merges

Comments
8 min read
Block the Agent Patch Until Parent Drift Has a Signed Ledger

Block the Agent Patch Until Parent Drift Has a Signed Ledger

Comments
8 min read
Partition the Agent Diff Before You Quarantine a Failure

Partition the Agent Diff Before You Quarantine a Failure

2
Comments
7 min read
Shrink the Witness Before a Flake Freeze Can Open

Shrink the Witness Before a Flake Freeze Can Open

Comments
8 min read
An Extra Call Keeps the Flake Freeze Shut

An Extra Call Keeps the Flake Freeze Shut

Comments
8 min read
A Property Counterexample Is Not a Flake You Can Freeze

A Property Counterexample Is Not a Flake You Can Freeze

Comments
7 min read
Close a Flake Freeze Only When the Replay Budget Hits Zero

Close a Flake Freeze Only When the Replay Budget Hits Zero

Comments
9 min read
How a Two-Run Disagreement Becomes a Freeze Record

How a Two-Run Disagreement Becomes a Freeze Record

Comments
8 min read
Class the Shrunk Witness Before a Property Failure Can Be Frozen

Class the Shrunk Witness Before a Property Failure Can Be Frozen

Comments
8 min read
Hide Failure Logs Until the Runner Digest Is Sealed

Hide Failure Logs Until the Runner Digest Is Sealed

Comments
10 min read
Domain, Assertions, Fixture Hash: Gate Agent Patches on Strength

Domain, Assertions, Fixture Hash: Gate Agent Patches on Strength

Comments
9 min read
Changed Symbols Earn Property Credit, or the Agent Patch Stays Closed

Changed Symbols Earn Property Credit, or the Agent Patch Stays Closed

Comments
9 min read
Replay a Temporary Test Ignore Only When Three Ledger Keys Still Match

Replay a Temporary Test Ignore Only When Three Ledger Keys Still Match

Comments
7 min read
The Evidence Path Is Read-Only for Agent Patches

The Evidence Path Is Read-Only for Agent Patches

Comments 1
8 min read
Cite a Flake Freeze Only After the Fixture Digest Closes

Cite a Flake Freeze Only After the Fixture Digest Closes

Comments 1
8 min read
An Open Seed Ledger Cannot Authorize a Flake Freeze

An Open Seed Ledger Cannot Authorize a Flake Freeze

Comments 1
6 min read
The Revert Control Decides Whether a Flake Freeze Belongs on the Patch

The Revert Control Decides Whether a Flake Freeze Belongs on the Patch

Comments
8 min read
Freeze a Flake Only After a Clean Runner Reproduces the Same Class

Freeze a Flake Only After a Clean Runner Reproduces the Same Class

Comments
8 min read
loading...