Skip to content
Merged
Show file tree
Hide file tree
Changes from all commits
Commits
File filter

Filter by extension

Filter by extension

Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
142 changes: 142 additions & 0 deletions research/original-clean-source-interface/DIRECT-SOURCES.json
Original file line number Diff line number Diff line change
@@ -0,0 +1,142 @@
{
"schema": "original-clean-direct-sources-v1",
"claims": {
"source": [
{
"path": "work/centre-encoding-campaign-20261014/lanes/residual-syndrome/physical-algebra/ORIGINAL-CLEAN-SOURCE-PROGRAMS.json.gz",
"bytes": 12098,
"sha256": "bb379c01e29f50cd0c2dc0e3befe84fd5c4e2c022c0a1102d78cdc7c1fa1c9ba"
},
{
"path": "work/centre-encoding-campaign-20261014/lanes/residual-syndrome/physical-algebra/ORIGINAL-CLEAN-SOURCE.json",
"bytes": 1885,
"sha256": "4732d3d45ec4be3a06d0f5bcc56fd4a14cdb1a18b357be5e3d2b06b5f0fa68d1"
},
{
"path": "work/centre-encoding-campaign-20261014/lanes/residual-syndrome/physical-algebra/ORIGINAL-CLEAN-SOURCE.md",
"bytes": 7690,
"sha256": "dcd43c16e61fbf4aa2092b26cc1e1d09ce5c2e9ce4ad1a9bfd919ee4125676ab"
},
{
"path": "work/centre-encoding-campaign-20261014/lanes/residual-syndrome/physical-algebra/emit_original_clean_source.py",
"bytes": 10191,
"sha256": "68bb00b61f0e430a56f0fb6786d507e07122dbd11e0ccf85f3f022accc2f04ea"
},
{
"path": "work/centre-encoding-campaign-20261014/lanes/source-domain/restored-helper-interface/ORIGINAL-CLEAN-BINDING.json",
"bytes": 1960218,
"sha256": "31fae7f2aa4a1f6b9cd5f55a8a34a7679ae6c77cafd37da465f3cb51a7e59141"
},
{
"path": "work/centre-encoding-campaign-20261014/lanes/source-domain/restored-helper-interface/ORIGINAL-CLEAN-BINDING.md",
"bytes": 8527,
"sha256": "c9fef9921185aa18e20d8c1b9f1b10289d488fc74d674f9afc408fb404040d65"
},
{
"path": "work/centre-encoding-campaign-20261014/lanes/source-domain/restored-helper-interface/OWNER-REPLACEMENT.md",
"bytes": 7437,
"sha256": "04264d6e74e57ac166fe9f9455f9377f2cff0888677fb3fee747e2203975e42a"
},
{
"path": "work/centre-encoding-campaign-20261014/lanes/source-domain/restored-helper-interface/OWNERS.json",
"bytes": 1692874,
"sha256": "ee7cb00286581bfc041174e2bf6ed2c1a46481acc74488007198adc7c21f27a1"
},
{
"path": "work/centre-encoding-campaign-20261014/lanes/source-domain/restored-helper-interface/bind_original_clean.py",
"bytes": 13639,
"sha256": "3e9dd5c811dd2f4783766a3c7ff41b0a3efb7c6656abe889d8537377c134e0c3"
}
],
"review": [
{
"path": "work/centre-encoding-campaign-20261014/lanes/paired-package-review/original-clean-native-review/CHECKS.json",
"bytes": 4281,
"sha256": "93cc707fc5c0d7cae66f7ba527a35cea08919c6211f789c59ca4815a6144f162"
},
{
"path": "work/centre-encoding-campaign-20261014/lanes/paired-package-review/original-clean-native-review/PINS.json",
"bytes": 355,
"sha256": "c00f6188f961fb6cdad419146c30263b2ce0dc0e214db58c4436cc1b3a3afe8a"
},
{
"path": "work/centre-encoding-campaign-20261014/lanes/paired-package-review/original-clean-native-review/REVIEW.json",
"bytes": 2104,
"sha256": "56b08d1b2772b61b2a5cbea0b0ff827d79c0fd335eb1f004168783b637dfee7e"
},
{
"path": "work/centre-encoding-campaign-20261014/lanes/paired-package-review/original-clean-native-review/REVIEW.md",
"bytes": 6663,
"sha256": "368906ebdd2aa7145fd5cc70426923f1318b5833aafb36776112bf421987add0"
},
{
"path": "work/centre-encoding-campaign-20261014/lanes/paired-package-review/original-clean-native-review/check_physical_binding.py",
"bytes": 10723,
"sha256": "4aa3112d2224d9cb1381788cb3b3f45abfb6b3b8632bf04744e71f0688a51aa8"
},
{
"path": "work/centre-encoding-campaign-20261014/lanes/paired-package-review/original-owner-review/CHECKS.json",
"bytes": 1959,
"sha256": "ac851b96b3806ccba16c09cdb7db351aab78b2e51f417f82a13fcf308c99b822"
},
{
"path": "work/centre-encoding-campaign-20261014/lanes/paired-package-review/original-owner-review/PINS.json",
"bytes": 346,
"sha256": "e587b35c81e1cac53aa940e1338981144b8f208018b5a57421fbea12939ead83"
},
{
"path": "work/centre-encoding-campaign-20261014/lanes/paired-package-review/original-owner-review/REVIEW.json",
"bytes": 1365,
"sha256": "75516997476a0410ab925bc1862f09568b21c9feef130055e69d02b5e3fe506c"
},
{
"path": "work/centre-encoding-campaign-20261014/lanes/paired-package-review/original-owner-review/REVIEW.md",
"bytes": 6091,
"sha256": "a67ce00e1621acfd80a76f1ebe32f0a7cd2e88af65c6a19d70ba866ed1ea9321"
},
{
"path": "work/centre-encoding-campaign-20261014/lanes/paired-package-review/original-owner-review/check_binding.py",
"bytes": 9107,
"sha256": "38c86208024cc555b7beaf579d9ef90170f7bd8dcf13a1e7f3cc3934de5b9c68"
},
{
"path": "work/centre-encoding-campaign-20261014/lanes/residual-syndrome/physical-algebra/review-gauss/original-clean-source/CHECK.json",
"bytes": 3468,
"sha256": "1f14ab4b77f547d9dea6d2ab9966a8081e639cd23b9e31f533a066158d918717"
},
{
"path": "work/centre-encoding-campaign-20261014/lanes/residual-syndrome/physical-algebra/review-gauss/original-clean-source/REVIEW.json",
"bytes": 5437,
"sha256": "679b94dbb4dbb8ba8d1c12aadf3a37f9b9e5176296905e6bf8007dfb3925cbfa"
},
{
"path": "work/centre-encoding-campaign-20261014/lanes/residual-syndrome/physical-algebra/review-gauss/original-clean-source/REVIEW.md",
"bytes": 5978,
"sha256": "fe96021ce14b679dd150c20ffbb68db2c5d22393c7309cd24a262ff3a118e68d"
},
{
"path": "work/centre-encoding-campaign-20261014/lanes/residual-syndrome/physical-algebra/review-gauss/original-clean-source/check_review.py",
"bytes": 14436,
"sha256": "df98f24aaacac57cfe043d901c8d64c95366b62fe20cbb80b71f871d72818e81"
}
],
"dependency": [
{
"path": "work/centre-encoding-campaign-20261014/lanes/paired-package-review/even-clean-native-review/REVIEW.json",
"bytes": 1305,
"sha256": "5f0a1ed23f129c833a33909397ab524fb9f50c0b5e8a23f29931d0c1ec0406a7"
},
{
"path": "work/centre-encoding-campaign-20261014/lanes/paired-package-review/even-global-review/REVIEW.json",
"bytes": 2531,
"sha256": "46db6bef10039a3123403c26825709e69c4af612ad5d943c2f46ee12b75ec4f4"
}
]
},
"decisive_checkers": {
"content": "frozen/work/centre-encoding-campaign-20261014/lanes/residual-syndrome/physical-algebra/review-gauss/original-clean-source/check_review.py",
"physical": "frozen/work/centre-encoding-campaign-20261014/lanes/paired-package-review/original-clean-native-review/check_physical_binding.py",
"owners": "frozen/work/centre-encoding-campaign-20261014/lanes/paired-package-review/original-owner-review/check_binding.py"
},
"scope": "All-width original-frame local content, physical helper replacement, and exact original-owner binding. Global controller, parser, complete costs, and kappa remain open."
}
47 changes: 47 additions & 0 deletions research/original-clean-source-interface/NOTICE.md
Original file line number Diff line number Diff line change
@@ -0,0 +1,47 @@
# Source attribution and license

