Skip to content

fix(docs): correct ARO syntax errors across Books, Proposals, MCP — training data quality#603

Closed
KrisSimon wants to merge 3 commits intomainfrom
migrate-stub-pr
Closed

fix(docs): correct ARO syntax errors across Books, Proposals, MCP — training data quality#603
KrisSimon wants to merge 3 commits intomainfrom
migrate-stub-pr

Conversation

@KrisSimon
Copy link
Copy Markdown
Member

Migrated from GitLab MR !207 (merged)
fix/training-data-correctness-docsmain
Originally created: 2026-03-21
Merged: 2026-03-22
Author: Kris Simon
Labels: important, next

Summary

Systematic fix of 83 identified issues found by auditing knowledge_pairs.jsonl (6,435-entry training dataset). Every wrong occurrence has been corrected in its source file so the next training loop extracts accurate ARO syntax and behaviour.

Full audit trail is in FIXTRAIN.md at the project root.

Issue Categories Fixed

Category Files Count
String concatenation +++ Ch08, Ch25, Ch36, Ch39, Ch44, ARO-0010, ARO-0014 14
Store ... inStore ... into (canonical) Ch12, Ch15, Ch18, Ch29, Ch39, PluginGuide, 8 Proposals, 2 MCP files 28
Emit to <X>Emit a <Name: event> with <data> Ch39 3
when { } blocks → per-statement guards Ch16, Ch20, Ch23 5
Transform ... using → qualifier on result Ch26 1
Throw ... withThrow ... for ARO-0045 1
Accept syntax — added on <entity: field> AppendixA, MCPPromptProvider, MCPToolProvider 5
Log action prepositions restored AppendixA 1
Factual errors (subdirectory support, set ops, immutability) AROByExample Ch02/Ch11, TheConstructionStudies Ch05/AppendixB 4
Log syntax in Proposals ARO-0014, ARO-0016, ARO-0019 7
Compute arithmetic from A with Bfrom A * B ARO-0019 2
Publish documentation MCPResourceProvider 1

Test Plan

  • Verify aro check still passes on all examples in Examples/
  • Confirm training pipeline re-run produces no FIXTRAIN issues
  • Review FIXTRAIN.md for completeness

🤖 Generated with Claude Code

@KrisSimon KrisSimon closed this Apr 10, 2026
@KrisSimon KrisSimon deleted the migrate-stub-pr branch April 10, 2026 15:02
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant