docs(spec): anchor proof 4's corrected counts to the tree they were r…

8f9a42d

Select commit

Loading

Failed to load commit list.

Uh oh!

There was an error while loading. Please reload this page.

Part-of Closing-Keyword Guard on: pull_request 1

Part-of PR must not also close its card

Check Links on: pull_request 2

Check Documentation Links

Lint & Type Check on: pull_request 6

Lint & Repo Gates

Type Check · source gates

Type Check · workspace

Type Check · debt ledger

Type Check · consumer gates

TypeScript Type Check

Single-Claim Path Guard on: pull_request 1

No other open PR may claim the same single-writer path

CI on: pull_request 15

filter

Test Core (1/6)

Test Core (2/6)

Test Core (3/6)

Test Core (4/6)

Test Core (5/6)

Test Core (6/6)

Temporal Conformance (live PG + MySQL)

Dogfood Regression Gate (1/3)

Dogfood Regression Gate (2/3)

Dogfood Regression Gate (3/3)

Dogfood Verify CLI

Build Core

Build Docs

Console Pin Gate

Test Core

Dogfood Regression Gate

Docs Drift Check on: pull_request 1

Flag docs affected by code changes

Governed Surface Guard on: pull_request 1

Governed Surface Queue Guard

Duplicate Fix Guard on: pull_request 1

No other open PR may claim the same issue

Pack Smoke (opt-in) on: pull_request

Packed-tarball smoke (opt-in)

Closing-Target Claim Guard on: pull_request 1

The card this PR closes must claim this branch

PR Automation on: pull_request 2

Check PR Size

Check Changeset

Auto Label

Spec Liveness Check on: pull_request 1

Spec property liveness

Governed Surface Guard on: pull_request 1

Governed Surface Queue Guard

Cross-repo Issue Closer on: pull_request_target 2

Close issues referenced in other repositories

docs(spec): anchor proof 4's corrected counts to the tree they were r…

Uh oh!

Select a check to view from the sidebar