DEV Community

Finley Zhou profile picture

Finley Zhou

Backend developer who loves Rust and distributed systems.

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