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.

• Highlight Gooo sources locally: highlight-gooo v0.1.1 — create self-contained HTML or source-preserving JSON with published Chroma.

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.

The language-bridge workbench keeps native language comparisons, reproducible examples, and upstream contribution evidence together.

Browse the experiment catalog for browser demos, native comparisons and Gooo bridges, with input bounds and reproduction steps for each.

Start with a concrete comparison: string-length units across Go, Python and JavaScript, or execution versus completion input intent.

Compare Goja or Sobek with Node.js using source-pinned JavaScript snapshots. Supply a small script and retain exact source revisions, original outputs and per-case differences; the guide includes a 54-observation Sobek example. No model or API key is required.

• urfave/cli: submitted fix retains unfinished short-flag groups for shell completion callbacks. Six platform/version CI jobs passed; the native/Gooo guide explains the intent boundary.
• pflag: run a type-identity counterexample in your browser — two distinct Go types share a display label. The submitted fix checks actual native type identity. The browser example runs the pinned original.
• Goja: reported normalization bug replaces lone UTF-16 surrogates with U+FFFD. The 24-case Goja/Node comparison includes a pinned reproducer, regression tests and raw results.
• Bubbles: submitted fix preserves the newline when Delete removes a line's final character. Native/Gooo reproduction.
• Chroma: submitted fix recognizes Go imaginary literals such as 0b10i and 0x1p-2i, checked against native Go.
• Caddy: reproduced PR review shows how a value-only cache turns unknown placeholders into known empty values.