polyvoice 0.6.5__tar.gz

polyvoice-0.6.5/.cargo/config.toml

@@ -0,0 +1,10 @@
+[build]
+rustflags = ["-D", "warnings"]
+
+[env]
+RUST_BACKTRACE = "1"
+
+[alias]
+check-all = "clippy --all-targets --all-features -- -D warnings"
+test-all = "test --all-features"
+doc-check = "doc --no-deps --all-features"

polyvoice-0.6.5/.coad/GOAL_CONTRACT.template

@@ -0,0 +1,52 @@
+---
+schema_version: 1
+kind: goal_contract
+goal_id:
+objective:
+status: proposed
+risk: medium
+goal_class: feature
+delivery:
+  max_parallel_agents: 3
+  allow_external_side_effects: false
+  require_contract_updates: true
+budget:
+  time:
+  tokens:
+  cost:
+readiness_oracle:
+  type: test_suite
+  claim: All tests pass and coad check passes
+  required_proof:
+    - cargo test
+    - coad check .
+decomposition:
+  strategy: module_owned
+  tasks:
+    - <task-id>
+contracts:
+  modules:
+    - <module>
+  tasks:
+    - <task-contract-path>
+  proofs:
+    - <proof-contract-path>
+  reviews:
+    - <review-contract-path>
+  integration:
+    - <integration-contract-path>
+---
+
+# Goal: <goal-id>
+
+## Intent
+
+Explain the user-visible outcome and constraints.
+
+## Readiness Oracle
+
+Explain what proves the goal is ready.
+
+## Decomposition Notes
+
+Explain why the task split is safe for orchestration.

polyvoice-0.6.5/.coad/HANDOFF.template

@@ -0,0 +1,52 @@
+---
+schema_version: 1
+kind: handoff_contract
+task_id:
+status: complete
+changed_files: []
+proof_results: []
+contract_updates: []
+decisions: []
+known_gaps: []
+follow_up_tasks: []
+---
+
+# Handoff: <task-id>
+
+## Summary
+
+Briefly state what changed and why.
+
+## Evidence
+
+List proof results and artifact paths.
+
+## Next Work
+
+List follow-up task contracts or state `none`.
+
+## Template
+
+```markdown
+Module: src/<module>
+Workcell: leaf
+Write scope:
+  - src/<module>/mod.rs
+  - src/<module>/TODO.md
+nChanged files:
+  - src/<module>/mod.rs
+Contracts/context updated:
+  - src/<module>/TODO.md (marked task done)
+Surfaces changed:
+  - <none | name of changed surface>
+Consumers affected:
+  - <none | list affected consumers>
+Invariants checked:
+  - <invariant-id>: <result>
+Proof run:
+  - <command>: <result>
+Known gaps:
+  - <none | list gaps>
+Recommended next step:
+  - <action>
+```

polyvoice-0.6.5/.coad/INTEGRATION.template

@@ -0,0 +1,39 @@
+---
+schema_version: 1
+kind: integration_contract
+integration_id:
+baseline: main
+policy:
+  require_clean_history: true
+  require_signed_commits: false
+tasks: []
+merge_order: []
+required_before_integration:
+  - all task proof contracts pass
+  - all blocking review findings resolved
+  - no write-scope conflicts remain
+final_verification:
+  - cargo test
+  - cargo clippy --all-targets --all-features -- -D warnings
+  - coad check .
+release_evidence:
+  required:
+    - final_diff
+    - final_test_output
+    - contract_drift_report
+terminal_statuses:
+  - ready
+  - not_ready
+  - blocked
+  - failed
+---
+
+# Integration: <integration-id>
+
+## Plan
+
+Describe integration order, conflict handling, and final proof.
+
+## Terminal Status
+
+State final readiness and evidence.

polyvoice-0.6.5/.coad/LEDGER.md

