Lower branch-yield result joins into Core - #194

Merged

flyingrobots merged 26 commits into

mainfrom

feature/core-branch-result-joins

Aug 20, 2026

Commits on Aug 18, 2026

feat: lower branch-yield result joins
flyingrobots
committed
ab765f9
merge bounded compiler review fixes
flyingrobots
committed
5c2d762

Commits on Aug 19, 2026

merge Wasmtime security update
flyingrobots
committed
8115372
merge provider fixture inventory refresh
flyingrobots
committed
bbb020d
merge parallel fixture isolation
flyingrobots
committed
5a8246d
fix: enforce branch-yield effect profiles
flyingrobots
committed
cd1337d
merge imported type review fixes
flyingrobots
committed
bae3229
fix: preserve branch-yield analysis state
flyingrobots
committed
543bd44
merge lawpack authority review fixes
flyingrobots
committed
4eff0c0
fix: compare branch record shapes structurally
flyingrobots
committed
f3aeab2
merge exact lawpack review fixes
flyingrobots
committed
ce811c3
fix: reject effectful pure helper overlaps
flyingrobots
committed
244a664

Commits on Aug 20, 2026

merge main into core branch result joins
flyingrobots
committed
d8ba503
fix: preserve branch-yield common types
flyingrobots
committed
6125f73
fix: preserve branch source identities
flyingrobots
committed
ef86de4
refactor: share branch result joins
flyingrobots
committed
fba5169
test: tighten branch join evidence
flyingrobots
committed
f85d10d
test: calibrate branch join boundaries
flyingrobots
committed
44ef8c9
fix: bound nested branch inference
flyingrobots
committed
62d1951
test: harden branch identity evidence
flyingrobots
committed
bedfca8
fix: preserve structural branch inference
flyingrobots
committed
dd02ff5
fix: join complementary branch records
flyingrobots
committed
6af5143
fix: bound joint branch inference
flyingrobots
committed
db00880
docs: calibrate branch inference evidence
flyingrobots
committed
49a7803
fix: join bounded record fields
flyingrobots
committed
2471918
fix: join bounded list dimensions
flyingrobots
committed
8a2d021