PARK JUN WOO

PARK JUN WOO

Saya mengusulkan Projection Engineering dan Reins Engineering.

Pasang kendali pada agen AI — arahkan dengan kontrak deterministik, kunci dengan ratchet, pisahkan keputusan dari implementasi. Saya menulis kode dan prosa sepanjang waktu, bersama AI.

Projection Engineering

Realitas memberi kita Claims. Keputusan membutuhkan Facts.

Projection Engineering memproyeksikan Claims terbuka menjadi Graph of Accepted Facts (GAF) yang dapat diaudit. Node faktanya adalah Accepted Facts, yang terhubung ke Claims, evaluasi, derivasi, provenance, dan kebijakan yang menghasilkannya.

→ Dari Claims menuju 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

Kekang tanpa kendali hanyalah pagar. Jangan ubah modelnya. Tambahkan kontrak.

→ Reins Engineering — AI dengan Kendali

Sumber Terbuka

Alat Reins Engineering:

  • yongol — Memvalidasi silang 10 SSOT dan menghasilkan kode. Implementasi Reins Engineering. Kekang dengan kendali.
  • toulmin — Mesin aturan Go berbasis model argumentasi Toulmin. Aturan adalah fungsi Go, pengecualian adalah graf defeats, penilaian oleh h-Categoriser.
  • filefunc — Satu file, satu konsep. Struktur kode yang dapat dioperasikan agen.
  • tsma — Scaffolding pengujian otomatis untuk kode lama.
  • ssac — Service Sequences as Code. Alur layanan deklaratif.
  • whyso — Yang tidak ditunjukkan git blame. Mengekstrak riwayat perubahan dari sesi Claude Code.

Proyek dunia:

  • GEUL — Bahasa semantik untuk AI. Melampirkan asal-usul, stempel waktu, dan tingkat kepercayaan pada setiap informasi untuk verifikasi mekanis. Bahasa ketiga.
  • DABEL5 — Rekayasa swarm Dyson. Dari penambangan asteroid hingga replikasi mandiri cermin — merancang peradaban Kardashev Tipe 1 hanya dengan teknologi yang ada.

Kontak

mail@parkjunwoo.com

Hak Cipta

Artikel teknis dan opini di situs ini dibagikan di bawah lisensi CC BY 4.0.

  • Bebas berbagi, mengutip, menerjemahkan, dan membuat karya turunan.
  • Atribusi — Cantumkan sumber dan penulis (Park Jun Woo).

Kode sumber terbuka mengikuti lisensi masing-masing repositori. Pertanyaan: mail@parkjunwoo.com