Skip to content

batch(stop-the-line): #5527 ont4/ont4b/ont5 + pv-sat gate tests lint a fixture (Refs #5446) - #5893

Closed
noahgift wants to merge 6 commits into
mainfrom
batch/stl-5
Closed

noahgift wants to merge 6 commits into
mainfrom
batch/stl-5

Conversation

@noahgift

Copy link
Copy Markdown
Member

Operator 20:0xZ via aprender-57: "do it now, batch 5 in one run". Only ONE of the 21 stop-the-line PRs (triage-draft-sweep-1021) qualifies: gate-free (amendment 3). Batch size = 1.

Carries #5527's crate changes (4 files, net diff vs its merge-base, applies clean on main fdd32e2): ont4/ont4b/ont5 gate tests + pv-sat corpus() lint a fixture / copy files only. The witness json + shapes.ttl regeneration are not carried (generated; main's pins stay).

Local gate: cargo test -p aprender-contracts-cli --test ont4_relations_gate --test ont4b_shapes_gate --test ont5_consistency_gate 11/11, 11/11, 5/5 ok; --bin pv-sat 6/6 ok; fmt + pre-commit ok.

Left out (all drafts; gate paths touched, per gate_paths): #5440 (4), #5514 (ci/sections.yml), #5533 (scripts/ci_queue_steward.sh), #5738 (4), #5744 (3), #5754 (4), #5756 (4), #5757 (.github/workflows/ci.yml), #5758 (6), #5760 (6), #5793 (14), #5798 (9), #5801 (2), #5804 (8), #5815 (5), #5826 (6), #5835 (2), #5845 (5), #5853 (2); #5802 not counted in the open list.

🤖 Generated with Claude Code

…t a fixture and copy files only (Refs #5446)

Batch of the one stop-the-line, gate-free READY branch (#5527, rebased onto main; the
witness json and shapes.ttl regeneration are not carried: main's own pins stay).

Co-Authored-By: Claude Sonnet 5.5 <noreply@anthropic.com>
@github-actions

github-actions Bot commented Oct 21, 2026 •

Copy link
Copy Markdown

§13.11 rung 1 — quorum shadow verdict

S13-SHADOW pr=5893 head=4cadd798719c24e179145c6e36ee4419d792b11a verdict=REFUSE class=Q1 arm_rc=1

Shadow mode: this records a verdict and merges nothing. A refusal
to arm is not a block (§13 adds zero rows to §7) — the pull request is
exactly as green as it was.

@noahgift
noahgift marked this pull request as draft October 22, 2026 05:14
t and others added 2 commits October 22, 2026 07:15
…y, skipping pv's .pv/ dir (Refs #5446)

The ont4/ont4b/ont5 gate tests lint tests/fixtures/ont/relations-ok in place and pv leaves .pv/cache there; the lib test read_to_string'd every entry and hit IsADirectory (shard 2/12). Verified: all 2363 aprender-contracts lib tests pass with a planted .pv dir.

Co-Authored-By: Claude Sonnet 5.5 <noreply@anthropic.com>
t and others added 2 commits October 24, 2026 23:27
…est kills the guard (Refs #5446)

Merge main; ont4/ont4b hunks dropped (moved to repo_tree_pv.rs). The skip guard is
narrowed from 'not a file' to the .pv directory, and a planted-.pv test fails
without it (mutant run: guard removed -> test panics).

PMAT-Ticket: PMAT-5446
Co-Authored-By: Claude Sonnet 5.5 <noreply@anthropic.com>
…d ont5 corpus copies (Refs #5446)

Both corpus() helpers now delegate to corpus_from(src); each gets a test that plants
a .pv/ dir and requires it skipped and every file kept. Mutant (guard off) panics
in both.

PMAT-Ticket: PMAT-5446
Co-Authored-By: Claude Sonnet 5.5 <noreply@anthropic.com>
@noahgift

Copy link
Copy Markdown
Member Author

quorum-review (AD-04): three PASS — agreed (auto_merge: checked=true was_armed=false disarmed=false)

{
 "ticket": "PMAT-5446",
 "head": "227ae3a58406aca58292cbeb330e16fd77832c6d",
 "width": 3,
 "executor": "agy",
 "agreed": true,
 "auto_merge": {
  "checked": true,
  "was_armed": false,
  "disarmed": false,
  "note": "auto-merge not armed"
 },
 "lanes": [
  {
   "lane": 1,
   "verdict": "PASS",
   "findings": 4
  },
  {
   "lane": 2,
   "verdict": "PASS",
   "findings": 3
  },
  {
   "lane": 3,
   "verdict": "PASS",
   "findings": 0
  }
 ]
}

@noahgift

Copy link
Copy Markdown
Member Author

quorum-review (AD-04): three PASS — agreed (auto_merge: checked=true was_armed=false disarmed=false)

{
 "ticket": "PMAT-1955",
 "head": "227ae3a58406aca58292cbeb330e16fd77832c6d",
 "width": 3,
 "executor": "agy",
 "agreed": true,
 "auto_merge": {
  "checked": true,
  "was_armed": false,
  "disarmed": false,
  "note": "auto-merge not armed"
 },
 "lanes": [
  {
   "lane": 1,
   "verdict": "PASS",
   "findings": 0
  },
  {
   "lane": 2,
   "verdict": "PASS",
   "findings": 3
  },
  {
   "lane": 3,
   "verdict": "PASS",
   "findings": 0
  }
 ]
}

@noahgift

Copy link
Copy Markdown
Member Author

Closed per operator ruling NOAH-0718Z R2 (aprender open PRs <=10): draft with no push for over 24h, over the cap. Branch kept; reopen when its ticket resumes. Survivors: #6223, #6341, #5793 and the ready PRs.

@noahgift noahgift closed this Oct 26, 2026
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