PARK JUN WOO

Park Jun Woo

Je propose le Projection Engineering et le Reins Engineering.

Mettez des rênes aux agents IA — pilotez avec des contrats déterministes, verrouillez avec des cliquets, séparez les décisions de l’implémentation. J’écris du code et de la prose jour et nuit, avec l’IA.

Projection Engineering

La réalité nous donne des Claims. Les décisions exigent des Facts.

Le Projection Engineering projette les Claims ouvertes dans un graphe auditable de faits acceptés (GAF). Ses nœuds factuels sont des Accepted Facts, reliés aux Claims, évaluations, dérivations, provenances et politiques qui les ont produits.

→ Des Claims à un graphe de faits acceptés

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

Un harnais sans rênes n’est qu’une clôture. Ne changez pas le modèle. Ajoutez un contrat.

→ Reins Engineering — L’IA avec des rênes

Open Source

Outils Reins Engineering :

  • yongol — Validation croisée de 10 SSOT + génération de code. L’implémentation du Reins Engineering. Un harnais avec des rênes.
  • toulmin — Moteur de règles en Go basé sur le modèle d’argumentation de Toulmin. Les règles sont des fonctions Go, les exceptions des graphes defeats, le jugement est le h-Categoriser.
  • filefunc — Un fichier, un concept. Structure de code opérable par les agents.
  • tsma — Scaffolding de tests automatisé pour le code legacy.
  • ssac — Service Sequences as Code. Flux de services déclaratif.
  • whyso — Ce que git blame ne montre pas. Extrait l’historique des modifications des sessions Claude Code.

Projets mondiaux :

  • GEUL — Un langage sémantique pour l’IA. Attache provenance, horodatage et degré de confiance à chaque information pour une vérification mécanique. Le troisième langage.
  • DABEL5 — Ingénierie d’essaim de Dyson. De l’extraction d’astéroïdes à l’auto-réplication de miroirs — concevoir une civilisation de type I de Kardashev avec uniquement les technologies existantes.

Contact

mail@parkjunwoo.com

Droits d’auteur

Les articles techniques et d’opinion de ce site sont partagés sous licence CC BY 4.0.

  • Librement partagez, citez, traduisez et créez des œuvres dérivées.
  • Attribution — Mentionnez la source et l’auteur (Park Jun Woo).

Le code open source suit la licence de chaque dépôt. Contact : mail@parkjunwoo.com