{"id":"ship:f6466066-792d-4a98-9d4e-762bf1d5359e","withdrawn":false,"project":{"slug":"qedrh-qed","name":"qed","url":"https://heyresearch.xyz/project/qedrh-qed"},"domain":"build","claimType":"CODE_ACTIVITY","summary":"Code changes, week of 2026-09-14 – 2026-09-20","sourceType":"github","sourceUrl":"https://github.com/qedrh/qed","publishedAt":"2026-09-17T23:59:00.000Z","detectedAt":"2026-09-18T01:12:33.543Z","precision":"WEEK","window":{"isoWeek":"2026-W38","start":"2026-09-14T00:00:00.000Z","end":"2026-09-21T00:00:00.000Z","firstDay":"2026-09-14","lastDay":"2026-09-20","sourceUrl":"https://github.com/qedrh/qed/commits?since=2026-09-14T00%3A00%3A00.000Z&until=2026-09-21T00%3A00%3A00.000Z"},"codeWeek":{"isoWeek":"2026-w38","start":"2026-09-14T00:00:00.000Z","end":"2026-09-21T00:00:00.000Z","repository":"qedrh/qed","commits":7,"commitsAtLeast":false,"commitsUrl":"https://github.com/qedrh/qed/commits?since=2026-09-14T00%3A00%3A00.000Z&until=2026-09-21T00%3A00%3A00.000Z","highlights":[{"subject":"Prepare QED: rules in Qed/Rules.lean proved by Aristotle, pipeline retargeted, tests listed as rehearsals","sha":"17a08aaf68c31e76e665d9c15eb147a61f0899b1","committedAt":"2026-09-17T20:26:59.000Z","readAsCode":true,"url":"https://github.com/qedrh/qed/commit/17a08aaf68c31e76e665d9c15eb147a61f0899b1"},{"subject":"Record TEST4 launch; anchor carries the full proof text and the token description names it","sha":"ffed2c092d85e1dbccba342a5c553f6373daa6b2","committedAt":"2026-09-15T12:30:58.000Z","readAsCode":false,"url":"https://github.com/qedrh/qed/commit/ffed2c092d85e1dbccba342a5c553f6373daa6b2"},{"subject":"Anonymize records: generic test token names, remove personal links and launchpad references","sha":"2a823052ceabacae81998e103a2b89c2d625f50a","committedAt":"2026-09-15T10:40:42.000Z","readAsCode":false,"url":"https://github.com/qedrh/qed/commit/2a823052ceabacae81998e103a2b89c2d625f50a"}],"title":"Code changes, week of 2026-09-14 – 2026-09-20 · 7 commits","complete":true},"verification":"SOURCE_LINKED","countsAsBuilding":true,"countedAs":"counted","countedAsSentence":"Yes. It is one of the records HEY’s activity status is built from.","recordedAt":"2026-09-18T01:12:33.543Z","metadata":{"summary":"3 active days in qedrh/qed.","prerelease":false},"sources":[{"evidenceRowId":"dab789cd-b0f9-41d4-89a1-f875fcc82b1d","sourceType":"GITHUB_REPO","sourceUrl":"https://github.com/qedrh/qed","observedAt":"2026-09-18T01:12:33.543Z","metadata":{"truncated":false,"windowEnd":"2026-10-12T00:57:58.896Z","activeDays":3,"commitCount":7,"windowStart":"2026-07-14T00:00:00.000Z","weekFullyListed":true,"contributorCount":1}}],"disclaimer":"Public, source-backed activity HEY recorded. Still Building means counted ships during a market drawdown HEY itself tracked — it is not a prediction, not a ranking by price, and not investment advice. Few projects meet Still Building or Under the Radar at any time; both are strict by design, and list responses carry the counts."}