core/

Package board holds the logic for making a freshly created board private and telling the agents that work in this repository about it.

Package gate holds the rules about when a ticket may move.

Package gitrepo is a thin wrapper over the system git binary.

Package identity answers "who is acting" the same way for every caller — the CLI, the TUI, and the core gate — so a ticket is attributed and owned consistently no matter which one wrote to it.

Package lane resolves the board's columns.

Package market lists and fetches the lanes published in the jaira repository's own lanes/ directory on GitHub — the catalogue anyone can add to with a pull request, checked by CI before it lands.

Package merge resolves concurrent edits to a ticket field by field.

Package move is the one place a ticket changes lanes.

Package project keeps a list of boards the user has opened, so the board can offer a switcher.

Package release tracks which version of jaira last prepared a board, and carries the change notes a user reads when a newer binary catches up an older one.

Package selfupdate replaces the running jaira binary with a published release.

Package session records what each agent session is currently doing.

Package tag holds a board's shared tag vocabulary: the rules a tag name must obey, and the colour registry in .jaira/tags.

Package ticket implements the on-disk ticket format and store.

Package validate checks tickets at rest.