Repository navigation

Lower bounded pure Core programs into generic Target IR - #201

Merged

flyingrobots merged 37 commits into

mainfrom

feature/generic-pure-target-ir

Sep 7, 2026

Merged

Lower bounded pure Core programs into generic Target IR#201
flyingrobots merged 37 commits into
mainfrom
feature/generic-pure-target-ir

Commits on Aug 23, 2026
- feat: lower bounded pure Core programs
  flyingrobots
  committed
  603d94f
- test: close pure target evidence gaps
  flyingrobots
  committed
  2ae03bd
- Fix: pin effect-free configuration witness
  flyingrobots
  committed
  65e893f
- Fix: scope application configuration to selected profiles
  flyingrobots
  committed
  adc1bf6
- Add exact-length byte types
  flyingrobots
  committed
  b8e30c7
- Fix imported nominal Core resolution
  flyingrobots
  committed
  68633c4
Commits on Aug 24, 2026
- Add explicit nominal lawpack types
  flyingrobots
  committed
  39a796d
- Fix: validate pure Core identities before lowering
  flyingrobots
  committed
  3904c0a
- Test: prove profile selection through application build
  flyingrobots
  committed
  f96d5c0
- Docs: align exact-byte grammar and validation notes
  flyingrobots
  committed
  986c362
- Fix: preserve imported byte intervals
  flyingrobots
  committed
  2fec8e0
- Fix: reject duplicate Target IR local identities
  flyingrobots
  committed
  15bdab4
- Fix: enforce string canonicality before lowering
  flyingrobots
  committed
  920e88c
- Test: reject mismatched selected profile configuration
  flyingrobots
  committed
  12febd2
Commits on Sep 3, 2026
- Fix narrow Core integer lowering
  flyingrobots
  committed
  240bf28
- Validate pure conditional predicates
  flyingrobots
  committed
  eea74dd
- Reject ambiguous Target IR local producers
  flyingrobots
  committed
  ff82f0b
- Enforce complete helper byte intervals
  flyingrobots
  committed
  733b71b
- Retain helper signature types in Core
  flyingrobots
  committed
  79f2250
- Use resolvable review provenance
  flyingrobots
  committed
  6a9baa8
- Update Wasmtime to patched 46.0.3
  flyingrobots
  committed
  7131527
- Refresh provider fixture source provenance
  flyingrobots
  committed
  004cade
- Present byte bound comparisons as tables
  flyingrobots
  committed
  fe1d533
- Validate nested pure conditional predicates
  flyingrobots
  committed
  00239d6
- Select configurations from Core-used effects
  flyingrobots
  committed
  ce57b2f
- Resolve ranged Core byte coordinates
  flyingrobots
  committed
  59b0711
- Bind pure helper calls to lawpack authority
  flyingrobots
  committed
  61f7991
- Seal helper authority and align lowering boundaries
  flyingrobots
  committed
  d2ce7b8
- Validate copied expressions and join byte intervals
  flyingrobots
  committed
  a3034b9
- Preserve profile identity and infer conditional joins
  flyingrobots
  committed
  3db7bb2
- Close Target IR and profile authority gaps
  flyingrobots
  committed
  b83b07e
- Repair Target IR authority validation
  flyingrobots
  committed
  b394974
- Repair remaining Target IR validation gaps
  flyingrobots
  committed
  776f1bf
- fix(target-ir): enforce semantic parity
  flyingrobots
  committed
  e8dc699
- fix(core-ir): separate structural and named identities
  flyingrobots
  committed
  2eb98da
Commits on Sep 4, 2026
- fix(core-ir): validate complete module type integrity
  flyingrobots
  committed
  99efde2
Commits on Sep 7, 2026
- fix(core-ir): enforce expanded named-type depth
  flyingrobots
  committed
  069dba5

Commits

Commits on Aug 23, 2026

Commits on Aug 24, 2026

Commits on Sep 3, 2026

Commits on Sep 4, 2026

Commits on Sep 7, 2026