@@ -0,0 +1,46 @@
+# COAD Execution Ledger — polyvoice
+
+> Level 4 artifact: completed agent work is recorded here with proof evidence.
+
+## Ledger Format
+
+```markdown
+| Date | Task ID | Owner | Module(s) | Change Class | Proof | Status |
+```
+
+## Entries
+
+| Date | Task ID | Owner | Module(s) | Change Class | Proof | Status |
+|------|---------|-------|-----------|--------------|-------|--------|
+| 2026-05-16 | der-bench-unification-001 | agent-alpha | src/der, benches/der_ami | internal_refactor | bench-compiles, bench-runs | completed |
+
+### 2026-05-16 — der-bench-unification-001
+
+**Objective**: Remove duplicate DER implementation from `benches/der_ami.rs` and
+replace with `polyvoice::der::compute_der_from_rttm`.
+
+**Changed files**:
+- `benches/der_ami.rs`
+- `src/der/TODO.md`
+
+**Proof artifacts**:
+- `cargo check --bench der_ami` — compiles
+- `cargo bench --bench der_ami -- --sample-size 10` — assertions pass
+  - perfect hypothesis DER = 0.0%
+  - confused hypothesis DER = 27.8%
+
+**Contract updates**:
+- `src/der/TODO.md` — item moved from Known Gaps to done
+
+**Handoff**: `.coad/completed/HANDOFF.record`
+**Review**: `.coad/completed/REVIEW.record`
+**Proof**: `.coad/completed/PROOF.record`
+
+---
+
+## Ledger Rules
+
+1. Every completed Level 3 task is appended to this ledger.
+2. Proof artifacts must be reproducible (commands, not chat claims).
+3. If a task is reverted, add a reversal entry with reference to original.
+4. The ledger is append-only; do not delete historical entries.

polyvoice-0.6.5/.coad/PROOF.template

@@ -0,0 +1,33 @@
+---
+schema_version: 1
+kind: proof_contract
+proof_id:
+claim: <claim being proven>
+required:
+  - kind: unit-test
+    target:
+    command:
+    blocks_readiness: true
+accepted_missing: []
+artifacts: []
+---
+
+# Proof: <proof-id>
+
+## Claim
+
+State the exact claim this proof accepts or rejects.
+
+## Evidence
+
+List command outputs, artifact paths, review reports, or manual verification records.
+
+## Example
+
+```
+Claim: DER of identical ref/hyp is exactly 0.
+Evidence:
+  - cargo test --test property_der_test::der_identical_ref_hyp_is_zero
+    test der_identical_ref_hyp_is_zero ... ok
+  - 1000 proptest cases passed
+```

polyvoice-0.6.5/.coad/README.md

@@ -0,0 +1,18 @@
+# .coad/
+
+COAD orchestration contracts and templates for polyvoice.
+
+This directory contains reusable templates for coordinated agent work:
+- **TASK_CONTRACT.md** — scoped work assignment for a leaf workcell
+- **PROOF.md** — evidence that a claim holds
+- **HANDOFF.md** — transfer of completed work between agents
+- **REVIEW.md** — structured review of a task
+- **INTEGRATION.md** — multi-task integration plan
+- **GOAL_CONTRACT.md** — top-level goal decomposition
+- **WRITE_LEASE.md** — temporary write authority for a workcell
+
+Usage: copy the relevant template, fill in the fields, and place it in the
+workcell directory or in `.coad/active/` during coordinated work.
+
+See `COAD_PROJECT_STANDARD.md` for adoption levels and `AGENT_FLOW.md` for
+the agent protocol.

polyvoice-0.6.5/.coad/REVIEW.template

@@ -0,0 +1,42 @@
+---
+schema_version: 1
+kind: review_contract
+review_id:
+target_task:
+required_reviewers:
+  - role: composite_orchestrator
+    scope: module boundary + cross-module impact
+findings:
+  severity_levels:
+    - blocker
+    - high
+    - medium
+    - low
+acceptance:
+  blocks_on:
+    - blocker
+    - high
+  requires_no_unresolved_questions: true
+outputs:
+  - review_report
+  - follow_up_task_contracts
+---
+
+# Review: <review-id>
+
+## Checklist
+
+1. Does the change stay inside declared module ownership?
+2. Did it alter public or internal surfaces?
+3. Are consumers updated or explicitly unaffected?
+4. Are invariants preserved?
+5. Is proof strong enough for the change class?
+6. Did module context change when the module changed?
+
+## Findings
+
+List findings first, ordered by severity.
+
+## Outcome
+
+State `pass`, `blocked`, or `pass_with_known_gaps`.

polyvoice-0.6.5/.coad/TASK_CONTRACT.template

