blob: d341c3d48be2210a5018e0458a3190fd950b2a0e (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
|
CLEVER-F CONFORMANCE ASSETS
PURPOSE
These files are the Phase 1 conformance ledger and reference fixtures. They define checks before plugin implementation starts.
FILES
requirements.tsv
One row represents one normative rule. The requirement identifier has the form CF-SSSS-NNN. SSSS is the specification section with punctuation removed. NNN is an ordinal inside that section.
scenario-schema.json
JSON Schema Draft 2020-12 contract for host-neutral fixtures.
fixtures/reference-examples.json
Scenarios transcribed from specification sections 11 and 15.
fixtures/transition-fixtures.json
Scenarios for cleanup and exact field-retention transitions.
migemo-assets.txt
Inventory and request for the three normative Migemo data sets.
specification-observations.txt
Traceability notes for source examples that require confirmation.
phase-status.txt
Completion and block status for affected implementation phases.
LEDGER COLUMNS
requirement_id
Stable identifier for one normative rule.
strength
REQUIRED maps to SHALL and normative declarative behavior. RECOMMENDED maps to SHOULD. OPTIONAL maps to MAY.
source
Specification section that owns the rule.
rule
Host-neutral statement of the rule.
leaf_scope
One leaf scope from implementation-strategy.txt section 2.
component_owner
One responsibility component from implementation-strategy.txt section 3.
planned_check
A concrete check for a later unit, integration, adapter, or conformance test.
fixture_ids
Initial scenario coverage. A hyphen means that the planned check will become a fixture during its implementation phase.
SCENARIO CONVENTIONS
- Positions use one-based lines and one-based byte columns.
- Step indexes, packet indexes, event indexes, and time-value indexes use zero-based JSON array indexes.
- Buffer lines contain decoded editor text. effective_encoding selects the byte representation used by the host text view.
- Raw input packets store decimal byte values.
- An omitted configuration key uses the specification default.
- Resource identities are stable symbolic test identities.
- Operations in each expected list use observation order.
- A state snapshot is a partial structural assertion. Omitted state fields are outside that snapshot assertion.
- retained_fields and cleared_fields name transition fields that a test must compare with the preceding state.
- Events run after the action transition that caused them. A standalone event uses the state in given or in the latest set_state step.
- final_buffer and action outcome buffer_lines record operator effects.
- dot_payload records the effective descriptor and resolved target.
COVERAGE RULE
Every ledger row has one leaf scope, one component owner, and one planned check. Initial fixture identifiers connect required interactions and transition checks to declarative scenarios. Later phases can add fixture identifiers without changing requirement identifiers.
|
