Skip to content

Instantly share code, notes, and snippets.

Discover gists

@raeq
raeq / has-anomalies-noncanonical.json
Created August 29, 2026 20:48
raeq/disarm: 143,804 assigned code points that has_anomalies() calls clean while canonicalize() rewrites them (evidence for the missing verification-path predicate issue)
{
"disarm": "0.14.1",
"ucd": "17.0.0",
"confusables": "17.0.0",
"assigned_codepoints": 287346,
"description": "Assigned code points where has_anomalies(x) is False but canonicalize(x) != x \u2014 input a detector-based accept gate calls clean and that is nonetheless not the canonical form of itself.",
"schema": "rows[] = {cp, gc, name, canonicalize}. \"canonicalize\" is the rewritten output and is JSON \\uXXXX-escaped in the raw file, e.g. {\"cp\":\"U+FF21\",\"gc\":\"Lu\",\"name\":\"FULLWIDTH LATIN CAPITAL LETTER A\",\"canonicalize\":\"A\"}.",
"count_total": 143804,
"count_private_use_omitted": 137468,
"count_listed": 6336,
@vms2020
vms2020 / searchgithub.sh
Created August 29, 2026 20:48
Find ViewModel kotlin class size > 50000 byte in github
#!/bin/bash
curl -G "https://api.github.com/search/code" \
-H "Authorization: Bearer ghp_B..." \
-H "Accept: application/vnd.github+json" \
--data-urlencode "q=class ViewModel extension:kt filename:ViewModel.kt size:>50000"|jq . |less
@raeq
raeq / confusable-fold-delimiter-census.json
Created August 29, 2026 20:48
disarm#719 — dataset: the 232 code points whose ASCII punctuation in canonicalize() comes only from the confusable fold
[
{
"cp": "U+00BC",
"name": "VULGAR FRACTION ONE QUARTER",
"char": "\u00bc",
"nfkc": "1\u20444",
"canonicalize": "1/4",
"delimiters": "/",
"has_anomalies": false,
"structural": true
@raeq
raeq / preset-empty-collapse.json
Created August 29, 2026 20:48
raeq/disarm: assigned code points whose single-character input produces an empty string, per preset (evidence for the empty-output sentinel collapse issue)
{
"disarm": "0.14.1",
"ucd": "17.0.0",
"confusables": "17.0.0",
"assigned_codepoints": 287346,
"description": "Assigned code points whose single-character input produces an empty string. Code points are given as contiguous ranges; the Private Use Area accounts for 137468 of them on every surface that strips PUA, so a flat row list would be almost entirely one block.",
"schema": "surfaces.<fn>.ranges[] = {from, to, count} inclusive, hex U+XXXX",
"surfaces": {
"canonicalize": {
"count": 137943,
@raeq
raeq / canonicalization-obligation-audit.py
Created August 29, 2026 20:48
raeq/disarm: audits disarm 0.14.1 against the canonicalization obligation of arXiv:2608.06508v1 (fixed point, table closure, empty collapse, verification path)
#!/usr/bin/env python3
"""Audit disarm against the canonicalization obligation of arXiv:2608.06508v1.
Brömme, "Canonicalization Failures as a Recurring Vulnerability Class:
Representation Divergence in Cryptographic Systems and Its Avoidance",
Section 7.2 states the obligation and its five review steps; Section 2.2 names
the two ways the uniqueness condition dec^-1({x}) = {enc(x)} can break:
S-break several valid codes carry one object (object-side multiple representation)
I-break one code carries several objects (code-side semantic collapse)
@lrdcasimir
lrdcasimir / q_chunker_cycle_practice.ipynb
Created August 29, 2026 20:48
Anthropic Launch Eng prep — Scenario 2 (content-defined chunking) + Q3 cycle-detection combo
Loading
Sorry, something went wrong. Reload?
Sorry, we cannot display this file.
Sorry, this file is invalid so it cannot be displayed.
@raeq
raeq / confusable-fold-delimiter-census.py
Created August 29, 2026 20:48
disarm#719 — repro: which code points does canonicalize() turn into ASCII punctuation, by which step, and does has_anomalies report them?
#!/usr/bin/env python3
r"""Census: which code points does `canonicalize` turn into ASCII punctuation, by
which step, and does `has_anomalies` report them?
`canonicalize` has two steps that can emit ASCII that the input did not contain:
the leading NFKC, and the TR39 confusable fold. `inspect_anomalies` reports the
first (AnomalyKind::CompatFold, #633, src/anomalies.rs:510-516) and has no rule
for the second. This script measures the split.
Run against disarm 0.14.1:
@csh1668
csh1668 / metadata.json
Created August 29, 2026 20:48
RimWorld AutoTranslation Cache - Latin American Spanish (Google)
{"targetLanguage":"Latin American Spanish","translatorName":"Google","translatorModel":"Google","date":"2026-08-29 16:48:06","translationCount":0}
@choco-bot
choco-bot / 1.RegistrySnapshot.xml
Created August 29, 2026 20:47
dotnetcore-2.0-sdk-3xx v2.1.105 - Passed - Package Tests Results
<?xml version="1.0" encoding="utf-8"?>
<registrySnapshot xmlns:xsd="http://www.w3.org/2001/XMLSchema" xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance">
<user>S-1-5-21-3439078457-2042521009-2523227742-1000</user>
<keys>
<key installerType="Msi" displayName="Microsoft .NET Core Host FX Resolver - 2.0.7 (x64)" displayVersion="16.28.26407">
<RegistryView>Registry64</RegistryView>
<KeyPath>HKEY_LOCAL_MACHINE\SOFTWARE\Microsoft\Windows\CurrentVersion\Uninstall\{2BB77856-A486-4C37-B9F3-3FA12838880C}</KeyPath>
<DefaultValue />
<InstallLocation><![CDATA[]]></InstallLocation>
<UninstallString><![CDATA[MsiExec.exe /X{2BB77856-A486-4C37-B9F3-3FA12838880C}]]></UninstallString>
@fuyi
fuyi / gantt_heavy.html
Created August 29, 2026 20:47
heavy_marts Gantt chart — per-model execution timing (pod 29800535, ~49 min run)
<!DOCTYPE html>
<html>
<head>
<meta charset="utf-8">
<title>heavy_marts Gantt</title>
<style>
body { font-family: monospace; background: #1a1a2e; color: #eee; margin: 20px; }
h2 { color: #a0c4ff; }
.row { display: flex; align-items: center; height: 22px; margin: 2px 0; }
.label { width: 380px; font-size: 11px; text-align: right; padding-right: 8px; flex-shrink: 0; overflow: hidden; white-space: nowrap; color: #ccc; }