docs: record the push receipt that closes issue #255 criterion (c)

docs: record the push receipt that closes issue #255 criterion (c)

§9 left criterion (c) unmet with the remaining work one query wide. That query
shipped as `edec722`, so this records the proof and supersedes §9's status
line rather than leaving a stale claim in the evidence trail.

Assignment `28adb6cb` completed, its run exited 0, and the forge recorded WAL
receipt `423` for `refs/heads/assignment/issue-255-receipt-proof` at
`89edd3c4`. The receipt's principal is the assignment, so the scoped
credential authenticated and the ref move is attributed to the attempt that
earned it.

Co-Authored-By: Claude Fable 5 <noreply@anthropic.com>
Claude-Session: https://claude.ai/code/session_01SoZMfWRSGnf6FZX2Ar9rQ2

Co-Authored-By: Claude Fable 5 <noreply@anthropic.com>
Claude-Session: https://claude.ai/code/session_01SoZMfWRSGnf6FZX2Ar9rQ2

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 425 · 2026-08-25T22:54:45.076928Z

Changed files

modified docs/2026-08-25-ox-alpha-stress-test-log.md

Diff

1 file changed, +47 -0

457	457		`404`. Criterion (c) remains unmet. The dispatch half is demonstrated live; the
458	458		`authentication half is blocked on the defect above, which is one query in`
459	459		`authenticate/1`.
	460	+
	461	+	## 10. Push receipt landed (2026-08-25, production `b1f3cc1`)
	462	+
	463	+	`§9 closed with criterion (c) unmet and the remaining work one query wide. That`
	464	+	query shipped as `edec722`: `Assignments.authenticate/1` reads the credential
	465	+	by `assignment_id`, which is the id its token carries. This section records the
	466	+	`proof and supersedes §9's status line.`
	467	+
	468	+	Box `bx_t9sq6375`, conversation `3dd6d813`, one box, stopped afterwards.
	469	+
	470	+	Assignment `28adb6cb-52d1-4824-be8f-6f0de2065790` reached `completed`. Its run
	471	+	`fed576ec-246f-4ffa-aed9-3634ac511482` exited `0`, and the forge answered the
	472	+	`push inline:`
	473	+
	474	+	```
	475	+	`remote: openagents wal-receipt seq=423 link=9c15d18bd13589f932ce418e6fcf8ece16ddfb81b1871bbc716aa9552df60ff2`
	476	+	`To https://openagents.com/OpenAgentsInc/openagents.com.git`
	477	+	`* [new branch] HEAD -> assignment/issue-255-receipt-proof`
	478	+	```
	479	+
	480	+	`GET /api/v1/repos/OpenAgentsInc/openagents.com/pushes/423` confirms it
	481	+	`server-side, independently of the box:`
	482	+
	483	+	```json
	484	+	`{`
	485	+	`"format": "receive_pack",`
	486	+	`"wal_seq": 423,`
	487	+	`"principal": "assignment:28adb6cb-52d1-4824-be8f-6f0de2065790",`
	488	+	`"pushed_at": "2026-08-25T22:52:08.789744Z",`
	489	+	`"refs": {`
	490	+	`"refs/heads/assignment/issue-255-receipt-proof": {`
	491	+	`"old": null,`
	492	+	`"new": "89edd3c465003e6956895bfa4f867871b9f4342b"`
	493	+	`}`
	494	+	`}`
	495	+	`}`
	496	+	```
	497	+
	498	+	The `principal` is the assignment itself, which is the part worth reading
	499	+	`twice: the scoped credential authenticated, and the receipt attributes the ref`
	500	+	`move to the attempt that earned it rather than to an account or an operator`
	501	+	token. `git ls-remote` shows the branch at that revision.
	502	+
	503	+	`Criterion (c) of openagents.com#255 is met. So are (a) and (b): a two-box`
	504	+	`fan-out honored the cap with a durable plan, and a box provisioned by the fixed`
	505	+	setup script resolves `opencode` on a plain exec and completes a
	506	+	`stealth/ox-alpha` turn.