Commit 4dd5041
* tooling(scripts): assertion floor for check-declaration-mirrors' self-test
`cases.filter((c) => !c.cond)` was this self-test's only success condition, so
"every case held" and "the cases never ran" printed the same line (#13489).
Class-1 sink repair, the PR #15156 shape: the concise-arrow `ok` sink gains a
block body that calls `registerCase()` before the unchanged `cases.push`. No
assertion condition is inverted or rewritten.
Class-2 roster, the PR #15217 shape: ONE battery hoisted to the top of the
self-test body, floor at the measured 23, `SELF_TEST_BATTERIES` size pinned at
1. No comment was promoted to a section head.
Case count before == after, measured by pinning the roster to an unreachable
value and reading the breach line: 23. `--self-test` stdout and stderr are
byte-identical to the base tree's, exit 0 on both.
Co-Authored-By: Claude Fable 5.1 <noreply@anthropic.com>
Claude-Session: https://claude.ai/code/session_012zGPuVVX3deAx9LdjK8jCk
* tooling(scripts): assertion floor for check-docs-single-h1' self-test
`cases.filter((c) => !c.ok)` was this self-test's only success condition, so
"every case held" and "the cases never ran" printed the same line (#13489).
Class-1 sink repair, the PR #15156 shape: the concise-arrow `t` sink gains a
block body that calls `registerCase()` before the unchanged `cases.push`. No
assertion condition is inverted or rewritten.
Class-2 roster, the PR #15217 shape: ONE battery hoisted to the top of the
self-test body, floor at the measured 20, `SELF_TEST_BATTERIES` size pinned at
1. The file's single named section banner is NOT split on, and no comment was
promoted to a section head.
Case count before == after, measured by pinning the roster to an unreachable
value and reading the breach line: 20 — which agrees with the count the
existing verdict line prints. `--self-test` stdout and stderr are
byte-identical to the base tree's, exit 0 on both.
Co-Authored-By: Claude Fable 5.1 <noreply@anthropic.com>
Claude-Session: https://claude.ai/code/session_012zGPuVVX3deAx9LdjK8jCk
* tooling(scripts): assertion floors for three counter-sink self-tests
`problems.length` / `failed` were these self-tests' only success condition, so
"every case held" and "the cases never ran" printed the same line (#13489).
Class-1 sink repair via the THUNK route PR #15198 measured, because each sink
write is failure-only: routing failure-only writes through a helper would floor
zero cases on a green run, which is no floor at all. `check(() => { ... })`
registers the case and then runs the existing site VERBATIM, so registration
happens whether or not the site fires and no assertion condition is inverted or
rewritten. Per-iteration registration through a block-bodied helper is the
landed shape (check-doc-frontmatter, check-test-source-alias both call their
helper from inside a `for`).
Class-2 roster, the PR #15217 shape: ONE battery hoisted to the top of each
self-test body, floor at the measured count, roster size pinned at 1. No
comment was promoted to a section head; a single banner was not split on.
Floors, each measured by pinning the roster to an unreachable value and reading
the breach line -- never transcribed:
check-meta-type-normalized 4 (4 thunked sites)
check-org-identifier 31 (agrees with its printed `cases.length + 1`)
check-error-code-casing 51 (agrees with its printed 46 + 5)
`--self-test` stdout and stderr byte-identical to the base tree's on all three,
exit 0 both sides; normal mode also byte-identical where the gate has one.
Co-Authored-By: Claude Fable 5.1 <noreply@anthropic.com>
Claude-Session: https://claude.ai/code/session_012zGPuVVX3deAx9LdjK8jCk
* tooling(scripts): assertion floors for three more counter-sink self-tests
Same repair as the previous commit: the THUNK route PR #15198 measured, because
every sink write in these three is failure-only, plus PR #15217's single hoisted
battery with the roster size pinned at 1.
Floors, each measured by pinning the roster to an unreachable value and reading
the breach line -- never transcribed:
check-console-intercept-disarm 11 (its printed 10 cases + the real-tree floor)
check-examples-live-imports 36 (agrees with its printed `cases.length`)
check-optional-error-sink-contract 66 (its printed 19 + 9x4 spellings
+ the reject side + 9 derivation
+ the `run` reference pin)
check-examples-live-imports' one sink site is an if/ELSE, so it is wrapped by
hand rather than by a brace matcher that would stop at the `if` block's own
closing brace; the branches are reindented, not rewritten.
⛔ check-optional-error-sink-contract's two assertions over `baseline.entries`
are deliberately left UNREGISTERED and say so in place: they run one-per-row of
a shrink-only ledger, and a floor moving with that list would red every
legitimate removal (#13797's ruling, carried forward by PR #15217's
check-whole-set-label-write). `LOG_CHANNELS` is not that -- it is the contract's
own vocabulary, not a list meant to shrink -- so its loops do register.
`--self-test` stdout and stderr byte-identical to the base tree's on all three,
exit 0 both sides; normal mode byte-identical where the gate has one.
Co-Authored-By: Claude Fable 5.1 <noreply@anthropic.com>
Claude-Session: https://claude.ai/code/session_012zGPuVVX3deAx9LdjK8jCk
---------
Co-authored-by: Claude <noreply@anthropic.com>
1 parent cc2e39e commit 4dd5041
8 files changed
Lines changed: 937 additions & 68 deletions
| Original file line number | Diff line number | Diff line change | |
|---|---|---|---|
| |||
367 | 367 | | |
368 | 368 | | |
369 | 369 | | |
| 370 | + | |
| 371 | + | |
| 372 | + | |
| 373 | + | |
| 374 | + | |
| 375 | + | |
| 376 | + | |
| 377 | + | |
| 378 | + | |
| 379 | + | |
| 380 | + | |
| 381 | + | |
| 382 | + | |
| 383 | + | |
| 384 | + | |
| 385 | + | |
| 386 | + | |
| 387 | + | |
| 388 | + | |
| 389 | + | |
| 390 | + | |
| 391 | + | |
| 392 | + | |
| 393 | + | |
| 394 | + | |
| 395 | + | |
| 396 | + | |
| 397 | + | |
| 398 | + | |
| 399 | + | |
| 400 | + | |
| 401 | + | |
| 402 | + | |
| 403 | + | |
370 | 404 | | |
| 405 | + | |
| 406 | + | |
| 407 | + | |
| 408 | + | |
| 409 | + | |
| 410 | + | |
| 411 | + | |
| 412 | + | |
| 413 | + | |
| 414 | + | |
| 415 | + | |
| 416 | + | |
| 417 | + | |
| 418 | + | |
| 419 | + | |
| 420 | + | |
| 421 | + | |
| 422 | + | |
| 423 | + | |
| 424 | + | |
| 425 | + | |
| 426 | + | |
| 427 | + | |
371 | 428 | | |
372 | 429 | | |
373 | 430 | | |
| |||
499 | 556 | | |
500 | 557 | | |
501 | 558 | | |
502 | | - | |
503 | | - | |
504 | | - | |
505 | | - | |
506 | | - | |
| 559 | + | |
| 560 | + | |
| 561 | + | |
| 562 | + | |
| 563 | + | |
| 564 | + | |
| 565 | + | |
507 | 566 | | |
508 | 567 | | |
509 | 568 | | |
510 | 569 | | |
511 | 570 | | |
512 | 571 | | |
513 | 572 | | |
514 | | - | |
515 | | - | |
516 | | - | |
517 | | - | |
518 | | - | |
519 | | - | |
| 573 | + | |
| 574 | + | |
| 575 | + | |
| 576 | + | |
| 577 | + | |
| 578 | + | |
| 579 | + | |
| 580 | + | |
| 581 | + | |
| 582 | + | |
| 583 | + | |
| 584 | + | |
| 585 | + | |
| 586 | + | |
| 587 | + | |
| 588 | + | |
| 589 | + | |
| 590 | + | |
| 591 | + | |
| 592 | + | |
| 593 | + | |
| 594 | + | |
| 595 | + | |
| 596 | + | |
| 597 | + | |
| 598 | + | |
| 599 | + | |
| 600 | + | |
| 601 | + | |
| 602 | + | |
| 603 | + | |
| 604 | + | |
| 605 | + | |
| 606 | + | |
| 607 | + | |
| 608 | + | |
| 609 | + | |
| 610 | + | |
| 611 | + | |
| 612 | + | |
| 613 | + | |
| 614 | + | |
| 615 | + | |
| 616 | + | |
| 617 | + | |
| 618 | + | |
| 619 | + | |
| 620 | + | |
| 621 | + | |
| 622 | + | |
| 623 | + | |
| 624 | + | |
| 625 | + | |
| 626 | + | |
| 627 | + | |
520 | 628 | | |
521 | 629 | | |
522 | 630 | | |
| |||
| Original file line number | Diff line number | Diff line change | |
|---|---|---|---|
| |||
406 | 406 | | |
407 | 407 | | |
408 | 408 | | |
| 409 | + | |
| 410 | + | |
| 411 | + | |
| 412 | + | |
| 413 | + | |
| 414 | + | |
| 415 | + | |
| 416 | + | |
| 417 | + | |
| 418 | + | |
| 419 | + | |
| 420 | + | |
| 421 | + | |
| 422 | + | |
| 423 | + | |
| 424 | + | |
| 425 | + | |
| 426 | + | |
| 427 | + | |
| 428 | + | |
| 429 | + | |
| 430 | + | |
| 431 | + | |
| 432 | + | |
| 433 | + | |
| 434 | + | |
| 435 | + | |
| 436 | + | |
| 437 | + | |
| 438 | + | |
| 439 | + | |
| 440 | + | |
| 441 | + | |
| 442 | + | |
| 443 | + | |
409 | 444 | | |
| 445 | + | |
| 446 | + | |
| 447 | + | |
| 448 | + | |
| 449 | + | |
| 450 | + | |
| 451 | + | |
| 452 | + | |
| 453 | + | |
| 454 | + | |
| 455 | + | |
| 456 | + | |
| 457 | + | |
| 458 | + | |
410 | 459 | | |
411 | | - | |
| 460 | + | |
| 461 | + | |
| 462 | + | |
| 463 | + | |
| 464 | + | |
| 465 | + | |
412 | 466 | | |
413 | 467 | | |
414 | 468 | | |
| |||
549 | 603 | | |
550 | 604 | | |
551 | 605 | | |
| 606 | + | |
| 607 | + | |
| 608 | + | |
| 609 | + | |
| 610 | + | |
| 611 | + | |
| 612 | + | |
| 613 | + | |
| 614 | + | |
| 615 | + | |
| 616 | + | |
| 617 | + | |
| 618 | + | |
| 619 | + | |
| 620 | + | |
| 621 | + | |
| 622 | + | |
| 623 | + | |
| 624 | + | |
| 625 | + | |
| 626 | + | |
| 627 | + | |
| 628 | + | |
| 629 | + | |
| 630 | + | |
| 631 | + | |
| 632 | + | |
| 633 | + | |
| 634 | + | |
| 635 | + | |
| 636 | + | |
| 637 | + | |
| 638 | + | |
| 639 | + | |
| 640 | + | |
| 641 | + | |
| 642 | + | |
| 643 | + | |
| 644 | + | |
| 645 | + | |
| 646 | + | |
| 647 | + | |
| 648 | + | |
| 649 | + | |
| 650 | + | |
| 651 | + | |
| 652 | + | |
552 | 653 | | |
553 | 654 | | |
554 | 655 | | |
| |||
| Original file line number | Diff line number | Diff line change | |
|---|---|---|---|
| |||
378 | 378 | | |
379 | 379 | | |
380 | 380 | | |
| 381 | + | |
| 382 | + | |
| 383 | + | |
| 384 | + | |
| 385 | + | |
| 386 | + | |
| 387 | + | |
| 388 | + | |
| 389 | + | |
| 390 | + | |
| 391 | + | |
| 392 | + | |
| 393 | + | |
| 394 | + | |
| 395 | + | |
| 396 | + | |
| 397 | + | |
| 398 | + | |
| 399 | + | |
| 400 | + | |
| 401 | + | |
| 402 | + | |
| 403 | + | |
| 404 | + | |
| 405 | + | |
| 406 | + | |
| 407 | + | |
| 408 | + | |
| 409 | + | |
| 410 | + | |
| 411 | + | |
| 412 | + | |
| 413 | + | |
| 414 | + | |
| 415 | + | |
| 416 | + | |
381 | 417 | | |
| 418 | + | |
| 419 | + | |
| 420 | + | |
| 421 | + | |
| 422 | + | |
| 423 | + | |
| 424 | + | |
| 425 | + | |
| 426 | + | |
| 427 | + | |
| 428 | + | |
| 429 | + | |
| 430 | + | |
| 431 | + | |
382 | 432 | | |
383 | | - | |
| 433 | + | |
| 434 | + | |
| 435 | + | |
| 436 | + | |
| 437 | + | |
| 438 | + | |
384 | 439 | | |
385 | 440 | | |
386 | 441 | | |
| |||
493 | 548 | | |
494 | 549 | | |
495 | 550 | | |
| 551 | + | |
| 552 | + | |
| 553 | + | |
| 554 | + | |
| 555 | + | |
| 556 | + | |
| 557 | + | |
| 558 | + | |
| 559 | + | |
| 560 | + | |
| 561 | + | |
| 562 | + | |
| 563 | + | |
| 564 | + | |
| 565 | + | |
| 566 | + | |
| 567 | + | |
| 568 | + | |
| 569 | + | |
| 570 | + | |
| 571 | + | |
| 572 | + | |
| 573 | + | |
| 574 | + | |
| 575 | + | |
| 576 | + | |
| 577 | + | |
| 578 | + | |
| 579 | + | |
| 580 | + | |
| 581 | + | |
| 582 | + | |
| 583 | + | |
| 584 | + | |
| 585 | + | |
| 586 | + | |
| 587 | + | |
| 588 | + | |
| 589 | + | |
| 590 | + | |
| 591 | + | |
| 592 | + | |
| 593 | + | |
| 594 | + | |
| 595 | + | |
| 596 | + | |
| 597 | + | |
496 | 598 | | |
497 | 599 | | |
498 | 600 | | |
| |||
0 commit comments