poem_artifact_v12_28 — reproduction in six commands (Python 3.11+, stdlib only)
  sha256sum -c MANIFEST.sha256
  python3 conto_match_v12_12.py cofris12_case4_model.json -o /tmp/a.conto   # 23/0/0; byte==cofris_case4_compiled.conto
  python3 gen_sql_v12_29.py    cofris12_case4_model.json -o /tmp/a.sql     # byte==cofris_case4_deploy_v12_29.sql
  python3 conto_match_v12_12.py cofris12_v12_model.json  -o /tmp/b.conto   # 17/0/0; byte==cofris_v12_compiled.conto
  python3 gen_sql_v12_29.py    cofris12_v12_model.json  -o /tmp/b.sql && cmp /tmp/b.sql cofris_v12_deploy_v12_29.sql
  python3 fixtures_missing_branch.py && python3 fixtures_invalid_sidescope.py && python3 fixtures_reverse_gensets.py && python3 fixtures_ambiguous_side.py && python3 fixtures_irrelevant_side.py && python3 fixtures_missing_side.py && python3 fixtures_evidence_resolution.py && python3 fixtures_profile_portability.py && python3 fixtures_partial_declaration.py && python3 fixtures_projection_lint.py
  python3 rename_harness_v2.py cofris12_case4_model.json && python3 rename_harness_v2.py cofris12_v12_model.json
pykernel (both models, asserting fixtures):
  python3 pykernel_v1.py cofris_case4_compiled.conto /tmp/j_case4.md
  python3 pykernel_v1.py cofris_v12_compiled.conto  /tmp/j_v12.md
  => each: ACCEPTANCE PASS, journal 21 rows byte==journal_control_case.md,
     asserted refusals 51203 + 51227(Receipt@Obligation) + 51227(Transfer@Right).
Server status (stated plainly): the deployment scripts in this bundle
have NOT been executed against a live SQL Server in this lineage. The
last known server execution belongs to the legacy kernel era (~1.5
years prior). Current execution evidence = the Python kernel runs
archived here (journal_*_run.md, byte-identical control) plus the
static projection lint. SQL Server verification of this lineage is
future work, not a claim.
Side policy: one eligible side -> constrained; several -> error; none ->
gap unless SideScope=Any is declared (both models license it on Service LER;
case4's declaration is the single post-freeze delta, old model archived as
archived_pre_sidescope_case4_model.json).
Roles: case4 = evaluated pre-restructuring baseline (acceptance-passed);
v12 = corrected model of Fig.4. Its RESULT is the model + compiled rule
set (17/0/0, evidence-resolvable, rename-invariant, derived from the
model's own structure). Its SQL realization is generated under an
EXPLICITLY DECLARED scope table (see SCOPE comment in the generator):
evaluation scaffolding, superseded by the Frame Declaration Convention;
a frame-derived realization is the successor's first output.
UI: cofris_ui_loadcontext_v12.sql + cofris_ui_deploy_v12_05.sql + seven_bonds_v9_9.py (edit CONN string at top).

-- External test harnesses --
The minimal-event, ambiguity, and licensed-negation fixtures, and the
rename/genset-reversal invariance harnesses, live in the v13 package
(v13_defrozen), external to this archived v12 artifact. This archive is
frozen historical evidence: the CONTO-generated SQL Server realization
of the v12 generation, acceptance-run on a live server.
