substratum-cli 0.1.0__py3-none-any.whl

substratum_cli/style.py

@@ -0,0 +1,128 @@
+"""The Substratum terminal design language: The Sovereign Seal.
+
+A result is a sealed certificate, not a chat turn: a verdict-tinted left rail closed by a foot,
+uppercase channel labels scanning down a grey gutter, one verdict accent (green proven / cyan
+refused) + gold for the next executable move + two greys. Line 1 is always the exact parseable
+grammar. Degrades cleanly: NO_COLOR / non-TTY strips SGR (glyphs + words carry meaning); ascii
+mode swaps glyphs. Restraint is the brand: precision instrument, not decoration.
+"""
+from __future__ import annotations
+
+import os
+import sys
+
+# ---- palette (256-color, 8/16 fallback folded to the same escapes for portability) ----
+PROVEN = "\033[38;5;42m"
+PROVEN_B = "\033[1;38;5;42m"
+REFUSED = "\033[38;5;44m"
+REFUSED_B = "\033[1;38;5;44m"
+FAULT = "\033[38;5;160m"       # tool crash only, appears on no normal screen
+FAILC = "\033[38;5;208m"       # a verified NO: gate ran, patch did not pass (amber, not crash-red)
+FAILC_B = "\033[1;38;5;208m"
+GOLD = "\033[38;5;179m"        # the next move: provenance, flip steps, transitions, brand mark
+LABEL = "\033[38;5;245m"       # uppercase channel labels, run=, code=, secondary facts
+CHROME = "\033[38;5;240m"      # hairline, separators, diff context, "base FAIL" (never red)
+RESET = "\033[0m"
+BOLD = "\033[1m"
+
+# ---- glyphs + ascii degrade ----
+_G = {"rail": "│", "foot": "└", "bar": "─", "brand": "◆", "lamp": "●",
+      "ok": "✓", "wall": "○", "arrow": "→", "dot": "·",
+      "ftl": "┌", "ftr": "┐", "fbl": "└", "fbr": "┘", "tee": "├"}
+_ASCII = {"rail": "|", "foot": "+", "bar": "-", "brand": "*", "lamp": "o",
+          "ok": "ok", "wall": "--", "arrow": "->", "dot": "-",
+          "ftl": "+", "ftr": "+", "fbl": "+", "fbr": "+", "tee": "+"}
+
+
+def use_color(stream=None, force: str | None = None) -> bool:
+    if force == "never":
+        return False
+    if force == "always":
+        return True
+    if os.environ.get("NO_COLOR"):
+        return False
+    return bool(getattr(stream or sys.stdout, "isatty", lambda: False)())
+
+
+def use_ascii() -> bool:
+    if os.environ.get("SUBSTRATUM_ASCII"):
+        return True
+    enc = (getattr(sys.stdout, "encoding", "") or "").lower()
+    return "utf" not in enc
+
+
+def width(lo: int = 50, hi: int = 100) -> int:
+    """The usable render width: the terminal columns, clamped so nothing overflows a narrow pane
+    or sprawls on an ultrawide one. Everything (rules, wraps, truncation) derives from this."""
+    try:
+        import shutil
+        cols = shutil.get_terminal_size((80, 24)).columns
+    except Exception:
+        cols = 80
+    return max(lo, min(hi, cols))
+
+
+_ANSI = None
+
+
+def visible_len(s: str) -> int:
+    """Column count ignoring ANSI SGR codes -- so framed right borders align even on colored text."""
+    global _ANSI
+    if _ANSI is None:
+        import re
+        _ANSI = re.compile(r"\033\[[0-9;]*m")
+    return len(_ANSI.sub("", s))
+
+
+def frame(inner, label: str = "", width: int = 72, chrome: str = CHROME, color: bool = True):
+    """Wrap rendered content lines in a light box (└-style square corners, chrome-grey). Used
+    sparingly -- to visually group a distinct 'card' (a quoted synopsis, a callout) -- never as
+    default decoration. `inner` lines may contain ANSI; the right border is padded ANSI-aware."""
+    def fc(s):
+        return (chrome + s + RESET) if color and chrome else s
+    iw = width - 4                                     # inner content columns (│ + space ... space + │)
+    lab = f" {label} " if label else g("bar")
+    fill = max(0, width - 2 - len(lab) - 1)            # ftl + [lab] + fill + ftr
+    out = [fc(g("ftl") + g("bar") + lab + g("bar") * fill + g("ftr"))]
+    for ln in inner:
+        pad = " " * max(0, iw - visible_len(ln))
+        out.append(fc(g("rail")) + " " + ln + pad + " " + fc(g("rail")))
+    out.append(fc(g("fbl") + g("bar") * (width - 2) + g("fbr")))
+    return out
+
+
+def ellipsize(s: str, n: int) -> str:
+    """Truncate to n columns with a single-char ellipsis; never leaves a dangling separator."""
+    s = s or ""
+    if len(s) <= n:
+        return s
+    if n <= 1:
+        return s[:n]
+    return s[:n - 1].rstrip(" ·-/") + ("…" if not use_ascii() else "~")
+
+
+def g(name: str) -> str:
+    return (_ASCII if use_ascii() else _G)[name]
+
+
+class Painter:
+    """Small stateful painter so a renderer can `p = Painter(color)` then `p(text, PROVEN)`."""
+    def __init__(self, color: bool):
+        self.color = color
+
+    def __call__(self, s: str, code: str = "") -> str:
+        return f"{code}{s}{RESET}" if (self.color and code) else s
+
+    def rule(self, width: int = 76, code: str = CHROME) -> str:
+        return self(g("bar") * width, code)
+
+
+def verdict_color(verdict: str) -> str:
+    from . import codes
+    if verdict in (codes.VERIFIED, codes.PASS):
+        return PROVEN
+    if verdict in (codes.REFUSED, codes.UNVERIFIABLE):
+        return REFUSED
+    if verdict == codes.FAIL:
+        return FAILC            # a verified NO, not a crash
+    return FAULT

substratum_cli-0.1.0.dist-info/METADATA

@@ -0,0 +1,69 @@
+Metadata-Version: 2.4
+Name: substratum-cli
+Version: 0.1.0
+Summary: Substratum: verified-or-refused code, with provenance. The terminal over the comprehension engine.
+Author: Substratum
+License: LicenseRef-Proprietary
+Project-URL: Homepage, https://substratum-api.fly.dev
+Keywords: code-generation,verification,deterministic,provenance,developer-tools
+Classifier: Development Status :: 4 - Beta
+Classifier: Environment :: Console
+Classifier: Intended Audience :: Developers
+Classifier: Programming Language :: Python :: 3
+Classifier: Topic :: Software Development :: Code Generators
+Requires-Python: >=3.11
+Description-Content-Type: text/markdown
+Provides-Extra: engine
+Requires-Dist: numpy>=1.24; extra == "engine"
+
+# Substratum
+
+**Verified-or-refused code, with provenance.** Substratum is a deterministic comprehension engine
+for code. It never streams tokens and hopes — it produces a change only when that change passes a
+gate, and otherwise returns an honest, actionable refusal. Every result carries a run id you can
+replay byte-for-byte.
+
+```
+pip install substratum-cli
+```
+
+Then, in any repository:
+
+```
+substratum                      # open the interactive session (warms, then drives)
+```
+
+## What it does
+
+- **`summarize`** — describe the codebase in plain English, grounded in its real symbols (not a guess).
+- **`failing`** — run the suite and list the failing tests; each becomes a ready fix target.
+- **`verify`** — gate a diff (stdin, `--staged`, `--commit`): PASS / FAIL / per-hunk. The wedge — point
+  it at any tool's diff and it tells you, deterministically, whether the change is real.
+- **`fix`** — produce a verified fix for a failing test, or a named refusal.
+- **`write`** — greenfield code from plain intent (derive-or-refuse; no test required).
+- **`runs` / `show` / `replay` / `undo` / `apply` / `commit`** — a proof-carrying memory of every run.
+
+`summarize`, `failing`, and `verify` run **entirely on your machine** — no account, no network, no code
+leaves your repo. They work air-gapped.
+
+## The hosted engine (optional)
+
+`fix` and `write` draw on a large mined library. During the demo that library is hosted:
+
+```
+substratum login                # GitHub device flow; connects to the hosted engine
+```
+
+When logged in, `write` sends only your intent + signature, and `fix` receives a *candidate* that your
+machine then gates locally — so your code and your tests never leave your machine. `substratum logout`
+returns to fully-local operation.
+
+## The law
+
+Never render unproven code. A refusal is a deliverable, not an error. Determinism is a button you
+press to catch us: run the same request twice and get the same run id, or `replay` any run and get a
+byte-identical result.
+
+Coverage grows with data. Today the engine refuses more than it resolves, by design — the surface is
+built to feel complete at thin coverage, and the same commands silently resolve more as the library
+scales, with zero change on your end.

