-
Notifications
You must be signed in to change notification settings - Fork 0
All issues
Issue creation is restricted in this repository
Issues
is:issue state:open
is:issue state:open
Search results
applied: the block-transposition adjacency property is unpinned in release
audit-sweep2026-08 audit sweep: paper/test-layer audit findings2026-08 audit sweep: paper/test-layer audit findingsStatus: Open.#373 In sustia-llc/catgraph;applied: MatR::zero_matrix contents are unpinned — filling one() instead of zero() reddens nothing
audit-sweep2026-08 audit sweep: paper/test-layer audit findings2026-08 audit sweep: paper/test-layer audit findingsStatus: Open.#371 In sustia-llc/catgraph;- Status: Open.#365 In sustia-llc/catgraph;
core: lift spider_theorem's m=n=0 and component-closing exclusions now that #350 decided the line
audit-sweep2026-08 audit sweep: paper/test-layer audit findings2026-08 audit sweep: paper/test-layer audit findingsStatus: Open.#353 In sustia-llc/catgraph;applied: DecoratedCospan's derived Clone/Debug bound D, not D::Apex — uncloneable for every decoration that exists
audit-sweep2026-08 audit sweep: paper/test-layer audit findings2026-08 audit sweep: paper/test-layer audit findingsStatus: Open.#348 In sustia-llc/catgraph;core: strict unitality is pinned only where the two pushout numberings coincide — id;g on a non-monotone left leg is unguarded
audit-sweep2026-08 audit sweep: paper/test-layer audit findings2026-08 audit sweep: paper/test-layer audit findingsStatus: Open.#346 In sustia-llc/catgraph;core: Span's identity flags — two axes (#289 follow-up): no length conjunct, and still cached
audit-sweep2026-08 audit sweep: paper/test-layer audit findings2026-08 audit sweep: paper/test-layer audit findingsStatus: Open.#345 In sustia-llc/catgraph;applied: the prop/presentation rewrite predicates are unrepresented — 46% of surviving mutants in one subtree, zero board coverage for four of its files
audit-sweep2026-08 audit sweep: paper/test-layer audit findings2026-08 audit sweep: paper/test-layer audit findingsStatus: Open.#333 In sustia-llc/catgraph;physics: to_petgraph multigraph parity and dangling-edge-drop contracts are fixture-free
audit-sweep2026-08 audit sweep: paper/test-layer audit findings2026-08 audit sweep: paper/test-layer audit findingsStatus: Open.#332 In sustia-llc/catgraph;physics: wasserstein identity/symmetry asserted on one uniform 3-point mu and one Dirac pair
audit-sweep2026-08 audit sweep: paper/test-layer audit findings2026-08 audit sweep: paper/test-layer audit findingsStatus: Open.#331 In sustia-llc/catgraph;physics: parallel + feature parity untested — 'bit-reproducible at any size' rests on a branch zero assertions touch
audit-sweep2026-08 audit sweep: paper/test-layer audit findings2026-08 audit sweep: paper/test-layer audit findingsStatus: Open.#329 In sustia-llc/catgraph;physics: catgraph_bridge contiguity guard is statically false — the body is dead code
audit-sweep2026-08 audit sweep: paper/test-layer audit findings2026-08 audit sweep: paper/test-layer audit findingsStatus: Open.#328 In sustia-llc/catgraph;