mirror of
https://github.com/storytold/gridcraft.git
synced 2026-10-24 02:36:48 -06:00
Tyrel HavemanandClaude Opus 5.5
e177bf1c44
- Text coercion: digits too many for a finite number are not a number,
and a fraction must come out finite, so "1 <400 digits>/<400 digits>"
(inf/inf) no longer coerces to NaN (test overlong_digits_stay_text).
- VLOOKUP/HLOOKUP and the D-functions' field index refuse NaN, which
passed their "< 1" checks and became index 0, then underflowed
(test nan_index_is_a_value_error; hostile_inputs_never_panic now also
passes NaN and infinity to every function).
- REGEXREPLACE replaces match by match and gives up once the result can
only be too long, instead of building every replacement first: the
32,767 x 32,767 worst case went from 1.05 GB peak to 7 MB
(test regexreplace_bounds_its_result).
#2165 (MAP's size check) is already fixed on main by the broadcast cap
(836b2698, #2182), whose test covers MAP.
Also adds my contributors/people.toml entry.
Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>
Claude-Session: https://claude.ai/code/session_019Nnsfu3QGqjD1aFZbBgUWP
99 lines
2.5 KiB
TOML
99 lines
2.5 KiB
TOML
# Contributor names for the About window (craftrules standards/contributors.md).
|
|
#
|
|
# Everyone who contributes is credited by GitHub username automatically. Anything more is up to
|
|
# you: add YOUR OWN entry below, in your own PR (commit it yourself). Never add someone else; a
|
|
# maintainer may add a person only when that person asked, recording where in consent_source.
|
|
#
|
|
# Easiest: python3 ../../craftrules/scripts/contributors.py --add-me . \
|
|
# [--real-name "Ada Lovelace"] [--display-name "Ada"] [--sync-github-name]
|
|
#
|
|
# Or copy this block, replacing your-github-username (every field is optional):
|
|
#
|
|
# [people.your-github-username]
|
|
# real_name = "Your Name" # shown when the viewer picks "Real name"
|
|
# display_name = "Nickname" # shown when the viewer picks "Display name"
|
|
# sync_github_name = true # or: use the name on your public GitHub profile as display name
|
|
#
|
|
# To remove your names, delete your entry (or set fields empty) in a PR. The next
|
|
# contributors.py run, and the next build, drop them.
|
|
|
|
[people.echelon]
|
|
real_name = "Brandon Thomas"
|
|
display_name = "Brandon Thomas"
|
|
sync_github_name = false
|
|
|
|
[people.nihilist-narwhal]
|
|
display_name = "nihilist-narwhal"
|
|
sync_github_name = false
|
|
|
|
[people.edurbs]
|
|
sync_github_name = true
|
|
|
|
[people.arcanii]
|
|
real_name = "Bryan Mark"
|
|
display_name = "Arcanii"
|
|
sync_github_name = false
|
|
|
|
[people.vangel76]
|
|
real_name = "Valentin Klein"
|
|
sync_github_name = true
|
|
|
|
[people.MacJedi42]
|
|
sync_github_name = true
|
|
|
|
[people.alexanderalber]
|
|
real_name = "Alexander Alber"
|
|
|
|
[people.webdevtodayjason]
|
|
display_name = "Jason Brashear"
|
|
sync_github_name = false
|
|
|
|
[people.Losminek]
|
|
sync_github_name = true
|
|
|
|
[people.GhostMitra]
|
|
sync_github_name = true
|
|
|
|
[people.shrshk]
|
|
real_name = "Shirish Veerabattini"
|
|
sync_github_name = true
|
|
[people.jsymes21-byte]
|
|
real_name = "James Symes"
|
|
sync_github_name = true
|
|
[people.Silvertree2010]
|
|
display_name = "Netter"
|
|
sync_github_name = false
|
|
|
|
[people.Shnrqpdr]
|
|
sync_github_name = true
|
|
|
|
[people.yeniufuklar-com]
|
|
real_name = "Ufuk Efe"
|
|
display_name = "Ufuk Efe"
|
|
sync_github_name = true
|
|
|
|
[people.pourie-he]
|
|
sync_github_name = true
|
|
|
|
[people.Stefanfra]
|
|
real_name = "Stefan Fransen"
|
|
sync_github_name = true
|
|
|
|
[people.allenyllee]
|
|
sync_github_name = true
|
|
|
|
[people.marcoarnulfo]
|
|
real_name = "Marco Arnulfo"
|
|
display_name = "Marco Arnulfo"
|
|
sync_github_name = false
|
|
|
|
[people.Harrison-Booth]
|
|
real_name = "Harrison Booth"
|
|
sync_github_name = false
|
|
|
|
[people.bilalmughal]
|
|
sync_github_name = true
|
|
|
|
[people.tyrel]
|
|
real_name = "Tyrel Haveman"
|