Skip to content

[Relay #33.4] Prove Repository Intelligence publication in Empathy #94

Description

@szmyty

Outcome

Migrate Empathy's two Repository Intelligence integrations from Relay v1.4.0 (b71b090406a3a9e4cd9f107e9d14a623bbecb127) to the hardened Relay contract, then prove publication in a complex consumer without weakening Mindgarden, Quartz, report-snapshot, or Pages ownership boundaries.

Scope

  • Upgrade the immutable Relay pins in:
    • .github/workflows/repository-intelligence.yml
    • .github/workflows/mindgarden-pages.yml
  • Preserve the Mindgarden public projection, pinned Quartz build, normalized report inputs, and consumer-owned Pages deployment.
  • Preserve refreshes triggered by trusted default-branch producer workflow_run events, including runs whose conclusion is not successful.
  • Add or retain reviewable PR artifacts without allowing PR deployments.
  • Exercise pull-request, default-branch push, producer refresh, manual rebuild, failure-retention, deployment, and rollback paths.
  • Bind the consumer commit, Relay commit, report snapshots, bundle digest, workflow run, Pages deployment, and public routes in durable evidence.

Acceptance criteria

  • Both Repository Intelligence integrations use the same reviewed immutable Relay revision and compatible contract versions.
  • All remote actions remain commit-pinned.
  • Pull requests validate the complete Mindgarden/Quartz/Repository Intelligence composition and retain a review artifact without deploying.
  • Untrusted pull requests cannot publish report snapshots, deploy Pages, expose secrets, or enter a privileged workflow_run path.
  • Trusted producer workflows refresh Repository Intelligence from the default branch even when their conclusion represents useful failure evidence.
  • Missing, stale, failed, or schema-incompatible producer evidence remains visibly unknown, stale, or failed and never becomes a misleading green result.
  • A trusted main, producer-refresh, or manual run deploys only through Empathy's existing Pages job.
  • Relay writes only the Repository Intelligence subtree and does not replace the Quartz/Mindgarden site.
  • /intelligence/ and its complete route set are verified at Empathy's configured public origin.
  • Existing Mindgarden routes and the reviewed/public projection boundary remain intact.
  • Provenance records the exact Empathy SHA, Relay SHA, report/input contract versions, bundle digest, triggering run, deployment identity, and public URL.
  • Rebuilding identical declared inputs produces an equivalent declared bundle.
  • A controlled negative path retains a sanitized failure report with stage, rule, and remediation while preserving the last known-good public deployment.
  • Rollback evidence identifies the previous Relay pin, last known-good deployment, and exact revert procedure.
  • Tests and documentation cover PR safety, immutable dependencies, workflow-run refreshes, composition order, deployment gating, live routes, and rollback.

Dependencies

Non-goals

  • Replacing or reconfiguring MegaLinter, OSV, OpenSSF Scorecard, SARIF, or their native GitHub integrations.
  • Changing Mindgarden review/publication semantics or Quartz ownership.
  • Configuring Empathy's future custom domain.
  • Publishing raw logs, SARIF, private workflow context, or transient artifact URLs.
  • Giving Relay deployment authority.

Verified consumer checkpoint

Completed: final acceptance matrix.

PR #95 implemented the hardened consumer. Repair PR #97 merged at 56967b2ba14e61643472f95b0b7233a6c7da58f9, tree 83cc7be8c2e6339b810538da88b3d8faab307bf0, matching its reviewed tree. Merged deployment evidence and merged/current validation evidence verify the repair and subsequent dependency PR #96. The holistic scan has no introduced gating findings in the reviewed scope; remaining repository baseline failures and warnings are explicitly retained.

Final verified main and public revision: d160044e08f3377afdf14f4856bc470ddd53b769, tree 6595e752d14ffcf841d59c9ef87f27c871f62096. Run 35869039387/1 and complete artifact/receipt/live proof establish actual build, deployment, receipt finalization, 82-file composition, 63 preserved Quartz files, same-context deterministic duplicate output and all 17 public routes. The final independent check completed 2026-09-23T13:51:01.265882Z; producer and publication queues settled. Both integrations retain Relay 9a6315978766c336566b9fa7139b800fa8789ba5.

Producer refresh evidence distinguishes implementation merges from report-only descendants, retains original producer identities, admits useful non-successful conclusions, and preserves invalid/unknown/unavailable states.

Earlier operational evidence remains scoped to its recorded revisions: default deployment, failed-producer refresh, manual current, sanitized RIW-002/no-publication failure, historical rollback, and immediate current restoration. Their applicability after the focused repair and action-pin updates is reviewed in the acceptance matrix; they are not described as newly repeated.

Empathy remains the only composition/deployment authority; Mindgarden review, pinned Quartz, public-safe diagnostics, PR/untrusted boundaries and separate receipts remain intact. AGENTS includes canonical exact-head holistic validation requirements. Relay #109 retains checkout-name portability scope. Observatory-unavailable evidence remains intentional and independent.

This consumer checkpoint is complete. Relay #33 and Relay #106 remain open for the separate final reconciliation.

Activity

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Metadata

Metadata

Assignees

No one assigned

    Labels

    No labels
    No labels

    Type

    No type

    Projects

    No projects

      Milestone

      No milestone

      Relationships

      None yet

      Development

      No branches or pull requests

      Issue actions