The smart-edge program (commits 3693ff3..d63c518) re-manifested prx's prose protocol ontology as social/protocols/constitutive/ (Identity/Authority/Constitution/Praxis/Membership/Slashing, Ipv6Only + PostQuantumOnly axioms, IllocutionaryForce valued in the existing SearleCategory).
Follow-on: migrate experiments-src/prx to depend on the praxis crate —
- delete prx's prose
docs/ontology.md (the ontology is now runnable, cited code)
- replace prx's ad-hoc protocol types with the constitutive-protocol ontology's concepts
- keep libp2p strictly as a transport adapter behind the ontological layer
Verification: prx's existing e2e tests (p2p_chain, equivocation/ForkProof, slashing, roles) stay green against the praxis-backed types; ConsensusToConstitutiveProtocol (in applied/swarm/consensus/constitutive_functor.rs) is the bridge the fusion side already uses.
The smart-edge program (commits 3693ff3..d63c518) re-manifested prx's prose protocol ontology as
social/protocols/constitutive/(Identity/Authority/Constitution/Praxis/Membership/Slashing, Ipv6Only + PostQuantumOnly axioms, IllocutionaryForce valued in the existing SearleCategory).Follow-on: migrate
experiments-src/prxto depend on the praxis crate —docs/ontology.md(the ontology is now runnable, cited code)Verification: prx's existing e2e tests (p2p_chain, equivocation/ForkProof, slashing, roles) stay green against the praxis-backed types;
ConsensusToConstitutiveProtocol(inapplied/swarm/consensus/constitutive_functor.rs) is the bridge the fusion side already uses.