Merge remote-tracking branch 'origin/main' into fix/16231-tweety-suff…

cb37dc4

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)

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

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)

Split-reading ratchet (base vs PR)

Translation hot-drift (base vs PR, advisory)

check-links

control-chars-in-cells-guard

docs-index-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

lake-direct-invocation-guard

twin-parity-guard

zero-pad guard (series declarees)

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

Detect notebook changes (outputs-required)

Validate 'outputs' key on every code cell

Notebook Validation on: pull_request 2

validate-notebooks

Source-Output Ratchet on: pull_request 2

Source-output ratchet (advisory)

readme-ipynb-links-guard on: pull_request 4

Audit README -> .ipynb links

solution-leak-guard on: pull_request 1

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

Markdown table syntax advisory on: pull_request 12

Markdown table syntax advisory (label, non-blocking)

Notebook Papermill Ratchet on: pull_request 1

Papermill ratchet (base vs PR)

Bare cross-dir on: pull_request 2

No bare cross-dir #load in changed notebooks

Slides Composition PR Relay on: pull_request 2

Slides composition PR relay (#14226, non-blocking)

dotnet-ArgumentAnalysis on: pull_request 3

ArgumentAnalysis dotnet (ubuntu-latest, floors 12/23/19)

ArgumentAnalysis dotnet (windows-latest, floors 12/23/19)

Notebook Nav-Chain Guard on: pull_request 1

check-nav-chain

Organ-duplication advisory on: pull_request 1

Organ-duplication advisory (non-blocking)

Scripts & Notebook-Tools Tests on: pull_request 3

Scripts Tests (CPU)

ADK runtime contracts (18)

Translation Guard on: pull_request 3

No hand-edited translation files on feature branch

Pedagogy Density Advisory on: pull_request 2

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

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

Notebook plan-loss gate on: pull_request 2

No notebook plan loss in changed notebooks

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

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)

banner-guard on: pull_request 1

probeAddresses banner guard (main-repo notebooks)

markdown-rendering-guard on: pull_request 1

markdown-rendering guard (main-repo notebooks)

Notebook Kernel Drift Guard on: pull_request 1

Kernel drift guard (base vs PR)

Twin attestation name guard on: pull_request 3

No twin_pairs.d component >150 chars (#15112)

Notebook Navlink Check on: pull_request 1

check-navlinks

Enrich-quality gate on: pull_request 3

No enrich-quality regression in changed notebooks

Paragraph Length Advisory on: pull_request 6

Paragraph length > 2000 chars advisory (label, non-blocking)

Always-on guards on: pull_request 2

Always-on guards -- 16 organes, 1 checkout

Twin Parity Check on: pull_request 4

Twin parity audit (#8057)

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

Secret Scan on: pull_request 5

Gitleaks secret scanner

Gitleaks secret scanner (fork)

Gitleaks positive controls (#10143)

Assert secret egress guard (#17276)

Slides Build Advisory on: pull_request 1

Slidev build (PR blocking, nocturne advisory)

Validation Matrix on: pull_request 1

validate

Lean Visibility Advisory on: pull_request 1

Lean visibility drift (advisory label, non-blocking)

prose-counts-guard on: pull_request 1

prose-counts

Catalog Drift Check on: pull_request 2

Notebook catalog drift (read-only, advisory)

ICT-Series Tests on: pull_request 4

ICT tests/ (58)

ICT ict/tests/ (65 package)

PR gate on: pull_request 3

PR gate

Notebook Cell Source Parses on: pull_request 1

cell-source-parses

bi-OS companion coverage on: pull_request 1

Companion coverage (ps1/sh + Setup bi-OS)

Local path waiver guard on: pull_request 2

No local-path waiver bodies

Notebook Exec Sequence Ratchet on: pull_request 1

Exec-sequence ratchet (base vs PR)

Cell-order gate on: pull_request 2

No cell-ordering regression in changed notebooks

notebook-interp-positioning-guard on: pull_request 1

check_interp_positioning.py

Notebook Math Render on: pull_request 2

math-render

Quarto Pages Deploy on: pull_request 1

Build Quarto site

Validate Quarto build (PR)

Deploy to GitHub Pages

MD Hierarchy Drift Advisory on: pull_request 1

scan_md_hierarchy drift (advisory)

Mermaid Fill Color Advisory on: pull_request 1

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

Consecutive Code Cells Advisory on: pull_request 2

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

pip-leak-guard on: pull_request 1

!pip install HIGH delta guard (#6314)

Lean i18n sibling drift on: pull_request 1

i18n sibling drift

Notebook LaTeX Control Chars on: pull_request 1

latex-control-chars

Notebook Execution Required on: pull_request 3

Detect notebook changes

Golden-set execution (H.7 P3)

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

docs-transients-guard on: pull_request 1

transients

Lean CI Matrix on: pull_request 4

lean-matrix-changes

lean-matrix / Lean CI (${{ inputs.display-name }})

lean-matrix / Lean CI (argumentation_lean)

Lean proof-integrity (formal_logic_lean) on: pull_request 5

ci / Lean CI (formal_logic_lean)

ci / Lean CI (${{ matrix.display-name }})

formal_logic_lean target-coverage

proof-integrity / Proof integrity (formal_logic_lean)

notebook-link-render-check on: pull_request 2

check_notebook_link_render.py (advisory)

Code scanning results

CodeQL

Merge remote-tracking branch 'origin/main' into fix/16231-tweety-suff…

Uh oh!

Select a check to view from the sidebar