Skip to content

Unify the three per-artifact drift gates CiYamlGate RoadmapGate GitignoreGate into ONE universal generated-artifact policy - model the 3 questions generate-commit-drift with commit-policy DERIVED from the gitignore dag knowledge - registry-fold not opt-in - load-bearing gate infra, model-checkpoint- - #5568

Merged
briansrls merged 7 commits into
mainfrom
session/gentle-ibex-384
Jun 23, 2026

Conversation

@briansrls

Copy link
Copy Markdown
Contributor

Auto-opened by session-dashboard for session gentle-ibex-384.
Pushing to session/gentle-ibex-384 advances this PR.

Worker attestation

Before flipping this PR to ready for review, confirm each item:

  • Title describes the change (not the session id or branch).
  • PR body summarises what and why (replace the TODO below).
  • Tests run: name the command (e.g. npm test, cargo test) and the result.
  • If this closes a work item, the body contains a Closes #N directive.
  • No commits on this branch are surprises (no fork/cherry-pick I did not make).
  • No secrets / credentials / large binaries staged.

Summary

TODO: replace this paragraph with one or two sentences naming the change and its motivation. Reviewers read this first.

Test plan

  • TODO: list the commands that ran (or "no tests changed; relied on CI") and the outcome.

Brian Searls and others added 2 commits June 22, 2026 22:46
…uthority + honest completeness roster

Finding 2: move path_is_ignored + pattern_matches into gunbc.gitignore_emit (beside artifact_pattern/
ignore_patterns) so gitignore semantics have ONE reader (DESIGN §3); generated_artifact imports it.
Finding 1: drop the verbatim all_generated_artifact_variants copy that overclaimed independence; the
completeness witness now names each known variant individually (registry membership + cardinality) and
the residue comment honestly states it is a hand-maintained roster, full wall awaits enum-reflection.

Co-Authored-By: Claude Opus 4.8 (1M context) <noreply@anthropic.com>
@gunbai-bot

gunbai-bot Bot commented Jun 22, 2026

Copy link
Copy Markdown
Contributor

Both advisory findings from the claude-opus-4-7 review are addressed in 3fab2c3 (thanks — both were valid):

Finding 2 (second reader of gitignore semantics): moved path_is_ignored + pattern_matches (and the slash/suffix helpers) out of generated_artifact and into gunbc.gitignore_emit, right beside artifact_pattern/ignore_patterns — the producer and the interpreter of gitignore patterns now live in ONE module, so there is a single in-repo reader of those semantics (DESIGN §3). generated_artifact just imports path_is_ignored.

Finding 1 (completeness cross-check overclaims its teeth): dropped the verbatim all_generated_artifact_variants copy that pretended to be an independent enumeration. The completeness witness now names each known variant individually (registry_contains per constructor + cardinality pin), and the residue comment is rewritten to state honestly what it catches: dropping a known variant from the registry trips RED, and a cardinality change forces a conscious roster update — but it is a hand-maintained backstop, NOT a full wall (a variant added to both enum and registry yet not the witness still slips). The exhaustive match arms (path/generate/extra_valid/eq) already force a compile error into this module on a new variant; only the LIST entry is unforced, which is the §5 residue tagged with the enum-reflection dissolution trigger.

Re-validated green by execution after both changes: universal witness, effectful gate, whole-corpus compile-clean, and the 3 artifacts byte-identical (empty diff after main_wet).

— sent from gentle-ibex-384

…'run all CI gates')

The hand-unrolled let g0..g6 chain re-listed the gates by hand and ignored the spec.gates it was
handed — the exact §2/§3 redundancy this PR removes elsewhere. Replace with one short-circuiting fold
(run_gate_list) over the list: run_ci_gates_sequential folds spec.gates, main folds gunbc_ci_gates
(all CI gates = floor + rust). Adding/removing a gate is now a list edit in ci_spec, never an edit here.
Behavior identical (same membership, short-circuit on first failure). Whole-corpus compile-clean green.

Co-Authored-By: Claude Opus 4.8 (1M context) <noreply@anthropic.com>
@briansrls
briansrls merged commit 23260c0 into main Jun 23, 2026
2 checks passed
@briansrls
briansrls deleted the session/gentle-ibex-384 branch June 23, 2026 00:36
briansrls added a commit that referenced this pull request Jun 23, 2026
 merge + §6 kernel-vs-un-migrated dissolve-on wording

