Repository navigation

Pruned model + Zippy laws + meet_k_path_into - #171

Draft

imlvts wants to merge 14 commits into

Adam-Vandervorst:focus_value_consistencyfrom

imlvts:spec/zippy-laws-fvc

Draft

Pruned model + Zippy laws + meet_k_path_into#171
imlvts wants to merge 14 commits into
Adam-Vandervorst:focus_value_consistencyfrom
imlvts:spec/zippy-laws-fvc

Commits on Oct 2, 2026
- lean: a second model, for the dangling-path-free subset
  
  imlvts
  and
  claude
  committed
  d35ef9e
- differential: a fuzzer for the dangling-path-free subset
  
  imlvts
  and
  claude
  committed
  413e896
- lean: triage the first 300 inputs of the pruned fuzzer
  
  imlvts
  and
  claude
  committed
  d0d9430
- lean: classify the dangling-path shape by what did not move
  
  imlvts
  and
  claude
  committed
  80528d0
- lean: check the pruned findings against fuzz-fixes-v3
  
  imlvts
  and
  claude
  committed
  1227748
- lean: prove the lattice laws for the pruned model
  
  imlvts
  and
  claude
  committed
  a40c286
- lean: state the lattice laws as equations
  
  imlvts
  and
  claude
  committed
  68daaec
- lean: name the per-instance laws, and prove non-commutativity at the trie level
  
  imlvts
  and
  claude
  committed
  ff435c1
- lean: can a trie be a value? Not PrunedMap; yes CMap
  
  imlvts
  and
  claude
  committed
  09831e3
- lean: carry the canonical form in PrunedMap's type
  
  imlvts
  and
  claude
  committed
  2075f94
- Model: join_map_into merges the value status instead of discarding it
  
  imlvts
  and
  claude
  committed
  da27343
- lean: correct two attributions this model's findings depend on
  
  imlvts
  and
  claude
  committed
  84168b1
Commits on Oct 28, 2026
- Merge spec/pruned-model-resync; prove Zippy's set algebra on focus_value_consistency
  imlvts
  committed
  1c7b02c
- differential: stop skipping ops focus_value_consistency fixed
  imlvts
  committed
  f3e442e

Commits

Commits on Oct 2, 2026

Commits on Oct 28, 2026