-
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
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: multiway_katz divergence contract is 100% untested
audit-sweep2026-08 audit sweep: paper/test-layer audit findings2026-08 audit sweep: paper/test-layer audit findingsStatus: Open.#330 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;physics: rewrite hardening — RewriteSpan::to_span silently drops unmapped kernel vertices; DPO apply pinned by edge count only
audit-sweep2026-08 audit sweep: paper/test-layer audit findings2026-08 audit sweep: paper/test-layer audit findingsStatus: Open.#327 In sustia-llc/catgraph;physics: gauge Wilson loops — find_wilson_loops ignores _max_length; D≥3 lattices are vacuously 'globally causally invariant'
audit-sweep2026-08 audit sweep: paper/test-layer audit findings2026-08 audit sweep: paper/test-layer audit findingsStatus: Open.#326 In sustia-llc/catgraph;