Modules§
- admission
- evidence_
extractors - Oxigraph store extractors for evidence payloads.
- evidence_
types - Evidence payload types and From/TryFrom converters for wasm4pm compatibility.
- invariants
- kernel
- powl_
conformance - POWL conformance bridge — checks actual OCEL execution against declared POWL model.
- powl_
model - Declared POWL process model for lsp-max server instances. The declared model is the ΔP — what the server claims it does. wasm4pm checks actual execution against this declaration.
- receipts
- replay
- semantic_
graph - Semantic law graph module — clean boundary wall around Oxigraph.
- views
- wasm4pm_
admission - wasm4pm_
evidence - wasm4pm evidence integration — coordinator module.
- wasm4pm_
graduation