AKI Formal Definition
Atomic Kernel Inference (AKI) — AgDR v0.2 Enforcement Layer
Formal Mathematical Definition
AKI is defined as a single indivisible kernel transaction:
[ (ctx, reasoning_trace, output, ppp_triplet, human_delta_chain)]
Execution Invariants (Enforced by CPU)
- Interrupts disabled:
local_irq_save(flags) - Preemption disabled:
preempt_disable() - No clocks or timers used (clock-independent)
- Zero-copy signing path
- Full rollback on failure — record never becomes visible
Integration with PPP Triplet
The PPP triplet (Provenance · Place · Purpose) is captured verbatim inside the same atomic block. This guarantees that the meaning of each P is frozen at the exact inference instant and cannot be altered later.
How to Import and Use AKI
Python Wrapper Example (import this): ```python from agdr_aki import aki_capture
record = aki_capture( ctx=system_context, reasoning_trace=full_trace, output=decision_output, ppp_triplet=ppp_dict, human_delta_chain=delta_chain )