Skip to content

safe-bash: maintained typecheck fails in legacy fixture sources #605

Description

@kamilio

Observed while validating #580 with current HEAD1a8627d40 plus the read-allocation candidate. The maintained command npm run typecheck --workspace=virtual-bash exits2 with24 source-and-tests diagnostics. None are in the four #580 changed files; those diagnostic files are untouched by that candidate. Do not treat this as a clean-HEAD reproduction until the baseline is separately checked.

Diagnostic groups:

  • diff-patch-stress emptyfile-delta / gnu-revised-acceptance / gnu-safety-strip-followup import missing ../gnu-target/oracle.js.
  • structured-stress/jq-42-review-fixes/evidence.test.ts has possibly-undefined selected entries and string-or-undefined assignments.
  • tests/contracts/invocation-cleanup.cases.ts:55 reports true not assignable to false.
  • stress/harness-timing-20260827 imports missing native-delivery.js and consequently reports unknown errors/implicit-any events.

The source build succeeds; the maintained consumer checks reported expected outcomes, but the overall typecheck is failed, not waived or reported green. Validate each diagnostic and the current-vs-historical input ownership before fixing anything. Preserve immutable evidence/receipt owners; do not invent missing oracle implementations or hide failures with blanket exclusions.

Activity

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Metadata

Metadata

Assignees

No one assigned

    Labels

    No labels
    No labels

    Type

    No type

    Projects

    No projects

      Milestone

      No milestone

      Relationships

      None yet

      Development

      No branches or pull requests

      Issue actions