feat(peps): per-edge gauge family from the insertion isomorphism (toward gaugeConsistency)#2403

Merged

LionSR merged 8 commits into

feat/peps-1367from

feat/peps-gaugeconsistency

Jun 6, 2026

Commits on Jun 5, 2026

feat(PEPS): build per-edge gauge family; correct gaugeConsistency positivity
Sirui Lu
committed
[claude-auto-fix] style(PEPS): remove disallowed unicode char in comment

github-actions[bot]
and
claude
committed

Commits on Jun 6, 2026

doc(peps): clarify positive-bond FT status
Sirui Lu
committed
Merge remote-tracking branch 'origin/feat/peps-1367' into feat/peps-gaugeconsistency
Sirui Lu
committed
doc(peps): keep gauge consistency file under guard
Sirui Lu
committed
doc(peps): align edge gauge blueprint hypotheses
Sirui Lu
committed
doc(peps): mark gauge statements formalized
Sirui Lu
committed
fix(peps): align edge gauge reindex proof
Sirui Lu
committed