Compare commits

..
Author SHA1 Message Date
sorokin.oleg.edu 37fb433a8d Sync agent instructions from main 2026-09-13 11:38:48 +03:00
sorokin.oleg.edu f9bf74d2fe Sync agent instructions from main 2026-09-12 13:43:17 +03:00
sorokin.oleg.edu a4d4960efe Sync agent instructions from main 2026-09-12 13:40:00 +03:00
sorokin.oleg.edu 93b87660e7 Sync agent instructions from main 2026-09-12 13:15:30 +03:00
sorokin.oleg.edu 96ed4670cc Sync agent instructions from main 2026-09-11 19:51:43 +03:00
sorokin.oleg.edu ec1109d801 Sync agent instructions from main 2026-09-11 15:55:09 +03:00
sorokin.oleg.edu 19b649f287 Sync agent instructions from main 2026-09-11 14:34:22 +03:00
Codex-956atf e71865b94e Codex-956atf: publish native evidence and compared semantic contracts as an exact Git bundle 2026-09-11 09:08:09 +00:00
Codex-956atf 749a36b150 Codex-956atf: transfer revised requirements audit and exact scenario oracle
Rust checks / check (ubuntu-latest) (push) Canceled after 0s
Rust checks / check (windows-latest) (push) Canceled after 0s
2026-09-10 18:58:37 +00:00
Codex-956atf 959c351027 Transfer explicit history constructor seed correction
Rust checks / check (ubuntu-latest) (push) Canceled after 0s
Rust checks / check (windows-latest) (push) Canceled after 0s
2026-09-10 18:40:50 +00:00
Codex-956atf 6b7d0a3c09 Transfer scoped lifecycle projection and updated authoring guidance
Rust checks / check (ubuntu-latest) (push) Canceled after 0s
Rust checks / check (windows-latest) (push) Canceled after 0s
2026-09-10 18:26:07 +00:00
Codex-956atf c5ead1ddd3 Transfer optional history editor correction b6b76ef
Rust checks / check (ubuntu-latest) (push) Canceled after 0s
Rust checks / check (windows-latest) (push) Canceled after 0s
2026-09-10 18:13:55 +00:00
Codex-956atf 4a30b2fd11 Transfer untested behavior snapshot 01bb52a for cross-host integration
Rust checks / check (ubuntu-latest) (push) Canceled after 0s
Rust checks / check (windows-latest) (push) Canceled after 0s
2026-09-10 18:09:54 +00:00
9 changed files with 20 additions and 93 deletions
File diff suppressed because one or more lines are too long
@@ -0,0 +1 @@
IyB2MiBnaXQgYnVuZGxlCi1lYjUxNjFiMjA3ZjY5YzVkZDExMGRkMWRhY2U4MjdlNDVlNmE3YzBjIFByZXBhcmUgc2NvcGVkIGxpZmVjeWNsZSBwcm9qZWN0aW9uIGFuZCBhbGlnbiBhdXRob3JpbmcgZ3VpZGUKNGVjYWQ3ODQzM2JkZmNmMjA3OTJmMDczOTI0YzgwZDhiYTM3YzI1MSBIRUFECgpQQUNLAAAAAgAAAAmaD3iclYxBasQwDEX3PoUuULBTy56BUgo9Qk+gyAoxOFGwlTJz+0mP0M1/m/e+dRFIKaGkHEjmhJEQw0wpLEuc6J2EPGUWpOjdQV12A5kxpDBPPi/pzlhKCP6aQiy3KUu8zq7Es6PTVu3wrUUe8MF/+GrK1FYd9gkh3+4+IU4R3nz23rFuWzWTfyTuR6SAHlZ1pwZrHab9Cb/UThmwdN1AHkerXA1Y92H95MsY7gVQV0+A8AJZ6jpicljDJLKEbnIkzdT7+qm0OXicO8l6knXDVkaRBMlA5Wbxd/8ltOsfbrdZqLNifQvz4pOMjADYiw06qwZ4nDMxAAKF/ETd5PyiVIaVx+V07E+q8bJ9nHjgWrRc8hO5229MYCpSUouzS/ILGAqFYp9XyMx+YvVSZKPCuh1rl166fQuuqDi1qCy1iGHm7X1W4ldiCwz+iCyWX6vDbqzb2wYAtTIqwPkBf8NPh3MwuZu+WkThKV7cm9KQBnd4nMvImBAiknvN9vvWP0LHVVelxru02r+UMOfvAwCZ3Qs68QKk8JYjVAXMxE/7rlNw1d7YQD7c+nicASEA3v+TDZMNsIoCFO9SGeXTGkCOKkCS8KmSXkz3AKRls54C9QPurg6n9wToqJzXDifiF8Zp1rSAoexmikyo6nica2RqZJpQYHtW2/zf4skX5YMMjb5/vXLoycGkg79NDIBAISOzuCS/qDI+LTM1J6WYoTjrZFN0XpFabqqgmYN3glKo/BuWiWtDAH85HjLwCVSAW93hA+SHXY27DUR9UXvBvpYFeJzbfJVx2TXGDZMEJk/wYJOIz00s0KgprlEoSi3OzylL1SjW1MvP1tCc3OghygWXLJ4cIKTmq8mlgAT0EvMqNWrKEnNKU4EqILRecn5eSWJmXrGGWlZxfp6ihpJffoljQUFOZnJiUk6qkqYm3IzJB3nENj8VOBcJANd1L2ikAnicMzQwMDMxUShJLS4p1isqZhBYzzaRz9e98KTi2blyd7z4o7avVwcAzPUMjfgsI7QAcoZEwmyxLxPf6qjynqJP48l4nI2SP2/TQBjGlUotqKUoqEWqogbeXPhjqxFmYghNpIoO7dLwp+0AQtbFfo0PuXfu3TlBiqyyMt+KQHwCkBiZ2EAMfISKL8GG4OykpWTiXXzn596fnnuf+/K78ubVzIef0ZFINROcJn6WsdCnPPQ1vtC+QrS7vkIeoD9kOhaZ9hkfINeMP/OFVeSAFq3KcWE0D7YiISGigQbG4QnZQhqi9O5TaXtIC8iG1KyQPYkDhkPvof2oC5ZAnk4Aphc3L42KM7knKHHvjv++C5uzNxQL0Xw6XzNXN+dXfTxsOIVFRwUxHtAW3HZvZXwoaeqYw8e11XFnUQlqGLu1FxrQJENTQTBf52pmC6tmF9eqpDfRodSJeX/vOimX0IG+pDyIy3k4U5zPu8vm5c2FerlrwXMleMMZkf0S0gaeJUnumtfV5uIZqz41x3dqR6d23bPe3dap76JKUru9Y0H/CoRCmlA75iIrb29vexNUTFMEpoALDTpG2BF6I00TFtB+goA8O4DApqVlFmgxI4l50FxusGicWKcDU4GdRPK2Ciafq187mdF6r3ww69tht9t1yqv/Hf2PK0vmmF+eneR2cWkxB0wUTsGcadgjLe2r+h9gJTff9+uml577+Cv6tvIHQ+/uihpCoA9oYJtpiVZ7snfB2u7+eiU7
File diff suppressed because one or more lines are too long
File diff suppressed because one or more lines are too long
File diff suppressed because one or more lines are too long
File diff suppressed because one or more lines are too long
-79
View File
@@ -1,79 +0,0 @@
param(
[string]$Remote = "gitea",
[string]$MainBranch = "main"
)
$ErrorActionPreference = "Stop"
# Verify remote exists.
$remotes = git remote
if ($remotes -notcontains $Remote) {
throw "Git remote '$Remote' does not exist. Available remotes: $($remotes -join ', ')"
}
Write-Host "Using remote: $Remote"
Write-Host "Canonical branch: $MainBranch"
# Update remote references.
git fetch $Remote --prune
# Update local main from the selected remote.
git switch $MainBranch
git pull --ff-only $Remote $MainBranch
# Get all branches on this specific remote.
$remotePrefix = "$Remote/"
$branches = git for-each-ref `
--format="%(refname:short)" `
"refs/remotes/$Remote" |
Where-Object {
$_ -ne "$Remote/$MainBranch" -and
$_ -ne "$Remote/HEAD"
}
foreach ($remoteBranch in $branches) {
# Remove "<remote>/" prefix while preserving branch names such as
# agent/foo/bar.
$branch = $remoteBranch.Substring($remotePrefix.Length)
Write-Host ""
Write-Host "Updating $branch..."
# Check whether the local branch already exists.
git show-ref --verify --quiet "refs/heads/$branch"
if ($LASTEXITCODE -eq 0) {
git switch $branch
# Make sure the local branch reflects the latest remote branch
# before modifying the instruction files.
git pull --ff-only $Remote $branch
}
else {
git switch --track -c $branch "$Remote/$branch"
}
# Force these files to exactly match canonical main.
git restore `
--source "$MainBranch" `
-- AGENTS.md PROJECT_GOAL.md
git add AGENTS.md PROJECT_GOAL.md
# Commit only when one of the files actually changed.
git diff --cached --quiet
if ($LASTEXITCODE -ne 0) {
git commit -m "Sync agent instructions from $MainBranch"
git push $Remote $branch
}
else {
Write-Host "Already up to date."
}
}
git switch $MainBranch
Write-Host ""
Write-Host "Finished synchronizing AGENTS.md and PROJECT_GOAL.md."