PARK JUN WOO

PARK JUN WOO

I propose Projection Engineering and 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.

Projection Engineering

Reality gives us Claims. Decisions require Facts.

Projection Engineering projects open Claims into an auditable Graph of Accepted Facts (GAF). Its fact nodes are Accepted Facts, connected to the Claims, evaluations, derivations, provenance, and policies that produced them.

→ From Claims to a Graph of Accepted Facts

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