Reverify final CoreRL runtime evidence after #668 audit repair #669

New issue

Closed

opened 2026-09-02 10:03:22 +00:00 by htayj · 3 comments

htayj commented

2026-09-02 10:03:22 +00:00

(Migrated from github.com)

Context

#668 was closed after CoreRL was packaged and proved, but its later edge-case audit changed the package runtime closure and strengthened the in-game glyph assertions. Re-run the reviewed package proof and capture a new screenshot against the final corerl output.

Acceptance criteria

Run the existing network-isolated corerl --smoke package proof from .goocastle/prove-guix-package.sh.
Capture a real CoreRL terminal screenshot through .goocastle/capture-guix-package-screenshot.sh.
The screenshot must show the running packaged game, including the map/player and normal quit state.
Publish the screenshot and exact runtime receipt on this issue.
Do not alter the CoreRL package unless the proof finds a real defect.

Imported from GitHub issue/PR. Originally posted by htayj on 2026-09-02T10:03:22Z.

## Context #668 was closed after CoreRL was packaged and proved, but its later edge-case audit changed the package runtime closure and strengthened the in-game glyph assertions. Re-run the reviewed package proof and capture a new screenshot against the final `corerl` output. ## Acceptance criteria - Run the existing network-isolated `corerl --smoke` package proof from `.goocastle/prove-guix-package.sh`. - Capture a real CoreRL terminal screenshot through `.goocastle/capture-guix-package-screenshot.sh`. - The screenshot must show the running packaged game, including the map/player and normal quit state. - Publish the screenshot and exact runtime receipt on this issue. - Do not alter the CoreRL package unless the proof finds a real defect. --- Imported from [GitHub issue/PR](https://github.com/htayj/guix-channel/issues/669). Originally posted by [htayj](https://github.com/htayj) on 2026-09-02T10:03:22Z.

htayj commented

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

(Migrated from github.com)

Goocastle blocked this ticket after the bounded repair budget was exhausted for the required command gate.
The failure receipt and task branch provenance remain preserved; inspect the branch and repair the package before retrying.

Bounded failure evidence:
Failed command: sh .goocastle/prove-guix-package.sh
Exit status: 1
Final failure lines:
[stderr] safe-package-proof: active change adds no package module under tay/packages

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

Goocastle blocked this ticket after the bounded repair budget was exhausted for the required command gate. The failure receipt and task branch provenance remain preserved; inspect the branch and repair the package before retrying. Bounded failure evidence: Failed command: sh .goocastle/prove-guix-package.sh Exit status: 1 Final failure lines: [stderr] safe-package-proof: active change adds no package module under tay/packages --- Imported from [GitHub comment](https://github.com/htayj/guix-channel/issues/669#issuecomment-5507938318). Originally posted by [htayj](https://github.com/htayj) on 2026-09-02T10:10:22Z.

htayj commented

2026-09-02 10:15:46 +00:00

(Migrated from github.com)

Goocastle verified runtime evidence.

Runtime receipt

Package: corerl
Safe package proof phase: safe-package-proof
Safe package proof argv: ["sh","-c","GOOCASTLE_PROOF_PACKAGE=corerl sh .goocastle/prove-guix-package.sh"]
Screenshot phase: runtime-screenshot
Screenshot argv: ["sh","-c","GOOCASTLE_PROOF_PACKAGE=corerl sh .goocastle/capture-guix-package-screenshot.sh"]
Runtime executable (Guix store/profile): /gnu/store/d6rsax882bda77cdcqr15rd0f2vs13r8-corerl-1kib-20131024/bin/corerl
Runtime invocation: ["/gnu/store/d6rsax882bda77cdcqr15rd0f2vs13r8-corerl-1kib-20131024/bin/corerl","--smoke"]
Expected runtime invocation: ["corerl","--smoke"]
Expected runtime marker: CORERL_RUNTIME_OK
Per-issue runtime contract: .goocastle/runtime-evidence-contracts.json (issue #669, SHA-256 e238816399b865a51e8552690831c2ec6dd396a77a431124860f106deec79b57)
Artifact path: .goocastle/evidence/issue-669.png
Artifact SHA-256: 7cc870f217a0c8c9382c13064f24adfb6fc93fa4fbbfc7e51317a7b8ad1bb6d1
Artifact commit: 3a82d10ac400ddfab184540567b1ff279725861c
Artifact size/format: 6328 bytes / png

Imported from GitHub comment. Originally posted by htayj on 2026-09-02T10:15:46Z.

Goocastle verified runtime evidence. ![Runtime screenshot](https://github.com/htayj/guix-channel/blob/3a82d10ac400ddfab184540567b1ff279725861c/.goocastle/evidence/issue-669.png?raw=1) <details><summary>Runtime receipt</summary> - Package: <code>corerl</code> - Safe package proof phase: <code>safe-package-proof</code> - Safe package proof argv: <code>["sh","-c","GOOCASTLE_PROOF_PACKAGE=corerl sh .goocastle/prove-guix-package.sh"]</code> - Screenshot phase: <code>runtime-screenshot</code> - Screenshot argv: <code>["sh","-c","GOOCASTLE_PROOF_PACKAGE=corerl sh .goocastle/capture-guix-package-screenshot.sh"]</code> - Runtime executable (Guix store/profile): <code>/gnu/store/d6rsax882bda77cdcqr15rd0f2vs13r8-corerl-1kib-20131024/bin/corerl</code> - Runtime invocation: <code>["/gnu/store/d6rsax882bda77cdcqr15rd0f2vs13r8-corerl-1kib-20131024/bin/corerl","--smoke"]</code> - Expected runtime invocation: <code>["corerl","--smoke"]</code> - Expected runtime marker: <code>CORERL_RUNTIME_OK</code> - Per-issue runtime contract: <code>.goocastle/runtime-evidence-contracts.json (issue #669, SHA-256 e238816399b865a51e8552690831c2ec6dd396a77a431124860f106deec79b57)</code> - Artifact path: <code>.goocastle/evidence/issue-669.png</code> - Artifact SHA-256: <code>7cc870f217a0c8c9382c13064f24adfb6fc93fa4fbbfc7e51317a7b8ad1bb6d1</code> - Artifact commit: <code>3a82d10ac400ddfab184540567b1ff279725861c</code> - Artifact size/format: <code>6328 bytes / png</code> </details> --- Imported from [GitHub comment](https://github.com/htayj/guix-channel/issues/669#issuecomment-5508001167). Originally posted by [htayj](https://github.com/htayj) on 2026-09-02T10:15:46Z.

htayj commented

2026-09-02 10:15:51 +00:00

(Migrated from github.com)

Completed by Goocastle

Imported from GitHub comment. Originally posted by htayj on 2026-09-02T10:15:51Z.

Completed by Goocastle --- Imported from [GitHub comment](https://github.com/htayj/guix-channel/issues/669#issuecomment-5508002135). Originally posted by [htayj](https://github.com/htayj) on 2026-09-02T10:15:51Z.