Notes

Engineering notes

Things we found while building a gate that decides whether an AI agent may act. Mostly correctness bugs and the trade-offs behind them — including the ones we caused.