DEV Community

Finley Zhou profile picture

Finley Zhou

Backend developer who loves Rust and distributed systems.

Location Tokyo, Japan Joined Joined on 
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
A Flake Freeze Starts From a Shared Property Failure

A Flake Freeze Starts From a Shared Property Failure

Comments
8 min read
New Tests in an Agent Patch Cannot Inherit a Flake Freeze

New Tests in an Agent Patch Cannot Inherit a Flake Freeze

Comments
7 min read
One Fail Signature, Two Runners: The Flake Freeze Citation Rule

One Fail Signature, Two Runners: The Flake Freeze Citation Rule

Comments
8 min read
A Free-Server Pass Cannot Close a Local Fixture Fail

A Free-Server Pass Cannot Close a Local Fixture Fail

Comments
6 min read
Stable Assertion Fails Stay Closed: A Waiver Classifier for Agent Patches

Stable Assertion Fails Stay Closed: A Waiver Classifier for Agent Patches

Comments
10 min read
Green Property Checks Must Not Refill a Flake Freeze Token

Green Property Checks Must Not Refill a Flake Freeze Token

Comments
9 min read
Shrink the Failing Input Before a Flake Freeze Can Be Written

Shrink the Failing Input Before a Flake Freeze Can Be Written

Comments
7 min read
Lease-Scoped Replay Sheets for Agent-Patch Property Checks

Lease-Scoped Replay Sheets for Agent-Patch Property Checks

Comments
9 min read
A Fixture Hash Separates Deterministic Misses From Eligible Flake Freezes

A Fixture Hash Separates Deterministic Misses From Eligible Flake Freezes

Comments
7 min read
A Looser Bound Is Not Eligible for a Flake Freeze

A Looser Bound Is Not Eligible for a Flake Freeze

Comments
8 min read
Key the Flaky Waiver to a Shrunk Example Hash

Key the Flaky Waiver to a Shrunk Example Hash

Comments
7 min read
Bound the Diff Before You Spend a Model Call on an Agent Patch

Bound the Diff Before You Spend a Model Call on an Agent Patch

Comments
7 min read
A Canary Miss Blocks the Patch Before Any Freeze Is Consulted

A Canary Miss Blocks the Patch Before Any Freeze Is Consulted

Comments
7 min read
Label the Miss on a Four-Cell Replay Before Anyone Requests a Freeze

Label the Miss on a Four-Cell Replay Before Anyone Requests a Freeze

Comments
8 min read
Query the Freeze Store Only After a Bound Fixture Miss

Query the Freeze Store Only After a Bound Fixture Miss

Comments
8 min read
Accept a Flake Freeze Only When Base Replays the Same Miss

Accept a Flake Freeze Only When Base Replays the Same Miss

Comments
7 min read
Admit an Agent Patch Only When Oracle, Fixture, and Freeze Ledgers Agree

Admit an Agent Patch Only When Oracle, Fixture, and Freeze Ledgers Agree

Comments
8 min read
A Flake Freeze May Emit Inconclusive. It May Not Mint a Pass.

A Flake Freeze May Emit Inconclusive. It May Not Mint a Pass.

Comments
9 min read
Only SCHEDULER May Enter the Flake Freeze Ledger

Only SCHEDULER May Enter the Flake Freeze Ledger

Comments
9 min read
A Shared Fixture Digest Cannot Certify an Agent Patch

A Shared Fixture Digest Cannot Certify an Agent Patch

Comments
9 min read
Shrink, Replay on Base, Then Promote the Witness

Shrink, Replay on Base, Then Promote the Witness

Comments
6 min read
Pin the Fixture Epoch, Then Sample Properties Outside the Diff

Pin the Fixture Epoch, Then Sample Properties Outside the Diff

Comments
8 min read
An Incomplete Model Transcript Is Not a Passing Property Run

An Incomplete Model Transcript Is Not a Passing Property Run

Comments
8 min read
Five Budget Codes Before a Flake Freeze on an Agent Patch

Five Budget Codes Before a Flake Freeze on an Agent Patch

Comments
7 min read
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
loading...