Skip to content
Merged
Show file tree
Hide file tree
Changes from all commits
Commits
Show all changes
26 commits
Select commit Hold shift + click to select a range
ab765f9
feat: lower branch-yield result joins
flyingrobots Aug 18, 2026
5c2d762
merge bounded compiler review fixes
flyingrobots Aug 18, 2026
8115372
merge Wasmtime security update
flyingrobots Aug 19, 2026
bbb020d
merge provider fixture inventory refresh
flyingrobots Aug 19, 2026
5a8246d
merge parallel fixture isolation
flyingrobots Aug 19, 2026
cd1337d
fix: enforce branch-yield effect profiles
flyingrobots Aug 19, 2026
bae3229
merge imported type review fixes
flyingrobots Aug 19, 2026
543bd44
fix: preserve branch-yield analysis state
flyingrobots Aug 19, 2026
4eff0c0
merge lawpack authority review fixes
flyingrobots Aug 19, 2026
f3aeab2
fix: compare branch record shapes structurally
flyingrobots Aug 19, 2026
ce811c3
merge exact lawpack review fixes
flyingrobots Aug 19, 2026
244a664
fix: reject effectful pure helper overlaps
flyingrobots Aug 19, 2026
d8ba503
merge main into core branch result joins
flyingrobots Aug 20, 2026
6125f73
fix: preserve branch-yield common types
flyingrobots Aug 20, 2026
ef86de4
fix: preserve branch source identities
flyingrobots Aug 20, 2026
fba5169
refactor: share branch result joins
flyingrobots Aug 20, 2026
f85d10d
test: tighten branch join evidence
flyingrobots Aug 20, 2026
44ef8c9
test: calibrate branch join boundaries
flyingrobots Aug 20, 2026
62d1951
fix: bound nested branch inference
flyingrobots Aug 20, 2026
bedfca8
test: harden branch identity evidence
flyingrobots Aug 20, 2026
dd02ff5
fix: preserve structural branch inference
flyingrobots Aug 20, 2026
6af5143
fix: join complementary branch records
flyingrobots Aug 20, 2026
db00880
fix: bound joint branch inference
flyingrobots Aug 20, 2026
49a7803
docs: calibrate branch inference evidence
flyingrobots Aug 20, 2026
2471918
fix: join bounded record fields
flyingrobots Aug 20, 2026
8a2d021
fix: join bounded list dimensions
flyingrobots Aug 20, 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
19 changes: 13 additions & 6 deletions crates/edict-cli/src/main.rs
Original file line number Diff line number Diff line change
Expand Up @@ -1508,15 +1508,22 @@ fn core_node_review(node: &CoreNode) -> Value {
"body": core_block_review(body),
}),
CoreNode::Branch {
binding,
predicate,
then_block,
else_block,
} => json!({
"kind": "branch",
"predicate": core_predicate_review(predicate),
"then": core_block_review(then_block),
"else": core_block_review(else_block),
}),
} => {
let mut review = json!({
"kind": "branch",
"predicate": core_predicate_review(predicate),
"then": core_block_review(then_block),
"else": core_block_review(else_block),
});
if let Some(binding) = binding {
review["binding"] = local_ref_review(binding);
}
review
}
}
}

Expand Down
19 changes: 13 additions & 6 deletions crates/edict-syntax/src/canonical.rs
Original file line number Diff line number Diff line change
Expand Up @@ -1108,15 +1108,22 @@ fn core_node_value(node: &CoreNode) -> Result<CanonicalValue, CanonicalError> {
("body", core_block_value(body)?),
])),
CoreNode::Branch {
binding,
predicate,
then_block,
else_block,
} => Ok(map([
("kind", text("branch")),
("predicate", core_predicate_value(predicate)?),
("then", core_block_value(then_block)?),
("else", core_block_value(else_block)?),
])),
} => {
let mut fields = vec![
("kind", text("branch")),
("predicate", core_predicate_value(predicate)?),
("then", core_block_value(then_block)?),
("else", core_block_value(else_block)?),
];
if let Some(binding) = binding {
fields.push(("binding", local_ref_value(binding)));
}
Ok(map(fields))
}
}
}

Expand Down
Loading