Skip to content
Merged
Show file tree
Hide file tree
Changes from all commits
Commits
Show all changes
25 commits
Select commit Hold shift + click to select a range
343c1ba
Pin openDox-code e3ef506a, the head of openDox-code#59 (T055), for pl…
brettheap Sep 30, 2026
bc03c00
Seal the four gaps in the governed registry and writer before they ar…
brettheap Sep 30, 2026
9bbee75
openXdox contributes its governed generator, registry and source thro…
brettheap Sep 30, 2026
e023183
The seam-assembly file leaves the declared exclusion (plan 034 T059)
brettheap Sep 30, 2026
7dfe70c
Wire the reviewed allow-list's subtraction into the unedited-by-the-a…
brettheap Sep 30, 2026
81a01cd
The overlay test expects the values block's six leaves: batch I's sec…
brettheap Sep 30, 2026
614f79f
Respell the session-source confinement test's reference to the seam T…
brettheap Sep 30, 2026
f0f7f41
Re-pin openDox-code 814516b7, openDox-code#59's head after T054 lande…
brettheap Sep 30, 2026
619684c
Enter T059's two protected edits in the reviewed allow-list (plan 034…
brettheap Sep 30, 2026
6578e47
The arc check takes its lists as values, not paths, and answers Sonar…
brettheap Sep 30, 2026
7815c2d
Hold each half of the arc check's blob and named-test rules by a case…
brettheap Sep 30, 2026
c34c0de
Take Copilot's round-1 findings on #35: one-window registry reads, re…
brettheap Sep 30, 2026
1885aee
Raise the triple's floors to CI's reading, 984 and 980, with the reas…
brettheap Sep 30, 2026
11c02cf
Take Copilot's later findings on #35: an entry admits one landing, ma…
brettheap Sep 30, 2026
092bc8e
Raise the triple's floors to CI's reading again, 989 and 985 (plan 03…
brettheap Sep 30, 2026
62a1b0d
Resolve the source root under resolve_within's guard, and bring the s…
brettheap Sep 30, 2026
e786005
A landing the checkout does not hold is an input refusal, exit 2, not…
brettheap Sep 30, 2026
f22c73b
Raise the triple's floors to CI's reading, 991 and 987 (plan 034 T059)
brettheap Sep 30, 2026
f70ed5d
State write_snapshot's refusal order as the code has it: the renderin…
brettheap Sep 30, 2026
9d31553
An entry's old text must start a line, as it ends one (plan 034 T059)
brettheap Sep 30, 2026
0fdd65c
Raise the triple's floors to CI's reading, 992 and 988 (plan 034 T059)
brettheap Sep 30, 2026
a1b75f3
Read doc_health only for the sentinel an entry with no revision gets …
brettheap Sep 30, 2026
4feb800
Raise the triple's floors to CI's reading, 993 and 989 (plan 034 T059)
brettheap Sep 30, 2026
25414af
Re-pin openDox-code 047bb4fa, the commit T062 pins at the openDox roo…
brettheap Sep 30, 2026
aa0a2c5
Give back a replaced unread default when a registration is refused (p…
brettheap Sep 30, 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
40 changes: 31 additions & 9 deletions .github/workflows/validate.yml
Original file line number Diff line number Diff line change
Expand Up @@ -131,9 +131,10 @@ jobs:
# `tests/integration/`. The chain was off because `tests/conftest.py`
# imported carved session fixtures that reached `ideation_dashboard` and
# `doc_health`, two packages neither leg carries. At the openDox this
# leg now pins (openDox-code `2d116415`, since plan 034 T040), the chain
# loads in a lone checkout, and what still reaches openxFactory is what
# the declaration and `LEFT_OUT` hold. Each of the sixteen files'
# leg pinned from plan 034 T040 (openDox-code `2d116415`), and at the one
# it pins since plan 034 T059 (`047bb4fa`), the chain loads in a lone
# checkout, and what still reaches openxFactory is what the declaration
# and `LEFT_OUT` hold. Each of the sixteen files'
# account of itself (why it joined the list, its counts, its review
# rounds) is in this file's history at `d84b5048`
# (`git show d84b5048:.github/workflows/validate.yml`), and is not
Expand Down Expand Up @@ -261,8 +262,8 @@ jobs:
# gap were the three seam suites' `doc_health` pairs. T044 made each of
# them assert for real and moved the six into
# `tests/test_seam_assembly_beside_gate_and_projection.py`, which the
# declaration lists under `doc_health` (R1Q6 (d)), so SELECTED and
# SKIPPED each lose those six. The declaration's own check gains one
# declaration then listed under `doc_health` (R1Q6 (d); it left in plan
# 034 T059, below), so SELECTED and SKIPPED each lose those six. The declaration's own check gains one
Comment thread
Copilot marked this conversation as resolved.
# case, that file run alone, which passes, so SELECTED and PASSED each
# gain one. SELECTED goes 890 -> 885, PASSED 880 -> 881 and SKIPPED
# 10 -> 4. The 24 seam cases that need neither column stay where they
Expand All @@ -273,6 +274,26 @@ jobs:
# in this pin carries the gap, and none now does: the four skips left
# are named below, and none of them waits for `doc_health`.
#
# RAISED BY plan 034 T059 (openXdox-code#35), the same way: run
# 36740358207 (2026-09-30) measured `a1b75f3a`, the head before this
# change, at openDox-code `814516b7`: selected 993, passed 989, skipped
# 4, failures 0, errors 0. The +108 on both floors has two reasons:
# * +11 is T060's (openXdox-code#34), the `values` probes it added to
# `tests/test_gate_loop_probes.py`. #34 left the floors where they
# were, since the phase-2 draft rule kept it out of this file, and
# named the raise as the next writer's. That is this one.
# * +97 is T059's: it adds three test files, of 43
# (`tests/test_protected_suite_check.py`), 27
# (`tests/test_governed_registry_and_writer.py`) and 22
# (`tests/test_projection_contributions.py`) cases, and
# `tests/test_seam_assembly_beside_gate_and_projection.py` leaves the
# declaration, so its six cases run here now and pass. The
# declaration's own check loses that file's case (-1).
# Nothing that was collected before stopped being collected, no outcome
# changed, and the four skips are the same four (the reading compared
# with `main` `c41063d6` test by test). The floors sit ON the reading,
# as #25 set them and T044 kept them, so the margin is zero again.
#
# THE SKIPS ARE NAMED, which is why the exact pin is safe to take. All
# FOUR are `tests/test_aggregation_register_instance.py`'s, which the
# sixteen-file list never ran: each skips because the "aggregation
Expand All @@ -286,8 +307,9 @@ jobs:
# `tests/test_model_scenario_workbench_seam.py` and
# `tests/test_role_authority_projection_seam.py` into
# `tests/test_seam_assembly_beside_gate_and_projection.py`, which the
# declaration lists under `doc_health`. So none of them is a skip any
# more, and none is in these numbers. None comes from
# declaration listed under `doc_health` until plan 034 T059 took it
# out. So none of them is a skip any more: from T044 to T059 none was
# in these numbers, and since T059 all six are, as passes. None comes from
# `tests/integration/`, where nothing skips (its rule 2). If the count
# moves, move the pin WITH the reason — never relax the comparison.
# SKIPPED is `==` where the other two are `>=` because a file that
Expand All @@ -301,8 +323,8 @@ jobs:
# on a ruling, which lowers them with its reason (above). Set to
# the measured values, which this suite has actually met on CI
# rather than an aspiration.
MIN_SELECTED: "885"
MIN_PASSED: "881"
MIN_SELECTED: "993"
MIN_PASSED: "989"
# EXACT - the load-bearing number.
EXPECT_SKIPPED: "4"
run: |
Expand Down
2 changes: 1 addition & 1 deletion pyproject.toml
Original file line number Diff line number Diff line change
Expand Up @@ -103,7 +103,7 @@ requires-python = ">=3.12"
# PR) — and not an arbitrary choice: `Draft202012Validator`, the name
# `gate_console.py:563` imports, was added in jsonschema 4.18.0.
dependencies = [
"opendox @ git+https://github.com/opensoft/openDox-code@2d116415159b721b55613fe20a159afc46202d1f",
"opendox @ git+https://github.com/opensoft/openDox-code@047bb4fa394f3e1bf42466062a67ef18e99f8d6a",
"PyYAML>=6.0",
"jsonschema>=4.18",
]
Expand Down
Loading
Loading