didericis
0 Followers · 0 Following
  • Joined on 2025-09-19
Repositories
6
 Projects Packages Public Activity Starred Repositories
didericis pushed to codex/prd-codex-host-credentials at didericis/bot-bottle 2026-06-01 22:24:52 -04:00
f8fc29ce87 refactor(manifest): remove empty EGRESS_ROLES and related plumbing
938a0e05d6 refactor(manifest): remove codex_auth egress role
f768d3a853 fix(agent): move default claude env vars to the right location
f32b7eb299 fix(agent): always emit passthrough egress route for api.anthropic.com
de9bd7eb83 feat(manifest): add agent_provider.auth_token for Claude OAuth via egress
Compare 23 commits »
didericis pushed to main at didericis/bot-bottle 2026-06-01 22:23:43 -04:00
2350cd11e0 build(images): install python3 in claude/codex bottles
didericis deleted branch prd-0029-egress-routes-via-agent-provision-plan from didericis/bot-bottle 2026-06-01 22:04:35 -04:00
didericis pushed to codex/prd-codex-host-credentials at didericis/bot-bottle 2026-06-01 22:04:35 -04:00
650f3aa93e refactor(manifest): remove empty EGRESS_ROLES and related plumbing
8a038dcceb refactor(manifest): remove codex_auth egress role
3b96de95ab fix(agent): move default claude env vars to the right location
962f8144fc fix(agent): always emit passthrough egress route for api.anthropic.com
200a113cce feat(manifest): add agent_provider.auth_token for Claude OAuth via egress
Compare 9 commits »
didericis merged pull request didericis/bot-bottle#115 2026-06-01 22:04:33 -04:00
PRD 0029: provision egress routes via AgentProvisionPlan
didericis approved didericis/bot-bottle#115 2026-06-01 22:04:17 -04:00
PRD 0029: provision egress routes via AgentProvisionPlan
650f3aa93e refactor(manifest): remove empty EGRESS_ROLES and related plumbing
didericis pushed to master at didericis/math-research 2026-06-01 21:57:09 -04:00
b175f0ab59 Refute inner-boundary conjecture with n=14 counterexample
8a038dcceb refactor(manifest): remove codex_auth egress role
didericis commented on pull request didericis/bot-bottle#115 2026-06-01 21:48:53 -04:00
PRD 0029: provision egress routes via AgentProvisionPlan

should remove this/is no longer necessary

3b96de95ab fix(agent): move default claude env vars to the right location
962f8144fc fix(agent): always emit passthrough egress route for api.anthropic.com
didericis commented on pull request didericis/bot-bottle#115 2026-06-01 21:32:10 -04:00
PRD 0029: provision egress routes via AgentProvisionPlan

Similarly to codex, we should always include these in egress routes (whether or not auth_token is present), but we shouldn't always pass the auth token

200a113cce feat(manifest): add agent_provider.auth_token for Claude OAuth via egress
didericis commented on pull request didericis/bot-bottle#115 2026-06-01 21:16:28 -04:00
PRD 0029: provision egress routes via AgentProvisionPlan

RE didericis/bot-bottle#115 (comment)

Yeah, we should include it and rescope the other PR to be about injecting provider auth credentials and other…

didericis commented on pull request didericis/bot-bottle#115 2026-06-01 21:13:35 -04:00
PRD 0029: provision egress routes via AgentProvisionPlan

RE didericis/bot-bottle#115 (comment)

Yes, this is what the user defined egress routes are currently:

egress:
  routes:
    - host:…
didericis commented on pull request didericis/bot-bottle#115 2026-06-01 21:04:48 -04:00
PRD 0029: provision egress routes via AgentProvisionPlan

This doesn't need to be a separate function, and the organization is wrong/we want the code for a specific provider to be making the decision about placeholder envs (a function which switches on different provider templates is the wrong abstraction)

didericis commented on pull request didericis/bot-bottle#115 2026-06-01 21:03:19 -04:00
PRD 0029: provision egress routes via AgentProvisionPlan

I'm not sure if auth_role needs to be declared in the agent runtime anymore either

2eb6e02ee1 refactor(agent): move placeholder env injection into agent_provision_plan
didericis pushed to master at didericis/math-research 2026-06-01 20:56:30 -04:00
59410747ea Test inner-boundary conjecture on Holton-McKay duals