objectionary/phino

View on GitHub

Command-Line Normalizer, Rewriter, and Dataizer of 𝜑-Calculus Expressions

Stars: 18
Forks: 13
Open beginner issues: 0
Indexed issues: 37
Avg merge: 6h 24m
Merged PRs (30d): 150

Dominant language: Haskell
License: No license data
Last GitHub push: Sep 20, 2026
Latest indexed: Sep 19, 2026
Contributing guide: No contributing guide
Code of conduct: No code of conduct
Beginner labels: help wanted

Beginner friendly Everything

Open All

37 open issues indexed

A --symbolic entry without λ or 𝑛 is reported as key "\955" / "\119899" not found Open

Difficulty 2/5 1-3 hours Newbie friendliness 84/100

objectionary/phino#1333 · Opened Sep 19, 2026
A misspelled key in a rule file (wehn: for when:) is silently ignored, so the guard disappears Open

Difficulty 3/5 1-2 days Newbie friendliness 78/100

objectionary/phino#1332 · Opened Sep 19, 2026
--in-place on an XMIR input overwrites the .xmir file with phi text Open

Difficulty 2/5 1-3 hours Newbie friendliness 84/100

objectionary/phino#1331 · Opened Sep 19, 2026
XMIR round trip drops the atom attribute, so the EO printer writes an atom without its type Open

Difficulty 3/5 1-2 days Newbie friendliness 68/100

objectionary/phino#1330 · Opened Sep 19, 2026
README says random-tau accepts bindings and attributes, but it refuses any argument Open

Difficulty 2/5 1-3 hours Newbie friendliness 88/100

objectionary/phino#1329 · Opened Sep 19, 2026
A rule with an unknown function in 'where' is accepted at load time and fails only when it matches Open

Difficulty 2/5 1-3 hours Newbie friendliness 75/100

objectionary/phino#1328 · Opened Sep 19, 2026
A malformed rule condition fails with 'Error in $.when: empty' instead of its own message Open

Difficulty 3/5 1-2 days Newbie friendliness 72/100

objectionary/phino#1327 · Opened Sep 19, 2026
Rule functions sum, concat and dataize reject Φ.bytes, although the README says they accept it Open

Difficulty 3/5 1-2 days Newbie friendliness 76/100

objectionary/phino#1326 · Opened Sep 19, 2026
sed in a rule accepts s/a with no replacement and silently deletes the match Open

Difficulty 2/5 1-3 hours Newbie friendliness 78/100

objectionary/phino#1325 · Opened Sep 19, 2026
--canonize renames the λ ⤍ Package marker, so packages are lost in XMIR and merge Open

Difficulty 3/5 1-2 days Newbie friendliness 78/100

objectionary/phino#1324 · Opened Sep 19, 2026
XMIR listing keeps ]]> unescaped, so the XMIR is not well-formed XML Open

Difficulty 2/5 1-3 hours Newbie friendliness 84/100

objectionary/phino#1323 · Opened Sep 19, 2026
Normalization produces Φ( ρ ↦ … ), which phino cannot parse back Open

Difficulty 3/5 1-2 days Newbie friendliness 68/100

objectionary/phino#1322 · Opened Sep 19, 2026
XMIR reader drops the bindings of an argument formation that also holds data Open

Difficulty 3/5 1-2 days Newbie friendliness 78/100

objectionary/phino#1321 · Opened Sep 19, 2026
Applying a formation is written to XMIR with an empty @base and cannot be read back Open

Difficulty 3/5 1-2 days Newbie friendliness 82/100

objectionary/phino#1320 · Opened Sep 19, 2026
XMIR written for a dispatch on the terminator (⊥.t) cannot be read back Open

Difficulty 2/5 1-3 hours Newbie friendliness 85/100

objectionary/phino#1319 · Opened Sep 19, 2026
One morphed term embeds the universe 184 times, so a dead object still costs linear time (resources/normalize/dot.yaml, src/Matcher.hs:175) Open

bug

objectionary/phino#1318 · 5 comments · 1 assignee · Opened Sep 19, 2026
xmirToPhi drops text after a comment inside an o element Open

bug help wanted

Difficulty 2/5 1-3 hours Newbie friendliness 84/100

objectionary/phino#1283 · Opened Sep 17, 2026
replaceExpressionFast loops forever on an empty formation pattern Open

