Issues

• Theory: borrow-core as the target language for an AlphaProof-like harness (properties in the type system, proofs in-language, agents untrusted)

  theory
  empath-nirvana/borrow-core#1022 · Filter by author empath-nirvana opened on Nov 10, 2026

• scripts: --write-counts <files> rewrites the whole counts tables with only those files' rows

  backend
  empath-nirvana/borrow-core#1019 · Filter by author empath-nirvana opened on Nov 10, 2026

• Backend2: happy-path cost of Fail/Exhausted lowering — measure, then Swift-style error register or per-effect table unwinding

  backend
  empath-nirvana/borrow-core#1017 · Filter by author empath-nirvana opened on Nov 10, 2026
  6

• Backend2: one tag word per n-ary sum chain, and packed 1+scalar options (Json node 104 B vs serde 32 B)

  backend
  empath-nirvana/borrow-core#1016 · Filter by author empath-nirvana opened on Nov 10, 2026

• lib/json: string parse/serialise copies per byte — run-copy unescaped spans (serde's escape table)

  frontend
  empath-nirvana/borrow-core#1015 · Filter by author empath-nirvana opened on Nov 10, 2026
  1

• lib: JSON input path — whole-input UTF-8 pre-pass, byte-wise buffer copies (bulk copy primitive), empty-array allocation

  frontend
  empath-nirvana/borrow-core#1014 · Filter by author empath-nirvana opened on Nov 10, 2026
  2

• Backend2: constant-stack consume of recursive data with several recursive positions (Json: Vec[Json], Map[string, Json])

  backend
  empath-nirvana/borrow-core#1013 · Filter by author empath-nirvana opened on Nov 10, 2026

• North-star target before the operator: echo web server (TCP line echo → HTTP/1.1 echo)

  corpus
  empath-nirvana/borrow-core#1009 · Filter by author empath-nirvana opened on Nov 10, 2026

• N-th order borrows: is UpdX E the general rule (RustBelt lifetime logic) or a patch series? (getter #999, loans #844 T2, #821 deep case)

  theory
  empath-nirvana/borrow-core#1007 · Filter by author empath-nirvana opened on Nov 10, 2026
  1

• Surface: a block can't be generic in a lifetime, so a CPS view-getter can't be called from surface code

  frontend
  empath-nirvana/borrow-core#1003 · Filter by author empath-nirvana opened on Nov 10, 2026

• Kernel: cancelTo_n, the in-place cancel-mode unwind (SPEC §51 Open; pipe fusion P3)

  proof
  empath-nirvana/borrow-core#1002 · Filter by author empath-nirvana opened on Nov 10, 2026

• Pipes P3: fusion under stop/raise/cancel crossing a fused stage, and token elimination — paper proof + mechanisation plan

  theory
  empath-nirvana/borrow-core#1001 · Filter by author empath-nirvana opened on Nov 10, 2026

• PARKED: option G (protocols as sequential effect grades) — revisit conditions

  theory
  empath-nirvana/borrow-core#1000 · Filter by author empath-nirvana opened on Nov 10, 2026
  1

• Kernel: withload at a non-strict bound, so a getter can return a view at its argument's lifetime (Rust's get)

  proof
  empath-nirvana/borrow-core#999 · Filter by author empath-nirvana opened on Nov 10, 2026
  2

• Sessions S3: sequential effect grades for protocols (option G, Orchard–Yoshida) — paper

  theory
  empath-nirvana/borrow-core#996 · Filter by author empath-nirvana opened on Nov 10, 2026
  1

• Mutual ν (systems of codata equations): kernel + backend (sessions option M)

  design
  empath-nirvana/borrow-core#995 · Filter by author empath-nirvana opened on Nov 10, 2026

• Backend2: Output's cell representation from the extern's checked contents (i32 fd), not opq

  backend
  empath-nirvana/borrow-core#992 · Filter by author empath-nirvana opened on Nov 10, 2026

• Sessions S2: mutual ν (M) vs nested ν (A), grounded in practical programs vs Rust

  theory
  empath-nirvana/borrow-core#991 · Filter by author empath-nirvana opened on Nov 10, 2026

• Audit: restrictions justified by 'needs step-indexing', now that the SI relation exists (#839)

  theory
  empath-nirvana/borrow-core#990 · Filter by author empath-nirvana opened on Nov 10, 2026

• Parked: verification-hygiene recommendations from AlphaProof Code (comparator gate, vacuity witnesses, LIR separation logic, …)

  proof
  empath-nirvana/borrow-core#988 · Filter by author empath-nirvana opened on Nov 10, 2026

• JSON ergonomics corpus: deep field access, optional values, nested updates (views vs derived types vs raw DOM)

  corpus
  empath-nirvana/borrow-core#986 · Filter by author empath-nirvana opened on Nov 10, 2026
  2

• Hand-written k8s API types + typed JSON decode/encode (the target for the OpenAPI generator)

  corpus
  empath-nirvana/borrow-core#985 · Filter by author empath-nirvana opened on Nov 10, 2026

• Session types / protocols before Net (S0: literature + the no-kernel-change question)

  theory
  empath-nirvana/borrow-core#983 · Filter by author empath-nirvana opened on Nov 10, 2026
  1

• lib/float: port Rust's dec2flt (and flt2dec) for fast, correctly rounded f64 parsing and printing

  frontend
  empath-nirvana/borrow-core#978 · Filter by author empath-nirvana opened on Nov 10, 2026
  2

• Bench: JSON parsing against Rust serde_json (J1 natively on Backend2)

  backend
  empath-nirvana/borrow-core#977 · Filter by author empath-nirvana opened on Nov 10, 2026
  6