Merge branch 'main' into feature/17888-surviving-proofs-lean6

63b4d2c

Select commit

Loading

Failed to load commit list.

Uh oh!

There was an error while loading. Please reload this page.

CodeQL on: dynamic 4

Analyze (actions)

Analyze (csharp)

Analyze (javascript-typescript)

Analyze (python)

Link-label agreement (per-notebook, advisory)

Exercice-solution HIGH delta guard (#8053)

Markdown deaccent advisory (per-notebook, label, non-blocking)

No SVG broken-geometry (negative-dim) defect in changed notebooks

No SVG decimal-comma defect in changed notebooks

No SVG empty-display defect in changed notebooks

No degenerate figure in changed notebooks

No fabricated text output in changed notebooks

No markdown content loss in changed notebooks

No notebook health regression

No offscreen-flat SVG in changed notebooks

Notebook outputs required (H.4 schema)

Output-collapse ratchet (base vs PR, advisory)

Output-failure ratchet (base vs PR)

Output-flood ratchet (base vs PR)

Reading-anchor advisory (lecture sans output, #16695)

Repeated-prose advisory (per-notebook, non-blocking)

Source-collapse ratchet (base vs PR, advisory)

Split-reading ratchet (base vs PR)

Translation hot-drift (base vs PR, advisory)

fast-lane (ombre): banner-guard

fast-lane (ombre): bare-cross-dir-load-gate

fast-lane (ombre): duplicate-notebook-index-guard

fast-lane (ombre): hr-substitution-guard

fast-lane (ombre): kernel-suffix-canon-guard

fast-lane (ombre): markdown-rendering-guard

fast-lane (ombre): notebook-interp-positioning-guard

fast-lane (ombre): notebook-navlink-check

fast-lane (ombre): perimeter-review-guard

fast-lane (ombre): pip-leak-guard

fast-lane (ombre): prose-counts-guard

fast-lane (ombre): slot-reservation-guard

fast-lane (ombre): solution-leak-guard

interval-kind-consistency-guard

Notebook Exec Sequence Ratchet on: pull_request 11

Exec-sequence ratchet (base vs PR)

Source-Output Ratchet on: pull_request 2

Source-output ratchet (advisory)

Notebook Cell Source Parses on: pull_request 1

cell-source-parses

Consecutive Code Cells Advisory on: pull_request 1

Consecutive code cells >= 2 advisory (label, non-blocking)

markdown-rendering-guard on: pull_request 1

markdown-rendering guard (main-repo notebooks)

Translation Drift Check on: pull_request 2

Translation drift (read-only)

Secret Scan on: pull_request 5

Gitleaks secret scanner

Gitleaks secret scanner (fork)

Gitleaks positive controls (#10143)

Assert secret egress guard (#17276)

Cell-order gate on: pull_request 2

No cell-ordering regression in changed notebooks

Bare cross-dir on: pull_request 2

No bare cross-dir #load in changed notebooks

pip-leak-guard on: pull_request 1

!pip install HIGH delta guard (#6314)

Pedagogy Density Advisory on: pull_request 2

Pedagogy density >= 1200 c/cell advisory (label, non-blocking)

Pedagogy density baseline orphan guard (#13815, #16122)

MD Hierarchy Drift Advisory on: pull_request 1

scan_md_hierarchy drift (advisory)

Twin Parity Check on: pull_request 4

Twin parity audit (#8057)

Twin parity SHA mismatch (#9399 volet b, advisory)

Mermaid Fill Color Advisory on: pull_request 1

Mermaid fill-without-color advisory (label, non-blocking)

notebook-interp-positioning-guard on: pull_request 1

check_interp_positioning.py

Local path waiver guard on: pull_request 2

No local-path waiver bodies

Notebook Papermill Ratchet on: pull_request 1

Papermill ratchet (base vs PR)

Notebook plan-loss gate on: pull_request 2

No notebook plan loss in changed notebooks

Markdown table syntax advisory on: pull_request 1

Markdown table syntax advisory (label, non-blocking)

Notebook Navlink Check on: pull_request 1

check-navlinks

Notebook Validation on: pull_request 2

validate-notebooks

Notebook LaTeX Control Chars on: pull_request 1

latex-control-chars

Always-on guards on: pull_request 2

Always-on guards -- 16 organes, 1 checkout

Notebook Kernel Drift Guard on: pull_request 1

Kernel drift guard (base vs PR)

Notebook Execution Required on: pull_request 3

Detect notebook changes

Golden-set execution (H.7 P3)

Static validation (H.1/H.3/C.1)

banner-guard on: pull_request 2

probeAddresses banner guard (main-repo notebooks)

solution-leak-guard on: pull_request 1

Solution-leak HIGH delta (advisory, WARN phase, #8053)

Notebook Math Render on: pull_request 2

math-render

Always-on metadata guards on: pull_request 1

Always-on metadata guards -- 3 organes, 1 checkout

Organ-duplication advisory on: pull_request 1

Organ-duplication advisory (non-blocking)

Enrich-quality gate on: pull_request 3

No enrich-quality regression in changed notebooks

PR gate on: pull_request 2

PR gate

Validation Matrix on: pull_request 1

validate

Notebook outputs required (H.4 schema) on: pull_request 4

Detect notebook changes (outputs-required)

Validate 'outputs' key on every code cell

Markdown claims anchored to previous output (advisory) on: pull_request 1

Markdown claims anchored to previous output (#11435 advisory)

Quarto Pages Deploy on: pull_request 1

Build Quarto site

Validate Quarto build (PR)

Deploy to GitHub Pages

Catalog Drift Check on: pull_request 2

Notebook catalog drift (read-only, advisory)

prose-counts-guard on: pull_request 1

prose-counts

perimeter-review-guard on: pull_request_review 2

perimeter review guard (#11268)

Code scanning results

CodeQL

Merge branch 'main' into feature/17888-surviving-proofs-lean6

Uh oh!

Select a check to view from the sidebar