Language Preview

Core syntax after the v0.3 conservative rewrite.

This page shows the simulation-backed reference framing. Older examples using legacy continuous-feature syntax or physical-lab compilation language are being retired or rewritten.

Substrate Declaration

The reference backend is a simulator. The syntax below does not claim physical hardware execution.

substrate H: hopfield_sim {
  N: 1024;
  M: 54;
  alpha: 0.052734;
  W: learn(rule: projection, patterns: 54, seed: "reference");
  dynamics: async;
}

Vocabulary Registration

Registration creates a pending vocabulary. It is not usable until a run resolves it and validation succeeds.

vocab V = register(
  H,
  threshold: auto,
  features: PEFP(k: 9),
  method: PiAPlus,
  min_basins: 54,
  min_entropy: 5.0bits,
  max_collisions: 0
)

Run

run discovery for 10000steps, seed: "reference-run" { }

After Resolve

The after resolve block is the boundary between pending and resolved values.

after resolve V {
  assert glyph V {
    collisions == 0;
    entropy >= 5.0bits;
  };

  replay V {
    trials: 1000;
    require: fidelity >= 0.90;
  };

  send V.top(1) -> out;
}

Expected Failure

Failure is a normal outcome. A vocabulary that does not meet declared thresholds should produce diagnostics rather than a partial success.

after resolve V {
  export V to "survey.symvoc";
} on fail ResolutionError {
  diagnostics.emit(error);
}

Physical Backend Status

Future physical backends may map similar declarations to laboratory controls only if a HAL manifest proves that the backend can observe, calibrate, resolve, and replay comparable states. That is not claimed as solved in this preview.