Skip to content

Interactive runner that walks a Technique#103

Merged
istathar merged 25 commits into
technique-lang:mainfrom
istathar:run-2
May 17, 2026
Merged

Interactive runner that walks a Technique#103
istathar merged 25 commits into
technique-lang:mainfrom
istathar:run-2

Conversation

@istathar
Copy link
Copy Markdown
Member

@istathar istathar commented May 17, 2026

Introduces an interactive runner that walks a Technique, prompts the user with the details of the next step, takes their input, then records the result.

This branch adds technique run and technique resume to the command-line interface. The run subcommand reads a Technique document as parameter and starts presenting its steps. the resume subcommand resumes an interrupted run, taking a "run id" parameter to do so. This functionality is carried out in a new top-level runner:: module, with an evaluate() effectively taking an Operation and an Environment and evaluating it to a Value.

The Value type is now defined in a new top-level value:: module, following the naming convention originally established in Technique v0.

This lands an initial local state store for holding PFFTT files, written in .store/ in the present directory. These are named for the Technique document being executed and include basic information recording when each step is completed.

Branch also addresses a few corner cases that emerged while improving test coverage.

@istathar istathar self-assigned this May 17, 2026
@istathar istathar merged commit 5c70c21 into technique-lang:main May 17, 2026
1 check passed
@istathar istathar deleted the run-2 branch May 17, 2026 12:54
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