Search results

Estate tracking: verify + sign the per-repo AFFIRMATIONs (run suites in-env, GPG-sign, re-anchor to main)

Status: Open.

#69 In hyperpolymath/nextgen-typing;

· hyperpolymath opened on Jun 21, 2026

k9: fix pre-existing "Validate K9 contracts" failures (3 errors, gates every PR)

Status: Open.

#59 In hyperpolymath/nextgen-typing;

· hyperpolymath opened on Jun 15, 2026

docs: retarget stale src/interface/Abi references after the OQ-001 src/ drop

Status: Open.

#58 In hyperpolymath/nextgen-typing;

· hyperpolymath opened on Jun 15, 2026

ci(proofs): build verification/proofs/ in CI — nothing runs just proof-check-all

Status: Open.

#57 In hyperpolymath/nextgen-typing;

· hyperpolymath opened on Jun 15, 2026

Decide: PMPL-1.0 vs MPL-2.0 SPDX in scorecard.yml / secret-scanner.yml

Status: Open.

#54 In hyperpolymath/nextgen-typing;

· hyperpolymath opened on Jun 14, 2026

READINESS.md claims "CI passing (dogfood-gate…)" but dogfood-gate is currently red

Status: Open.

#53 In hyperpolymath/nextgen-typing;

· hyperpolymath opened on Jun 14, 2026

Deduplicate .github/ISSUE_TEMPLATE/ (legacy .md vs .yml variants)

Status: Open.

#52 In hyperpolymath/nextgen-typing;

· hyperpolymath opened on Jun 14, 2026

Remove committed Idris2 build artifacts under src/interface/build/ttc/

Status: Open.

#51 In hyperpolymath/nextgen-typing;

· hyperpolymath opened on Jun 14, 2026

k9-validate: 3 remaining contract failures (2 trivial security_level + deploy.k9.ncl Nickel-indirection)

Status: Open.

#47 In hyperpolymath/nextgen-typing;

· hyperpolymath opened on Jun 13, 2026

docs: fix stale src/abi/ references (SD022 ×4)

Status: Open.

#42 In hyperpolymath/nextgen-typing;

· hyperpolymath opened on Jun 12, 2026

machine-readable: decide location of remaining root a2ml (CLADE, ENSAID_CONFIG, 0.1-AI-MANIFEST)

Status: Open.

#41 In hyperpolymath/nextgen-typing;

· hyperpolymath opened on Jun 12, 2026

machine-readable: ANCHOR semantic-authority files are dead paths

Status: Open.

#40 In hyperpolymath/nextgen-typing;

· hyperpolymath opened on Jun 12, 2026