golem15/msd-core
3
0
Fork 0
Code Issues Pull Requests Actions 1 Packages Projects Releases Wiki Activity

docs(#1279): correct two stale CALLER-ATTESTED docstrings to machine-proven

Browse Source
This commit is contained in:
Dave
2026-06-15 23:24:15 -04:00
parent 65b85fe8b0
commit 9aa5e88186
1 changed files with 6 additions and 5 deletions
Download Patch File Download Diff File Expand all files Collapse all files

11
src/prohibition-enforcement.cts
View File

@@ -80,10 +80,10 @@ export interface CheckDescriptor {
/**
* The result a check-runner returns: whether the check genuinely, non-vacuously PASSED. The runner
* reports only what it can OBSERVE (a real pass) — it does NOT determine fail-first. Whether the
* check is a `regression-must-fail-first` proof is a CALLER-ATTESTED property of the descriptor
* (`CheckDescriptor.failFirst`); the producer cannot independently confirm it at verify time without
* a violation fixture (a tracked follow-up — see the module docstring).
* reports only what it can OBSERVE (a real clean pass) — it does NOT determine fail-first. Whether the
* check is a `regression-must-fail-first` proof is now MACHINE-PROVEN by the separate `proveFailFirst`
* seam (#1279), which runs the check against the descriptor's `violationFixture` and observes it go
* red — not the caller's word (`CheckDescriptor.failFirst` is a demoted, non-authoritative hint).
*/
export interface CheckRunResult {
passed: boolean;
@@ -310,7 +310,8 @@ export function eslintJsonHasRule(jsonText: string, rule: string): boolean {
/**
* The default REAL check runner (used when no `runCheck` is injected). Reports only an OBSERVED,
* genuinely-non-vacuous pass; guarded so a missing tool / non-zero exit yields a non-passing result,
* NEVER an uncaught throw (the no-throw contract). It does NOT determine fail-first (caller-attested).
* NEVER an uncaught throw (the no-throw contract). It does NOT determine fail-first — that is the
* separate `proveFailFirst` seam's job (machine-proven against the violation fixture, #1279).
* - node-test: runs `node --test` (TAP) and requires a NON-VACUOUS pass (>=1 test, >=1 pass, 0 fail
* AND a reported test named distinctly from the file). A bare exit 0 for an empty/zero-test file
* — which `node --test` counts as one passing "test" named after the file — is NOT a pass (the