v0.120.0

What's Changed

• docs(track): settle the testing track — one predicate surface (ADR 0144) by @accuser in #434
• docs(proposal): testing slice 1a — expect + suite/case, structural failure reporting (v0.112) by @accuser in #435
• feat(lang): expect + suite/case + structural failure reporting (v0.112, testing track slice 1a) by @accuser in #436
• docs(proposal): testing slice 1b — structural test-ness + flat include/exclude (v0.113) by @accuser in #437
• feat(lang): structural test-ness — suite in any file, stripped from the build, flat [paths] (v0.113, testing track slice 1b) by @accuser in #438
• docs(proposal): testing slice 2 — property/for all, Val[T], generation (v0.114) by @accuser in #439
• feat(lang): property/for all generative tests + Val[T] over refinement domains (v0.114, testing track slice 2) by @accuser in #440
• docs(proposal): testing slice 3 — function contracts requires/ensures (v0.115) by @accuser in #442
• feat(lang): function contracts — requires/ensures (v0.115, testing track slice 3) by @accuser in #443
• docs(proposal): testing slice 4 — step invariants transition (v0.116) by @accuser in #444
• feat(lang): step invariants — transition over old/new at the commit boundary (v0.116, testing track slice 4) by @accuser in #445
• docs(proposal): testing slice 5 — the observation surface (v0.117) by @accuser in #446
• feat(lang): the observation surface — expect Cap.op called … sugar + trace(Cap.op) (v0.117, ADR 0152, testing track slice 5) by @accuser in #447
• docs(proposal): testing slice 6 — the tier dial and per-seam provides (v0.118) by @accuser in #448
• feat(lang): the tier dial + per-seam provides — testing track slice 6 (v0.118, ADRs 0153/0154) by @accuser in #449
• docs(proposal): testing slice 7 — history properties (property over a generated call-history, v0.119) by @accuser in #450
• feat(lang): history properties — for all run: History[Agent] (v0.119, ADR 0155, testing track slice 7) by @accuser in #452
• fix(emit): mute InvariantViolation logging during driven history runs by @accuser in #453
• chore(release): v0.120.0 — retire the testing track by @accuser in #454

Full Changelog: v0.111.0...v0.120.0