AlgoScan

Replace _resolve_transitive chain resolution with a validation assert.
Both the hash-based pass and SCC pass always replace with VN
representatives, which are never themselves replacement targets, so
chains cannot form. Asserting this invariant (via InternalError) is
safer than silently resolving — a chain would indicate a bug in the
replacement logic.

Co-Authored-By: Claude Opus 4.6 (1M context) <noreply@anthropic.com>

- Fix phi_congruence test to exercise GVN redundant phi path (lines
  279-288) by using commutative operand order (a|b vs b|a) so the
  frontend keeps them as separate registers but GVN canonicalises them
  to the same VN
- Convert unreachable defensive guards to raise InternalError (arity
  mismatch, replacement cycle, multi-external-VN SCC, missing VN
  representative) — these are excluded from coverage via .coveragerc

Co-Authored-By: Claude Opus 4.6 (1M context) <noreply@anthropic.com>

After hash-based numbering, build a phi dependency graph and find SCCs.
Within each non-trivial SCC, check if all phis have the same set of
external (non-SCC) argument VNs. If so, they're all congruent and can
be merged.

Catches patterns like phi(a,y)/phi(b,x) where a==b that hash-based
GVN misses due to back-edge conservatism.

Adds test_cases/phi_congruence with contracts exercising cross-assignment
loops (SCC size 2), triple rotation cycles (SCC size 3), and a
redundant phi pattern.

Co-Authored-By: Claude Opus 4.6 (1M context) <noreply@anthropic.com>

After hash-based numbering, build a phi dependency graph and find SCCs.
Within each non-trivial SCC, check if all phis have the same set of
external (non-SCC) argument VNs. If so, they're all congruent and can
be merged.

Catches patterns like phi(a,y)/phi(b,x) where a==b that hash-based
GVN misses due to back-edge conservatism. No impact on current test
suite (no such patterns exist), but zero-cost when not triggered.

Co-Authored-By: Claude Opus 4.6 (1M context) <noreply@anthropic.com>

PRE produces net regressions on current test suite: phi/stack overhead
exceeds savings for the cheap expressions that pass the safety filter.
Also fixes oscillation bugs (infinite optimizer loop from PRE insert
then GVN eliminate cycling).

Infrastructure remains in gvn_pre.py for future work. Key remaining
issues:
- Need heuristics to skip insertions where overhead > benefit
- Need robust no-op detection to prevent optimizer loop oscillation
- Critical edge splitting interacts poorly with the fixed-point loop

Co-Authored-By: Claude Opus 4.6 (1M context) <noreply@anthropic.com>

Bumps [typescript](https://github.com/microsoft/TypeScript) from 5.9.3 to 6.0.2.
- [Release notes](https://github.com/microsoft/TypeScript/releases)
- [Commits](https://github.com/microsoft/TypeScript/compare/v5.9.3...v6.0.2)

---
updated-dependencies:
- dependency-name: typescript
  dependency-version: 6.0.2
  dependency-type: direct:development
  update-type: version-update:semver-major
...

Signed-off-by: dependabot[bot] <support@github.com>

Updates the requirements on [@typescript-eslint/parser](https://github.com/typescript-eslint/typescript-eslint/tree/HEAD/packages/parser) to permit the latest version.
- [Release notes](https://github.com/typescript-eslint/typescript-eslint/releases)
- [Changelog](https://github.com/typescript-eslint/typescript-eslint/blob/main/packages/parser/CHANGELOG.md)
- [Commits](https://github.com/typescript-eslint/typescript-eslint/commits/v8.57.2/packages/parser)

---
updated-dependencies:
- dependency-name: "@typescript-eslint/parser"
  dependency-version: 8.57.2
  dependency-type: direct:development
...

Signed-off-by: dependabot[bot] <support@github.com>

Updates the requirements on [@typescript-eslint/eslint-plugin](https://github.com/typescript-eslint/typescript-eslint/tree/HEAD/packages/eslint-plugin) to permit the latest version.
- [Release notes](https://github.com/typescript-eslint/typescript-eslint/releases)
- [Changelog](https://github.com/typescript-eslint/typescript-eslint/blob/main/packages/eslint-plugin/CHANGELOG.md)
- [Commits](https://github.com/typescript-eslint/typescript-eslint/commits/v8.57.2/packages/eslint-plugin)

---
updated-dependencies:
- dependency-name: "@typescript-eslint/eslint-plugin"
  dependency-version: 8.57.2
  dependency-type: direct:development
...

Signed-off-by: dependabot[bot] <support@github.com>

Add Partial Redundancy Elimination module (gvn_pre.py) integrated into
the GVN pass. Flow: number -> PRE insert -> re-number -> eliminate.

Key components:
- ANTIC_IN/AVAIL_OUT dataflow analysis
- Recursive materialisation: when operands aren't available at the
  insertion point, recursively insert the expressions that produce them
- Dominance-aware leader lookup via idom tree
- Safety filter: only non-trapping ops can be inserted on new paths
- Critical edge splitting before insertion

Refactors GVN to separate _number_values from elimination so PRE can
hook between them.

Currently produces net regressions due to phi/split-block overhead
exceeding savings on cheap single-instruction ops. Needs filtering
to skip expressions where hoisting overhead exceeds the benefit.

Co-Authored-By: Claude Opus 4.6 (1M context) <noreply@anthropic.com>

fix: unsupported type error when cloning object with Account, Application or Asset property

fix: correct default sender for inner txns and creator for new contracts

Make the two ways to get asset params output more consistent

Add tests to show acfg is handled properly in delta merging