Issues

• Implement RFC 0036: harmonize shell parsing and verification

  documentationenhancementepicmediumRoadmaptesting
  leynos/netsuke#1104 · Filter by author leynos opened on Nov 5, 2026
  1

• ADR: Record observable shell compatibility changes (RFC 0036)

  documentationmedium
  leynos/netsuke#1103 · Filter by author leynos opened on Nov 5, 2026
  1

• ADR: Make production-linked shell proofs and gates mandatory (RFC 0036)

  documentationenhancementmediumtesting
  leynos/netsuke#1102 · Filter by author leynos opened on Nov 5, 2026
  1

• ADR: Record interpreter trust and transport policy (RFC 0036)

  documentationmedium
  leynos/netsuke#1101 · Filter by author leynos opened on Nov 5, 2026

• ADR: Record admitted shell insertion roles and contextual encoding (RFC 0036)

  documentationmedium
  leynos/netsuke#1100 · Filter by author leynos opened on Nov 5, 2026
  1

• ADR: Record shell parser and dialect selection (RFC 0036)

  documentationmedium
  leynos/netsuke#1099 · Filter by author leynos opened on Nov 5, 2026
  1

• SP-09: Retire duplicate shell logic and close the audit (RFC 0036)

  documentationmediumrefactortesting
  leynos/netsuke#1098 · Filter by author leynos opened on Nov 5, 2026

• SP-08: Prove preservation and composition with Verus (RFC 0036)

  enhancementmediumtesting
  leynos/netsuke#1097 · Filter by author leynos opened on Nov 5, 2026
  1

• SP-07: Add bounded Kani production checks (RFC 0036)

  enhancementmediumtesting
  leynos/netsuke#1096 · Filter by author leynos opened on Nov 5, 2026

• SP-06: Harmonize paths and executable binding (RFC 0036)

  bugenhancementmediumtesting
  leynos/netsuke#1095 · Filter by author leynos opened on Nov 5, 2026
  1

• SP-05: Qualify PowerShell boundaries (RFC 0036)

  enhancementmediumtesting
  leynos/netsuke#1094 · Filter by author leynos opened on Nov 5, 2026
  1

• SP-04: Migrate POSIX and Bash traversals to qualified analysis (RFC 0036)

  bugenhancementmediumrefactortesting
  leynos/netsuke#1093 · Filter by author leynos opened on Nov 5, 2026
  1

• SP-03: Establish shared shell production contracts (RFC 0036)

  enhancementmediumrefactortesting
  leynos/netsuke#1092 · Filter by author leynos opened on Nov 5, 2026
  1

• SP-02: Qualify shell parser and dialect adapters (RFC 0036)

  enhancementmediumtesting
  leynos/netsuke#1091 · Filter by author leynos opened on Nov 5, 2026
  1

• SP-01: Inventory shell-parsing fixes and ratify contracts (RFC 0036)

  documentationenhancementmedium
  leynos/netsuke#1090 · Filter by author leynos opened on Nov 5, 2026
  1

• Verify arm64 Linux package installation at runtime

  enhancementlowtesting
  leynos/netsuke#1080 · Filter by author coderabbitai opened on Nov 2, 2026
  3

  

• Collect transient Kani scopes and guarantee teardown after evidence capture

  bugconcurrencyenhancementhightesting
  leynos/netsuke#1078 · Filter by author leynos opened on Nov 1, 2026
  2

• Document placeable grammar and Korean paired particles

  bugdocumentationenhancementlow
  leynos/netsuke#1072 · Filter by author coderabbitai opened on Nov 1, 2026
  2

  

• Complete localization glossary coverage for build edge and action

  documentationenhancement
  leynos/netsuke#1071 · Filter by author coderabbitai opened on Nov 1, 2026
  2

• Gate GitHub release publication on packaging and enforced admission

  bugenhancementmediumtesting
  leynos/netsuke#1070 · Filter by author coderabbitai opened on Nov 1, 2026
  3

• Implement public-consumer release smoke verification

  enhancementmediumtesting
  leynos/netsuke#1069 · Filter by author coderabbitai opened on Nov 1, 2026
  3

• Implement digest-aware GitHub release finalization

  enhancementmediumtesting
  leynos/netsuke#1068 · Filter by author coderabbitai opened on Nov 1, 2026
  3

• Implement downloaded release inventory verification

  enhancementmediumtesting
  leynos/netsuke#1067 · Filter by author coderabbitai opened on Nov 1, 2026
  3

• Implement candidate-bound declared-asset upload

  enhancementmediumtesting
  leynos/netsuke#1066 · Filter by author coderabbitai opened on Nov 1, 2026
  3

• Classify streaming forwarding failures and add bounded telemetry

  enhancementmediumtesting
  leynos/netsuke#1048 · Filter by author coderabbitai opened on Oct 30, 2026