# Zopu Work OS — Product Specification

> **Related:** `dev-loop.md` defines delivery; `slices.md` defines product increments; `evaluation.md` defines quality measurement.

> **Status:** Working source of truth  
> **Audience:** product, design, engineering, agents  
> **Normative words:** **MUST** = required, **SHOULD** = default, **MAY** = optional  
> **Product boundary:** this file defines *what and why*, not implementation details.

## 1. Thesis

Zopu is a **completion system for durable units of work**, not a chat wrapper and not a coding-agent launcher.

The product converts conversation and external events into verified outcomes:

```text
Talk/events → Signals → Work → Definition → Design → Slices
→ Resolution → Verification → Delivery → Observation → Learning
```

The core promise:

> Given an accepted unit of work, Zopu keeps advancing it until a verified outcome exists or a precise terminal blocker is recorded.

Agents may propose, plan, implement, review, and test. **The system decides completion from evidence.**

## 2. Initial customer and scope

### ICP v0

Technical founders and small engineering teams working in one Git repository.

### Supported v0 workflow

```text
Project chat
→ actionable Signal
→ approved Work Definition
→ lightweight Design Packet
→ vertical slices
→ isolated coding run
→ independent verification
→ branch + pull request
→ human merge
→ result assessment
```

### v0 constraints

- One user/organization/project/repository path first.
- Web interface only.
- One implementation harness first.
- One sandbox provider first.
- Manual merge.
- No autonomous production mutation.
- No arbitrary generated tools receiving immediate execution authority.
- No generic support for every founder workflow yet.

The domain must remain broader than Git, but the implementation should prove quality on software delivery first.

## 3. Product surfaces

The primary interface remains intentionally small:

```text
1. Continuous project conversation
2. Work cards
3. Human attention queue
```

### Continuous conversation

One project-level conversation is used to:

- discuss intent;
- create Signals;
- ask about Work;
- add evidence or constraints;
- change priorities;
- respond to agent questions.

Conversation is not the system of record for execution state.

### Work cards

A Work card is the durable, inspectable representation of one desired outcome. It exposes definition, design, execution, evidence, delivery, and result without forcing the user to inspect raw agent transcripts.

### Attention queue

All decisions requiring a human are first-class objects:

- clarify intent;
- approve definition/design;
- grant permission;
- select an alternative;
- review a slice;
- approve merge/release;
- accept risk.

## 4. Canonical domain

### Signal

Evidence that may require attention.

```text
Signal
├── exact source/provenance
├── extracted meaning
├── project context
├── confidence
├── related signals
└── candidate Work links
```

A Signal MUST preserve the original source. A model summary never replaces evidence.

### Work

A durable desired outcome, not a message, issue, session, branch, or PR.

```text
Work
├── objective
├── reason/user impact
├── source Signals
├── Work Definition
├── Design Packet
├── slices/steps
├── runs/attempts
├── questions/decisions
├── artifacts/evidence
├── delivery
└── result
```

### Work Definition

A testable contract before implementation:

- problem;
- desired outcome;
- affected users;
- in/out of scope;
- acceptance criteria;
- constraints;
- assumptions;
- unresolved questions;
- risk class;
- required artifacts;
- rollout/rollback requirements when applicable.

### Design Packet

A reviewable implementation intent:

- impact map;
- architecture summary/sequence;
- file-tree diff;
- call-flow diff;
- key types/interfaces;
- invariants;
- migration/security/operational concerns;
- vertical slice plan;
- explicit trade-offs and deviations.

### Vertical Slice

A bounded unit of implementation that produces observable, independently verifiable progress.

A valid slice answers:

- what behavior becomes observable;
- what code boundaries change;
- what artifacts must exist;
- what evidence proves completion;
- what review is required before continuation.

### Kit

A versioned executable configuration for resolving a class of Work:

- roles/agent definitions;
- tools and grants;
- skills/instructions;
- context policy;
- runtime requirements;
- harness policy;
- budgets;
- output contracts;
- verification recipes;
- escalation policy.

A Kit is not an agent and not a run. v0 uses one static Coding Kit; dynamic Kit Builder comes after the loop is reliable.

### Run and Attempt

A Run coordinates execution for Work or a slice. An Attempt is one bounded execution by one harness in one environment.

Attempt terminal classifications:

```text
Succeeded | RetryableFailure | NeedsInput | Blocked
| VerificationFailed | BudgetExhausted | Cancelled | PermanentFailure
```

“Agent working” is not a durable outcome.

### Artifact and Evidence

Examples:

- plan/design;
- diff;
- test report;
- screenshot/video;
- commit;
- PR;
- preview;
- deployment;
- runtime logs;
- performance/security reports.

