Skip to content

Actions: c0mpli/hecate

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
23 workflow runs
23 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
gitignore: ignore transient reports/*_checkpoint.json run-state CI #23: Commit 8dc74cd pushed by c0mpli
2m 9s main
main
2m 9s
dual_search: the dual (separating-inequality) route to s=111 rigidity… CI #22: Commit 69be70d pushed by c0mpli
2m 14s main
main
2m 14s
two_split_enumerator: bounded EXACTLY-k-split decider for s=111/207 →… CI #21: Commit e6d37a4 pushed by c0mpli
2m 22s main
main
2m 22s
attack_207: s=207 unblocked (seed from ER_graphs.pdf #207, exact-veri… CI #20: Commit 2cdf73d pushed by c0mpli
1m 35s main
main
1m 35s
obstruction_search: no cheap invariant separates s=111 from the 104 t… CI #19: Commit 70cbdce pushed by c0mpli
1m 12s main
main
1m 12s
cycle_surgery: canonical color-class order in canon_key (soundness) CI #18: Commit c3daf7b pushed by c0mpli
1m 14s main
main
1m 14s
hec/seed_search.py: multi-seed 111 experiment — inconclusive, bounded… CI #17: Commit df09101 pushed by c0mpli
1m 11s main
main
1m 11s
hec/cycle_surgery.py: exact Δ-Y surgery cracks bulk-cycle rays 10/17 CI #16: Commit 2486b7d pushed by c0mpli
1m 6s main
main
1m 6s
hec/search.py: autoresearch-shaped keep/discard loop; C5 ladder 8/10 CI #15: Commit 2cbf4bb pushed by c0mpli
1m 6s main
main
1m 6s
Honest gate result: from-scratch tree annealer fails C5 ladder (1/8),… CI #14: Commit 4c5b26c pushed by c0mpli
58s main
main
58s
Items 4-6 complete: HLO verified exactly, oracle 3/3, minimization re… CI #13: Commit ef20194 pushed by c0mpli
53s main
main
53s
README precision: chordality calibration epistemics, second-tier defi… CI #12: Commit aa84f7d pushed by c0mpli
1m 0s main
main
1m 0s
README sync (pre-email blocker): M3 reframed, exact numbers, new modu… CI #11: Commit f7f629b pushed by c0mpli
1m 1s main
main
1m 1s
Rung-1 oracles derived (8/10 split-trees), N6er cross-ref, non-simple… CI #10: Commit 2e4978d pushed by c0mpli
1m 0s main
main
1m 0s
Items 1-3 closed: 19/19 transcriptions verified, 19/19 certificates CI #9: Commit b56ee1e pushed by c0mpli
1m 6s main
main
1m 6s
Tree-builder end-to-end (9/9 exact), calibration relabeled, ladder re… CI #8: Commit 5266349 pushed by c0mpli
57s main
main
57s
Chordality gate: all six mystery orbits fail simple-forest realizability CI #7: Commit d963de0 pushed by c0mpli
54s main
main
54s
Anneal rays 16-18 cold (16/19 independent); 18/19 certificates; sessi… CI #6: Commit b764938 pushed by c0mpli
57s main
main
57s
Topology annealer: LP-slack-guided structure search (the post-oracle … CI #5: Commit d10a689 pushed by c0mpli
56s main
main
56s
Transcribe + verify 18/19 published C5 graph models (P2 closing item) CI #4: Commit 15fe2c9 pushed by c0mpli
53s main
main
53s
CI: nauty dev package is best-effort (name varies by ubuntu release) CI #3: Commit 74fd589 pushed by c0mpli
56s main
main
56s
Session 3 notebook: mystery LP pass logged (no claims), hygiene summary CI #2: Commit 73cc9ab pushed by c0mpli
14s main
main
14s
Pre-outreach hygiene: drop build artifacts, CI, pinned provenance, CI… CI #1: Commit 834c518 pushed by c0mpli
13s main
main
13s