spec: version 1.9 - the seventh released proposal wave becomes a new version

[delchev]

Cuts version 1.9 of the Intent File specification: versions/1.8.md copied to versions/1.9.md, the thirteen proposals merged on 2026-09-15 folded in at their declared anchors, Appendix A updated, statuses flipped, README table advanced. versions/1.8.md is byte-identical to origin/main.

Folded proposals (all 23 reference-implementation PRs verified MERGED in eclipse-dirigible/dirigible)

• 0039 A notify block may attach a parameterized report render — attach: { report, bind }, a cross-model schedule source may notify (#6934, #7034)
• 0040 A balance report buckets turnovers by the corresponding account — correspondence (#6927)
• 0041 A register lookup narrows its register, reads the document header and copies the found row's scalars — resolves[].where / copy / operand paths (#6858, #7032)
• 0042 A when guard may be a list of comparisons, their AND — event.when list form on the axis, event-driven create-froms and process triggers (#7006, #7317)
• 0043 A notify delivery is recorded on the record, and a failed one is an event — notify.outcome, onNotifyFailed (#7033, #7313, #7378)
• 0044 A scheduled reminder records what it sent and escalates by days past due — schedules.escalate, notify + generate in one unit (#7342, #7376)
• 0045 A scheduled generation declares its natural key — schedules[].generate.unique, { run } (#7079, #7117, #7166, #7168)
• 0046 Deleting a document retires its running process — whenDeleted: abort | refuse (#7087, #7169)
• 0047 A write is rejected while a condition holds — checks: kind: forbidWhen (#7326)
• 0048 A process can clear a field it wrote — clearField (#7388)
• 0049 A notify recipient may be a configuration reference — to: "@config:KEY" (#7387)
• 0050 A print placeholder may carry a format pattern — {{a:pattern}} (#6983)
• 0051 A print template renders an image from the tenant's files — print <image src> (#7031)

proposals/0000-template.md is the only file left at draft.

Replaced sentences (each replaced exactly once)

• 0039 — the notify block's opening "attach is print - the record the block is about - or, inside a fan-out, recordPrint." is replaced by the three-forms paragraph, the report example and its Normative block; the rest of that blockquote (the document requirement, language, the same-path rule) is kept as the rule for the two scalar forms. In fileName, "a notify block's against the record that block renders" gains the report-attachment clause, and the report default name is appended to the Normative block.
• 0041 — the resolves example and its first two Normative paragraphs (event/set/from/match/between; the register-relation rule) and the final one (skipping + the targeted write) are replaced; the outcomes and observability paragraphs are unchanged; where, the operand path and copy are appended before the final paragraph.
• 0042 — "when: supports a single field ==|!= literal guard." in notifications and "(a single field ==|!= literal)" in the process trigger's third bullet are replaced; the status-references enumeration gains the new sites.
• 0043 — the notify block's fail-soft Normative blockquote is replaced; #### Recording the delivery — outcome: sits before Links back to the application; the event-axis table gains the delivery row (and reads "four axes"); trigger admits onNotifyFailed.
• 0044 — "Exactly one of notify or generate per row." is replaced by the notify-and/or-generate paragraph; the Appendix A schedules row reads "notify and/or generate".
• 0046 — the abortOn closing paragraph is amended; #### whenDeleted sits between abortOn and trigger.
• 0048 — the service-task shapes paragraph and its Normative block are replaced; the abortOn then: bullet and the notify chapter's "A sending serviceTask stands alone" sentence name clearField.
• 0049 — the notifications recipient sentence is replaced (with 0042's when: sentence folded into the same paragraph).
• 0050 — "No other syntax is introduced: an operand is a path, never a literal or an expression." is replaced by the pattern-aware sentence; the new subsection sits between Alternative operands and Row filtering.
• 0051 — the layout-tag sentence gains image; #### Images — <image src> closes Printable documents.
• 0047, 0040, 0045 are pure insertions (after kind: guard; after the TrialBalance example; after the map / defaults paragraph, with the monthlyTimesheets example gaining its unique: line).

Where proposals share a section: 0045 precedes 0044 under schedules (escalate keys on unique:); 0039's report form precedes the retained scalar rule, then 0043's fail-soft rule and outcome: subsection.

Restored cross-references

• 1.8 rendered 0052's clause as prose because no version defined the construct: "a fan-out's deliveries are observed per row, not through the step's failure". It now reads "observed per row, through the block's outcome: stamp and the onNotifyFailed event a failed one publishes, not through the step's failure".
• 1.8 mentions neither whenDeleted nor clearField in prose (as PR spec: version 1.8 - the sixth released proposal wave becomes a new version #90 recorded, those references sat only in 0033's / 0052's problem statements), so nothing further had to be re-linked. 0046's own text links whenMasterDeleted to Relation attributes; 0048's links the error route and abortOn.

Anchor check

GitHub-style slugging of every heading in versions/1.9.md (code fences skipped), every ](#…) link resolved: 136 headings, 282 in-file links, 0 unresolved (1.8 had 129 / 232; the same script reproduces both the 1.7 and the 1.8 commits' recorded numbers). No <!-- editor: comment remains in the version document. git diff origin/main --stat -- versions/1.8.md is empty. None of the replaced sentences survives (grep for "attach is print - the record", "single field ==|!= literal", "Exactly one of notify or generate", "No other syntax is introduced").

A companion PR on intentfile.github.io states the site's version as 1.9.

🤖 Generated with Claude Code