Repository navigation
Invert .gitignore into a modeled-and-emitted file - third emit-plus-drift-gate inversion after ci.yml and ROADMAP - IgnoreRule pattern producer rationale authority plus a PURE hermetic GitignoreGate cloning CiYamlGate - two-tier derivable-vs-cited-external boundary - model-checkpoint-gated to warm-l - #5549
Merged
Merged
Conversation
added 6 commits
June 22, 2026 18:53
# Conflicts: # dsl/config/gitignore.dag # dsl/extdeps/git/gitignore.dag
IgnoreRationale was populated on all 18 authority rows but never read by gitignore_emit.dag (producer_rationale_line matched on Producer). IgnoreRule was declared but had zero constructors and zero consumers. Co-Authored-By: Claude Sonnet 4.6 <noreply@anthropic.com>
upstream was stored in authority but matched as _ in producer_display, leaving it consumed by nothing. Now renders as [cited: <upstream>] in each Cited group's header line. Co-Authored-By: Claude Sonnet 4.6 <noreply@anthropic.com>
…d, not hand-typed IgnoreArtifact closed sum (48 arms): each variant names the specific tool/spec that defines the pattern string. artifact_pattern() derives the gitignore pattern from the type, replacing List<String> in IgnoreGroup. CitedProducerKind split into single-authority variants: EditorIDE → JetBrainsIDE + VSCodeIDE + VimEditor + EmacsEditor + GenericEditorBackup; OperatingSystem → MacOSFinder + WindowsExplorer + Tmux; PythonLang → PythonLocalDevScript (project policy, Derivable) + CPythonInterpreter (Cited, PEP 3147). upstream strings now cite real authorities: python.org/peps/pep-3147, jetbrains.com/idea, code.visualstudio.com, gnu.org/software/emacs, github.com/motdotla/dotenv, etc. Also resolves merge conflict: RoadmapGate + GitignoreGate both wired into the gate chain (ci_spec.dag, ci_gates.dag, floor_effect_gate_witness.dag, ci_floor_plan.dag). Co-Authored-By: Claude Sonnet 4.6 <noreply@anthropic.com>
This was referenced Jun 22, 2026
Merged
briansrls
added a commit
that referenced
this pull request
Jun 22, 2026
…ts, gate-unification (#5573) ci.yml/ROADMAP.md(#5535)/.gitignore(#5549) all inverted. Fold the 'look around for what else to invert' survey into the §4 census: pre-push hook = next candidate (forked gate-logic), Cargo.toml partial, and rust-toolchain/clippy/.gitattributes = do-NOT-invert purity-traps (sole in-repo authority, no upstream .dag to derive from). New §4.1 records the gate-unification arc (3 drift gates -> one universal generated-artifact policy; commit derived from gitignore authority). Co-authored-by: Brian Searls <briansrls@gunb.ai> Co-authored-by: Claude Opus 4.8 (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.
Auto-opened by session-dashboard for session
witty-eagle-750.Pushing to
session/witty-eagle-750advances this PR.Worker attestation
Before flipping this PR to ready for review, confirm each item:
npm test,cargo test) and the result.Closes #Ndirective.Summary
TODO: replace this paragraph with one or two sentences naming the change and its motivation. Reviewers read this first.
Test plan