feat: Add proof needs document, draft SPARK annotations, and Epistemi… · hyperpolymath/trigger@a47f6cc

Node.js 20 is deprecated. The following actions target Node.js 20 but are being forced to run on Node.js 24: actions/upload-artifact@ea165f8d65b6e75b540449e92b4886f43607fa02. For more information see: https://github.blog/changelog/2025-09-19-deprecation-of-node-20-on-github-actions-runners/

Node.js 20 is deprecated. The following actions target Node.js 20 but are being forced to run on Node.js 24: actions/upload-artifact@ea165f8d65b6e75b540449e92b4886f43607fa02. For more information see: https://github.blog/changelog/2025-09-19-deprecation-of-node-20-on-github-actions-runners/

Node.js 20 is deprecated. The following actions target Node.js 20 but are being forced to run on Node.js 24: actions/upload-artifact@ea165f8d65b6e75b540449e92b4886f43607fa02, erlef/setup-beam@e6d7c94229049569db56a7ad5a540c051a010af9. For more information see: https://github.blog/changelog/2025-09-19-deprecation-of-node-20-on-github-actions-runners/

Node.js 20 is deprecated. The following actions target Node.js 20 but are being forced to run on Node.js 24: actions/download-artifact@fa0a91b85d4f404e444e00e005971372dc801d16, actions/upload-artifact@ea165f8d65b6e75b540449e92b4886f43607fa02. For more information see: https://github.blog/changelog/2025-09-19-deprecation-of-node-20-on-github-actions-runners/

panic-attack binary not available — skipping Patch Bridge

panic-attack binary not available — skipping assail

Artifacts

Produced during runtime

Name	Size	Digest
bridge-report	218 Bytes	`sha256:1724b498c336922cc19582b9f1b041aa6d49f6802386b9dc0e565bd3bd80557b`
hypatia-findings	161 Bytes	`sha256:a0214c3bf19e027a2c37fb0958ef7a6e1cd60ce55b8fa0c3d547d4cde794dbf7`
panic-attack-findings	171 Bytes	`sha256:baf6ab833863424c3fd416e8a22697aed1c796814286ab2becb0ca6997c65a4d`
unified-findings	400 Bytes	`sha256:8b9aaa7eaf2a581b569c976b91699b62eeb53973bd7b7323a0db14fe05354357`