Skip to content

fix(cli): record platform-verified repo-lane check evidence in receipts - #256

Open
islahuddinn wants to merge 1 commit into
theam:mainfrom
islahuddinn:fix/repo-lane-receipt-checks-244-243
Open

fix(cli): record platform-verified repo-lane check evidence in receipts#256
islahuddinn wants to merge 1 commit into
theam:mainfrom
islahuddinn:fix/repo-lane-receipt-checks-244-243

Conversation

@islahuddinn

Copy link
Copy Markdown

Summary

Repo-lane receipts always shipped checks: [] because nothing outside the agent wrote .agent-sdlc/checks.jsonl. At the same time, agents could forge source: "platform" by writing self_reported: false into that workspace file.

This PR fixes both issues together:

  1. Repo lane receipts always ship checks: [], nothing writes .agent-sdlc/checks.jsonl #244 — platform check writer

    • Adds .github/facility/receipts/run-checks.mjs
    • Adds a Record platform-verified check evidence step to all six agent workflows
    • Runs configured checks + node guards/run.mjs outside the agent turn
    • Writes results to $RUNNER_TEMP/facility-platform-checks.jsonl (not agent-writable)
  2. checks[].source in the repo lane trusts a field the agent's own bash tool can write #243 — provenance trust

    • collect.mjs reads platform and agent check files separately
    • Workspace checks.jsonl is always reported as source: "agent"
    • Platform temp file is always reported as source: "platform"
    • self_reported is never trusted from agent-writable paths

Fixes #244
Fixes #243

Test plan

  • pnpm --filter @theagilemonkeys/facility test (102 passed)
  • Receipt tests: forged platform provenance rejected; platform + agent merge verified
  • runPlatformChecks records configured checks and guards
  • Init e2e: crew workflow includes platform check recording step

Upgrade note

Existing repositories should re-run facility init (or merge the updated workflow templates) to pick up the new platform check step.

Made with Cursor

Add a workflow step that runs configured checks outside the agent turn
and writes results to a runner-temp file the agent cannot forge. Treat
workspace checks.jsonl as agent-sourced only when collecting receipts.

Fixes theam#244
Fixes theam#243

Co-authored-by: Cursor <cursoragent@cursor.com>
@islahuddinn
islahuddinn force-pushed the fix/repo-lane-receipt-checks-244-243 branch from 18dfd65 to 771795e Compare September 2, 2026 07:13
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

1 participant