Skip to content
Merged
Show file tree
Hide file tree
Changes from all commits
Commits
Show all changes
41 commits
Select commit Hold shift + click to select a range
0c9a3dd
docs(target-arch): resolve the await-edge design question by measurem…
BenKurrek Aug 5, 2026
8b56e2d
docs(ws12): rows 1-2 — package-set tick (64==64/1/0, gate+selftest+in…
BenKurrek Aug 5, 2026
b77fc07
fold: await-edge ruling (D-S) — store measured as journal projection,…
BenKurrek Aug 5, 2026
4c4f4e9
fold: WS12 rows 1-2 — package-set tick (64/64/1/0) + the 74-row §9 ma…
BenKurrek Aug 5, 2026
783b575
fold(7154): squash-port fix/red-main-7119 onto family-world main — de…
BenKurrek Aug 5, 2026
4aa656c
test(extractors): issue-number + assertion-rationale doc refinement (…
BenKurrek Aug 5, 2026
533d095
docs(target-arch): record D-R — the loopback credential-guard ruling,…
BenKurrek Aug 5, 2026
993ec64
review(7154): CodeRabbit round-1 triage — fail-closed tracing-target …
BenKurrek Aug 5, 2026
297d4f9
fix(assistant): re-point the one field-form tracing target the #7146 …
BenKurrek Aug 5, 2026
d5797ed
fold: the #7154 defect train through the rename+family map — loopback…
BenKurrek Aug 5, 2026
0c6c0cf
closure fixups: execute the mapping-audit findings — prompt_envelope …
BenKurrek Aug 5, 2026
9e68ba3
merge origin/main (#6831 standardized messaging framework) into the c…
BenKurrek Aug 5, 2026
b2ced45
docs(ws12): second-reviewer security spot-audit + extension-journey r…
BenKurrek Aug 6, 2026
ddc5dd2
fold: WS12 rows 5-6 — extension journeys + §12.1 second-reviewer secu…
BenKurrek Aug 6, 2026
bb06522
ratchet(closure): lock the budget gate at the program's end state
BenKurrek Aug 6, 2026
245bae3
docs(ws12): gauntlet report — row 3 ticked (full gauntlet green, 0 RE…
BenKurrek Aug 6, 2026
4a65201
fold: WS12 rows 3-4 verification — full gauntlet green (0 REAL), pari…
BenKurrek Aug 6, 2026
864d93e
fix(tests): per-test isolated Postgres databases for the two WS12 par…
BenKurrek Aug 6, 2026
05668c9
docs(reborn): record §12.13 D-T (parity-suite isolation ruling) and c…
BenKurrek Aug 6, 2026
5db1a3f
docs(target-arch): three measured corrections surfaced by the guidanc…
BenKurrek Aug 6, 2026
5e95f76
docs(target-arch): repair the corrupted kernel bullet and correct two…
BenKurrek Aug 6, 2026
0d3d751
test(arch): govern the ProtocolAuthEvidence test seam — WS12 audit F1
BenKurrek Aug 6, 2026
c449a68
test(integration): join the gsuite credential-injection journey — WS1…
BenKurrek Aug 6, 2026
3ac3bfe
docs(target-arch): correct five measured dependency claims in familie…
BenKurrek Aug 6, 2026
71cf60c
fold: security follow-ups — pin the test-seam mint constructors (F1) …
BenKurrek Aug 6, 2026
0ea85ec
docs(target-arch): record the closed scan evasions (F4) and the secre…
BenKurrek Aug 6, 2026
e76b70c
docs(target-arch): correct the app-family layer, config's consumer se…
BenKurrek Aug 6, 2026
5184b68
docs(ws12): tick row 7 — the fresh-agent placement probe passed on th…
BenKurrek Aug 6, 2026
a288613
docs(target-arch): the product→loop_host recount was wrong on the day…
BenKurrek Aug 6, 2026
c7229fe
review(7263): CodeRabbit round-1 triage — 4 code fixes (2 sabotage-pr…
BenKurrek Aug 6, 2026
6c3831d
review(7263): CodeRabbit round-2 — rejection-body read keeps its caus…
BenKurrek Aug 6, 2026
ae3492a
review(7263): CodeRabbit round-3 — shared Postgres test provisioner (…
BenKurrek Aug 6, 2026
485a207
docs: move the guidance convention into this PR so its citations resolve
BenKurrek Aug 6, 2026
778955d
fix(ci): give the hoisted postgres provisioner its safety rationales
BenKurrek Aug 6, 2026
e0957f1
merge origin/main into the closure batch
BenKurrek Aug 6, 2026
b851e1b
Merge remote-tracking branch 'origin/main' into program-closure
BenKurrek Aug 6, 2026
14554a7
Merge remote-tracking branch 'origin/main' into program-closure
BenKurrek Aug 6, 2026
d2b589c
Merge remote-tracking branch 'origin/main' into program-closure
BenKurrek Aug 6, 2026
935cbc3
Merge remote-tracking branch 'origin/main' into program-closure
BenKurrek Aug 6, 2026
8ce6fbe
Merge remote-tracking branch 'origin/main' into program-closure
BenKurrek Aug 6, 2026
29d2934
Merge remote-tracking branch 'origin/main' into program-closure
BenKurrek Aug 6, 2026
File filter

Filter by extension

Filter by extension


Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
26 changes: 25 additions & 1 deletion .github/workflows/code_style.yml
Original file line number Diff line number Diff line change
Expand Up @@ -78,7 +78,7 @@ jobs:
echo "has_clippy=false" >> "$GITHUB_OUTPUT"
fi

if printf '%s\n' "$CHANGED_FILES" | grep -Eq '^(crates/|tests/|migrations/|Cargo\.toml$|Cargo\.lock$|Dockerfile|\.gitignore$|scripts/ci/|\.githooks/|scripts/check_no_panics\.py$|scripts/no_panics_reborn_baseline\.txt$|\.github/scripts/(pr-labeler|test-pr-labeler)\.sh$|\.github/workflows/(code_style|main-ci-slack-alerts)\.yml$)'; then
if printf '%s\n' "$CHANGED_FILES" | grep -Eq '^(crates/|tests/|migrations/|Cargo\.toml$|Cargo\.lock$|Dockerfile|\.gitignore$|scripts/ci/|\.githooks/|docker/reborn/entrypoint\.sh$|scripts/reborn_webui_v2_live_qa/|scripts/live-canary/|\.github/workflows/(live-canary|reborn-e2e)\.yml$|scripts/check_no_panics\.py$|scripts/no_panics_reborn_baseline\.txt$|\.github/scripts/(pr-labeler|test-pr-labeler)\.sh$|\.github/workflows/(code_style|main-ci-slack-alerts)\.yml$)'; then
echo "has_code=true" >> "$GITHUB_OUTPUT"
else
echo "has_code=false" >> "$GITHUB_OUTPUT"
Expand Down Expand Up @@ -166,6 +166,12 @@ jobs:
python3 scripts/ci/test_ws12_workflow_contracts.py
python3 scripts/ci/test-check-target-tree.py
scripts/ci/test-hermetic-test-process.sh
scripts/ci/test-reborn-docker-entrypoint.sh
# #7144: this 204-test module had never been run by any lane, so five
# of its assertions had silently drifted out of sync with the code they
# gate — including the live-canary shard roster, which pinned a
# `reborn-e2e.yml` string that no longer existed.
python3 -m unittest scripts.reborn_webui_v2_live_qa.test_run_live_qa
bash .github/scripts/test-pr-labeler.sh
- name: Self-test panic checker
if: github.event_name != 'push'
Expand Down Expand Up @@ -359,6 +365,24 @@ jobs:
- name: Check all-target lints
if: github.event_name != 'pull_request'
run: cargo clippy --all --tests --examples ${{ matrix.flags }} -- -D warnings
# #7119. The PR lane above lints only the *changed* packages, so a crate
# that is merely a dependency of that set compiles with whatever features
# the set happens to enable. `--lib --bins` builds no dev-dependencies, and
# in this workspace `test-support` is turned on exclusively through
# dev-dependency edges — so it is OFF here and ON in every `--tests` lane.
# Code behind `cfg(any(test, feature = "test-support"))` then vanishes and
# a `use` that only it names becomes an unused import, which no
# whole-workspace lane could see: `--all --tests` builds the dev-deps that
# unify the feature back on. This step is that missing shape, workspace-
# wide, so the failure lands at merge time instead of waiting for the one
# PR whose diff happens to produce the tripping package set.
#
# Deliberately the `default` flavor: `--all-features` re-enables
# `test-support` on every selected package and masks the exact class this
# step exists to catch.
- name: Check production-target lints (workspace, no dev-dependency features)
if: github.event_name != 'pull_request' && matrix.name == 'default'
run: cargo clippy --all --lib --bins -- -D warnings

clippy-windows:
name: Clippy Windows (${{ matrix.name }})
Expand Down
3 changes: 3 additions & 0 deletions Cargo.lock

Some generated files are not rendered by default. Learn more about how customized files appear on GitHub.

5 changes: 5 additions & 0 deletions crates/app/ironclaw_architecture_tests/Cargo.toml
Original file line number Diff line number Diff line change
Expand Up @@ -18,3 +18,8 @@ ironclaw_host_api = { path = "../../contracts/ironclaw_host_api" }
proc-macro2 = { version = "1", features = ["span-locations"] }
syn = { version = "3", features = ["full"] }
toml = "1.1"
# Dev-only: the #7146 tracing-target gate emits both macro forms through a
# capturing subscriber, so the language fact it enforces is measured rather than
# asserted in a comment.
tracing = "0.1"
tracing-subscriber = "0.3"
Original file line number Diff line number Diff line change
Expand Up @@ -115,7 +115,10 @@ const WS0_COMPOSITION_SHARE_BP: usize = 658;
/// force.
/// ✎ Union re-measure 2026-08-05 (tail batch): 40_405 + 1 — a WS8 consumer
/// repoint added one line in composition; recorded at the measured figure.
const COMPOSITION_ABSOLUTE_SRC_LOC: usize = 40_419;
/// ✎ Re-equalized 2026-08-05 (program closure): + 4 from #6831's standardized
/// messaging framework, which landed through the queue's tolerance window;
/// recorded at the measured figure with `[gate].loc_ceiling`/`loc_observed`.
const COMPOSITION_ABSOLUTE_SRC_LOC: usize = 40_423;

/// Composition dispatch, from the same `--print` run: "composition dispatch:
/// 827 Arc<dyn> (governed prod, excl slack/extension_host)".
Expand Down
Loading
Loading