I build Gooo, an experimental programming language, and practical examples that compile its rules into ordinary Go.

A current focus is automatic service-policy changes: explain which requests a rule admits, find a concrete request that gains access, and apply constrained changes with current authority and revision checks in an in-memory reference host.

• Try Gooo without installing anything: interactive tutorial — edit the inputs and inspect the Gooo source.
• Explore a policy change in your browser: service-grant refinement demo — both patterns allow one familiar request, but the program finds a new request admitted by only one.
• Use the generated code from Go: small service-policy consumer — includes the pinned dependency, required Go version, and expected output.

Development lives in meta-ontology-go (the language) and gooo-go-ports (ports, original policy examples, and reproducible checks). Reproducible bug reports and examples from real workflows help shape the work.