Search results

RFC: Lean 4 as ontology specification layer, Rust as runtime

Status: Open.

#236 In i-am-logger/pr4xis;

· i-am-logger opened on Jul 19, 2026

pr4xis-domains --no-default-features build is broken at HEAD (2393 errors, pre-existing)

Status: Open.

#229 In i-am-logger/pr4xis;

· i-am-logger opened on Jul 5, 2026

Knowledge-graph functor for swarm exchange needs morphism vocabulary beyond Subsumption/Parthood

Status: Open.

#227 In i-am-logger/pr4xis;

· i-am-logger opened on Jul 5, 2026

Programming-models ontology (skeletons, scan/reduce, MapReduce) — deferred from parallelism

Status: Open.

#228 In i-am-logger/pr4xis;

· i-am-logger opened on Jul 5, 2026

Sensor ⊣ Driver adjunction: expose the sensor→Device collapse gap

Status: Open.

#226 In i-am-logger/pr4xis;

· i-am-logger opened on Jul 5, 2026

Promote SpeechAct to a full ontology! category; structural EventBody→Illocution functor

Status: Open.

#225 In i-am-logger/pr4xis;

· i-am-logger opened on Jul 5, 2026

Migrate prx to depend on praxis (smart-edge North Star)

Status: Open.

#224 In i-am-logger/pr4xis;

· i-am-logger opened on Jul 5, 2026

refactor: axiom_meta! macro — use typed entities, stop inlining compile-time string literals

help wantedExtra attention is neededExtra attention is needed

Status: Open.

#167 In i-am-logger/pr4xis;

· i-am-logger opened on Apr 19, 2026

refactor: resolve duplicate Morphism types — category::Morphism vs ontology::meta::Morphism

Status: Open.

#164 In i-am-logger/pr4xis;

· i-am-logger opened on Apr 19, 2026

refactor: engine/ module — wire to Derivation ontology, delete primitive-string fields

Status: Open.

#161 In i-am-logger/pr4xis;

· i-am-logger opened on Apr 19, 2026

feat: ontology → ROS 2 IDL generation functor

Status: Open.

#159 In i-am-logger/pr4xis;

· i-am-logger opened on Apr 19, 2026

cleanup: extract module_path from RelationshipMeta — Rust-specific, doesn't belong in Lemon shape

help wantedExtra attention is neededExtra attention is needed

Status: Open.

#155 In i-am-logger/pr4xis;

· i-am-logger opened on Apr 18, 2026