Skip to content

Actions: hyperpolymath/standards

Actions

Documentation Format Enforcement

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
doc-format.yml
1,021 workflow runs
1,021 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
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
feat(crg): add crg-grade and crg-badge justfile recipes Documentation Format Enforcement #176: Commit ea83971 pushed by hyperpolymath
6h 20m 31s main
main
6h 20m 31s
fix(security): update gix to 0.77 to resolve gix-date CVE (0.11.1 → 0… Documentation Format Enforcement #175: Commit 6f42b25 pushed by hyperpolymath
5h 13m 24s main
main
5h 13m 24s
feat(crg): add Current Grade anchors and B-grade assessments for core… Documentation Format Enforcement #174: Commit 6284fa1 pushed by hyperpolymath
5h 19m 29s main
main
5h 19m 29s
feat(crg): elevate k9-coordination-protocol to grade B Documentation Format Enforcement #173: Commit 37b96af pushed by hyperpolymath
5h 15m 6s main
main
5h 15m 6s
docs(crg): add machine-readable grade declaration and badge conventio… Documentation Format Enforcement #172: Commit 1c1920e pushed by hyperpolymath
5h 9m 29s main
main
5h 9m 29s
ProTip! You can narrow down the results and go further in time using created:<2026-04-04 or the other filters available.