Skip to content

feat(ring-080..087): ternary collection specs — sorting, search, pattern, graph, tree, set, hash#558

Merged
gHashTag merged 2 commits intomasterfrom
feat/ring-080-088-ternary-specs
Apr 29, 2026
Merged

feat(ring-080..087): ternary collection specs — sorting, search, pattern, graph, tree, set, hash#558
gHashTag merged 2 commits intomasterfrom
feat/ring-080-088-ternary-specs

Conversation

@gHashTag
Copy link
Copy Markdown
Owner

Summary

  • Add 6 new ternary collection spec files (Ring 080-087)
  • Each spec includes operations, tests, invariants, and benchmarks per L4 (TDD-MANDATE)
Ring Spec Key Operations
080 ternary_sorting.t27 bubble, selection, insertion, quick sort
081 ternary_search.t27 linear, binary, ternary search; count, min, max
082 ternary_pattern_matching.t27 exact match, wildcard, hamming distance, LCP
083 ternary_graph.t27 adjacency matrix, degree in/out, 2-hop path
084 ternary_tree.t27 binary tree: depth, count, sum, balance check
085 ternary_set.t27 sorted set: insert, union, intersection, difference
087 ternary_hash.t27 hash table with linear probing, lookup, remove

Closes #260 Closes #262 Closes #264 Closes #267 Closes #269 Closes #271 Closes #275

Constitutional compliance

  • L2: specs in specs/isa/, not gen/
  • L3: ASCII-only, English identifiers
  • L4: every spec has test, invariant, bench
  • L7: no new shell scripts

Closes #260  Closes #262  Closes #264  Closes #267  Closes #269  Closes #271  Closes #275

Ring 080: ternary_sorting — bubble/selection/insertion/quick sort
Ring 081: ternary_search — linear/binary/ternary search, count, min/max
Ring 082: ternary_pattern_matching — exact match, wildcard, hamming, LCP
Ring 083: ternary_graph — adjacency matrix, degree, 2-hop path
Ring 084: ternary_tree — binary tree with depth, count, sum, balance
Ring 085: ternary_set — sorted set with union/intersection/difference
Ring 087: ternary_hash — hash table with linear probing
@github-actions
Copy link
Copy Markdown

📓 NotebookLM Notebook linked to this PR

This notebook contains session context, decisions, and artifacts for this work.

1 similar comment
@github-actions
Copy link
Copy Markdown

📓 NotebookLM Notebook linked to this PR

This notebook contains session context, decisions, and artifacts for this work.

Closes #260  Closes #262  Closes #264  Closes #267  Closes #269  Closes #271  Closes #275
@gHashTag gHashTag force-pushed the feat/ring-080-088-ternary-specs branch from db4535a to f20157a Compare April 29, 2026 20:10
@github-actions
Copy link
Copy Markdown

📓 NotebookLM Notebook linked to this PR

This notebook contains session context, decisions, and artifacts for this work.

@gHashTag gHashTag merged commit 5921c98 into master Apr 29, 2026
11 of 12 checks passed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

1 participant