Combinatorics bundle + fix for daily-run duplication (per-subtopic numbering & coordination protocol)#18
Draft
DMDaudio wants to merge 2 commits into
Draft
Combinatorics bundle + fix for daily-run duplication (per-subtopic numbering & coordination protocol)#18DMDaudio wants to merge 2 commits into
DMDaudio wants to merge 2 commits into
Conversation
Covers the previously-empty counting-probability/combinatorics subtopic (only a single probability question existed before): - Lesson on the fundamental counting principle, factorials, permutations vs. combinations, identical-item arrangements, and together/apart restrictions. - 7 original questions (0017-0023) with an easy->hard progression, each with a worked explanation, two hints, and distractors keyed to specific common errors (add-vs-multiply, permutation-vs-combination, forgetting to divide out repeats, at-least-one over-count, gap-method slips). All status: in-review. Rebuilt docs/data/content.json (zero warnings). Co-Authored-By: Claude Opus 4.8 <noreply@anthropic.com> Claude-Session: https://claude.ai/code/session_01WknFxpevhwGoMJPnoUW8bd
…ocol Root cause: daily-run agents each branch off main and never merge, so a run only sees main and is blind to other in-flight runs. Combined with a section-wide NNNN counter, every run grabbed the same next number and re-seeded the same subtopics -> ~15 overlapping, colliding open PRs. Fixes: - Numbering is now per-subtopic (NNNN unique within the subtopic, new subtopics start at 0001) instead of section-wide. Two branches now only collide if they target the SAME subtopic, which the protocol forbids. Documented in CONTENT_SCHEMA.md and CONTRIBUTING.md. No existing files need renaming (they are already unique within their subtopic). - New 'Automated & daily-run contributions' protocol in CONTRIBUTING.md: check OPEN pull requests (not just main) before claiming a subtopic, one subtopic per run, prefer genuine gaps, keep each run on its own PR. - New scripts/coverage.mjs: prints per-subtopic question counts, lesson presence, and gaps from the checkout (and flags mistagged content), so a run can find gaps fast. It notes it only sees the current checkout. - Renumbered this branch's combinatorics questions 0017-0023 -> 0001-0007 to follow the new scheme; rebuilt content.json (zero warnings). Note: this fixes the go-forward process. The existing open-PR backlog still needs the maintainer to merge or close it to fully clear the overlaps already created. Co-Authored-By: Claude Opus 4.8 <noreply@anthropic.com> Claude-Session: https://claude.ai/code/session_01WknFxpevhwGoMJPnoUW8bd
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
Add this suggestion to a batch that can be applied as a single commit.This suggestion is invalid because no changes were made to the code.Suggestions cannot be applied while the pull request is closed.Suggestions cannot be applied while viewing a subset of changes.Only one suggestion per line can be applied in a batch.Add this suggestion to a batch that can be applied as a single commit.Applying suggestions on deleted lines is not supported.You must change the existing code in this line in order to create a valid suggestion.Outdated suggestions cannot be applied.This suggestion has been applied or marked resolved.Suggestions cannot be applied from pending reviews.Suggestions cannot be applied on multi-line comments.Suggestions cannot be applied while the pull request is queued to merge.Suggestion cannot be applied right now. Please check back later.
What does this PR add or change?
Two things: a new content bundle, and a fix for the process problem that has been generating
overlapping, colliding daily-run PRs.
1. New content — Quant
counting-probability/combinatoricsFirst real coverage of
combinatorics(only a singleprobabilityquestion existed before):quant-counting-probability-combinatorics) — fundamental counting principle,factorials, permutations vs. combinations (
C(n,k) = P(n,k)/k!), identical-item arrangements,and together/apart restrictions.
0001–0007) with an easy→hard progression: counting principle→
5!→C(8,3)→LEVELanagrams → glue method → "at least one" via complement → "no twotogether" via gap method.
2. Fix — stop daily runs duplicating each other
Root cause: daily-run agents each branch off
mainand never merge, so a run only seesmainand is blind to other in-flight runs. Combined with a section-wide
NNNNcounter, every rungrabbed the same "next" number and re-seeded the same subtopics — producing ~15 overlapping open
PRs that collide on both subtopic and numbering.
NNNNis now unique within the subtopic (new subtopics start at0001), not section-wide. Two branches now only collide if they target the same subtopic —which the protocol forbids. Documented in
CONTENT_SCHEMA.mdandCONTRIBUTING.md. No existingfiles need renaming (they're already unique within their subtopic). This branch's combinatorics
questions were renumbered
0017–0023→0001–0007to follow the new scheme.CONTRIBUTING.md): before claiming a subtopic, checkthe repo's open pull requests (not just
main); one subtopic per run; prefer genuine gaps;keep each run on its own PR.
scripts/coverage.mjs— dependency-free report of per-subtopic question counts (bydifficulty), lesson presence, and gaps from the current checkout; also flags content tagged
outside the taxonomy. It states up front that it only sees the checkout, so runs must still check
open PRs.
Limitation: this fixes the go-forward process. The existing open-PR backlog still needs the
maintainer to merge or close it to clear the overlaps already created.
docs/data/content.jsonvianode scripts/build.mjs(39 questions, 9 lessons; zerowarnings).
Type of change
Author checklist
idmatches the filename;topic/subtopicexist incurriculum.md).statusisin-review. I did not set my own content toverified.For reviewers
statustoverifiedand added my handle toreviewers.