Skip to content

File two recurring failure classes found in this session, and give positional_citation its edit-form instance #10052

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Merged
gunbai-bot merged 9 commits into from
Sep 2, 2026
Merged

File two recurring failure classes found in this session, and give positional_citation its edit-form instance #10052

Show file tree
Hide file tree
Changes from all commits
Commits
Show all changes
9 commits
Select commit Hold shift + click to select a range
196c892
File the harm-axis class: a hedged BENEFIT claim reads as diligence w…
Sep 2, 2026
ab68adf
The silent no-op append is positional_citation in EDIT form — append …
Sep 2, 2026
37bb29f
Merge remote-tracking branch 'origin/main' into session/sunny-gull-27…
Sep 2, 2026
56b39c0
File the expiring-receipt class: a receipt names a PROPERTY and never…
Sep 2, 2026
390e6f4
Strengthen the expiring-receipt trigger: the capability already exist…
Sep 2, 2026
d794718
Merge main into the roster branch: resolve the additive roster confli…
Sep 2, 2026
1b07250
Name the instrument instead of transcribing it, in the row and its pr…
Sep 2, 2026
13c2dfe
Merge remote-tracking branch 'origin/main' into session/sunny-gull-27…
Sep 2, 2026
a02fbd6
Merge main again: #10053's row joins mine additively, projections re-…
Sep 2, 2026
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
2 changes: 2 additions & 0 deletions DESIGN.md
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -243,6 +243,8 @@ One row per class, each carrying its recognition rule and its receipts, in [docs
- `predicate_vacuously_true_on_an_empty_domain`
- `check_subject_narrower_than_its_declared_claim`
- `recurrence_ledger_scoped_below_the_recurrence`
- `hedged_benefit_leaves_the_harm_axis_unexamined`
- `receipt_names_a_property_not_the_tree_it_holds_of`

## Building & checks

Expand Down
Loading
Loading