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).

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 13 days 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 13 days 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 13 days 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 13 days 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 13 days 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 13 days 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 13 days 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) 13 days 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