Drop the deleted alias plug from FORGEAPI-002's evidence

308fd68bbdd6 · AtlantisPleb · · parent deda77c320bd

Drop the deleted alias plug from FORGEAPI-002's evidence

Deleting the /api/v3 alias left the invariant citing two files that no
longer exist, which the documentation check reads as a broken evidence
path. The posture proof is the evidence that survives the deletion, which
is the point of it.

Co-Authored-By: Claude Opus 5 (1M context) <noreply@anthropic.com>
Claude-Session: https://claude.ai/code/session_01KnhfrafYx5ZGaMbzZEJQ2d
Co-Authored-By
Claude Opus 5 (1M context) <noreply@anthropic.com>

Deploy story

What this commit did to the running system — joined from the forge receipt chain, the part a commit page elsewhere cannot show.

pushed
by user · WAL seq 408 · 2026-08-25T15:42:08.394894Z

Changed files

  • modified INVARIANTS.md

Diff

1 file changed, +4 -6

INVARIANTS.md modified +4 -6

@@ -5769,11 +5769,9 @@ returned a `url` field naming `/api/v3/traces/{id}`, a link that went dead the

5769 5769
day the alias did. Every versioned route is declared at `/api/v1` and every URL
5770 5770
a response emits names `/api/v1`.
5771 5771
5772
Evidence: `lib/openagents_web/plugs/api_v3_rewrite.ex`,
5773
`lib/openagents_web/router.ex`,
5774
`lib/openagents_web/controllers/trace_controller.ex`,
5775
`test/openagents_web/api_version_posture_test.exs`, and
5776
`test/openagents_web/plugs/api_v3_rewrite_test.exs`.
5772
Evidence: `lib/openagents_web/router.ex`,
5773
`lib/openagents_web/controllers/trace_controller.ex`, and
5774
`test/openagents_web/api_version_posture_test.exs`.
5777 5775
5778 5776
## Executable proof index
5779 5777

@@ -5814,7 +5812,7 @@ contract; the invariant prose above defines the assertion, not the filename.

5814 5812
| NOTIFY-001 | `test/openagents/notifications_test.exs`, `test/openagents/notifications/email_channel_test.exs`, `test/openagents/notifications/email_delivery_test.exs`, `test/openagents/notifications/delivery_test.exs`, `test/openagents_web/live/notifications_live_test.exs` |
5815 5813
5816 5814
| FORGEAPI-001 | `test/openagents_web/controllers/api_error_contract_test.exs`, `test/openagents_web/controllers/api_extension_controller_test.exs`, `test/openagents_web/api_error_test.exs`, `test/openagents_web/controllers/issue_controller_test.exs` |
5817
| FORGEAPI-002 | `test/openagents_web/api_version_posture_test.exs`, `test/openagents_web/plugs/api_v3_rewrite_test.exs` |
5815
| FORGEAPI-002 | `test/openagents_web/api_version_posture_test.exs` |
5818 5816
| DATA-001 | `test/openagents/conversations_test.exs` |
5819 5817
| DATA-002 | `test/openagents/accounts_test.exs`, `test/openagents/conversations_test.exs` |
5820 5818
| DATA-003 | `test/openagents/conversations_test.exs` |

This page updates live while a promote is in flight · changelog