Search results

P2 Add real-world examples inspired by Rust typenum use cases

kind:docsDocumentation backlog itemDocumentation backlog item

priority:p2Medium priorityMedium priority

Status: Open.

#17 In moriturus/Typenum.swift;

· moriturus opened on Mar 28, 2026

P2 Improve macro diagnostics for invalid literals and metatype arguments

kind:featureFeature backlog itemFeature backlog item

priority:p2Medium priorityMedium priority

Status: Open.

#16 In moriturus/Typenum.swift;

· moriturus opened on Mar 28, 2026

P1 Align README and architecture docs with current limitations and roadmap

kind:docsDocumentation backlog itemDocumentation backlog item

priority:p1High priorityHigh priority

Status: Open.

#13 In moriturus/Typenum.swift;

· moriturus opened on Mar 28, 2026

P1 Deprecate or redesign assertMetatypeEqual

kind:techdebtTechnical debt backlog itemTechnical debt backlog item

priority:p1High priorityHigh priority

Status: Open.

#12 In moriturus/Typenum.swift;

· moriturus opened on Mar 28, 2026

P1 Add static-or-safer constraints for array division and remainder

kind:featureFeature backlog itemFeature backlog item

priority:p1High priorityHigh priority

Status: Open.

#11 In moriturus/Typenum.swift;

· moriturus opened on Mar 28, 2026

P1 Reduce duplicated integer construction logic between macros and codegen

kind:techdebtTechnical debt backlog itemTechnical debt backlog item

priority:p1High priorityHigh priority

Status: Open.

#10 In moriturus/Typenum.swift;

· moriturus opened on Mar 28, 2026

P1 Implement generated proof scaffolding in TypenumCodegen

kind:featureFeature backlog itemFeature backlog item

priority:p1High priorityHigh priority

Status: Open.

#9 In moriturus/Typenum.swift;

· moriturus opened on Mar 28, 2026

P0 Raise library source coverage to 100%

kind:testTesting or quality backlog itemTesting or quality backlog item

priority:p0Highest priorityHighest priority

Status: Open.

#8 In moriturus/Typenum.swift;

· moriturus opened on Mar 28, 2026

P0 Replace trap-based arithmetic preconditions with proof-oriented APIs

kind:featureFeature backlog itemFeature backlog item

priority:p0Highest priorityHighest priority

Status: Open.

#7 In moriturus/Typenum.swift;

· moriturus opened on Mar 28, 2026

P0 Canonical type normalization roadmap for core operators

kind:techdebtTechnical debt backlog itemTechnical debt backlog item

priority:p0Highest priorityHighest priority

Status: Open.

#6 In moriturus/Typenum.swift;

· moriturus opened on Mar 28, 2026

Epic: Improve documentation and developer experience

kind:epicPortfolio backlog epicPortfolio backlog epic

Status: Open.

#5 In moriturus/Typenum.swift;

· moriturus opened on Mar 28, 2026

Epic: Strengthen testing and quality gates

kind:epicPortfolio backlog epicPortfolio backlog epic

Status: Open.

#4 In moriturus/Typenum.swift;

· moriturus opened on Mar 28, 2026