From f083ac4db0bb36c02854d01c7579e8f42e125883 Mon Sep 17 00:00:00 2001
From: onatozmenn Receipt
proven-to-guarded regression are separate
evidence. CI can turn either one, or a newly Guarded obligation,
into an independent policy gate. The
- copy-paste workflow compares the two commit trees on every pull request.
The record says what it does not establish, too: one model family
and a control arm recorded against an earlier build. A later
- contracts-free Starlark comparison solved all six routine tasks, so these tasks do not establish that
contracts caused the result.
diff --git a/assets/agents.js b/assets/agents.js
index 7b806ee..55d0709 100644
--- a/assets/agents.js
+++ b/assets/agents.js
@@ -5,8 +5,8 @@
// a claim about what an agent gets back is worth nothing if the page is the
// one making it up.
-const TAG = "v0.2.12";
-const VERSION = "0.2.12";
+const TAG = "v0.2.13";
+const VERSION = "0.2.13";
const WASM_URL = `../assets/deed-${TAG}-wasm32-unknown-unknown.wasm`;
const REVIEW_DEMO_URL = "../assets/review-demo.json";
diff --git a/assets/deed-v0.2.12-wasm32-unknown-unknown.wasm b/assets/deed-v0.2.12-wasm32-unknown-unknown.wasm
deleted file mode 100644
index fd6756a113a0150fe195ad81cbf8824f96edc0d8..0000000000000000000000000000000000000000
GIT binary patch
literal 0
HcmV?d00001
literal 1113590
zcmeFadz@uedFQ=v=Tfy#Rqck7YOHSE=h#WAGw`uL^XX~&W0*|se$mj8d39!d-(m8S
z37No*sqPTK4w4L^3+UEX5nDy x1L_tmYv(P1M4x0E{B!`|+OYBuQtHDrUi
zxXxbV$_jIDK{#o!n3~C6`)YS8+P}`uCH< vHLGelVOUZ2z!mcUvhYWe9A`IR>q*EoeKKLJ-F?M2Hnu
zNMfRp7VWeJt=_=B=#Gll==+fK;)c=M&3sgs+Z3DiV)+FvNYZ+~(M?vHTE~QkPR;?B
zR);YNftN1BMemFU>VA$HQXE~{;tT~qummM^FgjCBC^((WfDB;33=LWA*`S!CS^9%`
zAogsPq@)ihD~JawkQiN>-QxtF&Wy1|T4H=^Eg~6W-WV3^3~{fQ(%pQBpUorWH=GGf
zef#xGP^w+N7|wg~1ynWf#jrb!`7yWvL}3ibl+%FBC-i>bkLPBC>>WmA6rM6N(t8lo
z6_bA@FRK@Bfd)x&eP4N$6-8$xVxqr71w=%(U^lvf>3kHrI!LMn^)6Hhf+5LQcE35(
z>N>5ZRtqQt ru=krf>-W{)M3*NO#B?_out
zY0BY(MUck^SN`;qU^Y5yB$AdNxXGeTEg4}w!j^o9{4?5B3N+zh4sDEq_iE&yHHY6o
zz!~7Nc|hn>aA)g8AcTgE(838|#>bEzj*IQT53G7}zRlj?3D1&ad6vwPMVda5$4T+b
zv+63C3oif$3O37vV|@kBGjd=FsjX<8#cB@HOaI|4R <#J}x1?OWG28-*H-%d=QUfRy9Yx`8*IJ8bw|=Lh
zx>{5Kd4c?qQnfqg_36EOCgH+GuXV-^LT7~9;`ERQ>MFmT)2GT)Y3eCR`cNS);T)AM
zkKV#vI&?KUOUM$1Ql-k-2~9+-I83KWQ)kmK^A^BWJ83Dgi_1nMVvdP~gb8Y~Jk6#y
zIDU#X)fUCmbIV(W?v*mkf(`nd2>fqQR<=io2R&a#C$NZh;z=Fop)^0Hn)=fR!}7@_
zf9$$_A)zC`$8S}PDFrKQwSL)v0T$B^N6ZRt98X1n&-a7SUct=XKr!mUPU#pj -P=>X!}>E+*bqK&hK7Kq3H7Xfh9Xy%VDwNSV`a
zsGtQDK{&QL+U^McGBV|PHhfc1s#Yxc+wqe`HvAya$_C<+%*FQC44#aMG1z?#+l8p)
zUASEWkD;}v7m>0x)&8X&OebNI3&+vuG72VHk}d;utmrIQVkpkJMGXKLraD2Ha^P^x*iVROK
zVYfsz|8lTu*ld_!*od(Sxu4bKq0WfvcGv-XY^!XxrJa4)qjeeVsKH0+x6+GPOe=I?
zunK0!(B*6Qdzj1DI_Nqt*%d1={Z!i;_WUGu4d6?nN!J+<-0gu?Kj;Nne}z0t7~{p2
zos%pFlQ{ICy@_yi)doHbQz)~~t9gxd4@zuV*?uJAIzKPG?4&fGZE*iW-Wt$W%
4B?~`R2LdCDM*$=AqJWX5q5uX=mW%>!fA=RCD_S}V
zIBY6Duv{v>Jqkw_Qqjd!FuP)^gpi8)MGU}69Ng5PPOnXVQ#Uf=D-P|hM%xIpI`OoK
zVZ<8F+b&v4#r=lsricMq^Y)hPYGK?83f;oA!+);qK;BT4#$iiugz=Idgw>7FoVwz?
zqoi{S+DfVVkSoriyAycf8t&%6{(+F%qFg5XW-jp3$Axd2hjPja#L|DV5tw1U0h>%A
zM06^Nrm1wn_uO_$>AH`a{$VX`h(zdAEpG+K2AzUg2m$Xaq~;LvgZngHoHB
zEHW2|ptjll#i@NrQje#f8z9I-OE_VdC8ZO_mNc+_QfTwm#oaLY(EKno7_@ofju
MJ{ydvS;Xp}
zhZ2&>g=Ht}?=SScwJ{7s=eCu6W7eo88Wng5qlnNAA)*sHSt#cebRYmmFsE-dyLqKQ
z*e3(~c6$