fjs/edag

• amnesia/
• analysis/
• memo/
• operations/
• rust/

• README.md
• execution-models.md
• module.f.mjs
• proof.f.mjs
• types.ts

• analysis.md
• entry.md
• graph-visualizer.md
• identity-shared-walks.md
• is-operator.md
• leaf-dedup.md
• readme-current-state.md
• rust-schema-codegen.md
• scope-and-identity-free-nodes.md
• stack-safety.md

Idle. Press Run to start the suite.

• ./amnesia/proof.f.mjs
• ./analysis/proof.f.mjs
• ./memo/proof.f.mjs
• ./operations/proof.f.mjs
• ./proof.f.mjs
• ./rust/proof.f.mjs