Skip to main content

42 posts tagged with "ess"

View All Tags

0.3.1 — a specification that cannot hold a dangling reference

· 3 min read
0.3.1 — a specification that cannot hold a dangling reference | ESSThe compiler resolves a specification into an IR where a dangling reference cannot exist, and models the three layers above the domains — components, bindings, topology. A binding must state its delivery guarantee and what happens on failure.ESSfield-noteessfield-noteadopterdevelopertry-spec-driven-developmentresearch

Source-owned field note · website/blog/2026-08-20-0448-ess-the-compiler.md · revision b89faaa411bd

A specification is only worth compiling if the compiled form can hold fewer wrong things than the source did. This release resolves a specification into an IR that cannot hold a dangling reference — not "is checked for", cannot hold.

0.3.0 — the second half arrives, and the two halves meet

· 3 min read
0.3.0 — the second half arrives, and the two halves meet | ESSThe first ESS model release made executable system specifications parseable, validated and explicitly refused. This retrospective records the pre-extraction milestone.ESSfield-noteessfield-noteadopterdevelopertry-spec-driven-developmentresearch

Source-owned field note · website/blog/2026-08-20-0350-ess-the-join-and-the-model.md · revision b89faaa411bd

Historical release note. ESS later became this standalone repository; references to the former combined repository describe the milestone at the time, not the current dependency boundary.

This release started ESS, which specifies what software must exist, inside the repository that originally hosted it.

The join is the point. A task can be blocked until something proves a specification is satisfied — so the two halves meet at evidence rather than at an integration.