Every artifact SHOULD include producer, Work/slice/run, source revision, environment, provenance, and verification status.

### Result

Delivery is not necessarily outcome. Result compares intended and actual impact:

```text
Achieved | PartiallyAchieved | NotAchieved | Regressed | Inconclusive
```

### Learning

Post-work observations that may propose updates to:

- project knowledge;
- architecture decisions;
- test recipes;
- skills;
- tools;
- Kit definitions;
- planning heuristics.

Canonical knowledge updates require review.

## 5. Quality doctrine

High-quality software is evaluated across:

| Dimension | Required question |
|---|---|
| Correctness | Does behavior satisfy the accepted criteria? |
| Regression safety | Did existing behavior remain valid? |
| Maintainability | Does the change preserve understandable boundaries? |
| Security | Are permissions, secrets, data, and dependencies safe? |
| Reliability | Are failures and edge cases handled? |
| Operability | Can it be deployed, observed, debugged, and rolled back? |
| Performance | Are expected resource limits preserved? |
| UX | Does the actual user path work? |
| Traceability | Can claims be tied to evidence and revisions? |
| Reversibility | Can risk be disabled or rolled back? |

### Completion rule

Work is complete only when:

1. accepted behavior is implemented on a known revision;
2. required checks pass in a known environment;
3. design deviations are visible;
4. required human gates are satisfied;
5. delivery artifacts exist;
6. post-release observation is completed when required.

A passing test suite is necessary but not sufficient for medium/high-risk work.

### Builder-verifier separation

The implementation worker MUST NOT be the sole authority on completion.

```text
Builder → candidate output
Verifier → independent evidence
Resolver → completion decision
Human → policy-defined approvals
```

### Risk lanes

#### Fast

Copy, docs, isolated styling, deterministic mechanical changes.

```text
short contract → implement → verify → PR
```

#### Standard

Normal features, APIs, workflows, changes spanning a few modules.

```text
definition → combined design → 1–3 slices → verify → review → PR
```

#### Critical

Auth, billing, permissions, migrations, shared infrastructure, destructive operations.

```text
definition approval → architecture approval → program-design approval
→ one slice at a time → staged release → observation/rollback gate
```

## 6. Resolver contract

The Work Resolver is the central product engine.

It MUST continuously answer:

- What remains incomplete?
- What is executable now?
- What capability can perform it?
- What evidence is missing?
- Should it retry, repair, replan, escalate, or stop?
- Has the Work reached a valid terminal state?

Resolver outcomes:

```text
VerifiedOutcomeDelivered
VerifiedPRReady
HumanDecisionRequired
ExternalDependencyBlocked
BudgetExhaustedWithEvidence
PermanentlyFailedWithDiagnosis
Cancelled
```

The Resolver MUST:

- operate from durable state;
- execute bounded attempts;
- enforce budgets and permissions;
- preserve provenance;
- recover after process failure;
- avoid duplicate side effects;
- require evidence before transitions;
- surface precise blockers;
- never silently stall.

## 7. Human operating model

Humans should spend attention on high-leverage decisions, not supervise tool calls.

Preferred gates:

- Work Definition approval;
- Design Packet approval for standard/critical work;
- slice review when risk requires it;
- merge/release approval;
- resolution of ambiguity or policy exceptions.

A human request must include:

```text
decision needed
why it is needed
recommended action
alternatives
consequences
urgency
affected Work/slice
```

## 8. External collaboration

Buzz, Slack-like systems, Git forges, monitoring, support, and analytics are interfaces and Signal sources.

They MAY:

- create Signals;
- carry status updates;
- present questions;
- receive review/preview links;
- report incidents and results.

They MUST NOT own canonical Work, Resolver, verification, or completion state.

## 9. Product success metrics

Primary:

- verified outcomes per unit of human attention;
- median time from accepted Work to verified PR/outcome;
- percentage of Work reaching an explicit terminal state;
- verification escape rate;
- post-merge rework rate;
- design-review-to-implementation deviation rate.

Secondary:

- retry count;
- human interruption count;
- stale Work count;
- duplicate Signal/Work rate;
- average review-package comprehension time;
- Kit/version performance by work type.

Avoid optimizing token volume, agent count, or code generated.

## 10. Non-goals for early versions

- Fully autonomous company operation.
- Lights-off merging/deployment.
- Universal dynamic tool creation.
- Large unbounded fleets.
- Replacing Git or CI.
- Encoding all product truth in chat.
- Making one model/harness part of the product domain.
- Automating maintainability judgment without human policy.
