Issues

• Migrate from ortho_config v0.8.0 to v0.10.0

  dependenciesenhancementmediumrefactortesting
  leynos/mapsplice#182 · Filter by author leynos opened on Oct 25, 2026
  1

• Proof obligations: planned validation and JSON export must use the verified production model

  enhancementmediumtesting
  leynos/mapsplice#167 · Filter by author leynos opened on Oct 14, 2026

• Verification evidence: add independent semantic oracles and adversarial whole-pipeline properties

  enhancementlowtesting
  leynos/mapsplice#166 · Filter by author leynos opened on Oct 14, 2026

• Proof: compose the real edit pipeline and prove fail-closed commit decisions

  enhancementrefactortesting
  leynos/mapsplice#165 · Filter by author leynos opened on Oct 14, 2026

• Proof: rendered Markdown reparses to the edited roadmap and reaches the documented no-op normal form

  enhancementrefactortesting
  leynos/mapsplice#164 · Filter by author leynos opened on Oct 14, 2026

• Proof: source provenance and invalidation preserve every byte outside the authorized edit footprint

  enhancementmediumtesting
  leynos/mapsplice#163 · Filter by author leynos opened on Oct 14, 2026

• Proof: complete dependency remapping preserves identity and rejects every dangling reference

  enhancementmediumtesting
  leynos/mapsplice#162 · Filter by author leynos opened on Oct 14, 2026

• Proof: recognize every supported Requires reference exactly once in the production tree

  refactortesting
  leynos/mapsplice#161 · Filter by author leynos opened on Oct 14, 2026

• Proof: structural splices conserve ordered content and retire precisely the addressed identities

  enhancementrefactortesting
  leynos/mapsplice#160 · Filter by author leynos opened on Oct 14, 2026

• Proof: hierarchical renumbering is contiguous, injective and preserves item identity

  enhancementmediumrefactortesting
  leynos/mapsplice#159 · Filter by author leynos opened on Oct 14, 2026

• Proof: production parsing establishes a lossless, well-formed roadmap model

  enhancementrefactortesting
  leynos/mapsplice#158 · Filter by author leynos opened on Oct 14, 2026
  3

• Verification gates: enforce production linkage, explicit trust boundaries and attributable proof failures

  enhancementtesting
  leynos/mapsplice#157 · Filter by author leynos opened on Oct 14, 2026
  2

• Architecture: make production kernels directly verifiable, starting with the source-span scanner

  enhancementmediumrefactortesting
  leynos/mapsplice#156 · Filter by author leynos opened on Oct 14, 2026
  2

• Verification programme: prove production roadmap edits by establishment, preservation and composition

  enhancementmediumrefactortesting
  leynos/mapsplice#155 · Filter by author leynos opened on Oct 14, 2026
  2

• Extend the planned validation syntax pass to documentation-set sequence numbers

  enhancementlowmedium
  leynos/mapsplice#150 · Filter by author leynos opened on Oct 13, 2026
  2

• Add JSON export of roadmaps and an export drift validator

  enhancement
  leynos/mapsplice#144 · Filter by author leynos opened on Oct 10, 2026
  2

• Revisit Cranelift development backend on 2027-04-01

  bugmediumtesting
  leynos/mapsplice#115 · Filter by author leynos opened on Oct 1, 2026

• Document and approve shared spelling-policy identifiers

  documentationenhancement
  leynos/mapsplice#83 · Filter by author leynos opened on Sep 20, 2026