chore(lean,#16108): refresh verified Lean-33 execution outputs

5c076d6

Select commit

Loading

Failed to load commit list.

Uh oh!

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

CodeQL on: dynamic

Analyze (actions)

Analyze (csharp)

Analyze (javascript-typescript)

Analyze (python)

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)

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

Source-collapse ratchet (base vs PR, advisory)

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): 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

Lean i18n sibling drift on: pull_request 1

i18n sibling drift

Pedagogy Density Advisory on: pull_request 1

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

Pedagogy density baseline orphan guard (#13815)

Notebook Execution Required on: pull_request 3

Detect notebook changes

Golden-set execution (H.7 P3)

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

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

Detect notebook changes (outputs-required)

Validate 'outputs' key on every code cell

solution-leak-guard on: pull_request 1

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

MD Hierarchy Drift Advisory on: pull_request 1

scan_md_hierarchy drift (advisory)

Lean Visibility Advisory on: pull_request 2

Lean visibility drift (advisory label, non-blocking)

Notebook plan-loss gate on: pull_request 2

No notebook plan loss in changed notebooks

prose-counts-guard on: pull_request 1

prose-counts

banner-guard on: pull_request 1

probeAddresses banner guard (main-repo notebooks)

Cell-order gate on: pull_request 2

No cell-ordering regression in changed notebooks

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

Markdown claims anchored to previous output (#11435 advisory)

Always-on metadata guards on: pull_request 2

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

Translation Drift Check on: pull_request 2

Translation drift (read-only)

Bare cross-dir on: pull_request 2

No bare cross-dir #load in changed notebooks

Secret Scan on: pull_request 4

Gitleaks secret scanner

Gitleaks secret scanner (fork)

Gitleaks positive controls (#10143)

Twin Parity Check on: pull_request 4

Twin parity audit (#8057)

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

Consecutive Code Cells Advisory on: pull_request 1

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

Notebook Validation on: pull_request 2

validate-notebooks

PR gate on: pull_request 1

PR gate

Notebook Navlink Check on: pull_request 1

check-navlinks

Notebook Exec Sequence Ratchet on: pull_request 1

Exec-sequence ratchet (base vs PR)

Notebook LaTeX Control Chars on: pull_request 1

latex-control-chars

Source-Output Ratchet on: pull_request 2

Source-output ratchet (advisory)

Notebook Papermill Ratchet on: pull_request 1

Papermill ratchet (base vs PR)

Validation Matrix on: pull_request 1

validate

Enrich-quality gate on: pull_request 2

No enrich-quality regression in changed notebooks

markdown-rendering-guard on: pull_request 1

markdown-rendering guard (main-repo notebooks)

Always-on guards on: pull_request 2

Always-on guards -- 14 organes, 1 checkout

Quarto Pages Deploy on: pull_request 1

Build Quarto site

Validate Quarto build (PR)

Deploy to GitHub Pages

Lean Calibration CI on: pull_request 1

ci / Lean CI (calibration_lean)

notebook-interp-positioning-guard on: pull_request 1

check_interp_positioning.py

Mermaid Fill Color Advisory on: pull_request 1

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

Notebook Cell Source Parses on: pull_request 1

cell-source-parses

pip-leak-guard on: pull_request 1

!pip install HIGH delta guard (#6314)

Catalog Drift Check on: pull_request 2

Notebook catalog drift (read-only)

Code scanning results

CodeQL

perimeter-review-guard on: pull_request_review 1

perimeter review guard (#11268)

Consecutive Code Cells Advisory on: pull_request 1

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

Notebook Exec Sequence Ratchet on: pull_request 1

Exec-sequence ratchet (base vs PR)

Notebook LaTeX Control Chars on: pull_request 1

latex-control-chars

Validation Matrix on: pull_request 1

validate

Lean Visibility Advisory on: pull_request 2

Lean visibility drift (advisory label, non-blocking)

Always-on guards on: pull_request 2

Always-on guards -- 14 organes, 1 checkout

Mermaid Fill Color Advisory on: pull_request 1

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

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

Detect notebook changes (outputs-required)

Validate 'outputs' key on every code cell

MD Hierarchy Drift Advisory on: pull_request 1

scan_md_hierarchy drift (advisory)

Notebook Papermill Ratchet on: pull_request 1

Papermill ratchet (base vs PR)

Notebook Execution Required on: pull_request 8

Detect notebook changes

Golden-set execution (H.7 P3)

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

Always-on metadata guards on: pull_request 1

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

Notebook Cell Source Parses on: pull_request 1

cell-source-parses

Lean Calibration CI on: pull_request 1

ci / Lean CI (calibration_lean)

Always-on guards on: pull_request 1

Always-on guards -- 14 organes, 1 checkout

Lean Visibility Advisory on: pull_request 2

Lean visibility drift (advisory label, non-blocking)

Consecutive Code Cells Advisory on: pull_request 1

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

Notebook Exec Sequence Ratchet on: pull_request 1

Exec-sequence ratchet (base vs PR)

Notebook Papermill Ratchet on: pull_request 1

Papermill ratchet (base vs PR)

Notebook LaTeX Control Chars on: pull_request 1

latex-control-chars

Notebook Cell Source Parses on: pull_request 1

cell-source-parses

Notebook Execution Required on: pull_request 3

Detect notebook changes

Golden-set execution (H.7 P3)

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

MD Hierarchy Drift Advisory on: pull_request 1

scan_md_hierarchy drift (advisory)

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

Detect notebook changes (outputs-required)

Validate 'outputs' key on every code cell

Mermaid Fill Color Advisory on: pull_request 1

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

Always-on metadata guards on: pull_request 1

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

Validation Matrix on: pull_request 1

validate

Lean Calibration CI on: pull_request 1

ci / Lean CI (calibration_lean)

chore(lean,#16108): refresh verified Lean-33 execution outputs

Uh oh!

Select a check to view from the sidebar