docs(napkin-math): record PR #746 (Phase 3) and PR #747 (Phase 4 runtime)#748
Merged
Conversation
…ime) in 20260520 plan Marks PR #744 as merged (previously open), and adds PR #746 (Phase 3 validate-parameters — aggregate_not_bounded + requirement_has_margin) and PR #747 (Phase 4 runtime + schema readiness — calculation-output strip, lognormal/pert reserved, correlations key reserved, reason-branched warning text) to the landed-on-main section. Phase 1 status row now references all three compress PRs (#737, #743, #744). Phase 3 row marks DONE via PR #746 with a note that the sampling_discipline enum bullet was routed to Phase 4. Phase 4 row marks the code-side DONE via PR #747 and lists the deferred prompt-side LLM-rule changes. Next-likely-move list re-ordered: the Phase 4 prompt-side follow-up takes item 1 (was deferred from the previous update). Bucket-categorisation discipline, proposal 141 implementation, different-LLM validation, and prompt hygiene shift down to items 2-5. Co-Authored-By: Claude Opus 4.7 (1M context) <noreply@anthropic.com>
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
1 participant
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.
Summary
Updates
experiments/napkin_math/docs/20260520_plan.mdto reflect the most recently landed work:aggregate_not_boundedandrequirement_has_marginstructural checks).lognormal/pertreserved with sample-timeNotImplementedError,correlationstop-level key reserved, reason-branched warning text).Phase status table changes
sampling_disciplineenum bullet was routed to Phase 4 to avoid a silent shim.Next-likely-move list
Re-ordered so the Phase 4 prompt-side follow-up is item 1 (it's the natural continuation now that the runtime + schema accept
lognormal/pert/correlationscleanly). Bucket-categorisation discipline, proposal 141 implementation, different-LLM validation, and prompt hygiene shift to items 2-5.Test plan
🤖 Generated with Claude Code