Skip to content

Actions: hyperpolymath/echo-types

Actions

Mirror to Git Forges

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
mirror.yml
133 workflow runs
133 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
docs(changelog): add 2026-05-30 — Slice 3+4 Route A arc + bridge + pr… Mirror to Git Forges #133: Commit 0e41e98 pushed by hyperpolymath
1s main
main
1s
docs: enumerate exploratory truncation postulates in docs/proof-debt.… Mirror to Git Forges #132: Commit 360ca7c pushed by hyperpolymath
1s main
main
1s
proof: WfCNF wrap of the RankMonoUnion umbrella (#169) Mirror to Git Forges #131: Commit ed347df pushed by hyperpolymath
1s main
main
1s
docs: stale-claim sweep after Slice 3+4 Route A 6-PR arc (#165-#170) … Mirror to Git Forges #130: Commit 6e4a67a pushed by hyperpolymath
1s main
main
1s
proof: well-foundedness of _<ᵇᵘ_ via rank-embedding transport (#170) Mirror to Git Forges #129: Commit 3bb92f4 pushed by hyperpolymath
1s main
main
1s
proof(architecture): RankMonoUnion umbrella over source-rule extensio… Mirror to Git Forges #128: Commit 8eb08de pushed by hyperpolymath
1s main
main
1s
proof(Path-3 prototype): same-left joint-bplus rank-mono extension (#… Mirror to Git Forges #127: Commit 390cebb pushed by hyperpolymath
Skipped main
main
Skipped
proof(Slice 3+4 Route A): (c) trichotomy + consumer-side first-eq der… Mirror to Git Forges #126: Commit 930000b pushed by hyperpolymath
1s main
main
1s
proof(Slice 3+4 Route A): (b) lex-first primitive + bpsi sub-case dis… Mirror to Git Forges #125: Commit f21c62f pushed by hyperpolymath
1s main
main
1s
docs: ephapax bridge adjacency cleanup (3-file follow-up to #161 + #1… Mirror to Git Forges #124: Commit 1605fb2 pushed by hyperpolymath
1s main
main
1s
docs+proofs: EchoEphapaxBridge.agda NARROW stub (closes #126) (#162) Mirror to Git Forges #123: Commit 70b03e8 pushed by hyperpolymath
1s main
main
1s
docs: ephapax bridge package (#125 + #127) + EchoTypes.jl v0.2.0 surf… Mirror to Git Forges #122: Commit 3a38c6c pushed by hyperpolymath
1s main
main
1s
chore: remove arghda-core/ subtree + cross-refs (extracted to standal… Mirror to Git Forges #121: Commit 5ac2d9d pushed by hyperpolymath
1s main
main
1s
audits: assail-classifications.a2ml — Track-C suppressions (echo-type… Mirror to Git Forges #120: Commit b64b6b3 pushed by hyperpolymath
2s main
main
2s
docs(roadmap): close Lane 5 (killer-app accepted) + refresh stale Lan… Mirror to Git Forges #119: Commit ff9eb24 pushed by hyperpolymath
1s main
main
1s
fix(hypatia): scope-narrow agda_postulate alert on Exploratory module… Mirror to Git Forges #118: Commit 2e09fb3 pushed by hyperpolymath
1s main
main
1s
Session/epi mono consumer (#155) Mirror to Git Forges #117: Commit d3c6498 pushed by hyperpolymath
1s main
main
1s
Fix: Exempt EchoImageFactorizationPropPostulated from guardrail checks Mirror to Git Forges #116: Commit ea46e09 pushed by hyperpolymath
1s main
main
1s
Revert "echo(image-factorization-prop): postulated-truncation consume… Mirror to Git Forges #115: Commit fadef64 pushed by hyperpolymath
Skipped main
main
Skipped
echo(image-factorization-prop): postulated-truncation consumer + Expl… Mirror to Git Forges #114: Commit 48debd0 pushed by hyperpolymath
1s main
main
1s
docs: narrative alignment for 2026-05-28 PRs #147 #148 #149 + guardra… Mirror to Git Forges #113: Commit edee084 pushed by hyperpolymath
13s main
main
13s
docs: add ToCs + clear obsolete SPDX-normalization follow-up note (#151) Mirror to Git Forges #112: Commit eed4250 pushed by hyperpolymath
1s main
main
1s
chore(spdx): normalize headers (code -> MPL-2.0, prose -> CC-BY-4.0) … Mirror to Git Forges #111: Commit 7eb621e pushed by hyperpolymath
1s main
main
1s
ordinal(buchholz): Slice 4 narrowing — _<ᵇ⁻ⁿ_ umbrella covering tod… Mirror to Git Forges #110: Commit 1880284 pushed by hyperpolymath
1s main
main
1s
ordinal(buchholz): rank-lex-jb scaffold — parallel rank with richer b… Mirror to Git Forges #109: Commit 791bb70 pushed by hyperpolymath
1s main
main
1s