Some checks are pending
CI / lint-and-test (push) Waiting to run
- Add broad Cory-style outcome scenarios to the open-ended benchmark so regular-use ambiguity is tested, not only exact ID canaries. - Add a clone-proven cross-surface strategy anchor packet that updates the mapped rich proposal anchor only after Claim D exists. - Retain VPS Docker DB, claim/body metadata, and cross-surface proof reports with ruff plus 37 focused tests passing. `docs/reports/leo-working-state-20260709/cory-expected-working-leo-outcomes-20260709.md` `docs/reports/leo-working-state-20260709/cross-surface-apply-authorized-commit.sql` `docs/reports/leo-working-state-20260709/cross-surface-clone-rehearsal-current.log` `docs/reports/leo-working-state-20260709/cross-surface-clone-rehearsal-failed-source-id-constraint.log` `docs/reports/leo-working-state-20260709/cross-surface-delete-rollback.sql` `docs/reports/leo-working-state-20260709/cross-surface-packet.json` `docs/reports/leo-working-state-20260709/cross-surface-postflight.sql` `docs/reports/leo-working-state-20260709/cross-surface-preflight.sql` `docs/reports/leo-working-state-20260709/cross-surface-resolution-current.md` `docs/reports/leo-working-state-20260709/current-truth-index.md` `docs/reports/leo-working-state-20260709/leo-db-state-17-cory-outcome-benchmark.svg` `docs/reports/leo-working-state-20260709/leo-db-state-18-db-vs-workspace.svg` `docs/reports/leo-working-state-20260709/leo-db-state-19-claims-body-metadata.svg` `docs/reports/leo-working-state-20260709/leo-db-state-20-cross-surface-anchor.svg` `docs/reports/leo-working-state-20260709/working-leo-current-state-20260709.md` `docs/reports/leo-working-state-20260709/working-leo-definition-20260709.md` `docs/reports/leo-working-state-20260709/working-leo-execution-plan-current.md` `docs/reports/leo-working-state-20260709/working-leo-open-ended-benchmark-spec.json` `scripts/kb_cross_surface_resolution_packet.py` `scripts/working_leo_open_ended_benchmark.py` `tests/test_kb_cross_surface_resolution_packet.py` `tests/test_working_leo_open_ended_benchmark.py`
31 lines
1.3 KiB
PL/PgSQL
31 lines
1.3 KiB
PL/PgSQL
\set ON_ERROR_STOP on
|
|
begin;
|
|
|
|
do $$
|
|
declare
|
|
updated int;
|
|
begin
|
|
if not exists (select 1 from public.claims where id = 'e6ce4e36-15d2-53bc-8b74-dda0efc095c1'::uuid) then
|
|
raise exception 'cross-surface packet requires Claim D % to exist before anchor update', 'e6ce4e36-15d2-53bc-8b74-dda0efc095c1';
|
|
end if;
|
|
|
|
if not exists (select 1 from public.sources where id = '9a0d2429-b98b-585a-980c-0176db7f9fe7'::uuid) then
|
|
raise exception 'cross-surface packet requires approval source % to exist before anchor update', '9a0d2429-b98b-585a-980c-0176db7f9fe7';
|
|
end if;
|
|
|
|
update public.strategy_node_anchors
|
|
set claim_id = 'e6ce4e36-15d2-53bc-8b74-dda0efc095c1'::uuid,
|
|
weight = 0.85,
|
|
note = 'Mapped rich proposal 14fa5ecc applied: active Leo policy now anchors to Claim D (internet finance is a candidate mechanism, not the telos) instead of the retired compressed internet-finance claim.'
|
|
where id = '47f128a0-36c5-4b60-97d4-48c32fa48bc7'::uuid
|
|
and from_node_id = '52bc4264-330e-489d-920c-a493fd2d985a'::uuid
|
|
and anchor_role = 'justified_by'
|
|
and claim_id = 'd0000000-0000-0000-0000-000000000005'::uuid;
|
|
|
|
get diagnostics updated = row_count;
|
|
if updated <> 1 then
|
|
raise exception 'cross-surface anchor update affected % row(s), expected 1; anchor was not at old claim state', updated;
|
|
end if;
|
|
end $$;
|
|
|
|
commit;
|