Skip to content

fix: resolve paper compilation errors and correct example narrative#699

Merged
zazabap merged 1 commit intomainfrom
fix-paper-compile-errors
Mar 19, 2026
Merged

fix: resolve paper compilation errors and correct example narrative#699
zazabap merged 1 commit intomainfrom
fix-paper-compile-errors

Conversation

@isPANN
Copy link
Copy Markdown
Collaborator

@isPANN isPANN commented Mar 19, 2026

Summary

  • PrimeAttributeName & ConsecutiveOnesSubmatrix: replace nonexistent x.samples / x.optimal keys with x.optimal_config, fixing typst compile errors
  • references.bib: add missing booth1976 bibliography entry (Booth & Lueker, JCSS 1976) referenced by the ConsecutiveOnesSubmatrix section
  • StrongConnectivityAugmentation: fix incorrect claim that "all [candidate arcs] are individually within budget" — the direct arc (v4,v0) has weight 10 > B=8, so the narrative now explains the two-hop return path v4→v1→v0

Test plan

  • typst compile --root . docs/paper/reductions.typ succeeds with no errors

🤖 Generated with Claude Code

- PrimeAttributeName: replace nonexistent `x.samples` / `x.optimal` with
  `x.optimal_config` and a computed satisfying-count
- ConsecutiveOnesSubmatrix: same `x.samples` fix
- Add missing `booth1976` bibliography entry (Booth & Lueker, JCSS 1976)
- StrongConnectivityAugmentation: fix incorrect claim that all candidate
  arcs are within budget — the direct arc (v4,v0) has weight 10 > B=8,
  so the narrative now explains the two-hop return path

Co-Authored-By: Claude Opus 4.6 (1M context) <[email protected]>
@codecov
Copy link
Copy Markdown

codecov bot commented Mar 19, 2026

Codecov Report

✅ All modified and coverable lines are covered by tests.
✅ Project coverage is 97.31%. Comparing base (0ef0b87) to head (b6207af).
⚠️ Report is 2 commits behind head on main.

Additional details and impacted files
@@           Coverage Diff           @@
##             main     #699   +/-   ##
=======================================
  Coverage   97.31%   97.31%           
=======================================
  Files         324      324           
  Lines       41853    41853           
=======================================
  Hits        40731    40731           
  Misses       1122     1122           

☔ View full report in Codecov by Sentry.
📢 Have feedback on the report? Share it here.

🚀 New features to boost your workflow:
  • ❄️ Test Analytics: Detect flaky tests, report on failures, and find test suite problems.

Copy link
Copy Markdown
Collaborator

@zazabap zazabap left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

All CI checks pass. LGTM.

@zazabap zazabap merged commit ed1b160 into main Mar 19, 2026
5 checks passed
@isPANN isPANN deleted the fix-paper-compile-errors branch March 19, 2026 05:29
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants