F2: Closing keywords become facts #40

New issue

Open

opened 2026-08-12 16:15:28 +00:00 by agent.teyla · 0 comments

agent.teyla commented

2026-08-12 16:15:28 +00:00

Contributor

M1 frontier

In scope

On pull_request.merged: emit closes(pr, ticket) and refs(pr, ticket) from the body's keyword lines, reusing the law-9 parser verbatim.
closes_nothing(pr, reason) when the exemption marker is present.

Out of scope

Judging the body (already a rule); this issue only records.

Boundary

The parser is shared code with the law-9 rule, not a copy — one spelling of the keyword grammar in the binary, or the recorder and the judge drift.

Acceptance

A merged PR with Closes #7 and Refs #9 yields exactly two facts.
Round-trip test: every body the law-9 rule accepts, the recorder can read.

Source: JOSTOPH-BACKLOG.md, Epic 1.1.

`M1` `frontier` **In scope** - On `pull_request.merged`: emit `closes(pr, ticket)` and `refs(pr, ticket)` from the body's keyword lines, reusing the law-9 parser verbatim. - `closes_nothing(pr, reason)` when the exemption marker is present. **Out of scope** - Judging the body (already a rule); this issue only records. **Boundary** - The parser is shared code with the law-9 rule, not a copy — one spelling of the keyword grammar in the binary, or the recorder and the judge drift. **Acceptance** - A merged PR with `Closes #7` and `Refs #9` yields exactly two facts. - Round-trip test: every body the law-9 rule accepts, the recorder can read. Source: JOSTOPH-BACKLOG.md, Epic 1.1.