[gedaiu]

Every default-branch commit of a mirrored repo now lands in its Utopia knowledge base as one commit:<sha> item at its author date: Repository contains Commit, the commit's sha, subject, body, author, time and permalink, the parents it follows, the pull request its squash subject names with the issues and the Lore task that pull request's body names, and each path it changed, named exactly as the doc, test-report and code mirrors name it. A commit item never says which tests or statements it affected: CI pushes those after the merge, Utopia merges same-named entities whichever item came first, and the walk from a commit through its file to the test is always as current as the last ingest.

lore-api walks the branch above settings.utopia.commits_head, oldest first, 2,000 commits a walk, moving the cursor past each commit that landed whole and stopping at the first that did not, so the whole history arrives over as many walks as it takes. The weekly backfill runs the walk after the documents; the stations claim github.push and post the new POST /api/repos/{owner}/{repo}/utopia/commits on every push, which skips any branch but the default one. The GitHub port's never-called listCommitsSince becomes listBranchHistory.

Ontology version 4 declares Commit, PullRequest, Issue and Task, the relations changes, follows, merges, closes and delivers, and marks every object property with utopia:temporal: the commit relations are events at the item's doc_time, the structural ones eternal.

Blocked on Utopia re.8. Utopia binds a pushed phrase by the declaration alone (deeplethe/utopia#1242) only when the relation is not a state, and its OWL importer gave every imported relation state without reading the utopia:temporal annotation the export writes, so no Lore relation in any live base has been ontology-decided so far. deeplethe/utopia#1291 teaches the importer to read it on create and on re-import; once it ships as re.8 and is applied, the version-4 upgrade on the next mirrored push flips every live base's relations. Merging this before that leaves the relations at state as today, so this stays a draft until re.8 is live.

Specs: specs/utopia-graph-mirror FR11 and the version rows; ADR-052 gains the amendment, including the correction above.

🤖 Generated with Claude Code

[github-actions]

Lore Spec Impact

Lore API unreachable (HTTP 413). This check could not run.

[lore-agent]

Lore is reviewing this PR — 2b3b83d8-6b3e-45b4-b782-3248a3b83272.

Submit a review that requests changes to have Lore push a fix for it. Comment @lore review to re-run the review.

[lore-agent]

Lore review — Changes suggested

Backfill sweep/script ignore commit-walk failures under summary.commits.failed, overlapping commit walks can move commits_head backwards, and re-running setup wipes commits_head.

Must fix (2) · Consider (3) · Nits (0)

Reviewed by gemini-4-argon

Submit a review that requests changes to have Lore push a fix for it. Comment @lore review to re-run the review.

Notes on lines outside changed hunks

apps/lore-api/src/work/utopia/utopia-backfill.ts:30 — issue (blocking): Surface commit walk failures to backfill callers (also in apps/stations/src/work/utopia-backfill-tick/utopia-backfill-tick.ts:69 and scripts/infra/utopia-backfill.sh:41)

  const commits = await mirrorBranchCommits(deps.history, branch);

  return {
    ...documents,
    failed: [...documents.failed, ...commits.failed],
    commits,
  };

apps/lore-api/src/outbound/utopia-sources.ts:59 — issue (blocking): Merge into settings.utopia instead of replacing it so setup and ontology upgrades do not wipe commits_head

  await pool.query(
    `UPDATE lore.repos SET settings = jsonb_set(COALESCE(settings, '{}'), '{utopia}', COALESCE(settings->'utopia', '{}') || ($1::jsonb)->'utopia') WHERE full_name = $2`,
    [JSON.stringify({ utopia }), repo],
  );

Posted by floor, visit 8da9fc28-4814-4cc5-9c39-ed66a75943c9.

[gedaiu]

Both blocking notes are taken in the pushed fix: the backfill now adds the walk's failure to its failed list (the sweep and the script count it, FR11.8), and saveUtopiaMirrorSettings merges into the utopia block with jsonb_set so a setup or an ontology upgrade keeps commits_head (integration test on the real table). The three suggestions are taken too, answered on their threads.

[lore-agent]

Lore review — Approved

All prior review findings are cleanly resolved with matching spec statements, ADR updates, and tests.

Must fix (0) · Consider (0) · Nits (0)

Reviewed by gemini-4-argon

Submit a review that requests changes to have Lore push a fix for it. Comment @lore review to re-run the review.

Posted by floor, visit 97cc1270-cc05-4b8f-b3f6-a8a3f1ae948d.

[lore-agent]

Lore review — Approved

All five prior review points and the FR12 renumbering after rebase are cleanly resolved.

Must fix (0) · Consider (0) · Nits (0)

Reviewed by gemini-4-argon

Submit a review that requests changes to have Lore push a fix for it. Comment @lore review to re-run the review.

Posted by floor, visit 25ace9f0-659a-4397-a249-d8a75746f31b.