didericis

didericis pushed to codex/prd-codex-host-credentials at didericis/bot-bottle

2026-06-01 17:23:55 -04:00

a8b2237964 refactor(codex): derive trusted paths from guest home

didericis pushed to codex/prd-codex-host-credentials at didericis/bot-bottle

2026-06-01 17:16:21 -04:00

1d2dfeefa4 fix(codex): trust launch home directory

didericis pushed to codex/prd-codex-host-credentials at didericis/bot-bottle

2026-06-01 17:14:03 -04:00

3942b51184 fix(codex): trust bottle workspace on launch

didericis pushed to codex/prd-codex-host-credentials at didericis/bot-bottle

2026-06-01 17:07:21 -04:00

3060dc553c fix(smolmachines): reset codex runtime db before auth check

didericis pushed to codex/prd-codex-host-credentials at didericis/bot-bottle

2026-06-01 16:41:19 -04:00

8e5262b539 fix(codex): make host-credential bottles actually authenticate

237afce844 fix(codex): include account claims in dummy auth

91d6f5d8d2 fix(codex): provision dummy user auth state

55117c5ff4 fix(codex): forward host credentials to api route

1a5ea3b713 feat(codex): inject host credentials via egress

Compare 10 commits »

didericis pushed to master at didericis/math-research

2026-06-01 15:29:42 -04:00

88c74efd28 Add tire inner-boundary three-colour conjecture

didericis deleted branch fix/git-gate-daemon-timeouts from didericis/bot-bottle

2026-06-01 14:38:26 -04:00

didericis pushed to main at didericis/bot-bottle

2026-06-01 14:38:23 -04:00

6ea19a8d53 fix(git-gate): use smart http for smolmachines pushes

630e65e9a4 test(egress): cover blocked git push fail-fast

7bffaa791c fix(git-gate): shorten daemon client timeout

de2267d1b4 fix(git-gate): bound daemon client sessions

Compare 4 commits »

didericis closed issue didericis/bot-bottle#113

2026-06-01 14:38:21 -04:00

Interrupted git-gate pushes can leave receive-pack sessions wedged

didericis merged pull request didericis/bot-bottle#114

2026-06-01 14:38:20 -04:00

fix(git-gate): bound daemon client sessions

didericis pushed to master at didericis/math-research

2026-06-01 13:34:54 -04:00

31186a1f8c Remove source check count from table

didericis pushed to master at didericis/math-research

2026-06-01 13:33:35 -04:00

fdab1e2e33 Simplify level-cycle search table

didericis pushed to master at didericis/math-research

2026-06-01 13:10:54 -04:00

7e684e41a0 Add planar counterexample figure

didericis pushed to master at didericis/math-research

2026-06-01 02:02:11 -04:00

15fc7c3b8f Record level-cycle coloring conjectures

didericis pushed to master at didericis/math-research

2026-06-01 01:43:11 -04:00

f71852efd2 Add tire chromatic transfer content

didericis pushed to master at didericis/math-research

2026-06-01 01:41:21 -04:00

236a3f8288 Add level-cycle coloring conjecture

didericis pushed to master at didericis/math-research

2026-06-01 00:19:16 -04:00

2bbd863643 coloring_nested_tire_graphs: rename induced tire graph C -> T_{C'}

92f5efc3f1 coloring_nested_tire_graphs: notation cleanup pass

Compare 2 commits »

didericis approved didericis/bot-bottle#114

2026-05-29 23:54:43 -04:00

fix(git-gate): bound daemon client sessions

didericis commented on pull request didericis/bot-bottle#114

2026-05-29 23:52:19 -04:00

fix(git-gate): bound daemon client sessions

Sounds good, keep it

didericis commented on pull request didericis/bot-bottle#114

2026-05-29 23:36:02 -04:00

fix(git-gate): bound daemon client sessions

Would prefer we not roll our own git http handler/seems like we should be using either something already build into git (does it not have an inbuilt tool to do this) or some very lightweight, standard tool.