PARK JUN WOO

PARK JUN WOO

I propose Reins Engineering.

Put reins on AI agents — steer with deterministic contracts, lock with ratchets, separate decisions from implementation. I write code and prose around the clock, together with AI.

Reins Engineering

Prompt Engineering      → Say it well and it works
Context Engineering     → Give good context and it works
Harness Engineering     → Contain it with structure
Reins Engineering       → Steer it with direction

A harness without reins is just a fence. Don’t change the model. Add a contract.

→ Reins Engineering — AI with Reins

Open Source

Reins Engineering tools:

  • yongol — Cross-validates 10 SSOTs + generates code. The implementation of Reins Engineering. Harness with reins.
  • toulmin — Toulmin argumentation model-based Go rule engine. Rules are Go functions, exceptions are defeats graphs, judgment is h-Categoriser.
  • filefunc — One file, one concept. Agent-operable code structure.
  • tsma — Automated test scaffolding for legacy code.
  • ssac — Service Sequences as Code. Declarative service flow.
  • whyso — What git blame doesn’t show. Extracts change history from Claude Code sessions.

World projects:

  • GEUL — A semantic language for AI. Attaches provenance, timestamp, and confidence to every piece of information for mechanical verification. The third language.
  • DABEL5 — Dyson swarm engineering. From asteroid mining to mirror self-replication — designing a Kardashev Type 1 civilization using only existing technology.

Contact

mail@parkjunwoo.com

Technical and opinion articles on this site are shared under the CC BY 4.0 license.

  • Freely share, cite, translate, and create derivative works.
  • Attribution — Credit the source and author (Park Jun Woo).

Open source code follows each repository’s license. Inquiries: mail@parkjunwoo.com