Skip to content
Orkastery

Product

MOD-02 · Evidence and delivery

Behavior and limits for evidence and delivery, based on the reviewed product catalog.

FEAT-004 · Claims and verification

A claim needs a command executed against the actual HEAD. Pending results, timeouts and withdrawn evidence do not count as a pass.

FEAT-005 · Independent CHECK in CI

The claim bundle is rerun against the candidate’s exact SHA. A run for another thread or commit does not prove this change. Each thread has its own bundle, .ork-ci/<thread>.json, which CI finds by branch name; a thread branch without a bundle fails, and main runs only the manifest commands.

FEAT-006 · Delivery with verified push

SHIP serializes the merge through a lease and checks the remote. Dry runs and local commits are not publication receipts.

FEAT-007 · Worktrees and leases

Each thread edits its own worktree. Tree, path, card and service leases coordinate resources; auditing rejects disagreement between Git and recorded state.