ostinelli/syn

This system is a distributed process registry and group management library for Erlang, known as Syn. It provides mechanisms for registering and discovering processes across a cluster, managing process groups, and handling conflict resolution in distributed environments. The codebase includes comprehensive testing, including property-based and formal verification, to ensure correctness and handle edge cases like network splits and race conditions.

Added new documentation files (CONTRIBUTING.md, INTERNALS.md, LICENSE.md, and updated README.md) and project configuration files (Makefile, rebar.config, rebar.lock, docs.config, docs.sh) to improve project setup, build processes, and user guidance.

(repo-wide) · high confidence

The library has been updated to version 3.4.2, introducing a new \syn.app.src\ file that registers the \syn\_backbone\, \syn\_pg\, \syn\_registry\, and \syn\_sup\ modules as part of the application's \registered\ list.

src · high confidence

Added TLA+ formal model and tests for the Syn registry; Added comprehensive test suites and test helpers for the Syn registry and process groups; Added placeholder for test results directory; Added property-based tests for Syn's registry and process groups.

Written by watchdog.canine.dev from the codebase's own history, inside the signed delivery this page is composed from.

• CAI 66 → 69 (+3.0)
• Rubric changed (rubric-2026.08.19 → rubric-2026.09.15) — scores are not directly comparable.

• Code Health 85 → 94 (+9.3)
• Architecture 100 → 100 (+0.0)
• Maturity 54 → 59 (+5.1)
• Readiness 68 → 60 (-7.3)
• Security 85 → 100 (+14.7)

• Coverage not included — suite not readable by the collector
• Dependency hygiene not measured — dependency manifest found but not parsed for hygiene
• High: security finding (details withheld)
• High: security finding (details withheld)
• No exposed public API
• Off-boarding risk: anonymized user #1
• Test reliability not included
• TooManyMethods: syn_pg (src/syn_pg.erl)
• TooManyMethods: syn_registry (src/syn_registry.erl)
• complexity unreadable for .erl, .hrl — churn × complexity hotspots could not be measured

• Coverage not measured — no coverage collector is wired up
• Dependency hygiene PARTLY measured — rebar3 pinning read, dependency currency not (no rebar.lock-pinned Hex declaration to grade)
• Documentation: no installation or build instructions (README.md)
• Documentation: no usage examples (README.md)
• Duplicated block (11 lines × 2) (src/syn_pg.erl)
• Duplicated block (17 lines × 2) (src/syn_pg.erl)
• Duplicated block (17 lines × 2) (src/syn_pg.erl)
• Duplicated block (5 lines × 2) (src/syn_pg.erl)
• Duplicated block (6 lines × 2) (src/syn_pg.erl)
• Duplicated block (9 lines × 2) (src/syn_pg.erl)
• Duplicated block (9 lines × 2) (src/syn_pg.erl)
• High: security finding (details withheld)
• High: security finding (details withheld)
• Workflow token permissions not restricted
• syn_registry.handle_call (cognitive 17) (src/syn_registry.erl)

Written by watchdog.canine.dev from the codebase's own history, inside the signed delivery this page is composed from.

ostinelli/syn was measured the same way every project in this corpus was: the same rubric, at a pinned commit, with the result published in full. Point a surveyor at a repository you know and see whether you agree with it.