Skip to content

Comments

Fix typo and incorrect method name in documentation#1

Merged
julien-boudry merged 2 commits intomasterfrom
copilot/update-documentation-condorcet
Feb 20, 2026
Merged

Fix typo and incorrect method name in documentation#1
julien-boudry merged 2 commits intomasterfrom
copilot/update-documentation-condorcet

Conversation

Copy link
Contributor

Copilot AI commented Feb 20, 2026

Audit of documentation against Condorcet v5.0 API surfaced two inaccuracies:

  • 1.AddVotes.md: Fix Election-::$maxVotePerElectionElection::$maxVotePerElection (stray hyphen)
  • 5.VotesConstraints.md: Fix display text sumValidVotesWeightWithConstraints()sumValidVoteWeightsWithConstraints() to match actual method name (link target was already correct)

All other documentation verified as current: code snippets use correct v5.0 API, man page matches CLI source, API reference is dynamically fetched from the Condorcet repo, and no deprecated v4.x method names remain.

Warning

Firewall rules blocked me from connecting to one or more addresses (expand for details)

I tried to connect to the following addresses, but was blocked by firewall rules:

  • https://api.github.com/repos/Jean85/pretty-package-versions/zipball/4d7aa5dab42e2a76d99559706022885de0e18e1a
    • Triggering command: /usr/bin/php8.3 /usr/bin/php8.3 -n -c /tmp/BlPfSS /usr/bin/composer install --ignore-platform-reqs (http block)
    • Triggering command: /usr/bin/php8.3 /usr/bin/php8.3 -n -c /tmp/D0hg11 /usr/bin/composer install --ignore-platform-reqs --no-interaction -v (http block)
  • https://api.github.com/repos/brick/math/zipball/63422359a44b7f06cae63c3b429b59e8efcc0629
    • Triggering command: /usr/bin/php8.3 /usr/bin/php8.3 -n -c /tmp/D0hg11 /usr/bin/composer install --ignore-platform-reqs --no-interaction -v (http block)
  • https://api.github.com/repos/doctrine/deprecations/zipball/d4fe3e6fd9bb9e72557a19674f44d8ac7db4c6ca
    • Triggering command: /usr/bin/php8.3 /usr/bin/php8.3 -n -c /tmp/D0hg11 /usr/bin/composer install --ignore-platform-reqs --no-interaction -v (http block)
  • https://api.github.com/repos/filp/whoops/zipball/d2102955e48b9fd9ab24280a7ad12ed552752c4d
    • Triggering command: /usr/bin/php8.3 /usr/bin/php8.3 -n -c /tmp/BlPfSS /usr/bin/composer install --ignore-platform-reqs (http block)
    • Triggering command: /usr/bin/php8.3 /usr/bin/php8.3 -n -c /tmp/D0hg11 /usr/bin/composer install --ignore-platform-reqs --no-interaction -v (http block)
  • https://api.github.com/repos/julien-boudry/Condorcet/zipball/feaf1818cb360dfb4f6e8e94f77d2375985a76d0
    • Triggering command: /usr/bin/php8.3 /usr/bin/php8.3 -n -c /tmp/D0hg11 /usr/bin/composer install --ignore-platform-reqs --no-interaction -v (http block)
  • https://api.github.com/repos/laravel/pint/zipball/54cca2de13790570c7b6f0f94f37896bee4abcb5
    • Triggering command: /usr/bin/php8.3 /usr/bin/php8.3 -n -c /tmp/D0hg11 /usr/bin/composer install --ignore-platform-reqs --no-interaction -v (http block)
  • https://api.github.com/repos/myclabs/DeepCopy/zipball/07d290f0c47959fd5eed98c95ee5602db07e0b6a
    • Triggering command: /usr/bin/php8.3 /usr/bin/php8.3 -n -c /tmp/D0hg11 /usr/bin/composer install --ignore-platform-reqs --no-interaction -v (http block)
  • https://api.github.com/repos/nikic/PHP-Parser/zipball/dca41cd15c2ac9d055ad70dbfd011130757d1f82
    • Triggering command: /usr/bin/php8.3 /usr/bin/php8.3 -n -c /tmp/D0hg11 /usr/bin/composer install --ignore-platform-reqs --no-interaction -v (http block)
  • https://api.github.com/repos/nunomaduro/collision/zipball/a1ed3fa530fd60bc515f9303e8520fcb7d4bd935
    • Triggering command: /usr/bin/php8.3 /usr/bin/php8.3 -n -c /tmp/D0hg11 /usr/bin/composer install --ignore-platform-reqs --no-interaction -v (http block)
  • https://api.github.com/repos/nunomaduro/termwind/zipball/712a31b768f5daea284c2169a7d227031001b9a8
    • Triggering command: /usr/bin/php8.3 /usr/bin/php8.3 -n -c /tmp/D0hg11 /usr/bin/composer install --ignore-platform-reqs --no-interaction -v (http block)
  • https://api.github.com/repos/paratestphp/paratest/zipball/7c6c29af7c4b406b49ce0c6b0a3a81d3684474e6
    • Triggering command: /usr/bin/php8.3 /usr/bin/php8.3 -n -c /tmp/D0hg11 /usr/bin/composer install --ignore-platform-reqs --no-interaction -v (http block)
  • https://api.github.com/repos/pestphp/pest-plugin-arch/zipball/25bb17e37920ccc35cbbcda3b00d596aadf3e58d
    • Triggering command: /usr/bin/php8.3 /usr/bin/php8.3 -n -c /tmp/D0hg11 /usr/bin/composer install --ignore-platform-reqs --no-interaction -v (http block)
  • https://api.github.com/repos/pestphp/pest-plugin-mutate/zipball/d9b32b60b2385e1688a68cc227594738ec26d96c
    • Triggering command: /usr/bin/php8.3 /usr/bin/php8.3 -n -c /tmp/D0hg11 /usr/bin/composer install --ignore-platform-reqs --no-interaction -v (http block)
  • https://api.github.com/repos/pestphp/pest-plugin-profanity/zipball/343cfa6f3564b7e35df0ebb77b7fa97039f72b27
    • Triggering command: /usr/bin/php8.3 /usr/bin/php8.3 -n -c /tmp/D0hg11 /usr/bin/composer install --ignore-platform-reqs --no-interaction -v (http block)
  • https://api.github.com/repos/pestphp/pest-plugin/zipball/9d4b93d7f73d3f9c3189bb22c220fef271cdf568
    • Triggering command: /usr/bin/php8.3 /usr/bin/php8.3 -n -c /tmp/BlPfSS /usr/bin/composer install --ignore-platform-reqs (http block)
    • Triggering command: /usr/bin/php8.3 /usr/bin/php8.3 -n -c /tmp/D0hg11 /usr/bin/composer install --ignore-platform-reqs --no-interaction -v (http block)
  • https://api.github.com/repos/pestphp/pest/zipball/f96a1b27864b585b0b29b0ee7331176726f7e54a
    • Triggering command: /usr/bin/php8.3 /usr/bin/php8.3 -n -c /tmp/D0hg11 /usr/bin/composer install --ignore-platform-reqs --no-interaction -v (http block)
  • https://api.github.com/repos/phar-io/manifest/zipball/54750ef60c58e43759730615a392c31c80e23176
    • Triggering command: /usr/bin/php8.3 /usr/bin/php8.3 -n -c /tmp/D0hg11 /usr/bin/composer install --ignore-platform-reqs --no-interaction -v (http block)
  • https://api.github.com/repos/phar-io/version/zipball/4f7fd7836c6f332bb2933569e566a0d6c4cbed74
    • Triggering command: /usr/bin/php8.3 /usr/bin/php8.3 -n -c /tmp/D0hg11 /usr/bin/composer install --ignore-platform-reqs --no-interaction -v (http block)
  • https://api.github.com/repos/php-fig/container/zipball/c71ecc56dfe541dbd90c5360474fbc405f8d5963
    • Triggering command: /usr/bin/php8.3 /usr/bin/php8.3 -n -c /tmp/D0hg11 /usr/bin/composer install --ignore-platform-reqs --no-interaction -v (http block)
  • https://api.github.com/repos/php-fig/log/zipball/f16e1d5863e37f8d8c2a01719f5b34baa2b714d3
    • Triggering command: /usr/bin/php8.3 /usr/bin/php8.3 -n -c /tmp/BlPfSS /usr/bin/composer install --ignore-platform-reqs (http block)
    • Triggering command: /usr/bin/php8.3 /usr/bin/php8.3 -n -c /tmp/D0hg11 /usr/bin/composer install --ignore-platform-reqs --no-interaction -v (http block)
  • https://api.github.com/repos/php-fig/simple-cache/zipball/764e0b3939f5ca87cb904f570ef9be2d78a07865
    • Triggering command: /usr/bin/php8.3 /usr/bin/php8.3 -n -c /tmp/D0hg11 /usr/bin/composer install --ignore-platform-reqs --no-interaction -v (http block)
  • https://api.github.com/repos/phpDocumentor/ReflectionCommon/zipball/1d01c49d4ed62f25aa84a747ad35d5a16924662b
    • Triggering command: /usr/bin/php8.3 /usr/bin/php8.3 -n -c /tmp/D0hg11 /usr/bin/composer install --ignore-platform-reqs --no-interaction -v (http block)
  • https://api.github.com/repos/phpDocumentor/ReflectionDocBlock/zipball/2f5cbed597cb261d1ea458f3da3a9ad32e670b1e
    • Triggering command: /usr/bin/php8.3 /usr/bin/php8.3 -n -c /tmp/D0hg11 /usr/bin/composer install --ignore-platform-reqs --no-interaction -v (http block)
  • https://api.github.com/repos/phpDocumentor/TypeResolver/zipball/327a05bbee54120d4786a0dc67aad30226ad4cf9
    • Triggering command: /usr/bin/php8.3 /usr/bin/php8.3 -n -c /tmp/D0hg11 /usr/bin/composer install --ignore-platform-reqs --no-interaction -v (http block)
  • https://api.github.com/repos/phpstan/phpdoc-parser/zipball/a004701b11273a26cd7955a61d67a7f1e525a45a
    • Triggering command: /usr/bin/php8.3 /usr/bin/php8.3 -n -c /tmp/D0hg11 /usr/bin/composer install --ignore-platform-reqs --no-interaction -v (http block)
  • https://api.github.com/repos/sebastianbergmann/cli-parser/zipball/90f41072d220e5c40df6e8635f5dafba2d9d4d04
    • Triggering command: /usr/bin/php8.3 /usr/bin/php8.3 -n -c /tmp/D0hg11 /usr/bin/composer install --ignore-platform-reqs --no-interaction -v (http block)
  • https://api.github.com/repos/sebastianbergmann/comparator/zipball/6a7de5df2e094f9a80b40a522391a7e6022df5f6
    • Triggering command: /usr/bin/php8.3 /usr/bin/php8.3 -n -c /tmp/D0hg11 /usr/bin/composer install --ignore-platform-reqs --no-interaction -v (http block)
  • https://api.github.com/repos/sebastianbergmann/complexity/zipball/bad4316aba5303d0221f43f8cee37eb58d384bbb
    • Triggering command: /usr/bin/php8.3 /usr/bin/php8.3 -n -c /tmp/D0hg11 /usr/bin/composer install --ignore-platform-reqs --no-interaction -v (http block)
  • https://api.github.com/repos/sebastianbergmann/diff/zipball/7ab1ea946c012266ca32390913653d844ecd085f
    • Triggering command: /usr/bin/php8.3 /usr/bin/php8.3 -n -c /tmp/D0hg11 /usr/bin/composer install --ignore-platform-reqs --no-interaction -v (http block)
  • https://api.github.com/repos/sebastianbergmann/environment/zipball/24a711b5c916efc6d6e62aa65aa2ec98fef77f68
    • Triggering command: /usr/bin/php8.3 /usr/bin/php8.3 -n -c /tmp/D0hg11 /usr/bin/composer install --ignore-platform-reqs --no-interaction -v (http block)
  • https://api.github.com/repos/sebastianbergmann/exporter/zipball/016951ae10980765e4e7aee491eb288c64e505b7
    • Triggering command: /usr/bin/php8.3 /usr/bin/php8.3 -n -c /tmp/D0hg11 /usr/bin/composer install --ignore-platform-reqs --no-interaction -v (http block)
  • https://api.github.com/repos/sebastianbergmann/global-state/zipball/ef1377171613d09edd25b7816f05be8313f9115d
    • Triggering command: /usr/bin/php8.3 /usr/bin/php8.3 -n -c /tmp/D0hg11 /usr/bin/composer install --ignore-platform-reqs --no-interaction -v (http block)
  • https://api.github.com/repos/sebastianbergmann/lines-of-code/zipball/97ffee3bcfb5805568d6af7f0f893678fc076d2f
    • Triggering command: /usr/bin/php8.3 /usr/bin/php8.3 -n -c /tmp/D0hg11 /usr/bin/composer install --ignore-platform-reqs --no-interaction -v (http block)
  • https://api.github.com/repos/sebastianbergmann/object-enumerator/zipball/1effe8e9b8e068e9ae228e542d5d11b5d16db894
    • Triggering command: /usr/bin/php8.3 /usr/bin/php8.3 -n -c /tmp/D0hg11 /usr/bin/composer install --ignore-platform-reqs --no-interaction -v (http block)
  • https://api.github.com/repos/sebastianbergmann/object-reflector/zipball/4bfa827c969c98be1e527abd576533293c634f6a
    • Triggering command: /usr/bin/php8.3 /usr/bin/php8.3 -n -c /tmp/D0hg11 /usr/bin/composer install --ignore-platform-reqs --no-interaction -v (http block)
  • https://api.github.com/repos/sebastianbergmann/php-code-coverage/zipball/b015312f28dd75b75d3422ca37dff2cd1a565e8d
    • Triggering command: /usr/bin/php8.3 /usr/bin/php8.3 -n -c /tmp/D0hg11 /usr/bin/composer install --ignore-platform-reqs --no-interaction -v (http block)
  • https://api.github.com/repos/sebastianbergmann/php-file-iterator/zipball/3d1cd096ef6bea4bf2762ba586e35dbd317cbfd5
    • Triggering command: /usr/bin/php8.3 /usr/bin/php8.3 -n -c /tmp/D0hg11 /usr/bin/composer install --ignore-platform-reqs --no-interaction -v (http block)
  • https://api.github.com/repos/sebastianbergmann/php-invoker/zipball/12b54e689b07a25a9b41e57736dfab6ec9ae5406
    • Triggering command: /usr/bin/php8.3 /usr/bin/php8.3 -n -c /tmp/D0hg11 /usr/bin/composer install --ignore-platform-reqs --no-interaction -v (http block)
  • https://api.github.com/repos/sebastianbergmann/php-text-template/zipball/e1367a453f0eda562eedb4f659e13aa900d66c53
    • Triggering command: /usr/bin/php8.3 /usr/bin/php8.3 -n -c /tmp/D0hg11 /usr/bin/composer install --ignore-platform-reqs --no-interaction -v (http block)
  • https://api.github.com/repos/sebastianbergmann/php-timer/zipball/f258ce36aa457f3aa3339f9ed4c81fc66dc8c2cc
    • Triggering command: /usr/bin/php8.3 /usr/bin/php8.3 -n -c /tmp/D0hg11 /usr/bin/composer install --ignore-platform-reqs --no-interaction -v (http block)
  • https://api.github.com/repos/sebastianbergmann/phpunit/zipball/418e06b3b46b0d54bad749ff4907fc7dfb530199
    • Triggering command: /usr/bin/php8.3 /usr/bin/php8.3 -n -c /tmp/D0hg11 /usr/bin/composer install --ignore-platform-reqs --no-interaction -v (http block)
  • https://api.github.com/repos/sebastianbergmann/recursion-context/zipball/0b01998a7d5b1f122911a66bebcb8d46f0c82d8c
    • Triggering command: /usr/bin/php8.3 /usr/bin/php8.3 -n -c /tmp/D0hg11 /usr/bin/composer install --ignore-platform-reqs --no-interaction -v (http block)
  • https://api.github.com/repos/sebastianbergmann/type/zipball/e549163b9760b8f71f191651d22acf32d56d6d4d
    • Triggering command: /usr/bin/php8.3 /usr/bin/php8.3 -n -c /tmp/D0hg11 /usr/bin/composer install --ignore-platform-reqs --no-interaction -v (http block)
  • https://api.github.com/repos/sebastianbergmann/version/zipball/3e6ccf7657d4f0a59200564b08cead899313b53c
    • Triggering command: /usr/bin/php8.3 /usr/bin/php8.3 -n -c /tmp/D0hg11 /usr/bin/composer install --ignore-platform-reqs --no-interaction -v (http block)
  • https://api.github.com/repos/staabm/side-effects-detector/zipball/d8334211a140ce329c13726d4a715adbddd0a163
    • Triggering command: /usr/bin/php8.3 /usr/bin/php8.3 -n -c /tmp/D0hg11 /usr/bin/composer install --ignore-platform-reqs --no-interaction -v (http block)
  • https://api.github.com/repos/symfony/console/zipball/ace03c4cf9805080ff40cbeec69fca180c339a3b
    • Triggering command: /usr/bin/php8.3 /usr/bin/php8.3 -n -c /tmp/D0hg11 /usr/bin/composer install --ignore-platform-reqs --no-interaction -v (http block)
  • https://api.github.com/repos/symfony/deprecation-contracts/zipball/63afe740e99a13ba87ec199bb07bbdee937a5b62
    • Triggering command: /usr/bin/php8.3 /usr/bin/php8.3 -n -c /tmp/D0hg11 /usr/bin/composer install --ignore-platform-reqs --no-interaction -v (http block)
  • https://api.github.com/repos/symfony/finder/zipball/8bd576e97c67d45941365bf824e18dc8538e6eb0
    • Triggering command: /usr/bin/php8.3 /usr/bin/php8.3 -n -c /tmp/D0hg11 /usr/bin/composer install --ignore-platform-reqs --no-interaction -v (http block)
  • https://api.github.com/repos/symfony/polyfill-ctype/zipball/a3cc8b044a6ea513310cbd48ef7333b384945638
    • Triggering command: /usr/bin/php8.3 /usr/bin/php8.3 -n -c /tmp/BlPfSS /usr/bin/composer install --ignore-platform-reqs (http block)
    • Triggering command: /usr/bin/php8.3 /usr/bin/php8.3 -n -c /tmp/D0hg11 /usr/bin/composer install --ignore-platform-reqs --no-interaction -v (http block)
  • https://api.github.com/repos/symfony/polyfill-intl-grapheme/zipball/380872130d3a5dd3ace2f4010d95125fde5d5c70
    • Triggering command: /usr/bin/php8.3 /usr/bin/php8.3 -n -c /tmp/D0hg11 /usr/bin/composer install --ignore-platform-reqs --no-interaction -v (http block)
  • https://api.github.com/repos/symfony/polyfill-intl-normalizer/zipball/3833d7255cc303546435cb650316bff708a1c75c
    • Triggering command: /usr/bin/php8.3 /usr/bin/php8.3 -n -c /tmp/D0hg11 /usr/bin/composer install --ignore-platform-reqs --no-interaction -v (http block)
  • https://api.github.com/repos/symfony/polyfill-mbstring/zipball/6d857f4d76bd4b343eac26d6b539585d2bc56493
    • Triggering command: /usr/bin/php8.3 /usr/bin/php8.3 -n -c /tmp/BlPfSS /usr/bin/composer install --ignore-platform-reqs (http block)
    • Triggering command: /usr/bin/php8.3 /usr/bin/php8.3 -n -c /tmp/D0hg11 /usr/bin/composer install --ignore-platform-reqs --no-interaction -v (http block)
  • https://api.github.com/repos/symfony/process/zipball/b5f3aa6762e33fd95efbaa2ec4f4bc9fdd16d674
    • Triggering command: /usr/bin/php8.3 /usr/bin/php8.3 -n -c /tmp/D0hg11 /usr/bin/composer install --ignore-platform-reqs --no-interaction -v (http block)
  • https://api.github.com/repos/symfony/service-contracts/zipball/45112560a3ba2d715666a509a0bc9521d10b6c43
    • Triggering command: /usr/bin/php8.3 /usr/bin/php8.3 -n -c /tmp/D0hg11 /usr/bin/composer install --ignore-platform-reqs --no-interaction -v (http block)
  • https://api.github.com/repos/symfony/string/zipball/758b372d6882506821ed666032e43020c4f57194
    • Triggering command: /usr/bin/php8.3 /usr/bin/php8.3 -n -c /tmp/D0hg11 /usr/bin/composer install --ignore-platform-reqs --no-interaction -v (http block)
  • https://api.github.com/repos/symfony/yaml/zipball/7a1a90ba1df6e821a6b53c4cabdc32a56cabfb14
    • Triggering command: /usr/bin/php8.3 /usr/bin/php8.3 -n -c /tmp/BlPfSS /usr/bin/composer install --ignore-platform-reqs (http block)
    • Triggering command: /usr/bin/php8.3 /usr/bin/php8.3 -n -c /tmp/D0hg11 /usr/bin/composer install --ignore-platform-reqs --no-interaction -v (http block)
  • https://api.github.com/repos/ta-tikoma/phpunit-architecture-test/zipball/1248f3f506ca9641d4f68cebcd538fa489754db8
    • Triggering command: /usr/bin/php8.3 /usr/bin/php8.3 -n -c /tmp/D0hg11 /usr/bin/composer install --ignore-platform-reqs --no-interaction -v (http block)
  • https://api.github.com/repos/theofidry/cpu-core-counter/zipball/db9508f7b1474469d9d3c53b86f817e344732678
    • Triggering command: /usr/bin/php8.3 /usr/bin/php8.3 -n -c /tmp/BlPfSS /usr/bin/composer install --ignore-platform-reqs (http block)
    • Triggering command: /usr/bin/php8.3 /usr/bin/php8.3 -n -c /tmp/D0hg11 /usr/bin/composer install --ignore-platform-reqs --no-interaction -v (http block)
  • https://api.github.com/repos/thephpleague/flysystem-local/zipball/2f669db18a4c20c755c2bb7d3a7b0b2340488079
    • Triggering command: /usr/bin/php8.3 /usr/bin/php8.3 -n -c /tmp/D0hg11 /usr/bin/composer install --ignore-platform-reqs --no-interaction -v (http block)
  • https://api.github.com/repos/thephpleague/flysystem/zipball/1717e0b3642b0df65ecb0cc89cdd99fa840672ff
    • Triggering command: /usr/bin/php8.3 /usr/bin/php8.3 -n -c /tmp/D0hg11 /usr/bin/composer install --ignore-platform-reqs --no-interaction -v (http block)
  • https://api.github.com/repos/thephpleague/mime-type-detection/zipball/2d6702ff215bf922936ccc1ad31007edc76451b9
    • Triggering command: /usr/bin/php8.3 /usr/bin/php8.3 -n -c /tmp/D0hg11 /usr/bin/composer install --ignore-platform-reqs --no-interaction -v (http block)
  • https://api.github.com/repos/theseer/tokenizer/zipball/7989e43bf381af0eac72e4f0ca5bcbfa81658be4
    • Triggering command: /usr/bin/php8.3 /usr/bin/php8.3 -n -c /tmp/D0hg11 /usr/bin/composer install --ignore-platform-reqs --no-interaction -v (http block)
  • https://api.github.com/repos/webmozarts/assert/zipball/79155f94852fa27e2f73b459f6503f5e87e2c188
    • Triggering command: /usr/bin/php8.3 /usr/bin/php8.3 -n -c /tmp/D0hg11 /usr/bin/composer install --ignore-platform-reqs --no-interaction -v (http block)

If you need me to access, download, or install something from one of these locations, you can either:


🔒 GitHub Advanced Security automatically protects Copilot coding agent pull requests. You can protect all pull requests by enabling Advanced Security for your repositories. Learn more about Advanced Security.

…sConstraints doc

Co-authored-by: julien-boudry <4020317+julien-boudry@users.noreply.github.com>
Copilot AI changed the title [WIP] Update documentation to match Condorcet library Fix typo and incorrect method name in documentation Feb 20, 2026
Copilot AI requested a review from julien-boudry February 20, 2026 11:20
@julien-boudry julien-boudry marked this pull request as ready for review February 20, 2026 11:54
@julien-boudry julien-boudry merged commit daa8df2 into master Feb 20, 2026
2 checks passed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants