didericis

0 Followers · 0 Following

• Joined on 2025-09-19

Repositories

6

Projects Packages Public Activity Starred Repositories

didericis created branch add-medial-tire-cuts in didericis/math-research 2026-06-14 21:39:06 -04:00

didericis pushed to split-medial-pigeonhole-programme at didericis/math-research 2026-06-14 21:08:56 -04:00

d3fc4bfc4c Split medial pigeonhole programme into its own paper

didericis created branch split-medial-pigeonhole-programme in didericis/math-research 2026-06-14 21:08:56 -04:00

didericis pushed to master at didericis/math-research 2026-06-13 00:20:29 -04:00

b2439e4bac Walkthrough: show only the medial graph in panels C and D

didericis pushed to master at didericis/math-research 2026-06-13 00:16:10 -04:00

20e2cc94b4 Fix walkthrough figure to use verified planar embeddings

didericis pushed to master at didericis/math-research 2026-06-13 00:09:44 -04:00

e7e8536559 Draw the minimal failing graph with a verified planar embedding

didericis pushed to master at didericis/math-research 2026-06-13 00:03:52 -04:00

faf9e01139 Enumerate colour/tread phase over the residue graphs

didericis pushed to master at didericis/math-research 2026-06-12 23:44:34 -04:00

9d296eb9c8 Add worked walkthrough; factor explicit phase/colorder colouring

didericis pushed to master at didericis/math-research 2026-06-12 23:08:25 -04:00

2ff712b994 Sweep all diamond insertion sites; report first-match vs full sweep

didericis pushed to master at didericis/math-research 2026-06-12 22:36:19 -04:00

c6e2c3e1a5 Add even-level-cycle colouring program harness

didericis pushed to master at didericis/math-research 2026-06-12 02:34:31 -04:00

d547076cba Verify chain-pigeonhole exhaustively for n<=14 via R_T composition fixpoint

didericis pushed to master at didericis/math-research 2026-06-12 01:57:17 -04:00

28d3d55b92 Refute the regular uniform seam family at n=15

didericis pushed to master at didericis/math-research 2026-06-12 00:54:51 -04:00

8b47af6036 n=14 branching case feasible with one regular uniform seam family

didericis pushed to master at didericis/math-research 2026-06-12 00:31:21 -04:00

2b016bc1ca Find smallest n admitting branching tiles (n=11 unrestricted, n=14 no-tri)

didericis pushed to master at didericis/math-research 2026-06-12 00:21:30 -04:00

bacbdaaf26 No-separating-triangle restriction removes the chained-seam obstruction

didericis pushed to master at didericis/math-research 2026-06-11 23:51:41 -04:00

1aa76a5226 Plot the n=12 size-7 universal breaker tile

didericis pushed to master at didericis/math-research 2026-06-11 23:40:51 -04:00

a724a50344 Track odd-size universal trend; the n=12 failure is sporadic, not a trend

didericis pushed to master at didericis/math-research 2026-06-11 23:22:31 -04:00

b1100b41d9 Add chained-seam findings note (medial pigeonhole)

didericis pushed to master at didericis/math-research 2026-06-11 23:16:30 -04:00

b656b6aed3 Add transfer-relation & uniform-family probes (chained-seam / pigeonhole)

didericis pushed to master at didericis/math-research 2026-06-11 22:52:42 -04:00

aecbc5ed28 Add tile-overlap probe: per-tile interface subsets always glue