Skip to content

Actions: hyperpolymath/standards

Actions

Documentation Format Enforcement

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
doc-format.yml
201 workflow runs
201 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(ux): add Face Identity Kit link to UX standards index Documentation Format Enforcement #201: Commit 3aca145 pushed by hyperpolymath
21s main
main
21s
chore(6a2): enrich A2ML checkpoint files across all satellites Documentation Format Enforcement #200: Commit 4bfe9d2 pushed by hyperpolymath
10s main
main
10s
chore: migrate standards repo SCM references and examples to A2ML format Documentation Format Enforcement #199: Commit 6e67a71 pushed by hyperpolymath
7m 36s main
main
7m 36s
refactor(lol/agda): replace Float arithmetic postulates with stdlib defs Documentation Format Enforcement #198: Commit cb497d6 pushed by hyperpolymath
5m 9s main
main
5m 9s
docs(explainme): improve completeness per README-EXPLAINME-STANDARD Documentation Format Enforcement #197: Commit 69561fc pushed by hyperpolymath
8s main
main
8s
chore(coverage): session close 2026-04-12 — KRL, tropical AFP, Affine… Documentation Format Enforcement #196: Commit 4654541 pushed by hyperpolymath
15s main
main
15s
chore(v-lang): add MIGRATION.adoc for lol v-gateway and v-lol stubs Documentation Format Enforcement #195: Commit 7d709da pushed by hyperpolymath
12s main
main
12s
chore(v-lang): sideline LOL V-lang API implementations — V-lang banne… Documentation Format Enforcement #194: Commit 0442592 pushed by hyperpolymath
36s main
main
36s
feat(lol/v-migration): Zig gateway replaces vweb V gateway Documentation Format Enforcement #193: Commit 32dd166 pushed by hyperpolymath
8s main
main
8s
docs(licence): update PMPL policy — MPL-2.0 is automatic legal fallback Documentation Format Enforcement #192: Commit d6e13c6 pushed by hyperpolymath
22s main
main
22s
docs(proofs): mark H1-H7 and V7 complete in spec templates Documentation Format Enforcement #191: Commit 9bf4690 pushed by hyperpolymath
14s main
main
14s
docs(proofs): mark BJ1 done in boj-server spec template Documentation Format Enforcement #190: Commit cdf60c0 pushed by hyperpolymath
14s main
main
14s
docs(proof-specs): mark echidna E1-E9 done (P0+P1 I2 obligations met) Documentation Format Enforcement #189: Commit caffeb0 pushed by hyperpolymath
8s main
main
8s
docs(proof-specs): mark gossamer GS1/GS2 done, panic-attacker PA1/PA2… Documentation Format Enforcement #188: Commit 317842c pushed by hyperpolymath
19s main
main
19s
proof(protocol-squisher): mark all 8 theorems done — 2026-04-11 Documentation Format Enforcement #187: Commit 9119e51 pushed by hyperpolymath
16s main
main
16s
chore(.machine_readable): convert 6a2 checkpoint files from Scheme to… Documentation Format Enforcement #186: Commit 38dfc4e pushed by hyperpolymath
1h 51m 6s main
main
1h 51m 6s
chore(licence): clarify MPL-2.0 fallback — PMPL-1.0-or-later preferred Documentation Format Enforcement #185: Commit 4284bfa pushed by hyperpolymath
1h 26m 3s main
main
1h 26m 3s
docs: relocate proof/audit/example reference material from Desktop st… Documentation Format Enforcement #184: Commit 4812f1c pushed by hyperpolymath
11s main
main
11s
docs(launcher): document hard-coded fallback path in loader resolutio… Documentation Format Enforcement #183: Commit 547fb91 pushed by hyperpolymath
8s main
main
8s
policy: ban V-lang/ATS2/Bun, add --integ/--disinteg, Rust means Rust/… Documentation Format Enforcement #182: Commit 5c5f23b pushed by hyperpolymath
13s main
main
13s
Merge branch 'claude/analyze-repo-improvements-LkcDI' - AVOW tests, E… Documentation Format Enforcement #181: Commit 2776eed pushed by JoshuaJewell
27s main
main
27s
chore: automated sync of local changes Documentation Format Enforcement #180: Commit cf786d8 pushed by hyperpolymath
29m 54s main
main
29m 54s
feat(innervation): Phase 3 — implementation, rollout tools, quality a… Documentation Format Enforcement #179: Commit e88107c pushed by hyperpolymath
17s main
main
17s
feat(innervation): Phase 2 — specs, tools, and docs Documentation Format Enforcement #178: Commit cbeab89 pushed by hyperpolymath
11s main
main
11s
refactor: deep audit — fix stale naming, add innervation architecture Documentation Format Enforcement #177: Commit 0359908 pushed by hyperpolymath
6h 30m 32s main
main
6h 30m 32s