Ditching IEC 61131-3 for the Agentic Industrial Era
PAML (Process Automation Modeling Language / Process Agent Modeling Language) is a flat, line-based, token-optimized text specification format designed to drive AI-driven code synthesis for virtual PLCs running on sandboxed WebAssembly engines.
Decentralized IPFS Mirrors
To ensure censorship resistance, the core PAML specification (`llms-full.txt`) is stored on the InterPlanetary File System (IPFS) network under CIDv1:
bafkreihi2wzwoyeugy4h7gl2ygbwhqteuqchczswmj3pw7yfjhjqz65rya
Core Architecture
A pure, un-nested state-space matrix mapping process variables to execution loops without dynamic dynamic compilation, reducing token counts by up to 80%.
Explore Blueprint →Safety Verification
Rigorous First-Order Logic constraints compiled into mathematical models, validated by Microsoft Z3 SMT solvers to predict and prevent HAZOP failures.
Explore Verification →Signal Mapping
Declarative line expressions for continuous PID loops, discrete bitmask extractions, Wear-and-tear motor standby swaps, and asynchronous analyzer watchdogs.
Explore Signal Rules →Zig VM Runtime
Memory-aligned, lock-free processing matrices compiled to WASI modules running natively inside CPU-pinned real-time threads under 1ms cycles.
Explore Runtime VM →ARSL & Prior Art
Secure, reciprocal software licenses enforcing open tag publication to build defensive prior art pools and block predatory vendor patents.
Explore Compliance →Consulting & History
The history of PAML's adoption by Aetheris Plasma Dynamics and the consulting footprint of senior architect Assa van Nixnie.
Explore History →