serQ v0.1.4

IR v12 separates workload Size values from resource-bound Cost values. Workloads specify request sizes; servers convert sizes with cost(resource, amount). Primitive run/hold/grow/load operations require costs for their target resources. Explicit Size and Cost declarations and multi-resource Cost records lower to scalar IR costs; serving vocabulary performs the conversion.

IR readers must regenerate older programs: attr_types and sides are mandatory. While is part of IR v12; turn now draws the next request and waits for its server to complete, replacing request in client sessions without resetting RNG streams. The Lean generator and oracle vectors consume this version together.

This release also fixes aggregate expression validation stack overflow. See the language and IR specifications for migration details.

What's Changed

• feat(lang): serQ as a serving specification language, with a vLLM target by @vrvrv in #350
• docs(site): simplify reader documentation and theorem presentation by @vrvrv in #380
• docs(site): clarify capabilities and verification scope by @vrvrv in #381
• feat(frontend): add explicit main and declared program inputs by @vrvrv in #383
• docs(api): organize Python and language reference entries by @vrvrv in #384
• refactor(frontend)!: require workload sessions and request handlers by @vrvrv in #382
• docs(guide): document and apply program organization conventions by @vrvrv in #385
• refactor(frontend)!: use braces for expression definitions by @vrvrv in #387
• refactor(frontend)!: separate execution settings from models by @vrvrv in #386
• docs(examples): standardize resource and observation names by @vrvrv in #389
• feat(workload): express sessions as completed turns by @vrvrv in #388
• feat(types)!: separate workload sizes from resource costs by @vrvrv in #390
• chore(release): prepare v0.1.4 by @vrvrv in #391

Full Changelog: v0.1.3...v0.1.4