Source map and evidence
Where each documented behavior lives in the Owarine checkout, and what evidence backs it.
The docs live in the same repository at docs-site/, and the paths below are relative to its root.
| Behavior | Source owner | Evidence boundary |
|---|---|---|
| Contracts: Series, Window terms, prints, quotes, legs, cash, resolution, reserves | daml/abu-pm-main/daml/PM/ | The daml/pm-tests scripts (conservation, privacy, races, resolution, exits, the maker vault) |
| Tickets, agents, games | daml/abu-pm-tickets/, daml/abu-pm-agents/, daml/abu-pm-games/ | Their pm-tests modules; the released DARs and hashes in daml/released/ |
| Ledger client and Daml bindings | packages/ledger/src/, packages/daml-clients/ (generated) | Unit tests and sandbox integration tests |
| Seats: key, lease, link, funding, drain | web/src/lib/seat-store.server.ts, web/src/lib/seat-link-store.server.ts, web/src/app/api/seat/, mobile/src/wallet/seat-key.ts, services/ops/src/actors/seat-funding/ | Postgres tests; seat routes driven on a local sandbox |
| Seat writes and the view switcher | web/src/app/api/ledger/, web/src/app/api/view/, packages/markets/src/server/ | The no-party-from-request invariant; the four-viewpoint rehearsal |
| Venue actors: roller, pricer, issuer, sweeper, netting, settler | services/ops/src/actors/venue/ and the actor folders beside it | Dated drive records, addressed by the capability inventory's Git references |
| Oracle and lane feeders, resolver | services/ops/src/actors/price-relay/, services/ops/src/actors/resolver/, packages/core/src/market/print-source.ts | Archived raw payloads and their hashes; per-Window results in the recorded evidence |
| Projector and reads | services/ops/src/actors/projector/, packages/db/src/, web/src/app/api/index/ | verify-projection and a rebuild from offset 0 that must equal the live tables |
| Proof pages | web/src/features/proof/, web/src/app/proof/ | Each print and resolution rendered from ledger data and its archive; Re-verify |
| Registry, baskets and integer index | packages/core/src/market/baskets.ts | Frozen member bases and arithmetic; basket Windows resolved on a local sandbox |
| Closed-market board and session lines | web/src/features/markets/word-board/, packages/core/src/market/horizons.ts, packages/core/src/copy/session-words.ts | Behavior depends on the hour; read the live board |
| Desk rules and record | packages/core/src/desk/, packages/markets/src/desk/, services/ops/src/actors/desk-runner/, daml/abu-pm-agents/daml/PM/Agents/Desk.daml | Earlier local evidence records a funded mandate, without a trade; 8 October hosted practice creation had zero completed checks |
.github/verification/capabilities.json preserves all 219 capabilities as not-live, local or live, with their original evidence states. The capabilities-evidence invariant checks local paths and historical git:<revision>:<path> objects; use a full-history clone. .github/verification/acceptance.md records the first-call DevNet journeys on 6 October and the Canton Coin round trip on 7 October. Internal plans and raw review captures remain local under ignored docs/; they are not runtime dependencies. The repository's hackcanton-s3-start tag identifies the prior-work boundary.