jschoubben adb0acdfae G V-8 (A-3): the finding writer is generic over the contract's body types and works on their wire form ...

Writer[F, C, S, A any] marshals a body, reads and sets kind, scope, id, subject, at, since and
observer by their contract names; the interfaces FindingBody, ClearedBody, StatedBody, AskedBody
and the constructors go. A body whose wire form lacks a field the contract names is refused when
the writer is made. views.CheckFinding(any) judges the wire form. WriterFindings takes only the
writer.

Builds: design 47 G §686, §640, §687, §689, A-3 (.work/47-G/dev2-ledger.md)
Claude-Session: https://claude.ai/code/session_01JG73KEq4zoDfM9WtYpcQgZ

2026-11-11 21:38:04 +01:00

..

viewstest

views: an owner's changes are ordinary events on the shared events stream, heard on the reader's one durable consumer; Follow takes no stream, Other takes the rest (ADR 0635 §5, D-25; issue 1966)

2026-11-05 14:36:41 +01:00

contract_fake_test.go

G V-8 (A-3): the finding writer is generic over the contract's body types and works on their wire form

2026-11-11 21:38:04 +01:00

emit.go

Keep a views reader's copy equal to its owner's: no false gaps, a lost last change caught up (issue 1966)

2026-11-09 21:15:55 +01:00

findings.go

G V-5, V-6: a views reader writes its findings through the part's writer; a writer owns kinds and judges an owner's form

2026-11-11 20:26:21 +01:00

follow.go

G §521: a per-branch state's event names the state, and the key's first token routes it to the branch's view

2026-11-11 13:53:25 +01:00

handacts.go

views: the hand-act recorder and the finding writer come from the caller as interfaces, no hand-acts or health import (ADR 0635 §4; issue 1966)

2026-11-05 13:44:38 +01:00

process_reader_integration_test.go

G V-5: the views readers adopt a view after their start, and drop one (issue 1966)

2026-11-11 16:04:43 +01:00

process_reader.go

G V-5: the views readers adopt a view after their start, and drop one (issue 1966)

2026-11-11 16:04:43 +01:00

reader.go

G V-8 (A-3): the finding writer is generic over the contract's body types and works on their wire form

2026-11-11 21:38:04 +01:00

status.go

G V-5: the views status tools take the state they write by a small interface, so the again tool's test refuses at once, not after 30 s

2026-11-11 20:25:31 +01:00

tools.go

A page's time budget is sent to the runtime, and a verb the runtime lacks is told by its code (issue 1966)

2026-11-09 09:00:20 +01:00

views_test.go

G V-5: the views status tools take the state they write by a small interface, so the again tool's test refuses at once, not after 30 s

2026-11-11 20:25:31 +01:00

views.go

Keep a views reader's copy equal to its owner's: no false gaps, a lost last change caught up (issue 1966)

2026-11-09 21:15:55 +01:00

writer_integration_test.go

G V-8 (A-3): the finding writer is generic over the contract's body types and works on their wire form

2026-11-11 21:38:04 +01:00

writer_test.go

G V-8 (A-3): the finding writer is generic over the contract's body types and works on their wire form

2026-11-11 21:38:04 +01:00

writer.go

G V-8 (A-3): the finding writer is generic over the contract's body types and works on their wire form

2026-11-11 21:38:04 +01:00