# Test Registry

All tests run with: `cargo test --features "serde,serde_json"`

Stress tests require: `cargo test --features "serde,serde_json" -- --ignored`

## Summary

| Category | Count | Run Time |
|----------|-------|----------|
| Core tests (branch, trace, dagwood, content) | 94 | ~50ms |
| Serde round-trip tests | 16 | included |
| Stress tests (#[ignore]) | 8 | ~100ms |
| **Total** | **118** | **~150ms** |

---

## Branch Tests (branch.rs)

| ID | Name | Purpose | Status |
|----|------|---------|--------|
| T1 | `root_branch_starts_at_position_2` | Root branch initial state | passing |
| T2 | `tree_branch_has_parent` | Tree branch parent linkage | passing |
| T3 | `dag_branch_has_two_parents` | Dag branch dual parents | passing |
| T4 | `next_position_increments` | Position counter starts at 2, increments to 3+ | passing |
| T5 | `install_branch_first_child_goes_left` | First child installed on left | passing |
| T6 | `install_branch_second_child_rotates` | Swap-after-recurse distributes children | passing |
| T7 | `install_branch_idempotent_for_self` | Self-install is a no-op | passing |
| T8 | `install_branch_grows_depth` | 5 children produce depth > 1 | passing |
| T_extra | `evict_transitions_to_stub` | Evict changes state to Stub | passing |
| T_extra | `branch_id_stability_across_evict` | BranchId survives eviction | passing |
| T_extra | `evict_already_stubbed_is_idempotent` | Double-evict is safe | passing |
| T_extra | `contents_hash_is_deterministic` | Hash is stable | passing |
| P6 | `stress_install_branch_1000` | 1,000 children, tree traversal reachability | ignored |

## Trace Tests (trace.rs)

| ID | Name | Purpose | Status |
|----|------|---------|--------|
| T9 | `equality_same_branch_same_position` | Equality semantics | passing |
| T10 | `inequality_different_position` | Same branch, different position | passing |
| T11 | `inequality_different_branch` | Different branches, same position | passing |
| T12 | `hash_deterministic` | Hash is stable across calls | passing |
| T13 | `hash_formula` | Hash matches documented formula | passing |

## DagWood Tests (dagwood.rs)

| ID | Name | Purpose | Status |
|----|------|---------|--------|
| D1 | `constructor_root_is_position_1` | Root at (1,1) | passing |
| D2 | `constructor_initial_branch_at_position_3` | Trunk branch starts at position 3 | passing |
| D3 | `constructor_creates_one_trunk_entry` | One trunk entry after construction | passing |
| D4 | `new_position_returns_position_3` | Fork returns position 3 | passing |
| D5 | `new_position_creates_distinct_branches` | Each fork gets a unique branch | passing |
| D6 | `new_position_populates_branch_tree` | Forks populate install_branch tree | passing |
| D7 | `reflexivity` | A <= A for all positions | passing |
| D8 | `antisymmetry` | A<=B and B<=A implies A==B | passing |
| D9 | `transitivity` | A<=B and B<=C implies A<=C | passing |
| D10 | `root_ancestor_of_all` | Root is ancestor of every position | passing |
| D11 | `same_branch_monotonic_ordering` | Positions on same branch are ordered | passing |
| D12 | `simple_fork_ancestry` | Fork position descends from trunk | passing |
| D13 | `simple_merge_ancestry` | Merge descends from both parents | passing |
| D14 | `cross_branch_transitivity` | A<=root and root<=merged implies A<=merged | passing |
| D15 | `deeper_ancestry` | Multi-level ancestry chain | passing |
| D16 | `diverged_descendants_incomparable` | Forked positions are incomparable | passing |
| D17 | `no_phantom_ordering` | Unrelated positions have no ordering | passing |
| D18 | `cache_reuse_same_reference` | Cache hit for same reference | passing |
| D19 | `cache_equals_recomputed_simple` | Cache matches brute force (simple) | passing |
| D20 | `cache_invalidation_new_reference` | Cache clears on reference change | passing |
| D21 | `cache_equals_recomputed_deep` | Cache matches brute force (deep) | passing |
| D22 | `dag_convergence_cache_value` | Cache[trunk] = max(path values) | passing |
| D23 | `deep_dag_multi_merge` | Ancestry through multiple merge layers | passing |
| D24 | `max_over_paths` | Max over all paths in diamond | passing |
| D25 | `merge_preserves_parent_incomparability` | Parents remain incomparable after merge | passing |
| D26 | `property_reflexivity` | Property: A<=A on random DAGs (5 seeds, 30 ops) | passing |
| D27 | `property_antisymmetry` | Property: antisymmetry on random DAGs (5 seeds) | passing |
| D28 | `property_transitivity` | Property: transitivity on random DAGs (5 seeds) | passing |
| D29 | `property_cache_equivalence` | Property: cache=brute on random DAGs (5 seeds) | passing |
| D30 | `stress_deep_linear_chain` | 200-position chain, cache verification | passing |
| D31 | `stress_wide_fork_tree` | 100 root forks, pairwise incomparability | passing |
| D32 | `stress_repeated_merges` | 50 merge-extend cycles | passing |
| D33 | `stress_heavy_cache_reuse` | 1,020 comparisons against same reference | passing |
| S1 | `same_branch_successor` | Next position is a successor | passing |
| S2 | `no_same_branch_successor_at_tip` | Tip has no same-branch successor | passing |
| S3 | `cross_branch_successors` | Root has cross-branch successors | passing |
| S4 | `no_cross_branch_successors_for_leaf` | Leaf has no cross-branch successors | passing |
| S5 | `successors_after_fork` | Same + cross branch successors combined | passing |
| S6 | `successors_at_branch_end_with_forks` | Fork creates cross-branch successor | passing |
| S7 | `successors_are_forward` | Every successor S of P satisfies P <= S | passing |
| V1 | `trace_view_matches_is_le` | TraceView agrees with is_le (basic) | passing |
| V2 | `trace_view_independent_of_internal_cache` | TraceView ignores DagWood cache state | passing |
| V3 | `visible_branches_and_max` | Branch count and max position correct | passing |
| V4 | `visible_max_none_for_unreachable` | Unreachable branches return None | passing |
| V5 | `trace_view_on_deep_dag` | Visibility through multi-level DAG | passing |
| V6 | `trace_view_matches_is_le_on_random_dags` | Property: view=brute on random DAGs (5 seeds) | passing |
| P1 | `stress_deep_linear_10k` | 10,000 position chain, sampled is_le checks | ignored |
| P2 | `stress_exponential_merge_dag` | 2,047 branches (binary merge tree), visited-set test | ignored |
| P7 | `stress_cache_thrashing` | 1,000 is_le calls, 10 alternating references | ignored |
| P8 | `stress_trace_view_500_branches` | TraceView on 500+ branch DAG | ignored |

## Content Tests (content.rs)

| ID | Name | Purpose | Status |
|----|------|---------|--------|
| C1 | `basic_creation` | Create node + span + text + attach | passing |
| C2 | `structural_attachment` | Parent-child structure via AttachChild | passing |
| C3 | `same_branch_overwrite` | Later assertion overwrites earlier | passing |
| C4 | `delete_suppression` | DeleteSpan hides span from view | passing |
| C5 | `detach_suppression` | DetachChild hides child from view | passing |
| C6 | `cross_branch_merge_alternatives` | 3-branch merge produces 3 alternatives | passing |
| C7 | `visibility_filtering` | Assertions outside view are invisible | passing |
| C8 | `annotation_on_node` | Annotation attached to node | passing |
| C9 | `annotation_on_span` | Annotation attached to span | passing |
| C10 | `delete_annotation` | DeleteAnnotation suppresses annotation | passing |
| C11 | `delete_node_suppresses` | DeleteNode hides node and descendants | passing |
| C12 | `view_before_creation` | View at earlier position sees nothing | passing |
| C13 | `annotation_on_span` | Annotation data preserved through materialization | passing |
| C14 | `structural_attachment` | Ordinal ordering of children | passing |
| M1 | `merge_compatible_different_properties` | Text + annotation coexist | passing |
| M2 | `merge_text_conflict_produces_alternatives` | Text conflict preserved as alternatives | passing |
| M3 | `merge_agreement_collapses` | Same value collapses to Single | passing |
| M4 | `merge_delete_vs_modify` | Delete wins over modify | passing |
| M5 | `merge_multi_merge_preserves_alternatives` | Diamond-of-diamonds: 4 alternatives survive | passing |
| S1-S16 | `serde_*` | Serde round-trip tests (16 tests) | passing |
| P3 | `stress_materialize_10k_assertions` | 100 nodes x 10 spans, full document materialization | ignored |
| P4 | `stress_deep_nesting_100` | 100 nested node levels, recursive materialization | ignored |
| P5 | `stress_100_branch_alternatives` | 100 branches with conflicting text, all alternatives preserved | ignored |
| COV1 | `materialize_entity_node` | Entity dispatcher: Node variant | passing |
| COV2 | `materialize_entity_span` | Entity dispatcher: Span variant | passing |
| COV3 | `materialize_entity_annotation` | Entity dispatcher: Annotation variant | passing |
| COV4 | `materialize_entity_not_found` | Entity dispatcher: NotFound variant | passing |
| COV5 | `alternative_set_values` | values() accessor for Single and Alternatives | passing |
| COV6 | `alternative_set_is_single` | is_single() returns correct bool | passing |
| COV7 | `alternative_set_single_value` | single_value() returns Some/None correctly | passing |
| COV8 | `alternative_set_empty_alternatives` | Empty Alternatives edge case | passing |
| COV9 | `all_assertions_accessor` | all_assertions() length tracking | passing |

## Ent Tests (ent.rs)

| ID | Name | Purpose | Status |
|----|------|---------|--------|
| E1 | `ent_new_trace_returns_distinct_branches` | Each trace gets unique branch | passing |
| E2 | `ent_new_trace_returns_position_3` | Trace starts at position 3 | passing |
| E3 | `ent_table_segment_max_size` | Segment max is 16384 | passing |

## WASM Tests (wasm.rs)

| ID | Name | Purpose | Status |
|----|------|---------|--------|
| W1 | `wasm_add_valid_payload` | Valid JSON payload accepted | passing |
| W2 | `wasm_add_rejects_unknown_variant` | Unknown variant throws with suggestion | passing |
| W3 | `wasm_add_rejects_missing_field` | Missing field throws with field name | passing |
| W4 | `wasm_add_rejects_wrong_type` | Wrong JSON type throws | passing |
| W5 | `wasm_add_rejects_invalid_json` | Non-JSON input throws | passing |
| W6 | `wasm_materialize_empty_store` | Empty store returns null root | passing |
| W7 | `wasm_assertion_count_tracks_adds` | Count increments with each add | passing |
| W8 | `wasm_full_pipeline` | Create doc, add assertions, materialize, verify JSON | passing |
| W9 | `wasm_materialize_document_json_string` | JSON string output works | passing |
| W10 | `wasm_large_document_pipeline` | 200 nodes through full WASM pipeline | passing |

## Enhancement Opportunities

Areas for future expansion:

| Area | Current Limitation | Enhancement |
|------|-------------------|-------------|
| P1 scale | 10K chain | Push to 100K to benchmark is_le cache |
| P3 scale | 10K assertions | Push to 100K, add timing assertions |
| P4 depth | 100 levels | Push to 1,000 levels, test stack limits |
| P5 branches | 100 alternatives | Push to 1,000, benchmark AlternativeSet growth |
| P6 children | 1,000 children | Push to 10,000, verify install_branch balance |
| P2 merges | 2,047 branches | Push to 4 levels deeper (32K branches) |
| Concurrent operations | Not tested | Interleave fork/merge/add/materialize randomly |
| Eviction stress | Not tested | Evict 50% of branches, then access patterns |
| Serialization throughput | Not tested | Benchmark serde_json for 100K assertion documents |
| WASM browser tests | Not tested | Run test suite in actual browser via wasm-pack test --chrome |