Skip to content

Actions: vsov/strata-k

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
32 workflow runs
32 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
Docs refresh (loader contract, query filter row) + book chapter 12 Fi… book #8: Commit b26af16 pushed by vsov
30s main
main
30s
Docs refresh (loader contract, query filter row) + book chapter 12 Fi… ci #24: Commit b26af16 pushed by vsov
1m 12s main
main
1m 12s
load_inputs is now atomic: a mid-load failure commits nothing, so a r… ci #23: Commit df26ab6 pushed by vsov
1m 14s main
main
1m 14s
Public-API misuse hardening: load_inputs reload guard, strict CLI arg… ci #22: Commit 92052ca pushed by vsov
1m 14s main
main
1m 14s
Heal @asp stable/experimental drift in root README; workload generato… ci #21: Commit 69be91c pushed by vsov
1m 14s main
main
1m 14s
Facade hardening: AlreadyAttached guard on Rust attach_models; README… ci #20: Commit d91d23f pushed by vsov
1m 4s main
main
1m 4s
Stability contract: stable kernel vs experimental (@asp / IncProv / G… ci #19: Commit d99d884 pushed by vsov
1m 16s main
main
1m 16s
Python neural-symbolic recipe (third end-to-end example): GNN trained… ci #18: Commit a973bff pushed by vsov
1m 16s main
main
1m 16s
Plain ?q(...) is now an output filter (was a no-op); routing workload… ci #17: Commit b4bd24e pushed by vsov
1m 7s main
main
1m 7s
IncProv index contract fix (insert_soft returns zero-based leaf) + GP… ci #16: Commit 568eec0 pushed by vsov
1m 11s main
main
1m 11s
Workloads: AML ownership screen (soft flags, Prov_k pedigrees, negati… ci #15: Commit 62318ab pushed by vsov
1m 13s main
main
1m 13s
Bridge review follow-up: undeclared models never run; second attach_m… ci #14: Commit 4ef3212 pushed by vsov
1m 18s main
main
1m 18s
Python bridge (import strata_k): pyo3 crate, PySDD external different… book #7: Commit 5346f7b pushed by vsov
24s main
main
24s
Python bridge (import strata_k): pyo3 crate, PySDD external different… ci #13: Commit 5346f7b pushed by vsov
1m 21s main
main
1m 21s
режим-B breadth: @terms across worlds, DNF-complement negation, incre… ci #12: Commit 3f6e42e pushed by vsov
39s main
main
39s
README: scope the Soufflé fuzz claim to what a CI run actually executes ci #11: Commit c4343d0 pushed by vsov
39s main
main
39s
Product layer: strata-k library facade (in-process Model boundary), t… ci #10: Commit 47a2b41 pushed by vsov
41s main
main
41s
Product layer: strata-k library facade (in-process Model boundary), t… book #6: Commit 47a2b41 pushed by vsov
27s main
main
27s
Language contract and CI tightened per external review: E1009/E1011/E… ci #9: Commit d58ad52 pushed by vsov
53s main
main
53s
Prov/Prov_k executable: pedigrees, exact WMC, top-k lower bounds; boo… book #5: Commit ff017ca pushed by vsov
26s main
main
26s
Prov/Prov_k executable: pedigrees, exact WMC, top-k lower bounds; boo… ci #8: Commit ff017ca pushed by vsov
34s main
main
34s
Book: update the status spine — the designed engine is now built ci #7: Commit 365fb84 pushed by vsov
37s main
main
37s
Book: update the status spine — the designed engine is now built book #4: Commit 365fb84 pushed by vsov
25s main
main
25s
Language complete: ?grad, neural predicates, @terms — plus docs book #3: Commit 9e6bcc6 pushed by vsov
26s main
main
26s
Language complete: ?grad, neural predicates, @terms — plus docs ci #6: Commit 9e6bcc6 pushed by vsov
35s main
main
35s