DEV Community

Finley Zhou profile picture

Finley Zhou

Backend developer who loves Rust and distributed systems.

Location Tokyo, Japan Joined Joined on 
Match the Fixture Digest Before a Property Score Can Count

Match the Fixture Digest Before a Property Score Can Count

Comments
9 min read
Block the Agent Patch Until a Second Process Replays the Witness

Block the Agent Patch Until a Second Process Replays the Witness

Comments
6 min read
An Empty Strong Quorum Is a Rejection, Not a Green Agent Patch

An Empty Strong Quorum Is a Rejection, Not a Green Agent Patch

Comments
7 min read
Reject, Undecided, or Review: A Lane Verdict for Agent Patches

Reject, Undecided, or Review: A Lane Verdict for Agent Patches

Comments
8 min read
A Property Miss Cannot Open a Flake Freeze

A Property Miss Cannot Open a Flake Freeze

Comments
10 min read
If the Agent Edited the Test, Freeze the Observation Instead

If the Agent Edited the Test, Freeze the Observation Instead

Comments
6 min read
Stop Sharing a Flake Allowlist With Agent Diffs

Stop Sharing a Flake Allowlist With Agent Diffs

Comments
7 min read
Fail the Merge When an Agent Deletes or Weakens Tests

Fail the Merge When an Agent Deletes or Weakens Tests

Comments
8 min read
Path-Fence Agent Patches: Properties, Fixtures, and Flakes Stay Read-Only

Path-Fence Agent Patches: Properties, Fixtures, and Flakes Stay Read-Only

Comments
7 min read
Parse the Test AST Before You Trust an Agent Green Build

Parse the Test AST Before You Trust an Agent Green Build

Comments
6 min read
Pin Time and Commit Seeds Before You Score an Agent Patch

Pin Time and Commit Seeds Before You Score an Agent Patch

Comments
9 min read
Rank Oracles Before You Merge an Agent Patch

Rank Oracles Before You Merge an Agent Patch

Comments
7 min read
A Scorecard for Agent Diffs: Fixture Digests, Seed Replay, and Failure Signatures

A Scorecard for Agent Diffs: Fixture Digests, Seed Replay, and Failure Signatures

Comments 1
7 min read
Agent Patches That Pass Alone and Fail in the Suite: Shuffle Before You Quarantine

Agent Patches That Pass Alone and Fail in the Suite: Shuffle Before You Quarantine

Comments
8 min read
Promote Agent-Patch Failures: Replay Case, Property Oracle, Then Quarantine

Promote Agent-Patch Failures: Replay Case, Property Oracle, Then Quarantine

Comments
7 min read
Proposal Hosts Do Not Score Merges

Proposal Hosts Do Not Score Merges

Comments
7 min read
Bind Flake Freezes to Assertion Hashes, Not Test Names

Bind Flake Freezes to Assertion Hashes, Not Test Names

Comments
8 min read
A Replay Oracle for Agent-Generated Diffs

A Replay Oracle for Agent-Generated Diffs

Comments
8 min read
Unscored Is Not Green: Four States for Agent-Patch Gates

Unscored Is Not Green: Four States for Agent-Patch Gates

Comments
7 min read
Split Agent-Patch CI Into Three Verdicts, Not One Green Job

Split Agent-Patch CI Into Three Verdicts, Not One Green Job

Comments
7 min read
Inventory the Test Surface Before You Score an Agent Patch

Inventory the Test Surface Before You Score an Agent Patch

Comments
8 min read
Agents May Shrink the Freeze Ledger. They May Not Grow It.

Agents May Shrink the Freeze Ledger. They May Not Grow It.

Comments
8 min read
Block Agent Merges That Shrink Properties or Silence Flakes

Block Agent Merges That Shrink Properties or Silence Flakes

Comments
8 min read
Keep the Score Contract Out of the Agent's Write Set

Keep the Score Contract Out of the Agent's Write Set

Comments
6 min read
Score Agent Patches on a Frozen Surface. Ledger the Flakes.

Score Agent Patches on a Frozen Surface. Ledger the Flakes.

Comments 1
8 min read
Subtract the Freeze Surface Before You Score an Agent Patch

Subtract the Freeze Surface Before You Score an Agent Patch

Comments
8 min read
Pin Property Seeds in CI Before You Score an Agent Patch

Pin Property Seeds in CI Before You Score an Agent Patch

Comments
7 min read
Seal the Oracle Host Before an Agent Patch Touches Your Tree

Seal the Oracle Host Before an Agent Patch Touches Your Tree

Comments
7 min read
Fence Fixture and Freeze Paths Before You Score an Agent Patch

Fence Fixture and Freeze Paths Before You Score an Agent Patch

Comments
7 min read
Freeze the Failure Signature, Not the Test Name

Freeze the Failure Signature, Not the Test Name

