docs(citation): add CITATION.cff with the author's ORCID (0000-0002-3078-6652) #258
hyperpolymathdogfood-gate.yml
on: pull_request
Validate DEED manifests
9s
Validate K9 contracts
9s
Empty-linter (invisible characters)
4s
Groove manifest check
3s
Validate eclexiaiser manifest
3s
Dogfooding compliance summary
6s
Annotations
27 warnings and 9 notices
|
Validate eclexiaiser manifest
Node.js 20 is deprecated. The following actions target Node.js 20 but are being forced to run on Node.js 24: actions/checkout@v4.3.1. For more information see: https://github.blog/changelog/2025-09-19-deprecation-of-node-20-on-github-actions-runners/
|
|
Groove manifest check
Node.js 20 is deprecated. The following actions target Node.js 20 but are being forced to run on Node.js 24: actions/checkout@v4.3.1. For more information see: https://github.blog/changelog/2025-09-19-deprecation-of-node-20-on-github-actions-runners/
|
|
Groove manifest check
This repo has server code but no Groove endpoint. Add .well-known/groove/manifest.json for service discovery.
|
|
Empty-linter (invisible characters)
Node.js 20 is deprecated. The following actions target Node.js 20 but are being forced to run on Node.js 24: actions/checkout@v4.3.1. For more information see: https://github.blog/changelog/2025-09-19-deprecation-of-node-20-on-github-actions-runners/
|
|
Empty-linter (invisible characters):
affinescript/docs/academic/proofs/row-polymorphism.adoc#L0
Invisible Unicode characters detected (zero-width space, BOM, NBSP, etc.)
|
|
Empty-linter (invisible characters):
affinescript/docs/academic/proofs/dependent-types.adoc#L0
Invisible Unicode characters detected (zero-width space, BOM, NBSP, etc.)
|
|
Empty-linter (invisible characters):
affinescript/docs/academic/proofs/quantitative-types.adoc#L0
Invisible Unicode characters detected (zero-width space, BOM, NBSP, etc.)
|
|
Empty-linter (invisible characters):
affinescript/docs/academic/proofs/ownership-soundness.adoc#L0
Invisible Unicode characters detected (zero-width space, BOM, NBSP, etc.)
|
|
Empty-linter (invisible characters):
affinescript/docs/academic/mathematical-foundations/complexity-analysis.adoc#L0
Invisible Unicode characters detected (zero-width space, BOM, NBSP, etc.)
|
|
Empty-linter (invisible characters):
affinescript/docs/academic/formal-verification/axiomatic-semantics.adoc#L0
Invisible Unicode characters detected (zero-width space, BOM, NBSP, etc.)
|
|
Empty-linter (invisible characters):
affinescript/docs/academic/white-papers/language-design.adoc#L0
Invisible Unicode characters detected (zero-width space, BOM, NBSP, etc.)
|
|
Empty-linter (invisible characters):
affinescript/lib/wasm_encode.ml#L0
Invisible Unicode characters detected (zero-width space, BOM, NBSP, etc.)
|
|
Empty-linter (invisible characters):
docs/tech-debt-2026-05-26.adoc#L0
Invisible Unicode characters detected (zero-width space, BOM, NBSP, etc.)
|
|
Empty-linter (invisible characters):
READINESS.adoc#L0
Invisible Unicode characters detected (zero-width space, BOM, NBSP, etc.)
|
|
Validate K9 contracts
Node.js 20 is deprecated. The following actions target Node.js 20 but are being forced to run on Node.js 24: actions/checkout@v4.3.1. For more information see: https://github.blog/changelog/2025-09-19-deprecation-of-node-20-on-github-actions-runners/
|
|
Validate DEED manifests
Node.js 20 is deprecated. The following actions target Node.js 20 but are being forced to run on Node.js 24: actions/checkout@v4.3.1. For more information see: https://github.blog/changelog/2025-09-19-deprecation-of-node-20-on-github-actions-runners/
|
|
Validate DEED manifests:
./verification/tests/0.2-AI-MANIFEST.a2ml#L1
Missing SPDX-License-Identifier in first 10 lines
|
|
Validate DEED manifests:
./examples/0.1-AI-MANIFEST.a2ml#L1
Missing SPDX-License-Identifier in first 10 lines
|
|
Validate DEED manifests:
./affinescript/docs/guides/frontier-programming-practices/AI.a2ml#L1
Missing SPDX-License-Identifier in first 10 lines
|
|
Validate DEED manifests:
./affinescript/AI.a2ml#L1
Missing SPDX-License-Identifier in first 10 lines
|
|
Validate DEED manifests:
./affinescript/.machine_readable/anchors/ANCHOR.a2ml#L1
Missing SPDX-License-Identifier in first 10 lines
|
|
Validate DEED manifests:
./0-AI-MANIFEST.a2ml#L1
Missing SPDX-License-Identifier in first 10 lines
|
|
Validate DEED manifests:
./.machine_readable/descriptiles/anchor/ANCHOR_2026_05_21.a2ml#L1
Missing SPDX-License-Identifier in first 10 lines
|
|
Validate DEED manifests:
./.machine_readable/descriptiles/anchor/0-AI-MANIFEST.a2ml#L1
Missing SPDX-License-Identifier in first 10 lines
|
|
Validate DEED manifests:
./.machine_readable/ai/AI.a2ml#L1
Missing SPDX-License-Identifier in first 10 lines
|
|
Validate DEED manifests:
./.github/0.1-AI-MANIFEST.a2ml#L1
Missing SPDX-License-Identifier in first 10 lines
|
|
Dogfooding compliance summary
Node.js 20 is deprecated. The following actions target Node.js 20 but are being forced to run on Node.js 24: actions/checkout@v4.3.1. For more information see: https://github.blog/changelog/2025-09-19-deprecation-of-node-20-on-github-actions-runners/
|
|
Validate eclexiaiser manifest
"The ubuntu-latest label will migrate to Ubuntu 26 beginning October 19, 2026. For more information, see https://github.com/actions/runner-images/issues/14748"
|
|
Groove manifest check
"The ubuntu-latest label will migrate to Ubuntu 26 beginning October 19, 2026. For more information, see https://github.com/actions/runner-images/issues/14748"
|
|
Empty-linter (invisible characters)
"The ubuntu-latest label will migrate to Ubuntu 26 beginning October 19, 2026. For more information, see https://github.com/actions/runner-images/issues/14748"
|
|
Validate K9 contracts:
./session/custom-checks.k9#L0
Skipped non-target K9 path
|
|
Validate K9 contracts:
./coordination.k9#L0
Skipped non-target K9 path
|
|
Validate K9 contracts:
./.machine_readable/self-validating/methodology-guard.k9.ncl#L0
Skipped non-target K9 path
|
|
Validate K9 contracts
"The ubuntu-latest label will migrate to Ubuntu 26 beginning October 19, 2026. For more information, see https://github.com/actions/runner-images/issues/14748"
|
|
Validate DEED manifests
"The ubuntu-latest label will migrate to Ubuntu 26 beginning October 19, 2026. For more information, see https://github.com/actions/runner-images/issues/14748"
|
|
Dogfooding compliance summary
"The ubuntu-latest label will migrate to Ubuntu 26 beginning October 19, 2026. For more information, see https://github.com/actions/runner-images/issues/14748"
|