DECLARATION → GENERATION → EVIDENCE

Meaning,
made executable.

Describe what a system means.
Connect it to the code it produces.
Keep the evidence of what actually happened.

Start with GoooExplore the language →

Experimental. Go-backed. Open source.
Not a replacement for Go. Not a claim of autonomous correctness.

observation.goooDECLARED INTENT
package registrationfixture
namespace registrationfixture

entity Observation
  id "gooo://registration-fixture/observation"
  fields {
    field State
      id "gooo://registration-fixture/state"
      type string required one
  }

activity Capture(Observation)
  → Observation
  computes "record.forward:v1"

A readable presentation of a compiler test fixture.
The arrow above is notation, not copy-ready syntax.

A SMALLER DISTANCE BETWEEN WHY AND WHAT

Code is an output.
Meaning is the starting point.

01 / DECLARE

Make intent explicit

Entities describe things. Activities describe transformations. Agents describe who acts. Stable identities connect them.

The semantic model →
02 / GENERATE

Produce derived code

The compiler lowers declarations into a semantic representation, then generates Go within explicit boundaries.

Generation boundaries →
03 / OBSERVE

Keep claims accountable

Receipts bind observations to inputs and operations. Missing evidence stays unknown. Known counterexamples stay visible.

Reading the evidence →

SELF-IMPROVEMENT, WITHOUT SELF-CERTIFICATION

A compiler that can propose
changes to its own system.

Gooo has bounded execution paths for code transformations and coordinated syntax registration. A generated candidate is not permission to apply it.

See what is implemented →
  1. Declared operationExact input, scope, and identity
  2. Generated candidateChanges in a temporary workspace
  3. Native verificationTests, replay, and counterexamples
  4. Scoped decisionEvidence first. Authority separately.

AN HONEST STARTING POINT

Useful experiments.
Visible limits.

Development-branch capabilities are not automatically available in a published release. We report exact cases, not a percentage of language completeness.

Browse releases →