Issues

• P1: proven-abliterated chain on a real abliterated Maverick checkpoint (Step 0: stopped at spend cap)

  gate:0P1
  wakesync/flashprove#60 · Filter by author wakesync opened on Nov 5, 2026
  1

• P1: can a provider plant a behavior gap on clean weights through KL.bin scale choice alone?

  gate:0P1
  wakesync/flashprove#55 · Filter by author wakesync opened on Nov 4, 2026

• P1: efficiency levers (memory-bound prover, cost teardown fact-check, H100 vs H200/B200)

  loop:reviewP1
  wakesync/flashprove#43 · Filter by author wakesync opened on Nov 4, 2026
  2

• P1: prover / commit speedup (commit dominates: ~18.8 s vs prove ~2.35 s on H100 small example)

  gate:0loop:activeP1
  wakesync/flashprove#39 · Filter by author wakesync opened on Nov 3, 2026

• P1: clipped-gap rejection study (adversarial replies vs lenient limits)

  gate:0loop:reviewP1
  wakesync/flashprove#38 · Filter by author wakesync opened on Nov 3, 2026
  4

• P1: model identity under steering, abliteration and fine-tunes

  gate:0loop:reviewP1
  wakesync/flashprove#36 · Filter by author wakesync opened on Nov 3, 2026
  4

• P1: Qwen missing operator constraints

  gate:0loop:readyP1
  wakesync/flashprove#35 · Filter by author wakesync opened on Nov 3, 2026

• P1: Qwen recurrent-state commitment strategy

  gate:0loop:readyP1
  wakesync/flashprove#34 · Filter by author wakesync opened on Nov 3, 2026

• P1: Qwen3.8-27B port, tracking (M1 DeltaNet head -> M2 layer -> M3 GPU block)

  gate:0loop:reviewP1
  wakesync/flashprove#32 · Filter by author wakesync opened on Nov 3, 2026
  7

• loop: backlog intake

  documentation
  wakesync/flashprove#22 · Filter by author wakesync opened on Nov 3, 2026

• P2: evaluate selective verification as an explicitly weaker assurance mode

  gate:2loop:blockedP2
  wakesync/flashprove#12 · Filter by author wakesync opened on Nov 3, 2026

• P2: gate GLM and DeepSeek ports on operator feasibility, not model loaders

  gate:0loop:reviewP2
  wakesync/flashprove#11 · Filter by author wakesync opened on Nov 3, 2026
  17

• P2: profile and gate long-context scaling and state continuity

  gate:0loop:blockedP2
  wakesync/flashprove#10 · Filter by author wakesync opened on Nov 3, 2026

• P1: bind client requests and verified responses without conflating signatures, TEEs and proofs

  gate:2loop:blockedP1
  wakesync/flashprove#9 · Filter by author wakesync opened on Nov 3, 2026

• P1: quantify integer-model fidelity against pinned BF16 and FP8 references

  gate:0loop:readyP1
  wakesync/flashprove#8 · Filter by author wakesync opened on Nov 3, 2026

• P1: measure proving overhead, resource cost and verified-response latency

  gate:0loop:readyP1
  wakesync/flashprove#7 · Filter by author wakesync opened on Nov 3, 2026
  7

• P0: define proof coverage, threat model and soundness obligations

  gate:0loop:readyP0
  wakesync/flashprove#6 · Filter by author wakesync opened on Nov 3, 2026
  5

• P0: close reproducibility gate with complete CPU and bounded GPU receipts

  gate:0loop:activeloop:reviewP0
  wakesync/flashprove#5 · Filter by author wakesync opened on Nov 3, 2026
  5