All pull requests

Pull requests

• tools: correctness-focused Racket hygiene lints (pnet registration, fire-fn capture, memo-hash) + lint gate

  #81·kumavis opened Aug 5, 2026·

  ·

• viz: music-synced timeline playback + onset-timings extraction

  #65·kumavis opened Jun 15, 2026·

  ·

• On-network reduction as the default driver + browser visualization of propagator-network execution

  #64·kumavis opened Jun 13, 2026·

  ·
  5

• sre/track2i: Phase 4 — relation-aware join in distributive/SD checks

  #59·kumavis opened May 6, 2026·

  ·
  3

• research: Prolog frontend on Prologos post-elaboration IR

  #56·kumavis opened May 4, 2026·

  ·

• spec: implement Direction 1 + 2 implicit binder auto-introduction (#20)

  #43·kumavis opened May 1, 2026·

  ·
  1

  3

• Add LLVM lowering pass for Tiers 0–2 (SH Series Track 1)

  #39·kumavis opened May 1, 2026·

  ·

• docs: dependency diagram across active series

  #38·kumavis opened Apr 29, 2026·

  ·

• research: ZK-Prologos lattice-native proof system plan

  #36·kumavis opened Apr 28, 2026·

  ·

• foreign: pass Prologos lambdas across the FFI as live closures

  #35·kumavis opened Apr 28, 2026·

  ·
  2

• examples: EigenTrust on propagators via Racket FFI

  #32·kumavis opened Apr 28, 2026·

  ·

• OCapN port + the compiler work it forced: interop to 24/24, plus ~185 core commits

  #28·kumavis opened Apr 27, 2026·

  ·
  20

• unify: lenient {m0, mw} compatibility (eigentrust pitfall #2)

  #17·kumavis opened Apr 25, 2026·

  ·
  1

• Pre-register top-level defn types for mutual recursion (eigentrust pitfall #4)

  #14·kumavis opened Apr 25, 2026·

  ·
  2

• Add [force e] strict-normalization combinator (eigentrust pitfall #11)

  #9·kumavis opened Apr 25, 2026·

  ·
  1

• Add EigenTrust reputation algorithm: implementation, tests, benchmark

  #2·kumavis opened Apr 23, 2026·

  ·