mirror of
https://github.com/stablyai/orca.git
synced 2026-10-08 16:02:37 +00:00
Neil
c4e8735f45
* Share PR static analysis and compiler runner * Preserve evidence document final newline for concurrent merges * Keep readiness reuse contracts aligned with the physical preflight gate
71 lines
2.5 KiB
JavaScript
71 lines
2.5 KiB
JavaScript
import { readFileSync } from 'node:fs'
|
|
import { describe, expect, it } from 'vitest'
|
|
import { parse } from 'yaml'
|
|
import { runProcess } from '../../src/shared/child-process/run-process'
|
|
import { PR_CHECK_JOBS } from './pr-code-change-scope.mjs'
|
|
|
|
const workflow = parse(readFileSync('.github/workflows/pr.yml', 'utf8'))
|
|
const gate = workflow.jobs.verify.steps.find((step) => step.name === 'Require successful checks')
|
|
const variable = (job) => job.replaceAll('-', '_').toUpperCase()
|
|
const requiredJobs = [
|
|
'preflight',
|
|
...PR_CHECK_JOBS.filter((job) => job !== 'static_analysis' && job !== 'typecheck')
|
|
]
|
|
|
|
function requiredResults(shouldRun) {
|
|
return Object.fromEntries(
|
|
requiredJobs.flatMap((job) => [
|
|
[variable(job), shouldRun ? 'success' : 'skipped'],
|
|
[`${variable(job)}_SHOULD_RUN`, String(shouldRun)]
|
|
])
|
|
)
|
|
}
|
|
|
|
async function verify(results) {
|
|
return runProcess({
|
|
program: 'bash',
|
|
args: ['-c', gate.run],
|
|
env: {
|
|
...process.env,
|
|
ORCA_BACKGROUND_LAUNCH: '1',
|
|
CODE_PATHS: 'success',
|
|
SHOULD_RUN: 'true',
|
|
...results
|
|
},
|
|
timeoutMs: 10_000
|
|
})
|
|
}
|
|
|
|
// The aggregate runs as Bash on Linux; Windows has no required Bash installation.
|
|
describe.skipIf(process.platform === 'win32')(
|
|
'readiness reuse through the real aggregate gate',
|
|
() => {
|
|
it('accepts completed required checks or skips authorized by exact-source evidence', async () => {
|
|
expect((await verify(requiredResults(true))).code).toBe(0)
|
|
expect((await verify(requiredResults(false))).code).toBe(0)
|
|
})
|
|
|
|
it('rejects every missing, failed or cancelled required result when reuse is unavailable', async () => {
|
|
for (const job of requiredJobs) {
|
|
for (const result of ['', 'skipped', 'failure', 'cancelled']) {
|
|
const verdict = await verify({ ...requiredResults(true), [variable(job)]: result })
|
|
expect(verdict.code, `${job}: ${result}`).toBe(1)
|
|
}
|
|
}
|
|
})
|
|
|
|
it('requires the detector to succeed even when every downstream job is skipped', async () => {
|
|
for (const result of ['', 'skipped', 'failure', 'cancelled']) {
|
|
expect((await verify({ ...requiredResults(false), CODE_PATHS: result })).code).toBe(1)
|
|
}
|
|
})
|
|
|
|
it('rejects unexpected downstream execution when the proven plan requires skips', async () => {
|
|
for (const job of requiredJobs) {
|
|
const verdict = await verify({ ...requiredResults(false), [variable(job)]: 'success' })
|
|
expect(verdict.code, job).toBe(1)
|
|
}
|
|
})
|
|
}
|
|
)
|