Skip to content

Improve comprehension for running Techniques#116

Merged
istathar merged 11 commits into
technique-lang:mainfrom
istathar:improve-comprehension
Jun 16, 2026
Merged

Improve comprehension for running Techniques#116
istathar merged 11 commits into
technique-lang:mainfrom
istathar:improve-comprehension

Conversation

@istathar

@istathar istathar commented Jun 16, 2026

Copy link
Copy Markdown
Member

Improve the experience for new users by providing slightly more context when they attempt to use the command-line program and don't supply the correct arguments.

Automatic runs that have steps with no effectful function are marked Skip rather than blindly calling them Done. Substeps roll up to the step being Done if any sub-step is Done, otherwise the step gets Skip.

Finally, this lands a considerable refinement to the way that steps are announced when interactively ruuning through a Technique document. The fully qualified path form is important for being able to give the canonical address of a procedure, section, step, or substep but having the full path in the UI trace and especially in the prompt was excessive. In particular, the name of the enclosing top-level entry procedure in a Technique document with sections ended up forming a prefix that was relentless on every line and distracted from a user actually understanding where they were in the document. Before we had

→ /connectivity_check:/VI/check_aws_health:/7 ▶

which was verbose. Instead, this branch changes the display to hide the top-level entry procedure to better show the context

→ VI/check_aws_health:/7 ▶

The fully qualified paths remains in the PFFTT format's record line

2026-06-16T07:20:21.278Z 000019 /connectivity_check:/VI/check_aws_health:/7 Begin

@istathar istathar self-assigned this Jun 16, 2026
@istathar istathar changed the title Improve comprehension for automatic running Improve comprehension for running Techniques Jun 16, 2026
@istathar istathar force-pushed the improve-comprehension branch from 60a2b26 to 9f17476 Compare June 16, 2026 07:48
@istathar

Copy link
Copy Markdown
Member Author

This collided with #117 somewhat, but on merge I reconciled the two appoaches.

@istathar istathar merged commit 84feb14 into technique-lang:main Jun 16, 2026
1 check passed
@istathar istathar deleted the improve-comprehension branch June 16, 2026 14:06
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Development

Successfully merging this pull request may close these issues.

1 participant