Reports for the 115 realistic projects before and after upstream fixes. Before = main (d59bcd2); after = sk/upstream-fixes. General registry as of 2026-09-09.
115 cases; 22 changed, 93 byte-identical.
| case | before (lines) | after (lines) | changed |
|---|---|---|---|
| Bloqade+big10-partial | 15 | 15 | |
| Bloqade+big20-partial | 40 | 40 |
Reports for the 57 closure-pinned hard cases before and after upstream fixes. Before = main (d59bcd2); after = sk/upstream-fixes. General registry as of 2026-09-09.
57 cases; 32 changed, 25 byte-identical.
| case | before (lines) | after (lines) | changed |
|---|---|---|---|
| Agents | 52 | 55 | yes |
| AlphaZero | 116 | 125 | yes |
Reports for the 115 realistic projects (hub + a few direct deps with caret compat, transitive deps free; see the generator gist), before and after PR #107. Before = main at 7a14c2e (with #106); after = the PR branch. General registry as of 2026-09-08.
115 cases; 24 changed, 91 byte-identical.
| case | before (lines) | after (lines) | changed |
|---|---|---|---|
| Bloqade+big10-partial | 15 | 15 | |
| Bloqade+big20-partial | 42 | 40 | yes |
Reports for the 57 closure-pinned hard cases (every closure package required and pinned at latest; an artificial but stress-testing construction), before and after PR #107. Before = main at 7a14c2e (with #106); after = the PR branch. General registry as of 2026-09-08. Most differences are the headline clause or the dropped footer alone; the structural ones are reviewed side by side in the PR.
57 cases; 38 changed, 19 byte-identical.
| case | before (lines) | after (lines) | changed |
|---|---|---|---|
| Agents | 54 | 52 | yes |
| AlphaZero | 164 | 116 | yes |
Reports for the 115 realistic projects (hub + a few direct deps with caret compat, transitive deps free; see the generator gist), before and after PR #107. Before = main at 7a14c2e (with #106); after = the PR branch. General registry as of 2026-09-08.
115 cases; 14 changed, 101 byte-identical.
| case | before (lines) | after (lines) | changed |
|---|---|---|---|
| Bloqade+big10-partial | 15 | 15 | |
| Bloqade+big20-partial | 42 | 42 | yes |
Reports for the 57 closure-pinned hard cases (every closure package required and pinned at latest; an artificial but stress-testing construction), before and after PR #107. Before = main at 7a14c2e (with #106); after = the PR branch. General registry as of 2026-09-08.
57 cases; 34 changed, 23 byte-identical.
| case | before (lines) | after (lines) | changed |
|---|---|---|---|
| Agents | 54 | 54 | yes |
| AlphaZero | 164 | 164 | yes |
Reports for the 57 closure-pinned hard cases (every closure package required and pinned at latest; an artificial but stress-testing construction), before and after PR #107. Before = main at 7a14c2e (with #106); after = the PR branch. General registry as of 2026-09-08.
57 cases; 12 changed, 45 byte-identical.
| case | before (lines) | after (lines) | changed |
|---|---|---|---|
| Agents | 54 | 54 | |
| AlphaZero | 164 | 164 |
Reports for the 115 realistic projects (hub + a few direct deps with caret compat, transitive deps free; see the generator gist), before and after PR #107. Before = main at 7a14c2e (with #106); after = the PR branch. General registry as of 2026-09-08.
115 cases; 11 changed, 104 byte-identical.
| case | before (lines) | after (lines) | changed |
|---|---|---|---|
| Bloqade+big10-partial | 15 | 15 | |
| Bloqade+big20-partial | 42 | 42 |
A hub plus a few direct deps a user would add, caret compat as Pkg.add writes it, transitive deps unconstrained. Conflict triggered by bumping one companion to latest (bump), upgrading every direct dep to latest (upgrade), or adding a popular package at latest (add). General registry as of 2026-09-08. 115 distinct unsatisfiable cases from 162 generated; by trigger: {'big20-upgrade': 15, 'big20-partial': 18, 'bump2': 12, 'bump': 16, 'upgrade': 5, 'big10-upgrade': 6, 'big10-partial': 12, 'manifest-bump': 11, 'manifest-add': 15, 'add': 5}; sections by kind: {'menu': 111, 'ways': 5, 'cover': 6}.
| # | case | reqs | conflicts | kinds | lines | registry-closed | unless | flat |
|---|---|---|---|---|---|---|---|---|
| 1 | Bloqade+big20-upgrade | 27 | 4 | {'menu': 3, 'ways': 1} | 57 | 0 | 2 | 6 |
| 2 | Bloqade+big20-partial | 27 | 3 | {'menu': 3} | 43 | 0 | 3 | 5 |
| 3 | Franklin+big20-upgrade | 22 | 2 | {'menu': 2} | 31 | 0 | 3 | 2 |
| 4 | CSV+big20-upgrade | 1 |
Reports for the 57 hard-case queries (whole-environment upgrades against the General registry, generated 2026-09-08; 15 resolve on that registry and print SATISFIABLE), before and after PR #106. Before = main at 5a85858; after = the PR commit 70ebb5e. Only heading lines differ.
57 cases; 20 changed, 37 byte-identical.
| case | before (lines) | after (lines) | changed |
|---|---|---|---|
| Agents | 54 | 54 | yes |
| AlphaZero | 164 | 164 | yes |