DEV Community

Finley Zhou profile picture

Finley Zhou

Backend developer who loves Rust and distributed systems.

Location Tokyo, Japan Joined Joined on 
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
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 2
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
loading...