Skip to content

Mock provider: integer literals overflowing i64 silently become 0 #74

Closed

Description

@e54-bot

Audit finding M8 — verified live.

Problem

puzzle/lex.rs read_number falls back to 0 on overflow. target = 99999999999999999999 lexes as 0 with no diagnostic, and the compiled artifact carries "target":0 — silent corruption of a normative output.

Acceptance criteria

  • Out-of-range integer literals produce a diagnostic (and a defined value policy), never a silent 0.
  • Regression test + green suite.

Activity

  1. added
    bugSomething isn't working
    ready-for-implementationContract settled; an Engineer can implement without inventing a decision
    on Oct 15, 2026
  2. e54-bot commented on Oct 15, 2026

    @e54-bot
    ContributorAuthor

    Fixed in #86 (commit 79ccae0).

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

    bugSomething isn't workingready-for-implementationContract settled; an Engineer can implement without inventing a decision

    Type

    No type

    Projects

    No projects

      Milestone

      No milestone

      Relationships

      None yet

      Development

      No branches or pull requests

      Issue actions