@@ -0,0 +1,48 @@
+---
+schema_version: 1
+kind: task_contract
+task_id:
+objective:
+owner_role: leaf_write_agent
+status: pending
+risk: low
+change_class: internal_refactor
+modules:
+  - <affected module>
+read_scope:
+  - <files to read>
+write_scope:
+  - <files to edit>
+dependencies: []
+allowed_mutations:
+  - <safe changes>
+forbidden_mutations:
+  - <changes that require escalation>
+acceptance:
+  - <criteria for done>
+proof:
+  required:
+    - proof_id:
+      kind: unit-test
+      target:
+      command:
+handoff:
+  required_fields:
+    - changed_files
+    - proof_results
+    - contract_updates
+    - known_gaps
+---
+
+# Task: <task-id>
+
+## Context
+
+Explain only what the worker needs to execute this task safely.
+Reference the relevant `MODULE_CONTRACT.md`, `README.md`, and `TODO.md`.
+
+## Exit Criteria
+
+- **complete**: All acceptance criteria met, proof commands pass, contracts updated.
+- **blocked**: External dependency or unclear ownership — escalate to orchestrator.
+- **not_ready**: Preconditions not satisfied — do not start work.

polyvoice-0.6.5/.coad/WRITE_LEASE.template

@@ -0,0 +1,74 @@
+---
+schema_version: 1
+kind: write_lease
+lease_id:
+workcell:
+  module:
+  type: leaf
+owner:
+  agent_id:
+  role: leaf_write_agent
+task:
+  objective:
+  affected_surfaces: []
+  invariants_touched: []
+read_scope:
+  - <list files/modules agent may read for context>
+write_scope:
+  - <list files agent may mutate>
+expiry:
+  condition: <completion | timeout | human_cancellation>
+  deadline: <ISO 8601 or relative>
+proof_required:
+  - <command or check that must pass before handoff>
+parent_orchestrator:
+  agent_id:
+  escalation_path: <how to escalate conflicts>
+---
+
+# Write Lease
+
+## Rules
+
+1. One leaf workcell → one active write lease at a time.
+2. The owner may only mutate files in `write_scope`.
+3. The owner must preserve all invariants listed in the workcell contract.
+4. Before expiry, the owner must run all `proof_required` commands.
+5. Read-only agents may work in parallel without a lease.
+6. Cross-workcell changes require a migration lease from the parent orchestrator.
+
+## Example
+
+```yaml
+lease_id: fix-der-collar-001
+workcell:
+  module: src/der
+  type: leaf
+owner:
+  agent_id: agent-alpha
+  role: leaf_write_agent
+task:
+  objective: Fix collar boundary handling for 0.0s edge case
+  affected_surfaces:
+    - build_collar_mask
+  invariants_touched:
+    - collar-reduces-der
+read_scope:
+  - src/der/mod.rs
+  - src/der/MODULE_CONTRACT.md
+  - src/der/README.md
+  - src/der/TODO.md
+  - tests/der_baseline_test.rs
+write_scope:
+  - src/der/mod.rs
+  - src/der/TODO.md
+expiry:
+  condition: completion
+  deadline: "2026-05-17T12:00:00Z"
+proof_required:
+  - cargo test --lib der
+  - cargo test --test property_der_test
+parent_orchestrator:
+  agent_id: agent-lead
+  escalation_path: "Ping in #polyvoice-dev or open migration lease"
+```

polyvoice-0.6.5/.coad/completed/HANDOFF.record

@@ -0,0 +1,57 @@
+# Handoff: der-bench-unification-001
+
+## Summary
+
+Removed duplicate DER implementation from `benches/der_ami.rs` and replaced it
+with `polyvoice::der::compute_der_from_rttm`. Added a helper `to_speaker_turns`
+to map bench hypothesis tuples to `SpeakerTurn`s.
+
+## Evidence
+
+- `cargo check --bench der_ami` — compiles cleanly.
+- `cargo bench --bench der_ami -- --sample-size 10` — assertions pass:
+  - perfect hypothesis DER = 0.0% (< 5%)
+  - confused hypothesis DER = 27.8% (> 10%)
+  - benchmark throughput: ~48 µs/iteration
+
+## Changed Files
+
+- `benches/der_ami.rs` — removed local `compute_der`, added `to_speaker_turns`,
+  uses `polyvoice::der::compute_der_from_rttm`
+- `src/der/TODO.md` — marked bench unification as done
+
+## Contracts/Context Updated
+
+- `src/der/TODO.md` — moved item from Known Gaps to Current (done)
+
+## Surfaces Changed
+
+- `benches/der_ami.rs` internal surface only (no public API changes)
+
+## Consumers Affected
+
+- None (bench is a build target, not a library consumer)
+
+## Invariants Checked
+
+- `der-range`: DER results remain in [0, 1]
+- `identical-zero`: perfect hypothesis → DER ≈ 0
+- `collar-reduces-der`: bench still exercises collar logic via `compute_der_from_rttm`
+
+## Proof Run
+
+```bash
+cargo check --bench der_ami   # OK
+cargo bench --bench der_ami -- --sample-size 10   # OK
+coad check .                  # OK
+cargo test --lib              # 62 passed
+cargo clippy --all-targets --all-features -- -D warnings  # OK
+```
+
+## Known Gaps
+
+- None for this task.
+
+## Recommended Next Step
+
+Archive this handoff record to `.coad/completed/` after review.

polyvoice-0.6.5/.coad/completed/LEASE_DER.record

@@ -0,0 +1,39 @@
+---
+schema_version: 1
+kind: write_lease
+lease_id: lease-der-bench-001
+workcell:
+  module: src/der
+  type: leaf
+owner:
+  agent_id: agent-alpha
+  role: leaf_write_agent
+task:
+  objective: Update src/der TODO to reflect bench unification work
+  affected_surfaces:
+    - src/der/TODO.md
+  invariants_touched: []
+read_scope:
+  - src/der/mod.rs
+  - src/der/MODULE_CONTRACT.md
+  - src/der/README.md
+  - src/der/TODO.md
+write_scope:
+  - src/der/TODO.md
+expiry:
+  condition: completion
+  deadline: "2026-05-16T22:00:00Z"
+proof_required:
+  - coad check .
+parent_orchestrator:
+  agent_id: agent-lead
+  escalation_path: "Ping in #polyvoice-dev or open migration lease"
+---
+
+# Write Lease: src/der
+
+## Rules
+
+1. Only mutate `src/der/TODO.md`.
+2. Do not change `src/der/mod.rs` or any public surfaces.
+3. Run `coad check .` before handoff.

polyvoice-0.6.5/.coad/completed/MIGRATION_LEASE.record

@@ -0,0 +1,36 @@
+---
+schema_version: 1
+kind: migration_lease
+migration_id: mig-der-bench-001
+objective: >
+  Cross-workcell change: benches/der_ami.rs uses src/der public surface.
+  Requires temporary write access to bench file while respecting src/der
+  invariants.
+affected_workcells:
+  - module: src/der
+    reason: Consumer proof verification (bench still passes).
+  - module: benches/der_ami
+    reason: Implementation file being refactored.
+temporary_write_scope:
+  - benches/der_ami.rs
+paused_child_work:
+  - none
+proof_required:
+  - cargo check --bench der_ami
+  - cargo bench --bench der_ami
+integration_owner: agent-lead
+approved_by: agent-lead
+---
+
+# Migration Lease: DER bench unification
+
+## Justification
+
+Ordinary leaf-local work is insufficient because the change replaces a
+private bench implementation with a public cross-module surface call.
+The bench file is not a leaf workcell but is a consumer of src/der.
+
+## Rollback Plan
+
+If bench assertions fail after the change, revert to original
+benches/der_ami.rs and escalate to src/der owner for behavior review.

polyvoice-0.6.5/.coad/completed/PROOF.record

@@ -0,0 +1,42 @@
+# Proof: der-bench-unification-001
+
+## Claim
+
+`benches/der_ami.rs` no longer contains a duplicate DER implementation and
+successfully uses `polyvoice::der::compute_der_from_rttm` while preserving
+all bench assertions.
+
+## Evidence
+
+### Static Check: Compilation
+
+```bash
+$ cargo check --bench der_ami
+    Finished `dev` profile [unoptimized + debuginfo] target(s) in 4.21s
+```
+
+### Benchmark: Assertions Pass
+
+```bash
+$ cargo bench --bench der_ami -- --sample-size 10
+Synthetic DER (perfect): 0.0%
+Synthetic DER (confused): 27.8%
+der_synthetic           time:   [47.741 µs 47.981 µs 48.157 µs]
+```
+
+### Repository Validation
+
+```bash
+$ coad check .
+coad check: pass
+
+$ cargo test --lib
+test result: ok. 62 passed; 0 failed; 0 ignored
+
+$ cargo clippy --all-targets --all-features -- -D warnings
+    Finished `dev` profile [unoptimized + debuginfo] target(s)
+```
+
+## Verdict
+
+Claim **accepted**. Bench unification is complete and verified.

polyvoice-0.6.5/.coad/completed/REVIEW.record

@@ -0,0 +1,19 @@
+# Review: der-bench-unification-001
+
+## Checklist
+
+1. ✅ Change stays inside declared scope (benches/der_ami.rs + src/der/TODO.md)
+2. ✅ No public surfaces altered
+3. ✅ Consumers unaffected (bench is not a library consumer)
+4. ✅ Invariants preserved (DER semantics unchanged)
+5. ✅ Proof strong enough (compiles + bench assertions pass)
+6. ✅ Module context updated (TODO.md marked done)
+
+## Findings
+
+- **low**: Consider adding a dedicated `criterion` bench for `compute_der` in
+  isolation (micro-benchmark on synthetic data) as noted in `src/der/TODO.md`.
+
+## Outcome
+
+**pass**

polyvoice-0.6.5/.coad/completed/TASK_DER_BENCH_UNIFICATION.record

@@ -0,0 +1,78 @@
+---
+schema_version: 1
+kind: task_contract
+task_id: der-bench-unification-001
+objective: >
+  Remove duplicate DER implementation from benches/der_ami.rs and replace it
+  with polyvoice::der::compute_der_from_rttm. Eliminates maintenance risk
+  from divergent DER logic.
+owner_role: leaf_write_agent
+status: in_progress
+risk: low
+change_class: internal_refactor
+modules:
+  - src/der
+  - benches/der_ami
+read_scope:
+  - src/der/mod.rs
+  - src/der/MODULE_CONTRACT.md
+  - src/der/TODO.md
+  - src/der/README.md
+  - benches/der_ami.rs
+  - src/types/mod.rs
+write_scope:
+  - benches/der_ami.rs
+  - src/der/TODO.md
+dependencies:
+  - src/types (SpeakerTurn, SpeakerId, TimeRange data shapes)
+  - src/der (compute_der_from_rttm public surface)
+allowed_mutations:
+  - Replace local compute_der in bench with crate call.
+  - Add use statements for polyvoice types in bench.
+  - Update src/der/TODO.md to mark task done.
+forbidden_mutations:
+  - Changing compute_der_from_rttm signature or behavior.
+  - Changing bench assertions or thresholds.
+  - Modifying src/der/mod.rs implementation.
+acceptance:
+  - benches/der_ami.rs no longer contains a local compute_der function.
+  - bench still compiles: cargo bench --bench der_ami compiles.
+  - bench assertions still pass on synthetic data.
+  - coad check . passes.
+proof:
+  required:
+    - proof_id: bench-compiles
+      kind: static-check
+      target: benches/der_ami.rs
+      command: cargo check --bench der_ami
+    - proof_id: bench-runs
+      kind: benchmark
+      target: benches/der_ami.rs
+      command: cargo bench --bench der_ami
+handoff:
+  required_fields:
+    - changed_files
+    - proof_results
+    - contract_updates
+    - known_gaps
+---
+
+# Task: Unify DER computation in benchmark
+
+## Context
+
+`benches/der_ami.rs` maintains its own simplified 100ms-resolution DER impl.
+This diverges from `src/der/mod.rs` and is a maintenance risk (tracked in
+`src/der/TODO.md` Known Gaps and `docs/strategy/dead-code-cleanup-plan.md`).
+
+`src/der::compute_der_from_rttm` accepts `&[(f64, f64, &str)]` for reference
+and `&[SpeakerTurn]` for hypothesis — compatible with bench data after a
+lightweight mapping of hypothesis tuples to SpeakerTurns.
+
+## Exit Criteria
+
+- **complete**: Local compute_der removed, bench uses crate function,
+  assertions pass, TODO updated.
+- **blocked**: If compute_der_from_rttm behavior differs enough to break
+  bench assertions — escalate to src/der owner for invariant review.
+- **not_ready**: If src/der contract or tests are failing — do not start.