Issues

• Upstream: UOR-Foundation/ONNX and its LexLean ONNX decoder (O0, O1)

  UOR-Foundation/MNIST#15 · Filter by author afflom opened on Oct 15, 2026

• The register as LexLean source with TOML and Markdown projections

  UOR-Foundation/MNIST#14 · Filter by author afflom opened on Oct 15, 2026

• Sealed benchmark plan against a fixed competitor field

  UOR-Foundation/MNIST#12 · Filter by author afflom opened on Oct 15, 2026

• Certified root and re-measured benchmark (MN-10)

  UOR-Foundation/MNIST#13 · Filter by author afflom opened on Oct 15, 2026

• Bind prismpm.lock and template.lock to a published PrismPM SDK

  UOR-Foundation/MNIST#11 · Filter by author afflom opened on Oct 15, 2026

• State the model operator by operator; the compiler chooses the realization

  UOR-Foundation/MNIST#10 · Filter by author afflom opened on Oct 15, 2026

• Direct byte decoding and parameters as compile-time constants

  UOR-Foundation/MNIST#9 · Filter by author afflom opened on Oct 15, 2026

• The ONNX file as the only artifact, decoded and derived in LexLean (MN-08)

  UOR-Foundation/MNIST#8 · Filter by author afflom opened on Oct 15, 2026

• Discharge the overflow effect with the accumulator bounds (MN-09)

  UOR-Foundation/MNIST#7 · Filter by author afflom opened on Oct 15, 2026

• The model's facts as kernel-checked theorems (MN-07)

  UOR-Foundation/MNIST#6 · Filter by author afflom opened on Oct 15, 2026

• Restate MN-02 as what holds of the shipped crate

  UOR-Foundation/MNIST#4 · Filter by author afflom opened on Oct 15, 2026

• Re-pin LexLean from the head of #99 to main

  UOR-Foundation/MNIST#5 · Filter by author afflom opened on Oct 15, 2026

• Completion plan: MNIST complete and optimal

  UOR-Foundation/MNIST#3 · Filter by author afflom opened on Oct 15, 2026