Comments
8 min read
Lock Counterexamples Before an Agent May Edit a Property Test

Lock Counterexamples Before an Agent May Edit a Property Test

Comments
7 min read
Replay the Parent Surface. Do Not Score Agent Refactors on Editable Tests.

Replay the Parent Surface. Do Not Score Agent Refactors on Editable Tests.

Comments
8 min read
Replay the Seeds That Hit. Never Freeze a Holdout.

Replay the Seeds That Hit. Never Freeze a Holdout.

Comments
7 min read
If the Agent Can Edit the Oracle, a Green Build Is Not Evidence

If the Agent Can Edit the Oracle, a Green Build Is Not Evidence

Comments
8 min read
Require Parent Failures: Dual-Checkout Evidence for Agent Patches

Require Parent Failures: Dual-Checkout Evidence for Agent Patches

Comments 1
7 min read
Score Agent Patches Only on Assertions They Did Not Write

Score Agent Patches Only on Assertions They Did Not Write

Comments
7 min read
Split CI Into Advisory and Blocking Lanes Before You Merge an Agent Patch

Split CI Into Advisory and Blocking Lanes Before You Merge an Agent Patch

Comments
7 min read
Zero-Hit Properties Cannot Be Frozen. Score Agent Patches by Fixture Hits.

Zero-Hit Properties Cannot Be Frozen. Score Agent Patches by Fixture Hits.

Comments
8 min read
Do Not Merge on One Job Color. Score Property, Fixture, and Flake Lanes Separately.

Do Not Merge on One Job Color. Score Property, Fixture, and Flake Lanes Separately.

Comments
7 min read
Treat a Flaky Freeze as Merge Debt. Score the Agent Patch.

Treat a Flaky Freeze as Merge Debt. Score the Agent Patch.

Comments
7 min read
Gate Agent Patches on a Verdict File. Ignore pytest's Exit Code.

Gate Agent Patches on a Verdict File. Ignore pytest's Exit Code.

Comments
8 min read
Diff the Witness Set. A Green Agent Patch Can Still Delete Evidence.

Diff the Witness Set. A Green Agent Patch Can Still Delete Evidence.

Comments
7 min read
Map Agent Diffs to Oracle Classes. Freeze Signatures, Not Test Names.

Map Agent Diffs to Oracle Classes. Freeze Signatures, Not Test Names.

Comments
8 min read
Keep the Oracle Outside the Patch: An Invariant Inventory

Keep the Oracle Outside the Patch: An Invariant Inventory

Comments
8 min read
Green Property Tests Can Still Be a Regression

Green Property Tests Can Still Be a Regression

Comments
8 min read
If the Agent Edits the Oracle, the Suite Is Not Evidence

If the Agent Edits the Oracle, the Suite Is Not Evidence

Comments
7 min read
Do Not Freeze the Test. Freeze the Seed and the Fixture Digest.

Do Not Freeze the Test. Freeze the Seed and the Fixture Digest.

Comments
7 min read
Quarantine Test Drafts Until the Oracle Hash Is Unchanged

Quarantine Test Drafts Until the Oracle Hash Is Unchanged

Comments
9 min read
Pin Property Seeds Outside the Agent Write Tree

Pin Property Seeds Outside the Agent Write Tree

Comments
7 min read
Agent Patches Need a Second Checkout for Property Checks

Agent Patches Need a Second Checkout for Property Checks

Comments
7 min read
Bucket the Red: Invariant Miss, Fixture Drift, or Noise

Bucket the Red: Invariant Miss, Fixture Drift, or Noise

Comments
8 min read
Demote Equality Tests When an Agent Mutates Their Fixtures

Demote Equality Tests When an Agent Mutates Their Fixtures

Comments
8 min read
Treat Skip, Xfail, and Timeout Deltas as Failed Tests

Treat Skip, Xfail, and Timeout Deltas as Failed Tests

Comments
7 min read
Demote Tests in the Patch Write-Set Before You Merge

Demote Tests in the Patch Write-Set Before You Merge

Comments
8 min read
Merge-Lane Tests Vote. Witness and Freeze Do Not.

Merge-Lane Tests Vote. Witness and Freeze Do Not.

Comments
7 min read
Zero Weight on Agent Tests: A Three-Input Merge Predicate

Zero Weight on Agent Tests: A Three-Input Merge Predicate

Comments
7 min read
Reject Agent Patches That Pass Only in Default Collection Order

Reject Agent Patches That Pass Only in Default Collection Order

Comments
7 min read
Quarantine the Input. Keep the Property Live.

Quarantine the Input. Keep the Property Live.

Comments
6 min read
If the Patch Authored the Test, Score the Overlap

If the Patch Authored the Test, Score the Overlap

Comments 1
6 min read
Pairwise Oracles Beat Value Asserts for Agent Patches

Pairwise Oracles Beat Value Asserts for Agent Patches

Comments
8 min read
loading...