Document the rule-mining procedure; expose the universe policy in the CLI#35
Merged
Conversation
…licy keys docs/rules.md now describes how find_rules certifies rules (complete enumeration with an exact count cross-check, shortest-first minimal targets, constant-fit challenges, tolerance gate with domain extension, independent confirmation, deterministic seeding, provenance sidecar) and ships a complete mining configuration example. The find-rules CLI forwards source_sample_per_length and candidate_fold_filter from the config file. Co-Authored-By: Claude Fable 5 <noreply@anthropic.com> Claude-Session: https://claude.ai/code/session_01VKNo5wM1D5Xm8eVTLhrPzf
SimpliPyEngine.certify_rules certifies externally proposed rule sources with
the mining gates (validity, pruning against current rules, shortest-first
minimal-target search, independent confirmation), with an optional per-proposal
target hint verified pairwise when no library-sized target exists ('verified'
vs 'minimal' certificates; hinted targets may have any length shorter than the
source). docs/rules.md explains the channel, how the upcoming asset's packs
were proposed (Claude, grammar-constrained family prompts) with observed yield
and timing expectations, and an end-to-end replication recipe. The documented
example is validated against the dev_7-3 engine.
Co-Authored-By: Claude Fable 5 <noreply@anthropic.com>
Claude-Session: https://claude.ai/code/session_01VKNo5wM1D5Xm8eVTLhrPzf
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.
Updates Creating Rulesets (
docs/rules.md) to explain howfind_rulesactually works — the two mining phases, the certification chain (complete enumeration cross-checked against an exact count, shortest-first minimal targets, constant-fit challenges, the tolerance gate with domain extension, independent confirmation), determinism, and the provenance sidecar — and replaces the minimal example configuration with a complete one (sources to length 7, targets to length 4, the universe policy sampling lengths 6–7).The
find-rulesCLI now forwardssource_sample_per_lengthandcandidate_fold_filterfrom the configuration file, so the documented example is runnable as-is. The documented keys are validated against thefind_rulessignature.🤖 Generated with Claude Code
https://claude.ai/code/session_01VKNo5wM1D5Xm8eVTLhrPzf