Issues

• J1-3: make the Idris2 ABI typecheck; delete or honestly restate the six unproved security claims

  hyperpolymath/januskey#145 · Filter by author hyperpolymath opened on Oct 2, 2026

• docs: decide the formal home of the reversibility guarantee (absolute-zero CNO pillar or IS-NOT); family-map pointer

  feeds:valence-shellpriority:p1scope:repo
  hyperpolymath/januskey#137 · Filter by author arena-ai-coding-agent opened on Sep 27, 2026
  2

• main is red on 7 of 12 workflows; four e2e jobs die at dtolnay/rust-toolchain@v1, so the unit tests have no CI measurement

  cicdpriority:p0scope:repostatus:readytesting
  hyperpolymath/januskey#135 · Filter by author hyperpolymath opened on Sep 22, 2026

• Four docs claim four different test counts (67 / 44 / 56 / 67); measured 93 #[test], 6 proptest blocks, 7 .idr files

  priority:p2scope:repostatus:readytesting
  hyperpolymath/januskey#134 · Filter by author hyperpolymath opened on Sep 22, 2026

• e2e.yml: clippy -D warnings, cargo fmt --check and panic-attack are || true (decorative); L98 uses banned python3

  bugpriority:p2scope:repostatus:ready
  hyperpolymath/januskey#133 · Filter by author hyperpolymath opened on Sep 22, 2026

• docs: ROADMAP.adoc stale

  documentationfeeds:valence-shellmeta:roadmappriority:p2scope:repostatus:ready
  hyperpolymath/januskey#60 · Filter by author hyperpolymath opened on Jun 12, 2026

• security: fix attestation HMAC pattern before any MCP exposure

  chorepriority:p1scope:reposecuritystatus:ready
  hyperpolymath/januskey#59 · Filter by author hyperpolymath opened on Jun 12, 2026

• hygiene: TESTING-REPORT.scm in repo root violates the repo's own MUST invariant

  priority:p2scope:repostatus:readytech-debt
  hyperpolymath/januskey#57 · Filter by author hyperpolymath opened on Jun 12, 2026