Skip to content

Actions: anomly-labs/computation-receipts

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
29 workflow runs
29 workflow runs

Filter by Workflow

⌥ + click/return to exclude

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
interop: real SCITT Signed-Statement demo — genuine COSE_Sign1, no CO… ci #29: Commit 9450cfd pushed by rybruscoe
17s main
main
17s
interop: real SCITT Signed-Statement demo — genuine COSE_Sign1, no CO… ci #28: Commit f31a935 pushed by rybruscoe
18s main
main
18s
interop: carry CR inside in-toto / SCITT — mapping doc + runnable Sta… ci #27: Commit 571d56c pushed by rybruscoe
20s main
main
20s
README: reconcile the conformance-vector count (17, five refusals) ci #26: Commit a1de4ce pushed by rybruscoe
21s main
main
21s
STATUS: recent section — real-workload demos, cross-silicon §5, secon… ci #25: Commit 684f327 pushed by rybruscoe
16s main
main
16s
examples: cross_gpu_receipt_demo — turn the mosyne-bposit GPU demo ou… ci #24: Commit a088d40 pushed by rybruscoe
20s main
main
20s
EVALUATORS: mention the cross-hardware demonstration (REAL-WORKLOADS §5) ci #23: Commit 164d034 pushed by rybruscoe
20s main
main
20s
REAL-WORKLOADS: section 5 — one certificate across three compute subs… ci #22: Commit 13bf0d4 pushed by rybruscoe
21s main
main
21s
registry: add bposit8-imma-int32 — the tensor-core W8A8 exact-accumul… ci #21: Commit e623c2e pushed by rybruscoe
28s main
main
28s
REAL-WORKLOADS: the generation fork is not an isolation artifact — fu… ci #20: Commit c8be2f9 pushed by rybruscoe
25s main
main
25s
REAL-WORKLOADS: the bf16 flips compound into different generated text ci #19: Commit 88a5e02 pushed by rybruscoe
20s main
main
20s
REAL-WORKLOADS: substantiate the bf16 decode figure with a diverse-co… ci #18: Commit fcc5929 pushed by rybruscoe
18s main
main
18s
REAL-WORKLOADS: does it change the answer? bf16 decode decisions are … ci #17: Commit 8c47828 pushed by rybruscoe
20s main
main
20s
REAL-WORKLOADS: soften the compute-cost figure to an honest run-to-ru… ci #16: Commit 32718a8 pushed by rybruscoe
22s main
main
22s
REAL-WORKLOADS: add pillar 4 — iterative solver (conjugate gradient) ci #15: Commit 36aafe4 pushed by rybruscoe
21s main
main
21s
docs: INTEGRATION.md — wire CR into a real HPC/training/inference pip… ci #14: Commit 5594431 pushed by rybruscoe
18s main
main
18s
proposal: add end-to-end POC transcript for exact-real-f64 ci #13: Commit a606276 pushed by rybruscoe
19s main
main
19s
REAL-WORKLOADS: point at the one-command pillar runner + archived rec… ci #12: Commit 8958bc4 pushed by rybruscoe
20s main
main
20s
REAL-WORKLOADS: multi-step training divergence compounds (real 40-ste… ci #11: Commit 5563585 pushed by rybruscoe
18s main
main
18s
docs: proposal for a generic public exact-accumulation profile ci #10: Commit 2da67c7 pushed by rybruscoe
20s main
main
20s
examples: a publicly runnable HPC-reduction demo (numpy + stdlib only) ci #9: Commit 6491a21 pushed by rybruscoe
17s main
main
17s
REAL-WORKLOADS: add 'What it costs' — the honest verification-tax sec… ci #8: Commit df0b8ba pushed by rybruscoe
23s main
main
23s
docs: REAL-WORKLOADS.md — CR on real HPC, training, and inference wor… ci #7: Commit a97f0e9 pushed by rybruscoe
34s main
main
34s
docs: add EVALUATORS.md — a brief for the skeptical third-party evalu… ci #6: Commit ee2c491 pushed by rybruscoe
21s main
main
21s
readme: replace contact email with the anomly.com contact form (avoid… ci #5: Commit bfd400f pushed by rybruscoe
20s main
main
20s