Skip to content

Actions: hyperpolymath/standards

Actions

Instant Sync

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
instant-sync.yml
188 workflow runs
188 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
Create Bustfile Instant Sync #188: Commit 929daa5 pushed by hyperpolymath
10s main
main
10s
Delete .machine_readable/contractiles/trust/Trustfile.a2ml Instant Sync #187: Commit 28eeca5 pushed by hyperpolymath
10s main
main
10s
Update standards to reflect Julia integration completion\n\nDocument … Instant Sync #186: Commit 746103d pushed by hyperpolymath
12s main
main
12s
chore: RSR sync and mass repository update Instant Sync #185: Commit c569653 pushed by hyperpolymath
19s main
main
19s
feat(session-management): add Concurrent-Write Collision Protocol (co… Instant Sync #184: Commit 10a1035 pushed by hyperpolymath
7s main
main
7s
docs(ux): add Face Identity Kit link to UX standards index Instant Sync #183: Commit 3aca145 pushed by hyperpolymath
18s main
main
18s
chore(6a2): enrich A2ML checkpoint files across all satellites Instant Sync #182: Commit 4bfe9d2 pushed by hyperpolymath
8s main
main
8s
chore: migrate standards repo SCM references and examples to A2ML format Instant Sync #181: Commit 6e67a71 pushed by hyperpolymath
6m 32s main
main
6m 32s
refactor(lol/agda): replace Float arithmetic postulates with stdlib defs Instant Sync #180: Commit cb497d6 pushed by hyperpolymath
4m 38s main
main
4m 38s
docs(explainme): improve completeness per README-EXPLAINME-STANDARD Instant Sync #179: Commit 69561fc pushed by hyperpolymath
7s main
main
7s
chore(coverage): session close 2026-04-12 — KRL, tropical AFP, Affine… Instant Sync #178: Commit 4654541 pushed by hyperpolymath
9s main
main
9s
chore(v-lang): add MIGRATION.adoc for lol v-gateway and v-lol stubs Instant Sync #177: Commit 7d709da pushed by hyperpolymath
12s main
main
12s
chore(v-lang): sideline LOL V-lang API implementations — V-lang banne… Instant Sync #176: Commit 0442592 pushed by hyperpolymath
13s main
main
13s
feat(lol/v-migration): Zig gateway replaces vweb V gateway Instant Sync #175: Commit 32dd166 pushed by hyperpolymath
14s main
main
14s
docs(licence): update PMPL policy — MPL-2.0 is automatic legal fallback Instant Sync #174: Commit d6e13c6 pushed by hyperpolymath
14s main
main
14s
docs(proofs): mark H1-H7 and V7 complete in spec templates Instant Sync #173: Commit 9bf4690 pushed by hyperpolymath
17s main
main
17s
docs(proofs): mark BJ1 done in boj-server spec template Instant Sync #172: Commit cdf60c0 pushed by hyperpolymath
29s main
main
29s
docs(proof-specs): mark echidna E1-E9 done (P0+P1 I2 obligations met) Instant Sync #171: Commit caffeb0 pushed by hyperpolymath
8s main
main
8s
docs(proof-specs): mark gossamer GS1/GS2 done, panic-attacker PA1/PA2… Instant Sync #170: Commit 317842c pushed by hyperpolymath
17s main
main
17s
proof(protocol-squisher): mark all 8 theorems done — 2026-04-11 Instant Sync #169: Commit 9119e51 pushed by hyperpolymath
9s main
main
9s
chore(.machine_readable): convert 6a2 checkpoint files from Scheme to… Instant Sync #168: Commit 38dfc4e pushed by hyperpolymath
1h 50m 14s main
main
1h 50m 14s
chore(licence): clarify MPL-2.0 fallback — PMPL-1.0-or-later preferred Instant Sync #167: Commit 4284bfa pushed by hyperpolymath
1h 23m 37s main
main
1h 23m 37s
docs: relocate proof/audit/example reference material from Desktop st… Instant Sync #166: Commit 4812f1c pushed by hyperpolymath
15s main
main
15s
docs(launcher): document hard-coded fallback path in loader resolutio… Instant Sync #165: Commit 547fb91 pushed by hyperpolymath
14s main
main
14s
policy: ban V-lang/ATS2/Bun, add --integ/--disinteg, Rust means Rust/… Instant Sync #164: Commit 5c5f23b pushed by hyperpolymath
24s main
main
24s