Skip to content

ALERT-4: the falsifier alert's decision as a pure function over sixteen terminal arms #7935

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
briansrls merged 28 commits into from
Aug 8, 2026
Merged

ALERT-4: the falsifier alert's decision as a pure function over sixteen terminal arms #7935

Show file tree
Hide file tree
Changes from all commits
Commits
Show all changes
28 commits
Select commit Hold shift + click to select a range
538802b
ALERT-3.5: strict input boundary before the decision algebra consumes it
Aug 6, 2026
9b3f394
review 49571: split the component-summary decoder so only index admit…
Aug 6, 2026
ddd19d7
review 49594: emit selection_degradation on every path so encode/deco…
Aug 6, 2026
1e90290
ALERT-4: the falsifier alert's decision as a pure function over eleve…
Aug 6, 2026
5fabf80
carry the guard-order divergence reasoning in the witness carrier, no…
Aug 6, 2026
b457d60
review 49641: alert_decision takes the decoding, not the peeled incid…
Aug 6, 2026
32ae6ed
review 49651: delete the forked throttle decision, keep its payload-d…
Aug 6, 2026
2bc74cb
review 49672: name the Bool helpers as a witness surface, and why no …
Aug 6, 2026
72665e9
drop import-only symbols left behind by the consolidation
Aug 6, 2026
aa20c1a
operator verdict on #7928: type the decision-grain boundary
Aug 7, 2026
b01289c
Merge branch 'session/calm-fox-748-alert35' into session/calm-fox-748…
Aug 7, 2026
3d01e1b
review 49774: import the symbols the new claims call
Aug 7, 2026
be32093
Merge branch 'session/calm-fox-748-alert35' into session/calm-fox-748…
Aug 7, 2026
2d77759
operator verdict on #7935: the four missing facts, plus the conclusio…
Aug 7, 2026
e2a0a58
review 49807: fold the duplicated import blocks
Aug 7, 2026
5981ea2
correct the arm counts in prose against the live coproduct
Aug 7, 2026
8515afd
operator live-head B and C: validate the outcome/mode pair, read outp…
Aug 7, 2026
5b58883
Merge branch 'session/calm-fox-748-alert35' into session/calm-fox-748…
Aug 7, 2026
98726f9
operator live-head 1-4 on #7935: observer-before-receipt, first-red s…
Aug 7, 2026
49a9dd7
CI: write out the wildcard arms the non-fold-residue lens counts
Aug 7, 2026
3b991e8
Merge branch 'session/calm-fox-748-alert35' into session/calm-fox-748…
Aug 7, 2026
e4c6571
review 49908: FirstRedStanding has one authority, in the state module
Aug 7, 2026
88d6726
review 49927: IncidentLegacy carries the standing, not a bare instant
Aug 7, 2026
c86d46d
review 49947: one representation for controller failures, and the not…
Aug 7, 2026
df8d4f2
review 49971: the migration witness reads first_red as a standing
Aug 7, 2026
23f8b0a
Merge remote-tracking branch 'origin/main' into session/calm-fox-748-…
Aug 7, 2026
0efdae4
delete the dead red_receipt_other_class helper the naming-hygiene wal…
Aug 7, 2026
0f2dbd0
review 50351: throttle the observer path with the same window as the …
Aug 7, 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
Loading
Loading