Experimental Rust research software for explicit authority boundaries, negative knowledge, traceable state transitions, and reproducible falsification POCs.

1 stars 0 forks 1 watchers Rust Apache License 2.0
ai-governance deterministic-systems ess-mai executable-prior-art formal-methods hypothesis-testing knowledge-representation negative-knowledge open-science reasoning-systems reproducibility research-software runtime-verification rust software-architecture state-machines systems-engineering systems-programming systems-research traceability
9 Open Issues Need Help Last updated: Sep 14, 2026

Open Issues Need Help

View All on GitHub
help wanted kind/research-question scope/cross-poc review/systems review/reproducibility review-wanted benchmark-needed test-needed

Experimental Rust research software for explicit authority boundaries, negative knowledge, traceable state transitions, and reproducible falsification POCs.

Rust
#ai-governance#deterministic-systems#ess-mai#executable-prior-art#formal-methods#hypothesis-testing#knowledge-representation#negative-knowledge#open-science#reasoning-systems#reproducibility#research-software#runtime-verification#rust#software-architecture#state-machines#systems-engineering#systems-programming#systems-research#traceability
help wanted good first issue kind/technical-review scope/claim-boundary review/reproducibility review-wanted documentation-vs-source

Experimental Rust research software for explicit authority boundaries, negative knowledge, traceable state transitions, and reproducible falsification POCs.

Rust
#ai-governance#deterministic-systems#ess-mai#executable-prior-art#formal-methods#hypothesis-testing#knowledge-representation#negative-knowledge#open-science#reasoning-systems#reproducibility#research-software#runtime-verification#rust#software-architecture#state-machines#systems-engineering#systems-programming#systems-research#traceability
help wanted kind/technical-review scope/cross-poc scope/artifact-integrity review/security review/adversarial review-wanted falsification-wanted

Experimental Rust research software for explicit authority boundaries, negative knowledge, traceable state transitions, and reproducible falsification POCs.

Rust
#ai-governance#deterministic-systems#ess-mai#executable-prior-art#formal-methods#hypothesis-testing#knowledge-representation#negative-knowledge#open-science#reasoning-systems#reproducibility#research-software#runtime-verification#rust#software-architecture#state-machines#systems-engineering#systems-programming#systems-research#traceability
help wanted kind/technical-review poc/003 review/architecture review/systems review/state-machine review-wanted open-hypothesis implementation-gap

Experimental Rust research software for explicit authority boundaries, negative knowledge, traceable state transitions, and reproducible falsification POCs.

Rust
#ai-governance#deterministic-systems#ess-mai#executable-prior-art#formal-methods#hypothesis-testing#knowledge-representation#negative-knowledge#open-science#reasoning-systems#reproducibility#research-software#runtime-verification#rust#software-architecture#state-machines#systems-engineering#systems-programming#systems-research#traceability
help wanted kind/technical-review poc/006 review/systems review/runtime review/knowledge-representation open-hypothesis falsification-wanted implementation-gap

Experimental Rust research software for explicit authority boundaries, negative knowledge, traceable state transitions, and reproducible falsification POCs.

Rust
#ai-governance#deterministic-systems#ess-mai#executable-prior-art#formal-methods#hypothesis-testing#knowledge-representation#negative-knowledge#open-science#reasoning-systems#reproducibility#research-software#runtime-verification#rust#software-architecture#state-machines#systems-engineering#systems-programming#systems-research#traceability
help wanted kind/technical-review kind/counterexample poc/005 review/rust review/systems review/runtime open-hypothesis falsification-wanted implementation-gap

Experimental Rust research software for explicit authority boundaries, negative knowledge, traceable state transitions, and reproducible falsification POCs.

Rust
#ai-governance#deterministic-systems#ess-mai#executable-prior-art#formal-methods#hypothesis-testing#knowledge-representation#negative-knowledge#open-science#reasoning-systems#reproducibility#research-software#runtime-verification#rust#software-architecture#state-machines#systems-engineering#systems-programming#systems-research#traceability
help wanted kind/technical-review kind/counterexample poc/004 review/formal-methods review/state-machine open-hypothesis falsification-wanted implementation-gap

Experimental Rust research software for explicit authority boundaries, negative knowledge, traceable state transitions, and reproducible falsification POCs.

Rust
#ai-governance#deterministic-systems#ess-mai#executable-prior-art#formal-methods#hypothesis-testing#knowledge-representation#negative-knowledge#open-science#reasoning-systems#reproducibility#research-software#runtime-verification#rust#software-architecture#state-machines#systems-engineering#systems-programming#systems-research#traceability
help wanted kind/technical-review scope/cross-poc review/formal-methods review/state-machine review-wanted open-hypothesis falsification-wanted

Experimental Rust research software for explicit authority boundaries, negative knowledge, traceable state transitions, and reproducible falsification POCs.

Rust
#ai-governance#deterministic-systems#ess-mai#executable-prior-art#formal-methods#hypothesis-testing#knowledge-representation#negative-knowledge#open-science#reasoning-systems#reproducibility#research-software#runtime-verification#rust#software-architecture#state-machines#systems-engineering#systems-programming#systems-research#traceability
help wanted kind/reproducibility scope/cross-poc review/reproducibility review-wanted

Experimental Rust research software for explicit authority boundaries, negative knowledge, traceable state transitions, and reproducible falsification POCs.

Rust
#ai-governance#deterministic-systems#ess-mai#executable-prior-art#formal-methods#hypothesis-testing#knowledge-representation#negative-knowledge#open-science#reasoning-systems#reproducibility#research-software#runtime-verification#rust#software-architecture#state-machines#systems-engineering#systems-programming#systems-research#traceability