Skip to content

Actions: hyperpolymath/valence-shell

Actions

Correspondence Validation

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
validation.yml
417 workflow runs
417 workflow runs

Filter by Event

⌥ + click/return to exclude

Filter by Status

⌥ + click/return to exclude

Filter by Branch

⌥ + click/return to exclude

Filter by Actor

⌥ + click/return to exclude
proofs(lean4) + tests: A-12 path-traversal containment (closes frontier A-12) Correspondence Validation #317: Pull request #132 synchronize by hyperpolymath
2m 0s proofs/a12-path-traversal-containment
proofs/a12-path-traversal-containment
2m 0s
proofs(lean4) + tests: A-12 path-traversal containment (closes frontier A-12) Correspondence Validation #316: Pull request #132 synchronize by hyperpolymath
1m 10s proofs/a12-path-traversal-containment
proofs/a12-path-traversal-containment
1m 10s
proofs(lean4) + tests: A-12 path-traversal containment (closes frontier A-12) Correspondence Validation #315: Pull request #132 synchronize by hyperpolymath
1m 0s proofs/a12-path-traversal-containment
proofs/a12-path-traversal-containment
1m 0s
proofs(idris2): close #129 — overwriteIrreversible non-existence redesign Correspondence Validation #314: Pull request #137 synchronize by hyperpolymath
1m 19s proofs/idris2-129-overwrite-irreversible-redesign
proofs/idris2-129-overwrite-irreversible-redesign
1m 19s
proofs(idris2): Q5 option 3 — propositional Equiv migration (closes equivTrans) Correspondence Validation #313: Pull request #136 synchronize by hyperpolymath
1m 34s proofs/q5-propositional-equiv-restructure
proofs/q5-propositional-equiv-restructure
1m 34s
fix(proofs/idris2): redesign auditTrailCompleteness as per-insertion theorem (closes #131) Correspondence Validation #312: Pull request #135 synchronize by hyperpolymath
1m 13s proofs/idris2-131-audit-trail-completeness-redesign
proofs/idris2-131-audit-trail-completeness-redesign
1m 13s
proofs(idris2): Q1-C primitive-eq axiom pilot + equivRefl closure Correspondence Validation #311: Pull request #133 synchronize by hyperpolymath
2m 9s proofs/q1-c-pilot-primitive-eq-axioms
proofs/q1-c-pilot-primitive-eq-axioms
2m 9s
proofs(lean4) + tests: A-12 path-traversal containment (closes frontier A-12) Correspondence Validation #310: Pull request #132 synchronize by hyperpolymath
1m 28s proofs/a12-path-traversal-containment
proofs/a12-path-traversal-containment
1m 28s
Update issue templates Correspondence Validation #309: Commit 1e7fb53 pushed by hyperpolymath
1m 6s main
main
1m 6s
proofs(idris2): close #129 — overwriteIrreversible non-existence redesign Correspondence Validation #308: Pull request #137 opened by hyperpolymath
55s proofs/idris2-129-overwrite-irreversible-redesign
proofs/idris2-129-overwrite-irreversible-redesign
55s
proofs(idris2): Q5 option 3 — propositional Equiv migration (closes equivTrans) Correspondence Validation #307: Pull request #136 opened by hyperpolymath
56s proofs/q5-propositional-equiv-restructure
proofs/q5-propositional-equiv-restructure
56s
fix(proofs/idris2): redesign auditTrailCompleteness as per-insertion theorem (closes #131) Correspondence Validation #306: Pull request #135 opened by hyperpolymath
59s proofs/idris2-131-audit-trail-completeness-redesign
proofs/idris2-131-audit-trail-completeness-redesign
59s
proofs(idris2): close 3 Cat-A RMO non-theorem holes (#119B) — RMO.idr at zero holes Correspondence Validation #305: Pull request #134 opened by hyperpolymath
1m 10s proofs/idris2-cat-a-rmo-redesigns-119B
proofs/idris2-cat-a-rmo-redesigns-119B
1m 10s
proofs(idris2): Q1-C primitive-eq axiom pilot + equivRefl closure Correspondence Validation #304: Pull request #133 synchronize by hyperpolymath
53s proofs/q1-c-pilot-primitive-eq-axioms
proofs/q1-c-pilot-primitive-eq-axioms
53s
proofs(idris2): Q1-C primitive-eq axiom pilot + equivRefl closure Correspondence Validation #303: Pull request #133 opened by hyperpolymath
1m 0s proofs/q1-c-pilot-primitive-eq-axioms
proofs/q1-c-pilot-primitive-eq-axioms
1m 0s
proofs(lean4) + tests: A-12 path-traversal containment (closes frontier A-12) Correspondence Validation #302: Pull request #132 opened by hyperpolymath
57s proofs/a12-path-traversal-containment
proofs/a12-path-traversal-containment
57s
proofs(coq): close admit triumvirate (#56 / #57 / #58) — Coq layer at… Correspondence Validation #301: Commit a10005d pushed by hyperpolymath
57s main
main
57s
proofs(coq): close admit triumvirate (#56 / #57 / #58) — Coq layer at zero Admitted Correspondence Validation #300: Pull request #128 synchronize by hyperpolymath
54s proofs/close-coq-admit-triumvirate-56-57-58
proofs/close-coq-admit-triumvirate-56-57-58
54s
proofs(coq): close admit triumvirate (#56 / #57 / #58) — Coq layer at zero Admitted Correspondence Validation #299: Pull request #128 opened by hyperpolymath
56s proofs/close-coq-admit-triumvirate-56-57-58
proofs/close-coq-admit-triumvirate-56-57-58
56s
docs(bridge): canonical Echo Types / Ochrance bridge + estate-wide en… Correspondence Validation #298: Commit 2e8e1d5 pushed by hyperpolymath
4m 55s main
main
4m 55s
docs(bridge): canonical Echo Types / Ochrance bridge + estate-wide enforcement Correspondence Validation #297: Pull request #125 synchronize by hyperpolymath
5m 43s docs/echo-types-ochrance-bridge
docs/echo-types-ochrance-bridge
5m 43s
docs(state): refresh STATE.a2ml for 2026-06-02 afternoon-sweep PRs (#… Correspondence Validation #296: Commit 80a7e1d pushed by hyperpolymath
12m 42s main
main
12m 42s
docs(state): refresh STATE.a2ml for 2026-06-02 afternoon-sweep PRs Correspondence Validation #295: Pull request #127 opened by hyperpolymath
10m 33s docs/2026-06-02-session-update
docs/2026-06-02-session-update
10m 33s
docs: reflect 2026-06-02 session updates (#110/116/117/118/120/121/12… Correspondence Validation #294: Commit 08a2d70 pushed by hyperpolymath
11m 43s main
main
11m 43s
docs: reflect 2026-06-02 session updates (#110/116-123) Correspondence Validation #293: Pull request #126 opened by hyperpolymath
10m 48s docs/2026-06-02-session-updates
docs/2026-06-02-session-updates
10m 48s