Add typechecker DRT target comparing the typed expression (#840) - #995

Open

repowazdogz-droid wants to merge 10 commits into

cedar-policy:mainfrom

repowazdogz-droid:drt-typed-expression-840

Commits on Jul 30, 2026

Typed-expression differential testing for Rust vs Lean (issue #840)

repowazdogz-droid
and
claude
committed
0cb33ec
Wire the #840 typed-expression comparison as a fuzz target

repowazdogz-droid
and
claude
committed
f71baa7
Record the posted #840 reply and the 40k-run survey tally

repowazdogz-droid
and
claude
committed
17a1e05
Classify constant folding separately and give the survey a denominator

repowazdogz-droid
and
claude
committed
5b1cfba
Add the PR draft

repowazdogz-droid
and
claude
committed
e169329
Drop em-dash from PR draft header

repowazdogz-droid
and
claude
committed
ce44a53
Add the measured rate with its caveat to the PR draft

repowazdogz-droid
and
claude
committed
9a5d69f
Drop working notes from the branch, keep the encoding probes

repowazdogz-droid
and
claude
committed
6de644f
Fix eid double-escaping and clean up the branch for review
repowazdogz-droid
committed
c3938c3

Commits on Aug 1, 2026

Declare Rust-Irrelevant against Lean-error a representational difference
repowazdogz-droid
committed
2c6eb0a