Refresh Diabaig runtime evidence after terminal renderer repair #678

New issue

Closed

opened 2026-09-02 22:44:54 +00:00 by htayj · 2 comments

htayj commented

2026-09-02 22:44:54 +00:00

(Migrated from github.com)

The renderer was corrected in b1f275f. Refresh the proof and screenshot for the real diabaig --smoke package invocation, visually verify the full readable dungeon frame, commit the replacement evidence artifact, and close this issue only after the normal Goocastle runtime-evidence receipt is posted.

Supersedes the visual-evidence portion of #677; do not change the Diabaig package itself.

Imported from GitHub issue/PR. Originally posted by htayj on 2026-09-02T22:44:54Z.

The original #677 runtime assertion and package proof were valid, but its committed terminal screenshot was visually fragmented because the evidence renderer ignored ncurses CSI REP and DEC ACS sequences. The renderer was corrected in b1f275f. Refresh the proof and screenshot for the real `diabaig --smoke` package invocation, visually verify the full readable dungeon frame, commit the replacement evidence artifact, and close this issue only after the normal Goocastle runtime-evidence receipt is posted. Supersedes the visual-evidence portion of #677; do not change the Diabaig package itself. --- Imported from [GitHub issue/PR](https://github.com/htayj/guix-channel/issues/678). Originally posted by [htayj](https://github.com/htayj) on 2026-09-02T22:44:54Z.

htayj commented

2026-09-02 22:50:22 +00:00

(Migrated from github.com)

Goocastle verified runtime evidence.

Runtime receipt

Package: diabaig
Safe package proof phase: safe-package-proof
Safe package proof argv: ["sh",".goocastle/refresh-runtime-evidence.sh","proof"]
Screenshot phase: runtime-screenshot
Screenshot argv: ["sh",".goocastle/refresh-runtime-evidence.sh","screenshot"]
Runtime executable (Guix store/profile): /gnu/store/badhkdddglq4v6kpfrr51vf4y0f67sgr-diabaig-1.0.1/bin/diabaig
Runtime invocation: ["/gnu/store/badhkdddglq4v6kpfrr51vf4y0f67sgr-diabaig-1.0.1/bin/diabaig","--smoke"]
Expected runtime invocation: ["diabaig","--smoke"]
Expected runtime marker: DIABAIG_RUNTIME_OK
Per-issue runtime contract: .goocastle/runtime-evidence-contracts.json (issue #678, SHA-256 0a04ac8173dcaf5766e2d18f0b68fc1a23763a8dfad7ec4a80e8fd651d581094)
Artifact path: .goocastle/evidence/issue-678.png
Artifact SHA-256: 12c78834df621ff20fe6a4780ae47e10fa8e24336fdfca2d84b1968f69e3b75a
Artifact commit: a6cfc976951f3264e1964b2f6ef966ec94171a91
Artifact size/format: 19180 bytes / png

Imported from GitHub comment. Originally posted by htayj on 2026-09-02T22:50:22Z.

Goocastle verified runtime evidence. ![Runtime screenshot](https://github.com/htayj/guix-channel/blob/a6cfc976951f3264e1964b2f6ef966ec94171a91/.goocastle/evidence/issue-678.png?raw=1) <details><summary>Runtime receipt</summary> - Package: <code>diabaig</code> - Safe package proof phase: <code>safe-package-proof</code> - Safe package proof argv: <code>["sh",".goocastle/refresh-runtime-evidence.sh","proof"]</code> - Screenshot phase: <code>runtime-screenshot</code> - Screenshot argv: <code>["sh",".goocastle/refresh-runtime-evidence.sh","screenshot"]</code> - Runtime executable (Guix store/profile): <code>/gnu/store/badhkdddglq4v6kpfrr51vf4y0f67sgr-diabaig-1.0.1/bin/diabaig</code> - Runtime invocation: <code>["/gnu/store/badhkdddglq4v6kpfrr51vf4y0f67sgr-diabaig-1.0.1/bin/diabaig","--smoke"]</code> - Expected runtime invocation: <code>["diabaig","--smoke"]</code> - Expected runtime marker: <code>DIABAIG_RUNTIME_OK</code> - Per-issue runtime contract: <code>.goocastle/runtime-evidence-contracts.json (issue #678, SHA-256 0a04ac8173dcaf5766e2d18f0b68fc1a23763a8dfad7ec4a80e8fd651d581094)</code> - Artifact path: <code>.goocastle/evidence/issue-678.png</code> - Artifact SHA-256: <code>12c78834df621ff20fe6a4780ae47e10fa8e24336fdfca2d84b1968f69e3b75a</code> - Artifact commit: <code>a6cfc976951f3264e1964b2f6ef966ec94171a91</code> - Artifact size/format: <code>19180 bytes / png</code> </details> --- Imported from [GitHub comment](https://github.com/htayj/guix-channel/issues/678#issuecomment-5517520968). Originally posted by [htayj](https://github.com/htayj) on 2026-09-02T22:50:22Z.

htayj commented

2026-09-02 22:50:25 +00:00

(Migrated from github.com)

Completed by Goocastle

Imported from GitHub comment. Originally posted by htayj on 2026-09-02T22:50:25Z.

Completed by Goocastle --- Imported from [GitHub comment](https://github.com/htayj/guix-channel/issues/678#issuecomment-5517521515). Originally posted by [htayj](https://github.com/htayj) on 2026-09-02T22:50:25Z.