Repository navigation

feat(Frontier/TensorNetwork): entries of the Lemma D.2 incidence network and their native certificate - #2087

Open

SamuelSchlesinger wants to merge 6 commits into

claude/lemma-d2-networkfrom

claude/lemma-d2-entry

Open

feat(Frontier/TensorNetwork): entries of the Lemma D.2 incidence network and their native certificate#2087
SamuelSchlesinger wants to merge 6 commits into
claude/lemma-d2-networkfrom
claude/lemma-d2-entry

Commits on Oct 31, 2026
- Merge remote-tracking branch 'origin/claude/d1-of-entry' into claude/lemma-d2-entry
  
  SamuelSchlesinger
  and
  claude
  committed
  c665017
- wip(Frontier/TensorNetwork): incidence entries and their polynomial-time steps
  
  SamuelSchlesinger
  and
  claude
  committed
  66c6e9c
- Merge branch 'claude/lemma-d2-network' into claude/lemma-d2-entry
  
  SamuelSchlesinger
  and
  claude
  committed
  2a20dbd
- feat(Frontier/TensorNetwork): native certificate of the incidence entries of Lemma D.2
  
  SamuelSchlesinger
  and
  claude
  committed
  a512d53
- Merge branch 'claude/lemma-d2-network' into claude/lemma-d2-entry
  
  SamuelSchlesinger
  and
  claude
  committed
  2de5265
- fix(Frontier/TensorNetwork): hygiene and simp-lemma lint in the incidence entries
  
  SamuelSchlesinger
  and
  claude
  committed
  5acbbcc