A local approval gate binds a signed grant to the actor, target, arguments, expiry, and a one-use nonce. Change the call and see why the decision changes.
Original Python experiment with controlled fixtures. The gate evaluates permission; it does not run the proposed tool.
Compare a small C program with Ghidra’s recovered types, instructions, and control flow across two compiler builds. Boundary inputs reveal where the source contract and interpretation differ.
Original fixtures with recorded native results and tool versions. The interactive browser comparison uses an arithmetic model.
A small help-desk demo distinguishes an attempted fix from a matching completion record. Follow stale requests, mismatched receipts, and a verified sample handoff.
Synthetic requests and example records. This is a demonstration of workflow design.
I connect independent projects to study and career preparation in my local Iona workflow. The public learning page shows the projects and skills I’m practicing.
I can explain what I tested, what I changed, and what I still need to verify.