| .. |
|
acceptance.ps1
|
Initial commit: moonbit-pathfinding project
|
2026-06-10 19:14:56 +08:00 |
|
acceptance.sh
|
bench+guard: time/resilience/cli/pbt native benches with archived results; demos_guard for all 20 examples wired into acceptance
|
2026-07-12 23:36:35 +00:00 |
|
audit_doc.ps1
|
Initial commit: moonbit-pathfinding project
|
2026-06-10 19:14:56 +08:00 |
|
benchmark_guard.ps1
|
Initial commit: moonbit-pathfinding project
|
2026-06-10 19:14:56 +08:00 |
|
benchmark_native.ps1
|
feat: championship v1.0 upgrade - WASM playground, proof pipeline, performance benchmarks, API ergonomics
|
2026-06-22 05:04:33 +00:00 |
|
benchmark_native_guard.ps1
|
Initial commit: moonbit-pathfinding project
|
2026-06-10 19:14:56 +08:00 |
|
benchmark_smoke.ps1
|
feat: complete LSP spec (direction 11) — lsp_binding + lsp_server (#9)
|
2026-06-20 07:27:26 +00:00 |
|
build_playground_osm.py
|
feat(playground): real OSM road network mode with uni/bidirectional Dijkstra
|
2026-07-12 17:31:14 +00:00 |
|
check_coverage.ps1
|
Initial commit: moonbit-pathfinding project
|
2026-06-10 19:14:56 +08:00 |
|
closure_truth_guard.sh
|
fix(ci): 守卫脚本 rg→grep 修复 runner 缺 ripgrep 导致的 wasm-gc 门禁失败；清理根目录临时日志并 gitignore；README 示例路径改跨平台正斜杠；申报书口径刷新至 v0.0.5
|
2026-07-12 14:25:56 +00:00 |
|
compat_gate.py
|
ci: automatic API-surface semver compat diff gate (G-A2 automation)
|
2026-07-09 05:08:17 +00:00 |
|
component_gate.sh
|
platform: wasm component model delivery gate (scripts/component_gate.sh + CI component model gate job; componentize via preview1 command adapter, validate, run under wasmtime, byte-diff vs js backend)
|
2026-07-09 13:03:00 +00:00 |
|
coverage_guard.ps1
|
feat: championship v1.0 upgrade - WASM playground, proof pipeline, performance benchmarks, API ergonomics
|
2026-06-22 05:04:33 +00:00 |
|
demos_guard.sh
|
bench+guard: time/resilience/cli/pbt native benches with archived results; demos_guard for all 20 examples wired into acceptance
|
2026-07-12 23:36:35 +00:00 |
|
doc_api_guard.ps1
|
feat: championship v1.0 upgrade - WASM playground, proof pipeline, performance benchmarks, API ergonomics
|
2026-06-22 05:04:33 +00:00 |
|
evidence_guard.ps1
|
evidence guard: enforce non-empty :: anchor + reject duplicate (claim,test_ref) rows (H-4/G-C2)
|
2026-07-09 04:48:30 +00:00 |
|
examples_guard.ps1
|
feat: championship v1.0 upgrade - WASM playground, proof pipeline, performance benchmarks, API ergonomics
|
2026-06-22 05:04:33 +00:00 |
|
mooncakes_audit.ps1
|
feat(mooncakes_audit): mooncakes index audit engine + fetch script + 1494-package snapshot (G-A3/H-1)
|
2026-07-08 13:46:23 +00:00 |
|
proof_evidence.ps1
|
Fix CI: restore moon.mod.json for moondoc, drop unused Eq bound, fix proofs path on Linux runners
|
2026-06-10 13:25:59 +00:00 |
|
proof_pipeline.ps1
|
feat: championship v1.0 upgrade - WASM playground, proof pipeline, performance benchmarks, API ergonomics
|
2026-06-22 05:04:33 +00:00 |
|
regression_guard.ps1
|
feat: championship v1.0 upgrade - WASM playground, proof pipeline, performance benchmarks, API ergonomics
|
2026-06-22 05:04:33 +00:00 |
|
release_guard.ps1
|
release: fix release_guard.ps1 for new moon.mod text format; archive v0.2.0 readiness evidence
|
2026-07-12 18:49:46 +00:00 |
|
release_ready_gate.sh
|
fix(ci): 守卫脚本 rg→grep 修复 runner 缺 ripgrep 导致的 wasm-gc 门禁失败；清理根目录临时日志并 gitignore；README 示例路径改跨平台正斜杠；申报书口径刷新至 v0.0.5
|
2026-07-12 14:25:56 +00:00 |
|
rust_comparison.ps1
|
bench: honest two-tier Rust comparison (same-algorithm 2.7x, bidir bonus) + README benchmark/live-demo refresh
|
2026-07-12 16:30:10 +00:00 |
|
verify_backends.sh
|
feat(mini_compiler): T1.1/T1.2 real wasm & JS backends, verified end-to-end vs interpreter
|
2026-07-05 04:42:00 +00:00 |
|
verify_mini_compiler_backends.sh
|
fix(mini_compiler): implement real wasm and js backends
|
2026-07-10 11:59:47 +00:00 |
|
wasi_gate.sh
|
ci: WASI delivery gate (platform axis level 6) — wasmtime runs release wasm artifacts byte-identical to js backend
|
2026-07-09 01:13:39 +00:00 |
|
wasm_size_guard.ps1
|
feat: championship v1.0 upgrade - WASM playground, proof pipeline, performance benchmarks, API ergonomics
|
2026-06-22 05:04:33 +00:00 |
|
wit_gate.sh
|
feat(playground): real OSM road network mode with uni/bidirectional Dijkstra
|
2026-07-12 17:31:14 +00:00 |
2b4cdc0159