Skip to content
Merged
Show file tree
Hide file tree
Changes from all commits
Commits
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
2 changes: 1 addition & 1 deletion .github/workflows/debt-ratchet.yml
Original file line number Diff line number Diff line change
Expand Up @@ -26,7 +26,7 @@ jobs:
python-version: '3.14'
- name: Install the packaged ratchet pinned by Toad main
# Same Core source as Toad's tool.uv.sources.agent-comms.rev.
run: python -m pip install --disable-pip-version-check 'agent-comms @ git+https://github.com/OpenHCSDev/agent-comms.git@7a5c5fc2e79f2e32e4f340eaba573bf1bfec69bf'
run: python -m pip install --disable-pip-version-check 'agent-comms @ git+https://github.com/OpenHCSDev/agent-comms.git@9195325146f70886d7d879edbfcae74b12bd63c8'
- name: Reject increases in production debt
env:
PR_BASE: ${{ github.event.pull_request.base.sha }}
Expand Down

Large diffs are not rendered by default.

73 changes: 73 additions & 0 deletions evidence/markdown-publication-custody-20261004/SCOPE.md

Large diffs are not rendered by default.

Original file line number Diff line number Diff line change
@@ -0,0 +1,63 @@
{
"head": "aebc027cb47a40459531b2bc301c811b66d97af0",
"parsed": 249,
"omissions": [],
"owned_batch_consumers": [
{
"path": "src/textual/app.py",
"function": "recompose",
"line": 3583,
"callee": "self.screen.batch"
},
{
"path": "src/textual/widget.py",
"function": "recompose",
"line": 1868,
"callee": "self.batch"
},
{
"path": "src/textual/widgets/_footer.py",
"function": "_reconcile_bindings",
"line": 348,
"callee": "self.batch"
},
{
"path": "src/textual/widgets/_markdown.py",
"function": "update",
"line": 1460,
"callee": "self.batch"
},
{
"path": "src/textual/widgets/_markdown.py",
"function": "append",
"line": 1537,
"callee": "self.batch"
},
{
"path": "src/textual/widgets/_markdown.py",
"function": "await_update",
"line": 1460,
"callee": "self.batch"
},
{
"path": "src/textual/widgets/_markdown.py",
"function": "await_append",
"line": 1537,
"callee": "self.batch"
},
{
"path": "src/textual/widgets/_markdown.py",
"function": "mount_batch",
"line": 1460,
"callee": "self.batch"
}
],
"default_owner": "Widget.batch -> RLock + App.batch_update unchanged",
"migration": "Markdown await_update.mount_batch and await_append now use original self.batch; no direct app.batch_update call remains in Markdown",
"leaf_hooks": [
"MarkdownBlock._update_from_block remove/mount",
"Markdown paragraph/content and fence replacements",
"Markdown table _update_rows remove/mount"
],
"limits": "Syntax does not prove dynamic receivers. App startup screen batching, Footer recomposition, and public Widget.recompose retain generic capability. Toad owns local BodyPublication capability and nonpublication recompose risk; no blanket override or new cover inferred."
}
182 changes: 182 additions & 0 deletions evidence/markdown-publication-custody-20261004/before-consumers.json
Original file line number Diff line number Diff line change
@@ -0,0 +1,182 @@
[
{
"repo": "/home/ts/wt/textual-native-subtree-strips-20261002",
"root": "src/textual",
"head": "456c27e18688e6c829c727f766561c9eb8640803",
"parsed": 249,
"omitted": [],
"call_sites": [
{
"path": "src/textual/app.py",
"function": "_pop_to_screen",
"line": 3153,
"callee": "self.batch_update"
},
{
"path": "src/textual/app.py",
"function": "_process_messages",
"line": 3439,
"callee": "self.batch_update"
},
{
"path": "src/textual/app.py",
"function": "recompose",
"line": 3583,
"callee": "self.screen.batch"
},
{
"path": "src/textual/app.py",
"function": "pop_screens",
"line": 3153,
"callee": "self.batch_update"
},
{
"path": "src/textual/app.py",
"function": "run_process_messages",
"line": 3439,
"callee": "self.batch_update"
},
{
"path": "src/textual/css/styles.py",
"function": "replace_rules",
"line": 941,
"callee": "prepared.batch_update"
},
{
"path": "src/textual/css/styles.py",
"function": "replace_rules",
"line": 950,
"callee": "self.batch_update"
},
{
"path": "src/textual/css/styles.py",
"function": "batch_update",
"line": 1578,
"callee": "self._inline_styles.batch_update"
},
{
"path": "src/textual/css/stylesheet.py",
"function": "apply",
"line": 608,
"callee": "node._css_styles.batch_update"
},
{
"path": "src/textual/css/stylesheet.py",
"function": "replace_rules",
"line": 832,
"callee": "base_styles.batch_update"
},
{
"path": "src/textual/css/stylesheet.py",
"function": "update_nodes",
"line": 1023,
"callee": "node._css_styles.batch_update"
},
{
"path": "src/textual/widget.py",
"function": "recompose",
"line": 1868,
"callee": "self.batch"
},
{
"path": "src/textual/widget.py",
"function": "batch",
"line": 4668,
"callee": "self.app.batch_update"
},
{
"path": "src/textual/widgets/_content_switcher.py",
"function": "_on_mount",
"line": 74,
"callee": "self.app.batch_update"
},
{
"path": "src/textual/widgets/_content_switcher.py",
"function": "watch_current",
"line": 94,
"callee": "self.app.batch_update"
},
{
"path": "src/textual/widgets/_content_switcher.py",
"function": "add_content",
"line": 127,
"callee": "self.app.batch_update"
},
{
"path": "src/textual/widgets/_content_switcher.py",
"function": "_add_content",
"line": 127,
"callee": "self.app.batch_update"
},
{
"path": "src/textual/widgets/_footer.py",
"function": "_reconcile_bindings",
"line": 348,
"callee": "self.batch"
},
{
"path": "src/textual/widgets/_markdown.py",
"function": "update",
"line": 1460,
"callee": "self.app.batch_update"
},
{
"path": "src/textual/widgets/_markdown.py",
"function": "append",
"line": 1537,
"callee": "self.app.batch_update"
},
{
"path": "src/textual/widgets/_markdown.py",
"function": "await_update",
"line": 1460,
"callee": "self.app.batch_update"
},
{
"path": "src/textual/widgets/_markdown.py",
"function": "await_append",
"line": 1537,
"callee": "self.app.batch_update"
},
{
"path": "src/textual/widgets/_markdown.py",
"function": "mount_batch",
"line": 1460,
"callee": "self.app.batch_update"
}
]
},
{
"repo": "/home/ts/wt/toad-viewport-raster-cpu-continuation-20261001",
"root": "src/toad",
"head": "50d47ae2a2ce3c6d5d2c87136022b22d9ec3edde",
"parsed": 288,
"omitted": [],
"call_sites": [
{
"path": "src/toad/mounted_message_history.py",
"function": "toggle_style",
"line": 172,
"callee": "self.app.batch_update"
},
{
"path": "src/toad/screens/workspace.py",
"function": "_refresh_layout",
"line": 204,
"callee": "self.app.batch_update"
},
{
"path": "src/toad/sidebar_navigation.py",
"function": "finish",
"line": 85,
"callee": "self.sidebar.app.batch_update"
},
{
"path": "src/toad/workspace_chrome.py",
"function": "layout_sidebars",
"line": 58,
"callee": "screen.app.batch_update"
}
]
}
]
Loading
Loading