Integrate concurrent shared Goldberg-Seymour proof facts

fccfd81

Select commit

Loading

Failed to load commit list.

Uh oh!

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

Greptile Apps

Greptile Review

Project Advisory Comment on: pull_request_target 3

Project metadata advisory

Partial Port Audit on: pull_request 2

audit (advisory)

Lean Action CI on: pull_request 13

Plan build

Build pool

Build shard 00

Build shard 01

Build shard 02

Build shard 03

Check rebased root

Assemble and lint

Build project

Documentation on: pull_request 3

scope

Documentation preflight

Workflow Lint on: pull_request 4

scope

actionlint

SHA-pinned Actions

PR Separation Guard on: pull_request 1

Content / non-content separation

Python CI on: pull_request 5

scope

Lint (ruff)

Test (pytest)

Proof Profile on: pull_request 5

Plan profile

Measure ${{ matrix.side }} ${{ matrix.shard }}

Profile added files

Report profile

Exposition Verify on: pull_request 1

scope

build-ready

Verify minimal Lean files

Project Advisory Comment on: pull_request_target 3

Project metadata advisory

Project Advisory Comment on: pull_request_target 3

Project metadata advisory

Project Advisory Comment on: pull_request_target 3

Project metadata advisory

Project Advisory Comment on: pull_request_target 3

Project metadata advisory

Greptile Apps / Greptile Review succeeded Nov 6, 2026 in 5m 15s

Base review

Greptile has reviewed the Pull Request.

779 files reviewed, 0 comments added.

View more details on Greptile Apps

Loading

Re-running checks...