halcyonic-systems

halcyonic-systems/facets

Facets — one instrument for systems science: chat grounded in the formal corpus, and a modeling canvas judged by a Klir/Bunge/Mobus kernel (Rust→WASM).

8 good first / help-wanted issues · Rust · last activity Sep 7, 2026

0 stars 0 forks 0 watchers Rust MIT License
bunge formal-methods klir lean4 mobus rust systems-modeling systems-science webassembly
View on GitHub Website
8 Open Issues Need Help Last updated: Sep 7, 2026

Open Issues Need Help

View All on GitHub
Rename browser storage to facets.* with migration about 2 months ago
enhancement good first issue help wanted infra
halcyonic-systems/facets
0

Facets — one instrument for systems science: chat grounded in the formal corpus, and a modeling canvas judged by a Klir/Bunge/Mobus kernel (Rust→WASM).

Rust
#bunge#formal-methods#klir#lean4#mobus#rust#systems-modeling#systems-science#webassembly
Restore wasm-opt with a pinned binaryen — the kernel ships 301 KB (+25%) larger without it about 2 months ago
good first issue help wanted infra
halcyonic-systems/facets
0

Facets — one instrument for systems science: chat grounded in the formal corpus, and a modeling canvas judged by a Klir/Bunge/Mobus kernel (Rust→WASM).

Rust
#bunge#formal-methods#klir#lean4#mobus#rust#systems-modeling#systems-science#webassembly
Library: render each model as a diagram thumbnail about 2 months ago
good first issue help wanted ux rendering
halcyonic-systems/facets
0

Facets — one instrument for systems science: chat grounded in the formal corpus, and a modeling canvas judged by a Klir/Bunge/Mobus kernel (Rust→WASM).

Rust
#bunge#formal-methods#klir#lean4#mobus#rust#systems-modeling#systems-science#webassembly
Step mid-trace should advance the cursor, not jump to the grown run's end about 2 months ago
bug good first issue help wanted ux
halcyonic-systems/facets
0

Facets — one instrument for systems science: chat grounded in the formal corpus, and a modeling canvas judged by a Klir/Bunge/Mobus kernel (Rust→WASM).

Rust
#bunge#formal-methods#klir#lean4#mobus#rust#systems-modeling#systems-science#webassembly
InterfacePopover should surface the pass-way's declared protocol about 2 months ago
enhancement good first issue help wanted ux
halcyonic-systems/facets
0

Facets — one instrument for systems science: chat grounded in the formal corpus, and a modeling canvas judged by a Klir/Bunge/Mobus kernel (Rust→WASM).

Rust
#bunge#formal-methods#klir#lean4#mobus#rust#systems-modeling#systems-science#webassembly
Canvas hint for an interface without a receiving processor about 2 months ago
good first issue help wanted ux
halcyonic-systems/facets
0

Facets — one instrument for systems science: chat grounded in the formal corpus, and a modeling canvas judged by a Klir/Bunge/Mobus kernel (Rust→WASM).

Rust
#bunge#formal-methods#klir#lean4#mobus#rust#systems-modeling#systems-science#webassembly
Pass-way glyph loses identity at small sizes about 2 months ago
good first issue help wanted ux rendering
halcyonic-systems/facets
0

Facets — one instrument for systems science: chat grounded in the formal corpus, and a modeling canvas judged by a Klir/Bunge/Mobus kernel (Rust→WASM).

Rust
#bunge#formal-methods#klir#lean4#mobus#rust#systems-modeling#systems-science#webassembly
A real app icon (the b·l mark is a generated placeholder) about 2 months ago
good first issue help wanted ux rendering
halcyonic-systems/facets
0

Facets — one instrument for systems science: chat grounded in the formal corpus, and a modeling canvas judged by a Klir/Bunge/Mobus kernel (Rust→WASM).

Rust
#bunge#formal-methods#klir#lean4#mobus#rust#systems-modeling#systems-science#webassembly