Issues

• ci(federation): investigate exact-head workflows failing before job creation

  Luminous-Dynamics/mycelix#5499 · Filter by author Tristan-Stoltz-ERC opened on Oct 24, 2026
  5

• LIFE-SD-JWT-VERIFY-001: adversarial issuer, disclosure, and key-binding verification

  Luminous-Dynamics/mycelix#5497 · Filter by author Tristan-Stoltz-ERC opened on Oct 24, 2026
  2

• LIFE-JOINT-PRIVACY-001: enforce candidate support and sensitive-attribute inference limits together

  Luminous-Dynamics/mycelix#5494 · Filter by author Tristan-Stoltz-ERC opened on Oct 24, 2026

• LIFE-ROBUST-TRANSCRIPT-001: test transcript compiler under adversarial population shift

  Luminous-Dynamics/mycelix#5491 · Filter by author Tristan-Stoltz-ERC opened on Oct 24, 2026

• LIFE-TRANSCRIPT-COMPILER-001: optimize privacy across multi-round presentation transcripts

  Luminous-Dynamics/mycelix#5489 · Filter by author Tristan-Stoltz-ERC opened on Oct 24, 2026

• LIFE-PRIVACY-COMPILER-001: compile the least-leaking presentation that preserves task correctness

  Luminous-Dynamics/mycelix#5487 · Filter by author Tristan-Stoltz-ERC opened on Oct 24, 2026

• LIFE-PRESENTATION-FINGERPRINT-001: quantify structural leakage despite fresh derived proofs

  Luminous-Dynamics/mycelix#5485 · Filter by author Tristan-Stoltz-ERC opened on Oct 23, 2026
  1

• FED-CUR-002: partition-safe pre-allocated exposure reservations

  Luminous-Dynamics/mycelix#5484 · Filter by author Tristan-Stoltz-ERC opened on Oct 23, 2026
  1

• PRAXIS-TUTOR-HISTORY-002: adversarial generator-verifier and metamorphic evaluation

  Luminous-Dynamics/mycelix#5481 · Filter by author Tristan-Stoltz-ERC opened on Oct 23, 2026
  11

• LIFE-COMPOSITE-BUDGET-001: enforce budgets across overlapping disclosure scopes

  Luminous-Dynamics/mycelix#5479 · Filter by author Tristan-Stoltz-ERC opened on Oct 23, 2026
  2

• LIFE-RELATIONAL-003: benchmark stronger calibrated graph attackers

  Luminous-Dynamics/mycelix#5478 · Filter by author Tristan-Stoltz-ERC opened on Oct 23, 2026
  4

• LIFE-ADJACENCY-001: benchmark privacy-unit and group-guarantee mismatch

  Luminous-Dynamics/mycelix#5477 · Filter by author Tristan-Stoltz-ERC opened on Oct 23, 2026
  3

• LIFE-RELATIONAL-001: benchmark cross-subject privacy spillover

  Luminous-Dynamics/mycelix#5474 · Filter by author Tristan-Stoltz-ERC opened on Oct 23, 2026
  6

• PRAXIS-SYMTHAEA-ADVISOR-001: integrate Symthaea as a bounded learning-support reasoning service

  Luminous-Dynamics/mycelix#5472 · Filter by author Tristan-Stoltz-ERC opened on Oct 23, 2026
  3

• FIN-CUR-AUTH-001: bind currency lifecycle actions to issuer-scoped capabilities

  Luminous-Dynamics/mycelix#5470 · Filter by author Tristan-Stoltz-ERC opened on Oct 23, 2026

• PRAXIS-SUPPORT-ROUTER-001: benchmark whether learning support should be AI, human, peer, offline, or abstain

  Luminous-Dynamics/mycelix#5467 · Filter by author Tristan-Stoltz-ERC opened on Oct 23, 2026
  1

• LIFE-DISCLOSURE-BUDGET-001: test federated disclosure-budget double-spend

  Luminous-Dynamics/mycelix#5466 · Filter by author Tristan-Stoltz-ERC opened on Oct 23, 2026

• FED-CUR-001: scoped community currencies and loss-bounded federation clearing

  Luminous-Dynamics/mycelix#5464 · Filter by author Tristan-Stoltz-ERC opened on Oct 23, 2026

• PRAXIS-LEARNING-NONHARM-001: qualify AI support against learning displacement and harm

  Luminous-Dynamics/mycelix#5461 · Filter by author Tristan-Stoltz-ERC opened on Oct 23, 2026
  1

• LIFE-DISCLOSURE-TRACE-001: measure longitudinal leakage from observable traces

  Luminous-Dynamics/mycelix#5460 · Filter by author Tristan-Stoltz-ERC opened on Oct 23, 2026
  1

• LIFE-DISCLOSURE-ROBUST-001: evaluate query guards over population uncertainty sets

  Luminous-Dynamics/mycelix#5459 · Filter by author Tristan-Stoltz-ERC opened on Oct 22, 2026

• LIFE-DISCLOSURE-SHIFT-001: test query guards under population mismatch

  Luminous-Dynamics/mycelix#5457 · Filter by author Tristan-Stoltz-ERC opened on Oct 22, 2026

• PRAXIS-TUTOR-HISTORY-001: qualify history-grounded teaching actions

  Luminous-Dynamics/mycelix#5455 · Filter by author Tristan-Stoltz-ERC opened on Oct 22, 2026
  2

• Implement offline Rust evidence verifier and content-addressed cache V1

  Luminous-Dynamics/mycelix#5453 · Filter by author Tristan-Stoltz-ERC opened on Oct 22, 2026
  2

• RFC: shared evidence plane for reproducible science and resilience benchmarks

  Luminous-Dynamics/mycelix#5451 · Filter by author Tristan-Stoltz-ERC opened on Oct 22, 2026