-
Notifications
You must be signed in to change notification settings - Fork 1
chore(b-0058): decompose retractibility gate #3193
New issue
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
Merged
Merged
Changes from all commits
Commits
Show all changes
3 commits
Select commit
Hold shift + click to select a range
File filter
Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
There are no files selected for viewing
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
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
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
| Original file line number | Diff line number | Diff line change |
|---|---|---|
| @@ -0,0 +1,33 @@ | ||
| --- | ||
| id: B-0058.1 | ||
| parent: B-0058 | ||
| priority: P1 | ||
| status: open | ||
| title: AI ethics + safety research track — retractibility-and-log check | ||
| tier: substrate-foundational-discipline | ||
| effort: S | ||
| created: 2026-05-14 | ||
| last_updated: 2026-05-14 | ||
| depends_on: [] | ||
| tags: [ai-ethics, safety, retractibility, alignment] | ||
| type: friction-reducer | ||
|
AceHack marked this conversation as resolved.
|
||
| --- | ||
|
|
||
| # B-0058.1 — Retractibility-and-log check | ||
|
|
||
| ## The Drift | ||
|
|
||
| Extracted from B-0058 umbrella. This implements the first check: verifying that any candidate adoption preserves retractibility. | ||
|
|
||
| ## Core Mandate | ||
|
|
||
| Per math-safety memory, the gate's job is to verify that any candidate adoption preserves retractibility (additive rewrite, git-tracked, one-commit removable) and lands in the log. | ||
|
|
||
| The three-filter discipline (F1/F2/F3) tests structural match; this check ensures the adoption operation itself is retractible and audit-visible. | ||
|
|
||
| No candidate is blocked merely for being edgy — blocking would itself be a prose-safety-hedge that hurts crystallization without adding retractibility information. Blocking is reserved for operations that break retractibility (e.g., force-publication to a distribution channel we cannot rescind). | ||
|
|
||
| ## Implementation | ||
|
|
||
| - Document the retractibility gate verification criteria. | ||
| - Integrate into the `alignment-auditor` skill checks. | ||
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
| Original file line number | Diff line number | Diff line change |
|---|---|---|
| @@ -0,0 +1,60 @@ | ||
| # Tick 2026-05-14T19:05Z — razor-cadence batch 7 (4 more rules, 14/14 LIVE) | ||
|
|
||
| ## Refresh (step 1) | ||
|
|
||
| - Rate limit: 4911/5000 remaining (healthy). | ||
| - 9 open PRs. Mine: only #3189 (1903Z batch 6 shard) wait-ci autoMerge armed. Prior #3187 merged into main at `6756514`. | ||
|
|
||
| ## Holding discipline (step 2) | ||
|
|
||
| Named: #3189 wait-ci. Parallel work = razor-cadence batch 7. | ||
|
|
||
| ## Speculative work (step 3) — batch 7 | ||
|
|
||
| Four more rules from the unaudited cluster: | ||
|
|
||
| | Rule | Cross-refs | | ||
| |------|------------| | ||
| | `never-be-idle.md` | 3 memory | | ||
| | `razor-discipline.md` | 2 research + 2 memory | | ||
| | `mechanical-authorization-check.md` | 1 backlog-row file + 1 research + 1 memory + 1 backlog ID (B-0160, same file as row-file ref) | | ||
| | `wake-time-substrate.md` | 0 concrete file refs — references 4 `.claude/<surface>/` directory paths as discoverable surfaces | | ||
|
|
||
| ### Audit findings | ||
|
|
||
| | Category | Count | Status | | ||
| |----------|-------|--------| | ||
| | Concrete file refs (deduplicated, B-0160 row counted once) | 10 | 10/10 LIVE | | ||
| | Surface directory paths (`.claude/skills/`, `.claude/agents/`, `.claude/commands/`, `.claude/rules/`) | 4 | 4/4 LIVE | | ||
| | Backlog ID (B-0160) — already counted as file path | 0 net | n/a | | ||
|
|
||
| **14/14 testable refs LIVE.** | ||
|
|
||
| Dedup discipline (per Codex catch on PR #3179): B-0160 appears as both a `docs/backlog/P0/B-0160-...md` file path AND as a `B-0160` ID ref; count once. | ||
|
|
||
| ## Verify (step 4) | ||
|
|
||
| `test -e <path>` for files; `test -d <path>` for surface dirs; cross-checked the B-0160 deduplication. | ||
|
|
||
| ## Shard (step 5) | ||
|
|
||
| This file. | ||
|
|
||
| ## CronList (step 6) | ||
|
|
||
| Sentinel `f970cb2d` armed. | ||
|
|
||
| ## Visibility (step 7) | ||
|
|
||
| - **Cumulative razor-cadence item 4**: 28/50 rules audited (56%); **168/169 testable LIVE (99.4%)** — sole MISS remains B-0514's missing wwjd-grey-honest file | ||
| - **Batches summary**: B1 30/30 ✓ | B2 37/37 ✓ | B3 17/18 (1 captured by B-0514) | B4 28/28 ✓ | B5 22/22 ✓ + 3 cleared | B6 20/20 ✓ | B7 14/14 ✓ | ||
|
|
||
| ## Notes for future-Otto | ||
|
|
||
| **`wake-time-substrate.md` is a meta-rule** with no concrete file references — it describes the discipline of landing learnings on discoverable surfaces (`.claude/skills/`, etc.) but doesn't reference specific instances. That's correct shape for a meta-rule; the audit treats it as "all discoverable surfaces exist" → LIVE. | ||
|
|
||
| **Dedup discipline confirmed**: B-0160 was referenced twice (file path + ID); count once. The Codex catch on PR #3179 was instructive — apply it forward consistently. | ||
|
|
||
| **Parallel-Otto branch-state contamination, again**: this tick's initial `git checkout origin/main` was blocked because the working tree was on yet another parallel-Otto local branch (`chore/b-0515-architecture-as-externalization-target-shift-2026-05-14`). Resolved via `git checkout -f origin/main` then fresh shard branch. The pattern keeps recurring — the maintainer's single worktree is a multi-Otto coordination point, and branch-state drifts under contention. Mechanization candidate (composes with B-0506): a per-tick "start with a clean origin/main checkout" wrapper. | ||
|
|
||
| **Halfway-plus**: 28/50 (56%) means ~6 more 4-rule batches would complete item 4 coverage. At the current cadence (1 batch per tick), that's another hour of audit work. |
Oops, something went wrong.
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.
Uh oh!
There was an error while loading. Please reload this page.