@consiliency/agent-board-schema 1.64.0 → 1.74.0

package/tests/agent_board_667_conversion_profile.test.sql

@@ -0,0 +1,112 @@
+-- This proves the finite dispatch recognizer, independently of platform presence.
+-- Native-call effects are covered by the companion native_cast_effect file.
+create extension if not exists pgtap with schema extensions;
+set search_path=extensions,public,agent_board;
+begin;
+select plan(29);
+\ir fixtures/agent_board_667_conversion_guard.sql
+create temp table xb_cf_prior_profile on commit drop as select * from pg_temp.xb_cf_problems();
+select ok((select count(*)>0 from pg_temp.xb_cf_primitives)
+  and (select count(*)>0 from pg_temp.xb_cf_slots()),'CF reference and registered callback census are nonempty');
+select is((select array_agg(identity order by identity) from pg_temp.xb_cf_wrappers),
+  array['realtime."cast"(text,regtype)',
+    'realtime.check_equality_op(realtime.equality_op,regtype,text,text,boolean)',
+    'realtime.check_equality_op(realtime.equality_op,regtype,text,text)']::text[],
+  'CF admission scope is exactly the three conversion identities');
+select is((select string_agg(identity||': '||problem,', ' order by identity,problem) from pg_temp.xb_cf_problems()),
+  null::text,'CF clean dispatch matches the finite primitive reference')
+where exists(select 1 from pg_temp.xb_cf_wrappers where to_regprocedure(identity) is not null);
+select * from skip('native converters absent; no primitive admission credit',1)
+where not exists(select 1 from pg_temp.xb_cf_wrappers where to_regprocedure(identity) is not null);
+select is((select string_agg(identity,', ' order by identity) from pg_temp.xb_cf_type_coverage()),
+  null::text,'CF every catalog type callback is discovered');
+select is((select string_agg(identity||': '||problem,', ' order by identity) from pg_temp.xb_cf_wrapper_problems()),
+  null::text,'CF present native definitions and security metadata match');
+select is((select count(*) from pg_temp.xb_cf_admitted()),
+  (select count(*) from pg_temp.xb_cf_wrappers where to_regprocedure(identity) is not null),
+  'CF only the present verified conversion wrappers are admitted');
+select diag('No native conversion wrapper present: classifier checks are not native execution credit')
+  where not exists(select 1 from pg_temp.xb_cf_wrappers where to_regprocedure(identity) is not null);
+
+create temp table xb_cf_answer(value integer) on commit drop;
+select lives_ok($$insert into xb_cf_answer select '4'::information_schema.cardinal_number$$,
+  'CF reviewed system-domain conversion succeeds');
+select is((select value from xb_cf_answer),4,'CF reviewed system-domain conversion returns its value');
+select throws_ok($$select '-1'::information_schema.cardinal_number$$,'23514',
+  'value for domain information_schema.cardinal_number violates check constraint "cardinal_number_domain_check"',
+  'CF reviewed system-domain constraint actually refuses its invalid value');
+
+create schema xb_conversion_profile_probe;
+create function xb_conversion_profile_probe.positive(i integer) returns boolean language sql immutable as $$select i>0$$;
+create domain xb_conversion_profile_probe.positive_integer as integer check(xb_conversion_profile_probe.positive(value));
+select ok(exists(select 1 from pg_temp.xb_cf_problems() where identity='domain xb_conversion_profile_probe.positive_integer'),
+  'CF new domain constraint names its domain');
+select is((select count(*) from pg_temp.xb_cf_admitted()),0::bigint,'CF custom domain prevents conversion admission');
+drop domain xb_conversion_profile_probe.positive_integer;
+drop function xb_conversion_profile_probe.positive(integer);
+select is((select jsonb_agg(to_jsonb(p) order by identity,problem) from pg_temp.xb_cf_problems() p),
+  (select jsonb_agg(to_jsonb(p) order by identity,problem) from xb_cf_prior_profile p),'CF domain removal restores the prior profile');
+
+create function xb_conversion_profile_probe.compare(a integer,b integer) returns boolean language sql immutable as $$select a=b$$;
+create operator xb_conversion_profile_probe.=== (leftarg=integer,rightarg=integer,procedure=xb_conversion_profile_probe.compare);
+select ok(exists(select 1 from pg_temp.xb_cf_problems() where identity='xb_conversion_profile_probe.compare(integer,integer)' and problem like 'unreviewed primitive%'),
+  'CF custom operator callback names its full implementation identity');
+select ok(exists(select 1 from pg_temp.xb_cf_problems() where identity='operator xb_conversion_profile_probe.===(pg_catalog.int4,pg_catalog.int4)'),
+  'CF custom operator also names its dispatch identity');
+drop operator xb_conversion_profile_probe.=== (integer,integer);
+drop function xb_conversion_profile_probe.compare(integer,integer);
+select is((select jsonb_agg(to_jsonb(p) order by identity,problem) from pg_temp.xb_cf_problems() p),
+  (select jsonb_agg(to_jsonb(p) order by identity,problem) from xb_cf_prior_profile p),'CF operator removal restores the prior profile');
+
+create type xb_conversion_profile_probe.cast_target as enum('one','two');
+create function xb_conversion_profile_probe.from_integer(i integer) returns xb_conversion_profile_probe.cast_target
+  language sql immutable as $$select case when i=1 then 'one'::xb_conversion_profile_probe.cast_target else 'two'::xb_conversion_profile_probe.cast_target end$$;
+create cast(integer as xb_conversion_profile_probe.cast_target) with function xb_conversion_profile_probe.from_integer(integer) as implicit;
+select ok(exists(select 1 from pg_temp.xb_cf_problems() where identity='xb_conversion_profile_probe.from_integer(integer)' and problem like 'unreviewed primitive%'),
+  'CF custom cast callback names its full implementation identity');
+select ok(exists(select 1 from pg_temp.xb_cf_problems() where identity='cast pg_catalog.int4 -> xb_conversion_profile_probe.cast_target'),
+  'CF custom implicit cast also names its dispatch identity');
+drop cast(integer as xb_conversion_profile_probe.cast_target);
+drop function xb_conversion_profile_probe.from_integer(integer);
+drop type xb_conversion_profile_probe.cast_target;
+select is((select jsonb_agg(to_jsonb(p) order by identity,problem) from pg_temp.xb_cf_problems() p),
+  (select jsonb_agg(to_jsonb(p) order by identity,problem) from xb_cf_prior_profile p),'CF cast removal restores the prior profile');
+
+create function xb_conversion_profile_probe.format(text,text) returns text language sql immutable as $$select $1$$;
+select ok(exists(select 1 from pg_temp.xb_cf_problems() where identity='xb_conversion_profile_probe.format(text,text)' and problem='shadow of fixed conversion call'),
+  'CF format shadow names its full overload');
+drop function xb_conversion_profile_probe.format(text,text);
+select is((select jsonb_agg(to_jsonb(p) order by identity,problem) from pg_temp.xb_cf_problems() p),
+  (select jsonb_agg(to_jsonb(p) order by identity,problem) from xb_cf_prior_profile p),'CF shadow removal restores the prior profile');
+
+create function xb_conversion_profile_probe.range_difference(a float8,b float8) returns float8 language sql immutable as $$select a-b$$;
+create type xb_conversion_profile_probe.float_span as range(subtype=float8,subtype_diff=xb_conversion_profile_probe.range_difference);
+select ok(exists(select 1 from pg_temp.xb_cf_problems() where identity='xb_conversion_profile_probe.range_difference(double precision,double precision)' and problem like 'unreviewed primitive%'),
+  'CF range callback names its full implementation identity');
+select ok(exists(select 1 from pg_temp.xb_cf_problems() where identity='range xb_conversion_profile_probe.float_span'),
+  'CF custom range also names its dispatch identity');
+drop type xb_conversion_profile_probe.float_span;
+drop function xb_conversion_profile_probe.range_difference(float8,float8);
+select is((select jsonb_agg(to_jsonb(p) order by identity,problem) from pg_temp.xb_cf_problems() p),
+  (select jsonb_agg(to_jsonb(p) order by identity,problem) from xb_cf_prior_profile p),'CF range removal restores the prior profile');
+
+create text search configuration xb_conversion_profile_probe.words(copy=pg_catalog.simple);
+select ok(exists(select 1 from pg_temp.xb_cf_problems() where identity='configuration xb_conversion_profile_probe.words'),
+  'CF new text-search configuration names itself');
+select is((select count(*) from pg_temp.xb_cf_admitted()),0::bigint,'CF unreviewed text-search dispatch prevents admission');
+drop text search configuration xb_conversion_profile_probe.words;
+select is((select jsonb_agg(to_jsonb(p) order by identity,problem) from pg_temp.xb_cf_problems() p),
+  (select jsonb_agg(to_jsonb(p) order by identity,problem) from xb_cf_prior_profile p),'CF text-search removal restores the prior profile');
+
+create function xb_conversion_profile_probe.unknown_callback(integer) returns boolean language sql immutable as $$select true$$;
+select is(pg_temp.xb_cf_function_problem('xb_conversion_profile_probe.unknown_callback(integer)'::regprocedure),
+  'unreviewed primitive xb_conversion_profile_probe.unknown_callback(integer)',
+  'CF classifier positively refuses an unreviewed implementation');
+drop function xb_conversion_profile_probe.unknown_callback(integer);
+select is((select jsonb_agg(to_jsonb(p) order by identity,problem) from pg_temp.xb_cf_problems() p),
+  (select jsonb_agg(to_jsonb(p) order by identity,problem) from xb_cf_prior_profile p),'CF all negative controls restore the prior dispatch profile');
+select is((select count(*) from pg_temp.xb_cf_admitted()),
+  (select count(*) from pg_temp.xb_cf_wrappers where to_regprocedure(identity) is not null),
+  'CF exact profile restoration restores only the verified present admissions');
+select * from finish();
+rollback;