Language Reference

Quire’s normative language contracts come from two generated or curated sources:

• docs/language-spec.md (grammar + semantic model + safety claims)
• reference/reference.json (generated language reference index)
• reference/index.html (generated browsable reference page)
• LANGUAGE-SPEC.md (generated frozen standard snapshot)

docs/language-spec.md is the human-editable input for the generated LANGUAGE-SPEC.md.

Standard and compatibility

• Quire version in scope: 1.0.0
• IR contract: stretchpress.blocks.v1
• The source spec claims Quire 1.0 conformance for language and compiler output

From .sources/quire/CHANGELOG.md, language-compatible implementations can run the suite documented in docs/language-spec.md and test/conformance/quire-1.0.json.

Generator flow

npm run reference:build
npm run reference:check
npm run conformance:run

Reference generation consumes:

• grammar cases (test/conformance/grammar-cases.json)
• semantic cases (test/conformance/semantic-cases.json)
• the golden artifact set and standard schema contracts

What the reference contains

• Documents, blocks, and expressions that the parser accepts
• Typed property/identifier expectations from the compatibility schema
• Project-schema extension fields the compiler uses during validation
• Diagnostic expectations used by conformance checks

For generated APIs and tooling

npm run conformance:run
quire schema
npm run site:check
npm run starters:check

Use the live generated reference page if you need exact block prop names, keywords, and example diagnostics for the installed revision.