All pull requests

Pull requests

• Report unclosed Markdown fences during audit

  CLA Signed
  #202·1cbyc opened Oct 9, 2026Contributor·

  ·
  1

• Add autoform probe: report hypotheses a proof never uses

  CLA Signed
  #198·ArmelRandy opened Oct 8, 2026Contributor·

  ·

• graph: refuse roadmap symlinks at load time instead of hanging

  CLA Signed
  #197·Paul-Antoine-Bonin opened Oct 8, 2026Contributor·

  ·
  1

• Show finished scopes as complete, and draw containers as scopes

  CLA Signed
  #196·JacobLoader opened Oct 7, 2026·

  ·

• Feedback form

  CLA Signed
  #195·JacobLoader opened Oct 7, 2026·

  ·

• Add --write to migrate article-ids

  CLA Signed
  #191·ArmelRandy opened Oct 7, 2026Contributor·

  ·

• Run the CI audit probe without any project code

  CLA Signedreview: ready
  #190·Deicyde opened Oct 7, 2026Contributor·

  ·

• skeleton: read lakefile.lean when both lakefiles exist

  CLA Signed
  #189·ArmelRandy opened Oct 7, 2026Contributor·

  ·
  1

  1

• Scan descriptor trees in a closure and fold repeated tree snapshot checks

  CLA Signed
  #188·Deicyde opened Oct 7, 2026Contributor·

  ·

• Share the leaf filter in work and the parent walk in impact, and inline two skeleton checks

  CLA Signed
  #187·Deicyde opened Oct 7, 2026Contributor·

  ·

• Share the checkout-pin check between init and project new

  CLA Signed
  #186·Deicyde opened Oct 7, 2026Contributor·

  ·

• Read only the exact claim ref in single-key claim operations

  CLA Signed
  #185·Deicyde opened Oct 7, 2026Contributor·

  ·

• Project view edge endpoints with one helper and drop repeated focus checks

  CLA Signed
  #184·Deicyde opened Oct 7, 2026Contributor·

  ·

• Allow proof imports with measured impact

  CLA Signed
  #183·Deicyde opened Oct 7, 2026Contributor·

  ·
  1

• Keep work impact working beside Lean files whose names are not identifiers

  CLA Signed
  #182·Deicyde opened Oct 7, 2026Contributor·

  ·

• Share fixture and verdict helpers in the project inspection tests

  CLA Signed
  #180·Deicyde opened Oct 7, 2026Contributor·

  ·

• Share the bounded read in scaffold and the blocked exit in doctor

  CLA Signed
  #179·Deicyde opened Oct 7, 2026Contributor·

  ·

• Share capture-mode setup in tree snapshot tests and drop unreachable open-failure branches

  CLA Signed
  #176·Deicyde opened Oct 7, 2026Contributor·

  ·

• Report a non-UTF-8 Lean runtime reply as a protocol error and simplify request phases

  CLA Signed
  #175·Deicyde opened Oct 7, 2026Contributor·

  ·

• Drop duplicate code from project inspection and the Lake metadata reader

  CLA Signed
  #174·Deicyde opened Oct 7, 2026Contributor·

  ·

• Share the failure check in project creation tests

  CLA Signed
  #173·Deicyde opened Oct 7, 2026Contributor·

  ·

• Keep implementation notes separate from mathematical articles

  CLA Signed
  #172·Deicyde opened Oct 7, 2026Contributor·

  ·
  7

• Retain Lean project ownership through verified cleanup

  CLA Signedreview: ready
  #168·Deicyde opened Oct 6, 2026Contributor·

  ·
  1

  1

• Publish blueprint sites transactionally

  CLA Signedreview: ready
  #165·Deicyde opened Oct 6, 2026Contributor·

  ·
  1

• Rebuild artifact verification on bound project evidence

  awaiting authorCLA Signed
  #145·Deicyde opened Oct 5, 2026Contributor·

  ·
  3