Building a Constraint Runtime, Not Just a Solver
The product architecture behind deadline-bounded decisions: models, execution, repair, verification, and evidence.
Read the notearchitecture
3 notes from the field guide.
The Seven Trust Boundaries of a Private Navokoj Deployment
Seven layers of privacy, supply-chain integrity, offline licensing, and binary protection behind the Navokoj deployment model.
Read the noteThe Six Research Tribes of ShunyaBar
Six research cohorts compose into one pipeline: weight, transform, satisfy, relax, observe, and coordinate.
Read the note