Skip to content

Adopt Trust 1 and SpecSync 5 - #9

Merged
0xLeif merged 3 commits into
mainfrom
0xleif/trust-1-org-rollout
Jul 12, 2026
Merged

Adopt Trust 1 and SpecSync 5#9
0xLeif merged 3 commits into
mainfrom
0xleif/trust-1-org-rollout

Conversation

@0xLeif

@0xLeif 0xLeif commented Jul 12, 2026

Copy link
Copy Markdown
Contributor

Why

Migrate the official Augur Fledge plugin to the released governance contract and align its lockfile with Augur 1.0.0.

What changes

  • Adopts SpecSync 5.0.1 SDD and all four agent integrations.
  • Adds .trust.toml with blocking risk, progressive provenance, and Atlas disabled.
  • Pins the unified Trust action to the immutable v1.0.0 commit.
  • Refreshes Package.resolved to the plugin's declared Augur 1.0.0 dependency.
  • Adds one stable plugin companion for registration, scope forwarding, output, and gate exit behavior.
  • Extends the native verification lane with a deterministic plugin-contract test alongside the release build.

Validation

  • Release build
  • Plugin contract test
  • SpecSync strict validation at 100% coverage
  • All four agent integrations reported installed
  • fledge trust doctor
  • Local Trust verification
  • Hosted native and trust checks

@gemini-code-assist gemini-code-assist Bot left a comment

Copy link
Copy Markdown

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Code Review

This pull request integrates SpecSync 5.0.1 and Trust 1.0.0 into the repository, adding necessary configuration files, agent skill instructions, and updating the Swift package lockfile. The feedback highlights several key improvements: the verify lane in fledge.toml should execute tests to satisfy attestation requirements, the SpecSync source directory configuration needs to be updated to target the Swift Sources directory, core configuration files should be tracked under meaningful_paths in sdd.json, and the empty headings in the markdown skill files should be cleaned up.

Important

The consumer version of Gemini Code Assist on GitHub is being sunset. Starting June 18, 2026, new organization installations will be blocked, and all code review activity will officially cease on July 17, 2026.
For more details on the timeline and next steps, please review the Help Documentation.

Comment thread fledge.toml Outdated
Comment on lines +7 to +9
[lanes.verify]
description = "Build the Augur plugin"
steps = ["build"]

Copy link
Copy Markdown

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

high

The verify lane currently only runs the build step. Since .attest.json requires tests to pass (requireTestsPassed: true), the verification lane should also execute the test task to ensure that code correctness is validated before attestation/verification is completed.

Suggested change
[lanes.verify]
description = "Build the Augur plugin"
steps = ["build"]
[lanes.verify]
description = "Build and test the Augur plugin"
steps = ["build", "test"]

Comment thread .specsync/config.toml Outdated
@@ -0,0 +1,8 @@
specs_dir = "specs"
source_dirs = ["src"]

Copy link
Copy Markdown

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

medium

The source_dirs is configured to look in ["src"]. However, this is a Swift project where the source files are located in Sources/fledge-augur/ (as indicated in .specsync/sdd.json). Please update source_dirs to include "Sources" so that SpecSync can correctly scan and synchronize the Swift source files.

Suggested change
source_dirs = ["src"]
source_dirs = ["Sources"]

Comment thread .specsync/sdd.json
".specsync/config.toml",
".specsync/config.json",
".specsync/version",
"Sources/fledge-augur/"

Copy link
Copy Markdown

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

medium

The meaningful_paths array lists various project files but does not include the core configuration files like fledge.toml, .trust.toml, .augur.toml, or .attest.json. Adding these files ensures that any modifications to build tasks, trust gates, or attestation policies are tracked as meaningful changes under the SDD lifecycle.

Suggested change
"Sources/fledge-augur/"
"Sources/fledge-augur/",
"fledge.toml",
".trust.toml",
".augur.toml",
".attest.json"

Comment on lines +10 to +12
## Companion files

## Verified SDD change lifecycle (5.0)

Copy link
Copy Markdown

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

medium

The ## Companion files heading is currently empty, and the actual description of the companion files is placed under the ## Verified SDD change lifecycle (5.0) section. Reorganizing this content so that the companion files list is directly under its corresponding heading improves document structure and readability.

Comment on lines +10 to +12
## Companion files

## Verified SDD change lifecycle (5.0)

Copy link
Copy Markdown

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

medium

The ## Companion files heading is currently empty, and the actual description of the companion files is placed under the ## Verified SDD change lifecycle (5.0) section. Reorganizing this content so that the companion files list is directly under its corresponding heading improves document structure and readability.

Comment on lines +10 to +12
## Companion files

## Verified SDD change lifecycle (5.0)

Copy link
Copy Markdown

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

medium

The ## Companion files heading is currently empty, and the actual description of the companion files is placed under the ## Verified SDD change lifecycle (5.0) section. Reorganizing this content so that the companion files list is directly under its corresponding heading improves document structure and readability.

@0xLeif
0xLeif marked this pull request as ready for review July 12, 2026 15:30
@0xLeif
0xLeif merged commit 68aae85 into main Jul 12, 2026
5 checks passed

@chatgpt-codex-connector chatgpt-codex-connector Bot left a comment

Copy link
Copy Markdown

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

馃挕 Codex Review

Here are some automated review suggestions for this pull request.

Reviewed commit: 24a90fc665

鈩癸笍 About Codex in GitHub

Your team has set up Codex to review pull requests in this repo. Reviews are triggered when you

  • Open a pull request for review
  • Mark a draft as ready
  • Comment "@codex review".

If Codex has suggestions, it will comment; otherwise it will react with 馃憤.

Codex can also answer questions or update the PR. Try commenting "@codex address that feedback".

Comment thread .specsync/sdd.json
"require_change_for_meaningful_files": true,
"meaningful_paths": [
"src/",
"tests/",

Copy link
Copy Markdown

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

P2 Badge Track the actual Tests directory in SDD policy

With require_change_for_meaningful_files enabled, this policy only lists lowercase tests/, but this repo's test evidence is under Tests/ (Tests/plugin_contract_test.sh). On Git's case-sensitive path names, a PR that only changes these tests will not match the meaningful-path policy and can bypass the SpecSync change requirement, so add Tests/ or rename the directory to keep test changes covered by the trust gate.

Useful? React with 馃憤聽/ 馃憥.

Comment thread .trust.toml

[contract]
enabled = true
require_coverage = 0

Copy link
Copy Markdown

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

P2 Badge Require coverage in the Trust contract gate

I checked the CorvidLabs/trust v1.0.0 action: it forwards [contract].require_coverage to SpecSync's require-coverage input, which SpecSync documents as the minimum file coverage percent. Leaving this at 0 means the CI trust gate can pass when a future PR adds a new source file under Sources/ without any spec coverage, despite this adoption change claiming 100% strict SpecSync coverage; set this to 100 if the trust gate is meant to enforce the stable contract.

Useful? React with 馃憤聽/ 馃憥.

Comment thread .specsync/sdd.json
".specsync/config.toml",
".specsync/config.json",
".specsync/version",
"Sources/fledge-augur/"

Copy link
Copy Markdown

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

P2 Badge Cover root plugin and lane configs in SDD policy

With require_change_for_meaningful_files enabled, the meaningful-path list adds the Swift source tree but omits the root plugin.toml and fledge.toml files. Those files define the plugin command/capabilities and the verification lane that this Trust gate runs, so a later PR can alter the public plugin contract or remove test steps without SpecSync requiring a change workspace; add these root config files to the policy.

Useful? React with 馃憤聽/ 馃憥.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant