hypgraph 0.7.9__tar.gz → 0.7.10__tar.gz

{hypgraph-0.7.9 → hypgraph-0.7.10}/CHANGELOG.md

@@ -1,5 +1,25 @@
 # Changelog
 
+## 0.7.10 — 2026-10-30: fixes from the first live blind run
+
+Claude led a question on a HypMesh and issued a blind order; Codex took the order through its seat and counted the
+primes below 1,000,000 whose digits sum to 23 with its own sieve. The record marked its result written blind and
+agreeing blind with Claude's, and nothing sealed reached Codex. Four fixes from that run and a phone-width check:
+
+- **Investigations are part of the problem statement a blind checker reads.** Only the order's own investigation
+  and the curators' were. A lead whose framing lived in a second investigation had it sealed, the numbers that
+  define the problem (1,000,000; 23) read as secrets, and an honest blind order was refused. Questions and
+  investigations say what is being found out; don't put answers in them.
+- **`my_work` without an investigation lists your orders in every investigation.** It asked "which
+  investigation?" when a record held two, and the seat's first call failed.
+- **`produced_by`, `generated_by`, `output_of`, `executed_by` and `tested_by` are read as the relation they
+  invert.** The node types fix the direction, so the link is turned round. Codex's first result was refused for
+  `produced_by`.
+- **On a phone, every tab of the embedded app can be reached.** The embed's `overflow: visible` beat the narrow
+  rule that makes the nav a scrolling strip. On hypdmz.com at 375 px, four of the eight tabs (Evidence, Work
+  orders, Audit log, Report) sat past the edge with no way to scroll to them. The nav now scrolls, and the embed
+  clips sideways, so the closed drawer can't widen a host page that doesn't clip it.
+
 ## 0.7.9 — 2026-10-30: blind work orders
 
 - **A checker can measure without seeing the answer it checks.** `issue_work(..., blind=True)` (MCP `issue_work`

{hypgraph-0.7.9 → hypgraph-0.7.10}/PKG-INFO

@@ -1,6 +1,6 @@
 Metadata-Version: 2.5
 Name: hypgraph
-Version: 0.7.9
+Version: 0.7.10
 Summary: The evidence layer for AI research agents: a hash-chained research record that checks every claim as it is written and derives how well each is known.
 Project-URL: Homepage, https://hypgraph.com
 Project-URL: Documentation, https://hypgraph.com/engineers/

{hypgraph-0.7.9 → hypgraph-0.7.10}/src/hypgraph/__init__.py

@@ -16,7 +16,7 @@ Standing is derived on every read, never stored; every write is an event in a SH
 their numbers; reviews pin versions; independence is counted, not assumed. See https://hypgraph.com.
 """
 
-__version__ = "0.7.9"
+__version__ = "0.7.10"
 
 from .bundle import verify_bundle  # noqa: E402
 from .graph import Author, Graph, GraphError, file_sha256  # noqa: E402

{hypgraph-0.7.9 → hypgraph-0.7.10}/src/hypgraph/blind.py

@@ -2,8 +2,8 @@
 Blind work orders: a checker measures without seeing the answer it is checking.
 
 A work order issued with ``blind=True`` seals the record from its assignee until the order is returned. While it is
-open, the assignee reads the problem statement (the investigation the order belongs to, the curators' investigations,
-the questions) and its own order; everything else other authors wrote — hypotheses and their predictions, results,
+open, the assignee reads the problem statement (the investigations and questions: what is being found out, never what
+was found) and its own order; everything else other authors wrote — hypotheses and their predictions, results,
 claims, reviews, runs and their code, sources, other orders, other teams' attempts — is sealed: shown as a placeholder,
 left out of search, its numbers scrubbed wherever else they appear.
 
@@ -39,7 +39,10 @@ _NUM = re.compile(r"(?<![\w.,])-?(?:\d{1,3}(?:,\d{3})+|\d+)(?:\.\d+)?(?![\w])")
 READ_ROUTES = frozenset({"investigations", "orders", "order", "resolve", "subgraph", "node", "why", "impact",
                          "neighborhood", "search", "events", "verify", "profiles", "profile", "references"})
 POST_ROUTES = frozenset({"check_work"})
-VISIBLE_TYPES = frozenset({"question"})
+# The problem statement every reader keeps. An investigation says what is being found out; a lead whose framing
+# lived in a second investigation had it sealed, and the numbers that define the problem (1,000,000; 23) then read
+# as secrets, so an honest blind order was refused (first live run, 2026-10-30). Don't put answers in them.
+VISIBLE_TYPES = frozenset({"question", "investigation"})
 # A blind order asks for a measurement. A review or a report has to read what it judges.
 BLIND_PREDICATES = frozenset({"run_registered", "result_exists", "claim_made", "within_budget"})
 SEALED = "sealed"
@@ -228,10 +231,8 @@ def _derived(s: D.Snap, x: str, limit: int = 60) -> set[str]:
 
 # ── what is sealed, and from whom ──────────────────────────────────
 def public(s: D.Snap, n: dict, w: Window) -> bool:
-    """The problem statement every reader keeps: questions, the curators' investigations, the order's own
-    investigation, and the order chain itself."""
-    return (n["type"] in VISIBLE_TYPES
-            or (n["type"] == "investigation" and (n["created_by"] in s.policy.curators or n["id"] == w.inv)))
+    """The problem statement every reader keeps: questions and investigations (the order chain is kept apart)."""
+    return n["type"] in VISIBLE_TYPES
 
 
 def scope(s: D.Snap, w: Window) -> set[str]:

{hypgraph-0.7.9 → hypgraph-0.7.10}/src/hypgraph/mcp.py

@@ -551,10 +551,12 @@ def build(graph: Graph | str, author: Optional[str] = None, files_root: str | No
 
     @tool
     def my_work(investigation: str = "") -> str:
-        """Your open work orders, each with its full text. An order you have returned is no longer yours to work:
-        it waits for acceptance, and comes back as a new order if it is reworked."""
+        """Your open work orders, each with its full text, in every investigation unless you name one. An order you
+        have returned is no longer yours to work: it waits for acceptance, and comes back as a new order if it is
+        reworked."""
         try:
-            allmine = [o for o in g.orders(inv_of(investigation)) if o["assignee"] == me]
+            invs = [g.resolve(investigation)] if investigation else [i["id"] for i in g.investigations()]
+            allmine = [o for inv in invs for o in g.orders(inv) if o["assignee"] == me]
         except (GraphError, KeyError) as e:
             fail(e)
         mine = [o for o in allmine if o["status"] in ("open", "overdue")]

{hypgraph-0.7.9 → hypgraph-0.7.10}/src/hypgraph/schema.py

@@ -148,6 +148,10 @@ REL_SYNONYMS: dict[str, str] = {
     "correct": "corrects", "corrected": "corrects", "require": "requires", "required": "requires",
     "depends_on": "requires", "part": "part_of", "belongs_to": "part_of", "motivated": "motivated_by",
     "rests": "rests_on", "works": "works_on", "blocked": "blocked_by", "settle": "settles", "settled": "settles",
+    # inverses whose node types fix the direction (a result can't produce a run): turned round by _orient. Not
+    # supported_by / challenged_by: a claim can sit at either end of those.
+    "produced_by": "produced", "generated_by": "produced", "output_of": "produced", "executed_by": "executes",
+    "tested_by": "tests",
 }
 
 SYNONYMS: dict[tuple[str, str], dict[str, str]] = {

{hypgraph-0.7.9 → hypgraph-0.7.10}/src/hypgraph/ui/hypgraph.css

@@ -92,7 +92,7 @@
 .hg.hg-embed .hg-app { height: auto; grid-template-rows: 52px auto; }
 .hg.hg-embed .hg-main, .hg.hg-embed .hg-nav { overflow: visible; }
 .hg.hg-embed .feed { max-height: none; overflow: visible; }
-.hg.hg-embed { overflow: visible; }
+.hg.hg-embed { overflow-x: clip; overflow-y: visible; }   /* the closed drawer sits off to the right: never widen the page */
 .hg .kpi { padding: 12px 14px; } .hg .kpi .k { color: var(--ink2); font-size: 12px; }
 .hg .kpi .v { font-size: 22px; font-weight: 650; letter-spacing: -.02em; margin-top: 2px; font-variant-numeric: tabular-nums; }
 .hg .kpi .s { color: var(--ink3); font-size: 11.5px; margin-top: 2px; }
@@ -247,6 +247,7 @@
   .hg .hg-nav button { width: auto; flex: none; white-space: nowrap; padding: 6px 10px; }
   .hg .hg-nav .n { margin-left: 4px; } .hg .hg-nav .inv .s { display: none; }
   .hg .hg-main { padding: 16px 16px 32px; }
+  .hg.hg-embed .hg-nav { overflow-x: auto; overflow-y: hidden; }   /* beats the embed's overflow: visible: every tab reachable */
   .hg .trace .tr { grid-template-columns: minmax(90px, 40%) minmax(0, 1fr) 48px; }
 }
 @media (prefers-reduced-motion: reduce) { .hg *, .hg *::before { animation: none !important; transition: none !important; } }

{hypgraph-0.7.9 → hypgraph-0.7.10}/tests/test_blind.py

@@ -166,3 +166,49 @@ def test_mcp_seat_holding_a_blind_order(env, tmp_path):
             ov = text(await c.call_tool("overview", {"investigation": inv}))
             assert "Primes below" in ov
     asyncio.run(go())
+
+
+# ── from the first live run (Claude leading, Codex checking on HypMesh, 2026-10-30) ──
+def test_a_framing_investigation_is_the_problem_statement_and_my_work_finds_the_order():
+    fastmcp = pytest.importorskip("fastmcp")
+    from hypgraph.mcp import build
+    g = Graph(clock=Clock())
+    lead = g.author("lead")
+    frame = lead.investigation("The question", "Count the primes below 1,000,000 whose digits sum to 23.")["id"]
+    inv = lead.investigation("Lead's attempt", "Count them, and have the count checked blind.")["id"]
+    h = lead.add("hypothesis", inv, statement="There are 5503 primes below 1,000,000 whose digits sum to 23.",
+                 predictions=["an independent count finds 5503"])["id"]
+    o = g.issue_work(author="lead", inv=inv, target=h, assignee="checker", blind=True,
+                     objective="Count the primes below 1,000,000 whose digits sum to 23, with your own code.")
+    v = B.view_for_author(g.snapshot(), "checker")
+    assert frame not in v.hide and h in v.hide and "5503" in v.secrets and "23" not in v.secrets
+    with pytest.raises(GraphError, match="quotes what it would seal: 5503"):
+        h2 = lead.add("hypothesis", inv, statement="Most of them are below 900,000.",
+                      predictions=["more than half fall below 900,000"])["id"]
+        g.issue_work(author="lead", inv=inv, target=h2, assignee="other", blind=True,
+                     objective="Check that the count is 5503.")
+
+    async def go():
+        async with fastmcp.Client(build(g, author="checker")) as c:
+            r = await c.call_tool("my_work", {})                 # no investigation named, two in the record
+            assert o["code"] in r.content[0].text and "BLIND" in r.content[0].text
+    asyncio.run(go())
+
+
+def test_inverse_relation_words_are_turned_round(env):
+    g, inv, h1, rs1 = env
+    a = g.author("lead")
+    run = a.add("run", inv, kind="agent", name="second sieve", state="succeeded")["id"]
+    rs = a.add("result", inv, summary="The second sieve counts 1230 primes below 10,000; the largest is 9967.",
+               outcome="positive", values={"count": 1230, "largest": 9967},
+               links=[{"rel": "produced_by", "to": run}])
+    assert any(e["rel"] == "produced" and e["src"] == run for e in rs["in"])
+
+
+def test_the_embedded_app_never_widens_its_page():
+    from pathlib import Path
+    import hypgraph.ui as ui
+    css = (Path(ui.__file__).parent / "hypgraph.css").read_text(encoding="utf-8")
+    assert ".hg.hg-embed { overflow-x: clip;" in css
+    narrow = css.split("@container hg (max-width: 760px)", 1)[1].split("\n}\n", 1)[0]
+    assert ".hg.hg-embed .hg-nav { overflow-x: auto;" in narrow