Skip to content

SIGNING AUTHORITY (load-bearing 04_infer): independently verify PR #4747 (Q-B2 Branch row infer_branch_bool_if_else — cond Bool, arm unification, fail-closed mismatch) — receipts BY EXECUTION at HEAD, rule post-fold-fixup-vs-inline-gather structural question, judge grounding-bridge interim mark, enf #4775

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

Closed
briansrls wants to merge 14 commits into from
Closed

SIGNING AUTHORITY (load-bearing 04_infer): independently verify PR #4747 (Q-B2 Branch row infer_branch_bool_if_else — cond Bool, arm unification, fail-closed mismatch) — receipts BY EXECUTION at HEAD, rule post-fold-fixup-vs-inline-gather structural question, judge grounding-bridge interim mark, enf #4775

Show file tree
Hide file tree
Changes from all commits
Commits
Show all changes
14 commits
Select commit Hold shift + click to select a range
ce6590b
WIP: Q-B2: 04_infer Branch row — cond unifies Bool; then/else arm uni…
Jun 12, 2026
f2b580d
WIP: Q-B2: 04_infer Branch row — cond unifies Bool; then/else arm uni…
Jun 12, 2026
213baff
WIP: Q-B2: 04_infer Branch row — cond unifies Bool; then/else arm uni…
Jun 12, 2026
7365d84
WIP: Q-B2: 04_infer Branch row — cond unifies Bool; then/else arm uni…
Jun 12, 2026
6b088c5
WIP: Q-B2: 04_infer Branch row — cond unifies Bool; then/else arm uni…
Jun 12, 2026
525f896
WIP: Q-B2: 04_infer Branch row — cond unifies Bool; then/else arm uni…
Jun 12, 2026
2d13229
WIP: Q-B2: 04_infer Branch row — cond unifies Bool; then/else arm uni…
Jun 12, 2026
bdbc225
fix(infer): bridge constraint-solve grounding admission for Branch ro…
Jun 12, 2026
dd51351
WIP: Q-B2: 04_infer Branch row — cond unifies Bool; then/else arm uni…
Jun 12, 2026
7d8137f
refactor(test): rename branch infer claim to descriptive branch_infer…
Jun 12, 2026
f412939
WIP: Q-B2: 04_infer Branch row — cond unifies Bool; then/else arm uni…
Jun 12, 2026
65a1017
merge: bring in gentle-heron-795 (PR #4747) for signing-authority cor…
Jun 12, 2026
b896a16
fix(Q-B2): struct-carrier inline gather + admission-gate negative wit…
Jun 12, 2026
e49376c
merge: pick up b896a16dc8 fix(Q-B2) inline gather + negative witness
Jun 12, 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