fix(lean,#17357): Lean-16d -- deux affirmations fausses (axiomes, exe…

e918625

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)

control-chars-in-cells-guard

eol-blob-guard

fast-lane (ombre): accretion-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-nav-chain-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): readme-ipynb-links-guard

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

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

interval-kind-consistency-guard

twin-parity-guard

pip-leak-guard on: pull_request 1

!pip install HIGH delta guard (#6314)

Bare cross-dir on: pull_request 2

No bare cross-dir #load in changed notebooks

Notebook LaTeX Control Chars on: pull_request 2

latex-control-chars

Pedagogy Density Advisory on: pull_request 2

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

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

Enrich-quality gate on: pull_request 3

No enrich-quality regression in changed notebooks

solution-leak-guard on: pull_request 1

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

PR gate on: pull_request 2

PR gate

Organ-duplication advisory on: pull_request 2

Organ-duplication advisory (non-blocking)

Secret Scan on: pull_request 5

Gitleaks secret scanner

Gitleaks secret scanner (fork)

Gitleaks positive controls (#10143)

Assert secret egress guard (#17276)

readme-ipynb-links-guard on: pull_request 4

Audit README -> .ipynb links

Mermaid Fill Color Advisory on: pull_request 2

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

Notebook Exec Sequence Ratchet on: pull_request 2

Exec-sequence ratchet (base vs PR)

Quarto Pages Deploy on: pull_request 1

Build Quarto site

Validate Quarto build (PR)

Deploy to GitHub Pages

Notebook Math Render on: pull_request 2

math-render

Translation Drift Check on: pull_request 2

Translation drift (read-only)

Markdown table syntax advisory on: pull_request 1

Markdown table syntax advisory (label, non-blocking)

Source-Output Ratchet on: pull_request 2

Source-output ratchet (advisory)

Always-on guards on: pull_request 2

Always-on guards -- 16 organes, 1 checkout

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 Nav-Chain Guard on: pull_request 1

check-nav-chain

Notebook Validation on: pull_request 2

validate-notebooks

Local path waiver guard on: pull_request 2

No local-path waiver bodies

Notebook plan-loss gate on: pull_request 2

No notebook plan loss in changed notebooks

markdown-rendering-guard on: pull_request 1

markdown-rendering guard (main-repo notebooks)

Notebook Kernel Drift Guard on: pull_request 2

Kernel drift guard (base vs PR)

Notebook Cell Source Parses on: pull_request 2

cell-source-parses

MD Hierarchy Drift Advisory on: pull_request 1

scan_md_hierarchy drift (advisory)

Consecutive Code Cells Advisory on: pull_request 2

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

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

Markdown claims anchored to previous output (#11435 advisory)

notebook-interp-positioning-guard on: pull_request 1

check_interp_positioning.py

Validation Matrix on: pull_request 2

validate

Cell-order gate on: pull_request 2

No cell-ordering regression in changed notebooks

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

Detect notebook changes (outputs-required)

Validate 'outputs' key on every code cell

banner-guard on: pull_request 1

probeAddresses banner guard (main-repo notebooks)

Notebook Papermill Ratchet on: pull_request 2

Papermill ratchet (base vs PR)

Twin Parity Check on: pull_request 4

Twin parity audit (#8057)

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

Catalog Drift Check on: pull_request 2

Notebook catalog drift (read-only, advisory)

prose-counts-guard on: pull_request 1

prose-counts

Notebook Navlink Check on: pull_request 1

check-navlinks

Always-on metadata guards on: pull_request 2

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

Consecutive Code Cells Advisory on: pull_request 1

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

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)

Notebook LaTeX Control Chars on: pull_request 1

latex-control-chars

Notebook Math Render on: pull_request 2

math-render

Notebook Papermill Ratchet on: pull_request 1

Papermill ratchet (base vs PR)

Always-on guards on: pull_request 2

Always-on guards -- 16 organes, 1 checkout

Always-on metadata guards on: pull_request 2

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

Notebook Exec Sequence Ratchet on: pull_request 1

Exec-sequence ratchet (base vs PR)

Notebook Cell Source Parses on: pull_request 1

cell-source-parses

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

Detect notebook changes (outputs-required)

Validate 'outputs' key on every code cell

Validation Matrix on: pull_request 1

validate

Organ-duplication advisory on: pull_request 1

Organ-duplication advisory (non-blocking)

Mermaid Fill Color Advisory on: pull_request 1

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

MD Hierarchy Drift Advisory on: pull_request 1

scan_md_hierarchy drift (advisory)

Code scanning results

CodeQL

perimeter-review-guard on: pull_request_review 2

perimeter review guard (#11268)

fix(lean,#17357): Lean-16d -- deux affirmations fausses (axiomes, exe…

Uh oh!

Select a check to view from the sidebar