Skip to content
Merged
Show file tree
Hide file tree
Changes from all commits
Commits
Show all changes
18 commits
Select commit Hold shift + click to select a range
9454cb0
docs(r3): add L7 algebra inhabitant law matrix
briansrls May 2, 2026
679f5f7
Merge remote-tracking branch 'origin/main' into docs/l7-algebra-inhab…
briansrls May 2, 2026
00194b7
Merge remote-tracking branch 'origin/main' into docs/l7-algebra-inhab…
briansrls May 2, 2026
edc3a23
Merge remote-tracking branch 'origin/main' into docs/l7-algebra-inhab…
briansrls May 2, 2026
1affcc6
Merge remote-tracking branch 'origin/main' into docs/l7-algebra-inhab…
briansrls May 2, 2026
02cf21b
Merge remote-tracking branch 'origin/main' into docs/l7-algebra-inhab…
briansrls May 2, 2026
2179d01
Merge remote-tracking branch 'origin/main' into docs/l7-algebra-inhab…
briansrls May 2, 2026
d707c06
Merge remote-tracking branch 'origin/main' into docs/l7-algebra-inhab…
briansrls May 2, 2026
6c71c56
Merge remote-tracking branch 'origin/main' into docs/l7-algebra-inhab…
briansrls May 2, 2026
41a742a
Merge remote-tracking branch 'origin/main' into docs/l7-algebra-inhab…
briansrls May 2, 2026
d84ffbd
Merge remote-tracking branch 'origin/main' into docs/l7-algebra-inhab…
briansrls May 2, 2026
f871588
Merge remote-tracking branch 'origin/main' into docs/l7-algebra-inhab…
briansrls May 2, 2026
4f7d39e
Merge remote-tracking branch 'origin/main' into docs/l7-algebra-inhab…
briansrls May 2, 2026
7a82606
Merge remote-tracking branch 'origin/main' into docs/l7-algebra-inhab…
briansrls May 2, 2026
fa1e56e
Merge remote-tracking branch 'origin/main' into docs/l7-algebra-inhab…
briansrls May 2, 2026
2e542ab
docs(v3): record SG-0 census slice 1 reconciliation
briansrls May 2, 2026
e22baf0
Merge remote-tracking branch 'origin/main' into docs/l7-algebra-inhab…
briansrls May 2, 2026
21592bc
Merge remote-tracking branch 'origin/main' into docs/l7-algebra-inhab…
briansrls May 2, 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
46 changes: 46 additions & 0 deletions docs/briefs/r3-v-tests-as-data-slice1-census-reconciliation.md
Original file line number Diff line number Diff line change
@@ -0,0 +1,46 @@
# R3 T-Tests-As-Data Slice 1 Census Reconciliation

Status: PROPOSAL / audit receipt. This note records the slice-1 SG-0 census
reconciliation against the current tree. No test removals, no test-path
renames, and no `sg0_census_test.rs` edits were required because the census
already matches the tree exactly.

## Authority

- Slice progression: PR #1497 §6, "Inventory + census honesty".
- Closure gate: `every_rust_test_ports_to_dag_or_generated`.
- Census authority: `src/v3/compiler/tests/integration/sg0_census_test.rs`.
- Path-grounding verified at HEAD with `git cat-file -e` for the test tree and
census file.

## Reconciliation Result

Tree walk:

- `src/v3/compiler/tests/**/*.rs` count: 87
- Sorted tree inventory: 87 paths

Census walk:

- `EXPECTED_HAND_AUTHORED_TEST` count: 87
- Sorted census inventory: 87 paths

Diff:

- Tree-only entries: 0
- Census-only entries: 0
- Duplicate census entries: 0

## Findings

1. The current SG-0 census is already honest with respect to the tree.
2. Every hand-authored `*.rs` test file under `src/v3/compiler/tests/`
is already listed in `EXPECTED_HAND_AUTHORED_TEST`.
3. No stale entries were found, so no stale-census cleanup was required.
4. No new hand-authored test files were introduced outside census authority.

## Implication

Slice 1 completes as a no-op reconciliation result. The ratchet remains on the
same 87-path set, and future drift should be handled by updating the census
only when the tree changes.
2 changes: 2 additions & 0 deletions src/v3/compiler/tests/integration/sg0_census_test.rs
Original file line number Diff line number Diff line change
Expand Up @@ -240,6 +240,8 @@ const EXPECTED_HAND_AUTHORED_NON_TEST: &[&str] = &[
// workspace root. T-PB-B owns shrinking this subset toward the
// TESTING.md §"Post-R2 shape" residual. T-PB-A reductions must not
// rely on this list moving.
// Slice 1 census reconciliation (2026-05-02): this list matches the current
// tree exactly; no additions or removals were needed.
const EXPECTED_HAND_AUTHORED_TEST: &[&str] = &[
"src/v3/compiler/tests/boundary/m1_3_emit_go_test.rs",
"src/v3/compiler/tests/boundary/m1_3_emit_rust_test.rs",
Expand Down
Loading