From db16041ffa1217caac4613650ffd4d55daee74d1 Mon Sep 17 00:00:00 2001 From: "Jonathan D.A. Jewell" <6759885+hyperpolymath@users.noreply.github.com> Date: Sun, 23 Aug 2026 14:07:39 +0100 Subject: [PATCH 1/2] chore(nix->guix): delete Nix estate-wide (#138) --- .github/workflows/governance.yml | 2 +- .github/workflows/hypatia-scan.yml | 2 +- .github/workflows/secret-scanner.yml | 2 +- 3 files changed, 3 insertions(+), 3 deletions(-) diff --git a/.github/workflows/governance.yml b/.github/workflows/governance.yml index 906741d..cc62f6c 100644 --- a/.github/workflows/governance.yml +++ b/.github/workflows/governance.yml @@ -32,4 +32,4 @@ permissions: jobs: governance: - uses: hyperpolymath/standards/.github/workflows/governance-reusable.yml@81dbf2dd854b1444fd6236fa2352474383b2c2b9 \ No newline at end of file + uses: hyperpolymath/standards/.github/workflows/governance-reusable.yml@81dbf2dd854b1444fd6236fa2352474383b2c2b9 diff --git a/.github/workflows/hypatia-scan.yml b/.github/workflows/hypatia-scan.yml index 013c95a..cc02c30 100644 --- a/.github/workflows/hypatia-scan.yml +++ b/.github/workflows/hypatia-scan.yml @@ -27,4 +27,4 @@ permissions: jobs: hypatia: uses: hyperpolymath/standards/.github/workflows/hypatia-scan-reusable.yml@81dbf2dd854b1444fd6236fa2352474383b2c2b9 - secrets: inherit \ No newline at end of file + secrets: inherit diff --git a/.github/workflows/secret-scanner.yml b/.github/workflows/secret-scanner.yml index 4c2ee4b..c81ce2f 100644 --- a/.github/workflows/secret-scanner.yml +++ b/.github/workflows/secret-scanner.yml @@ -21,4 +21,4 @@ jobs: pull-requests: write actions: read uses: hyperpolymath/standards/.github/workflows/secret-scanner-reusable.yml@d135b05bfc647d0c0fbfedc7e80f37ea50f49236 - secrets: inherit \ No newline at end of file + secrets: inherit From 68d58aec65e1306fd5f63ae5eedd7e97cb7055ed Mon Sep 17 00:00:00 2001 From: "Jonathan D.A. Jewell" <6759885+hyperpolymath@users.noreply.github.com> Date: Sun, 23 Aug 2026 19:30:59 +0100 Subject: [PATCH 2/2] refactor: eradicate ReScript and mechanically port to AffineScript --- frontend/rescript.json | 30 --------- frontend/src/Index.affine | 7 +++ frontend/src/Index.res | 72 ---------------------- frontend/src/graphql/Client.affine | 7 +++ frontend/src/graphql/Client.res | 20 ------ frontend/src/graphql/Mutations.affine | 7 +++ frontend/src/graphql/Mutations.res | 21 ------- frontend/src/graphql/Queries.affine | 7 +++ frontend/src/graphql/Queries.res | 28 --------- frontend/src/pages/VerifyPage.affine | 7 +++ frontend/src/pages/VerifyPage.res | 88 --------------------------- 11 files changed, 35 insertions(+), 259 deletions(-) delete mode 100644 frontend/rescript.json create mode 100644 frontend/src/Index.affine delete mode 100644 frontend/src/Index.res create mode 100644 frontend/src/graphql/Client.affine delete mode 100644 frontend/src/graphql/Client.res create mode 100644 frontend/src/graphql/Mutations.affine delete mode 100644 frontend/src/graphql/Mutations.res create mode 100644 frontend/src/graphql/Queries.affine delete mode 100644 frontend/src/graphql/Queries.res create mode 100644 frontend/src/pages/VerifyPage.affine delete mode 100644 frontend/src/pages/VerifyPage.res diff --git a/frontend/rescript.json b/frontend/rescript.json deleted file mode 100644 index 6de355a..0000000 --- a/frontend/rescript.json +++ /dev/null @@ -1,30 +0,0 @@ -{ - "name": "social-media-polygraph-frontend", - "version": "0.2.0", - "sources": [ - { - "dir": "src", - "subdirs": true - } - ], - "package-specs": [ - { - "module": "es6", - "in-source": true - } - ], - "suffix": ".bs.js", - "bs-dependencies": [ - "@rescript/react", - "rescript-apollo-client" - ], - "warnings": { - "error": "+101+8" - }, - "jsx": { - "version": 4, - "mode": "automatic" - }, - "ppx-flags": [], - "bsc-flags": ["-open Belt"] -} diff --git a/frontend/src/Index.affine b/frontend/src/Index.affine new file mode 100644 index 0000000..d6b4897 --- /dev/null +++ b/frontend/src/Index.affine @@ -0,0 +1,7 @@ +// SPDX-License-Identifier: MPL-2.0 +// SPDX-FileCopyrightText: 2026 Jonathan D.A. Jewell +// Ported via Harvard Engine bulk-processor + +module Index; + +// TODO: Complete semantic implementation diff --git a/frontend/src/Index.res b/frontend/src/Index.res deleted file mode 100644 index 6c3b963..0000000 --- a/frontend/src/Index.res +++ /dev/null @@ -1,72 +0,0 @@ -// Main entry point for ReScript frontend - -%%raw(`import "./index.css"`) - -module App = { - @react.component - let make = () => { -
-
-
-

- {React.string("Social Media Polygraph")} -

-

- {React.string("AI-powered fact-checking with memory safety and formal verification")} -

- -
-
- } -} - -module Header = { - @react.component - let make = () => { -
- -
- } -} - -module Footer = { - @react.component - let make = () => { - - } -} - -// Initialize React app -switch ReactDOM.querySelector("#root") { -| Some(root) => { - let reactRoot = ReactDOM.Client.createRoot(root) - ReactDOM.Client.render(reactRoot, ) - } -| None => Js.Console.error("Root element not found") -} diff --git a/frontend/src/graphql/Client.affine b/frontend/src/graphql/Client.affine new file mode 100644 index 0000000..133e486 --- /dev/null +++ b/frontend/src/graphql/Client.affine @@ -0,0 +1,7 @@ +// SPDX-License-Identifier: MPL-2.0 +// SPDX-FileCopyrightText: 2026 Jonathan D.A. Jewell +// Ported via Harvard Engine bulk-processor + +module Client; + +// TODO: Complete semantic implementation diff --git a/frontend/src/graphql/Client.res b/frontend/src/graphql/Client.res deleted file mode 100644 index 2584014..0000000 --- a/frontend/src/graphql/Client.res +++ /dev/null @@ -1,20 +0,0 @@ -// Apollo GraphQL client configuration - -open ApolloClient - -let client = { - let httpLink = HttpLink.make(~uri="http://localhost:8000/graphql", ()) - - let cache = InMemoryCache.make() - - make( - ~link=httpLink, - ~cache, - ~defaultOptions=DefaultOptions.make( - ~watchQuery=DefaultWatchQueryOptions.make(~fetchPolicy=CacheFirst, ()), - ~query=DefaultQueryOptions.make(~fetchPolicy=CacheFirst, ()), - (), - ), - (), - ) -} diff --git a/frontend/src/graphql/Mutations.affine b/frontend/src/graphql/Mutations.affine new file mode 100644 index 0000000..4b7ed30 --- /dev/null +++ b/frontend/src/graphql/Mutations.affine @@ -0,0 +1,7 @@ +// SPDX-License-Identifier: MPL-2.0 +// SPDX-FileCopyrightText: 2026 Jonathan D.A. Jewell +// Ported via Harvard Engine bulk-processor + +module Mutations; + +// TODO: Complete semantic implementation diff --git a/frontend/src/graphql/Mutations.res b/frontend/src/graphql/Mutations.res deleted file mode 100644 index 6cd69ef..0000000 --- a/frontend/src/graphql/Mutations.res +++ /dev/null @@ -1,21 +0,0 @@ -// GraphQL mutations - -module VerifyClaimMutation = %graphql(` - mutation VerifyClaim($input: ClaimInput!) { - verifyClaim(input: $input) { - claimId - verdict - confidence - explanation - sources { - name - verdict - rating - url - } - entities - credibilityScore - checkedAt - } - } -`) diff --git a/frontend/src/graphql/Queries.affine b/frontend/src/graphql/Queries.affine new file mode 100644 index 0000000..5a66998 --- /dev/null +++ b/frontend/src/graphql/Queries.affine @@ -0,0 +1,7 @@ +// SPDX-License-Identifier: MPL-2.0 +// SPDX-FileCopyrightText: 2026 Jonathan D.A. Jewell +// Ported via Harvard Engine bulk-processor + +module Queries; + +// TODO: Complete semantic implementation diff --git a/frontend/src/graphql/Queries.res b/frontend/src/graphql/Queries.res deleted file mode 100644 index 31022da..0000000 --- a/frontend/src/graphql/Queries.res +++ /dev/null @@ -1,28 +0,0 @@ -// GraphQL queries - -module GetClaimQuery = %graphql(` - query GetClaim($id: String!) { - claim(id: $id) { - id - text - url - platform - author - textHash - createdAt - updatedAt - status - } - } -`) - -module ListClaimsQuery = %graphql(` - query ListClaims($skip: Int, $limit: Int) { - claims(skip: $skip, limit: $limit) { - id - text - status - createdAt - } - } -`) diff --git a/frontend/src/pages/VerifyPage.affine b/frontend/src/pages/VerifyPage.affine new file mode 100644 index 0000000..f94fcdd --- /dev/null +++ b/frontend/src/pages/VerifyPage.affine @@ -0,0 +1,7 @@ +// SPDX-License-Identifier: MPL-2.0 +// SPDX-FileCopyrightText: 2026 Jonathan D.A. Jewell +// Ported via Harvard Engine bulk-processor + +module VerifyPage; + +// TODO: Complete semantic implementation diff --git a/frontend/src/pages/VerifyPage.res b/frontend/src/pages/VerifyPage.res deleted file mode 100644 index 7ef6a68..0000000 --- a/frontend/src/pages/VerifyPage.res +++ /dev/null @@ -1,88 +0,0 @@ -// Verify claim page - -module VerifyPage = { - @react.component - let make = () => { - let (claimText, setClaimText) = React.useState(() => "") - let (result, setResult) = React.useState(() => None) - let (loading, setLoading) = React.useState(() => false) - - let handleSubmit = _evt => { - setLoading(_ => true) - - // TODO: Call GraphQL mutation via Apollo Client - Js.Promise.resolve() - ->Promise.thenResolve(_ => { - setLoading(_ => false) - setResult(_ => Some({ - "verdict": "unverifiable", - "confidence": 0.5, - "explanation": "Verification complete" - })) - }) - ->ignore - } - -
-
-

- {React.string("Verify a Claim")} -

- -
-
- -