portcourt.toml

# portcourt -- the C->Rust port evidence court for gnucobol-rs.
#
# GENERATED by `cargo run -p xtask -- portcourt generate` -- DO NOT EDIT BY HAND.
# Source of truth: reports/port-index/parity-detailed.json (per-file ported/missing/doc-only) +
# xtask/src/coverage_surfaces.json (the sealed court per surface). `portcourt check portcourt.toml` fails
# the build if a `complete` module has any missing / compiled-doc-only function, or a `requires` court that
# is not sealed -- closure math: you cannot claim more than the evidence proves.
#
# Run:  cargo run --manifest-path ../portcourt/Cargo.toml -- check portcourt.toml

parity = "reports/port-index/parity-detailed.json"
courts = "reports/claim-ladder.json"

[module."numeric.c"]
claim = "complete"
requires = [
  "GNURUST.13",
  "GNURUST.14",
  "GNURUST.18",
  "GNURUST.19",
  "GNURUST.2",
  "GNURUST.7",
  "GNURUST.BIGNUM.1",
  "GNURUST.FLOAT.1",
  "GNURUST.INTPOW.1",
  "GNURUST.LOGICAL.1",
  "GNURUST.NUMCMP.1",
  "GNURUST.REMAINDER.1",
  "GNURUST.ROUND.1",
  "GNURUST.SIZE.ERROR.1",
  "SIZE.ERROR.ATLAS.1",
]

[module."move.c"]
claim = "complete"
requires = [
  "GNURUST.14",
  "GNURUST.15",
  "GNURUST.16",
  "GNURUST.16C",
  "GNURUST.17",
  "GNURUST.18",
  "GNURUST.2",
  "GNURUST.DIALECT.RUNTIME.ATLAS.1",
  "GNURUST.DIRECTIVE.VARIANCE.ATLAS.1",
  "GNURUST.INDEX.1",
  "GNURUST.LINEAGE.CORPUS.20M.0",
  "GNURUST.LINEAGE.CORPUS.20M.1",
  "GNURUST.LINEAGE.CORPUS.20M.SMOKE",
  "GNURUST.ODO.1",
  "GNURUST.REFMOD.1",
  "GNURUST.SUBSCRIPT.1",
]

[module."strings.c"]
claim = "complete"
requires = [
  "GNURUST.INSPECT.1",
  "GNURUST.STRING.UNSTRING.1",
]

[module."intrinsic.c"]
claim = "complete"
requires = [
  "GNURUST.INTRINSIC.ATLAS.1",
  "GNURUST.INTRINSIC.CASE.1",
  "GNURUST.INTRINSIC.DATE.1",
  "GNURUST.INTRINSIC.INTEGER.1",
  "GNURUST.INTRINSIC.LENGTH.1",
  "GNURUST.INTRINSIC.MOD-REM.1",
  "GNURUST.INTRINSIC.NUMVAL-C.1",
  "GNURUST.INTRINSIC.NUMVAL.1",
  "GNURUST.INTRINSIC.ORD-CHAR.1",
]

[module."cconv.c"]
claim = "complete"

[module."termio.c"]
claim = "complete"
requires = [
  "GNURUST.ACCEPT.DISPLAY.1",
  "GNURUST.ACCEPT.DISPLAY.2",
]

[module."screenio.c"]
claim = "complete"
requires = [
  "GNURUST.SCREENIO.ACCEPT.1",
  "GNURUST.SCREENIO.ACCEPT.2",
  "GNURUST.SCREENIO.ATTR.1",
  "GNURUST.SCREENIO.COLOR.1",
  "GNURUST.SCREENIO.DISPLAY.2",
  "GNURUST.SCREENIO.DISPLAY.3",
  "GNURUST.SCREENIO.INIT.1",
  "GNURUST.SCREENIO.LINEDIFF.1",
  "GNURUST.SCREENIO.NUMEDIT.1",
]

[module."call.c"]
claim = "complete"
requires = [
  "GNURUST.CALL.EXTENSION.ATLAS.1",
  "GNURUST.CALL.LAYOUT.ATLAS.1",
]

[module."fileio.c"]
claim = "complete"
requires = [
  "GNURUST.DECLARATIVES.ATLAS.1",
  "GNURUST.FILE.REWRITE.1",
  "GNURUST.FILE.SEQUENTIAL.1",
  "GNURUST.FILE.STATUS.1",
  "GNURUST.FILE.WRITE.1",
  "GNURUST.FILEIO.INDEXED.1",
  "GNURUST.FILEIO.LINESEQ.1",
  "GNURUST.FILEIO.LINESEQ.2",
  "GNURUST.FILEIO.MAPPING.1",
  "GNURUST.FILEIO.OPEN.1",
  "GNURUST.FILEIO.RELATIVE.1",
  "GNURUST.FILEIO.SEQ.1",
  "GNURUST.FILEIO.SORT.1",
  "GNURUST.FILEIO.SORTENGINE.1",
  "GNURUST.FILEIO.SYS.1",
  "GNURUST.FILEIO.VERB.1",
  "GNURUST.INDEXED.FILE.ATLAS.1",
  "GNURUST.RELATIVE.FILE.ATLAS.1",
  "GNURUST.SORT.MERGE.ATLAS.1",
]

[module."mlio.c"]
claim = "complete"
requires = [
  "GNURUST.MLIO.GENERATE.1",
  "GNURUST.MLIO.PARSE.1",
]

[module."reportio.c"]
claim = "complete"

[module."common.c"]
claim = "complete"
requires = [
  "GNURUST.14",
  "GNURUST.15",
  "GNURUST.17",
  "GNURUST.18",
  "GNURUST.2",
  "GNURUST.CLASS.1",
  "GNURUST.COMMON.BOUNDCHECK.1",
  "GNURUST.COMMON.CBL.1",
  "GNURUST.COMMON.NUMCHECK.1",
]

[module."cobgetopt.c"]
claim = "complete"