Skip to content

Instantly share code, notes, and snippets.

View alexander-didorenko's full-sized avatar

Alex Didorenko alexander-didorenko

View GitHub Profile
@alexander-didorenko
alexander-didorenko / AUDIT-REPORT-v0.md
Last active June 7, 2026 01:46
SOP Pipeline V0 Audit — Findings Report (iter-5 schema, 25 PT fixtures, 7 dimensions)

SOP Pipeline V0 Audit — Findings Report

Generated 2026-06-06. Audit scope: L1/L2/L3 schema set against 20 worked samples + 25 stratified PT impl fixtures. Stress-case SOPs and full SOP corpus deferred per v0 scope.


0. Executive verdict

Bucket Count
@alexander-didorenko
alexander-didorenko / L1-L2-L3-SAMPLES.md
Last active June 9, 2026 22:07
SOP Pipeline — L1/L2/L3 Worked Examples (iter-5)
title SOP Pipeline — L1/L2/L3 Worked Examples
audience AI / Kevin team grounding SOPs to PT primitives
status iter-20 (worked examples; full changelog lives in the SCHEMA doc Status header)
last_updated 2026-06-09
related
schema_doc schema_gist rules
../sop/L1-L2-L3-SCHEMA.md
../sop/SCHEMA-DESIGN-RULES.md
@alexander-didorenko
alexander-didorenko / L1-L2-L3-SCHEMA.md
Last active June 9, 2026 22:07
SOP Grounding L1→L2→L3 schema synthesis + 20 worked examples with L3 Mermaid diagrams

L1 → L2 → L3 Schema Synthesis

Project: Airspace SOP Grounding — convert SOP text into PackageTracker (PT) Task Workflow JSON. Pipeline: SOP text → L1 (SOP-vocab rules) → L2 (PT-primitive grounding) → L3 (Task Workflow JSON). Status: Schema-locking synthesis, iteration 20 (2026-06-09; iter-20 slimmed §2.5 — cut the descriptive 7-category edge-classification table + duplicate ruleset (consumed by nothing; kept only the L2 edge-grounding trigger + back-edge invariant); renamed edge field labelcondition so the edge shape {from, to, condition} mirrors PT tasks_edges 1:1 (also label_valid_in_receiver_enumcondition_valid_in_receiver_enum); iter-19 dropped edge kind field — derivable from parent node kind + label + topology; PT has no edge kind column and L3 never consumed it; discriminator was a PT concept leaking into L1 (DP2). Added the edge-classification derivation ruleset; L2 edge-grounding now triggered by (parent event + label ∉ reserved) instead of `kind==discrimi