All issues

No registry version admits a divergent terminal platform door

#133

· dollspace-gay opened

on Aug 7, 2026

Derived-index logical observers need a proof-fn bit-preservation witness and Euclidean index bridging

#132

· dollspace-gay opened

on Aug 7, 2026

Quantified logical-index aggregate-state relations are specified but unimplemented

#131

· dollspace-gay opened

on Aug 7, 2026

Extend reconstruction past the decidable fragment — instantiation replay, and SOS certificates for the relax route

#130

· maxinelevesque opened

on Aug 7, 2026

The bounded `Vec` wrapper has no `View`, so spec positions needing a `Seq` fail

#125

· maxinelevesque opened

on Aug 6, 2026

Combinators are not collected from a struct `inv`, so they do not resolve there

#126

· maxinelevesque opened

on Aug 6, 2026

A `spec fn` over an ADT has its declared `bool` return rewritten to `nat`

#124

· maxinelevesque opened

on Aug 6, 2026

Map needs `remove` and iteration for the kernel subsystem models

#123

· maxinelevesque opened

on Aug 4, 2026

A struct with a field of user-declared type never certifies

#122

· maxinelevesque opened

on Aug 3, 2026

Separate the two enforcement regimes: CI bears trust, authoring-time does not

#121

· maxinelevesque opened

on Aug 3, 2026

RFC-3: Versioning — what a Thermite version number promises

#120

· maxinelevesque opened

on Aug 3, 2026

RFC-2: The certification surface — from a ladder to a coordinate system

#119

· maxinelevesque opened

on Aug 3, 2026