didericis

0 Followers · 0 Following

• Joined on 2025-09-19

Repositories

6

Projects Packages Public Activity Starred Repositories

didericis approved didericis/bot-bottle#235 2026-06-19 18:29:18 -04:00

Unify identity/provisioned_key into key block

didericis pushed to refactor-key-block at didericis/bot-bottle 2026-06-19 18:25:26 -04:00

7a124d7d25 refactor: make static the default branch in _parse_key_config

didericis pushed to refactor-key-block at didericis/bot-bottle 2026-06-19 18:21:47 -04:00

f00c567469 rename: provisioner_token -> forge_token_env

didericis commented on pull request didericis/bot-bottle#235 2026-06-19 18:20:09 -04:00

Unify identity/provisioned_key into key block

static should be the default provider, not gitea

didericis pushed to refactor-key-block at didericis/bot-bottle 2026-06-19 18:14:23 -04:00

6f0e5b4589 refactor: extract _resolve_identity_file from prepare loop

didericis commented on pull request didericis/bot-bottle#235 2026-06-19 18:10:45 -04:00

Unify identity/provisioned_key into key block

this should be in a resolve_identity_file method

didericis pushed to refactor-key-block at didericis/bot-bottle 2026-06-19 18:10:06 -04:00

5da4d05bf2 fix: remove unused Optional import flagged by pyright

didericis pushed to refactor-key-block at didericis/bot-bottle 2026-06-19 18:02:04 -04:00

1a8718ca9d refactor: unify identity/provisioned_key into key block

didericis created branch refactor-key-block in didericis/bot-bottle 2026-06-19 18:02:03 -04:00

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

f0fdae11d4 Add 2+2 color-split outerplanar survey and decomposition figure

didericis pushed to master at didericis/math-research 2026-06-19 02:27:54 -04:00

d9007c8697 Add bridge-derived census (n=6..10) to the disjunction section

didericis deleted branch add-medial-tire-cuts from didericis/math-research 2026-06-19 01:04:02 -04:00

didericis pushed to master at didericis/math-research 2026-06-19 01:02:29 -04:00

b1d681f39e Add self-flip-neighbor survey and write-up

f54b66f857 Add double-contraction reductio strategy note

5552e07803 Add force-first Heawood labelling to the medial tire dual-cut experiment

163e453464 Reframe the constraint floor honestly as a conjecture

c482bc5633 Option 2 (direct transversal) clean form is dead too

Compare 47 commits »

didericis pushed to add-medial-tire-cuts at didericis/math-research 2026-06-19 00:59:50 -04:00

b1d681f39e Add self-flip-neighbor survey and write-up

didericis pushed to add-medial-tire-cuts at didericis/math-research 2026-06-18 23:43:52 -04:00

f54b66f857 Add double-contraction reductio strategy note

didericis pushed to add-medial-tire-cuts at didericis/math-research 2026-06-17 21:43:24 -04:00

5552e07803 Add force-first Heawood labelling to the medial tire dual-cut experiment

didericis pushed to add-medial-tire-cuts at didericis/math-research 2026-06-17 21:33:01 -04:00

163e453464 Reframe the constraint floor honestly as a conjecture

didericis pushed to add-medial-tire-cuts at didericis/math-research 2026-06-17 21:13:37 -04:00

c482bc5633 Option 2 (direct transversal) clean form is dead too

didericis pushed to add-medial-tire-cuts at didericis/math-research 2026-06-17 21:10:02 -04:00

c4339624ce Strategy A localization fails: local star-vs-fan domination is false

didericis pushed to add-medial-tire-cuts at didericis/math-research 2026-06-17 20:35:54 -04:00

d7c93cf2c2 Test induction strategy for the irreducible lemma