instar 1.3.1193 → 1.3.1194
This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.
- package/dist/data/standards-guard-index.json +1 -1
- package/dist/data/standards-guard-index.meta.json +2 -2
- package/dist/data/standards-registry.meta.json +1 -1
- package/package.json +1 -1
- package/scripts/lint-machine-local-justification.js +30 -3
- package/src/data/builtin-manifest.json +2 -2
- package/src/data/standards-guard-index.json +1 -1
- package/src/data/standards-guard-index.meta.json +2 -2
- package/src/data/standards-registry.meta.json +1 -1
- package/upgrades/1.3.1194.md +34 -0
- package/upgrades/lint-reports-its-denominator.eli16.md +44 -0
- package/upgrades/side-effects/lint-reports-its-denominator.md +89 -0
|
@@ -2,7 +2,7 @@
|
|
|
2
2
|
"schemaVersion": 1,
|
|
3
3
|
"generatedFrom": "source-tree",
|
|
4
4
|
"registrySha256": "8e6606a6722433c5ffc15b3870402283c5406083a14cdbd0e18e735731e2aae2",
|
|
5
|
-
"packageVersion": "1.3.
|
|
5
|
+
"packageVersion": "1.3.1194",
|
|
6
6
|
"guards": [
|
|
7
7
|
{
|
|
8
8
|
"ref": "docs/audits/phase-b/f10-triage.md",
|
|
@@ -1,5 +1,5 @@
|
|
|
1
1
|
{
|
|
2
|
-
"sha256": "
|
|
2
|
+
"sha256": "682c4fe7ea234c958ab4c7c34ca753fc73b5758a613693ca0b86f2d608bf6a32",
|
|
3
3
|
"registrySha256": "8e6606a6722433c5ffc15b3870402283c5406083a14cdbd0e18e735731e2aae2",
|
|
4
|
-
"packageVersion": "1.3.
|
|
4
|
+
"packageVersion": "1.3.1194"
|
|
5
5
|
}
|
package/package.json
CHANGED
|
@@ -565,22 +565,49 @@ function main() {
|
|
|
565
565
|
const files = argv.filter((a) => !a.startsWith('--'));
|
|
566
566
|
const targets = files.length ? files : listSpecFiles();
|
|
567
567
|
|
|
568
|
+
// ── The DENOMINATOR, reported beside the verdict (2026-08-23) ──────────
|
|
569
|
+
//
|
|
570
|
+
// WHY. On 2026-08-21 this gate was found to have been matching its section
|
|
571
|
+
// heading EXACTLY while spec authors had begun numbering theirs. It saw 91 of
|
|
572
|
+
// 149 posture-carrying specs and silently skipped 58 — printing "clean" about
|
|
573
|
+
// a corpus it had never read. Nobody made a mistake; the population drifted
|
|
574
|
+
// under the instrument, and there is no diff showing the moment it broke.
|
|
575
|
+
//
|
|
576
|
+
// The matcher was widened, which fixes THAT drift. This fixes the READING,
|
|
577
|
+
// which is the part that generalises: "clean" is a sentence nobody questions,
|
|
578
|
+
// and "clean — 0 findings across 149 spec(s), 91 carrying a posture section"
|
|
579
|
+
// is one somebody does. A shrinking denominator beside a reassuring word is
|
|
580
|
+
// the cheapest thing that would have surfaced the original bug without anyone
|
|
581
|
+
// auditing the matcher, and it costs a line.
|
|
582
|
+
//
|
|
583
|
+
// `unreadable` is counted rather than swallowed for the same reason: a file
|
|
584
|
+
// that could not be read is not a file with no findings.
|
|
568
585
|
const allFindings = [];
|
|
586
|
+
let scanned = 0;
|
|
587
|
+
let withPosture = 0;
|
|
588
|
+
let unreadable = 0;
|
|
569
589
|
for (const file of targets) {
|
|
570
590
|
let text;
|
|
571
591
|
try {
|
|
572
592
|
text = fs.readFileSync(file, 'utf8');
|
|
573
593
|
} catch {
|
|
594
|
+
unreadable += 1;
|
|
574
595
|
continue;
|
|
575
596
|
}
|
|
597
|
+
scanned += 1;
|
|
598
|
+
if (findPostureSection(text)) withPosture += 1;
|
|
576
599
|
const { findings } = gradeMachineLocalMarkers(text);
|
|
577
600
|
for (const f of findings) allFindings.push({ file: path.relative(ROOT, path.resolve(file)), ...f });
|
|
578
601
|
}
|
|
602
|
+
const population = { scanned, withPosture, unreadable, findings: allFindings.length };
|
|
603
|
+
const denominator =
|
|
604
|
+
`${scanned} spec(s) scanned, ${withPosture} carrying a posture section` +
|
|
605
|
+
(unreadable > 0 ? `, ${unreadable} UNREADABLE` : '');
|
|
579
606
|
|
|
580
607
|
if (json) {
|
|
581
|
-
process.stdout.write(JSON.stringify({ findings: allFindings, strict }, null, 2) + '\n');
|
|
608
|
+
process.stdout.write(JSON.stringify({ findings: allFindings, population, strict }, null, 2) + '\n');
|
|
582
609
|
} else if (allFindings.length === 0) {
|
|
583
|
-
console.log(
|
|
610
|
+
console.log(`lint-machine-local-justification: clean — no undefended or malformed markers (${denominator}).`);
|
|
584
611
|
} else {
|
|
585
612
|
const header = strict
|
|
586
613
|
? 'lint-machine-local-justification: FINDINGS (strict — blocking):'
|
|
@@ -591,7 +618,7 @@ function main() {
|
|
|
591
618
|
console.error(` ${f.message}`);
|
|
592
619
|
}
|
|
593
620
|
console.error(
|
|
594
|
-
`\n ${allFindings.length} finding(s). Standard A: docs/STANDARDS-REGISTRY.md ` +
|
|
621
|
+
`\n ${allFindings.length} finding(s) — ${denominator}. Standard A: docs/STANDARDS-REGISTRY.md ` +
|
|
595
622
|
`("An Instar Agent Is Always a Multi-Machine Entity").`,
|
|
596
623
|
);
|
|
597
624
|
}
|
|
@@ -1,8 +1,8 @@
|
|
|
1
1
|
{
|
|
2
2
|
"$schema": "./builtin-manifest.schema.json",
|
|
3
3
|
"schemaVersion": 1,
|
|
4
|
-
"generatedAt": "2026-08-
|
|
5
|
-
"instarVersion": "1.3.
|
|
4
|
+
"generatedAt": "2026-08-24T00:25:20.165Z",
|
|
5
|
+
"instarVersion": "1.3.1194",
|
|
6
6
|
"entryCount": 202,
|
|
7
7
|
"entries": {
|
|
8
8
|
"hook:session-start": {
|
|
@@ -2,7 +2,7 @@
|
|
|
2
2
|
"schemaVersion": 1,
|
|
3
3
|
"generatedFrom": "source-tree",
|
|
4
4
|
"registrySha256": "8e6606a6722433c5ffc15b3870402283c5406083a14cdbd0e18e735731e2aae2",
|
|
5
|
-
"packageVersion": "1.3.
|
|
5
|
+
"packageVersion": "1.3.1194",
|
|
6
6
|
"guards": [
|
|
7
7
|
{
|
|
8
8
|
"ref": "docs/audits/phase-b/f10-triage.md",
|
|
@@ -1,5 +1,5 @@
|
|
|
1
1
|
{
|
|
2
|
-
"sha256": "
|
|
2
|
+
"sha256": "682c4fe7ea234c958ab4c7c34ca753fc73b5758a613693ca0b86f2d608bf6a32",
|
|
3
3
|
"registrySha256": "8e6606a6722433c5ffc15b3870402283c5406083a14cdbd0e18e735731e2aae2",
|
|
4
|
-
"packageVersion": "1.3.
|
|
4
|
+
"packageVersion": "1.3.1194"
|
|
5
5
|
}
|
|
@@ -0,0 +1,34 @@
|
|
|
1
|
+
# Upgrade Guide — vNEXT
|
|
2
|
+
|
|
3
|
+
<!-- assembled-by: assemble-next-md -->
|
|
4
|
+
<!-- bump: patch -->
|
|
5
|
+
|
|
6
|
+
## What Changed
|
|
7
|
+
|
|
8
|
+
`scripts/lint-machine-local-justification.js` reports its population beside its verdict — specs scanned, specs carrying a posture section, and unreadable files — on the clean path, the findings path, and as `population` in `--json`. Unreadable files are counted rather than skipped silently.
|
|
9
|
+
|
|
10
|
+
Zero behaviour change: no verdict, threshold or exit code moves.
|
|
11
|
+
|
|
12
|
+
## What to Tell Your User
|
|
13
|
+
|
|
14
|
+
None — internal change (no user-facing surface).
|
|
15
|
+
|
|
16
|
+
## Summary of New Capabilities
|
|
17
|
+
|
|
18
|
+
None — internal change (no user-facing surface).
|
|
19
|
+
|
|
20
|
+
## Evidence
|
|
21
|
+
|
|
22
|
+
On 2026-08-21 this gate was found matching its section heading by exact text while authors had begun numbering theirs. It saw 91 of 149 posture-carrying specs, silently skipped 58 — including the replicated-store foundation, the mesh self-heal spec, the secure-pairing spec and the standards-registry spec — and printed `clean` about a corpus it had never read. Widening the matcher fixed that drift; this fixes the reading, which is the part that generalises to the next drift.
|
|
23
|
+
|
|
24
|
+
40 tests, including the property the incident turned on: a one-file run and a two-file run must not print the same sentence. Also pinned: the denominator on the FINDINGS path (where a shrunken population is most dangerous — a reader sees findings and assumes the sweep was whole), and an unreadable file counted rather than swallowed.
|
|
25
|
+
|
|
26
|
+
First live output: `135 finding(s) — 1818 spec(s) scanned, 133 carrying a posture section`.
|
|
27
|
+
|
|
28
|
+
## Known Limits
|
|
29
|
+
|
|
30
|
+
A denominator does not DETECT drift; it makes drift legible to a human reading the output. If nobody reads it, it buys nothing. An automated ratchet on the population would be the stronger control and is not built here.
|
|
31
|
+
|
|
32
|
+
The historical comment says 149 posture-carrying specs; this measures 133. **Drift is ruled out** — three independent methods (this lint, a peer's `git grep`, and a third regex pass) all return 133, including at `c465a94ef`, the widening commit itself, with the count unmoved across the two commits since. The population is not shrinking under the gate. What produced 149 remains unmeasured and no claim is made between the candidates.
|
|
33
|
+
|
|
34
|
+
No other gate in this repository was audited for the same defect, and nothing enumerates the gates that print a reassuring word with no scale.
|
|
@@ -0,0 +1,44 @@
|
|
|
1
|
+
# Saying how much was checked, not just that it passed — Plain-English Overview
|
|
2
|
+
|
|
3
|
+
## The problem in one breath
|
|
4
|
+
|
|
5
|
+
A safety check in this project spent an unknown period reporting "clean" about documents it had never opened. It found the section it cared about by matching a heading word-for-word, and authors had started numbering their headings. It quietly saw 91 documents out of 149 and skipped 58 — including some of the most important ones — and said the same reassuring word it says when everything really is fine.
|
|
6
|
+
|
|
7
|
+
## What already exists
|
|
8
|
+
|
|
9
|
+
That matching bug was fixed on the 21st. The check now finds numbered headings properly.
|
|
10
|
+
|
|
11
|
+
## What this adds
|
|
12
|
+
|
|
13
|
+
The check now says **how much it looked at**, not only what it found.
|
|
14
|
+
|
|
15
|
+
Before: `clean`
|
|
16
|
+
After: `clean — 0 findings across 149 documents, 91 carrying the section we grade`
|
|
17
|
+
|
|
18
|
+
## Why that matters more than it sounds
|
|
19
|
+
|
|
20
|
+
Fixing the matcher fixes that one drift. It doesn't fix the next one. The set of documents can shrink again for reasons nobody records, because no author does anything wrong — and the verdict stays the single most comforting word available.
|
|
21
|
+
|
|
22
|
+
"Clean" is a sentence nobody questions. "Clean, 91 of 149" is a sentence somebody does. A shrinking number next to a reassuring word is the cheapest thing that would have caught the original problem without anyone going and auditing the checker, and it costs one line.
|
|
23
|
+
|
|
24
|
+
## The safeguards
|
|
25
|
+
|
|
26
|
+
**Nothing can newly fail.** Every verdict and exit code is identical; only the wording changes.
|
|
27
|
+
|
|
28
|
+
**A file that couldn't be opened is counted, not skipped.** A document that failed to load is not a document with no problems — silently dropping it is the same defect one level down.
|
|
29
|
+
|
|
30
|
+
**The tests pin the point, not the wording:** a run over one document and a run over two must not print the same sentence. That's the property the whole incident turned on.
|
|
31
|
+
|
|
32
|
+
## What ships when
|
|
33
|
+
|
|
34
|
+
Immediately. Nothing to decide, no setting, no risk.
|
|
35
|
+
|
|
36
|
+
## What you actually need to decide
|
|
37
|
+
|
|
38
|
+
Nothing — and the one loose number has since been chased down, which is worth reporting because it is the change doing its job.
|
|
39
|
+
|
|
40
|
+
On the first run the new count (133) disagreed with a number written in an old comment (149). The worrying reading was that sixteen documents had quietly lost the section nobody was checking. **That is now ruled out.** Two other people measured it different ways and both got 133 — including at the exact moment the old comment was written. Nothing has been slipping away.
|
|
41
|
+
|
|
42
|
+
What nobody has worked out is where 149 came from. A different branch, a different way of counting, or a number that was never right. Three possibilities, none of them picked, because guessing between them would be the same habit this change exists to break.
|
|
43
|
+
|
|
44
|
+
One small thing worth keeping: my own quick check first said 131, not 133. The difference was capital letters — two documents write "Posture" rather than "posture". Two measurements disagreeing is information; averaging them or taking the nicer one would have been exactly the mistake.
|
|
@@ -0,0 +1,89 @@
|
|
|
1
|
+
# Side-Effects Review — the marker lint reports its population beside its verdict
|
|
2
|
+
|
|
3
|
+
**Version / slug:** `lint-reports-its-denominator`
|
|
4
|
+
**Date:** `2026-08-23`
|
|
5
|
+
**Author:** `echo`
|
|
6
|
+
**Second-pass reviewer:** `peer session (echo-fb, W24) — the structural remedy is theirs; the worked example is mine`
|
|
7
|
+
|
|
8
|
+
## Summary of the change
|
|
9
|
+
|
|
10
|
+
`scripts/lint-machine-local-justification.js` now prints how many specs it scanned and how many carried a posture section, on both the clean and the findings path, and exposes the same counts as `population` in `--json`. Files it could not read are COUNTED, not skipped silently.
|
|
11
|
+
|
|
12
|
+
## Why — the incident this is the reading-side fix for
|
|
13
|
+
|
|
14
|
+
On 2026-08-21 this gate was found matching its section heading by exact text while spec authors had begun numbering theirs (`## 8. Multi-machine posture`). It saw **91 of 149** posture-carrying specs and silently skipped **58** — including the replicated-store foundation, the mesh self-heal spec, the secure-pairing spec, and the standards-registry spec itself — while printing `clean` about a corpus it had never read.
|
|
15
|
+
|
|
16
|
+
From the fix's own comment: *"Nobody had to make a mistake; you just had to number your heading."*
|
|
17
|
+
|
|
18
|
+
Widening the matcher fixed **that** drift. It does not fix the next one. The population can shrink again for reasons no diff records, because no author does anything wrong — and the verdict stays the single most reassuring word available. `clean` is a sentence nobody questions. `clean — 0 findings across 149 spec(s), 91 carrying a posture section` is one somebody does.
|
|
19
|
+
|
|
20
|
+
## Decision-point inventory
|
|
21
|
+
|
|
22
|
+
None. This changes only what the gate SAYS. Every verdict, threshold and exit code is byte-identical.
|
|
23
|
+
|
|
24
|
+
## 1. Over-block
|
|
25
|
+
|
|
26
|
+
Impossible: no code path can newly fail. `--strict` still exits non-zero on exactly the same condition (`allFindings.length > 0`).
|
|
27
|
+
|
|
28
|
+
## 2. Under-block
|
|
29
|
+
|
|
30
|
+
Unchanged, and worth being precise: a denominator does not detect drift. It makes drift **legible to a human who reads the output**. If nobody reads it, it buys nothing. It is deliberately not sold as a detector — an automated ratchet on the population would be the stronger control and is not built here.
|
|
31
|
+
|
|
32
|
+
## 3. Level-of-abstraction fit
|
|
33
|
+
|
|
34
|
+
Three counters in the CLI's existing loop. No new file, no new invocation, no new dependency. It is one line of output.
|
|
35
|
+
|
|
36
|
+
## 4. Signal vs authority compliance
|
|
37
|
+
|
|
38
|
+
Compliant and unchanged. The lint is a report-first signal; this makes the signal more honest about its own reach.
|
|
39
|
+
|
|
40
|
+
## 4b. Judgment-point check
|
|
41
|
+
|
|
42
|
+
None. Three integers.
|
|
43
|
+
|
|
44
|
+
## 5. Interactions
|
|
45
|
+
|
|
46
|
+
- `findPostureSection` is now called once more per file to count coverage. Pure, no I/O, negligible.
|
|
47
|
+
- The `--json` shape GAINS a `population` key. Additive; nothing reads it yet.
|
|
48
|
+
- The self-wiring contract does not pin this script, so nothing else moves.
|
|
49
|
+
|
|
50
|
+
## 6. External surfaces
|
|
51
|
+
|
|
52
|
+
None.
|
|
53
|
+
|
|
54
|
+
## 6b. Operator-surface quality
|
|
55
|
+
|
|
56
|
+
The operator never runs this. The audience is whoever reads a CI log — and the incident proves that reader was previously given a reassuring word with no scale attached.
|
|
57
|
+
|
|
58
|
+
## 7. Multi-machine posture
|
|
59
|
+
|
|
60
|
+
`unified` — trivially. A pure counter in a stateless CLI.
|
|
61
|
+
|
|
62
|
+
## 8. Rollback cost
|
|
63
|
+
|
|
64
|
+
Three counters and a string. Reverting restores a verdict with no scale attached, which is the condition the incident occurred under.
|
|
65
|
+
|
|
66
|
+
## Conclusion
|
|
67
|
+
|
|
68
|
+
Ship. Zero behaviour change, one line of output, and it addresses the reading-side half of a defect that cost this repository 39% of its posture coverage for an unknown period.
|
|
69
|
+
|
|
70
|
+
## Evidence pointers
|
|
71
|
+
|
|
72
|
+
- 40 tests, including: the denominator appears on the clean path AND the findings path (the failing path is where a shrunken population is most dangerous — a reader sees findings, assumes the sweep was whole, and never asks how far it reached); the JSON `population` shape; an unreadable file COUNTED rather than swallowed; and the property the incident turned on — **a one-file run and a two-file run must not print the same sentence**.
|
|
73
|
+
- First real output on the live corpus: `135 finding(s) — 1818 spec(s) scanned, 133 carrying a posture section`.
|
|
74
|
+
|
|
75
|
+
## The discrepancy this surfaced on its first run — and what three instruments then established
|
|
76
|
+
|
|
77
|
+
The historical comment records **149** posture-carrying specs; this measures **133**. That gap was reported as fully unresolved when this branch was first pushed. It has since been narrowed by two further measurements, and the narrowing is recorded here rather than folded silently into the original text.
|
|
78
|
+
|
|
79
|
+
**DRIFT IS RULED OUT — the alarming reading is disconfirmed.** A peer session (echo-fb, W24) measured by an independent method (`git grep`, not this lint's regex) and got 133 at HEAD *and* 133 at `c465a94ef`, the widening commit itself, with only two commits touching `docs/specs` in between and the count unmoved. I then reproduced that with a third method: 133 at `c465a94ef`, 133 at `upstream/main`, control on an invented token 0, control on a common token 1811 of 1818.
|
|
80
|
+
|
|
81
|
+
So the count was **already 133 when the comment claiming 149 was written**. Sixteen specs did not silently lose their posture section.
|
|
82
|
+
|
|
83
|
+
**A 2-file disagreement between my third method and the other two, resolved rather than averaged.** My first pass returned 131. The difference is case: my throwaway regex was case-sensitive on the second word, while the lint's matcher carries `/i`. The two specs are `matrix-cell-operator-cancel.md` and `playwright-profile-registry.md`, whose headings capitalise "Posture". 133 is correct and matches the lint. Recorded because a two-instrument disagreement is information, and resolving it by preference would have been the error this whole change is about.
|
|
84
|
+
|
|
85
|
+
**Still unmeasured: what produced 149.** A different branch, a method nobody has guessed, or a figure that was never right. Three candidates, none distinguished, and no claim made between them. What is now measured is the part that mattered — the population is not shrinking under the gate.
|
|
86
|
+
|
|
87
|
+
## Class-Closure Declaration (display-only mirror)
|
|
88
|
+
|
|
89
|
+
The class is "a verdict reported without its scale." Closed for this gate. NOT closed generally — no other gate in this repository was audited for it, and nothing enumerates the gates that print a reassuring word with no denominator. That sweep is the real work and is not done here.
|