gstack

0 Fork 0

mirror of https://github.com/garrytan/gstack.git synced 2026-11-06 00:44:07 +01:00

Files

T

garrytanandcapy-ai[bot] f2a3246905 pregate: a diff cannot clear itself as an environment failure; a taken --run id gets its own directory

Adversarial review of the environment classifier and the scratch layout:

- exit 127 and 'command not found' are missing-binary only when the
  command's own binary is off PATH (runner, guard and remote gate alike);
  a script the diff controls that exits 127 is the diff's failure
- a local lane with no test summary is classified from its output only
  when the runner was not seen starting a test file; a remote gate only
  from its first 40 lines, before any test output could stream
- environment.proof records launch (certain) or output (inferred); an
  output-inferred cause never says 'the diff is not at fault', its line
  says '(inferred from output)', and verify names such checks
- a runner killed by a signal is PREGATE_INCOMPLETE, not missing-binary
- a --run id whose directory exists takes <id>-2 .. -9 instead of
  sharing (and truncating) a live run's logs
- engine.* findings are never allowlistable; a pattern entry the scanner
  gave no position for is reported as not tested instead of silently inert
- docs: synopsis --run, no-policy lanes wording, verify's code list,
  guard exit 127 carve-out, PREGATE_SECRETS allowlist pointer, scratch

Co-authored-by: capy-ai[bot] <230910855+capy-ai[bot]@users.noreply.github.com>

2026-10-26 15:51:16 +00:00

checks

pregate: a diff cannot clear itself as an environment failure; a taken --run id gets its own directory

2026-10-26 15:51:16 +00:00

allowlist.ts

pregate: a diff cannot clear itself as an environment failure; a taken --run id gets its own directory

2026-10-26 15:51:16 +00:00

config.ts

pregate: a diff cannot clear itself as an environment failure; a taken --run id gets its own directory

2026-10-26 15:51:16 +00:00

context.ts

pregate: rename run-scratch module (strays rule) and map starter.ts to its test