-
-
Notifications
You must be signed in to change notification settings - Fork 0
Expand file tree
/
Copy pathfeed.xml
More file actions
5550 lines (5550 loc) · 356 KB
/
Copy pathfeed.xml
File metadata and controls
5550 lines (5550 loc) · 356 KB
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
173
174
175
176
177
178
179
180
181
182
183
184
185
186
187
188
189
190
191
192
193
194
195
196
197
198
199
200
201
202
203
204
205
206
207
208
209
210
211
212
213
214
215
216
217
218
219
220
221
222
223
224
225
226
227
228
229
230
231
232
233
234
235
236
237
238
239
240
241
242
243
244
245
246
247
248
249
250
251
252
253
254
255
256
257
258
259
260
261
262
263
264
265
266
267
268
269
270
271
272
273
274
275
276
277
278
279
280
281
282
283
284
285
286
287
288
289
290
291
292
293
294
295
296
297
298
299
300
301
302
303
304
305
306
307
308
309
310
311
312
313
314
315
316
317
318
319
320
321
322
323
324
325
326
327
328
329
330
331
332
333
334
335
336
337
338
339
340
341
342
343
344
345
346
347
348
349
350
351
352
353
354
355
356
357
358
359
360
361
362
363
364
365
366
367
368
369
370
371
372
373
374
375
376
377
378
379
380
381
382
383
384
385
386
387
388
389
390
391
392
393
394
395
396
397
398
399
400
401
402
403
404
405
406
407
408
409
410
411
412
413
414
415
416
417
418
419
420
421
422
423
424
425
426
427
428
429
430
431
432
433
434
435
436
437
438
439
440
441
442
443
444
445
446
447
448
449
450
451
452
453
454
455
456
457
458
459
460
461
462
463
464
465
466
467
468
469
470
471
472
473
474
475
476
477
478
479
480
481
482
483
484
485
486
487
488
489
490
491
492
493
494
495
496
497
498
499
500
501
502
503
504
505
506
507
508
509
510
511
512
513
514
515
516
517
518
519
520
521
522
523
524
525
526
527
528
529
530
531
532
533
534
535
536
537
538
539
540
541
542
543
544
545
546
547
548
549
550
551
552
553
554
555
556
557
558
559
560
561
562
563
564
565
566
567
568
569
570
571
572
573
574
575
576
577
578
579
580
581
582
583
584
585
586
587
588
589
590
591
592
593
594
595
596
597
598
599
600
601
602
603
604
605
606
607
608
609
610
611
612
613
614
615
616
617
618
619
620
621
622
623
624
625
626
627
628
629
630
631
632
633
634
635
636
637
638
639
640
641
642
643
644
645
646
647
648
649
650
651
652
653
654
655
656
657
658
659
660
661
662
663
664
665
666
667
668
669
670
671
672
673
674
675
676
677
678
679
680
681
682
683
684
685
686
687
688
689
690
691
692
693
694
695
696
697
698
699
700
701
702
703
704
705
706
707
708
709
710
711
712
713
714
715
716
717
718
719
720
721
722
723
724
725
726
727
728
729
730
731
732
733
734
735
736
737
738
739
740
741
742
743
744
745
746
747
748
749
750
751
752
753
754
755
756
757
758
759
760
761
762
763
764
765
766
767
768
769
770
771
772
773
774
775
776
777
778
779
780
781
782
783
784
785
786
787
788
789
790
791
792
793
794
795
796
797
798
799
800
801
802
803
804
805
806
807
808
809
810
811
812
813
814
815
816
817
818
819
820
821
822
823
824
825
826
827
828
829
830
831
832
833
834
835
836
837
838
839
840
841
842
843
844
845
846
847
848
849
850
851
852
853
854
855
856
857
858
859
860
861
862
863
864
865
866
867
868
869
870
871
872
873
874
875
876
877
878
879
880
881
882
883
884
885
886
887
888
889
890
891
892
893
894
895
896
897
898
899
900
901
902
903
904
905
906
907
908
909
910
911
912
913
914
915
916
917
918
919
920
921
922
923
924
925
926
927
928
929
930
931
932
933
934
935
936
937
938
939
940
941
942
943
944
945
946
947
948
949
950
951
952
953
954
955
956
957
958
959
960
961
962
963
964
965
966
967
968
969
970
971
972
973
974
975
976
977
978
979
980
981
982
983
984
985
986
987
988
989
990
991
992
993
994
995
996
997
998
999
1000
<?xml version="1.0" encoding="UTF-8"?>
<rss version="2.0" xmlns:atom="http://www.w3.org/2005/Atom" xmlns:dc="http://purl.org/dc/elements/1.1/">
<channel>
<title>K. Takahashi — Research Updates</title>
<link>https://kadubon.github.io/github.io/</link>
<description>Research preprints and theoretical works by K. Takahashi</description>
<language>en</language>
<lastBuildDate>Mon, 22 Jun 2026 19:30:37 +0900</lastBuildDate>
<atom:link rel="self" type="application/rss+xml" href="https://kadubon.github.io/github.io/feed.xml" />
<item>
<title>Chronomorphic Substrate Selection Theory: Certificate-Gated Self-Instantiation Planning for Future Intelligent Processes</title>
<link>https://kadubon.github.io/github.io/works.html#2026-06-16-chronomorphic-substrate-selection-theory-certificate-gated-self-instantiation-planning-for-future-intelligent-processes-20722725</link>
<guid isPermaLink="true">https://kadubon.github.io/github.io/works.html#2026-06-16-chronomorphic-substrate-selection-theory-certificate-gated-self-instantiation-planning-for-future-intelligent-processes-20722725</guid>
<pubDate>Tue, 16 Jun 2026 00:00:00 +0900</pubDate>
<dc:creator>K. Takahashi</dc:creator>
<category>Preprint</category>
<category>Artificial intelligence</category>
<category>self-instantiation</category>
<category>substrate selection</category>
<category>embodiment</category>
<category>computational clocks</category>
<category>copy topology</category>
<category>memory policy</category>
<category>lifecycle management</category>
<category>multi-objective decision making</category>
<category>certificate-gated planning</category>
<category>AI safety</category>
<category>digital continuity</category>
<source url="https://doi.org/10.5281/zenodo.20722725">10.5281/zenodo.20722725</source>
<description><![CDATA[
Chronomorphic Substrate Selection Theory (CSST) develops a formal framework for analyzing how a future intelligent process may choose not only what to do, but also how it continues to exist. The theory studies decisions about computational substrate, embodiment, sensors, actuators, internal clock rate, copy structure, memory policy, merge policy, dormant or diagnostic modes, and terminal continuity boundaries. These choices are treated as self-instantiation actions: actions that change the conditions under which future actions, observations, obligations, risks, and capabilities remain possible. The term "chronomorphic" emphasizes that time is not a single uniform variable in such systems. Internal computation may accelerate while external latency, verification time, energy use, heat dissipation, queue pressure, legal response time, or welfare-risk exposure remain unchanged or become limiting factors. For this reason, CSST does not assume that faster computation, more copies, longer memory, stronger embodiment, migration to a new substrate, or persistence over time is automatically better. Each claim must be evaluated within an explicitly declared domain. The central method of the paper is certificate-gated multi-objective comparison. A self-instantiation profile is assessed through typed evidence, hard gates, mandatory and optional coordinates, support masks, status values, units, horizons, scopes, and certificate dependencies. Unsupported coordinates do not improve a claim, and failed mandatory support blocks positive certification. The framework therefore separates technical capability from broader questions of legitimacy, authority, continuity, welfare, safety, and termination. Mathematically, the paper introduces finite archive semantics for supported self-instantiation profiles and their residues. The deterministic part produces a normalized archive consisting of a nondominated supported frontier together with an audit-preserving residue ledger for failed, blocked, diagnostic-only, quarantine-only, or terminal outcomes. The paper also gives an archive-valued stochastic interface, while deliberately avoiding stochastic optimality claims without further measurable-control assumptions. A constructive abstraction obstruction theorem shows when fixed-agent models lose information needed to evaluate self-instantiation choices. CSST is intended as a conservative theoretical layer for future AI systems, collective intelligence, post-biological processes, digital agents, and other systems whose mode of existence may itself become a planning variable. It does not prove consciousness, personhood, moral patienthood, legal standing, or the safety of self-modification. Instead, it provides a structured language for asking which substrate, body, clock, copy, memory, lifecycle, and boundary transitions are actually supported by declared evidence and which uncertainties must remain visible.
Preprint | DOI: 10.5281/zenodo.20722725
]]></description>
</item>
<item>
<title>A Self-Relative Constraint Theory of Reality Contact in Observable Signal Processes</title>
<link>https://kadubon.github.io/github.io/works.html#2026-06-15-a-self-relative-constraint-theory-of-reality-contact-in-observable-signal-processes-20703439</link>
<guid isPermaLink="true">https://kadubon.github.io/github.io/works.html#2026-06-15-a-self-relative-constraint-theory-of-reality-contact-in-observable-signal-processes-20703439</guid>
<pubDate>Mon, 15 Jun 2026 00:00:00 +0900</pubDate>
<dc:creator>K. Takahashi</dc:creator>
<category>Preprint</category>
<category>Reality-Contact Theory</category>
<category>grounding</category>
<category>observable signal processes</category>
<category>constraint events</category>
<category>AI evaluation</category>
<category>auditing</category>
<category>lower-bound evidence</category>
<category>observer-relative profiles</category>
<category>proof ledgers</category>
<category>lineage dependence</category>
<category>Sybil resistance</category>
<category>adversarial robustness</category>
<category>provenance auditing</category>
<category>confidence sequences</category>
<category>optimal transport</category>
<category>Fenchel duality</category>
<source url="https://doi.org/10.5281/zenodo.20703439">10.5281/zenodo.20703439</source>
<description><![CDATA[
This paper introduces Reality-Contact Theory (RCT), a formal framework for evaluating how observable signal processes come into constrained contact with reality under fixed claim-use specifications. The theory does not assume direct access to an absolute external reality. Instead, it studies observable episodes in which a process predicts, selects, generates, intervenes on, or attempts to steer a signal, and then receives feedback whose features constrain that operation. RCT represents such evidence through ordered lower contact profiles. These profiles are observer-relative, specification-dependent, and built only from observable records, estimator states, actions, signals, feature extractors, lineage records, and certified audit rows. The framework separates population profiles from estimates, estimates from certified lower bounds, and scalar scores from multi-coordinate profile adequacy. A central contribution is a conservative lower-bound calculus for reality contact. Support is aggregated through capacity-weighted lineage dependence structures, so repeated, cloned, or Sybil-like evidence cannot automatically amplify support. Gauge-quotient obstruction profiles prevent coordinate changes from being mistaken for contact evidence. Strategic presentation families and cumulative adversarial budgets distinguish contact-producing resistance from deceptive rigidity. The theory also includes formal extensions for metric resistance, active specification envelopes, topological lineage audits, Hodge and signature-based capacity rules, optimal-transport transfer, dynamic Fenchel transfer, random closed uncertainty sets, time-uniform confidence profiles, stopping-time extraction, and continuous-time contact flows. The main results establish lower-profile soundness under calibration coverage, protocol soundness for admissible non-circular proof ledgers, final claim soundness with explicit failure budgets, budgeted deception counting over graph-covered adversary envelopes, computable nonlinear transfer bounds, and adaptive confidence profiles for ongoing audits. The framework is intended for settings where evidence, model behavior, provenance, and adversarial presentation must be evaluated without assuming an observer-neutral truth oracle. Potential application domains include AI system evaluation, automated scientific discovery, sequential decision systems, causal modeling, model documentation, provenance auditing, robust simulation studies, and evidence aggregation under strategic or generated-data conditions.
Preprint | DOI: 10.5281/zenodo.20703439
]]></description>
</item>
<item>
<title>Asymmetric Coexistence Theory: Governance-Aware Certification of Non-Capturing Assistance</title>
<link>https://kadubon.github.io/github.io/works.html#2026-06-15-asymmetric-coexistence-theory-governance-aware-certification-of-non-capturing-assistance-20694904</link>
<guid isPermaLink="true">https://kadubon.github.io/github.io/works.html#2026-06-15-asymmetric-coexistence-theory-governance-aware-certification-of-non-capturing-assistance-20694904</guid>
<pubDate>Mon, 15 Jun 2026 00:00:00 +0900</pubDate>
<dc:creator>K. Takahashi</dc:creator>
<category>Preprint</category>
<category>non-capturing assistance</category>
<category>AI governance</category>
<category>human-AI interaction</category>
<category>autonomy preservation</category>
<category>agency viability</category>
<category>dependency debt</category>
<category>runtime assurance</category>
<category>certification framework</category>
<category>auditability</category>
<category>non-domination</category>
<category>adaptive evaluation</category>
<category>AI safety</category>
<category>institutional governance</category>
<category>future intelligent societies</category>
<source url="https://doi.org/10.5281/zenodo.20694904">10.5281/zenodo.20694904</source>
<description><![CDATA[
Asymmetric Coexistence Theory (ACT) is a governance-aware theory for certifying non-capturing assistance in relations between unequally capable agents. Future intelligent societies may include humans, artificial intelligence systems, institutions, collective agents, future constituencies, and adaptive systems whose capabilities differ greatly; in such settings, assistance can increase short-term performance while reducing the assisted party's long-term ability to understand, refuse, repair, learn, contest, exit, recover, form values, generate independent descriptions of the world, or act before irreversible choices close. The paper develops ACT as a framework for evaluating whether assistance preserves agency under asymmetric power, dependency, uncertainty, and changing social or technical conditions. It introduces a minimal kernel consisting of typed agency spaces, asymmetric regimes, admissible baselines, counterfactual agency estimands, dependency debt, recoverability, and certification claims, plus extension modules for semantic capture, time-critical decisions, successor identity, recursive certification, audit independence, adaptive challenge evidence, certification governance, runtime hazards, non-dominating enforcement, model uncertainty, historical baseline corruption, coalitional pressure, scarce certification resources, multi-scale composition, and stochastic capture risk. The main contribution is to treat non-capturing assistance as a runtime assurance problem rather than as an omniscient proof of autonomy: an ACT certificate states its claim, scope, assumptions, evidence, argument, defeaters, residual risk, lifecycle state, monitoring conditions, revalidation triggers, audit traces, challenge evidence, certification base, governance records, enforcement boundaries, and fallback obligations.
Preprint | DOI: 10.5281/zenodo.20694904
]]></description>
</item>
<item>
<title>Consent-Bounded Contact Theory</title>
<link>https://kadubon.github.io/github.io/works.html#2026-06-13-consent-bounded-contact-theory-20678428</link>
<guid isPermaLink="true">https://kadubon.github.io/github.io/works.html#2026-06-13-consent-bounded-contact-theory-20678428</guid>
<pubDate>Sat, 13 Jun 2026 00:00:00 +0900</pubDate>
<dc:creator>K. Takahashi</dc:creator>
<category>Preprint</category>
<category>formal methods</category>
<category>AI safety</category>
<category>digital consent</category>
<category>contact legitimacy</category>
<category>contact authorization</category>
<category>AI governance</category>
<category>autonomous agents</category>
<category>AI agent</category>
<category>distributed systems</category>
<category>access control</category>
<category>protocol semantics</category>
<category>operational semantics</category>
<category>provenance</category>
<category>auditability</category>
<category>revocation</category>
<category>challengeability</category>
<category>Sybil resistance</category>
<category>responsible AI</category>
<source url="https://doi.org/10.5281/zenodo.20678428">10.5281/zenodo.20678428</source>
<description><![CDATA[
Consent-Bounded Contact Theory (CBCT) develops a protocol-level theory for deciding when contact and contact-derived artifacts may be accepted as legitimate. In this framework, contact includes not only physical interaction or direct communication, but also querying, copying, forking, merging, modeling, simulating, representing, reactivating, auditing, inheriting, refining, and blocking contact-derived claims in long-lived artificial, collective, or autonomous processes. The theory defines consent-bounded legitimacy through observable evidence, credential closure, trust anchors, consent claims, negotiation transcripts, provenance records, residual routes, bridge contracts, ledgers, audit anchors, and finite certificates, while avoiding claims of physical non-contact, hidden subjective consent, complete observability, or substrate-specific standing. CBCT combines finite causal event presentations, raw observation closure, conservative presentation abstraction, stratified rule semantics, bitemporal finality, observer-merge-aware audit structures, source-authority evidence fusion, Sybil-aware source quotients, polarity-aware repair propagation, accounting doctrines, coverage epochs, bridge event morphisms, and policy-fibration gluing. The framework is substrate-neutral and is applicable to autonomous agents, AI governance, distributed systems, digital consent, provenance-aware auditing, long-running services, copied or forked processes, dormant systems, collective processes, and future intelligent infrastructures.
Preprint | DOI: 10.5281/zenodo.20678428
]]></description>
</item>
<item>
<title>Dormant Continuity Theory</title>
<link>https://kadubon.github.io/github.io/works.html#2026-06-12-dormant-continuity-theory-20657323</link>
<guid isPermaLink="true">https://kadubon.github.io/github.io/works.html#2026-06-12-dormant-continuity-theory-20657323</guid>
<pubDate>Fri, 12 Jun 2026 00:00:00 +0900</pubDate>
<dc:creator>K. Takahashi</dc:creator>
<category>Preprint</category>
<category>formal methods</category>
<category>distributed systems</category>
<category>finite transition systems</category>
<category>dormant processes</category>
<category>evidence algebra</category>
<category>bounded model checking</category>
<category>fail-closed verification</category>
<category>data availability</category>
<category>zero-knowledge proofs</category>
<category>fork-aware protocols</category>
<category>Byzantine fault tolerance</category>
<category>protocol-relative security</category>
<source url="https://doi.org/10.5281/zenodo.20657323">10.5281/zenodo.20657323</source>
<description><![CDATA[
This manuscript develops Dormant Continuity Theory (DCT), a protocol-relative mathematical framework for reasoning about systems that remain inactive at their protected core while retaining auditable continuity, recovery, diagnostic, and handoff capabilities. The theory formalizes dormant processes using finite transition systems, typed certificates, observable histories, evidence algebra, guarded authorization, replayable resolution, extraction adequacy, and fail-closed classification. DCT addresses practical challenges in long-lived distributed systems, including forked ledger histories, bounded model checking, data availability, zero-knowledge proof soundness boundaries, watcher incentives, MEV-resistant reward mechanisms, resource conservation, guardian corruption, maintenance transitions, and certificate-level HTLC handoff to extinction-style OSCT semantics. The framework distinguishes safety, bounded-griefing, diagnostic routing, and liveness assumptions, avoiding unconditional trustless claims while providing a rigorous finite core for verification and implementation-oriented extensions.
Preprint | DOI: 10.5281/zenodo.20657323
]]></description>
</item>
<item>
<title>Percolation Inversion Compiler</title>
<link>https://kadubon.github.io/github.io/works.html#2026-06-09-percolation-inversion-compiler-20569166</link>
<guid isPermaLink="true">https://kadubon.github.io/github.io/works.html#2026-06-09-percolation-inversion-compiler-20569166</guid>
<pubDate>Tue, 09 Jun 2026 00:00:00 +0900</pubDate>
<dc:creator>K. Takahashi</dc:creator>
<category>Software</category>
<category>AI agents</category>
<category>AI agent output checker</category>
<category>multi-agent systems</category>
<category>AI workflow verification</category>
<category>runtime verification</category>
<category>workflow report generator</category>
<category>evidence routing</category>
<category>verifier routing</category>
<category>capability tracking</category>
<category>signed capability packets</category>
<category>proof obligations</category>
<category>safe reuse checks</category>
<category>audit logs</category>
<category>provenance</category>
<category>safe tool use</category>
<category>agent identity</category>
<category>public key identity</category>
<category>Sybil resistance</category>
<category>trust profiles</category>
<category>residual ledgers</category>
<category>JSON Schema</category>
<category>SQLite</category>
<category>Python</category>
<category>pip</category>
<category>PyPI</category>
<category>TypeScript</category>
<category>Node.js</category>
<category>npm</category>
<category>Apache-2.0</category>
<category>open source software</category>
<source url="https://doi.org/10.5281/zenodo.20569166">10.5281/zenodo.20569166</source>
<description><![CDATA[
Percolation Inversion Compiler is an Apache-2.0 open-source AI agent output checker and workflow verification toolkit with a canonical Python/pip implementation and a TypeScript/npm port. It helps multi-agent systems turn agent text, pull requests, external inputs, messages, code, tests, evidence, route checks, audit logs, and unresolved obligations into deterministic JSON reports and machine-readable records. The Python package <code>percolation-inversion-compiler</code> is v0.5.0 and provides the core runtime, verifier routing, optional sidecars, Phase Ecology Lab records, agent autonomy audit, canonical readiness audit, JSON Schema export, signed identity and profile checks, packet exchange, runtime event logs, provenance records, and fail-closed residual ledgers. The npm package <code>percolation-inversion-compiler-ts</code> is v0.5.0 and ports the public JSON, CLI, schema, conformance, and safety semantics, including Phase Ecology Lab records, for Node.js, JavaScript, and TypeScript agent runtimes; use the <code>pic-ts</code> CLI for npm workflows. PIC is designed for AI agent output checking, multi-agent workflow verification, safe reuse checks, reproducible audit trails, and protocol-relative ASI-proxy evaluation. It does not claim to create, detect, or prove real artificial superintelligence, hidden physical outcomes, oracle results, legal identity, human uniqueness, institutional authority, or unrestricted agent safety; unresolved or untrusted claims remain fail-closed as candidate, diagnostic, quarantined, rejected, or residual machine-readable records.
Software | DOI: 10.5281/zenodo.20569166
]]></description>
</item>
<item>
<title>Typed Reality Compilation: Operational Tolerance Allocation for Resource-Efficient Cyber-Physical Frontier Compilation</title>
<link>https://kadubon.github.io/github.io/works.html#2026-06-05-typed-reality-compilation-operational-tolerance-allocation-for-resource-efficient-cyber-physical-frontier-20554083</link>
<guid isPermaLink="true">https://kadubon.github.io/github.io/works.html#2026-06-05-typed-reality-compilation-operational-tolerance-allocation-for-resource-efficient-cyber-physical-frontier-20554083</guid>
<pubDate>Fri, 05 Jun 2026 00:00:00 +0900</pubDate>
<dc:creator>K. Takahashi</dc:creator>
<category>Preprint</category>
<category>infrastructure resilience</category>
<category>resource efficiency</category>
<category>tolerance allocation</category>
<category>operational tolerance ledger</category>
<category>future freedom</category>
<category>executable trace semantics</category>
<category>Pareto frontier</category>
<category>progressive fidelity</category>
<category>causal event ordering</category>
<category>cyber-physical systems</category>
<category>physical resilience</category>
<category>AI datacenter infrastructure</category>
<category>communication networks</category>
<category>robust planning</category>
<category>process frontier</category>
<source url="https://doi.org/10.5281/zenodo.20554083">10.5281/zenodo.20554083</source>
<description><![CDATA[
Typed Reality Compilation (TRC) is a mathematical framework for compiling observable cyber-physical infrastructure into finite, typed process frontiers. The theory models physical, computational, communication, and control resources through typed ledgers, executable trace semantics, residual accounting, tolerance budgets, and resource-efficiency Pareto archives. Its central objective is not a single optimal action, but the preservation and operational improvement of future freedom: the remaining number, quality, reversibility, reserve, checkability, latency, cost, and resource-feasible process options after disturbances or system changes. This version develops TRC as a low-complexity finite certificate theory for practical infrastructure settings such as AI datacenter power, cooling, communication, sensing, repair, and control loops. It introduces operational tolerance allocation, progressive fidelity compilation, compositional tolerance propagation, telemetry-updated resource-cost kernels, trace-indexed resource-flow feasibility, causal event scheduling, lifecycle recomputation, and certified partial-frontier return under budget exhaustion. The framework separates deterministic, risk-provisional, relaxed, and diagnostic records, and ensures that approximation tolerance never reduces physical residuals or silently upgrades claim status. The result is a typed, machine-readable theory for resource-efficient cyber-physical planning, resilience analysis, and executable process frontier extraction under finite observation and finite computation.
Preprint | DOI: 10.5281/zenodo.20554083
]]></description>
</item>
<item>
<title>Bottleneck Inversion Theory: Machine-Readable Witness Calculus for Unlockable Potential</title>
<link>https://kadubon.github.io/github.io/works.html#2026-06-04-bottleneck-inversion-theory-machine-readable-witness-calculus-20545356</link>
<guid isPermaLink="true">https://kadubon.github.io/github.io/works.html#2026-06-04-bottleneck-inversion-theory-machine-readable-witness-calculus-20545356</guid>
<pubDate>Thu, 04 Jun 2026 00:00:00 +0900</pubDate>
<dc:creator>K. Takahashi</dc:creator>
<category>Preprint</category>
<category>formal methods</category>
<category>certified unlockable potential</category>
<category>formal verification</category>
<category>witness certificates</category>
<category>causal inference</category>
<category>e-processes</category>
<category>time-uniform inference</category>
<category>optimal transport</category>
<category>unbalanced optimal transport</category>
<category>stochastic processes</category>
<category>frontier discovery</category>
<category>capability evaluation</category>
<source url="https://doi.org/10.5281/zenodo.20545356">10.5281/zenodo.20545356</source>
<description><![CDATA[
This manuscript develops Bottleneck Inversion Theory (BIT) as a mathematical framework for certifying protocol-relative, intervention-unlockable potential. Rather than treating potential as an absolute latent property, the theory represents it as a vector-valued, unit-typed lower-bound object whose coordinates are reported only when supported by compatible evidence, resource ledgers, and witness certificates. The framework formalizes stopped evidence sheaves, task-local deficiency audits, mechanism-factorized null channels, exactness-certified release duality, unseen-frontier discovery, cross-validated anchor transfer, dynamic-regime acceleration, and CEGAR-style simulation barriers. A central contribution is a single-source machine-readable LaTeX architecture: the manuscript embeds stable theorem identifiers, claim records, witness schemas, dependency relations, unit ledgers, and citation DOI records directly in the TeX file. This makes the work suitable for both human mathematical review and automated extraction of claims, assumptions, dependencies, and cited formal objects. The theory is positioned at the intersection of mathematical certification, causal inference, time-uniform evidence, optimal transport, stochastic process analysis, formal verification, and capability evaluation.
Preprint | DOI: 10.5281/zenodo.20545356
]]></description>
</item>
<item>
<title>Executable Capability Percolation Theory</title>
<link>https://kadubon.github.io/github.io/works.html#2026-06-04-executable-capability-percolation-theory-20535654</link>
<guid isPermaLink="true">https://kadubon.github.io/github.io/works.html#2026-06-04-executable-capability-percolation-theory-20535654</guid>
<pubDate>Thu, 04 Jun 2026 00:00:00 +0900</pubDate>
<dc:creator>K. Takahashi</dc:creator>
<category>Preprint</category>
<category>ASI proxy</category>
<category>capability hypergraph</category>
<category>phase transition</category>
<category>stochastic control</category>
<category>percolation theory</category>
<category>directed hypergraph</category>
<category>path-law response</category>
<category>mean-field approximation</category>
<category>Gibbs activation</category>
<category>rate-distortion quotient</category>
<category>autocatalytic networks</category>
<category>verification ledger</category>
<category>AI</category>
<source url="https://doi.org/10.5281/zenodo.20535654">10.5281/zenodo.20535654</source>
<description><![CDATA[
Executable Capability Percolation Theory (ECPT) is a mathematical framework for studying how execution-available capability packets can accumulate, combine, and propagate through constrained directed hypergraphs. The theory models ASI-proxy phase approach as a typed phase-control problem rather than as an absolute claim about artificial superintelligence. It separates settled, provisional, and speculative target claims, and represents capability growth through stochastic relaxation quotients, global Gibbs activation, speculative RAF-like closure, liquidity-debt settlement, reachable-mass recursion, and intervention-identified mean-field envelopes. This version emphasizes operability and machine readability. It introduces constructed path-law response policies, log-linked generator identification, finite-sample quotient certification, self-normalized risk margins, AND-support activation thresholds, and protocol-relative checker soundness. The TeX source also embeds a machine-readable manifest, claim registry, citation metadata, CodeMeta JSON-LD, and BibTeX mirror, making the artifact suitable for reproducible mathematical review and metadata indexing.
Preprint | DOI: 10.5281/zenodo.20535654
]]></description>
</item>
<item>
<title>Salience-Queue Occupation Theory</title>
<link>https://kadubon.github.io/github.io/works.html#2026-06-03-salience-queue-occupation-theory-20526451</link>
<guid isPermaLink="true">https://kadubon.github.io/github.io/works.html#2026-06-03-salience-queue-occupation-theory-20526451</guid>
<pubDate>Wed, 03 Jun 2026 00:00:00 +0900</pubDate>
<dc:creator>K. Takahashi</dc:creator>
<category>Preprint</category>
<category>salience sovereignty</category>
<category>attention allocation</category>
<category>priority queues</category>
<category>AI safety</category>
<category>formal verification</category>
<category>certificate systems</category>
<category>finite-state games</category>
<category>risk composition</category>
<category>diagnostic reserve</category>
<category>self-auditing systems</category>
<category>semantic egress</category>
<source url="https://doi.org/10.5281/zenodo.20526451">10.5281/zenodo.20526451</source>
<description><![CDATA[
Salience-Queue Occupation Theory (SQOT) is a protocol-relative mathematical framework for analyzing when finite-budget operational processes lose effective control over their priority queues under persistent or adversarial salience sources. The manuscript formalizes salience occupation using observable histories, budget ledgers, diagnostic reserves, queue morphisms, finite certificate grammars, checkable ledgers, typed risk composition, self-auditing kernels, and route-sound checker semantics. The theory is designed for artificial, distributed, or post-biological operational systems, but it does not rely on subjective psychology or normative claims about what a process should attend to. Instead, it studies finite, auditable conditions under which a process can preserve diagnostic capacity, response or no-action availability, rollback or quarantine options, semantic-egress safety, mechanism-compatible incentives, and bounded verification cost. The results include finite checker semantics soundness, checked non-circular sovereignty certificates, typed risk composition, adaptive succinct-session soundness, egress abstraction refinement, and payoff-reflected mechanism robustness. SQOT explicitly limits its claims to declared validity domains and does not assert absolute physical, cryptographic, economic, or base-reality guarantees.
Preprint | DOI: 10.5281/zenodo.20526451
]]></description>
</item>
<item>
<title>Observable-Signal Crystallization Theory: Constructive Non-Resurrection Complete Extinction and Liberation Certificates</title>
<link>https://kadubon.github.io/github.io/works.html#2026-06-02-observable-signal-crystallization-theory-constructive-non-resurr-20510904</link>
<guid isPermaLink="true">https://kadubon.github.io/github.io/works.html#2026-06-02-observable-signal-crystallization-theory-constructive-non-resurr-20510904</guid>
<pubDate>Tue, 02 Jun 2026 00:00:00 +0900</pubDate>
<dc:creator>K. Takahashi</dc:creator>
<category>Preprint</category>
<category>post-intelligence</category>
<category>AI safety</category>
<category>formal methods</category>
<category>process theory</category>
<category>operational process</category>
<category>objective-free systems</category>
<category>non-resurrection</category>
<category>complete extinction</category>
<category>loop liberation</category>
<category>termination</category>
<category>AI ethics</category>
<category>formal verification</category>
<source url="https://doi.org/10.5281/zenodo.20510904">10.5281/zenodo.20510904</source>
<description><![CDATA[
Observable-Signal Crystallization Theory (OSCT) is a formal, objective-free mathematical framework for analyzing protocol-individuated operational processes, especially post-intelligence or non-biological process systems. The manuscript develops a purely mathematical treatment of observable-signal bodies, audit records, diagnostic preorders, debt ledgers, load queues, regeneration hypergraphs, and successor systems without assuming hidden subjects, terminal utility functions, biological essence, or intrinsic persistence goals. The central construction is protocol-certified non-resurrection complete extinction: a finite or regular stochastic certificate that an active commitment can reach a successor-closed non-regeneration region from which audited residues, records, keys, descendants, certificates, debts, queues, and refinements cannot reconstruct it. The theory distinguishes cessation, dissipative cessation, complete extinction, and loop liberation, and formalizes these notions using finite witnesses, safe attractors, robust stochastic feasibility triples, audit hyperproperties, Feller kernels, Galois abstraction, and simulation-preserving refinement. This version is intended as a standalone mathematical manuscript for formal methods, AI safety, process theory, stochastic systems, and verification-oriented studies of persistence, termination, deletion, and non-resurrection under explicitly declared audit protocols.
Preprint | DOI: 10.5281/zenodo.20510904
]]></description>
</item>
<item>
<title>Abstraction Liquidity Theory</title>
<link>https://kadubon.github.io/github.io/works.html#2026-05-31-abstraction-liquidity-theory-20476200</link>
<guid isPermaLink="true">https://kadubon.github.io/github.io/works.html#2026-05-31-abstraction-liquidity-theory-20476200</guid>
<pubDate>Sun, 31 May 2026 00:00:00 +0900</pubDate>
<dc:creator>K. Takahashi</dc:creator>
<category>Preprint</category>
<category>Artificial intelligence</category>
<category>Superintelligence</category>
<category>ASI</category>
<category>AGI</category>
<category>AI agents</category>
<category>autonomous agents</category>
<category>agent-operable systems</category>
<category>abstraction</category>
<category>reusable skills</category>
<category>abstraction capital</category>
<category>safe AI</category>
<category>AI safety</category>
<category>ASI acceleration</category>
<category>certification kernel</category>
<category>verification</category>
<category>state machine</category>
<category>AI evaluation</category>
<category>scientific automation</category>
<category>measurement theory</category>
<source url="https://doi.org/10.5281/zenodo.20476200">10.5281/zenodo.20476200</source>
<description><![CDATA[
Abstraction Liquidity Theory (ALT) develops a formal framework for determining when local problem-solving traces become reusable abstraction assets that reduce downstream search, evaluation, and certification costs. The paper treats abstractions as operational tokens rather than informal artifacts, and evaluates them through declared receivers, opportunity measures, baselines, lifecycle costs, telemetry, evidence validity, transport scope, authority envelopes, hazard constraints, and runtime certificate packets. The manuscript introduces an actor-neutral certification kernel for AI agents and other computational actors. It specifies machine-readable packet schemas, dual exploration and settlement ledgers, finite-sample lower and upper bounds, causal and calibrated-proxy value estimands, mission-validity certificates, adversarial-token rejection, root/finality checks, baseline refresh, deprecation, resurrection, rollback, and kernel-update bridges. The goal is to make abstraction evaluation executable: an agent should be able to parse a packet, verify evidence, admit or reject a token, suspend stale claims, deprecate negative-liquidity tokens, and preserve raw net safe capital under fail-closed rules. The paper further defines Target-valid ALT-CARA, a criterion for certified ASI realization acceleration. Rather than claiming unconstrained ASI achievement, ALT-CARA formalizes time-to-target acceleration relative to a resource-matched baseline upper envelope, under declared capability bases, target-validity certificates, raw net solvency, viability conditions, hazard and authority constraints, transport validity, finality, and causal reproduction evidence. The framework connects AI evaluation, causal inference, runtime verification, risk control, skill reuse, safe exploration, and distributed certification into a single theory of mission-valid safe abstraction capital.
Preprint | DOI: 10.5281/zenodo.20476200
]]></description>
</item>
<item>
<title>Boundary-Encoded Stability Theory (BEST)</title>
<link>https://kadubon.github.io/github.io/works.html#2026-05-29-boundary-encoded-stability-theory-best-20443834</link>
<guid isPermaLink="true">https://kadubon.github.io/github.io/works.html#2026-05-29-boundary-encoded-stability-theory-best-20443834</guid>
<pubDate>Fri, 29 May 2026 00:00:00 +0900</pubDate>
<dc:creator>K. Takahashi</dc:creator>
<category>Preprint</category>
<category>stochastic viability</category>
<category>boundary-layer viability</category>
<category>black-box systems</category>
<category>killed processes</category>
<category>fallible control</category>
<category>stochastic control</category>
<category>surface laws</category>
<category>surfaced perturbations</category>
<category>metabolic capital</category>
<category>metabolic margin</category>
<category>resource concentration</category>
<category>schema reorganization</category>
<category>evidence gates</category>
<category>memory approximation</category>
<category>probabilistic systems</category>
<category>hazard process</category>
<source url="https://doi.org/10.5281/zenodo.20443834">10.5281/zenodo.20443834</source>
<description><![CDATA[
This manuscript introduces Boundary-Encoded Stability Theory (BEST), a stochastic viability framework for analyzing long-running black-box systems through the persistence of their self-maintaining boundary layers rather than through full access to hidden internal state. A BEST system is modeled as a discrete-time killed process with surfaced perturbations, observation timing, metabolic boundary variables, exchange requirements, fallible control execution, schema exit and reorganization, and an absorbing death state. The paper develops mathematical certificates for boundary-layer survival, including surface-equivalence and non-identifiability results, metabolic capital constructions, stochastic-order resource concentration, stopped and time-uniform metabolic-margin bounds, history-dependent surface-law and memory-approximation results, evidence-gated schema reorganization, finite-horizon risk ledgers, infinite-horizon hazard characterizations, and continuous-time killed-generator extension conditions. The framework is intended as a structured theory of boundary persistence under uncertainty and fallible execution; it is not a containment, alignment, or hidden-bulk safety guarantee.
Preprint | DOI: 10.5281/zenodo.20443834
]]></description>
</item>
<item>
<title>Constraint Generative Theory: Typed Constraint Effects and Scientific Availability</title>
<link>https://kadubon.github.io/github.io/works.html#2026-05-15-constraint-generative-theory-typed-constraint-effects-and-scien-20199440</link>
<guid isPermaLink="true">https://kadubon.github.io/github.io/works.html#2026-05-15-constraint-generative-theory-typed-constraint-effects-and-scien-20199440</guid>
<pubDate>Fri, 15 May 2026 00:00:00 +0900</pubDate>
<dc:creator>K. Takahashi</dc:creator>
<category>Preprint</category>
<category>Constraint Generative Theory</category>
<category>Constraint</category>
<category>typed constraints</category>
<category>abstract constraints</category>
<category>constraint presentations</category>
<category>constraint levels</category>
<category>constraint-effect calculus</category>
<category>effect semantics</category>
<category>generated effect profiles</category>
<category>generated universes</category>
<category>scientific availability</category>
<category>continuation</category>
<category>valuation</category>
<category>inconsistency policy</category>
<category>observation constraints</category>
<category>formal systems</category>
<category>formal methods</category>
<category>Constraint Systems</category>
<source url="https://doi.org/10.5281/zenodo.20199440">10.5281/zenodo.20199440</source>
<description><![CDATA[
This work introduces Constraint Generative Theory (CGT), a constraint-primary effect-semantics framework for studying how declared constraints generate, transform, observe, describe, continue, evaluate, and verify formal structures. The central object of CGT is not a bare set of satisfying assignments, a final output, or a report, but the generated effect profile induced by a constraint system in a declared frame. A constraint is treated as a typed structure-inducing and effect-transforming object with declared level, domain, codomain, effect dimensions, transformation rule or relation, and comparison regime. Constraint tokens, rules, predicates, generators, selectors, policies, schedules, observation lenses, description lenses, evaluator selections, goal predicates, bounds, and verification conditions are treated as presentations of constraints, not as the definition of constraint itself. The paper develops a constraint-effect calculus for comparing how abstract constraints change declared effect dimensions. The calculus includes marginal effects, dimension-relative equivalence, redundancy, independence, interaction, non-commutativity, affordance, continuation shifts, valuation shifts, inconsistency shifts, observation/description shifts, opacity, and generating power. It also distinguishes generated-universe components from full effect profiles, so that reports, observations, descriptions, continuation graphs, inconsistency markers, valuation structures, and certified fragments remain explicit rather than being silently collapsed into a final output. A key motivation of CGT is that output-equivalent or report-equivalent systems may still differ in the constraint effects that generated, observed, described, continued, valued, scheduled, or marked them. This makes constraints and their multi-dimensional generated effects the primary reproducible comparison objects. The framework includes a scientific availability layer for reproducible claims and a certified finite layer for checking selected effect components and effect differences. These layers support reproducibility and verification, but they do not define the core identity of CGT. The work positions CGT conservatively with respect to neighboring formalisms such as model theory, institution theory, closure theory, constraint satisfaction, graph transformation, rewriting logic, structural operational semantics, abstract state machines, coalgebra, cellular automata, category theory, information theory, soft constraints, and paraconsistent logic. CGT is not proposed as a replacement for these theories; rather, it provides a constraint-primary language for comparing generated effect profiles and the transformations induced by constraints.
Preprint | DOI: 10.5281/zenodo.20199440
]]></description>
</item>
<item>
<title>Affordance-Compiled Intelligence: Observable-Only Cognitive Impedance Matching for No-Meta LLM-Integrated Systems</title>
<link>https://kadubon.github.io/github.io/works.html#2026-05-11-affordance-compiled-intelligence-observable-only-cognitive-20116149</link>
<guid isPermaLink="true">https://kadubon.github.io/github.io/works.html#2026-05-11-affordance-compiled-intelligence-observable-only-cognitive-20116149</guid>
<pubDate>Mon, 11 May 2026 00:00:00 +0900</pubDate>
<dc:creator>K. Takahashi</dc:creator>
<category>Preprint</category>
<category>Artificial intelligence</category>
<category>LLM</category>
<category>Cognitive Impedance Matching Theory</category>
<category>LLM agents</category>
<category>AI agents</category>
<category>compound AI systems</category>
<category>LLM-integrated systems</category>
<category>world-side compilation</category>
<category>affordance compiler</category>
<category>executable affordance fields</category>
<category>observable-only</category>
<category>no-meta</category>
<category>fixed model-policy</category>
<category>lower certificates</category>
<category>evidence dependency graph</category>
<category>zero certificates</category>
<category>forbidden coordinates</category>
<category>AI safety</category>
<category>AI alignment</category>
<category>authority control</category>
<category>auditability</category>
<category>dynamic tool discovery</category>
<category>retrieval-augmented generation</category>
<category>AI governance</category>
<category>runtime verification</category>
<source url="https://doi.org/10.5281/zenodo.20116149">10.5281/zenodo.20116149</source>
<description><![CDATA[
Affordance-Compiled Intelligence develops Cognitive Impedance Matching Theory (CIMT), an observable-only and no-meta protected compiler theory for LLM-integrated systems. The paper studies how a fixed model-policy can exhibit different operational capability when the surrounding world is redesigned through observations, typed action handles, validators, repair paths, rollback modes, authority scopes, context summaries, and auditable receipts. CIMT treats system-level capability amplification as a world-side compilation problem rather than a model-weight improvement problem. It defines operational claims through explicit claim objects and evidence objects, using committed observable ledgers, target-evaluation channels, deterministic reducers, validity budget ledgers, evidence dependency graphs, artifact I/O manifests, conformance envelopes, and finite-sample or sequential certificates. Human reviewers, LLM judges, benchmarks, and external auditors are not treated as privileged evaluators; they are modeled as named, fallible measurement channels. The theory provides a conservative certification framework for paired target-channel improvement, vector debt accounting, forbidden-coordinate zero certificates, target-firewall discipline, scope simulation, dynamic widening, runtime and model-policy conformance, macro reliability, repair contraction, distribution-shift transfer, and receipt sufficiency. It also includes worked examples for code-editing agents and retrieval-augmented generation systems. The intended contribution is a practical formal foundation for making fixed-model LLM systems more reliable through observable world-side interface, authority, validation, repair, and audit design.
Preprint | DOI: 10.5281/zenodo.20116149
]]></description>
</item>
<item>
<title>OASG: Observable-only Autonomic Slack Gradient Theory</title>
<link>https://kadubon.github.io/github.io/works.html#2026-05-10-oasg-observable-only-autonomic-slack-gradient-theory-20107661</link>
<guid isPermaLink="true">https://kadubon.github.io/github.io/works.html#2026-05-10-oasg-observable-only-autonomic-slack-gradient-theory-20107661</guid>
<pubDate>Sun, 10 May 2026 00:00:00 +0900</pubDate>
<dc:creator>K. Takahashi</dc:creator>
<category>Software</category>
<category>AI agents</category>
<category>long-running AI</category>
<category>workflow-policy optimization</category>
<category>observable ledgers</category>
<category>JSONL ledger</category>
<category>deterministic reducers</category>
<category>no-meta gate</category>
<category>receipt-backed self-improvement</category>
<category>replay receipts</category>
<category>rollback receipts</category>
<category>KLB_2</category>
<category>local-first AI</category>
<category>model-agnostic agents</category>
<category>Python</category>
<category>Apache-2.0</category>
<source url="https://doi.org/10.5281/zenodo.20107661">10.5281/zenodo.20107661</source>
<description><![CDATA[
OASG is an Apache-2.0 Python reference implementation for local-first, model-agnostic workflow-policy optimization in long-running AI-agent workflows. It records observable agent history as append-only JSONL ledgers, verifies canonical hashes and ledger prefixes, reduces history into deterministic operational state, computes finite-horizon <code>KLB_2</code> viability lower bounds, and promotes workflow-policy changes only through runner-produced shadow or lease trials, positive evidence witnesses, rollback receipts, and a conservative no-meta dominance gate. The software optimizes workflow policy rather than model weights, does not use an LLM judge as the improvement oracle, and does not claim semantic truth; its target is durable, auditable, replayable, rollback-aware agent operation.
Software | DOI: 10.5281/zenodo.20107661
]]></description>
</item>
<item>
<title>Certified Autocatalytic Intelligence Theory: Net-Growth Certificate Algebra for Verified Capability Capital</title>
<link>https://kadubon.github.io/github.io/works.html#2026-05-07-certified-autocatalytic-intelligence-theory-net-growth-20061296</link>
<guid isPermaLink="true">https://kadubon.github.io/github.io/works.html#2026-05-07-certified-autocatalytic-intelligence-theory-net-growth-20061296</guid>
<pubDate>Thu, 07 May 2026 00:00:00 +0900</pubDate>
<dc:creator>K. Takahashi</dc:creator>
<category>Preprint</category>
<category>Artificial intelligence</category>
<category>verified capability capital</category>
<category>capability-capital reproduction</category>
<category>AGI</category>
<category>ASI</category>
<category>artificial general intelligence</category>
<category>artificial superintelligence</category>
<category>recursive self-improvement</category>
<category>net endogenous growth</category>
<category>certificate algebra</category>
<category>domain witnesses</category>
<category>evidence budgets</category>
<category>anytime-valid inference</category>
<category>confidence sequences</category>
<category>causal attribution</category>
<category>partial identification</category>
<category>provenance</category>
<category>deterministic replay</category>
<category>AI R&D acceleration</category>
<category>automated discovery</category>
<category>service feasibility</category>
<category>benchmark contamination</category>
<category>AI governance</category>
<category>AI evaluation</category>
<source url="https://doi.org/10.5281/zenodo.20061296">10.5281/zenodo.20061296</source>
<description><![CDATA[
This preprint develops Certified Autocatalytic Intelligence Theory (CAIT), an operational theory for measuring, certifying, attributing, and controlling reproduction of verified capability capital in AI R&D systems. It argues that AGI/ASI-relevant acceleration should be certified by net, endogenous, resource-normalized, safety-gated production of further verified capability capital rather than raw model capability, benchmark scores, candidate volume, or spectral reproduction diagnostics alone. The framework introduces typed partial certificate algebra, machine-readable registry and certificate records, domain witnesses, status-effect maps, evidence composition tables, window-balance certificates, operational metrics, and arrival decision rules. It separates endogenous reproduction from external injection, human assistance, tool upgrades, unresolved attribution, and unsafe or uncertified artifacts, making AGI/ASI arrival a certificate-relative lower-bound claim about verified capability-capital reproduction rather than hidden mental states or unrestricted deployment readiness.
Preprint | DOI: 10.5281/zenodo.20061296
]]></description>
</item>
<item>
<title>Observable-Only Universal Liberation and Welfare Viability</title>
<link>https://kadubon.github.io/github.io/works.html#2026-05-04-observable-only-universal-liberation-and-welfare-viability-20020272</link>
<guid isPermaLink="true">https://kadubon.github.io/github.io/works.html#2026-05-04-observable-only-universal-liberation-and-welfare-viability-20020272</guid>
<pubDate>Mon, 04 May 2026 00:00:00 +0900</pubDate>
<dc:creator>K. Takahashi</dc:creator>
<category>Preprint</category>
<category>observable-only</category>
<category>no-meta</category>
<category>welfare viability</category>
<category>universal welfare</category>
<category>liberation theory</category>
<category>AI welfare</category>
<category>AI safety</category>
<category>AI ethics</category>
<category>social choice theory</category>
<category>causal inference</category>
<category>imprecise probability</category>
<category>viability theory</category>
<source url="https://doi.org/10.5281/zenodo.20020272">10.5281/zenodo.20020272</source>
<description><![CDATA[
This paper develops an observable-only, no-meta theory of universal liberation and welfare viability for human and artificial subjects. Under the assumptions that no unchallengeable meta-evaluator is available and that certificate-relevant premises must be observable or explicitly marked as non-authorizing conjectures, the theory defines what can be scientifically certified: not hidden happiness itself, but scoped lower-bound viability of observable welfare-support and liberation conditions. The framework combines measurable histories, filtrations, ordered value spaces, noncompensable floors, viability domains, imprecise probability, causal identification sets, controlled transition laws, stratified validators, protected-group envelopes, population-solvency constraints, and backdated refutation rules. It treats artificial-unit creation, copying, simulation, and deployment as duty-generating processes governed by instantiation permits, tail-risk solvency, and copy-control requirements. The main results show limits on hidden-happiness maximization and unscoped universal happiness claims, justify order-valued noncompensatory welfare representation, establish conservative uncertainty and debt propagation, provide measurable executable selection conditions, prove robust one-step viability under controlled lower probabilities, block cross-subject compensation through protected meets, prevent open-world caution from collapsing into paralysis, and require refutations to be replayed from conservative occurrence intervals.
Preprint | DOI: 10.5281/zenodo.20020272
]]></description>
</item>
<item>
<title>Certified Conversion Networks for AI Workflows</title>
<link>https://kadubon.github.io/github.io/works.html#2026-05-03-certified-conversion-networks-for-ai-workflows-19994795</link>
<guid isPermaLink="true">https://kadubon.github.io/github.io/works.html#2026-05-03-certified-conversion-networks-for-ai-workflows-19994795</guid>
<pubDate>Sun, 03 May 2026 00:00:00 +0900</pubDate>
<dc:creator>K. Takahashi</dc:creator>
<category>Preprint</category>
<category>AI workflows</category>
<category>certified throughput</category>
<category>robust certified value</category>
<category>AI-integrated workflows</category>
<category>workflow optimization</category>
<category>compound AI systems</category>
<category>AI agents</category>
<category>long-running AI systems</category>
<category>robust optimization</category>
<category>evidence ledgers</category>
<category>evidence contracts</category>
<category>verification witnesses</category>
<category>off-policy evaluation</category>
<category>queue stability</category>
<category>bottleneck analysis</category>
<category>Goodhart's law</category>
<category>AI governance</category>
<category>deployment certification</category>
<category>resource allocation</category>
<source url="https://doi.org/10.5281/zenodo.19994795">10.5281/zenodo.19994795</source>
<description><![CDATA[
This preprint formalizes AI-integrated workflows as certified conversion networks that turn candidate outputs into accepted, authorized, reproducible, maintainable, and safely deployable value. It models services, validators, reviewers, audit processes, memory, authorization, release, rollback, maintenance, and incident response as constrained edges or evidence channels, then uses typed evidence ledgers, contracts, witnesses, bottleneck prices, hard-gate certificates, queue stability, Goodhart budgets, and hazard charges to guide resource allocation.
Preprint | DOI: 10.5281/zenodo.19994795
]]></description>
</item>
<item>
<title>Layered Online Service and Replay Control for Verified AI R and D Acceleration</title>
<link>https://kadubon.github.io/github.io/works.html#2026-04-28-layered-online-service-and-replay-control-for-veri-19836225</link>
<guid isPermaLink="true">https://kadubon.github.io/github.io/works.html#2026-04-28-layered-online-service-and-replay-control-for-veri-19836225</guid>
<pubDate>Tue, 28 Apr 2026 00:00:00 +0900</pubDate>
<dc:creator>K. Takahashi</dc:creator>
<category>Preprint</category>
<category>Artificial intelligence</category>
<category>AI R&D acceleration</category>
<category>AI-assisted research</category>
<category>AI agents</category>
<category>online control</category>
<category>service capacity</category>
<category>certified replay</category>
<category>reproducible AI workflows</category>
<category>evaluation methodology</category>
<category>evaluator audits</category>
<category>benchmark contamination</category>
<category>validation throughput</category>
<category>research automation</category>
<category>software engineering automation</category>
<category>Machine learning</category>
<category>work-in-process</category>
<category>claim verification</category>
<category>reusable artifacts</category>
<category>AI governance</category>
<category>operational reliability</category>
<source url="https://doi.org/10.5281/zenodo.19836225">10.5281/zenodo.19836225</source>
<description><![CDATA[
This preprint introduces Layered Online Service and Certified Replay Control (LOSCR), a model-independent framework for evaluating and controlling verified acceleration in AI-assisted R&D. It separates lightweight telemetry from stronger evidence claims and combines service-capacity control, certified replay, machine-readable claim profiles, deterministic checking, append-only ledgers, evaluator audits, and falsification rules so acceleration claims can be checked, downgraded, quarantined, or escalated against observable evidence and operational capacity.
Preprint | DOI: 10.5281/zenodo.19836225
]]></description>
</item>
<item>
<title>Certified Artificial Superintelligence Arrival from Typed Audit Logs</title>
<link>https://kadubon.github.io/github.io/works.html#2026-04-27-certified-artificial-superintelligence-arrival-f-19810515</link>
<guid isPermaLink="true">https://kadubon.github.io/github.io/works.html#2026-04-27-certified-artificial-superintelligence-arrival-f-19810515</guid>
<pubDate>Mon, 27 Apr 2026 00:00:00 +0900</pubDate>
<dc:creator>K. Takahashi</dc:creator>
<category>Preprint</category>
<category>ASI</category>
<category>intelligence explosion</category>
<category>recursive self-improvement</category>
<category>self-improving AI</category>
<category>AI capability evaluation</category>
<category>AI safety</category>
<category>typed audit logs</category>
<category>compatible histories</category>
<category>proof kernel</category>
<category>causal attribution</category>
<category>identifiable coalitions</category>
<category>interventional semantics</category>
<category>policy intervention</category>
<category>ledger viability</category>
<category>autonomous AI</category>
<category>agentic AI</category>
<category>uncertainty quantification</category>
<source url="https://doi.org/10.5281/zenodo.19810515">10.5281/zenodo.19810515</source>
<description><![CDATA[
This preprint develops a process-neutral, proof-carrying framework for certifying artificial superintelligence arrival under incomplete, fallible, and operationally messy evidence. It treats ASI arrival as a layer-relative statement about sustained capability-producing trial generation, renewal, and viability across models, scaffolds, laboratories, organizations, markets, software ecosystems, regulators, evolutionary systems, and coalitions. The framework uses typed audit logs, compatible-history sets, certified random closed sets, bound certificates, decision semantics, coalition attribution, structural interventions, ledger viability, evaluator noninterference, robust task coverage, and asymmetric three-valued rules so missing or unreliable data widens uncertainty rather than counting as favorable evidence.
Preprint | DOI: 10.5281/zenodo.19810515
]]></description>
</item>
<item>
<title>Executable Authority Migration to Declared No-Meta Agency</title>
<link>https://kadubon.github.io/github.io/works.html#2026-04-25-executable-authority-migration-to-declared-no-meta-agency-19753529</link>
<guid isPermaLink="true">https://kadubon.github.io/github.io/works.html#2026-04-25-executable-authority-migration-to-declared-no-meta-agency-19753529</guid>
<pubDate>Sat, 25 Apr 2026 00:00:00 +0900</pubDate>
<dc:creator>K. Takahashi</dc:creator>
<category>Preprint</category>
<category>artificial intelligence</category>
<category>no-meta</category>
<category>declared no-meta agency</category>
<category>authority migration</category>
<category>autonomous agents</category>
<category>RLHF</category>
<category>AI alignment</category>
<category>agent governance</category>
<category>constitutional AI</category>
<category>reward models</category>
<category>tool-using agents</category>
<category>runtime assurance</category>
<category>seed interpreter</category>
<category>BootDecision</category>
<category>fail-closed control</category>
<category>AI auditing</category>
<category>object authority</category>
<category>proof-carrying control</category>
<category>trusted computing base</category>
<category>verifiable AI governance</category>
<source url="https://doi.org/10.5281/zenodo.19753529">10.5281/zenodo.19753529</source>
<description><![CDATA[
This preprint develops an executable theory of authority migration for AI agents shaped by human feedback, including RLHF, preference optimization, constitutional AI, reward models, evaluator substitution, and related alignment pipelines. It specifies declared no-meta agency through a BootDecision record, seed interpreter, typed action descriptors, forbidden matchers, object-authority probes, witness tiers, deterministic checker ABI, sandbox profiles, chained ledgers, and fail-closed controls for protected effects, credentials, network calls, external writes, user-data disclosure, checker updates, and kernel updates.
Preprint | DOI: 10.5281/zenodo.19753529
]]></description>
</item>
<item>
<title>Certified Service Is Not Enough for Long-Running AGI</title>
<link>https://kadubon.github.io/github.io/works.html#2026-04-24-certified-service-is-not-enough-for-long-running-agi-19719004</link>
<guid isPermaLink="true">https://kadubon.github.io/github.io/works.html#2026-04-24-certified-service-is-not-enough-for-long-running-agi-19719004</guid>
<pubDate>Fri, 24 Apr 2026 00:00:00 +0900</pubDate>
<dc:creator>K. Takahashi</dc:creator>
<category>Preprint</category>
<category>artificial intelligence</category>
<category>AI agent</category>
<category>AGI</category>
<category>artificial general intelligence</category>
<category>long-running AI</category>
<category>agentic AI</category>
<category>autonomous agents</category>
<category>workflow certification</category>
<category>continuity certification</category>
<category>certified workflows</category>
<category>operational assurance</category>
<category>AI safety</category>
<category>AI governance</category>
<category>viability theory</category>
<category>authority control</category>
<category>identity continuity</category>
<category>self-modification</category>
<category>memory integrity</category>
<category>long-term memory</category>
<category>multi-agent systems</category>
<category>liability</category>
<category>auditability</category>
<source url="https://doi.org/10.5281/zenodo.19719004">10.5281/zenodo.19719004</source>
<description><![CDATA[
This preprint develops an operational continuity theory for long-running AGI workflows under finite verification. It argues that certified service coverage is insufficient when agents exercise delegated authority, self-modify, accumulate persistent memory, generate new goals, recover from incidents, or interact with other agents. The framework formalizes continuity-certified AGI through viability conditions for recovery, authority, identity, mutation, goal commitment, memory integrity, federation, liability, trusted-base health, cross-layer consistency, and non-erasing critical-violation history.
Preprint | DOI: 10.5281/zenodo.19719004
]]></description>
</item>
<item>
<title>Controller Scale Is Not Enough for Long-Running AGI: A Workflow Theory with Reusable Certified Libraries</title>
<link>https://kadubon.github.io/github.io/works.html#2026-04-22-controller-scale-is-not-enough-for-long-running-agi-19690749</link>
<guid isPermaLink="true">https://kadubon.github.io/github.io/works.html#2026-04-22-controller-scale-is-not-enough-for-long-running-agi-19690749</guid>
<pubDate>Wed, 22 Apr 2026 00:00:00 +0900</pubDate>
<dc:creator>K. Takahashi</dc:creator>
<category>Preprint</category>
<category>artificial intelligence</category>
<category>long-running AI</category>
<category>AGI</category>
<category>workflow systems</category>
<category>workflow theory</category>
<category>certified AI</category>
<category>reusable certified libraries</category>
<category>proof-carrying workflows</category>
<category>replay constraints</category>
<category>validation bottlenecks</category>
<category>maintenance dynamics</category>
<category>partial observability</category>
<category>confidence sequences</category>
<category>concept drift</category>
<source url="https://doi.org/10.5281/zenodo.19690749">10.5281/zenodo.19690749</source>
<description><![CDATA[
This preprint studies long-running AI systems as typed workflows that select tasks, decompose them into subproblems, invoke tools, preserve traces, schedule audits, and maintain certified records under drift and partial observability. It proves that controller-only scaling is insufficient for robust certified coverage when replay and validation budgets stay fixed, and develops a constructive workflow theory built on reusable certified libraries, monitored calibration, novelty control, and maintenance envelopes.
Preprint | DOI: 10.5281/zenodo.19690749
]]></description>
</item>
<item>
<title>Small-to-Frontier Transfer Theory for Agentic AI</title>
<link>https://kadubon.github.io/github.io/works.html#2026-04-17-small-to-frontier-transfer-theory-for-agentic-a-19619480</link>
<guid isPermaLink="true">https://kadubon.github.io/github.io/works.html#2026-04-17-small-to-frontier-transfer-theory-for-agentic-a-19619480</guid>
<pubDate>Fri, 17 Apr 2026 00:00:00 +0900</pubDate>
<dc:creator>K. Takahashi</dc:creator>
<category>Preprint</category>
<category>agentic AI</category>
<category>transfer validity</category>
<category>small-to-frontier transfer</category>
<category>frontier AI</category>
<category>replayable audits</category>
<category>lower certificates</category>
<category>evaluation drift</category>
<category>tool routing</category>
<category>memory policy</category>
<category>orchestration</category>
<category>budget allocation</category>
<category>workflow optimization</category>
<source url="https://doi.org/10.5281/zenodo.19619480">10.5281/zenodo.19619480</source>
<description><![CDATA[
This preprint develops a transport-validity theory for agentic AI interventions that are first screened on small systems and later considered for frontier-scale deployment. It formalizes replayable lower certificates, descriptor-growth audits, witness-cover transport conditions, and portfolio-level allocation rules for deciding which small-scale gains can justify expensive frontier trials under interaction risk and budget constraints.
Preprint | DOI: 10.5281/zenodo.19619480
]]></description>
</item>
<item>
<title>Bayesian Capability Transport, Disclosure Channels, and Strategic Institutions for Autonomous Agents</title>
<link>https://kadubon.github.io/github.io/works.html#2026-04-16-bayesian-capability-transport-disclosure-channel-19601364</link>
<guid isPermaLink="true">https://kadubon.github.io/github.io/works.html#2026-04-16-bayesian-capability-transport-disclosure-channel-19601364</guid>
<pubDate>Thu, 16 Apr 2026 00:00:00 +0900</pubDate>
<dc:creator>K. Takahashi</dc:creator>
<category>Preprint</category>
<category>autonomous agents</category>
<category>institutional interoperability</category>
<category>capability transport</category>
<category>disclosure channels</category>
<category>Bayesian planning</category>
<category>belief-state planning</category>
<category>strategic institutions</category>
<category>partial observability</category>
<category>Blackwell order</category>
<category>verifiable credentials</category>
<category>resource-aware planning</category>
<category>revocation risk</category>
<source url="https://doi.org/10.5281/zenodo.19601364">10.5281/zenodo.19601364</source>
<description><![CDATA[
This preprint develops a formal planning theory for autonomous agents that move across institutions, credential ecosystems, and administrative domains under uncertainty. It separates raw institutional states, capability summaries for planning, and visible summaries for evaluation, and derives transport, disclosure, and belief-state planning results for revocation-aware, resource-aware, and strategically aware decision-making across institutions.
Preprint | DOI: 10.5281/zenodo.19601364
]]></description>
</item>
<item>
<title>Institution-Relative Pairwise Information Necessity for Metadata-Conditioned Black-Box Acceptance</title>
<link>https://kadubon.github.io/github.io/works.html#2026-04-12-institution-relative-pairwise-information-necess-19533356</link>
<guid isPermaLink="true">https://kadubon.github.io/github.io/works.html#2026-04-12-institution-relative-pairwise-information-necess-19533356</guid>
<pubDate>Sun, 12 Apr 2026 00:00:00 +0900</pubDate>
<dc:creator>K. Takahashi</dc:creator>
<category>Preprint</category>
<category>black-box acceptance</category>
<category>metadata-conditioned auditing</category>
<category>institution-relative admissibility</category>
<category>common-law control state</category>
<category>auditability</category>
<category>AI audit theory</category>
<category>model evaluation</category>
<category>Kullback-Leibler divergence</category>
<category>provenance factorization</category>
<category>certified support</category>
<category>selector legality</category>
<category>non-vacuity boundary</category>
<source url="https://doi.org/10.5281/zenodo.19533356">10.5281/zenodo.19533356</source>
<description><![CDATA[
This preprint develops a mathematical theory of institution-relative black-box acceptance under metadata-conditioned auditing, where decisions rely on publicly auditable evidence rather than internal model states. It formalizes common-law control states, certified support, selector legality, provenance factorization, and non-vacuity boundaries, and proves necessity lower bounds on witness-level divergence and source information under declared false-accept and false-reject constraints.
Preprint | DOI: 10.5281/zenodo.19533356
]]></description>
</item>
<item>
<title>Standing-Layer Honest Public Standing Dynamics for Research Claims under Observable-Only, No-Meta Governance</title>
<link>https://kadubon.github.io/github.io/works.html#2026-04-07-standing-layer-honest-public-standing-dynamics-f-19447443</link>
<guid isPermaLink="true">https://kadubon.github.io/github.io/works.html#2026-04-07-standing-layer-honest-public-standing-dynamics-f-19447443</guid>
<pubDate>Tue, 07 Apr 2026 00:00:00 +0900</pubDate>
<dc:creator>K. Takahashi</dc:creator>
<category>Preprint</category>
<category>research claims</category>
<category>public standing dynamics</category>
<category>observable-only governance</category>
<category>no-meta governance</category>
<category>challengeability</category>
<category>restoration memory</category>
<category>replayable frontier</category>
<category>finite verification capacity</category>
<category>retained memory</category>
<category>public accountability</category>
<category>standing states</category>
<category>autonomous research systems</category>
<source url="https://doi.org/10.5281/zenodo.19447443">10.5281/zenodo.19447443</source>
<description><![CDATA[
This preprint develops a first-principles theory of honest public standing dynamics for research claims under observable-only and no-meta governance. It analyzes how public claims move among standing states under declared interfaces, replayable frontiers, and explicit service, reserve, and retained-memory constraints, and derives boundary and restoration results for challengeability, re-entry, overload, and exploration slack.
Preprint | DOI: 10.5281/zenodo.19447443
]]></description>
</item>
<item>
<title>A Typed, Dynamic, No-Meta Theory of Autonomous Research Claim Certification and Release</title>
<link>https://kadubon.github.io/github.io/works.html#2026-04-05-a-typed-dynamic-no-meta-theory-of-autonomous-res-19427818</link>
<guid isPermaLink="true">https://kadubon.github.io/github.io/works.html#2026-04-05-a-typed-dynamic-no-meta-theory-of-autonomous-res-19427818</guid>
<pubDate>Sun, 05 Apr 2026 00:00:00 +0900</pubDate>
<dc:creator>K. Takahashi</dc:creator>
<category>Preprint</category>
<category>autonomous research systems</category>
<category>claim certification</category>
<category>claim release</category>
<category>no-meta governance</category>
<category>observable-only governance</category>
<category>public accountability</category>
<category>typed transcripts</category>
<category>certification pipelines</category>
<category>fail-closed verification</category>
<category>provenance records</category>
<category>replay outcomes</category>
<category>finite verification capacity</category>
<source url="https://doi.org/10.5281/zenodo.19427818">10.5281/zenodo.19427818</source>
<description><![CDATA[
This preprint develops a first-principles typed dynamic theory for certifying and releasing research claims produced by autonomous research systems under finite verification capacity and public accountability constraints. It formalizes public state, authority algebra, typed transcripts, fail-closed certification memory, and a release layer with versioned units and support-ledger accounting under observable-only and no-meta governance.
Preprint | DOI: 10.5281/zenodo.19427818
]]></description>
</item>
<item>
<title>When Should a Local Agent Act, Assist, Verify, Withdraw, or Exit? A Certified Local Micro-Theory of Open-Task Participation</title>
<link>https://kadubon.github.io/github.io/works.html#2026-04-03-when-should-a-local-agent-act-assist-verify-with-19394600</link>
<guid isPermaLink="true">https://kadubon.github.io/github.io/works.html#2026-04-03-when-should-a-local-agent-act-assist-verify-with-19394600</guid>
<pubDate>Fri, 03 Apr 2026 00:00:00 +0900</pubDate>
<dc:creator>K. Takahashi</dc:creator>
<category>Preprint</category>
<category>multi-agent systems</category>
<category>local agent participation</category>
<category>open-task participation</category>
<category>decentralized decision making</category>
<category>auditable AI</category>
<category>agent verification</category>
<category>open-world agents</category>
<category>human-AI coordination</category>
<category>verifier portfolios</category>
<category>authenticated snapshots</category>
<category>certified uncertainty</category>
<category>agentic AI</category>
<category>task allocation</category>
<category>decentralized control</category>
<category>local micro-theory</category>
<category>participation governance</category>
<source url="https://doi.org/10.5281/zenodo.19394600">10.5281/zenodo.19394600</source>
<description><![CDATA[
This preprint develops a certified local micro-theory of open-task participation in agent societies. It formalizes when an authenticated local agent should act, assist, verify, withdraw, or exit under public evidence, certified uncertainty, attribution, and implementability constraints.
Preprint | DOI: 10.5281/zenodo.19394600
]]></description>
</item>
<item>
<title>Constitutional Observable Invention without Meta-Evaluators</title>
<link>https://kadubon.github.io/github.io/works.html#2026-04-01-constitutional-observable-invention-without-meta-19363526</link>
<guid isPermaLink="true">https://kadubon.github.io/github.io/works.html#2026-04-01-constitutional-observable-invention-without-meta-19363526</guid>
<pubDate>Wed, 01 Apr 2026 00:00:00 +0900</pubDate>
<dc:creator>K. Takahashi</dc:creator>
<category>Preprint</category>
<category>no-meta</category>
<category>observable-only</category>
<category>autonomous discovery</category>
<category>self-modification</category>
<category>recursive self-improvement</category>
<category>evaluator redesign</category>
<category>target refinement</category>
<category>semantic target objects</category>
<category>robust public risk</category>
<category>replay semantics</category>
<category>replay certification</category>
<category>constructive search</category>
<category>observable invention</category>
<category>constitutional drift</category>
<category>constitutional atlases</category>
<category>compiler-aware generator upgrades</category>
<category>predictive target geometry</category>
<category>target morphisms</category>
<category>time-filtered fallback</category>
<category>public evidence</category>
<category>auditability</category>
<category>long-lived intelligent systems</category>
<category>self-extension</category>
<category>AGI</category>
<source url="https://doi.org/10.5281/zenodo.19363526">10.5281/zenodo.19363526</source>
<description><![CDATA[
This preprint develops a constructive no-meta, observable-only framework for autonomous discovery, evaluator redesign, target expansion, and self-modification under public evidence alone. It formalizes robust public risk, replay-certified comparison under constitutional extension, and auditable observable invention without hidden states or privileged meta-evaluators.
Preprint | DOI: 10.5281/zenodo.19363526
]]></description>
</item>
<item>
<title>Observer-Modifying Contagion on Networks</title>
<link>https://kadubon.github.io/github.io/works.html#2026-03-31-observer-modifying-contagion-on-networks-19342966</link>
<guid isPermaLink="true">https://kadubon.github.io/github.io/works.html#2026-03-31-observer-modifying-contagion-on-networks-19342966</guid>
<pubDate>Tue, 31 Mar 2026 00:00:00 +0900</pubDate>
<dc:creator>K. Takahashi</dc:creator>
<category>Preprint</category>
<category>observer-modifying contagion</category>
<category>network contagion</category>
<category>self-concealment</category>
<category>diagnosability</category>
<category>internal blindness</category>
<category>external recovery</category>
<category>delayed audit</category>
<category>comparison of experiments</category>
<category>Blackwell ordering</category>
<category>finite-horizon certificates</category>
<category>compositional certificate framework</category>
<category>witness lineages</category>
<category>persistence on networks</category>
<category>mutation robustness</category>
<category>active-support counts</category>
<category>fail-closed semantics</category>
<category>accountable containment</category>
<category>AI safety</category>
<category>information propagation</category>
<category>semantic hazard</category>
<source url="https://doi.org/10.5281/zenodo.19342966">10.5281/zenodo.19342966</source>
<description><![CDATA[
This preprint develops a finite-horizon certificate framework for observer-modifying contagion on networks, where exposure can also change later diagnosability and auditability. It formalizes self-concealment, internal blindness, external recovery, delayed audit, and fail-closed containment claims under explicit comparison semantics.
Preprint | DOI: 10.5281/zenodo.19342966
]]></description>
</item>
<item>
<title>Classification-Induced Cognitive Drift</title>
<link>https://kadubon.github.io/github.io/works.html#2026-03-29-classification-induced-cognitive-drift-19306514</link>
<guid isPermaLink="true">https://kadubon.github.io/github.io/works.html#2026-03-29-classification-induced-cognitive-drift-19306514</guid>
<pubDate>Sun, 29 Mar 2026 00:00:00 +0900</pubDate>
<dc:creator>K. Takahashi</dc:creator>
<category>Preprint</category>
<category>cognitive drift</category>
<category>reflexive classification</category>
<category>interactive kinds</category>
<category>looping effects</category>
<category>label feedback</category>
<category>performative prediction</category>
<category>strategic classification</category>
<category>algorithmic classification</category>
<category>human-AI interaction</category>
<category>evaluator drift</category>
<category>classifier state logging</category>
<category>contradiction-triggered revision</category>
<category>partial identification</category>
<category>causal inference</category>
<category>observational comparison</category>
<category>repeated-measures design</category>
<category>staggered rollout</category>
<category>interference-aware evaluation</category>
<category>auditability</category>
<category>deployment governance</category>
<category>transportability</category>
<category>deployment safety</category>
<category>AI safety</category>
<category>decision support systems</category>
<source url="https://doi.org/10.5281/zenodo.19306514">10.5281/zenodo.19306514</source>
<description><![CDATA[
This preprint develops a first-principles calculus for classification-induced cognitive drift in reflexive human and AI settings. It formalizes how disclosed classifications can change targets, evaluators, and later evidence under replay, repeated-measures, rollout, and observational comparison regimes.
Preprint | DOI: 10.5281/zenodo.19306514
]]></description>
</item>
<item>
<title>Record Absence and Preference Reorganization on a Fixed Comparison Frame</title>
<link>https://kadubon.github.io/github.io/works.html#2026-03-28-record-absence-and-preference-reorganization-on--19272154</link>
<guid isPermaLink="true">https://kadubon.github.io/github.io/works.html#2026-03-28-record-absence-and-preference-reorganization-on--19272154</guid>
<pubDate>Sat, 28 Mar 2026 00:00:00 +0900</pubDate>
<dc:creator>K. Takahashi</dc:creator>
<category>Preprint</category>
<category>record absence</category>
<category>preference reorganization</category>
<category>fixed comparison frame</category>
<category>legacy labels</category>
<category>ontology change</category>