This package retains results from Ali Romman's centre-encoding campaign.
The work used substantial OpenAI Codex assistance under the user's
direction. Separate agents supplied the construction, literal word,
content review, physical helper review, and exact owner review. These
are agent reviews; no independent human review is claimed. New package
material uses Apache-2.0.

The coordinating agent supplied the all-width cleaning formulas.
Residual-syndrome supplied the literal physical prefix and suffix and
the complete content replay. History-encoding supplied the full-mode
raw core and its scalar proof. Interface-proof and coherent-port
supplied the inherited content and native phase reviews. The paired
package review lane supplied the new physical helper and owner checks.
Source-domain supplied the original-owner binding. These records retain
the contribution history; they do not transfer predecessor credit.

The scalar words, owner schedule, and phase data come from the
historical gauge44/t16 lineage at commit
`bce54fb3f895cbe5cd4c0eb477c3afeed100190f`. The source notices credit
icekylinx for the source gauge and supplier pipeline; Hao Yan for t16
construction and integration; Jeremy Kothe for the retained
[PR #799](https://github.com/CrocSwap/integer-mult-bounds/pull/799)
X4 word; Chafik Boukhalfa for the
[PR #741](https://github.com/CrocSwap/integer-mult-bounds/pull/741)
frames and
[PR #685](https://github.com/CrocSwap/integer-mult-bounds/pull/685)
owner construction; and Rohan Arun for the native exact-complex
recurrence correction. Their full earlier lineage and AI disclosures
remain in the retained source notices.

The byte-exact source notices are:

- [Gauge44 notice](frozen/work/centre-encoding-campaign-20261014/publication-wrap-20261020/packages/original-paired-gap/notices/research/gauge44-slots-t16/NOTICE.md).
- [Construction notice](frozen/work/centre-encoding-campaign-20261014/publication-wrap-20261020/packages/original-paired-gap/notices/research/gauge44-slots-t16/construction/NOTICE.md).
- [T16 notice](frozen/work/centre-encoding-campaign-20261014/publication-wrap-20261020/packages/original-paired-gap/notices/research/gauge44-slots-t16/t16/NOTICE.md).
- [Upstream notice](frozen/work/centre-encoding-campaign-20261014/publication-wrap-20261020/packages/original-paired-gap/notices/research/gauge44-slots-t16/UPSTREAM-NOTICE.md).
- [Repository notice](frozen/NOTICE), [repository license](frozen/LICENSE),
[primary-source license](frozen/upstream/LICENSE), and
[primary-source origin manifest](frozen/upstream/manifest.json).

No source proof, recipe, or historical receipt is changed. The two
portable checkers change only source roots and archive-member reads.
The original scripts and exact diffs are retained. Historical claims
in source notices remain historical; this package claims only the
local and owner interface results stated in its proof.
Loading