SIFR-INT-0009: JSON or web-safe integer serialization boundary is missing or unsafe. - Sifr

SIFR-INT-0009 belongs to the Integer model diagnostic family. It means: jSON or web-safe integer serialization boundary is missing or unsafe.

Why It Happens

Sifr separates exact integers from fixed-width integers. This diagnostic fires when an integer value, conversion, or operation violates that model.

Use sifr --explain SIFR-INT-0009 locally to see the renderer’s exact message template and any machine-applicable suggestions for the compiler version you are running.

Erroneous Code

class Payload:
    value: int

BOUNDARY = JsonIntegerBoundaryDescriptor(path="Payload.value")

How To Fix It

Select json.exact, json.web, or json.string_ints and provide the declared integer kind and any required static range. Under json.web, numeric output must be statically proven to fit JavaScript’s safe integer range; otherwise use the profile’s decimal-string representation.

Fixed Code

BOUNDARY = JsonIntegerBoundaryDescriptor(
    path="Payload.value",
    profile="json.web",
    representation="decimal_string",
)

Details

Field	Value
Code	`SIFR-INT-0009`
Family	`INT`
Severity	Error
Stability	stable
Owner	`sifr_frontend::const_specialization`
Representative fixture	`crates/sifr_frontend/src/const_specialization.rs`

See the Error Codes index for the complete catalog.