65b85fe8b0
- rename tests/_ff_lint_violation.test.cjs -> .cjs so node --test does not execute the lint fixture (ENOENT on intentional lib/foo.cjs); scope local plugin to it so eslint . stays green (violation -> suppressedMessages, prover still proves it) - migrate prohibition-probe.verify-tier.test.cjs A/B to inject proveFailFirst (FF-08: attestation alone no longer greens post-#1279) - re-baseline verify-phase.md workflow size (35362 -> 35812) after the descriptor-shape prose grew - changeset pr: TODO -> 1279 (issue number; update to PR number at open) so changeset + docs-required gates pass
28 lines
1.8 KiB
JavaScript
28 lines
1.8 KiB
JavaScript
/* eslint-disable local/no-source-grep */
|
|
// PERMANENT LOAD-BEARING FIXTURE for #1279 — DO NOT "simplify" or delete.
|
|
//
|
|
// This file is a KNOWN `local/no-source-grep` violation used by `defaultProveFailFirst`'s lint-rule
|
|
// path to machine-prove the rule has teeth (the fail-first proof). The exact form below is the ONLY
|
|
// shape that fires `local/no-source-grep` under the project flat config (verified empirically, #1279
|
|
// RESEARCH): a lint-scoped `.cjs` file under `tests/` whose `readFileSync` argument is the
|
|
// `path.join('lib','foo.cjs')` form (a STANDALONE quoted source-dir token `'lib'` + a quoted
|
|
// `.cjs` extension) followed by a text-search method (`.includes`) on the bound variable.
|
|
//
|
|
// - `'src/x.cjs'` as a single string literal does NOT fire (no standalone quoted dir token).
|
|
// - a repo-root / tmp path does NOT fire (no source-dir token).
|
|
//
|
|
// NAME: this is a PLAIN `.cjs` fixture, NOT `*.test.cjs`. `no-source-grep` has no filename guard, so
|
|
// it fires on any lint-scoped `.cjs`; the `.test.cjs` suffix would make the `node --test` runner
|
|
// EXECUTE it (ENOENT on `lib/foo.cjs` at module load → a real full-suite failure, #1279 wave 5). It
|
|
// is a lint fixture, never a test — keep it off the `.test.cjs` glob.
|
|
//
|
|
// The leading `/* eslint-disable local/no-source-grep */` keeps the project's own `eslint .` green
|
|
// (the violation lands in eslint's `suppressedMessages`, which the prover's `eslintJsonHasRule`
|
|
// reads — an inline-disabled violation still proves the rule has teeth, #1259 B1). If the prover
|
|
// ever reports `provenFailFirst:false` for the lint-rule kind, suspect THIS file's form first.
|
|
'use strict';
|
|
const fs = require('node:fs');
|
|
const path = require('node:path');
|
|
const s = fs.readFileSync(path.join('lib', 'foo.cjs'), 'utf-8');
|
|
module.exports = s.includes('x');
|