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
The table of contents is too big for display.
Diff view
Diff view
  •  
  •  
  •  
9 changes: 9 additions & 0 deletions research/centre-code-services/CHECKS.json
Original file line number Diff line number Diff line change
@@ -0,0 +1,9 @@
{
"capture_word": "lanes/native-escape-20261017/owner-review/capture-word-review-20261020/check_review.py",
"centre_constants": "lanes/native-escape-20261017/owner-review/centre-constants-review-20261020/check_review.py",
"clique_grid": "lanes/native-escape-20261017/owner-review/clique-code-grid-review-20261020/check_review.py",
"fixed_reader_services": "lanes/bridge-review-20261017/fixed-reader-service-review-20261020/check_service.py",
"moving_entry": "lanes/bridge-review-20261017/moving-code-review-20261020/check_moving_code.py",
"phase_inverse": "lanes/bridge-review-20261017/rank30-phase-section-review-20261020/check_phase_section.py",
"unnormalised_code": "lanes/native-escape-20261017/owner-review/unnormalised-code-review-20261020/check_review.py"
}
48 changes: 48 additions & 0 deletions research/centre-code-services/NOTICE.md
Original file line number Diff line number Diff line change
@@ -0,0 +1,48 @@
# Notice

The new campaign and wrapper contributions use the repository's Apache-2.0
license. A copy is in [notices/LICENSE](notices/LICENSE). Frozen source
text and existing attribution are unchanged. Substantial OpenAI Codex
assistance was used for constructions, proofs, independent agent checks,
and this publication package.

The retained common-grid source is
[stopped-product-complex.tex](notices/stopped-product-complex.tex), from
CrocSwap/integer-mult-bounds at `bce54fb3f895cbe5cd4c0eb477c3afeed100190f`.
Its Git blob is `4a9037137cd3158dbeca6d9e3b1881a599ebfcb5`; its SHA256 is
`4738089103a4b263b3b0ef458f5ef35519c696f1ea871ae79e508d3720f5870a`.
The [upstream notice](notices/UPSTREAM-NOTICE) credits icekylinx for the
stopped product-ring construction and exact denominator grid, with GPT-6
Astra and Codex assistance. The rational services retain that method as
a dependency. Their new local contributions are the actual code words,
image tests, and conditional matching-type extension.

The actual native core descends from
[PR #3133](https://github.com/CrocSwap/integer-mult-bounds/pull/3133), at
`51eb9c4ee9e4722010d308aa3309e039d3940cc2`. The base and extra provider
words descend from
[PR #3148](https://github.com/CrocSwap/integer-mult-bounds/pull/3148), at
`f2927a4b8afcf0701a6b945e14f30de1d94f5176`. The retained
[notice](notices/PR3133-NOTICE) and [credit record](notices/PR3133-CREDITS.md)
credit dcharb78 for the coupled folds and preserve the earlier lineage.
The exact PR #3148 README credits Jeremy Diviney for the packing exchange,
integration, and verification. These inherited cores are not new work here.

The native recipe lineage uses
[PR #2588](https://github.com/CrocSwap/integer-mult-bounds/pull/2588), at
`8cd9dc88e24f062e2ca2fa7f4844a3d3319381fb`. Its
[notice](notices/PR2588-NOTICE) credits Cinna Davis for the dirty-borrowing
method, Rohan Arun for the new package work, and Jeremy Kothe and the
named predecessors for retained methods. For [PR #2226](https://github.com/CrocSwap/integer-mult-bounds/pull/2226),
the exact referenced [dependency notice](notices/NOTICE-PR2226.md) and
[vendored notice](notices/PR2226-NOTICE.md) are also retained.
The [exact notice readback](evidence/PR2226-PRIOR-SOURCE-READBACK.json) is
retained unchanged as prior-source evidence. Its package-context hashes
refer to the encoder notice addendum, not to this services package.
No compiler author is inferred from a submitter account.

The [source readback](evidence/NATIVE-SOURCE-VERIFICATION.json) and
[provider notice readback](evidence/PROVIDER-NOTICE-VERIFICATION.json)
record the immutable GitHub source and notice checks. The package
manifest pins all retained notices. The historical freeze text and
original reviewer status are preserved as evidence.
Loading
Loading