bug help wanted

Difficulty 2/5 1-3 hours Newbie friendliness 88/100

objectionary/phino#1282 · Opened Sep 17, 2026
replaceAll splits UTF-8 characters when the regex matches an empty string Open

bug help wanted

Difficulty 2/5 1-3 hours Newbie friendliness 84/100

objectionary/phino#1277 · Opened Sep 17, 2026
overlapping lambda regex keys silently shadow later entries Open

bug help wanted

Difficulty 4/5 3-5 days Newbie friendliness 52/100

objectionary/phino#1276 · Opened Sep 17, 2026
regexp replacement overflows on an oversized group index Open

bug help wanted

Difficulty 2/5 1-3 hours Newbie friendliness 84/100

objectionary/phino#1275 · Opened Sep 17, 2026
randomString can return duplicate values under concurrent calls Open

Difficulty 3/5 1-2 days Newbie friendliness 72/100

objectionary/phino#1274 · Opened Sep 17, 2026
allPathsIn recurses forever through directory symlink cycles Open

bug

Difficulty 3/5 1-2 days Newbie friendliness 68/100

objectionary/phino#1273 · Opened Sep 17, 2026
Actionlint workflow downloads a checker from mutable main Open

Difficulty 2/5 1-3 hours Newbie friendliness 72/100

objectionary/phino#1238 · Opened Sep 16, 2026
Several CI workflows execute actions from moving master branches Open

Difficulty 2/5 1-3 hours Newbie friendliness 75/100

objectionary/phino#1237 · Opened Sep 16, 2026
shiftL word8 8 is undefined behavior per Haskell spec Open

bug

Difficulty 2/5 1-3 hours Newbie friendliness 84/100

objectionary/phino#1177 · 1 comment · Opened Sep 10, 2026
Bidirectional recursion: atom↔dataize via ask-channel can loop until step budget exhaustion Open

Difficulty 4/5 3-5 days Newbie friendliness 52/100

objectionary/phino#1175 · Opened Sep 10, 2026
Resource leak: Atoms script staging temp files not cleaned on write failure Open

bug

Difficulty 2/5 1-3 hours Newbie friendliness 85/100

objectionary/phino#1174 · 3 comments · Opened Sep 10, 2026
Builder.buildExpression creates ExFormation without withVoidRho violating invariant Open

bug

Difficulty 2/5 1-3 hours Newbie friendliness 88/100

objectionary/phino#1173 · 2 comments · Opened Sep 10, 2026
Matcher.combinatorialSubstitution explosion DoS via crafted YAML rules with multiple !B metas Open

Difficulty 5/5 Over a week Newbie friendliness 45/100

objectionary/phino#1171 · Opened Sep 10, 2026
unsafePerformIO inside pure isNF/matchesAnyNormalizationRule runs throwing IO Open

bug

Difficulty 5/5 Over a week Newbie friendliness 35/100

objectionary/phino#1080 · 2 comments · Opened Sep 5, 2026
meetCondition silently swallows exceptions from when/having conditions (dataize/matches errors become condition not met) Open

bug

Difficulty 3/5 1-2 days Newbie friendliness 64/100

objectionary/phino#1079 · 3 comments · Opened Sep 5, 2026
Atoms loop to --max-steps when the universe lacks true/false/number (wider than NaN); --partial gives no residual on OutOfSteps Open

bug

Difficulty 5/5 Over a week Newbie friendliness 38/100

objectionary/phino#1078 · 3 comments · Opened Sep 5, 2026
`ebnf` command would be nice to have Open

enhancement help wanted question

Difficulty 4/5 3-5 days Newbie friendliness 62/100

objectionary/phino#482 · 8 comments · Opened Dec 2, 2025
locators are not supported but needed Open

enhancement question

Difficulty 4/5 3-5 days Newbie friendliness 45/100

objectionary/phino#153 · 4 comments · Opened Jun 27, 2025
transitive encapsulation operator is not implemented Open

enhancement question

Difficulty 4/5 3-5 days Newbie friendliness 48/100

objectionary/phino#150 · 4 comments · Opened Jun 27, 2025
Dependency Dashboard Open

wontfix

Difficulty 1/5 Under an hour Newbie friendliness 20/100

objectionary/phino#2 · 1 comment · Opened May 10, 2025

objectionary/phino

Get new issues in your inbox