Issues

• Failed test sidecar is deleted, discarding recorded fault diagnostics

  enhancement
  schgoo/specgate#56 · Filter by author schgoo opened on Sep 30, 2026

• Validator: core supervisor fault types are unenforced when observer is target

  documentation
  schgoo/specgate#54 · Filter by author schgoo opened on Sep 30, 2026

• Evaluate selective Cargo Anvil checks

  enhancement
  schgoo/specgate#50 · Filter by author schgoo opened on Sep 24, 2026

• Epic: synchronous C# CTSC capture with exact seam profiles

  enhancement
  schgoo/specgate#48 · Filter by author schgoo opened on Sep 24, 2026

• C# goldens: prove paired-native behavioral capture

  enhancement
  schgoo/specgate#47 · Filter by author schgoo opened on Sep 24, 2026

• C# capture: run native tests and emit validated bundles

  enhancement
  schgoo/specgate#46 · Filter by author schgoo opened on Sep 24, 2026

• C# CTSC producer: complete synchronous typed and setup semantics

  enhancement
  schgoo/specgate#45 · Filter by author schgoo opened on Sep 24, 2026

• C# CTSC producer: instrument synchronous operation boundaries

  enhancement
  schgoo/specgate#44 · Filter by author schgoo opened on Sep 24, 2026

• Foundation: trust-anchor the trace engine (non-self-hosted) + language-neutral trace contract

  schgoo/specgate#36 · Filter by author schgoo opened on Aug 13, 2026

• Harness compiles a surrogate instead of building the C# fixture's real assembly (C# twin of #[path]-include anti-pattern)

  schgoo/specgate#35 · Filter by author schgoo opened on Aug 3, 2026
  1

• Regression test: durable metadata-based C# resolution (unscannable-but-reflectable witness fixture)

  schgoo/specgate#34 · Filter by author schgoo opened on Aug 3, 2026

• Authoring layer: typed spec-as-code DSL (Rust builder + #[specgate::case]) that compiles to canonical YAML

  schgoo/specgate#33 · Filter by author schgoo opened on Jul 30, 2026

• Binding schema: validate language-specific target settings against binding language

  schgoo/specgate#32 · Filter by author schgoo opened on Jul 14, 2026

• API-shape examples: agnostic spec construct linked via bindings to per-target usage code

  schgoo/specgate#31 · Filter by author schgoo opened on Jul 14, 2026

• North-star: derive formal models (Quint) from specs via proptest-inferred, human-ratified state models

  schgoo/specgate#30 · Filter by author schgoo opened on Jul 14, 2026

• Multi-version C# conformance matrix (frameworks list per target)

  schgoo/specgate#29 · Filter by author schgoo opened on Jul 14, 2026

• Type conformance: verify emitted values match declared output types

  schgoo/specgate#28 · Filter by author schgoo opened on Jul 13, 2026

• Specify public API shapes per-language

  schgoo/specgate#27 · Filter by author schgoo opened on Jul 13, 2026

• Differentiation from TDD: lean into spec-as-data

  schgoo/specgate#26 · Filter by author schgoo opened on Jul 7, 2026

• Convert harness scan.rs to read the linkme registry (unify source of truth)

  schgoo/specgate#25 · Filter by author schgoo opened on Jun 26, 2026

• Encourage good API design through spec-level signals

  schgoo/specgate#23 · Filter by author schgoo opened on Jun 23, 2026

• Binding targets should support execution context (cwd, env)

  schgoo/specgate#18 · Filter by author schgoo opened on Jun 20, 2026

• Support shared assertions across case results (each_result / common_traces)

  schgoo/specgate#17 · Filter by author SchuylerGoodman opened on Jun 19, 2026

• Scratch directory cleaned up after run — no way to inspect artifacts

  schgoo/specgate#13 · Filter by author schgoo opened on Jun 19, 2026

• Narrative cases reported as "passed" — inflates pass count

  schgoo/specgate#11 · Filter by author schgoo opened on Jun 19, 2026