FA-99771 / Tool call schema validation / Open access

Inclusive maximum accepts out-of-range value · case 01

Inclusive maximum accepts out-of-range value.

Verified by executionVariant 1 · 6 checks per implementationDownload source bundle ↓JSON ↗

ROOT CAUSE

The upper endpoint comparison is reversed or omitted.

THE FAILURE

The upper endpoint comparison is reversed or omitted.

Unsuccessful approach: Subtracting one from the maximum rejects the valid endpoint and valid fractional values between maximum minus one and maximum.

Case contract

A numeric value satisfies an inclusive maximum when value <= maximum.

Why this case matters

Tool argument validation prevents malformed structured payloads from entering a deterministic downstream operation.

1 / The failure

Exit 1

"""Failure Map reference implementation. Python standard library only."""
import json

N = 1
observations = []
def solve(value, maximum):
    return value >= maximum
def check(label, actual, expected):
    observations.append({"check": label, "actual": actual, "expected": expected, "passed": actual == expected})
check('below endpoint',solve(N-1,N),True)
check('at endpoint',solve(N,N),True)
check('above endpoint',solve(N+1,N),False)
check('negative max equality',solve(-N,-N),True)
check('empty-scale zero',solve(0,0),True)
check('far above',solve(N+5,N),False)
print(json.dumps({"observations": observations, "passed": all(x["passed"] for x in observations)}, ensure_ascii=False))
raise SystemExit(0 if all(x["passed"] for x in observations) else 1)

Boundary fixture	Actual	Expected	Outcome
below endpoint	`False`	`True`	Failed
at endpoint	`True`	`True`	Passed
above endpoint	`True`	`False`	Failed
negative max equality	`True`	`True`	Passed
empty-scale zero	`True`	`True`	Passed
far above	`True`	`False`	Failed

SHA-256 / 819ab56363ff87fdcd6502eb6c570a6a76a35a6e6c1334f9ff664e61f7519acc

2 / The unsuccessful fix

Exit 1

"""Failure Map reference implementation. Python standard library only."""
import json

N = 1
observations = []
def solve(value, maximum):
    return value <= maximum-1
def check(label, actual, expected):
    observations.append({"check": label, "actual": actual, "expected": expected, "passed": actual == expected})
check('below endpoint',solve(N-1,N),True)
check('at endpoint',solve(N,N),True)
check('above endpoint',solve(N+1,N),False)
check('negative max equality',solve(-N,-N),True)
check('empty-scale zero',solve(0,0),True)
check('far above',solve(N+5,N),False)
print(json.dumps({"observations": observations, "passed": all(x["passed"] for x in observations)}, ensure_ascii=False))
raise SystemExit(0 if all(x["passed"] for x in observations) else 1)

Boundary fixture	Actual	Expected	Outcome
below endpoint	`True`	`True`	Passed
at endpoint	`False`	`True`	Failed
above endpoint	`False`	`False`	Passed
negative max equality	`False`	`True`	Failed
empty-scale zero	`False`	`True`	Failed
far above	`False`	`False`	Passed

SHA-256 / 76c5cf787b87f5b72a3a45fdc9a363e9d2d20c23109b30ea8bdf432872ecb5dc

HELD IN THE MEMBER ARCHIVE

The verified repair and its recorded checks are member-only.

This mechanism has 6 recorded checks per implementation. The open-access tier publishes the failure and the unsuccessful fix; the repaired source that passes every check, and the observations that prove it, are available to members.

Every case sharing this mechanism uses the same contract and the same repair, so this one record is held back for all of them.

Member access is invitation-based. Sign in with your invited account to inspect the repair.

Verification & scope

Self-contained toy JSON-like schema contract over in-memory Python values; no compatibility with a production schema standard or callable binding is claimed. This reproducer isolates one failure mechanism. Results cover the supplied fixtures. Variants within a family share a test contract and should remain grouped when constructing evaluation splits. Related mechanisms with a shared evaluation_group must also remain together; these controlled models are not independent production incidents.

Observations recorded using Python 3.12.14 at 2026-09-30T16:48:28.065405+00:00.

Case digest / 4eb2e7dd94836ea66488f3eaaeb18b0dd3cf8bee936763e911facda8ad305a0b