DecompHub

sir-factory

Стан проєкту: Невідомо

SIR verified-recompose factory — decompile a package into a verified, self-contained re-implementation: sighted decompose, N blind clean-room re-emitters, dual gate (held-out quorum + saturation differential).

Досліджуване ПЗ або обладнання
Unknown
Тип роботи
Повторна реалізація та сумісність
Основний публічний репозиторій
github.com/rederive/sir-factory
GitHub
0Зірки на GitHub

Проєкти впорядковано за останньою зафіксованою кількістю зірок репозиторію. Зірки показують зацікавленість, а не поступ роботи. Відсутні значення залишаються невідомими.

Про проєкт і його завдання

SIR verified-recompose factory — decompile a package into a verified, self-contained re-implementation: sighted decompose, N blind clean-room re-emitters, dual gate (held-out quorum + saturation differential).

Можливість долучитися

Правила участі невідомі

Правила використання ШІ
Не зазначено

Системи учасників за документацією

Середовище учасника не описано

Заявлений прогрес

Прогрес не опубліковано

Вихідний код, збирання та релізи