All issues

Search results

[ET-L2] ET-15: AFFIRMATION anchor unfilled; no escape-hatch registry; template residue

Status: Open.

#19 In hyperpolymath/anytype;

· hyperpolymath opened on Jul 21, 2026

[TROPE] ET-12/ET-13: tropes named in README but no machine exists

documentationImprovements or additions to documentationImprovements or additions to documentation

Status: Open.

#18 In hyperpolymath/anytype;

· hyperpolymath opened on Jul 21, 2026

[ET-L4] ET-8/ET-9: Polarity Gate / blame accounting absent

Status: Open.

#17 In hyperpolymath/anytype;

· hyperpolymath opened on Jul 21, 2026

[ET-L2] ET-6/ET-7: Structural Gate absent (no additive pairs, no refusal statement)

Status: Open.

#16 In hyperpolymath/anytype;

· hyperpolymath opened on Jul 21, 2026

[ET-L2] ET-5: only 2 of the named grade disciplines have instances (affine, exact)

ci

Status: Open.

#15 In hyperpolymath/anytype;

· hyperpolymath opened on Jul 21, 2026

[ET-L2] ET-2/ET-3: conversion is a decision procedure, not a proven decision

ci

Status: Open.

#14 In hyperpolymath/anytype;

· hyperpolymath opened on Jul 21, 2026