I’m working on a compact deterministic behavioral runtime for constrained embedded systems and would like independent engineering feedback.
The current verified result is:
ARMv6-M executable core: 1,615 bytes
Zero heap allocation
Deterministic execution contract
Governance integrated into the execution core
Behavioral artifacts separated from the runtime
Reproducible raw binary
The 1,615-byte figure is a measured/verified result, not a claim that it is the theoretical minimum.
Challenge:
Can this be reduced further while preserving the same semantics, governance guarantees, deterministic behavior, ABI requirements, and zero-heap constraint?
I’m particularly interested in feedback on:
compiler/linker optimization opportunities
ARMv6-M instruction selection
linker/section layout
control-flow and function specialization
data/table representation
any other sources of avoidable code-size overhead
I’d also be interested in knowing what the community considers a realistic lower bound for a runtime with these constraints.
I can share more technical details and the verification methodology for anyone interested in examining the result.