- strip_line_comment in both census modules now blanks string-literal interiors
  (so // in URLs and _ =>/braces/| inside string literals are not read as code);
  + 2 discriminating controls (in-string decoy green; real wildcard + decoy red).
- re-derive rosters against main merge ae891fc (#5568 unified the 3 drift gates):
  drop deleted ci_yaml/gitignore/roadmap_gate exit_ok; add generated_artifact.dag
  artifact_eq/artifact_extra_valid + generated_artifact_gate exit_ok; drop RbacPolicy
  (now consumed by extdeps/bmc/access.dag).
- concrete declaring-file homes for AccessPolicy/FilePermissions/GitCliReportedVersion.
- correct dissolve-on wording: §6 named irreducible kernels (eq/lattice/collapse)
  wall permanently; only un-migrated modeling shrinks. per-entry tag deferred to gunbc#5364.

Co-Authored-By: Claude Opus 4.8 <noreply@anthropic.com>
briansrls added a commit that referenced this pull request Jun 23, 2026
…g-lenses crux (#5604)

#5584 landed docs/plans/intent-linearity-design-draft.md with zero inbound
markdown links → it orphans the doc graph and fails doc_graph_has_no_orphan_docs
on MAIN itself (inherited by every open PR's floor). The draft is the candidate
DESIGN.md articulation of self-applying-lenses' own 'fractal intent-linearity'
crux, so self-applying-lenses.md is its natural parent. One topical cross-link
de-orphans it without touching the #5568-gated ROADMAP and without deleting the
draft (it's #5584's operator-review doc, not mine to remove).

Co-authored-by: Claude Opus 4.8 (1M context) <noreply@anthropic.com>
briansrls added a commit that referenced this pull request Jun 23, 2026
…l-closed walls) (#5566)

* WIP: Walls Lane 7 inert-abstraction lens keystone plus non-fold-residue audit

* WIP: Walls Lane 7 inert-abstraction lens keystone plus non-fold-residue audit

* WIP: Walls Lane 7 inert-abstraction lens keystone plus non-fold-residue audit

* WIP: Walls Lane 7 inert-abstraction lens keystone plus non-fold-residue audit

* Lane 7: record inert-carrier + non-fold-residue lens landing in plan docs

Co-Authored-By: Claude Opus 4.8 <noreply@anthropic.com>

* Lane 7: roster gitignore_gate exit_ok residue (post-merge census)

Co-Authored-By: Claude Opus 4.8 <noreply@anthropic.com>

* WIP: Walls Lane 7 inert-abstraction lens keystone plus non-fold-residue audit

* WIP: Walls Lane 7 inert-abstraction lens keystone plus non-fold-residue audit

* WIP: Walls Lane 7 inert-abstraction lens keystone plus non-fold-residue audit

* WIP: Walls Lane 7 inert-abstraction lens keystone plus non-fold-residue audit

* Lane 7 review: string-literal-aware strip + re-derive rosters post-#5568 merge + §6 kernel-vs-un-migrated dissolve-on wording

- strip_line_comment in both census modules now blanks string-literal interiors
  (so // in URLs and _ =>/braces/| inside string literals are not read as code);
  + 2 discriminating controls (in-string decoy green; real wildcard + decoy red).
- re-derive rosters against main merge ae891fc (#5568 unified the 3 drift gates):
  drop deleted ci_yaml/gitignore/roadmap_gate exit_ok; add generated_artifact.dag
  artifact_eq/artifact_extra_valid + generated_artifact_gate exit_ok; drop RbacPolicy
  (now consumed by extdeps/bmc/access.dag).
- concrete declaring-file homes for AccessPolicy/FilePermissions/GitCliReportedVersion.
- correct dissolve-on wording: §6 named irreducible kernels (eq/lattice/collapse)
  wall permanently; only un-migrated modeling shrinks. per-entry tag deferred to gunbc#5364.

Co-Authored-By: Claude Opus 4.8 <noreply@anthropic.com>

* Lane 7 review: fix inert-layer-lens.md roster count drift (9→8, RbacPolicy dissolved)

RbacPolicy dropped off the inert roster when extdeps/bmc/access.dag gained a real
consumer (redfish_rbac_policy) via the main merge — the stale-roster ratchet working
as intended. Plan doc now reflects the 8-carrier roster.

Co-Authored-By: Claude Opus 4.8 <noreply@anthropic.com>

* WIP: Walls Lane 7 inert-abstraction lens keystone plus non-fold-residue audit

* Lane 7 review: memoize census report (OnceLock) + align .dag dissolve_on with §6 kernel wording

- both census modules now route the *_count builtins through a OnceLock-memoized
  build_report(): the four builtins + live-tree tests share ONE dsl/+src/v2 walk per
  process instead of re-walking per call (the thrice-flagged 8x-walk nit). Pure
  compute_report/residue_sites still take &[files] so synthetic RED/GREEN controls
  drive them with in-memory corpora, bypassing the cache.
- non_fold_residue.dag dissolve_on: 'reaches 0' -> the un-migrated subset shrinks to 0
  while named irreducible kernels (eq/lattice/collapse) remain by §6, matching the Rust
  comment (no longer overstated).

Co-Authored-By: Claude Opus 4.8 <noreply@anthropic.com>

* WIP: Walls Lane 7 inert-abstraction lens keystone plus non-fold-residue audit

* WIP: Walls Lane 7 inert-abstraction lens keystone plus non-fold-residue audit

* Merge main: resolve conflicts + adapt Lane 7 to parser-wall comment ban (#5544/#5579) + fix #5584 orphan doc

- parse.rs/helpers.rs: converge on main's dedicated non_ascii_perf.dag fixture (#5579);
  drop my read_v2_file_with_distributed_non_ascii (don't fork the fix).
- emit lists (emit_rust.rs + 05_emit_rust.dag): keep corpus_lex + main's mod additions.
- strip // comments from the 4 Lane 7 lens .dag files (inert_carrier{,_test}, non_fold_residue{,_test})
  — the parser-wall now rejects DAG comments; construction_justification rationale lives in data fields, preserved.
- DESIGN.md: link docs/plans/intent-linearity-design-draft.md (orphaned by #5584, fail-closed orphan-doc gate
  reds every PR merging main) from the open-thread bullet it was authored to serve.

Verified: 4 floor witnesses green via claim_batch; 6 census live gates + orphan-doc gate pass; fmt clean.

Co-Authored-By: Claude Opus 4.8 <noreply@anthropic.com>

---------

Co-authored-by: Brian Searls <briansrls@gunb.ai>
Co-authored-by: Claude Opus 4.8 <noreply@anthropic.com>
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant