didericis

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

2026-06-01 18:42:45 -04:00

1fceaae8e6 refactor(agent): move claude env defaults into plan

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

2026-06-01 18:36:19 -04:00

PRD 0029: Codex host credentials through egress

this should also be in the agent provisioner now, assuming we can evaluate has_provider_auth at that stage. If not we'll need a more generic hook to call into here/there should not be any logic specific to an specific type of agent in here anymore.

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

2026-06-01 18:32:12 -04:00

12f8c37af2 refactor(agent): surface provider env defaults

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

2026-06-01 18:16:45 -04:00

PRD 0029: Codex host credentials through egress

env provisioning should be a part of the agent provider plan/we shouldn't need to know anything about codex here.

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

2026-06-01 18:07:23 -04:00

10c009c37b refactor(agent): group provider provisioning into plan

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

2026-06-01 17:56:30 -04:00

PRD 0029: Codex host credentials through egress

Replying to didericis/bot-bottle#110 (comment)

In the future I'd like users to be able to specify their own agent provisioning logic, so we should be…

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

2026-06-01 17:33:49 -04:00

PRD 0029: Codex host credentials through egress

This should be grouped with the agent_provider template in some way/probably scoped under the agent provider, and only respected when the template is set to codex

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