Repository navigation
specs/course: v2 ledger after #13241, and the audit trigger fix it dropped - #13243
Merged
Merged
Conversation
…opped PR #13241 squash-merged before its second commit (766f949) reached the PR, so master holds the bare "676" package trigger, which fires inside the CORDIC gain 1.6467602581 of the arithmetic course. This restores the " 676" trigger and its negative-control test verbatim from that commit. The v2 task table now says what merged: board-spec, audit-law, mastery-law, predict-step and review-intervals are DONE (#13241); lesson-facts stays CLAIMED (Trinity-S-AI-DNA/trinity#1806, open). A new TASK_PR column names the PR that carries each task, with a test that a DONE task names one and an OPEN task names none, so an agent reading the file sees what is in progress and where. Refs #13239 Refs #13240 Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>
gHashTag
enabled auto-merge (squash)
November 7, 2026 09:45
Contributor
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
Two small changes to the course v2 specs from #13241.
"676"package trigger inspecs/tri/course/audit.t27. That trigger fires inside the CORDIC gain1.6467602581of the arithmetic course. This PR restores" 676"and the testa_trigger_does_not_fire_inside_a_number(with its negative control) verbatim from 766f949.specs/course/fpga_course_v2.t27:TASK_PRcolumn names the PR that carries each task (0 = none yet). The new testa_done_task_names_its_pr_and_an_open_task_names_nonerequires a DONE task to name a PR and an OPEN task to name none, so an agent reading the file sees what is in progress and where.Tests
t27c checkon both specs: typecheck OK, 0 errors, 0 warnings.Refs #13239
Refs #13240
🤖 Generated with Claude Code