substratum_cli-0.1.0.dist-info/RECORD

@@ -0,0 +1,42 @@
+substratum_cli/README.md,sha256=Fzt_fRbyrwNZnBO5vQ9aIlps_voQ-NA9rOcX7aialKk,2259
+substratum_cli/__init__.py,sha256=GQLqd9kDC5Wh7CkuR5ZUrZkfkoLa62rwsXimK8UG2jM,301
+substratum_cli/__main__.py,sha256=kKR2BJYlcJyeuv6cu675Pev9JPtDE13h_1PFuHRCUtA,138
+substratum_cli/account.py,sha256=aQ8HwCHt_Q85mC6YF35LXFU74uq6wLsq8q9_E3Az6WM,1529
+substratum_cli/cli.py,sha256=drrWFUy4jqhNKdw95yF4tpHNBBHIWJyJf7y75q5OVJw,8682
+substratum_cli/codes.py,sha256=IrPLMi7bXSw5sLGu-yWg-geMYI_MIGKtsBJXTHOHAzU,5234
+substratum_cli/config.py,sha256=1MurFz5Skq9b6RxZ52qc9HWaf20sLj_Jn1jXBSCnL7c,1800
+substratum_cli/diffs.py,sha256=PdZjBN6ixGTXDImwffrv9sGFaSrok_ONe0rw7bWsclQ,3777
+substratum_cli/engine.py,sha256=cywugUEjkLhZScat2-I43ajW4FCFeYsw-LfgshjlipM,6329
+substratum_cli/gitio.py,sha256=jK_CN_Lk9sineIKWomCeKrw0tUqCUSCEyfGa_vYUvf4,4034
+substratum_cli/langscan.py,sha256=xyWlvX34_PkYfxkSbhnGdcNbfeVOh4UyPgVF9L22tc0,4837
+substratum_cli/product_ops.py,sha256=ZaDcjhCqyRXCo189i7hYgEUsxoG6O09GtLp9J8UI_bE,30044
+substratum_cli/refusals.py,sha256=wW90inTuvGFgN9LM2vbClzeserQ-yCldly0nXQ6RjPE,6326
+substratum_cli/remote.py,sha256=3C1vhdL5P_oUJETd_n16BZHL0klBS5wEgCDFhhC7SrU,5879
+substratum_cli/render.py,sha256=z_N5fZFyvoMzzFWhJENM6AgZYQ-8Jl10SYNW7ql1IRc,17020
+substratum_cli/result.py,sha256=ahMPgBEyR8WIKzOfi47SJh7WGyLih3vo6cDQksVWm6M,7612
+substratum_cli/run_store.py,sha256=Ve1qkwZVyGMYrK0gUhhIRDifETD1sMFXxr6NefD1yhI,5939
+substratum_cli/runid.py,sha256=a6xh6KQ9-UjysWc1Eu8eX1dZ0XFx_pw5lleXu5Ip_Y8,2808
+substratum_cli/session.py,sha256=pSc7TDi_QZ3nQRaiFuwLBjuSxRKcOAQM5HQiHsB-9r0,26658
+substratum_cli/style.py,sha256=E_-IfAww0Frv_fnQSFhIfN8ySFX0uxqaydgpEgYJO3k,5031
+substratum_cli/_vendor/__init__.py,sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU,0
+substratum_cli/_vendor/_pro_test_derive.py,sha256=uZvW6wZ0wvfvqu6K2JuThIhDrTGACUNfAPWL5H-_TEs,7728
+substratum_cli/commands/__init__.py,sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU,0
+substratum_cli/commands/apply.py,sha256=eLcoCz-gAFg5kwEn4MtvclLij5_eMx7UnWgT_B60Xhw,2458
+substratum_cli/commands/auth.py,sha256=dddOVNji5Aqdys57ZLhpvsOegjWEOQkvUwYrSa5wCTc,1234
+substratum_cli/commands/commit.py,sha256=-noxEt3RFR3hsE41oKl7Fpczq5cWr3QkCtOGfHHpjA8,2069
+substratum_cli/commands/explain.py,sha256=pEPAoImd9iI1mA9a69wndXWRJ_oYHph1VAe3I0TM0sQ,3011
+substratum_cli/commands/failing.py,sha256=CT6aO3_k6bKjUUbPG_E0Aj1RSNXVSxqtgeNiHH9ns8A,3808
+substratum_cli/commands/fix.py,sha256=CRWie3MZxg0yMpVhVQcvRRYWO6qmOW2vU0rTTO6jTVg,1968
+substratum_cli/commands/history.py,sha256=GySClYcClMBF0aWL8e7rhvBX45nO3ICBR4mhuXB2lF0,762
+substratum_cli/commands/init_cmd.py,sha256=B0a8Dhja0axKFnUvnjsJbo7fWXk78zfqD3NMj1Bz-wI,6446
+substratum_cli/commands/replay.py,sha256=mERTsnMWctqEpLKN5ZKo5jXWmrWAUyRjSV-RQpjhg1g,3234
+substratum_cli/commands/scaffold.py,sha256=r2oXNDvmQJ4wnAHCUjEHM42_UUNSu_JCEZONTHAzvQI,2888
+substratum_cli/commands/show.py,sha256=tNrpHkw2Z6D2uvBRVr2VuIgw3SBX8HGUYw1WA5Gbqfw,747
+substratum_cli/commands/undo.py,sha256=j05xTUSDolwxLYPPsjRq1wqNyEMFT22cto0rnwN3BM8,1457
+substratum_cli/commands/verify.py,sha256=s5sh8DZ298vRBtciT3Vhdkg7_jxUbpNDzxD20C_JgFA,8989
+substratum_cli/commands/write.py,sha256=fIok4BdA7lza2aNV7jCoOUQTWUmqbTgcDF4dyxxUJGw,1795
+substratum_cli-0.1.0.dist-info/METADATA,sha256=494ln2VkcJ_u3fCLbOB0eC9SYIuOI4DVjAhOkb9lqug,2975
+substratum_cli-0.1.0.dist-info/WHEEL,sha256=K260EYznzXsJYBQGqmI8VTxEdiZYNvDZwW9cBh9-_MA,91
+substratum_cli-0.1.0.dist-info/entry_points.txt,sha256=Yl-xx8POZmRzUQRLBCYt2zGm9UyJzC10z1Sbc8TZgCE,55
+substratum_cli-0.1.0.dist-info/top_level.txt,sha256=0PeZNTR-72BY-tLcRrBvAPmene4DuT0BZ1n74x7hY6o,15
+substratum_cli-0.1.0.dist-info/RECORD,,

substratum_cli-0.1.0.dist-info/WHEEL

@@ -0,0 +1,5 @@
+Wheel-Version: 1.0
+Generator: setuptools (83.0.0)
+Root-Is-Purelib: true
+Tag: py3-none-any
+

substratum_cli-0.1.0.dist-info/entry_points.txt

@@ -0,0 +1,2 @@
+[console_scripts]
+substratum = substratum_cli.cli:main

substratum_cli-0.1.0.dist-info/top_level.txt

@@ -0,0 +1 @@
+substratum_cli