Skip to content

Takes robertblust/mental-model f2ef125 #396

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We鈥檒l occasionally send you account related emails.

Already on GitHub? Sign in to your account

Merged
robertblust merged 1 commit into from
Oct 15, 2026
Merged

Takes robertblust/mental-model f2ef125 #396

Show file tree
Hide file tree
Changes from all commits
Commits
Show all changes
1 commit
Select commit
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
13 changes: 13 additions & 0 deletions id/01a13c3b-e14f-722f-a2e8-240dc563ab97/index.html
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -0,0 +1,13 @@
<!doctype html>
<html lang="en">
<head>
<meta charset="utf-8">
<meta name="viewport" content="width=device-width, initial-scale=1">
<title>A worktree is removed only once its plan is done</title>
<meta name="robots" content="noindex">
<meta http-equiv="refresh" content="0; url=../../model/?stage=expanded#rules/a-worktree-is-removed-only-once-its-plan-is-done">
</head>
<body>
<p>Go on to <a href="../../model/?stage=expanded#rules/a-worktree-is-removed-only-once-its-plan-is-done">A worktree is removed only once its plan is done</a>.</p>
</body>
</html>
13 changes: 13 additions & 0 deletions id/01a13c3b-e14f-7482-8a59-87fcdfb5f595/index.html
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -0,0 +1,13 @@
<!doctype html>
<html lang="en">
<head>
<meta charset="utf-8">
<meta name="viewport" content="width=device-width, initial-scale=1">
<title>A registry entry waits for a release tag and the Owner</title>
<meta name="robots" content="noindex">
<meta http-equiv="refresh" content="0; url=../../model/?stage=expanded#controls/a-registry-entry-waits-for-a-release-tag-and-the-owner">
</head>
<body>
<p>Go on to <a href="../../model/?stage=expanded#controls/a-registry-entry-waits-for-a-release-tag-and-the-owner">A registry entry waits for a release tag and the Owner</a>.</p>
</body>
</html>
13 changes: 13 additions & 0 deletions id/01a13c3b-e14f-7492-9f36-ffa64f8bf645/index.html
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -0,0 +1,13 @@
<!doctype html>
<html lang="en">
<head>
<meta charset="utf-8">
<meta name="viewport" content="width=device-width, initial-scale=1">
<title>What is cited from outside the model is not rewritten</title>
<meta name="robots" content="noindex">
<meta http-equiv="refresh" content="0; url=../../model/?stage=expanded#rules/what-is-cited-from-outside-the-model-is-not-rewritten">
</head>
<body>
<p>Go on to <a href="../../model/?stage=expanded#rules/what-is-cited-from-outside-the-model-is-not-rewritten">What is cited from outside the model is not rewritten</a>.</p>
</body>
</html>
13 changes: 13 additions & 0 deletions id/01a13c3b-e14f-74a9-add2-d57f91715839/index.html
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -0,0 +1,13 @@
<!doctype html>
<html lang="en">
<head>
<meta charset="utf-8">
<meta name="viewport" content="width=device-width, initial-scale=1">
<title>A secret is refused at the push</title>
<meta name="robots" content="noindex">
<meta http-equiv="refresh" content="0; url=../../model/?stage=expanded#controls/a-secret-is-refused-at-the-push">
</head>
<body>
<p>Go on to <a href="../../model/?stage=expanded#controls/a-secret-is-refused-at-the-push">A secret is refused at the push</a>.</p>
</body>
</html>
13 changes: 13 additions & 0 deletions id/01a13c3b-e14f-752b-b9db-56b6563a532c/index.html
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -0,0 +1,13 @@
<!doctype html>
<html lang="en">
<head>
<meta charset="utf-8">
<meta name="viewport" content="width=device-width, initial-scale=1">
<title>A release tag stays where the Owner put it</title>
<meta name="robots" content="noindex">
<meta http-equiv="refresh" content="0; url=../../model/?stage=expanded#controls/a-release-tag-stays-where-the-owner-put-it">
</head>
<body>
<p>Go on to <a href="../../model/?stage=expanded#controls/a-release-tag-stays-where-the-owner-put-it">A release tag stays where the Owner put it</a>.</p>
</body>
</html>
13 changes: 13 additions & 0 deletions id/01a13c3b-e14f-78de-8e41-201b8987c4d4/index.html
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -0,0 +1,13 @@
<!doctype html>
<html lang="en">
<head>
<meta charset="utf-8">
<meta name="viewport" content="width=device-width, initial-scale=1">
<title>An id, a decision and a label are held as they were</title>
<meta name="robots" content="noindex">
<meta http-equiv="refresh" content="0; url=../../model/?stage=expanded#controls/an-id-a-decision-and-a-label-are-held-as-they-were">
</head>
<body>
<p>Go on to <a href="../../model/?stage=expanded#controls/an-id-a-decision-and-a-label-are-held-as-they-were">An id, a decision and a label are held as they were</a>.</p>
</body>
</html>
13 changes: 13 additions & 0 deletions id/01a13c3b-e14f-7b14-9bd5-db46ef6e4c7d/index.html
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -0,0 +1,13 @@
<!doctype html>
<html lang="en">
<head>
<meta charset="utf-8">
<meta name="viewport" content="width=device-width, initial-scale=1">
<title>An agent&#39;s hook refuses removing a worktree that holds a plan</title>
<meta name="robots" content="noindex">
<meta http-equiv="refresh" content="0; url=../../model/?stage=expanded#controls/an-agent-s-hook-refuses-removing-a-worktree-that-holds-a-plan">
</head>
<body>
<p>Go on to <a href="../../model/?stage=expanded#controls/an-agent-s-hook-refuses-removing-a-worktree-that-holds-a-plan">An agent&#39;s hook refuses removing a worktree that holds a plan</a>.</p>
</body>
</html>
13 changes: 13 additions & 0 deletions id/01a13c3b-e14f-7b2a-ac60-5ef22adf037f/index.html
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -0,0 +1,13 @@
<!doctype html>
<html lang="en">
<head>
<meta charset="utf-8">
<meta name="viewport" content="width=device-width, initial-scale=1">
<title>Only the Owner&#39;s account changes main</title>
<meta name="robots" content="noindex">
<meta http-equiv="refresh" content="0; url=../../model/?stage=expanded#controls/only-the-owner-s-account-changes-main">
</head>
<body>
<p>Go on to <a href="../../model/?stage=expanded#controls/only-the-owner-s-account-changes-main">Only the Owner&#39;s account changes main</a>.</p>
</body>
</html>
13 changes: 13 additions & 0 deletions id/01a13c3b-e14f-7bb9-851d-f1819fa21865/index.html
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -0,0 +1,13 @@
<!doctype html>
<html lang="en">
<head>
<meta charset="utf-8">
<meta name="viewport" content="width=device-width, initial-scale=1">
<title>A deployed server is asked which commit it serves</title>
<meta name="robots" content="noindex">
<meta http-equiv="refresh" content="0; url=../../model/?stage=expanded#controls/a-deployed-server-is-asked-which-commit-it-serves">
</head>
<body>
<p>Go on to <a href="../../model/?stage=expanded#controls/a-deployed-server-is-asked-which-commit-it-serves">A deployed server is asked which commit it serves</a>.</p>
</body>
</html>
13 changes: 13 additions & 0 deletions id/01a13c3b-e14f-7f29-9337-6620a10a3531/index.html
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -0,0 +1,13 @@
<!doctype html>
<html lang="en">
<head>
<meta charset="utf-8">
<meta name="viewport" content="width=device-width, initial-scale=1">
<title>A secret is never written into a repository</title>
<meta name="robots" content="noindex">
<meta http-equiv="refresh" content="0; url=../../model/?stage=expanded#rules/a-secret-is-never-written-into-a-repository">
</head>
<body>
<p>Go on to <a href="../../model/?stage=expanded#rules/a-secret-is-never-written-into-a-repository">A secret is never written into a repository</a>.</p>
</body>
</html>
13 changes: 13 additions & 0 deletions id/01a13c3d-b2c5-7f7f-9e0f-4eda36e7a69e/index.html
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -0,0 +1,13 @@
<!doctype html>
<html lang="en">
<head>
<meta charset="utf-8">
<meta name="viewport" content="width=device-width, initial-scale=1">
<title>CompanyGraph, described in CompanyGraph</title>
<meta name="robots" content="noindex">
<meta http-equiv="refresh" content="0; url=../../model/?stage=expanded#profiles/robert-blust/experiences/2026-film-companygraph-described-in-companygraph">
</head>
<body>
<p>Go on to <a href="../../model/?stage=expanded#profiles/robert-blust/experiences/2026-film-companygraph-described-in-companygraph">CompanyGraph, described in CompanyGraph</a>.</p>
</body>
</html>
13 changes: 13 additions & 0 deletions id/01a13d69-0423-7526-81a3-ac3b6e561274/index.html
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -0,0 +1,13 @@
<!doctype html>
<html lang="en">
<head>
<meta charset="utf-8">
<meta name="viewport" content="width=device-width, initial-scale=1">
<title>A family resync refuses to start beside another</title>
<meta name="robots" content="noindex">
<meta http-equiv="refresh" content="0; url=../../model/?stage=expanded#controls/a-family-resync-refuses-to-start-beside-another">
</head>
<body>
<p>Go on to <a href="../../model/?stage=expanded#controls/a-family-resync-refuses-to-start-beside-another">A family resync refuses to start beside another</a>.</p>
</body>
</html>
13 changes: 13 additions & 0 deletions id/01a13d69-0423-7577-b12a-481bbd34838c/index.html
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -0,0 +1,13 @@
<!doctype html>
<html lang="en">
<head>
<meta charset="utf-8">
<meta name="viewport" content="width=device-width, initial-scale=1">
<title>A chat answer&#39;s claims are read back against the model</title>
<meta name="robots" content="noindex">
<meta http-equiv="refresh" content="0; url=../../model/?stage=expanded#controls/a-chat-answer-s-claims-are-read-back-against-the-model">
</head>
<body>
<p>Go on to <a href="../../model/?stage=expanded#controls/a-chat-answer-s-claims-are-read-back-against-the-model">A chat answer&#39;s claims are read back against the model</a>.</p>
</body>
</html>
13 changes: 13 additions & 0 deletions id/01a13d69-0423-773e-ab3d-3ea3a261d170/index.html
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -0,0 +1,13 @@
<!doctype html>
<html lang="en">
<head>
<meta charset="utf-8">
<meta name="viewport" content="width=device-width, initial-scale=1">
<title>A message from another session carries no word of the Owner&#39;s</title>
<meta name="robots" content="noindex">
<meta http-equiv="refresh" content="0; url=../../model/?stage=expanded#controls/a-message-from-another-session-carries-no-word-of-the-owner-s">
</head>
<body>
<p>Go on to <a href="../../model/?stage=expanded#controls/a-message-from-another-session-carries-no-word-of-the-owner-s">A message from another session carries no word of the Owner&#39;s</a>.</p>
</body>
</html>
Loading
Loading