Skip to content

Restore emit_field_eval_alt_descent_producer_tree for field-access witness #8097

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 3 commits into from
Aug 10, 2026
Merged

Restore emit_field_eval_alt_descent_producer_tree for field-access witness #8097

Changes from all commits
Commits
Show all changes
3 commits
Select commit Hold shift + click to select a range
a8782e7
Restore emit_field_eval_alt_descent_producer_tree for field-access wi…
Aug 10, 2026
11f9d3d
Enroll alt-descent producer tree in witness naming hygiene.
Aug 10, 2026
b36a9a6
Fold alt-descent coverage into enrolled equals_eval witness.
Aug 10, 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
21 changes: 20 additions & 1 deletion src/v2/test/claim/execution/emit_host_field_access_equals_eval_test.dag
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -116,6 +116,13 @@ fn emit_field_eval_composed_facts(key: Node) -> Optional<InferredFacts> {
optional_present(value: emit_field_eval_generic_facts(node: key))
}

fn emit_field_eval_alt_descent_composed_facts(key: Node) -> Optional<InferredFacts> {
optional_present(value: emit_field_eval_facts_with_descent(
node: key,
descent_symbol: ^emit_field_eval_alt_descent
))
}

fn rust_field_access_emit_host_wrong_field_body() -> Node {
Node {
kind: ComputationNode { behavior: Transform },
Expand Down Expand Up @@ -146,7 +153,14 @@ fn emit_field_eval_producer_tree() -> Outcome<InferredTree> {
)
}

data emit_field_eval_alt_descent_producer_note: String = "Valid alternative tree for the emit-on-demand content-change probe, mirroring kernel_alt_subject_tree: same root, different facts (descent ranking symbol) -> different inferred_tree_digest -> new native key, while the emitted Rust stays the valid fn get(r: (i32,)) -> i32 { r.0 } producing octet 9. The wrong-field tree (r.1 on a 1-tuple) is NOT a valid alt: it is the semantic-mismatch RED fixture and does not compile natively (rustc E0609)."
fn emit_field_eval_alt_descent_producer_tree() -> Outcome<InferredTree> {
outcome_accepted(
value: InferredTree {
root: dag_field_access_arrow_with_body_fixture,
facts: Map { lookup: emit_field_eval_alt_descent_composed_facts }
}
)
}

fn emit_field_eval_octet_value(n: Int) -> RuntimeValue {
RuntimePrimitive {
Expand Down Expand Up @@ -367,6 +381,11 @@ test fn emit_host_field_access_equals_eval_holds() -> Bool {
match emit_field_eval_producer_tree() {
Accepted { value: tree, diagnostics: _ } =>
emit_field_eval_verdict_is_pass(run: emit_field_eval_run(tree: tree))
&& match emit_field_eval_alt_descent_producer_tree() {
Accepted { value: alt, diagnostics: _ } =>
emit_field_eval_verdict_is_pass(run: emit_field_eval_run(tree: alt))
Rejected { diagnostics: _ } => false
}
Rejected { diagnostics: _ } => false
}
}
Expand Down
Loading